(3,28) (6,30) (7,24) (9,26) (11,25) (12,22) (14,29) (15,17) 
nodes: 527  conflicts: 87  modelTime: 667  solveTime: 568  totalTime: 1242  modelSize: 41300  readTime: 7 size: 8