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