#!/bin/bash cargo run --bin local-solver --release --features="local"