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