(2,4) (3,17) (5,12) (6,7) (8,13) (9,20) (10,30) (11,24) (14,23) (15,22) (16,28) (18,29) (19,26) (25,27) 
nodes: 55173  conflicts: 74  modelTime: 1037  solveTime: 240205  totalTime: 241253  modelSize: 72265  readTime: 11 size: 14