(1,14) (3,20) (4,13) (5,19) (6,15) (7,12) (8,16) (9,11) (10,17) 
nodes: 442  conflicts: 9  modelTime: 714  solveTime: 1138  totalTime: 1857  modelSize: 20658  readTime: 5 size: 9