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