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