(1,17) (2,30) (6,29) (7,16) (9,25) (10,21) (11,26) (12,20) (15,28) 
nodes: 972  conflicts: 97  modelTime: 667  solveTime: 1201  totalTime: 1875  modelSize: 41300  readTime: 7 size: 9