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