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