# Final benchmark commands

356 measured solves, 3 runtime-loader probes and 1 pre-solve parser rejection are listed below in execution order. The two driver compiler argv are captured in build manifests. Solver argv are reconstructed from the frozen runner, saved records and phase paths; no full shell or environment transcript was captured.

`${GECODE_ROOT}` is the solver checkout. Retain the frozen baseline/current runtimes, original input files and build manifests. The build commands compile drivers only. This file documents historical commands; it does not run them.

The historical optimization library at build/native-structure/native-build/gecode/optimize/libgecodeoptimize.dylib has since changed. Its recorded SHA-256 is 3957f99015b7dc160e77f8231af70033f97cae9a991da5ac8c694af7f185415a. A hash-matching historical artifact is required before exact replay; do not substitute the current library. Saved input/output records and both driver binaries remain intact.

## Ordered study phases

Recorded in `docs/solver-parity/FINAL-BENCHMARK.md`; run from the solver checkout. The resume steps describe the actual interrupted study and intentionally reject unexpected failures. For a new measurement, use fresh output directories; timings and interruptions can differ.

```sh
python3 experiments/optimize/build_final_benchmark.py
python3 experiments/optimize/benchmark_final.py --output-dir build/final-benchmark/results --binary build/final-benchmark/optimize-final-benchmark --runtime-build build/native-structure/native-build
python3 experiments/optimize/continue_final_benchmark.py --report build/final-benchmark/results/report.json --output-dir build/final-benchmark/extended-results --binary build/final-benchmark/optimize-final-benchmark --runtime-build build/native-structure/native-build
python3 experiments/optimize/resume_final_benchmark.py --report build/final-benchmark/extended-results/report.json --output-dir build/final-benchmark/resumed-results --binary build/final-benchmark/optimize-final-benchmark --runtime-build build/native-structure/native-build
python3 experiments/optimize/build_large_final_benchmark.py
python3 experiments/optimize/resume_large_final_benchmark.py --report build/final-benchmark/resumed-results/report.json --output-dir build/final-benchmark/final-results --binary build/final-benchmark/large-driver/optimize-final-benchmark --runtime-build build/native-structure/native-build
python3 experiments/optimize/resume_large_final_benchmark.py --report build/final-benchmark/final-results/report.json --export-only
```

The final `--export-only` command validates and exports saved results without running a solver.

## Captured compiler commands

Source: `build/final-benchmark/./build.local.json` (working directory: solver checkout).

```sh
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++ "-I${GECODE_ROOT}" -O3 -DNDEBUG -std=gnu++17 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX26.2.sdk -mmacosx-version-min=15.7 "${GECODE_ROOT}/experiments/optimize/final_benchmark.cpp" -o "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" "${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize/libgecodeoptimize.dylib" -Wl,-search_paths_first -Wl,-headerpad_max_install_names "-Wl,-rpath,${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize" "-Wl,-rpath,${GECODE_ROOT}/build/native-structure/native-build"
```

Source: `build/final-benchmark/large-driver/build.local.json` (working directory: solver checkout).

```sh
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++ "-I${GECODE_ROOT}" -O3 -DNDEBUG -std=gnu++17 -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX26.2.sdk -mmacosx-version-min=15.7 "${GECODE_ROOT}/build/final-benchmark/large-driver/final_benchmark_large.cpp" -o "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" "${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize/libgecodeoptimize.dylib" -Wl,-search_paths_first -Wl,-headerpad_max_install_names "-Wl,-rpath,${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize" "-Wl,-rpath,${GECODE_ROOT}/build/native-structure/native-build"
```

## Reconstructed process invocations

For each process the runner removed every inherited `DYLD_*` variable, then set the overrides shown. All other environment variables were inherited and were not captured. The shell examples below assume that cleanup. Process stdin was `/dev/null`; stdout/stderr were captured separately with a 262,144-byte allowance per stream and an 11-second capture timeout. One thread and random seed 0 were set inside the driver.

### 001 · runtime loader probe · knapsack-8-uncorrelated · before · repetition 0

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" DYLD_PRINT_LIBRARIES=1 "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-8-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 002 · runtime loader probe · knapsack-8-uncorrelated · auto · repetition 0

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" DYLD_PRINT_LIBRARIES=1 "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-8-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 003 · runtime loader probe · knapsack-8-uncorrelated · configured · repetition 0

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" DYLD_PRINT_LIBRARIES=1 "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-8-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 004 · measured solve · knapsack-32-uncorrelated · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-32-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 005 · measured solve · knapsack-32-correlated · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-32-correlated.txt" --kind binary --route native --seconds 10)
```

### 006 · measured solve · knapsack-64-uncorrelated · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-64-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 007 · measured solve · knapsack-64-correlated · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-64-correlated.txt" --kind binary --route native --seconds 10)
```

### 008 · measured solve · knapsack-48-uncorrelated · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-48-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 009 · measured solve · knapsack-48-correlated · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-48-correlated.txt" --kind binary --route native --seconds 10)
```

### 010 · measured solve · knapsack-40-uncorrelated · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-40-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 011 · measured solve · knapsack-40-correlated · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-40-correlated.txt" --kind binary --route native --seconds 10)
```

### 012 · measured solve · knapsack-36-uncorrelated · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-36-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 013 · measured solve · knapsack-36-correlated · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-36-correlated.txt" --kind binary --route native --seconds 10)
```

### 014 · measured solve · knapsack-34-uncorrelated · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-34-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 015 · measured solve · knapsack-34-correlated · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-34-correlated.txt" --kind binary --route native --seconds 10)
```

