files / problems / kissing-5d / compute / q6 / four_star_extras_s0.json
{
"d": 4,
"n_extras": 1440,
"n_groups": 240,
"target": 20,
"node_limit": 8000000,
"shard": 0,
"nshards": 2,
"pools": [
{"stars": [0, 1, 2, 3], "k": 28, "n_extras": 320, "best": 19, "nodes": 17, "complete": true, "found_41": false},
{"stars": [0, 1, 2, 5], "k": 27, "n_extras": 384, "best": 19, "nodes": 9322, "complete": true, "found_41": false},
{"stars": [0, 1, 2, 7], "k": 27, "n_extras": 384, "best": 19, "nodes": 9097, "complete": true, "found_41": false},
{"stars": [0, 1, 2, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 692116, "complete": true, "found_41": false},
{"stars": [0, 1, 3, 5], "k": 27, "n_extras": 384, "best": 19, "nodes": 10883, "complete": true, "found_41": false},
{"stars": [0, 1, 3, 7], "k": 27, "n_extras": 384, "best": 19, "nodes": 10945, "complete": true, "found_41": false},
{"stars": [0, 1, 3, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 693691, "complete": true, "found_41": false},
{"stars": [0, 1, 4, 6], "k": 27, "n_extras": 384, "best": 19, "nodes": 9238, "complete": true, "found_41": false},
{"stars": [0, 1, 4, 8], "k": 27, "n_extras": 384, "best": 19, "nodes": 726542, "complete": true, "found_41": false},
{"stars": [0, 1, 5, 6], "k": 27, "n_extras": 384, "best": 19, "nodes": 10067, "complete": true, "found_41": false},
{"stars": [0, 1, 5, 8], "k": 27, "n_extras": 384, "best": 19, "nodes": 625916, "complete": true, "found_41": false},
{"stars": [0, 1, 6, 7], "k": 28, "n_extras": 320, "best": 19, "nodes": 17, "complete": true, "found_41": false},
{"stars": [0, 1, 6, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 701575, "complete": true, "found_41": false},
{"stars": [0, 1, 7, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 603019, "complete": true, "found_41": false},
{"stars": [0, 2, 3, 4], "k": 27, "n_extras": 384, "best": 19, "nodes": 5695, "complete": true, "found_41": false},
{"stars": [0, 2, 3, 6], "k": 27, "n_extras": 384, "best": 19, "nodes": 5222, "complete": true, "found_41": false},
{"stars": [0, 2, 3, 8], "k": 27, "n_extras": 384, "best": 19, "nodes": 177227, "complete": true, "found_41": false},
{"stars": [0, 2, 4, 5], "k": 27, "n_extras": 384, "best": 19, "nodes": 15957, "complete": true, "found_41": false},
{"stars": [0, 2, 4, 7], "k": 26, "n_extras": 434, "best": 19, "nodes": 116736, "complete": true, "found_41": false},
{"stars": [0, 2, 4, 9], "k": 26, "n_extras": 434, "best": 19, "nodes": 571348, "complete": true, "found_41": false},
{"stars": [0, 2, 5, 7], "k": 26, "n_extras": 434, "best": 19, "nodes": 77378, "complete": true, "found_41": false},
{"stars": [0, 2, 5, 9], "k": 26, "n_extras": 434, "best": 19, "nodes": 483116, "complete": true, "found_41": false},
{"stars": [0, 2, 6, 8], "k": 26, "n_extras": 434, "best": 19, "nodes": 459569, "complete": true, "found_41": false},
{"stars": [0, 2, 7, 8], "k": 26, "n_extras": 434, "best": 19, "nodes": 778256, "complete": true, "found_41": false},
{"stars": [0, 2, 8, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 549994, "complete": true, "found_41": false},
{"stars": [0, 3, 4, 6], "k": 26, "n_extras": 434, "best": 19, "nodes": 81245, "complete": true, "found_41": false},
{"stars": [0, 3, 4, 8], "k": 26, "n_extras": 434, "best": 19, "nodes": 284232, "complete": true, "found_41": false},
{"stars": [0, 3, 5, 6], "k": 26, "n_extras": 434, "best": 19, "nodes": 74689, "complete": true, "found_41": false},
{"stars": [0, 3, 5, 8], "k": 26, "n_extras": 434, "best": 19, "nodes": 229397, "complete": true, "found_41": false},
{"stars": [0, 3, 6, 7], "k": 27, "n_extras": 384, "best": 19, "nodes": 3664, "complete": true, "found_41": false},
{"stars": [0, 3, 6, 9], "k": 26, "n_extras": 434, "best": 19, "nodes": 242068, "complete": true, "found_41": false},
{"stars": [0, 3, 7, 9], "k": 26, "n_extras": 434, "best": 19, "nodes": 284347, "complete": true, "found_41": false},
{"stars": [0, 4, 5, 6], "k": 27, "n_extras": 384, "best": 19, "nodes": 15863, "complete": true, "found_41": false},
{"stars": [0, 4, 5, 8], "k": 27, "n_extras": 384, "best": 19, "nodes": 173785, "complete": true, "found_41": false},
{"stars": [0, 4, 6, 7], "k": 27, "n_extras": 384, "best": 19, "nodes": 19246, "complete": true, "found_41": false},
{"stars": [0, 4, 6, 9], "k": 26, "n_extras": 434, "best": 19, "nodes": 535247, "complete": true, "found_41": false},
{"stars": [0, 4, 7, 9], "k": 26, "n_extras": 434, "best": 19, "nodes": 473289, "complete": true, "found_41": false},
{"stars": [0, 5, 6, 7], "k": 27, "n_extras": 384, "best": 19, "nodes": 11358, "complete": true, "found_41": false},
{"stars": [0, 5, 6, 9], "k": 26, "n_extras": 434, "best": 19, "nodes": 463614, "complete": true, "found_41": false},
{"stars": [0, 5, 7, 9], "k": 26, "n_extras": 434, "best": 19, "nodes": 578337, "complete": true, "found_41": false},
{"stars": [0, 6, 7, 8], "k": 27, "n_extras": 384, "best": 19, "nodes": 179787, "complete": true, "found_41": false},
{"stars": [0, 6, 8, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 558922, "complete": true, "found_41": false},
{"stars": [1, 2, 3, 4], "k": 27, "n_extras": 384, "best": 19, "nodes": 4251, "complete": true, "found_41": false},
{"stars": [1, 2, 3, 6], "k": 27, "n_extras": 384, "best": 19, "nodes": 4127, "complete": true, "found_41": false},
{"stars": [1, 2, 3, 8], "k": 27, "n_extras": 384, "best": 19, "nodes": 7008, "complete": true, "found_41": false},
{"stars": [1, 2, 4, 5], "k": 27, "n_extras": 384, "best": 19, "nodes": 2414, "complete": true, "found_41": false},
{"stars": [1, 2, 4, 7], "k": 26, "n_extras": 434, "best": 19, "nodes": 15340, "complete": true, "found_41": false},
{"stars": [1, 2, 4, 9], "k": 26, "n_extras": 434, "best": 19, "nodes": 22575, "complete": true, "found_41": false},
{"stars": [1, 2, 5, 7], "k": 26, "n_extras": 434, "best": 19, "nodes": 5871, "complete": true, "found_41": false},
{"stars": [1, 2, 5, 9], "k": 26, "n_extras": 434, "best": 19, "nodes": 12262, "complete": true, "found_41": false},
{"stars": [1, 2, 6, 8], "k": 26, "n_extras": 434, "best": 19, "nodes": 15117, "complete": true, "found_41": false},
{"stars": [1, 2, 7, 8], "k": 26, "n_extras": 434, "best": 19, "nodes": 15015, "complete": true, "found_41": false},
{"stars": [1, 2, 8, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 41453, "complete": true, "found_41": false},
{"stars": [1, 3, 4, 6], "k": 26, "n_extras": 434, "best": 19, "nodes": 4626, "complete": true, "found_41": false},
{"stars": [1, 3, 4, 8], "k": 26, "n_extras": 434, "best": 19, "nodes": 8997, "complete": true, "found_41": false},
{"stars": [1, 3, 5, 6], "k": 26, "n_extras": 434, "best": 19, "nodes": 4321, "complete": true, "found_41": false},
{"stars": [1, 3, 5, 8], "k": 26, "n_extras": 434, "best": 19, "nodes": 4221, "complete": true, "found_41": false},
{"stars": [1, 3, 6, 7], "k": 27, "n_extras": 384, "best": 19, "nodes": 610, "complete": true, "found_41": false},
{"stars": [1, 3, 6, 9], "k": 26, "n_extras": 434, "best": 19, "nodes": 8483, "complete": true, "found_41": false},
{"stars": [1, 3, 7, 9], "k": 26, "n_extras": 434, "best": 19, "nodes": 8481, "complete": true, "found_41": false},
{"stars": [1, 4, 5, 6], "k": 27, "n_extras": 384, "best": 19, "nodes": 2156, "complete": true, "found_41": false},
{"stars": [1, 4, 5, 8], "k": 27, "n_extras": 384, "best": 19, "nodes": 2463, "complete": true, "found_41": false},
{"stars": [1, 4, 6, 7], "k": 27, "n_extras": 384, "best": 19, "nodes": 2579, "complete": true, "found_41": false},
{"stars": [1, 4, 6, 9], "k": 26, "n_extras": 434, "best": 19, "nodes": 15392, "complete": true, "found_41": false},
{"stars": [1, 4, 7, 9], "k": 26, "n_extras": 434, "best": 19, "nodes": 15392, "complete": true, "found_41": false},
{"stars": [1, 5, 6, 7], "k": 27, "n_extras": 384, "best": 19, "nodes": 1725, "complete": true, "found_41": false},
{"stars": [1, 5, 6, 9], "k": 26, "n_extras": 434, "best": 19, "nodes": 15638, "complete": true, "found_41": false},
{"stars": [1, 5, 7, 9], "k": 26, "n_extras": 434, "best": 19, "nodes": 15638, "complete": true, "found_41": false},
{"stars": [1, 6, 7, 8], "k": 27, "n_extras": 384, "best": 19, "nodes": 9517, "complete": true, "found_41": false},
{"stars": [1, 6, 8, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 14332, "complete": true, "found_41": false},
{"stars": [2, 3, 4, 5], "k": 28, "n_extras": 320, "best": 19, "nodes": 89, "complete": true, "found_41": false},
{"stars": [2, 3, 4, 7], "k": 27, "n_extras": 384, "best": 19, "nodes": 11630, "complete": true, "found_41": false},
{"stars": [2, 3, 4, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 13874, "complete": true, "found_41": false},
{"stars": [2, 3, 5, 7], "k": 27, "n_extras": 384, "best": 19, "nodes": 8584, "complete": true, "found_41": false},
{"stars": [2, 3, 5, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 8958, "complete": true, "found_41": false},
{"stars": [2, 3, 6, 8], "k": 27, "n_extras": 384, "best": 19, "nodes": 14911, "complete": true, "found_41": false},
{"stars": [2, 3, 7, 8], "k": 27, "n_extras": 384, "best": 19, "nodes": 11485, "complete": true, "found_41": false},
{"stars": [2, 3, 8, 9], "k": 28, "n_extras": 320, "best": 19, "nodes": 1707, "complete": true, "found_41": false},
{"stars": [2, 4, 5, 7], "k": 27, "n_extras": 384, "best": 19, "nodes": 17092, "complete": true, "found_41": false},
{"stars": [2, 4, 5, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 20735, "complete": true, "found_41": false},
{"stars": [2, 4, 6, 8], "k": 26, "n_extras": 434, "best": 19, "nodes": 69744, "complete": true, "found_41": false},
{"stars": [2, 4, 7, 8], "k": 26, "n_extras": 434, "best": 19, "nodes": 69581, "complete": true, "found_41": false},
{"stars": [2, 4, 8, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 20896, "complete": true, "found_41": false},
{"stars": [2, 5, 6, 8], "k": 26, "n_extras": 434, "best": 19, "nodes": 64479, "complete": true, "found_41": false},
{"stars": [2, 5, 7, 8], "k": 26, "n_extras": 434, "best": 19, "nodes": 53510, "complete": true, "found_41": false},
{"stars": [2, 5, 8, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 14578, "complete": true, "found_41": false},
{"stars": [2, 6, 7, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 16688, "complete": true, "found_41": false},
{"stars": [2, 7, 8, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 16659, "complete": true, "found_41": false},
{"stars": [3, 4, 5, 7], "k": 27, "n_extras": 384, "best": 19, "nodes": 8938, "complete": true, "found_41": false},
{"stars": [3, 4, 5, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 10446, "complete": true, "found_41": false},
{"stars": [3, 4, 6, 8], "k": 26, "n_extras": 434, "best": 19, "nodes": 43048, "complete": true, "found_41": false},
{"stars": [3, 4, 7, 8], "k": 26, "n_extras": 434, "best": 19, "nodes": 41242, "complete": true, "found_41": false},
{"stars": [3, 4, 8, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 15533, "complete": true, "found_41": false},
{"stars": [3, 5, 6, 8], "k": 26, "n_extras": 434, "best": 19, "nodes": 40573, "complete": true, "found_41": false},
{"stars": [3, 5, 7, 8], "k": 26, "n_extras": 434, "best": 19, "nodes": 39720, "complete": true, "found_41": false},
{"stars": [3, 5, 8, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 9244, "complete": true, "found_41": false},
{"stars": [3, 6, 7, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 11503, "complete": true, "found_41": false},
{"stars": [3, 7, 8, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 13034, "complete": true, "found_41": false},
{"stars": [4, 5, 6, 8], "k": 27, "n_extras": 384, "best": 19, "nodes": 14431, "complete": true, "found_41": false},
{"stars": [4, 5, 7, 8], "k": 27, "n_extras": 384, "best": 19, "nodes": 9484, "complete": true, "found_41": false},
{"stars": [4, 5, 8, 9], "k": 28, "n_extras": 320, "best": 19, "nodes": 1703, "complete": true, "found_41": false},
{"stars": [4, 6, 7, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 13402, "complete": true, "found_41": false},
{"stars": [4, 7, 8, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 13402, "complete": true, "found_41": false},
{"stars": [5, 6, 7, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 10465, "complete": true, "found_41": false},
{"stars": [5, 7, 8, 9], "k": 27, "n_extras": 384, "best": 19, "nodes": 10518, "complete": true, "found_41": false}
],
"n_pools": 105,
"n_bb_complete_empty": 105,
"n_incomplete": 0,
"n_hit": 0,
"max_best": 19,
"tot_nodes": 12573923,
"found_41": false,
"comment": "4-star leftover extras B&B; |E|>=20 and |E|>=|U|+1"
}