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