(1,17) (2,20) (3,11) (4,16) (7,15) (8,14) (9,12) (10,18) 
nodes: 361  conflicts: 22  modelTime: 686  solveTime: 380  totalTime: 1071  modelSize: 20658  readTime: 5 size: 8