(1,30) (2,18) (3,28) (4,19) (6,29) (7,22) (9,21) (14,27) (15,20) 
nodes: 860  conflicts: 92  modelTime: 668  solveTime: 752  totalTime: 1428  modelSize: 41300  readTime: 7 size: 9