[]: Open (size=34, cost=0, time=0, max=0, total=9.05991e-06, pending=1)
[0]: Open (size=34, cost=34, time=0.663676, max=0.663676, total=0.678863, pending=1)
[1]: Open (size=34, cost=34, time=0.014951, max=0.014951, total=0.711113, pending=1)
[10]: Open (size=33, cost=33, time=0.0769131, max=0.038697, total=0.798152, pending=2)
[0]: Open (size=35, cost=35, time=0.695668, max=0.663676, total=0.876487, pending=2)
[00]: Open (size=35, cost=35, time=0.74606, max=0.663676, total=0.962557, pending=3)
[11]: Open (size=33, cost=73, time=0.062861, max=0.0246449, total=1.03903, pending=3)
[01]: Open (size=35, cost=97, time=0.730895, max=0.663676, total=1.07419, pending=3)
[10]: Open (size=31, cost=173, time=0.154073, max=0.0771599, total=1.13004, pending=3)
[00]: Open (size=35, cost=235, time=0.821208, max=0.663676, total=1.27491, pending=3)
[11]: Open (size=30, cost=236, time=0.0967751, max=0.0339141, total=1.38716, pending=3)
[110]: Open (size=56, cost=202, time=0.195852, max=0.053899, total=1.52668, pending=4)
[111]: Open (size=56, cost=264, time=0.187926, max=0.053899, total=1.60067, pending=4)
[110]: Open (size=50, cost=293, time=0.267487, max=0.071635, total=1.63815, pending=4)
[01]: Open (size=33, cost=301, time=0.785121, max=0.663676, total=1.76006, pending=4)
[111]: Open (size=50, cost=362, time=0.222775, max=0.053899, total=1.90624, pending=5)
[1110]: Open (size=74, cost=389, time=0.284209, max=0.053899, total=1.99649, pending=6)
[010]: Open (size=59, cost=393, time=0.86602, max=0.663676, total=2.6775, pending=6)
[110]: Open (size=191, cost=394, time=0.38137, max=0.071635, total=2.80517, pending=6)
[10]: Open (size=92, cost=402, time=0.294921, max=0.0863221, total=2.92138, pending=6)
[011]: Open (size=59, cost=445, time=0.898178, max=0.663676, total=2.96696, pending=6)
[1110]: Open (size=74, cost=466, time=0.310098, max=0.053899, total=3.01531, pending=6)
[1111]: Open (size=74, cost=472, time=0.283084, max=0.053899, total=3.22741, pending=6)
[00]: Open (size=111, cost=487, time=0.928164, max=0.663676, total=3.29964, pending=7)
[11111]: Open (size=75, cost=488, time=0.308805, max=0.053899, total=3.36332, pending=7)
[010]: Open (size=79, cost=505, time=0.987803, max=0.663676, total=3.48268, pending=7)
[011]: Open (size=89, cost=559, time=0.940757, max=0.663676, total=3.71853, pending=7)
[11110]: Open (size=74, cost=560, time=0.325042, max=0.053899, total=3.78726, pending=7)
[11111]: Open (size=102, cost=594, time=0.413035, max=0.053899, total=4.00046, pending=7)
[11110]: Open (size=110, cost=633, time=0.510079, max=0.10595, total=4.14324, pending=7)
[011]: Open (size=89, cost=641, time=1.00284, max=0.663676, total=4.59209, pending=7)
[110]: Open (size=190, cost=663, time=0.492666, max=0.111296, total=4.66273, pending=7)
[1110]: Open (size=268, cost=685, time=0.495924, max=0.0613971, total=4.68673, pending=7)
[10]: Open (size=91, cost=687, time=0.335414, max=0.0863221, total=4.72449, pending=7)
[11110]: Open (size=175, cost=690, time=0.891312, max=0.127101, total=4.72654, pending=7)
[11111]: Open (size=102, cost=779, time=0.538339, max=0.125304, total=4.85668, pending=7)
[11110]: Open (size=419, cost=783, time=0.996902, max=0.127101, total=5.00108, pending=7)
[11111]: Open (size=160, cost=816, time=0.641166, max=0.125304, total=5.06001, pending=7)
[010]: Open (size=243, cost=817, time=1.20398, max=0.663676, total=5.16096, pending=7)
[011]: Open (size=193, cost=869, time=1.05534, max=0.663676, total=5.19867, pending=7)
[110]: Open (size=190, cost=906, time=0.50931, max=0.111296, total=5.24175, pending=7)
[1110]: Open (size=267, cost=915, time=0.526745, max=0.0613971, total=5.27064, pending=7)
[11111]: Open (size=197, cost=927, time=0.704102, max=0.125304, total=5.3074, pending=7)
[11110]: Open (size=419, cost=1033, time=1.04056, max=0.127101, total=5.36924, pending=7)
[011]: Open (size=131, cost=1069, time=1.08337, max=0.663676, total=5.42675, pending=7)
[1110]: Open (size=267, cost=1188, time=0.552167, max=0.0613971, total=5.51138, pending=7)
[11110]: Open (size=418, cost=1210, time=1.07954, max=0.127101, total=5.54867, pending=7)
[11111]: Open (size=173, cost=1292, time=0.735219, max=0.125304, total=5.62157, pending=7)
[010]: Open (size=243, cost=1347, time=1.22896, max=0.663676, total=5.93118, pending=7)
[011]: Open (size=165, cost=1425, time=1.13785, max=0.663676, total=5.97988, pending=7)
[110]: Open (size=144, cost=1483, time=0.524717, max=0.111296, total=6.08944, pending=7)
[00]: Open (size=111, cost=1557, time=0.972454, max=0.663676, total=6.09471, pending=7)
[1110]: Open (size=253, cost=1599, time=0.572514, max=0.0613971, total=6.09951, pending=7)
[11110]: Open (size=418, cost=1619, time=1.12625, max=0.127101, total=6.14668, pending=7)
[11111]: Open (size=229, cost=1636, time=0.903898, max=0.125304, total=6.24266, pending=7)
[010]: Open (size=243, cost=1687, time=1.25703, max=0.663676, total=6.67559, pending=7)
[011]: Open (size=337, cost=1883, time=1.19628, max=0.663676, total=6.73199, pending=7)
[11111]: Open (size=570, cost=1902, time=1.10844, max=0.125304, total=6.86693, pending=7)
[11110]: Open (size=404, cost=2004, time=1.18604, max=0.127101, total=7.01957, pending=7)
[011]: Open (size=499, cost=2201, time=1.2756, max=0.663676, total=7.11635, pending=7)
[1110]: Open (size=223, cost=2377, time=0.593872, max=0.0613971, total=7.19915, pending=7)
[11111]: Open (size=526, cost=2482, time=1.16128, max=0.125304, total=7.20998, pending=7)
[011]: Open (size=499, cost=2517, time=1.30834, max=0.663676, total=7.44693, pending=7)
[010]: Open (size=211, cost=2563, time=1.2837, max=0.663676, total=7.54816, pending=7)
[11110]: Open (size=342, cost=2880, time=1.22964, max=0.127101, total=7.55997, pending=7)
[11111]: Open (size=526, cost=3393, time=1.27082, max=0.125304, total=7.66601, pending=7)
[011]: Open (size=483, cost=3453, time=1.34614, max=0.663676, total=7.88335, pending=7)
[11110]: Open (size=326, cost=3556, time=1.26702, max=0.127101, total=8.00505, pending=7)
[011]: Open (size=483, cost=4529, time=1.38132, max=0.663676, total=8.03085, pending=7)
[11111]: Open (size=460, cost=4549, time=1.32696, max=0.125304, total=8.18147, pending=7)
[011]: Open (size=449, cost=5889, time=1.41972, max=0.663676, total=8.23983, pending=7)
[11111]: Open (size=366, cost=1.07374e+09, time=inf, max=1.79769e+308, total=8.37853, pending=7)
[011]: Open (size=331, cost=1.07374e+09, time=inf, max=1.79769e+308, total=8.37875, pending=6)
[10]: Open (size=91, cost=1.07374e+09, time=inf, max=1.79769e+308, total=8.37898, pending=5)
[00]: Open (size=111, cost=1.07374e+09, time=inf, max=1.79769e+308, total=8.37902, pending=4)
[110]: Open (size=144, cost=1.07374e+09, time=inf, max=1.79769e+308, total=8.37906, pending=3)
[11110]: Open (size=308, cost=1.07374e+09, time=inf, max=1.79769e+308, total=8.3791, pending=2)
[1110]: Open (size=191, cost=1.07374e+09, time=inf, max=1.79769e+308, total=8.37914, pending=1)
[010]: Open (size=175, cost=1.07374e+09, time=inf, max=1.79769e+308, total=8.37918, pending=1)
Fatal error: exception Heap.EmptyHeap