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