### 016 · measured solve · knapsack-33-uncorrelated · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-33-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 017 · measured solve · knapsack-33-correlated · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-33-correlated.txt" --kind binary --route native --seconds 10)
```

### 018 · measured solve · knapsack-32-uncorrelated · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-32-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 019 · measured solve · knapsack-32-correlated · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-32-correlated.txt" --kind binary --route native --seconds 10)
```

### 020 · measured solve · knapsack-33-uncorrelated · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-33-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 021 · measured solve · knapsack-33-correlated · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-33-correlated.txt" --kind binary --route native --seconds 10)
```

### 022 · measured solve · knapsack-34-uncorrelated · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-34-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 023 · measured solve · knapsack-34-correlated · before · repetition 2

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-34-correlated.txt" --kind binary --route native --seconds 10)
```

### 024 · measured solve · knapsack-32-uncorrelated · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-32-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 025 · measured solve · knapsack-32-correlated · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-32-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 026 · measured solve · knapsack-64-uncorrelated · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-64-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 027 · measured solve · knapsack-64-correlated · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-64-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 028 · measured solve · knapsack-128-uncorrelated · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-128-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 029 · measured solve · knapsack-128-correlated · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-128-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 030 · measured solve · knapsack-256-uncorrelated · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-256-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 031 · measured solve · knapsack-256-correlated · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-256-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 032 · measured solve · knapsack-512-uncorrelated · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-512-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 033 · measured solve · knapsack-512-correlated · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-512-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 034 · measured solve · knapsack-511-uncorrelated · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-511-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 035 · measured solve · knapsack-511-correlated · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-511-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 036 · measured solve · knapsack-511-uncorrelated · auto · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-511-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 037 · measured solve · knapsack-511-correlated · auto · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-511-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 038 · measured solve · knapsack-512-uncorrelated · auto · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-512-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 039 · measured solve · knapsack-512-correlated · auto · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-512-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 040 · measured solve · knapsack-32-uncorrelated · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-32-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 041 · measured solve · knapsack-32-correlated · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-32-correlated.txt" --kind binary --route native --seconds 10)
```

### 042 · measured solve · knapsack-64-uncorrelated · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-64-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 043 · measured solve · knapsack-64-correlated · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-64-correlated.txt" --kind binary --route native --seconds 10)
```

### 044 · measured solve · knapsack-128-uncorrelated · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-128-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 045 · measured solve · knapsack-128-correlated · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-128-correlated.txt" --kind binary --route native --seconds 10)
```

### 046 · measured solve · knapsack-256-uncorrelated · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-256-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 047 · measured solve · knapsack-256-correlated · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-256-correlated.txt" --kind binary --route native --seconds 10)
```

### 048 · measured solve · knapsack-512-uncorrelated · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-512-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 049 · measured solve · knapsack-512-correlated · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-512-correlated.txt" --kind binary --route native --seconds 10)
```

### 050 · measured solve · knapsack-511-uncorrelated · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-511-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 051 · measured solve · knapsack-511-correlated · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-511-correlated.txt" --kind binary --route native --seconds 10)
```

### 052 · measured solve · knapsack-511-uncorrelated · configured · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-511-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 053 · measured solve · knapsack-511-correlated · configured · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-511-correlated.txt" --kind binary --route native --seconds 10)
```

### 054 · measured solve · knapsack-512-uncorrelated · configured · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-512-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 055 · measured solve · knapsack-512-correlated · configured · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-512-correlated.txt" --kind binary --route native --seconds 10)
```

### 056 · measured solve · knapsack-33-uncorrelated · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-33-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 057 · measured solve · knapsack-33-correlated · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-33-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 058 · measured solve · knapsack-33-uncorrelated · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-33-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 059 · measured solve · knapsack-33-correlated · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-33-correlated.txt" --kind binary --route native --seconds 10)
```

### 060 · measured solve · knapsack-34-uncorrelated · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-34-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 061 · measured solve · knapsack-34-correlated · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-34-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 062 · measured solve · knapsack-34-uncorrelated · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-34-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 063 · measured solve · knapsack-34-correlated · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/knapsack-34-correlated.txt" --kind binary --route native --seconds 10)
```

### 064 · measured solve · assignment-16-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-16-single.txt" --kind binary --route native --seconds 10)
```

### 065 · measured solve · assignment-32-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-32-single.txt" --kind binary --route native --seconds 10)
```

### 066 · measured solve · assignment-24-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-24-single.txt" --kind binary --route native --seconds 10)
```

### 067 · measured solve · assignment-20-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-20-single.txt" --kind binary --route native --seconds 10)
```

### 068 · measured solve · assignment-18-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-18-single.txt" --kind binary --route native --seconds 10)
```

### 069 · measured solve · assignment-17-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-17-single.txt" --kind binary --route native --seconds 10)
```

### 070 · measured solve · assignment-16-single · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-16-single.txt" --kind binary --route native --seconds 10)
```

### 071 · measured solve · assignment-17-single · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-17-single.txt" --kind binary --route native --seconds 10)
```

### 072 · measured solve · assignment-18-single · before · repetition 2

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-18-single.txt" --kind binary --route native --seconds 10)
```

### 073 · measured solve · assignment-16-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-16-single.txt" --kind binary --route auto-race --seconds 10)
```

### 074 · measured solve · assignment-32-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-32-single.txt" --kind binary --route auto-race --seconds 10)
```

### 075 · measured solve · assignment-31-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-31-single.txt" --kind binary --route auto-race --seconds 10)
```

### 076 · measured solve · assignment-31-single · auto · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-31-single.txt" --kind binary --route auto-race --seconds 10)
```

### 077 · measured solve · assignment-32-single · auto · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-32-single.txt" --kind binary --route auto-race --seconds 10)
```

