(1,15) (2,11) (3,19) (4,14) (6,12) (7,13) (8,16) (9,18) (10,17) 
nodes: 315  conflicts: 9  modelTime: 590  solveTime: 647  totalTime: 1239  modelSize: 20646  readTime: 2 size: 9