(1,15) (2,14) (3,11) (4,16) (5,18) (6,13) (7,17) (8,20) (10,12) 
nodes: 283  conflicts: 12  modelTime: 814  solveTime: 623  totalTime: 1442  modelSize: 20658  readTime: 5 size: 9