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