(1,13) (2,12) (3,15) (4,19) (6,14) (7,17) (8,11) (10,16) 
nodes: 788  conflicts: 27  modelTime: 768  solveTime: 705  totalTime: 1477  modelSize: 20658  readTime: 4 size: 8