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