From e446d9b74fb25a16e891062ccc41c0afd09ccdf4 Mon Sep 17 00:00:00 2001
From: ddidderr <ddidderr@paul.network>
Date: Tue, 21 Mar 2023 18:17:34 +0100
Subject: [PATCH] rust version: backtracking simplified and other improvements

* backtracking: main loop simplified
* instead of the `fixed` Vec, we now use skip fields to calculate
  how many fields to skip in `next()` and `prev()`.
  This is faster because we get rid of the `if` statement
  thus no branching occurs.
---
 .cargo/config.toml |   3 +-
 Cargo.toml         |   3 +-
 flamegraph.svg     | 414 +++++++++++++++++++++++++++++++++++++++++++++
 src/main.rs        | 354 +++++++++++---------------------------
 4 files changed, 513 insertions(+), 261 deletions(-)
 create mode 100644 flamegraph.svg

diff --git a/.cargo/config.toml b/.cargo/config.toml
index dc191ce..6dced02 100644
--- a/.cargo/config.toml
+++ b/.cargo/config.toml
@@ -1,3 +1,2 @@
 [build]
-target = "x86_64-unknown-linux-musl"
-rustflags = "-C target-cpu=native -C strip=symbols"
+rustflags = ["-C", "target-cpu=native", "-C", "target-feature=+crt-static"]
diff --git a/Cargo.toml b/Cargo.toml
index dc0c9d9..9578e68 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -9,5 +9,6 @@ edition = "2021"
 [profile.release]
 lto = true
 debug = false
-codegen-units = 1
+strip = true
 panic = "abort"