### 078 · measured solve · assignment-16-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-16-single.txt" --kind binary --route lp-root --seconds 10)
```

### 079 · measured solve · assignment-32-single · configured · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-32-single.txt" --kind binary --route lp-root --seconds 10)
```

### 080 · measured solve · assignment-24-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-24-single.txt" --kind binary --route lp-root --seconds 10)
```

### 081 · measured solve · assignment-28-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-28-single.txt" --kind binary --route lp-root --seconds 10)
```

### 082 · measured solve · assignment-30-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-30-single.txt" --kind binary --route lp-root --seconds 10)
```

### 083 · measured solve · assignment-31-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-31-single.txt" --kind binary --route lp-root --seconds 10)
```

### 084 · measured solve · assignment-30-single · configured · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-30-single.txt" --kind binary --route lp-root --seconds 10)
```

### 085 · measured solve · assignment-31-single · configured · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-31-single.txt" --kind binary --route lp-root --seconds 10)
```

### 086 · measured solve · assignment-32-single · configured · repetition 2

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-32-single.txt" --kind binary --route lp-root --seconds 10)
```

### 087 · measured solve · assignment-17-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-17-single.txt" --kind binary --route auto-race --seconds 10)
```

### 088 · measured solve · assignment-17-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-17-single.txt" --kind binary --route lp-root --seconds 10)
```

### 089 · measured solve · assignment-18-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-18-single.txt" --kind binary --route auto-race --seconds 10)
```

### 090 · measured solve · assignment-18-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/assignment-18-single.txt" --kind binary --route lp-root --seconds 10)
```

### 091 · measured solve · facility_location-8-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-8-single.txt" --kind binary --route native --seconds 10)
```

### 092 · measured solve · facility_location-16-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-16-single.txt" --kind binary --route native --seconds 10)
```

### 093 · measured solve · facility_location-12-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-12-single.txt" --kind binary --route native --seconds 10)
```

### 094 · measured solve · facility_location-10-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-10-single.txt" --kind binary --route native --seconds 10)
```

### 095 · measured solve · facility_location-9-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-9-single.txt" --kind binary --route native --seconds 10)
```

### 096 · measured solve · facility_location-7-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-7-single.txt" --kind binary --route native --seconds 10)
```

### 097 · measured solve · facility_location-7-single · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-7-single.txt" --kind binary --route native --seconds 10)
```

### 098 · measured solve · facility_location-8-single · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-8-single.txt" --kind binary --route native --seconds 10)
```

### 099 · measured solve · facility_location-9-single · before · repetition 2

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-9-single.txt" --kind binary --route native --seconds 10)
```

### 100 · measured solve · facility_location-8-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-8-single.txt" --kind binary --route auto-race --seconds 10)
```

### 101 · measured solve · facility_location-16-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-16-single.txt" --kind binary --route auto-race --seconds 10)
```

### 102 · measured solve · facility_location-15-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-15-single.txt" --kind binary --route auto-race --seconds 10)
```

### 103 · measured solve · facility_location-15-single · auto · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-15-single.txt" --kind binary --route auto-race --seconds 10)
```

### 104 · measured solve · facility_location-16-single · auto · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-16-single.txt" --kind binary --route auto-race --seconds 10)
```

### 105 · measured solve · facility_location-8-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-8-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 106 · measured solve · facility_location-16-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-16-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 107 · measured solve · facility_location-15-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-15-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 108 · measured solve · facility_location-15-single · configured · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-15-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 109 · measured solve · facility_location-16-single · configured · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-16-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 110 · measured solve · facility_location-7-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-7-single.txt" --kind binary --route auto-race --seconds 10)
```

### 111 · measured solve · facility_location-7-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-7-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 112 · measured solve · facility_location-9-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-9-single.txt" --kind binary --route auto-race --seconds 10)
```

### 113 · measured solve · facility_location-9-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/facility_location-9-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 114 · measured solve · bin_packing-16-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-16-single.txt" --kind binary --route native --seconds 10)
```

### 115 · measured solve · bin_packing-32-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-32-single.txt" --kind binary --route native --seconds 10)
```

### 116 · measured solve · bin_packing-24-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-24-single.txt" --kind binary --route native --seconds 10)
```

### 117 · measured solve · bin_packing-20-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-20-single.txt" --kind binary --route native --seconds 10)
```

### 118 · measured solve · bin_packing-18-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-18-single.txt" --kind binary --route native --seconds 10)
```

### 119 · measured solve · bin_packing-17-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-17-single.txt" --kind binary --route native --seconds 10)
```

### 120 · measured solve · bin_packing-16-single · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-16-single.txt" --kind binary --route native --seconds 10)
```

### 121 · measured solve · bin_packing-17-single · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-17-single.txt" --kind binary --route native --seconds 10)
```

### 122 · measured solve · bin_packing-18-single · before · repetition 2

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-18-single.txt" --kind binary --route native --seconds 10)
```

### 123 · measured solve · bin_packing-16-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-16-single.txt" --kind binary --route auto-race --seconds 10)
```

### 124 · measured solve · bin_packing-32-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-32-single.txt" --kind binary --route auto-race --seconds 10)
```

### 125 · measured solve · bin_packing-31-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-31-single.txt" --kind binary --route auto-race --seconds 10)
```

### 126 · measured solve · bin_packing-31-single · auto · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-31-single.txt" --kind binary --route auto-race --seconds 10)
```

### 127 · measured solve · bin_packing-32-single · auto · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-32-single.txt" --kind binary --route auto-race --seconds 10)
```

### 128 · measured solve · bin_packing-16-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-16-single.txt" --kind binary --route lp-root --seconds 10)
```

