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