+codegen-units = 1
diff --git a/flamegraph.svg b/flamegraph.svg
new file mode 100644
index 0000000..d488d19
--- /dev/null
+++ b/flamegraph.svg
@@ -0,0 +1,414 @@
+<?xml version="1.0" standalone="no"?><!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg version="1.1" width="1200" height="470" onload="init(evt)" viewBox="0 0 1200 470" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:fg="http://github.com/jonhoo/inferno"><!--Flame graph stack visualization. See https://github.com/brendangregg/FlameGraph for latest version, and http://www.brendangregg.com/flamegraphs.html for examples.--><!--NOTES: --><defs><linearGradient id="background" y1="0" y2="1" x1="0" x2="0"><stop stop-color="#eeeeee" offset="5%"/><stop stop-color="#eeeeb0" offset="95%"/></linearGradient></defs><style type="text/css">
+text { font-family:"Verdana"; font-size:12px; fill:rgb(0,0,0); }
+#title { text-anchor:middle; font-size:17px; }
+#search { opacity:0.1; cursor:pointer; }
+#search:hover, #search.show { opacity:1; }
+#subtitle { text-anchor:middle; font-color:rgb(160,160,160); }
+#unzoom { cursor:pointer; }
+#frames > *:hover { stroke:black; stroke-width:0.5; cursor:pointer; }
+.hide { display:none; }
+.parent { opacity:0.5; }
+</style><script type="text/ecmascript"><![CDATA[
+        var nametype = 'Function:';
+        var fontsize = 12;
+        var fontwidth = 0.59;
+        var xpad = 10;
+        var inverted = false;
+        var searchcolor = 'rgb(230,0,230)';
+        var fluiddrawing = true;
+        var truncate_text_right = false;
+    ]]><![CDATA["use strict";
+var details, searchbtn, unzoombtn, matchedtxt, svg, searching, frames;
+function init(evt) {
+    details = document.getElementById("details").firstChild;
+    searchbtn = document.getElementById("search");
+    unzoombtn = document.getElementById("unzoom");
+    matchedtxt = document.getElementById("matched");
+    svg = document.getElementsByTagName("svg")[0];
+    frames = document.getElementById("frames");
+    total_samples = parseInt(frames.attributes.total_samples.value);
+    searching = 0;
+
+    // Use GET parameters to restore a flamegraph's state.
+    var restore_state = function() {
+        var params = get_params();
+        if (params.x && params.y)
+            zoom(find_group(document.querySelector('[*|x="' + params.x + '"][y="' + params.y + '"]')));
+        if (params.s)
+            search(params.s);
+    };
+
+    if (fluiddrawing) {
+        // Make width dynamic so the SVG fits its parent's width.
+        svg.removeAttribute("width");
+        // Edge requires us to have a viewBox that gets updated with size changes.
+        var isEdge = /Edge\/\d./i.test(navigator.userAgent);
+        var update_for_width_change = function() {
+            if (isEdge) {
+                svg.attributes.viewBox.value = "0 0 " + svg.width.baseVal.value + " " + svg.height.baseVal.value;
+            }
+
+            // Keep consistent padding on left and right of frames container.
+            frames.attributes.width.value = svg.width.baseVal.value - xpad * 2;
+
+            // Text truncation needs to be adjusted for the current width.
+            var el = frames.children;
+            for(var i = 0; i < el.length; i++) {
+                update_text(el[i]);
+            }
+
+            // Keep search elements at a fixed distance from right edge.
+            var svgWidth = svg.width.baseVal.value;
+            searchbtn.attributes.x.value = svgWidth - xpad - 100;
+            matchedtxt.attributes.x.value = svgWidth - xpad - 100;
+        };
+        window.addEventListener('resize', function() {
+            update_for_width_change();
+        });
+        // This needs to be done asynchronously for Safari to work.
+        setTimeout(function() {
+            unzoom();
+            update_for_width_change();
+            restore_state();
+            if (!isEdge) {
+                svg.removeAttribute("viewBox");
+            }
+        }, 0);
+    } else {
+        restore_state();
+    }
+}
+// event listeners
+window.addEventListener("click", function(e) {
+    var target = find_group(e.target);
+    if (target) {
+        if (target.nodeName == "a") {
+            if (e.ctrlKey === false) return;
+            e.preventDefault();
+        }
+        if (target.classList.contains("parent")) unzoom();
+        zoom(target);
+
+        // set parameters for zoom state
+        var el = target.querySelector("rect");
+        if (el && el.attributes && el.attributes.y && el.attributes["fg:x"]) {
+            var params = get_params()
+            params.x = el.attributes["fg:x"].value;
+            params.y = el.attributes.y.value;
+            history.replaceState(null, null, parse_params(params));
+        }
+    }
+    else if (e.target.id == "unzoom") {
+        unzoom();
+
+        // remove zoom state
+        var params = get_params();
+        if (params.x) delete params.x;
+        if (params.y) delete params.y;
+        history.replaceState(null, null, parse_params(params));
+    }
+    else if (e.target.id == "search") search_prompt();
+}, false)
+// mouse-over for info
+// show
+window.addEventListener("mouseover", function(e) {
+    var target = find_group(e.target);
+    if (target) details.nodeValue = nametype + " " + g_to_text(target);
+}, false)
+// clear
+window.addEventListener("mouseout", function(e) {
+    var target = find_group(e.target);
+    if (target) details.nodeValue = ' ';
+}, false)
+// ctrl-F for search
+window.addEventListener("keydown",function (e) {
+    if (e.keyCode === 114 || (e.ctrlKey && e.keyCode === 70)) {
+        e.preventDefault();
+        search_prompt();
+    }
+}, false)
+// functions
+function get_params() {
+    var params = {};
+    var paramsarr = window.location.search.substr(1).split('&');
+    for (var i = 0; i < paramsarr.length; ++i) {
+        var tmp = paramsarr[i].split("=");
+        if (!tmp[0] || !tmp[1]) continue;
+        params[tmp[0]]  = decodeURIComponent(tmp[1]);
+    }
+    return params;
+}
+function parse_params(params) {
+    var uri = "?";
+    for (var key in params) {
+        uri += key + '=' + encodeURIComponent(params[key]) + '&';
+    }
+    if (uri.slice(-1) == "&")
+        uri = uri.substring(0, uri.length - 1);
+    if (uri == '?')
+        uri = window.location.href.split('?')[0];
+    return uri;
+}
+function find_child(node, selector) {
+    var children = node.querySelectorAll(selector);
+    if (children.length) return children[0];
+    return;
+}
+function find_group(node) {
+    var parent = node.parentElement;
+    if (!parent) return;
+    if (parent.id == "frames") return node;
+    return find_group(parent);
+}
+function orig_save(e, attr, val) {
+    if (e.attributes["fg:orig_" + attr] != undefined) return;
+    if (e.attributes[attr] == undefined) return;
+    if (val == undefined) val = e.attributes[attr].value;
+    e.setAttribute("fg:orig_" + attr, val);
+}
+function orig_load(e, attr) {
+    if (e.attributes["fg:orig_"+attr] == undefined) return;
+    e.attributes[attr].value = e.attributes["fg:orig_" + attr].value;
+    e.removeAttribute("fg:orig_" + attr);
+}
+function g_to_text(e) {
+    var text = find_child(e, "title").firstChild.nodeValue;
+    return (text)
+}
+function g_to_func(e) {
+    var func = g_to_text(e);
+    // if there's any manipulation we want to do to the function
+    // name before it's searched, do it here before returning.
+    return (func);
+}
+function update_text(e) {
+    var r = find_child(e, "rect");
+    var t = find_child(e, "text");
+    var w = parseFloat(r.attributes.width.value) * frames.attributes.width.value / 100 - 3;
+    var txt = find_child(e, "title").textContent.replace(/\([^(]*\)$/,"");
+    t.attributes.x.value = format_percent((parseFloat(r.attributes.x.value) + (100 * 3 / frames.attributes.width.value)));
+    // Smaller than this size won't fit anything
+    if (w < 2 * fontsize * fontwidth) {
+        t.textContent = "";
+        return;
+    }
+    t.textContent = txt;
+    // Fit in full text width
+    if (/^ *\$/.test(txt) || t.getComputedTextLength() < w)
+        return;
+    if (truncate_text_right) {
+        // Truncate the right side of the text.
+        for (var x = txt.length - 2; x > 0; x--) {
+            if (t.getSubStringLength(0, x + 2) <= w) {
+                t.textContent = txt.substring(0, x) + "..";
+                return;
+            }
+        }
+    } else {
+        // Truncate the left side of the text.
+        for (var x = 2; x < txt.length; x++) {
+            if (t.getSubStringLength(x - 2, txt.length) <= w) {
+                t.textContent = ".." + txt.substring(x, txt.length);
+                return;
+            }
+        }
+    }
+    t.textContent = "";
+}
+// zoom
+function zoom_reset(e) {
+    if (e.tagName == "rect") {
+        e.attributes.x.value = format_percent(100 * parseInt(e.attributes["fg:x"].value) / total_samples);
+        e.attributes.width.value = format_percent(100 * parseInt(e.attributes["fg:w"].value) / total_samples);
+    }
+    if (e.childNodes == undefined) return;
+    for(var i = 0, c = e.childNodes; i < c.length; i++) {
+        zoom_reset(c[i]);
+    }
+}
+function zoom_child(e, x, zoomed_width_samples) {
+    if (e.tagName == "text") {
+        var parent_x = parseFloat(find_child(e.parentNode, "rect[x]").attributes.x.value);
+        e.attributes.x.value = format_percent(parent_x + (100 * 3 / frames.attributes.width.value));
+    } else if (e.tagName == "rect") {
+        e.attributes.x.value = format_percent(100 * (parseInt(e.attributes["fg:x"].value) - x) / zoomed_width_samples);
+        e.attributes.width.value = format_percent(100 * parseInt(e.attributes["fg:w"].value) / zoomed_width_samples);
+    }
+    if (e.childNodes == undefined) return;
+    for(var i = 0, c = e.childNodes; i < c.length; i++) {
+        zoom_child(c[i], x, zoomed_width_samples);
+    }
+}
+function zoom_parent(e) {
+    if (e.attributes) {
+        if (e.attributes.x != undefined) {
+            e.attributes.x.value = "0.0%";
+        }
+        if (e.attributes.width != undefined) {
+            e.attributes.width.value = "100.0%";
+        }
+    }
+    if (e.childNodes == undefined) return;
+    for(var i = 0, c = e.childNodes; i < c.length; i++) {
+        zoom_parent(c[i]);
+    }
+}
+function zoom(node) {
+    var attr = find_child(node, "rect").attributes;
+    var width = parseInt(attr["fg:w"].value);
+    var xmin = parseInt(attr["fg:x"].value);
+    var xmax = xmin + width;
+    var ymin = parseFloat(attr.y.value);
+    unzoombtn.classList.remove("hide");
+    var el = frames.children;
+    for (var i = 0; i < el.length; i++) {
+        var e = el[i];
+        var a = find_child(e, "rect").attributes;
+        var ex = parseInt(a["fg:x"].value);
+        var ew = parseInt(a["fg:w"].value);
+        // Is it an ancestor
+        if (!inverted) {
+            var upstack = parseFloat(a.y.value) > ymin;
+        } else {
+            var upstack = parseFloat(a.y.value) < ymin;
+        }
+        if (upstack) {
+            // Direct ancestor
+            if (ex <= xmin && (ex+ew) >= xmax) {
+                e.classList.add("parent");
+                zoom_parent(e);
+                update_text(e);
+            }
+            // not in current path
+            else
+                e.classList.add("hide");
+        }
+        // Children maybe
+        else {
+            // no common path
+            if (ex < xmin || ex >= xmax) {
+                e.classList.add("hide");
+            }
+            else {
+                zoom_child(e, xmin, width);
+                update_text(e);
+            }
+        }
+    }
+}
+function unzoom() {
+    unzoombtn.classList.add("hide");
+    var el = frames.children;
+    for(var i = 0; i < el.length; i++) {
+        el[i].classList.remove("parent");
+        el[i].classList.remove("hide");
+        zoom_reset(el[i]);
+        update_text(el[i]);
+    }
+}
+// search
+function reset_search() {
+    var el = document.querySelectorAll("#frames rect");
+    for (var i = 0; i < el.length; i++) {
+        orig_load(el[i], "fill")
+    }
+    var params = get_params();
+    delete params.s;
+    history.replaceState(null, null, parse_params(params));
+}
+function search_prompt() {
+    if (!searching) {
+        var term = prompt("Enter a search term (regexp " +
+            "allowed, eg: ^ext4_)", "");
+        if (term != null) {
+            search(term)
+        }
+    } else {
+        reset_search();
+        searching = 0;
+        searchbtn.classList.remove("show");
+        searchbtn.firstChild.nodeValue = "Search"
+        matchedtxt.classList.add("hide");
+        matchedtxt.firstChild.nodeValue = ""
+    }
+}
+function search(term) {
+    var re = new RegExp(term);
+    var el = frames.children;
+    var matches = new Object();
+    var maxwidth = 0;
+    for (var i = 0; i < el.length; i++) {
+        var e = el[i];
+        // Skip over frames which are either not visible, or below the zoomed-to frame
+        if (e.classList.contains("hide") || e.classList.contains("parent")) {
+            continue;
+        }
+        var func = g_to_func(e);
+        var rect = find_child(e, "rect");
+        if (func == null || rect == null)
+            continue;
+        // Save max width. Only works as we have a root frame
+        var w = parseInt(rect.attributes["fg:w"].value);
+        if (w > maxwidth)
+            maxwidth = w;
+        if (func.match(re)) {
+            // highlight
+            var x = parseInt(rect.attributes["fg:x"].value);
+            orig_save(rect, "fill");
+            rect.attributes.fill.value = searchcolor;
+            // remember matches
+            if (matches[x] == undefined) {
+                matches[x] = w;
+            } else {
+                if (w > matches[x]) {
+                    // overwrite with parent
+                    matches[x] = w;
+                }
+            }
+            searching = 1;
+        }
+    }
+    if (!searching)
+        return;
+    var params = get_params();
+    params.s = term;
+    history.replaceState(null, null, parse_params(params));
+
+    searchbtn.classList.add("show");
+    searchbtn.firstChild.nodeValue = "Reset Search";
+    // calculate percent matched, excluding vertical overlap
+    var count = 0;
+    var lastx = -1;
+    var lastw = 0;
+    var keys = Array();
+    for (k in matches) {
+        if (matches.hasOwnProperty(k))
+            keys.push(k);
+    }
+    // sort the matched frames by their x location
+    // ascending, then width descending
+    keys.sort(function(a, b){
+        return a - b;
+    });
+    // Step through frames saving only the biggest bottom-up frames
+    // thanks to the sort order. This relies on the tree property
+    // where children are always smaller than their parents.
+    for (var k in keys) {
+        var x = parseInt(keys[k]);
+        var w = matches[keys[k]];
+        if (x >= lastx + lastw) {
+            count += w;
+            lastx = x;
+            lastw = w;
+        }
+    }
+    // display matched percent
+    matchedtxt.classList.remove("hide");
+    var pct = 100 * count / maxwidth;
+    if (pct != 100) pct = pct.toFixed(1);
+    matchedtxt.firstChild.nodeValue = "Matched: " + pct + "%";
+}
+function format_percent(n) {
+    return n.toFixed(4) + "%";
+}
+]]></script><rect x="0" y="0" width="100%" height="470" fill="url(#background)"/><text id="title" x="50.0000%" y="24.00">Flame Graph</text><text id="details" x="10" y="453.00"> </text><text id="unzoom" class="hide" x="10" y="24.00">Reset Zoom</text><text id="search" x="1090" y="24.00">Search</text><text id="matched" x="1090" y="453.00"> </text><svg id="frames" x="10" width="1180" total_samples="4176"><g><title>[unknown] (1 samples, 0.02%)</title><rect x="0.0000%" y="373" width="0.0239%" height="15" fill="rgb(227,0,7)" fg:x="0" fg:w="1"/><text x="0.2500%" y="383.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="0.0000%" y="357" width="0.0239%" height="15" fill="rgb(217,0,24)" fg:x="0" fg:w="1"/><text x="0.2500%" y="367.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="0.0000%" y="341" width="0.0239%" height="15" fill="rgb(221,193,54)" fg:x="0" fg:w="1"/><text x="0.2500%" y="351.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="0.0000%" y="325" width="0.0239%" height="15" fill="rgb(248,212,6)" fg:x="0" fg:w="1"/><text x="0.2500%" y="335.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="0.0000%" y="309" width="0.0239%" height="15" fill="rgb(208,68,35)" fg:x="0" fg:w="1"/><text x="0.2500%" y="319.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="0.0000%" y="293" width="0.0239%" height="15" fill="rgb(232,128,0)" fg:x="0" fg:w="1"/><text x="0.2500%" y="303.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="0.0000%" y="277" width="0.0239%" height="15" fill="rgb(207,160,47)" fg:x="0" fg:w="1"/><text x="0.2500%" y="287.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="0.0000%" y="261" width="0.0239%" height="15" fill="rgb(228,23,34)" fg:x="0" fg:w="1"/><text x="0.2500%" y="271.50"></text></g><g><title>[unknown] (3 samples, 0.07%)</title><rect x="0.0239%" y="357" width="0.0718%" height="15" fill="rgb(218,30,26)" fg:x="1" fg:w="3"/><text x="0.2739%" y="367.50"></text></g><g><title>[unknown] (3 samples, 0.07%)</title><rect x="0.0239%" y="341" width="0.0718%" height="15" fill="rgb(220,122,19)" fg:x="1" fg:w="3"/><text x="0.2739%" y="351.50"></text></g><g><title>[unknown] (3 samples, 0.07%)</title><rect x="0.0239%" y="325" width="0.0718%" height="15" fill="rgb(250,228,42)" fg:x="1" fg:w="3"/><text x="0.2739%" y="335.50"></text></g><g><title>[unknown] (3 samples, 0.07%)</title><rect x="0.0239%" y="309" width="0.0718%" height="15" fill="rgb(240,193,28)" fg:x="1" fg:w="3"/><text x="0.2739%" y="319.50"></text></g><g><title>[unknown] (3 samples, 0.07%)</title><rect x="0.0239%" y="293" width="0.0718%" height="15" fill="rgb(216,20,37)" fg:x="1" fg:w="3"/><text x="0.2739%" y="303.50"></text></g><g><title>[unknown] (3 samples, 0.07%)</title><rect x="0.0239%" y="277" width="0.0718%" height="15" fill="rgb(206,188,39)" fg:x="1" fg:w="3"/><text x="0.2739%" y="287.50"></text></g><g><title>[unknown] (3 samples, 0.07%)</title><rect x="0.0239%" y="261" width="0.0718%" height="15" fill="rgb(217,207,13)" fg:x="1" fg:w="3"/><text x="0.2739%" y="271.50"></text></g><g><title>[unknown] (2 samples, 0.05%)</title><rect x="0.0479%" y="245" width="0.0479%" height="15" fill="rgb(231,73,38)" fg:x="2" fg:w="2"/><text x="0.2979%" y="255.50"></text></g><g><title>[unknown] (2 samples, 0.05%)</title><rect x="0.0479%" y="229" width="0.0479%" height="15" fill="rgb(225,20,46)" fg:x="2" fg:w="2"/><text x="0.2979%" y="239.50"></text></g><g><title>[unknown] (2 samples, 0.05%)</title><rect x="0.0479%" y="213" width="0.0479%" height="15" fill="rgb(210,31,41)" fg:x="2" fg:w="2"/><text x="0.2979%" y="223.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="0.0718%" y="197" width="0.0239%" height="15" fill="rgb(221,200,47)" fg:x="3" fg:w="1"/><text x="0.3218%" y="207.50"></text></g><g><title>[unknown] (2 samples, 0.05%)</title><rect x="13.6734%" y="261" width="0.0479%" height="15" fill="rgb(226,26,5)" fg:x="571" fg:w="2"/><text x="13.9234%" y="271.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="13.6973%" y="245" width="0.0239%" height="15" fill="rgb(249,33,26)" fg:x="572" fg:w="1"/><text x="13.9473%" y="255.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="13.6973%" y="229" width="0.0239%" height="15" fill="rgb(235,183,28)" fg:x="572" fg:w="1"/><text x="13.9473%" y="239.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="13.6973%" y="213" width="0.0239%" height="15" fill="rgb(221,5,38)" fg:x="572" fg:w="1"/><text x="13.9473%" y="223.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="13.6973%" y="197" width="0.0239%" height="15" fill="rgb(247,18,42)" fg:x="572" fg:w="1"/><text x="13.9473%" y="207.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="13.6973%" y="181" width="0.0239%" height="15" fill="rgb(241,131,45)" fg:x="572" fg:w="1"/><text x="13.9473%" y="191.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="13.6973%" y="165" width="0.0239%" height="15" fill="rgb(249,31,29)" fg:x="572" fg:w="1"/><text x="13.9473%" y="175.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="13.6973%" y="149" width="0.0239%" height="15" fill="rgb(225,111,53)" fg:x="572" fg:w="1"/><text x="13.9473%" y="159.50"></text></g><g><title>sudk::SField::clear_current_field (31 samples, 0.74%)</title><rect x="13.7213%" y="229" width="0.7423%" height="15" fill="rgb(238,160,17)" fg:x="573" fg:w="31"/><text x="13.9713%" y="239.50"></text></g><g><title>sudk::SField::set (31 samples, 0.74%)</title><rect x="13.7213%" y="213" width="0.7423%" height="15" fill="rgb(214,148,48)" fg:x="573" fg:w="31"/><text x="13.9713%" y="223.50"></text></g><g><title>sudk::SField::next (9 samples, 0.22%)</title><rect x="14.4636%" y="229" width="0.2155%" height="15" fill="rgb(232,36,49)" fg:x="604" fg:w="9"/><text x="14.7136%" y="239.50"></text></g><g><title>sudk::SField::prev (37 samples, 0.89%)</title><rect x="14.6791%" y="229" width="0.8860%" height="15" fill="rgb(209,103,24)" fg:x="613" fg:w="37"/><text x="14.9291%" y="239.50"></text></g><g><title>&lt;core::slice::iter::Iter&lt;T&gt; as core::iter::traits::iterator::Iterator&gt;::next (203 samples, 4.86%)</title><rect x="21.6236%" y="213" width="4.8611%" height="15" fill="rgb(229,88,8)" fg:x="903" fg:w="203"/><text x="21.8736%" y="223.50">&lt;core:..</text></g><g><title>sudk::SField::get_field_at_pos (38 samples, 0.91%)</title><rect x="26.4847%" y="213" width="0.9100%" height="15" fill="rgb(213,181,19)" fg:x="1106" fg:w="38"/><text x="26.7347%" y="223.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="35.0814%" y="197" width="0.0239%" height="15" fill="rgb(254,191,54)" fg:x="1465" fg:w="1"/><text x="35.3314%" y="207.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="35.0814%" y="181" width="0.0239%" height="15" fill="rgb(241,83,37)" fg:x="1465" fg:w="1"/><text x="35.3314%" y="191.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="35.0814%" y="165" width="0.0239%" height="15" fill="rgb(233,36,39)" fg:x="1465" fg:w="1"/><text x="35.3314%" y="175.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="35.0814%" y="149" width="0.0239%" height="15" fill="rgb(226,3,54)" fg:x="1465" fg:w="1"/><text x="35.3314%" y="159.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="35.0814%" y="133" width="0.0239%" height="15" fill="rgb(245,192,40)" fg:x="1465" fg:w="1"/><text x="35.3314%" y="143.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="35.0814%" y="117" width="0.0239%" height="15" fill="rgb(238,167,29)" fg:x="1465" fg:w="1"/><text x="35.3314%" y="127.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="35.0814%" y="101" width="0.0239%" height="15" fill="rgb(232,182,51)" fg:x="1465" fg:w="1"/><text x="35.3314%" y="111.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="35.0814%" y="85" width="0.0239%" height="15" fill="rgb(231,60,39)" fg:x="1465" fg:w="1"/><text x="35.3314%" y="95.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="35.0814%" y="69" width="0.0239%" height="15" fill="rgb(208,69,12)" fg:x="1465" fg:w="1"/><text x="35.3314%" y="79.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="35.0814%" y="53" width="0.0239%" height="15" fill="rgb(235,93,37)" fg:x="1465" fg:w="1"/><text x="35.3314%" y="63.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="35.0814%" y="37" width="0.0239%" height="15" fill="rgb(213,116,39)" fg:x="1465" fg:w="1"/><text x="35.3314%" y="47.50"></text></g><g><title>core::slice::&lt;impl [T]&gt;::contains (1,637 samples, 39.20%)</title><rect x="35.1054%" y="181" width="39.2002%" height="15" fill="rgb(222,207,29)" fg:x="1466" fg:w="1637"/><text x="35.3554%" y="191.50">core::slice::&lt;impl [T]&gt;::contains</text></g><g><title>&lt;u8 as core::slice::cmp::SliceContains&gt;::slice_contains (1,637 samples, 39.20%)</title><rect x="35.1054%" y="165" width="39.2002%" height="15" fill="rgb(206,96,30)" fg:x="1466" fg:w="1637"/><text x="35.3554%" y="175.50">&lt;u8 as core::slice::cmp::SliceContains&gt;::slice_contains</text></g><g><title>core::slice::memchr::memchr (1,637 samples, 39.20%)</title><rect x="35.1054%" y="149" width="39.2002%" height="15" fill="rgb(218,138,4)" fg:x="1466" fg:w="1637"/><text x="35.3554%" y="159.50">core::slice::memchr::memchr</text></g><g><title>core::slice::memchr::memchr_naive (1,637 samples, 39.20%)</title><rect x="35.1054%" y="133" width="39.2002%" height="15" fill="rgb(250,191,14)" fg:x="1466" fg:w="1637"/><text x="35.3554%" y="143.50">core::slice::memchr::memchr_naive</text></g><g><title>sudk::SField::block_ok (1,941 samples, 46.48%)</title><rect x="35.1054%" y="197" width="46.4799%" height="15" fill="rgb(239,60,40)" fg:x="1466" fg:w="1941"/><text x="35.3554%" y="207.50">sudk::SField::block_ok</text></g><g><title>sudk::SField::get_block (304 samples, 7.28%)</title><rect x="74.3056%" y="181" width="7.2797%" height="15" fill="rgb(206,27,48)" fg:x="3103" fg:w="304"/><text x="74.5556%" y="191.50">sudk::SFie..</text></g><g><title>sudk::SField::get_field_at_pos (304 samples, 7.28%)</title><rect x="74.3056%" y="165" width="7.2797%" height="15" fill="rgb(225,35,8)" fg:x="3103" fg:w="304"/><text x="74.5556%" y="175.50">sudk::SFie..</text></g><g><title>sudk::SField::col_ok (201 samples, 4.81%)</title><rect x="81.5852%" y="197" width="4.8132%" height="15" fill="rgb(250,213,24)" fg:x="3407" fg:w="201"/><text x="81.8352%" y="207.50">sudk::..</text></g><g><title>core::slice::&lt;impl [T]&gt;::contains (201 samples, 4.81%)</title><rect x="81.5852%" y="181" width="4.8132%" height="15" fill="rgb(247,123,22)" fg:x="3407" fg:w="201"/><text x="81.8352%" y="191.50">core::..</text></g><g><title>&lt;u8 as core::slice::cmp::SliceContains&gt;::slice_contains (201 samples, 4.81%)</title><rect x="81.5852%" y="165" width="4.8132%" height="15" fill="rgb(231,138,38)" fg:x="3407" fg:w="201"/><text x="81.8352%" y="175.50">&lt;u8 as..</text></g><g><title>core::slice::memchr::memchr (201 samples, 4.81%)</title><rect x="81.5852%" y="149" width="4.8132%" height="15" fill="rgb(231,145,46)" fg:x="3407" fg:w="201"/><text x="81.8352%" y="159.50">core::..</text></g><g><title>core::slice::memchr::memchr_naive (201 samples, 4.81%)</title><rect x="81.5852%" y="133" width="4.8132%" height="15" fill="rgb(251,118,11)" fg:x="3407" fg:w="201"/><text x="81.8352%" y="143.50">core::..</text></g><g><title>core::slice::&lt;impl [T]&gt;::contains (547 samples, 13.10%)</title><rect x="86.3985%" y="181" width="13.0987%" height="15" fill="rgb(217,147,25)" fg:x="3608" fg:w="547"/><text x="86.6485%" y="191.50">core::slice::&lt;impl [..</text></g><g><title>&lt;u8 as core::slice::cmp::SliceContains&gt;::slice_contains (547 samples, 13.10%)</title><rect x="86.3985%" y="165" width="13.0987%" height="15" fill="rgb(247,81,37)" fg:x="3608" fg:w="547"/><text x="86.6485%" y="175.50">&lt;u8 as core::slice::..</text></g><g><title>core::slice::memchr::memchr (547 samples, 13.10%)</title><rect x="86.3985%" y="149" width="13.0987%" height="15" fill="rgb(209,12,38)" fg:x="3608" fg:w="547"/><text x="86.6485%" y="159.50">core::slice::memchr:..</text></g><g><title>core::slice::memchr::memchr_naive (547 samples, 13.10%)</title><rect x="86.3985%" y="133" width="13.0987%" height="15" fill="rgb(227,1,9)" fg:x="3608" fg:w="547"/><text x="86.6485%" y="143.50">core::slice::memchr:..</text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="99.4732%" y="117" width="0.0239%" height="15" fill="rgb(248,47,43)" fg:x="4154" fg:w="1"/><text x="99.7232%" y="127.50"></text></g><g><title>sudk::SField::ok (3,013 samples, 72.15%)</title><rect x="27.3946%" y="213" width="72.1504%" height="15" fill="rgb(221,10,30)" fg:x="1144" fg:w="3013"/><text x="27.6446%" y="223.50">sudk::SField::ok</text></g><g><title>sudk::SField::row_ok (549 samples, 13.15%)</title><rect x="86.3985%" y="197" width="13.1466%" height="15" fill="rgb(210,229,1)" fg:x="3608" fg:w="549"/><text x="86.6485%" y="207.50">sudk::SField::row_ok</text></g><g><title>sudk::SField::get_row (2 samples, 0.05%)</title><rect x="99.4971%" y="181" width="0.0479%" height="15" fill="rgb(222,148,37)" fg:x="4155" fg:w="2"/><text x="99.7471%" y="191.50"></text></g><g><title>__libc_start_call_main (4,169 samples, 99.83%)</title><rect x="0.0958%" y="357" width="99.8324%" height="15" fill="rgb(234,67,33)" fg:x="4" fg:w="4169"/><text x="0.3458%" y="367.50">__libc_start_call_main</text></g><g><title>main (4,169 samples, 99.83%)</title><rect x="0.0958%" y="341" width="99.8324%" height="15" fill="rgb(247,98,35)" fg:x="4" fg:w="4169"/><text x="0.3458%" y="351.50">main</text></g><g><title>std::sys_common::backtrace::__rust_begin_short_backtrace (4,169 samples, 99.83%)</title><rect x="0.0958%" y="325" width="99.8324%" height="15" fill="rgb(247,138,52)" fg:x="4" fg:w="4169"/><text x="0.3458%" y="335.50">std::sys_common::backtrace::__rust_begin_short_backtrace</text></g><g><title>core::ops::function::FnOnce::call_once (4,169 samples, 99.83%)</title><rect x="0.0958%" y="309" width="99.8324%" height="15" fill="rgb(213,79,30)" fg:x="4" fg:w="4169"/><text x="0.3458%" y="319.50">core::ops::function::FnOnce::call_once</text></g><g><title>sudk::main (4,169 samples, 99.83%)</title><rect x="0.0958%" y="293" width="99.8324%" height="15" fill="rgb(246,177,23)" fg:x="4" fg:w="4169"/><text x="0.3458%" y="303.50">sudk::main</text></g><g><title>sudk::run (4,169 samples, 99.83%)</title><rect x="0.0958%" y="277" width="99.8324%" height="15" fill="rgb(230,62,27)" fg:x="4" fg:w="4169"/><text x="0.3458%" y="287.50">sudk::run</text></g><g><title>sudk::SField::solve (3,600 samples, 86.21%)</title><rect x="13.7213%" y="261" width="86.2069%" height="15" fill="rgb(216,154,8)" fg:x="573" fg:w="3600"/><text x="13.9713%" y="271.50">sudk::SField::solve</text></g><g><title>sudk::SField::solve_backtracking (3,600 samples, 86.21%)</title><rect x="13.7213%" y="245" width="86.2069%" height="15" fill="rgb(244,35,45)" fg:x="573" fg:w="3600"/><text x="13.9713%" y="255.50">sudk::SField::solve_backtracking</text></g><g><title>sudk::SField::put_valid_nr (3,523 samples, 84.36%)</title><rect x="15.5651%" y="229" width="84.3630%" height="15" fill="rgb(251,115,12)" fg:x="650" fg:w="3523"/><text x="15.8151%" y="239.50">sudk::SField::put_valid_nr</text></g><g><title>sudk::SField::set (16 samples, 0.38%)</title><rect x="99.5450%" y="213" width="0.3831%" height="15" fill="rgb(240,54,50)" fg:x="4157" fg:w="16"/><text x="99.7950%" y="223.50"></text></g><g><title>_dl_aux_init (2 samples, 0.05%)</title><rect x="99.9282%" y="357" width="0.0479%" height="15" fill="rgb(233,84,52)" fg:x="4173" fg:w="2"/><text x="100.1782%" y="367.50"></text></g><g><title>[unknown] (2 samples, 0.05%)</title><rect x="99.9282%" y="341" width="0.0479%" height="15" fill="rgb(207,117,47)" fg:x="4173" fg:w="2"/><text x="100.1782%" y="351.50"></text></g><g><title>[unknown] (2 samples, 0.05%)</title><rect x="99.9282%" y="325" width="0.0479%" height="15" fill="rgb(249,43,39)" fg:x="4173" fg:w="2"/><text x="100.1782%" y="335.50"></text></g><g><title>[unknown] (2 samples, 0.05%)</title><rect x="99.9282%" y="309" width="0.0479%" height="15" fill="rgb(209,38,44)" fg:x="4173" fg:w="2"/><text x="100.1782%" y="319.50"></text></g><g><title>[unknown] (2 samples, 0.05%)</title><rect x="99.9282%" y="293" width="0.0479%" height="15" fill="rgb(236,212,23)" fg:x="4173" fg:w="2"/><text x="100.1782%" y="303.50"></text></g><g><title>[unknown] (2 samples, 0.05%)</title><rect x="99.9282%" y="277" width="0.0479%" height="15" fill="rgb(242,79,21)" fg:x="4173" fg:w="2"/><text x="100.1782%" y="287.50"></text></g><g><title>[unknown] (2 samples, 0.05%)</title><rect x="99.9282%" y="261" width="0.0479%" height="15" fill="rgb(211,96,35)" fg:x="4173" fg:w="2"/><text x="100.1782%" y="271.50"></text></g><g><title>[unknown] (2 samples, 0.05%)</title><rect x="99.9282%" y="245" width="0.0479%" height="15" fill="rgb(253,215,40)" fg:x="4173" fg:w="2"/><text x="100.1782%" y="255.50"></text></g><g><title>[unknown] (2 samples, 0.05%)</title><rect x="99.9282%" y="229" width="0.0479%" height="15" fill="rgb(211,81,21)" fg:x="4173" fg:w="2"/><text x="100.1782%" y="239.50"></text></g><g><title>[unknown] (2 samples, 0.05%)</title><rect x="99.9282%" y="213" width="0.0479%" height="15" fill="rgb(208,190,38)" fg:x="4173" fg:w="2"/><text x="100.1782%" y="223.50"></text></g><g><title>all (4,176 samples, 100%)</title><rect x="0.0000%" y="421" width="100.0000%" height="15" fill="rgb(235,213,38)" fg:x="0" fg:w="4176"/><text x="0.2500%" y="431.50"></text></g><g><title>sudk (4,176 samples, 100.00%)</title><rect x="0.0000%" y="405" width="100.0000%" height="15" fill="rgb(237,122,38)" fg:x="0" fg:w="4176"/><text x="0.2500%" y="415.50">sudk</text></g><g><title>_start (4,176 samples, 100.00%)</title><rect x="0.0000%" y="389" width="100.0000%" height="15" fill="rgb(244,218,35)" fg:x="0" fg:w="4176"/><text x="0.2500%" y="399.50">_start</text></g><g><title>__libc_start_main_impl (4,175 samples, 99.98%)</title><rect x="0.0239%" y="373" width="99.9761%" height="15" fill="rgb(240,68,47)" fg:x="1" fg:w="4175"/><text x="0.2739%" y="383.50">__libc_start_main_impl</text></g><g><title>_dl_relocate_static_pie (1 samples, 0.02%)</title><rect x="99.9761%" y="357" width="0.0239%" height="15" fill="rgb(210,16,53)" fg:x="4175" fg:w="1"/><text x="100.2261%" y="367.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="99.9761%" y="341" width="0.0239%" height="15" fill="rgb(235,124,12)" fg:x="4175" fg:w="1"/><text x="100.2261%" y="351.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="99.9761%" y="325" width="0.0239%" height="15" fill="rgb(224,169,11)" fg:x="4175" fg:w="1"/><text x="100.2261%" y="335.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="99.9761%" y="309" width="0.0239%" height="15" fill="rgb(250,166,2)" fg:x="4175" fg:w="1"/><text x="100.2261%" y="319.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="99.9761%" y="293" width="0.0239%" height="15" fill="rgb(242,216,29)" fg:x="4175" fg:w="1"/><text x="100.2261%" y="303.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="99.9761%" y="277" width="0.0239%" height="15" fill="rgb(230,116,27)" fg:x="4175" fg:w="1"/><text x="100.2261%" y="287.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="99.9761%" y="261" width="0.0239%" height="15" fill="rgb(228,99,48)" fg:x="4175" fg:w="1"/><text x="100.2261%" y="271.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="99.9761%" y="245" width="0.0239%" height="15" fill="rgb(253,11,6)" fg:x="4175" fg:w="1"/><text x="100.2261%" y="255.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="99.9761%" y="229" width="0.0239%" height="15" fill="rgb(247,143,39)" fg:x="4175" fg:w="1"/><text x="100.2261%" y="239.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="99.9761%" y="213" width="0.0239%" height="15" fill="rgb(236,97,10)" fg:x="4175" fg:w="1"/><text x="100.2261%" y="223.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="99.9761%" y="197" width="0.0239%" height="15" fill="rgb(233,208,19)" fg:x="4175" fg:w="1"/><text x="100.2261%" y="207.50"></text></g><g><title>[unknown] (1 samples, 0.02%)</title><rect x="99.9761%" y="181" width="0.0239%" height="15" fill="rgb(216,164,2)" fg:x="4175" fg:w="1"/><text x="100.2261%" y="191.50"></text></g></svg></svg>
\ No newline at end of file
diff --git a/src/main.rs b/src/main.rs
index 43a9af3..ab091b4 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -2,120 +2,89 @@ use std::time::Instant;
 
 const BLOCK_SIZE: usize = 3;
 const SIZE: usize = BLOCK_SIZE * BLOCK_SIZE;
+const NUM_FIELDS: usize = SIZE * SIZE;
 
 struct SField {
     field: Vec<u8>,
-    fixed: Vec<bool>,
-    size: usize,
-    block_size: usize,
+    skipf: Vec<u8>,
+    skipb: Vec<u8>,
     pos: usize,
-    pos_last_placed: usize,
-    num_fields: usize,
     possible_values: Vec<Vec<u8>>,
 }
 
-/// Some test fields:
-///
-/// EMPTY FIELD
-/// let field = vec![0; SIZE * SIZE];
-///
-/// MANY SOLUTIONS
-/// #[rustfmt::skip]
-/// let field = vec![
-///     0,0,0,0,0,0,0,0,9,
-///     0,0,0,0,8,9,0,2,0,
-///     0,0,0,0,2,0,4,0,0,
-///     0,0,4,0,6,0,0,0,8,
-///     0,0,0,5,0,0,0,0,0,
-///     0,6,5,0,0,2,0,7,4,
-///     0,3,0,0,0,5,0,4,0,
-///     0,0,1,8,0,0,0,0,0,
-///     0,0,8,2,0,0,0,6,0,
-/// ];
-///
-/// HARD
-/// #[rustfmt::skip]
-/// let field = vec![
-///     8,4,0,0,6,0,5,0,1,
-///     0,0,0,0,0,3,0,4,0,
-///     0,0,6,9,0,0,0,0,7,
-///     0,2,0,7,1,0,0,0,6,
-///     0,0,0,6,3,0,0,0,0,
-///     9,0,0,0,0,0,0,5,0,
-///     0,0,0,0,4,0,0,6,0,
-///     2,0,0,0,0,0,1,8,0,
-///     0,0,5,0,0,0,3,0,0,
-/// ];
-///
-/// EASY
-/// #[rustfmt::skip]
-/// let field = vec![
-///     5,9,0,6,1,3,0,0,0,
-///     0,0,0,9,0,0,5,0,0,
-///     8,0,3,0,5,7,6,4,0,
-///     0,7,5,0,0,0,4,0,6,
-///     0,6,0,7,4,0,2,0,8,
-///     2,0,8,0,0,0,7,5,3,
-///     0,0,0,5,6,1,0,7,0,
-///     0,0,1,0,7,0,9,0,0,
-///     7,3,6,0,2,0,0,0,0,
-/// ];
-///
-/// // BLOCK_SIZE 4 MANY SOLUTIONS (DOESN'T FINISH)
-/// #[rustfmt::skip]
-/// let field = vec![
-///     0,15,0,0,0,0,11,4,0,5,0,0,0,0,12,8,
-///     12,0,0,9,0,1,0,5,0,0,8,15,0,0,0,13,
-///     0,0,3,0,0,10,13,0,0,11,4,0,15,0,6,0,
-///     13,10,0,11,0,0,0,14,0,3,2,0,0,9,0,0,
-///     0,0,15,10,8,0,0,0,0,0,14,0,0,6,2,0,
-///     0,0,14,0,0,0,6,0,0,0,0,0,1,0,0,0,
-///     0,11,0,8,3,0,15,1,6,0,0,0,0,0,0,7,
-///     0,6,0,7,0,0,0,0,8,13,0,0,10,0,0,0,
-///     0,14,0,2,0,0,0,0,3,0,5,0,11,15,9,0,
-///     0,0,0,12,11,0,2,0,0,0,0,0,0,0,0,0,
-///     0,8,0,0,6,14,1,0,13,15,0,0,0,0,0,10,
-///     10,0,0,3,9,0,7,0,0,1,0,0,13,12,8,0,
-///     7,0,0,0,0,0,14,0,0,0,0,0,0,0,0,9,
-///     0,3,0,14,0,0,9,6,0,0,0,0,0,4,0,0,
-///     0,4,6,0,0,7,0,0,0,0,0,0,0,0,0,0,
-///     5,2,0,0,0,4,10,15,1,0,3,0,0,0,7,0,
-/// ];
-
 impl SField {
     pub fn new() -> SField {
-        let field = vec![0; SIZE * SIZE];
+        #[rustfmt::skip]
+        let field = vec![
+            0,0,0,0,0,0,0,0,0,
+            0,0,0,0,8,9,0,0,0,
+            0,0,0,0,2,0,4,0,0,
+            0,0,4,0,6,0,0,0,8,
+            0,0,0,5,0,0,0,0,0,
+            0,6,5,0,0,2,0,7,4,
+            0,3,0,0,0,5,0,4,0,
+            0,0,1,8,0,0,0,0,0,
+            0,0,8,2,0,0,0,6,0,
+        ];
 
-        let mut fixed = Vec::with_capacity(SIZE * SIZE);
-        field.iter().for_each(|e| {
-            if *e == 0 {
-                fixed.push(false);
-            } else {
-                fixed.push(true);
+        fn find_fixed_streak_forward(mut idx: usize, field: &[u8]) -> u8 {
+            let mut fixed_count = 1;
+            idx += 1;
+
+            while idx < NUM_FIELDS && field[idx] > 0 {
+                fixed_count += 1;
+                idx += 1;
             }
-        });
+
+            fixed_count
+        }
+
+        fn find_fixed_streak_backward(mut idx: usize, field: &[u8]) -> u8 {
+            let mut fixed_count = 1;
+            idx -= 1;
+
+            while idx < NUM_FIELDS && field[idx] > 0 {
+                fixed_count += 1;
+                idx -= 1;
+            }
+
+            fixed_count
+        }
+
+        let mut skipf = vec![0; NUM_FIELDS];
+        for (idx, nr) in field.iter().enumerate() {
+            match nr {
+                0 => skipf[idx] = *nr,
+                _ => skipf[idx] = find_fixed_streak_forward(idx, &field),
+            }
+        }
+
+        let mut skipb = vec![0; NUM_FIELDS];
+        for (idx, nr) in field.iter().enumerate().rev() {
+            match nr {
+                0 => skipb[idx] = *nr,
+                _ => skipb[idx] = find_fixed_streak_backward(idx, &field),
+            }
+        }
 
         SField {
             field,
-            fixed,
-            size: SIZE,
-            block_size: BLOCK_SIZE,
+            skipf,
+            skipb,
             pos: 0,
-            pos_last_placed: 0,
-            num_fields: SIZE * SIZE,
             possible_values: vec![vec![]; SIZE * SIZE],
         }
     }
 
     fn build_possible_values_db(&mut self) {
-        for idx in 0..self.num_fields {
-            if self.fixed[idx] {
+        for idx in 0..NUM_FIELDS {
+            if self.field[idx] != 0 {
                 continue;
             }
             self.pos = idx;
             // try all values between 1 and =self.size and remember the good ones
-            let mut good_ones = Vec::with_capacity(self.size);
-            for nr in 1..=(self.size as u8) {
+            let mut good_ones = Vec::with_capacity(SIZE);
+            for nr in 1..=(SIZE as u8) {
                 if self.ok(nr) {
                     good_ones.push(nr);
                 }
@@ -126,121 +95,59 @@ impl SField {
     }
 
     pub fn solve_backtracking(&mut self) -> bool {
-        let mut found_solution = false;
-
         let mut num_solutions = 0;
-        let mut last_num_solutions = num_solutions;
 
-        let mut loop_count = 0;
-        let mut last_loop_count = loop_count;
-
-        let mut now = Instant::now();
         loop {
-            loop_count += 1;
-            const MILLIS_PER_SEC: u128 = 1_000;
-            const UPDATE_DELAY_MS: u128 = 80;
-            if loop_count % 1000 == 0 {
-                let elapsed_ms = now.elapsed().as_millis();
-                if elapsed_ms <= UPDATE_DELAY_MS {
-                    continue;
-                }
-                self.print_clear();
-                self.print();
-                println!(
-                    "{} loops/sec",
-                    (loop_count - last_loop_count) * (MILLIS_PER_SEC / elapsed_ms)
-                );
-                println!(
-                    "{} solutions/sec",
-                    (num_solutions - last_num_solutions) * (MILLIS_PER_SEC / elapsed_ms)
-                );
-                last_loop_count = loop_count;
-                last_num_solutions = num_solutions;
-                now = Instant::now();
-            }
-            if self.is_end() {
-                found_solution = true;
-                num_solutions += 1;
-
-                /*
-                if num_solutions % 100 == 0 {
-                    self.print_clear();
-                    println!("Solutions: {}", num_solutions);
-                    self.print();
-                }
-                */
-
-                if self.is_fixed() {
-                    continue;
-                }
+            if !self.put_valid_nr() {
                 self.clear_current_field();
-                self.prev();
-                self.goto_prev_free_field();
-            }
-
-            if self.is_fixed() {
-                self.next();
+                if !self.prev() {
+                    self.print_clear();
+                    self.print();
+                    println!("Number of solutions: {}", num_solutions);
+                    break;
+                }
                 continue;
             }
 
-            if self.goto_next_free_field() {
-                if self.put_valid_nr() {
-                    self.next();
-                    continue;
-                } else {
-                    //println!("put_valid_nr failed for pos {}", self.pos);
-                    //std::thread::sleep_ms(300);
-                    self.clear_current_field();
-                    if !self.prev() {
-                        println!("Number of solutions: {}", num_solutions);
-                        break;
-                    }
-                    if !self.goto_prev_free_field() {
-                        println!("Number of solutions: {}", num_solutions);
-                        break;
-                    }
+            if !self.next() {
+                num_solutions += 1;
+                if num_solutions % 10_000 == 0 {
+                    self.print_clear();
+                    self.print();
+                    println!("Number of solutions: {}", num_solutions);
                 }
+
+                self.clear_current_field();
+                self.prev();
             }
         }
 
-        found_solution
+        num_solutions > 0
     }
 
-    #[inline(always)]
     fn print_gray(&self) {
         print!("\x1b\x5b\x31\x3b\x33\x30\x6d");
     }
 
-    #[inline(always)]
     fn print_green(&self) {
         print!("\x1b\x5b\x31\x3b\x33\x32\x6d");
     }
 
-    #[inline(always)]
-    fn print_red(&self) {
-        print!("\x1b\x5b\x31\x3b\x33\x31\x6d");
-    }
-
-    #[inline(always)]
     fn print_neutral(&self) {
         print!("\x1b\x5b\x31\x3b\x30\x6d");
     }
 
-    #[inline(always)]
     fn print_clear(&self) {
         print!("\x1b\x5b\x48\x1b\x5b\x32\x4a");
     }
 
-    #[inline(always)]
     fn print(&self) {
-        for i in 0..self.num_fields {
-            if i != 0 && i % self.size == 0 {
+        for i in 0..NUM_FIELDS {
+            if i != 0 && i % SIZE == 0 {
                 println!();
             }
 
-            if i == self.pos_last_placed {
-                self.print_red();
-            } else if i == self.pos {
+            if i == self.pos {
                 self.print_green();
             } else if self.get_field_at_pos(i) == 0 {
                 self.print_gray();
@@ -248,57 +155,17 @@ impl SField {
 
             print!("{:2} ", self.get_field_at_pos(i));
 
-            if i == self.pos || i == self.pos_last_placed || self.get_field_at_pos(i) == 0 {
+            if i == self.pos || self.get_field_at_pos(i) == 0 {
                 self.print_neutral();
             }
         }
         println!();
     }
 
-    #[inline(always)]
     fn clear_current_field(&mut self) {
         self.set(0);
     }
 
-    #[inline(always)]
-    fn goto_prev_free_field(&mut self) -> bool {
-        while {
-            if !self.is_fixed() {
-                return true;
-            }
-            self.prev()
-        } {}
-
-        false
-    }
-
-    #[inline(always)]
-    fn goto_next_free_field(&mut self) -> bool {
-        while {
-            if !self.is_fixed() {
-                return true;
-            }
-            self.next()
-        } {}
-
-        false
-    }
-
-    #[inline(always)]
-    fn _put_valid_nr(&mut self) -> bool {
-        let current_nr = self.get_field_at_pos(self.pos);
-
-        for nr in current_nr..(self.size + 1) as u8 {
-            if self.ok(nr) {
-                self.set(nr);
-                return true;
-            }
-        }
-
-        false
-    }
-
-    #[inline(always)]
     fn put_valid_nr(&mut self) -> bool {
         let current_nr = self.get_field_at_pos(self.pos);
 
@@ -320,32 +187,10 @@ impl SField {
         false
     }
 
-    #[inline(always)]
-    fn is_end(&self) -> bool {
-        !self.field.contains(&0)
-    }
-
-    #[inline(always)]
     fn ok(&self, nr: u8) -> bool {
         self.block_ok(nr) && self.row_ok(nr) && self.col_ok(nr)
     }
 
-    #[inline(always)]
-    fn _pos_to_xy(&self) -> (usize, usize) {
-        let y = self.pos / self.size;
-        let x = self.pos % self.size;
-        (x + 1, y + 1)
-    }
-
-    #[inline(always)]
-    fn is_fixed(&self) -> bool {
-        // safety: self.pos can be used to index the field unchecked
-        //         since the only methods modifying self.pos are
-        //         `next()` and `prev()` and they do bounds checking
-        unsafe { *self.fixed.get_unchecked(self.pos) }
-    }
-
-    #[inline(always)]
     fn get_field_at_pos(&self, pos: usize) -> u8 {
         // safety:
         //     TODO
@@ -354,81 +199,74 @@ impl SField {
         unsafe { *self.field.get_unchecked(pos) }
     }
 
-    #[inline(always)]
     fn set(&mut self, nr: u8) {
         self.field[self.pos] = nr;
-        self.pos_last_placed = self.pos;
     }
 
-    #[inline(always)]
     fn get_row(&self, row: &mut [u8; SIZE]) {
         for (idx, row_elem) in row.iter_mut().enumerate() {
-            *row_elem = self.get_field_at_pos((self.pos / self.size) * self.size + idx);
+            *row_elem = self.get_field_at_pos((self.pos / SIZE) * SIZE + idx);
         }
     }
 
-    #[inline(always)]
     fn get_col(&self, col: &mut [u8; SIZE]) {
         for (idx, col_elem) in col.iter_mut().enumerate() {
-            *col_elem = self.get_field_at_pos(idx * self.size + self.pos % self.size);
+            *col_elem = self.get_field_at_pos(idx * SIZE + self.pos % SIZE);
         }
     }
 
-    #[inline(always)]
     fn get_block(&self, block: &mut [u8; SIZE]) {
-        let block_start_row = self.pos / self.size / self.block_size * self.block_size;
-        let block_start_col = self.pos % self.size / self.block_size * self.block_size;
+        let block_start_row = self.pos / SIZE / BLOCK_SIZE * BLOCK_SIZE;
+        let block_start_col = self.pos % SIZE / BLOCK_SIZE * BLOCK_SIZE;
 
-        for r in 0..self.block_size {
-            for c in 0..self.block_size {
-                block[r * self.block_size + c] =
-                    self.get_field_at_pos(self.size * (block_start_row + r) + block_start_col + c);
+        for r in 0..BLOCK_SIZE {
+            for c in 0..BLOCK_SIZE {
+                block[r * BLOCK_SIZE + c] =
+                    self.get_field_at_pos(SIZE * (block_start_row + r) + block_start_col + c);
             }
         }
     }
 
-    #[inline(always)]
     fn block_ok(&self, nr: u8) -> bool {
         let mut block = [0; SIZE];
         self.get_block(&mut block);
         !block.contains(&nr)
     }
 
-    #[inline(always)]
     fn row_ok(&self, nr: u8) -> bool {
         let mut row = [0; SIZE];
         self.get_row(&mut row);
         !row.contains(&nr)
     }
 
-    #[inline(always)]
     fn col_ok(&self, nr: u8) -> bool {
         let mut col = [0; SIZE];
         self.get_col(&mut col);
         !col.contains(&nr)
     }
 
-    #[inline(always)]
     fn next(&mut self) -> bool {
-        if self.pos == self.num_fields - 1 {
+        let new_pos = self.pos + 1 + unsafe { *self.skipf.get_unchecked(self.pos + 1) as usize };
+
+        if new_pos >= NUM_FIELDS {
             return false;
         }
 
-        self.pos += 1;
+        self.pos = new_pos;
         true
     }
 
-    #[inline(always)]
     fn prev(&mut self) -> bool {
-        if self.pos == 0 {
+        let new_pos = self.pos - 1 - unsafe { *self.skipb.get_unchecked(self.pos - 1) as usize };
+
+        if new_pos >= NUM_FIELDS {
             return false;
         }
 
-        self.pos -= 1;
+        self.pos = new_pos;
         true
     }
 
-    #[inline(always)]
     fn solve(&mut self) {
         let now = Instant::now();
         if !self.solve_backtracking() {