### 129 · measured solve · bin_packing-32-single · configured · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-32-single.txt" --kind binary --route lp-root --seconds 10)
```

### 130 · measured solve · bin_packing-24-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-24-single.txt" --kind binary --route lp-root --seconds 10)
```

### 131 · measured solve · bin_packing-28-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-28-single.txt" --kind binary --route lp-root --seconds 10)
```

### 132 · measured solve · bin_packing-30-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-30-single.txt" --kind binary --route lp-root --seconds 10)
```

### 133 · measured solve · bin_packing-31-single · configured · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-31-single.txt" --kind binary --route lp-root --seconds 10)
```

### 134 · measured solve · bin_packing-29-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-29-single.txt" --kind binary --route lp-root --seconds 10)
```

### 135 · measured solve · bin_packing-29-single · configured · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-29-single.txt" --kind binary --route lp-root --seconds 10)
```

### 136 · measured solve · bin_packing-30-single · configured · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-30-single.txt" --kind binary --route lp-root --seconds 10)
```

### 137 · measured solve · bin_packing-31-single · configured · repetition 2

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-31-single.txt" --kind binary --route lp-root --seconds 10)
```

### 138 · measured solve · bin_packing-17-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-17-single.txt" --kind binary --route auto-race --seconds 10)
```

### 139 · measured solve · bin_packing-17-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-17-single.txt" --kind binary --route lp-root --seconds 10)
```

### 140 · measured solve · bin_packing-18-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-18-single.txt" --kind binary --route auto-race --seconds 10)
```

### 141 · measured solve · bin_packing-18-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/bin_packing-18-single.txt" --kind binary --route lp-root --seconds 10)
```

### 142 · measured solve · production-6-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-6-single.txt" --kind binary --route native --seconds 10)
```

### 143 · measured solve · production-12-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-12-single.txt" --kind binary --route native --seconds 10)
```

### 144 · measured solve · production-9-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-9-single.txt" --kind binary --route native --seconds 10)
```

### 145 · measured solve · production-10-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-10-single.txt" --kind binary --route native --seconds 10)
```

### 146 · measured solve · production-11-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-11-single.txt" --kind binary --route native --seconds 10)
```

### 147 · measured solve · production-10-single · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-10-single.txt" --kind binary --route native --seconds 10)
```

### 148 · measured solve · production-11-single · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-11-single.txt" --kind binary --route native --seconds 10)
```

### 149 · measured solve · production-12-single · before · repetition 2

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-12-single.txt" --kind binary --route native --seconds 10)
```

### 150 · measured solve · production-6-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-6-single.txt" --kind binary --route auto-race --seconds 10)
```

### 151 · measured solve · production-12-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-12-single.txt" --kind binary --route auto-race --seconds 10)
```

### 152 · measured solve · production-24-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-24-single.txt" --kind binary --route auto-race --seconds 10)
```

### 153 · measured solve · production-48-single · auto · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-48-single.txt" --kind binary --route auto-race --seconds 10)
```

### 154 · measured solve · production-36-single · auto · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-36-single.txt" --kind binary --route auto-race --seconds 10)
```

### 155 · measured solve · production-30-single · auto · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-30-single.txt" --kind binary --route auto-race --seconds 10)
```

### 156 · measured solve · production-27-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-27-single.txt" --kind binary --route auto-race --seconds 10)
```

### 157 · measured solve · production-28-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-28-single.txt" --kind binary --route auto-race --seconds 10)
```

### 158 · measured solve · production-29-single · auto · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-29-single.txt" --kind binary --route auto-race --seconds 10)
```

### 159 · measured solve · production-27-single · auto · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-27-single.txt" --kind binary --route auto-race --seconds 10)
```

### 160 · measured solve · production-28-single · auto · repetition 2

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-28-single.txt" --kind binary --route auto-race --seconds 10)
```

### 161 · measured solve · production-29-single · auto · repetition 2

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-29-single.txt" --kind binary --route auto-race --seconds 10)
```

### 162 · measured solve · production-26-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-26-single.txt" --kind binary --route auto-race --seconds 10)
```

### 163 · measured solve · production-26-single · auto · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-26-single.txt" --kind binary --route auto-race --seconds 10)
```

### 164 · measured solve · production-6-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-6-single.txt" --kind binary --route lp-reliability --seconds 10)
```

### 165 · measured solve · production-12-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-12-single.txt" --kind binary --route lp-reliability --seconds 10)
```

### 166 · measured solve · production-24-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-24-single.txt" --kind binary --route lp-reliability --seconds 10)
```

### 167 · measured solve · production-48-single · configured · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-48-single.txt" --kind binary --route lp-reliability --seconds 10)
```

### 168 · measured solve · production-36-single · configured · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-36-single.txt" --kind binary --route lp-reliability --seconds 10)
```

### 169 · measured solve · production-30-single · configured · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-30-single.txt" --kind binary --route lp-reliability --seconds 10)
```

### 170 · measured solve · production-27-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-27-single.txt" --kind binary --route lp-reliability --seconds 10)
```

### 171 · measured solve · production-28-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-28-single.txt" --kind binary --route lp-reliability --seconds 10)
```

### 172 · measured solve · production-29-single · configured · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-29-single.txt" --kind binary --route lp-reliability --seconds 10)
```

### 173 · measured solve · production-27-single · configured · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-27-single.txt" --kind binary --route lp-reliability --seconds 10)
```

### 174 · measured solve · production-28-single · configured · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-28-single.txt" --kind binary --route lp-reliability --seconds 10)
```

### 175 · measured solve · production-29-single · configured · repetition 2

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-29-single.txt" --kind binary --route lp-reliability --seconds 10)
```

### 176 · measured solve · production-9-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-9-single.txt" --kind binary --route auto-race --seconds 10)
```

