RUSTFLAGS="-C target-cpu=native -g" cargo build --release --no-default-features --features="args std_time logger sat"

RUST_LOG=warn time valgrind --tool=callgrind --dump-instr=yes --collect-jumps=yes target/release/nonogrid benches/puzzles-norg/47648.js >/dev/null