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