(1,18) (3,29) (4,22) (5,20) (6,19) (10,27) (14,26) (15,23) 
nodes: 545  conflicts: 96  modelTime: 664  solveTime: 554  totalTime: 1224  modelSize: 41300  readTime: 6 size: 8