(1,18) (2,17) (5,29) (6,19) (8,16) (9,26) (12,20) (13,27) 
nodes: 1133  conflicts: 80  modelTime: 660  solveTime: 1227  totalTime: 1893  modelSize: 41300  readTime: 6 size: 8