(1,18) (2,17) (5,14) (6,15) (7,11) (8,16) (9,13) (10,12) 
nodes: 275  conflicts: 17  modelTime: 587  solveTime: 470  totalTime: 1062  modelSize: 20658  readTime: 5 size: 8