(1,16) (2,17) (3,19) (4,24) (6,30) (7,18) (8,23) (10,27) (13,22) (15,21) 
nodes: 932  conflicts: 61  modelTime: 660  solveTime: 1224  totalTime: 1890  modelSize: 41293  readTime: 6 size: 10