(1,20) (2,30) (3,18) (4,23) (5,13) (6,21) (7,22) (8,16) (9,29) (10,26) (11,12) (15,25) (17,28) (24,27) 
nodes: 97821  conflicts: 71  modelTime: 977  solveTime: 510050  totalTime: 511038  modelSize: 72266  readTime: 11 size: 14