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