(1,17) (2,20) (3,16) (4,18) (5,15) (6,12) (7,19) (8,13) (10,14) 
nodes: 606  conflicts: 12  modelTime: 686  solveTime: 659  totalTime: 1349  modelSize: 20658  readTime: 4 size: 9