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