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