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