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