(1,14) (2,17) (3,18) (4,19) (5,20) (6,11) (7,15) (9,13) (10,12) 
nodes: 257  conflicts: 11  modelTime: 714  solveTime: 782  totalTime: 1502  modelSize: 20658  readTime: 5 size: 9