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