(1,2) (3,4) (5,7) (6,16) (8,27) (9,17) (10,29) (11,18) (12,24) (13,21) (14,26) (15,25) (19,23) (20,22) (28,30) 
nodes: 104890  conflicts: 31  modelTime: 1182  solveTime: 250572  totalTime: 251773  modelSize: 72268  readTime: 19 size: 15