(1,20) (2,19) (3,14) (4,12) (5,11) (6,13) (8,18) (10,17) 
nodes: 247  conflicts: 19  modelTime: 714  solveTime: 553  totalTime: 1273  modelSize: 20658  readTime: 6 size: 8