(1,27) (2,23) (3,18) (4,8) (5,15) (6,9) (7,12) (10,19) (14,25) (16,30) (17,24) (20,21) (22,29) (26,28) 
nodes: 19201  conflicts: 69  modelTime: 1738  solveTime: 55051  totalTime: 56808  modelSize: 72266  readTime: 19 size: 14