(1,23) (2,20) (3,27) (4,29) (5,24) (6,21) (7,25) (8,28) (9,22) (10,26) (11,30) (12,19) (13,17) (14,16) (15,18) 
nodes: 576  conflicts: 1  modelTime: 1072  solveTime: 981  totalTime: 2060  modelSize: 41292  readTime: 7 size: 15