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