### 177 · measured solve · production-9-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-9-single.txt" --kind binary --route lp-reliability --seconds 10)
```

### 178 · measured solve · production-10-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-10-single.txt" --kind binary --route auto-race --seconds 10)
```

### 179 · measured solve · production-10-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-10-single.txt" --kind binary --route lp-reliability --seconds 10)
```

### 180 · measured solve · production-11-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-11-single.txt" --kind binary --route auto-race --seconds 10)
```

### 181 · measured solve · production-11-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/production-11-single.txt" --kind binary --route lp-reliability --seconds 10)
```

### 182 · measured solve · native_tsp-16-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-16-single.txt" --kind native_tsp --route native --seconds 10)
```

### 183 · measured solve · native_tsp-32-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-32-single.txt" --kind native_tsp --route native --seconds 10)
```

### 184 · measured solve · native_tsp-24-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-24-single.txt" --kind native_tsp --route native --seconds 10)
```

### 185 · measured solve · native_tsp-20-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-20-single.txt" --kind native_tsp --route native --seconds 10)
```

### 186 · measured solve · native_tsp-22-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-22-single.txt" --kind native_tsp --route native --seconds 10)
```

### 187 · measured solve · native_tsp-21-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-21-single.txt" --kind native_tsp --route native --seconds 10)
```

### 188 · measured solve · native_tsp-20-single · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-20-single.txt" --kind native_tsp --route native --seconds 10)
```

### 189 · measured solve · native_tsp-21-single · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-21-single.txt" --kind native_tsp --route native --seconds 10)
```

### 190 · measured solve · native_tsp-22-single · before · repetition 2

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-22-single.txt" --kind native_tsp --route native --seconds 10)
```

### 191 · measured solve · native_tsp-16-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-16-single.txt" --kind native_tsp --route auto-race --seconds 10)
```

### 192 · measured solve · native_tsp-32-single · auto · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-32-single.txt" --kind native_tsp --route auto-race --seconds 10)
```

### 193 · measured solve · native_tsp-24-single · auto · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-24-single.txt" --kind native_tsp --route auto-race --seconds 10)
```

### 194 · measured solve · native_tsp-20-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-20-single.txt" --kind native_tsp --route auto-race --seconds 10)
```

### 195 · measured solve · native_tsp-22-single · auto · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-22-single.txt" --kind native_tsp --route auto-race --seconds 10)
```

### 196 · measured solve · native_tsp-21-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-21-single.txt" --kind native_tsp --route auto-race --seconds 10)
```

### 197 · measured solve · native_tsp-20-single · auto · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-20-single.txt" --kind native_tsp --route auto-race --seconds 10)
```

### 198 · measured solve · native_tsp-21-single · auto · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-21-single.txt" --kind native_tsp --route auto-race --seconds 10)
```

### 199 · measured solve · native_tsp-22-single · auto · repetition 2

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-22-single.txt" --kind native_tsp --route auto-race --seconds 10)
```

### 200 · measured solve · native_tsp-16-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-16-single.txt" --kind native_tsp --route native --seconds 10)
```

### 201 · measured solve · native_tsp-32-single · configured · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-32-single.txt" --kind native_tsp --route native --seconds 10)
```

### 202 · measured solve · native_tsp-24-single · configured · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-24-single.txt" --kind native_tsp --route native --seconds 10)
```

### 203 · measured solve · native_tsp-20-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-20-single.txt" --kind native_tsp --route native --seconds 10)
```

### 204 · measured solve · native_tsp-22-single · configured · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-22-single.txt" --kind native_tsp --route native --seconds 10)
```

### 205 · measured solve · native_tsp-21-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-21-single.txt" --kind native_tsp --route native --seconds 10)
```

### 206 · measured solve · native_tsp-20-single · configured · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-20-single.txt" --kind native_tsp --route native --seconds 10)
```

### 207 · measured solve · native_tsp-21-single · configured · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-21-single.txt" --kind native_tsp --route native --seconds 10)
```

### 208 · measured solve · native_tsp-22-single · configured · repetition 2

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/native_tsp-22-single.txt" --kind native_tsp --route native --seconds 10)
```

### 209 · measured solve · weighted_queens-12-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-12-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 210 · measured solve · weighted_queens-24-single · before · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-24-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 211 · measured solve · weighted_queens-18-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-18-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 212 · measured solve · weighted_queens-21-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-21-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 213 · measured solve · weighted_queens-22-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-22-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 214 · measured solve · weighted_queens-23-single · before · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-23-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 215 · measured solve · weighted_queens-22-single · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-22-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 216 · measured solve · weighted_queens-23-single · before · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-23-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 217 · measured solve · weighted_queens-24-single · before · repetition 2

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/comparison-algorithms/before/lib" "${GECODE_ROOT}/build/capacity-scaling/fixed-driver/optimize-native-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-24-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 218 · measured solve · weighted_queens-12-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-12-single.txt" --kind weighted_queens --route auto-race --seconds 10)
```

### 219 · measured solve · weighted_queens-24-single · auto · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-24-single.txt" --kind weighted_queens --route auto-race --seconds 10)
```

### 220 · measured solve · weighted_queens-18-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-18-single.txt" --kind weighted_queens --route auto-race --seconds 10)
```

### 221 · measured solve · weighted_queens-21-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-21-single.txt" --kind weighted_queens --route auto-race --seconds 10)
```

### 222 · measured solve · weighted_queens-22-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-22-single.txt" --kind weighted_queens --route auto-race --seconds 10)
```

### 223 · measured solve · weighted_queens-23-single · auto · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-23-single.txt" --kind weighted_queens --route auto-race --seconds 10)
```

