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