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