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