(2,15) (3,12) (4,11) (6,18) (7,19) (8,14) (9,13) (10,17) 
nodes: 397  conflicts: 25  modelTime: 677  solveTime: 532  totalTime: 1214  modelSize: 20658  readTime: 5 size: 8