(1,25) (2,8) (3,12) (4,14) (5,9) (6,10) (7,29) (11,19) (13,23) (15,28) (16,24) (17,27) (18,21) (20,22) (26,30) 
nodes: 35185  conflicts: 11  modelTime: 943  solveTime: 178171  totalTime: 179124  modelSize: 72264  readTime: 9 size: 15