(1,14) (2,18) (3,17) (4,13) (6,11) (7,19) (8,20) (9,12) (10,16) 
nodes: 740  conflicts: 11  modelTime: 685  solveTime: 838  totalTime: 1527  modelSize: 20658  readTime: 4 size: 9