(1,28) (2,29) (3,24) (4,20) (6,16) (9,25) (10,17) (13,27) (14,30) 
nodes: 616  conflicts: 95  modelTime: 667  solveTime: 801  totalTime: 1476  modelSize: 41300  readTime: 7 size: 9