(1,11) (2,15) (3,18) (4,19) (5,17) (6,13) (7,16) (9,12) (10,20) 
nodes: 679  conflicts: 9  modelTime: 666  solveTime: 692  totalTime: 1362  modelSize: 20646  readTime: 4 size: 9