(1,17) (2,24) (3,19) (4,16) (5,28) (6,30) (8,25) (10,18) (11,22) (13,23) (15,29) 
nodes: 932  conflicts: 77  modelTime: 665  solveTime: 1098  totalTime: 1770  modelSize: 41300  readTime: 6 size: 11