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