loading SCIP...
10 18547 true
10 24 26 29 32 42 54 71 90 93