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