(1,29) (2,13) (4,21) (5,20) (6,15) (7,10) (8,19) (9,30) (11,16) (12,24) (14,26) (17,23) (18,28) (25,27) 
nodes: 21325  conflicts: 42  modelTime: 1598  solveTime: 91610  totalTime: 93228  modelSize: 72267  readTime: 20 size: 14