(1,12) (2,14) (3,17) (4,13) (5,16) (6,19) (7,18) (8,15) 
nodes: 942  conflicts: 15  modelTime: 681  solveTime: 891  totalTime: 1577  modelSize: 20658  readTime: 5 size: 8