(1,30) (2,25) (3,27) (4,24) (5,9) (6,7) (8,19) (10,14) (11,20) (12,29) (13,15) (16,18) (17,22) (21,23) 
nodes: 17684  conflicts: 59  modelTime: 965  solveTime: 40276  totalTime: 41251  modelSize: 72264  readTime: 10 size: 14