(4,25) (6,26) (8,30) (10,17) (11,19) (13,20) (14,18) (15,24) 
nodes: 941  conflicts: 88  modelTime: 667  solveTime: 1308  totalTime: 1982  modelSize: 41300  readTime: 7 size: 8