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