(2,16) (3,28) (4,18) (5,21) (6,26) (7,25) (10,19) (13,22) (15,24) 
nodes: 716  conflicts: 71  modelTime: 659  solveTime: 926  totalTime: 1591  modelSize: 41292  readTime: 6 size: 9