(1,24) (2,5) (3,19) (4,11) (6,23) (7,12) (8,13) (9,27) (10,22) (15,18) (16,21) (17,25) (26,28) (29,30) 
nodes: 40201  conflicts: 54  modelTime: 1714  solveTime: 161090  totalTime: 162824  modelSize: 72264  readTime: 20 size: 14