(1,16) (2,13) (3,18) (5,12) (6,19) (7,14) (8,11) (9,17) (10,20) 
nodes: 249  conflicts: 9  modelTime: 811  solveTime: 533  totalTime: 1349  modelSize: 20658  readTime: 5 size: 9