(1,23) (2,30) (3,24) (4,22) (5,28) (8,16) (9,27) (12,19) (13,17) (15,20) 
nodes: 738  conflicts: 75  modelTime: 666  solveTime: 917  totalTime: 1589  modelSize: 41300  readTime: 6 size: 10