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