(1,30) (2,23) (3,11) (4,18) (5,20) (6,10) (7,12) (8,13) (9,14) (15,28) (16,25) (17,27) (19,22) (21,29) (24,26) 
nodes: 33579  conflicts: 27  modelTime: 1738  solveTime: 85082  totalTime: 86992  modelSize: 72275  readTime: 172 size: 15