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