### 224 · measured solve · weighted_queens-22-single · auto · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-22-single.txt" --kind weighted_queens --route auto-race --seconds 10)
```

### 225 · measured solve · weighted_queens-23-single · auto · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-23-single.txt" --kind weighted_queens --route auto-race --seconds 10)
```

### 226 · measured solve · weighted_queens-24-single · auto · repetition 2

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-24-single.txt" --kind weighted_queens --route auto-race --seconds 10)
```

### 227 · measured solve · weighted_queens-12-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-12-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 228 · measured solve · weighted_queens-24-single · configured · repetition 1

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-24-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 229 · measured solve · weighted_queens-18-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-18-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 230 · measured solve · weighted_queens-21-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-21-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 231 · measured solve · weighted_queens-22-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-22-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 232 · measured solve · weighted_queens-23-single · configured · repetition 1

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-23-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 233 · measured solve · weighted_queens-22-single · configured · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-22-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 234 · measured solve · weighted_queens-23-single · configured · repetition 2

Phase 1; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-23-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 235 · measured solve · weighted_queens-24-single · configured · repetition 2

Phase 1; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/results/models/weighted_queens-24-single.txt" --kind weighted_queens --route native --seconds 10)
```

### 236 · measured solve · knapsack-1024-uncorrelated · auto · repetition 1

Phase 2; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-1024-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 237 · measured solve · knapsack-1024-correlated · auto · repetition 1

Phase 2; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-1024-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 238 · measured solve · knapsack-1024-uncorrelated · auto · repetition 2

Phase 2; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-1024-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 239 · measured solve · knapsack-1024-correlated · auto · repetition 2

Phase 2; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-1024-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 240 · measured solve · knapsack-2048-uncorrelated · auto · repetition 1

Phase 2; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-2048-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 241 · measured solve · knapsack-2048-correlated · auto · repetition 1

Phase 2; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-2048-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 242 · measured solve · knapsack-2048-uncorrelated · auto · repetition 2

Phase 2; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-2048-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 243 · measured solve · knapsack-2048-correlated · auto · repetition 2

Phase 2; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-2048-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 244 · measured solve · knapsack-4096-uncorrelated · auto · repetition 1

Phase 2; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/extended-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/extended-results/models/knapsack-4096-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 245 · measured solve · knapsack-4096-correlated · auto · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-4096-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 246 · measured solve · knapsack-4096-uncorrelated · auto · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-4096-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 247 · measured solve · knapsack-4096-correlated · auto · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-4096-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 248 · measured solve · knapsack-3072-uncorrelated · auto · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-3072-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 249 · measured solve · knapsack-3072-correlated · auto · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-3072-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 250 · measured solve · knapsack-3072-uncorrelated · auto · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-3072-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 251 · measured solve · knapsack-3072-correlated · auto · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-3072-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 252 · measured solve · knapsack-2560-uncorrelated · auto · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2560-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 253 · measured solve · knapsack-2560-correlated · auto · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2560-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 254 · measured solve · knapsack-2560-uncorrelated · auto · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2560-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 255 · measured solve · knapsack-2560-correlated · auto · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2560-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 256 · measured solve · knapsack-2304-uncorrelated · auto · repetition 1

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2304-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 257 · measured solve · knapsack-2304-correlated · auto · repetition 1

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2304-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 258 · measured solve · knapsack-2304-uncorrelated · auto · repetition 2

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2304-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 259 · measured solve · knapsack-2304-correlated · auto · repetition 2

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2304-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 260 · measured solve · knapsack-2432-uncorrelated · auto · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2432-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 261 · measured solve · knapsack-2432-correlated · auto · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2432-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 262 · measured solve · knapsack-2432-uncorrelated · auto · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2432-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 263 · measured solve · knapsack-2432-correlated · auto · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2432-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 264 · measured solve · knapsack-2368-uncorrelated · auto · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2368-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 265 · measured solve · knapsack-2368-correlated · auto · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2368-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 266 · measured solve · knapsack-2368-uncorrelated · auto · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2368-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 267 · measured solve · knapsack-2368-correlated · auto · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2368-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 268 · measured solve · knapsack-2336-uncorrelated · auto · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2336-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 269 · measured solve · knapsack-2336-correlated · auto · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2336-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 270 · measured solve · knapsack-2336-uncorrelated · auto · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2336-uncorrelated.txt" --kind binary --route auto-race --seconds 10)
```

### 271 · measured solve · knapsack-2336-correlated · auto · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2336-correlated.txt" --kind binary --route auto-race --seconds 10)
```

### 272 · measured solve · knapsack-1024-uncorrelated · configured · repetition 1

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-1024-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 273 · measured solve · knapsack-1024-correlated · configured · repetition 1

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-1024-correlated.txt" --kind binary --route native --seconds 10)
```

### 274 · measured solve · knapsack-1024-uncorrelated · configured · repetition 2

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-1024-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 275 · measured solve · knapsack-1024-correlated · configured · repetition 2

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-1024-correlated.txt" --kind binary --route native --seconds 10)
```

### 276 · measured solve · knapsack-2048-uncorrelated · configured · repetition 1

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2048-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 277 · measured solve · knapsack-2048-correlated · configured · repetition 1

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2048-correlated.txt" --kind binary --route native --seconds 10)
```

### 278 · measured solve · knapsack-2048-uncorrelated · configured · repetition 2

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2048-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 279 · measured solve · knapsack-2048-correlated · configured · repetition 2

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2048-correlated.txt" --kind binary --route native --seconds 10)
```

