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