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