(1,24) (3,18) (5,30) (6,20) (8,28) (9,22) (10,26) (12,16) (13,25) (14,23) 
nodes: 2957  conflicts: 77  modelTime: 659  solveTime: 3208  totalTime: 3874  modelSize: 41292  readTime: 7 size: 10