(1,2) (3,4) (5,14) (6,30) (7,16) (8,9) (10,29) (11,24) (12,13) (15,19) (17,18) (20,22) (21,23) (25,27) (26,28) 
nodes: 16104  conflicts: 27  modelTime: 1671  solveTime: 46249  totalTime: 48069  modelSize: 72275  readTime: 149 size: 15