(1,18) (2,25) (3,29) (4,22) (5,28) (7,27) (9,17) (10,19) (11,26) (12,23) (14,20) (15,16) 
nodes: 296  conflicts: 63  modelTime: 661  solveTime: 588  totalTime: 1255  modelSize: 41292  readTime: 6 size: 12