(1,11) (2,15) (3,17) (4,12) (5,18) (6,14) (7,20) (8,13) 
nodes: 329  conflicts: 18  modelTime: 687  solveTime: 452  totalTime: 1144  modelSize: 20658  readTime: 5 size: 8