(1,13) (2,12) (3,17) (4,16) (5,11) (6,19) (7,14) (8,15) (9,18) (10,20) 
nodes: 842  conflicts: 9  modelTime: 582  solveTime: 1057  totalTime: 1643  modelSize: 20646  readTime: 4 size: 10