(1,24) (2,30) (3,20) (6,21) (10,26) (12,28) (13,29) (14,18) (15,16) 
nodes: 851  conflicts: 89  modelTime: 659  solveTime: 735  totalTime: 1401  modelSize: 41292  readTime: 7 size: 9