(1,22) (4,17) (5,29) (7,26) (11,23) (12,19) (13,27) (14,16) (15,24) 
nodes: 727  conflicts: 103  modelTime: 671  solveTime: 563  totalTime: 1241  modelSize: 41300  readTime: 7 size: 9