(1,23) (4,30) (5,21) (6,29) (7,20) (9,19) (10,17) (11,28) (13,25) (15,26) 
nodes: 535  conflicts: 67  modelTime: 664  solveTime: 606  totalTime: 1277  modelSize: 41292  readTime: 7 size: 10