(1,6) (2,21) (3,12) (4,16) (5,25) (8,15) (9,24) (10,19) (11,17) (13,14) (18,23) (22,27) (26,29) (28,30) 
nodes: 24632  conflicts: 54  modelTime: 1724  solveTime: 94399  totalTime: 96142  modelSize: 72266  readTime: 19 size: 14