### 280 · measured solve · knapsack-4096-uncorrelated · configured · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-4096-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 281 · measured solve · knapsack-4096-correlated · configured · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-4096-correlated.txt" --kind binary --route native --seconds 10)
```

### 282 · measured solve · knapsack-4096-uncorrelated · configured · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-4096-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 283 · measured solve · knapsack-4096-correlated · configured · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-4096-correlated.txt" --kind binary --route native --seconds 10)
```

### 284 · measured solve · knapsack-3072-uncorrelated · configured · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-3072-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 285 · measured solve · knapsack-3072-correlated · configured · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-3072-correlated.txt" --kind binary --route native --seconds 10)
```

### 286 · measured solve · knapsack-3072-uncorrelated · configured · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-3072-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 287 · measured solve · knapsack-3072-correlated · configured · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-3072-correlated.txt" --kind binary --route native --seconds 10)
```

### 288 · measured solve · knapsack-2560-uncorrelated · configured · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2560-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 289 · measured solve · knapsack-2560-correlated · configured · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2560-correlated.txt" --kind binary --route native --seconds 10)
```

### 290 · measured solve · knapsack-2560-uncorrelated · configured · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2560-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 291 · measured solve · knapsack-2560-correlated · configured · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2560-correlated.txt" --kind binary --route native --seconds 10)
```

### 292 · measured solve · knapsack-2304-uncorrelated · configured · repetition 1

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2304-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 293 · measured solve · knapsack-2304-correlated · configured · repetition 1

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2304-correlated.txt" --kind binary --route native --seconds 10)
```

### 294 · measured solve · knapsack-2304-uncorrelated · configured · repetition 2

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2304-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 295 · measured solve · knapsack-2304-correlated · configured · repetition 2

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2304-correlated.txt" --kind binary --route native --seconds 10)
```

### 296 · measured solve · knapsack-2432-uncorrelated · configured · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2432-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 297 · measured solve · knapsack-2432-correlated · configured · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2432-correlated.txt" --kind binary --route native --seconds 10)
```

### 298 · measured solve · knapsack-2432-uncorrelated · configured · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2432-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 299 · measured solve · knapsack-2432-correlated · configured · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2432-correlated.txt" --kind binary --route native --seconds 10)
```

### 300 · measured solve · knapsack-2368-uncorrelated · configured · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2368-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 301 · measured solve · knapsack-2368-correlated · configured · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2368-correlated.txt" --kind binary --route native --seconds 10)
```

### 302 · measured solve · knapsack-2368-uncorrelated · configured · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2368-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 303 · measured solve · knapsack-2368-correlated · configured · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2368-correlated.txt" --kind binary --route native --seconds 10)
```

### 304 · measured solve · knapsack-2336-uncorrelated · configured · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2336-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 305 · measured solve · knapsack-2336-correlated · configured · repetition 1

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2336-correlated.txt" --kind binary --route native --seconds 10)
```

### 306 · measured solve · knapsack-2336-uncorrelated · configured · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2336-uncorrelated.txt" --kind binary --route native --seconds 10)
```

### 307 · measured solve · knapsack-2336-correlated · configured · repetition 2

Phase 3; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/knapsack-2336-correlated.txt" --kind binary --route native --seconds 10)
```

### 308 · measured solve · assignment-64-single · auto · repetition 1

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/assignment-64-single.txt" --kind binary --route auto-race --seconds 10)
```

### 309 · measured solve · assignment-64-single · auto · repetition 2

Phase 3; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/assignment-64-single.txt" --kind binary --route auto-race --seconds 10)
```

### 310 · pre-solve parser rejection · assignment-128-single · auto · repetition 1

Phase 3; status `error`; return code `2`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/resumed-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/resumed-results/models/assignment-128-single.txt" --kind binary --route auto-race --seconds 10)
```

### 311 · measured solve · assignment-128-single · auto · repetition 1

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-128-single.txt" --kind binary --route auto-race --seconds 10)
```

### 312 · measured solve · assignment-128-single · auto · repetition 2

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-128-single.txt" --kind binary --route auto-race --seconds 10)
```

### 313 · measured solve · assignment-96-single · auto · repetition 1

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-96-single.txt" --kind binary --route auto-race --seconds 10)
```

### 314 · measured solve · assignment-96-single · auto · repetition 2

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-96-single.txt" --kind binary --route auto-race --seconds 10)
```

### 315 · measured solve · assignment-80-single · auto · repetition 1

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-80-single.txt" --kind binary --route auto-race --seconds 10)
```

### 316 · measured solve · assignment-80-single · auto · repetition 2

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-80-single.txt" --kind binary --route auto-race --seconds 10)
```

### 317 · measured solve · assignment-72-single · auto · repetition 1

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-72-single.txt" --kind binary --route auto-race --seconds 10)
```

### 318 · measured solve · assignment-72-single · auto · repetition 2

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-72-single.txt" --kind binary --route auto-race --seconds 10)
```

### 319 · measured solve · assignment-68-single · auto · repetition 1

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-68-single.txt" --kind binary --route auto-race --seconds 10)
```

### 320 · measured solve · assignment-68-single · auto · repetition 2

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-68-single.txt" --kind binary --route auto-race --seconds 10)
```

### 321 · measured solve · assignment-66-single · auto · repetition 1

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-66-single.txt" --kind binary --route auto-race --seconds 10)
```

### 322 · measured solve · assignment-66-single · auto · repetition 2

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/assignment-66-single.txt" --kind binary --route auto-race --seconds 10)
```

### 323 · measured solve · facility_location-32-single · auto · repetition 1

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-32-single.txt" --kind binary --route auto-race --seconds 10)
```

### 324 · measured solve · facility_location-32-single · auto · repetition 2

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-32-single.txt" --kind binary --route auto-race --seconds 10)
```

