(2,15) (3,17) (4,14) (5,11) (6,13) (7,18) (9,19) (10,12) 
nodes: 255  conflicts: 21  modelTime: 669  solveTime: 471  totalTime: 1145  modelSize: 20658  readTime: 5 size: 8