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