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