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