(1,29) (2,20) (3,9) (5,12) (6,7) (8,23) (13,21) (14,28) (15,22) (16,27) (17,30) (19,24) 
nodes: 9361  conflicts: 94  modelTime: 1715  solveTime: 33426  totalTime: 35163  modelSize: 72263  readTime: 22 size: 12