### 325 · measured solve · facility_location-64-single · auto · repetition 1

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-64-single.txt" --kind binary --route auto-race --seconds 10)
```

### 326 · measured solve · facility_location-64-single · auto · repetition 2

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-64-single.txt" --kind binary --route auto-race --seconds 10)
```

### 327 · measured solve · facility_location-48-single · auto · repetition 1

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-48-single.txt" --kind binary --route auto-race --seconds 10)
```

### 328 · measured solve · facility_location-48-single · auto · repetition 2

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-48-single.txt" --kind binary --route auto-race --seconds 10)
```

### 329 · measured solve · facility_location-40-single · auto · repetition 1

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-40-single.txt" --kind binary --route auto-race --seconds 10)
```

### 330 · measured solve · facility_location-40-single · auto · repetition 2

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-40-single.txt" --kind binary --route auto-race --seconds 10)
```

### 331 · measured solve · facility_location-44-single · auto · repetition 1

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-44-single.txt" --kind binary --route auto-race --seconds 10)
```

### 332 · measured solve · facility_location-44-single · auto · repetition 2

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-44-single.txt" --kind binary --route auto-race --seconds 10)
```

### 333 · measured solve · facility_location-46-single · auto · repetition 1

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-46-single.txt" --kind binary --route auto-race --seconds 10)
```

### 334 · measured solve · facility_location-46-single · auto · repetition 2

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-46-single.txt" --kind binary --route auto-race --seconds 10)
```

### 335 · measured solve · facility_location-45-single · auto · repetition 1

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-45-single.txt" --kind binary --route auto-race --seconds 10)
```

### 336 · measured solve · facility_location-45-single · auto · repetition 2

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-45-single.txt" --kind binary --route auto-race --seconds 10)
```

### 337 · measured solve · facility_location-32-single · configured · repetition 1

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-32-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 338 · measured solve · facility_location-32-single · configured · repetition 2

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-32-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 339 · measured solve · facility_location-64-single · configured · repetition 1

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-64-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 340 · measured solve · facility_location-64-single · configured · repetition 2

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-64-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 341 · measured solve · facility_location-48-single · configured · repetition 1

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-48-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 342 · measured solve · facility_location-48-single · configured · repetition 2

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-48-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 343 · measured solve · facility_location-56-single · configured · repetition 1

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-56-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 344 · measured solve · facility_location-56-single · configured · repetition 2

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-56-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 345 · measured solve · facility_location-52-single · configured · repetition 1

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-52-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 346 · measured solve · facility_location-52-single · configured · repetition 2

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-52-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 347 · measured solve · facility_location-54-single · configured · repetition 1

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-54-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 348 · measured solve · facility_location-54-single · configured · repetition 2

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/facility_location-54-single.txt" --kind binary --route lp-updated --seconds 10)
```

### 349 · measured solve · bin_packing-64-single · auto · repetition 1

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-64-single.txt" --kind binary --route auto-race --seconds 10)
```

### 350 · measured solve · bin_packing-64-single · auto · repetition 2

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-64-single.txt" --kind binary --route auto-race --seconds 10)
```

### 351 · measured solve · bin_packing-48-single · auto · repetition 1

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-48-single.txt" --kind binary --route auto-race --seconds 10)
```

### 352 · measured solve · bin_packing-48-single · auto · repetition 2

Phase 4; status `time_limit`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-48-single.txt" --kind binary --route auto-race --seconds 10)
```

### 353 · measured solve · bin_packing-40-single · auto · repetition 1

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-40-single.txt" --kind binary --route auto-race --seconds 10)
```

### 354 · measured solve · bin_packing-40-single · auto · repetition 2

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-40-single.txt" --kind binary --route auto-race --seconds 10)
```

### 355 · measured solve · bin_packing-44-single · auto · repetition 1

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-44-single.txt" --kind binary --route auto-race --seconds 10)
```

### 356 · measured solve · bin_packing-44-single · auto · repetition 2

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-44-single.txt" --kind binary --route auto-race --seconds 10)
```

### 357 · measured solve · bin_packing-46-single · auto · repetition 1

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-46-single.txt" --kind binary --route auto-race --seconds 10)
```

### 358 · measured solve · bin_packing-46-single · auto · repetition 2

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-46-single.txt" --kind binary --route auto-race --seconds 10)
```

### 359 · measured solve · bin_packing-47-single · auto · repetition 1

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-47-single.txt" --kind binary --route auto-race --seconds 10)
```

### 360 · measured solve · bin_packing-47-single · auto · repetition 2

Phase 4; status `optimal`; return code `0`.

```sh
(cd "${GECODE_ROOT}/build/final-benchmark/final-results" && DYLD_LIBRARY_PATH="${GECODE_ROOT}/build/native-structure/native-build/gecode/optimize:${GECODE_ROOT}/build/native-structure/native-build" "${GECODE_ROOT}/build/final-benchmark/large-driver/optimize-final-benchmark" --input "${GECODE_ROOT}/build/final-benchmark/final-results/models/bin_packing-47-single.txt" --kind binary --route auto-race --seconds 10)
```

## Provenance

- Report SHA-256: `f0635189a62c78e69d36f11d562751153924ee8afec22d0dc530b8d9da25bb9b`.
- Original source: `530a3b7837205d8255c6640425018831d3f8ee0e`; compiled product: `c2fabb78f1fc3bcfd7432eb71cfdb22656cd3f60`.
- The JSON inventory includes source, input, output, compiler, driver and runtime hashes; timings and invocation IDs for every displayed performance ratio.
- The earlier 42-run configured-policy pilot and existing runtime builds are pinned dependencies; this inventory covers the final comparison rather than reconstructing their complete shell histories.