-
Notifications
You must be signed in to change notification settings - Fork 0
/
log_2011-04-28
2410 lines (2266 loc) · 124 KB
/
log_2011-04-28
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
Level #1 [cells 45, boxes 3, alive 25, complexity 14.6]
###
## # ####
## ### #
## $ #
# @$ # #
### $### #
# #.. #
## ##.# ##
# ##
# ##
#######
[set 552, closed 313, open 237, branching 1.8, freemem 121.3M]
Found solution in 30 pushes.
FrozenBoxes 159
Level #2 [cells 26, boxes 4, alive 13, complexity 11.9]
#####
## . #
## $. #
## $ #
## $@ ###
# $ ##
#.. ##
# #
#####
[set 102, closed 32, open 68, branching 3.2, freemem 121.3M]
Found solution in 16 pushes.
FrozenBoxes 19
Level #3 [cells 68, boxes 10, alive 49, complexity 30.6]
#####
## #
# #
#### # $ ##
# ####$ $#
# $ $ #
## ## $ $ $#
# .# $ $ #
# .# #
##### #########
#.... @ #
#.... #
## ######
####
[set 701K, closed 524K, open 177K, branching 1.3, key 63/177, freemem 91.3M]
[set 1.72M, closed 1.05M, open 668K, branching 1.6, key 61/169, freemem 321.8M]
[set 2.76M, closed 1.58M, open 1.19M, branching 1.8, key 42/167, freemem 450.2M]
[set 3.95M, closed 2.10M, open 1.85M, branching 1.9, key 44/171, freemem 658.5M]
[set 4.74M, closed 2.63M, open 2.12M, branching 1.8, key 56/173, freemem 363.8M]
[set 5.41M, closed 3.15M, open 2.27M, branching 1.7, key 49/173, freemem 581.6M]
[set 6.24M, closed 3.68M, open 2.57M, branching 1.7, key 41/173, freemem 366.7M]
[set 7.47M, closed 4.20M, open 3.28M, branching 1.8, key 36/173, freemem 839.5M]
[set 8.13M, closed 4.72M, open 3.41M, branching 1.7, key 56/175, freemem 679.1M]
[set 8.67M, closed 5.25M, open 3.43M, branching 1.7, key 50/175, freemem 606.0M]
[set 9.30M, closed 5.77M, open 3.53M, branching 1.6, key 46/175, freemem 532.7M]
[set 10.1M, closed 6.30M, open 3.81M, branching 1.6, key 41/175, freemem 473.9M]
[set 11.1M, closed 6.82M, open 4.24M, branching 1.6, key 46/175, freemem 418.6M]
[set 12.2M, closed 7.35M, open 4.77M, branching 1.6, key 33/175, freemem 377.7M]
[set 13.3M, closed 7.87M, open 5.40M, branching 1.7, key 63/177, freemem 811.2M]
[set 13.7M, closed 8.39M, open 5.24M, branching 1.6, key 54/177, freemem 657.3M]
[set 14.1M, closed 8.92M, open 5.19M, branching 1.6, key 49/177, freemem 760.1M]
[set 14.7M, closed 9.44M, open 5.24M, branching 1.6, key 46/177, freemem 846.4M]
[set 15.4M, closed 9.97M, open 5.36M, branching 1.5, key 46/177, freemem 926.2M]
[set 16.1M, closed 10.5M, open 5.58M, branching 1.5, key 41/177, freemem 965.0M]
[set 16.9M, closed 11.1M, open 5.85M, branching 1.5, key 38/177, freemem 1.8B]
[set 17.7M, closed 11.6M, open 6.12M, branching 1.5, key 35/177, freemem 1.7B]
[set 18.6M, closed 12.1M, open 6.47M, branching 1.5, key 31/177, freemem 1.7B]
[set 19.6M, closed 12.6M, open 7.00M, branching 1.6, key 62/175, freemem 1.1B]
[set 20.4M, closed 13.2M, open 7.28M, branching 1.6, key 61/177, freemem 1.6B]
[set 21.3M, closed 13.7M, open 7.65M, branching 1.6, key 62/171, freemem 1.7B]
[set 22.1M, closed 14.2M, open 7.90M, branching 1.6, key 68/175, freemem 1.7B]
[set 22.8M, closed 14.7M, open 8.12M, branching 1.6, key 69/177, freemem 1.7B]
[set 23.6M, closed 15.3M, open 8.35M, branching 1.5, key 47/177, freemem 1.7B]
[set 24.5M, closed 15.8M, open 8.77M, branching 1.6, key 68/175, freemem 1.8B]
[set 25.3M, closed 16.3M, open 8.99M, branching 1.6, key 66/177, freemem 719.3M]
[set 26.2M, closed 16.8M, open 9.37M, branching 1.6, key 76/171, freemem 1.2B]
[set 27.1M, closed 17.4M, open 9.79M, branching 1.6, key 70/175, freemem 1.5B]
[set 27.9M, closed 17.9M, open 9.99M, branching 1.6, key 68/177, freemem 2.2B]
[set 28.7M, closed 18.4M, open 10.4M, branching 1.6, key 71/177, freemem 1.6B]
[set 29.6M, closed 18.9M, open 10.8M, branching 1.6, key 79/171, freemem 1.6B]
[set 30.4M, closed 19.4M, open 11.0M, branching 1.6, key 75/177, freemem 1.6B]
[set 31.4M, closed 20.0M, open 11.4M, branching 1.6, key 68/175, freemem 1.8B]
[set 32.2M, closed 20.5M, open 11.7M, branching 1.6, key 93/177, freemem 1.1B]
[set 33.1M, closed 21.0M, open 12.1M, branching 1.6, key 83/175, freemem 1.3B]
[set 33.9M, closed 21.5M, open 12.4M, branching 1.6, key 97/171, freemem 1.3B]
[set 34.8M, closed 22.1M, open 12.8M, branching 1.6, key 85/173, freemem 1.6B]
[set 35.7M, closed 22.6M, open 13.2M, branching 1.6, key 98/177, freemem 939.7M]
[set 36.5M, closed 23.1M, open 13.5M, branching 1.6, key 82/173, freemem 991.9M]
[set 37.3M, closed 23.6M, open 13.8M, branching 1.6, key 89/177, freemem 1.1B]
[set 38.2M, closed 24.2M, open 14.0M, branching 1.6, key 88/173, freemem 1.1B]
[set 39.0M, closed 24.7M, open 14.4M, branching 1.6, key 90/177, freemem 2.0B]
[set 39.9M, closed 25.2M, open 14.8M, branching 1.6, key 105/175, freemem 1.9B]
[set 40.7M, closed 25.7M, open 15.0M, branching 1.6, key 94/171, freemem 1.9B]
[set 41.5M, closed 26.3M, open 15.3M, branching 1.6, key 68/177, freemem 1.9B]
[set 42.3M, closed 26.8M, open 15.6M, branching 1.6, key 88/177, freemem 1.3B]
[set 43.2M, closed 27.3M, open 15.9M, branching 1.6, key 74/173, freemem 1.4B]
[set 44.0M, closed 27.8M, open 16.2M, branching 1.6, key 74/177, freemem 1.8B]
[set 44.9M, closed 28.4M, open 16.6M, branching 1.6, key 96/171, freemem 1.9B]
[set 45.1M, closed 28.4M, open 16.7M, branching 1.6, freemem 1.8B]
Timed out after key: pushes 89, total 175
FrozenBoxes 35.3M
Level #4 [cells 50, boxes 8, alive 31, complexity 22.8]
###########
# # @#
# $ $$# #
##$ $$ #
# $ # #
###### ######
#.. ..$ #
# .. #
# ..####
######
[set 775K, closed 524K, open 251K, branching 1.5, key 59/91, freemem 1.5B]
[set 1.49M, closed 1.05M, open 440K, branching 1.4, key 72/93, freemem 1.2B]
[set 2.18M, closed 1.58M, open 600K, branching 1.4, key 42/93, freemem 859.7M]
[set 2.59M, closed 1.94M, open 648K, branching 1.3, freemem 660.4M]
Found solution in 95 pushes.
FrozenBoxes 843K
Level #5 [cells 129, boxes 29, alive 97, complexity 65.6]
###########
# # #
### $ $#$ $ ###
# #$ $ # $ $# #
# $ ..#.. $ #
# $...#...$ #
# $ .. * .. $ #
###### @ ######
# $ .. .. $ #
# $...#...$ #
# $ ..#.. $ #
# #$ $ # $ $# #
### $ $#$ $ ###
# # #
###########
[set 3.38M, closed 524K, open 2.86M, branching 6.4, key 27/86, freemem 711.2M]
[set 6.81M, closed 1.05M, open 5.76M, branching 6.5, key 30/86, freemem 800.3M]
[set 10.2M, closed 1.58M, open 8.58M, branching 6.5, key 27/86, freemem 2.0B]
[set 13.6M, closed 2.10M, open 11.5M, branching 6.5, key 29/86, freemem 1.6B]
[set 17.0M, closed 2.63M, open 14.3M, branching 6.5, key 25/86, freemem 2.1B]
[set 20.3M, closed 3.15M, open 17.1M, branching 6.4, key 23/86, freemem 1.8B]
[set 23.7M, closed 3.68M, open 20.0M, branching 6.4, key 21/86, freemem 822.0M]
[set 27.1M, closed 4.20M, open 22.9M, branching 6.4, key 31/86, freemem 2.3B]
[set 30.5M, closed 4.72M, open 25.7M, branching 6.4, key 28/86, freemem 1.8B]
[set 33.7M, closed 5.25M, open 28.5M, branching 6.4, key 26/86, freemem 1.5B]
[set 37.1M, closed 5.77M, open 31.4M, branching 6.4, key 28/86, freemem 1.1B]
[set 40.6M, closed 6.30M, open 34.3M, branching 6.4, key 24/86, freemem 1.5B]
[set 43.9M, closed 6.82M, open 37.1M, branching 6.4, key 26/86, freemem 1.2B]
[set 45.1M, closed 7.00M, open 38.1M, branching 6.4, freemem 1.1B]
Timed out after key: pushes 23, total 86
FrozenBoxes 33.1M
Level #6 [cells 54, boxes 13, alive 44, complexity 31.8]
###########
#. .$. .#
# $ $ $ #
## ..$.. ##
##$#$#$##
#.$ $.#
# @ #
### ###
## $ $ ##
#. $ .#
### . ###
#####
[set 292K, closed 124K, open 168K, branching 2.4, freemem 965.6M]
Found solution in 43 pushes.
FrozenBoxes 116K
Level #7 [cells 59, boxes 6, alive 33, complexity 21.2]
######
#### ## #
### # # ## ###
### #### # $ #
# $ @ ...*.. $ #
# $ $ ## ### ###
### ### # #####
# ###
# ####
#####
[set 381K, closed 329K, open 52.1K, branching 1.2, freemem 781.6M]
Found solution in 66 pushes.
FrozenBoxes 111K
Level #8 [cells 56, boxes 7, alive 29, complexity 21.2]
#######
# ##
##### ### #
# # ##
#@$***. ##$ #
# # ## .#
## ## # $ #
## ####.$.#
## #
###### ##
####
[set 3.5K, closed 1.2K, open 2.3K, branching 3.0, freemem 778.6M]
Found solution in 17 pushes.
FrozenBoxes 848
Level #9 [cells 32, boxes 5, alive 25, complexity 17.2]
#########
#. . #
#.$. . #
## ###@ #
# $ ##
# $$ ##
# $ #
# ###
####
[set 30.8K, closed 26.4K, open 4.5K, branching 1.2, freemem 760.9M]
Found solution in 40 pushes.
FrozenBoxes 23.4K
Level #10 [cells 86, boxes 11, alive 62, complexity 35.2]
######
# #
# @ ###
#### # #
# ####..#.#$#####
# $ $ ##... #
# .....#$$ #
###### ##$## #####
# $ #
#### ####
# #
# #####
### $ #
# $ $ #
# #$# ####
# #
#######
[set 1.20M, closed 524K, open 670K, branching 2.3, key 54/93, freemem 3.6B]
[set 2.25M, closed 1.05M, open 1.20M, branching 2.1, key 39/93, freemem 3.8B]
[set 3.34M, closed 1.58M, open 1.76M, branching 2.1, key 33/93, freemem 3.3B]
[set 4.37M, closed 2.10M, open 2.28M, branching 2.1, key 29/93, freemem 3.5B]
[set 5.40M, closed 2.63M, open 2.78M, branching 2.1, key 23/93, freemem 3.1B]
[set 6.29M, closed 3.15M, open 3.15M, branching 2.0, key 54/95, freemem 3.3B]
[set 7.24M, closed 3.68M, open 3.57M, branching 2.0, key 48/95, freemem 2.9B]
[set 8.17M, closed 4.20M, open 3.98M, branching 1.9, key 49/95, freemem 3.0B]
[set 9.08M, closed 4.72M, open 4.37M, branching 1.9, key 47/95, freemem 2.6B]
[set 10.1M, closed 5.25M, open 4.80M, branching 1.9, key 40/95, freemem 2.2B]
[set 11.1M, closed 5.77M, open 5.27M, branching 1.9, key 38/95, freemem 1.8B]
[set 12.1M, closed 6.30M, open 5.72M, branching 1.9, key 41/95, freemem 2.5B]
[set 13.0M, closed 6.82M, open 6.18M, branching 1.9, key 35/95, freemem 2.5B]
[set 14.0M, closed 7.35M, open 6.60M, branching 1.9, key 41/95, freemem 2.1B]
[set 14.9M, closed 7.87M, open 6.99M, branching 1.9, key 37/95, freemem 2.4B]
[set 15.8M, closed 8.39M, open 7.40M, branching 1.9, key 38/95, freemem 2.0B]
[set 16.8M, closed 8.92M, open 7.83M, branching 1.9, key 34/95, freemem 1.6B]
[set 17.8M, closed 9.44M, open 8.27M, branching 1.9, key 25/95, freemem 1.2B]
[set 18.7M, closed 9.97M, open 8.70M, branching 1.9, key 23/95, freemem 1.9B]
[set 19.7M, closed 10.5M, open 9.13M, branching 1.9, key 43/95, freemem 1.6B]
[set 20.6M, closed 11.1M, open 9.57M, branching 1.9, key 30/95, freemem 1.8B]
[set 21.5M, closed 11.6M, open 9.88M, branching 1.9, key 61/97, freemem 1.5B]
[set 22.3M, closed 12.1M, open 10.2M, branching 1.8, key 54/97, freemem 1.7B]
[set 23.2M, closed 12.6M, open 10.6M, branching 1.8, key 56/97, freemem 1.3B]
[set 24.1M, closed 13.2M, open 10.9M, branching 1.8, key 50/97, freemem 1.6B]
[set 24.9M, closed 13.7M, open 11.3M, branching 1.8, key 49/97, freemem 1.2B]
[set 25.8M, closed 14.2M, open 11.7M, branching 1.8, key 48/97, freemem 3.2B]
[set 26.7M, closed 14.7M, open 12.1M, branching 1.8, key 49/97, freemem 2.8B]
[set 27.6M, closed 15.3M, open 12.4M, branching 1.8, key 45/97, freemem 2.4B]
[set 28.5M, closed 15.8M, open 12.8M, branching 1.8, key 51/97, freemem 2.9B]
[set 29.4M, closed 16.3M, open 13.2M, branching 1.8, key 43/97, freemem 3.1B]
[set 30.4M, closed 16.8M, open 13.6M, branching 1.8, key 43/97, freemem 2.7B]
[set 31.3M, closed 17.4M, open 14.0M, branching 1.8, key 42/97, freemem 2.9B]
[set 32.3M, closed 17.9M, open 14.4M, branching 1.8, key 55/97, freemem 2.5B]
[set 33.2M, closed 18.4M, open 14.8M, branching 1.8, key 41/97, freemem 2.7B]
[set 34.2M, closed 18.9M, open 15.3M, branching 1.8, key 42/97, freemem 2.3B]
[set 35.1M, closed 19.4M, open 15.7M, branching 1.8, key 40/97, freemem 2.5B]
[set 36.1M, closed 20.0M, open 16.1M, branching 1.8, key 39/97, freemem 2.0B]
[set 37.0M, closed 20.5M, open 16.6M, branching 1.8, key 42/97, freemem 2.2B]
[set 38.0M, closed 21.0M, open 17.0M, branching 1.8, key 47/97, freemem 1.8B]
[set 38.9M, closed 21.5M, open 17.4M, branching 1.8, key 37/97, freemem 2.0B]
[set 39.9M, closed 22.1M, open 17.8M, branching 1.8, key 39/97, freemem 1.6B]
[set 40.8M, closed 22.6M, open 18.3M, branching 1.8, key 36/97, freemem 1.2B]
[set 41.7M, closed 23.1M, open 18.7M, branching 1.8, key 37/97, freemem 1.9B]
[set 42.7M, closed 23.6M, open 19.1M, branching 1.8, key 41/97, freemem 1.5B]
[set 43.6M, closed 24.2M, open 19.5M, branching 1.8, key 44/97, freemem 1.7B]
[set 44.5M, closed 24.7M, open 19.9M, branching 1.8, key 36/97, freemem 1.3B]
[set 45.1M, closed 25.0M, open 20.1M, branching 1.8, freemem 1.7B]
Timed out after key: pushes 34, total 97
FrozenBoxes 9.43M
Level #11 [cells 36, boxes 6, alive 24, complexity 18.1]
####
### ####
# @ #
# #. .#.###
# $$$ $$$ #
###.#.#.# #
# #
#### ###
####
[set 21.2K, closed 13.7K, open 7.5K, branching 1.5, freemem 1.7B]
Found solution in 28 pushes.
FrozenBoxes 13.7K
Level #12 [cells 99, boxes 15, alive 57, complexity 38.9]
#####
# #
##### # #######
# ##### # ..... #
##### # ## # # # # #
# $ $ $ $ $ # ## ## $ #
# # ##......#### ### $$ ###
# ## * # # # $$ #
##########+$$ ## # #
#.$ $# # ########
#.## #
########
[set 802K, closed 524K, open 278K, branching 1.5, key 23/76, freemem 1.4B]
[set 1.64M, closed 1.05M, open 583K, branching 1.6, key 42/78, freemem 1.6B]
[set 2.51M, closed 1.58M, open 937K, branching 1.6, key 29/76, freemem 1.2B]
[set 3.39M, closed 2.10M, open 1.29M, branching 1.6, key 23/78, freemem 4.2B]
[set 4.26M, closed 2.63M, open 1.64M, branching 1.6, key 29/78, freemem 3.8B]
[set 5.15M, closed 3.15M, open 2.00M, branching 1.6, key 33/78, freemem 3.4B]
[set 6.04M, closed 3.68M, open 2.37M, branching 1.6, key 39/78, freemem 3.0B]
[set 6.94M, closed 4.20M, open 2.74M, branching 1.7, key 25/72, freemem 3.7B]
[set 7.84M, closed 4.72M, open 3.12M, branching 1.7, key 32/78, freemem 3.3B]
[set 8.74M, closed 5.25M, open 3.50M, branching 1.7, key 32/78, freemem 3.6B]
[set 9.47M, closed 5.77M, open 3.70M, branching 1.6, key 45/80, freemem 3.2B]
[set 10.3M, closed 6.30M, open 3.99M, branching 1.6, key 43/80, freemem 3.4B]
[set 11.2M, closed 6.82M, open 4.32M, branching 1.6, key 54/80, freemem 3.0B]
[set 12.1M, closed 7.35M, open 4.67M, branching 1.6, key 35/80, freemem 3.2B]
[set 13.0M, closed 7.87M, open 5.04M, branching 1.6, key 36/80, freemem 3.1B]
[set 13.9M, closed 8.39M, open 5.42M, branching 1.6, key 40/80, freemem 2.7B]
[set 14.8M, closed 8.92M, open 5.80M, branching 1.7, key 33/80, freemem 2.9B]
[set 15.7M, closed 9.44M, open 6.19M, branching 1.7, key 35/80, freemem 2.5B]
[set 16.6M, closed 9.97M, open 6.58M, branching 1.7, key 33/80, freemem 2.7B]
[set 17.5M, closed 10.5M, open 6.96M, branching 1.7, key 44/80, freemem 2.3B]
[set 18.4M, closed 11.1M, open 7.35M, branching 1.7, key 30/80, freemem 2.5B]
[set 19.3M, closed 11.6M, open 7.73M, branching 1.7, key 38/78, freemem 2.7B]
[set 20.2M, closed 12.1M, open 8.10M, branching 1.7, key 32/80, freemem 2.3B]
[set 21.1M, closed 12.6M, open 8.47M, branching 1.7, key 44/78, freemem 2.5B]
[set 22.0M, closed 13.2M, open 8.83M, branching 1.7, key 33/80, freemem 2.1B]
[set 22.9M, closed 13.7M, open 9.18M, branching 1.7, key 30/78, freemem 2.3B]
[set 23.7M, closed 14.2M, open 9.54M, branching 1.7, key 25/80, freemem 1.9B]
[set 24.6M, closed 14.7M, open 9.88M, branching 1.7, key 39/80, freemem 2.1B]
[set 25.5M, closed 15.3M, open 10.3M, branching 1.7, key 24/80, freemem 1.8B]
[set 26.3M, closed 15.8M, open 10.6M, branching 1.7, key 28/78, freemem 1.4B]
[set 27.2M, closed 16.3M, open 11.0M, branching 1.7, key 35/80, freemem 1.7B]
[set 28.1M, closed 16.8M, open 11.3M, branching 1.7, key 36/80, freemem 1.3B]
[set 28.9M, closed 17.4M, open 11.6M, branching 1.7, key 29/80, freemem 3.1B]
[set 29.8M, closed 17.9M, open 12.0M, branching 1.7, key 35/80, freemem 2.7B]
[set 30.7M, closed 18.4M, open 12.3M, branching 1.7, key 27/76, freemem 2.3B]
[set 31.6M, closed 18.9M, open 12.7M, branching 1.7, key 28/80, freemem 1.9B]
[set 32.4M, closed 19.4M, open 13.0M, branching 1.7, key 29/78, freemem 2.7B]
[set 33.3M, closed 20.0M, open 13.4M, branching 1.7, key 32/78, freemem 2.3B]
[set 34.2M, closed 20.5M, open 13.7M, branching 1.7, key 27/74, freemem 2.6B]
[set 35.1M, closed 21.0M, open 14.1M, branching 1.7, key 38/80, freemem 2.2B]
[set 36.0M, closed 21.5M, open 14.5M, branching 1.7, key 30/80, freemem 2.4B]
[set 36.8M, closed 22.1M, open 14.8M, branching 1.7, key 30/80, freemem 2.0B]
[set 37.7M, closed 22.6M, open 15.2M, branching 1.7, key 19/80, freemem 2.2B]
[set 38.6M, closed 23.1M, open 15.6M, branching 1.7, key 23/74, freemem 2.4B]
[set 39.6M, closed 23.6M, open 16.0M, branching 1.7, key 33/80, freemem 2.0B]
[set 40.5M, closed 24.2M, open 16.3M, branching 1.7, key 48/82, freemem 1.7B]
[set 41.4M, closed 24.7M, open 16.7M, branching 1.7, key 55/76, freemem 1.3B]
[set 42.3M, closed 25.2M, open 17.1M, branching 1.7, key 46/82, freemem 2.0B]
[set 43.2M, closed 25.7M, open 17.5M, branching 1.7, key 44/82, freemem 1.5B]
[set 44.1M, closed 26.3M, open 17.9M, branching 1.7, key 44/82, freemem 1.7B]
[set 45.0M, closed 26.8M, open 18.3M, branching 1.7, key 46/82, freemem 1.3B]
[set 45.1M, closed 26.8M, open 18.3M, branching 1.7, freemem 1.3B]
Timed out after key: pushes 47, total 82
FrozenBoxes 21.7M
Level #13 [cells 65, boxes 10, alive 39, complexity 27.6]
#######
### ##
# ### #
# # #
###$#@ # #
# ##### #
# # *. #
##$$# *.##
# *..#
#### #...##
# #$$$ #
# $ #
##### #
####
[set 392K, closed 189K, open 203K, branching 2.1, freemem 1.7B]
Found solution in 46 pushes.
FrozenBoxes 181K
Level #14 [cells 31, boxes 6, alive 15, complexity 13.9]
#######
## #
# *.$.#
# *.#.###
# #$@$$ #
# ## # #
###### #
#####
[set 550, closed 368, open 180, branching 1.5, freemem 1.7B]
Found solution in 15 pushes.
FrozenBoxes 269
Level #15 [cells 31, boxes 6, alive 20, complexity 16.4]
####
#@ #
## #
# .$#
#$. #
###..$###
# ..$ #
# $ $ # #
##### # #
# #
#####
[set 11.0K, closed 9.2K, open 1.8K, branching 1.2, freemem 1.7B]
Found solution in 41 pushes.
FrozenBoxes 12.4K
Level #16 [cells 77, boxes 11, alive 51, complexity 32.5]
####
## #
## ##
## $.#
## $ $.##
# #####. ##
# $. @#
# $. ####
### # #*# # ###
#### .$ #
# .$ #
## .##### #
##.$ $ ##
#.$ ##
## ##
# ##
####
[set 765K, closed 524K, open 241K, branching 1.5, key 20/38, freemem 1.4B]
[set 1.51M, closed 1.05M, open 457K, branching 1.4, key 21/40, freemem 1.7B]
[set 2.23M, closed 1.58M, open 651K, branching 1.4, key 16/40, freemem 1.4B]
[set 2.97M, closed 2.10M, open 866K, branching 1.4, key 22/42, freemem 987.7M]
[set 3.68M, closed 2.63M, open 1.06M, branching 1.4, key 20/42, freemem 4.1B]
[set 4.37M, closed 3.15M, open 1.22M, branching 1.4, key 34/44, freemem 3.8B]
[set 5.12M, closed 3.68M, open 1.45M, branching 1.4, key 25/44, freemem 4.0B]
[set 5.83M, closed 4.20M, open 1.64M, branching 1.4, key 26/44, freemem 3.7B]
[set 6.54M, closed 4.72M, open 1.82M, branching 1.4, key 22/44, freemem 3.9B]
[set 7.24M, closed 5.25M, open 2.00M, branching 1.4, key 20/44, freemem 3.6B]
[set 7.89M, closed 5.77M, open 2.12M, branching 1.4, key 20/44, freemem 3.9B]
[set 8.61M, closed 6.30M, open 2.32M, branching 1.4, key 28/46, freemem 3.6B]
[set 9.36M, closed 6.82M, open 2.54M, branching 1.4, key 28/46, freemem 3.2B]
[set 10.1M, closed 7.35M, open 2.71M, branching 1.4, key 26/46, freemem 3.5B]
[set 10.8M, closed 7.87M, open 2.89M, branching 1.4, key 24/46, freemem 3.2B]
[set 11.5M, closed 8.39M, open 3.05M, branching 1.4, key 25/46, freemem 3.5B]
[set 12.2M, closed 8.92M, open 3.21M, branching 1.4, key 22/46, freemem 3.2B]
[set 12.9M, closed 9.44M, open 3.38M, branching 1.4, key 22/46, freemem 3.3B]
[set 13.5M, closed 9.97M, open 3.51M, branching 1.4, key 19/46, freemem 3.0B]
[set 14.2M, closed 10.5M, open 3.62M, branching 1.3, key 34/48, freemem 3.3B]
[set 14.9M, closed 11.1M, open 3.84M, branching 1.3, key 30/48, freemem 2.9B]
[set 15.6M, closed 11.6M, open 4.05M, branching 1.4, key 29/48, freemem 3.2B]
[set 16.4M, closed 12.1M, open 4.25M, branching 1.4, key 29/48, freemem 2.9B]
[set 17.0M, closed 12.6M, open 4.42M, branching 1.4, key 27/48, freemem 3.1B]
[set 17.7M, closed 13.2M, open 4.58M, branching 1.3, key 27/48, freemem 2.8B]
[set 18.4M, closed 13.7M, open 4.77M, branching 1.3, key 29/48, freemem 2.5B]
[set 19.1M, closed 14.2M, open 4.91M, branching 1.3, key 25/48, freemem 2.8B]
[set 19.8M, closed 14.7M, open 5.04M, branching 1.3, key 25/48, freemem 2.5B]
[set 20.5M, closed 15.3M, open 5.21M, branching 1.3, key 25/48, freemem 2.7B]
[set 21.1M, closed 15.8M, open 5.34M, branching 1.3, key 23/48, freemem 2.4B]
[set 21.7M, closed 16.3M, open 5.44M, branching 1.3, key 24/48, freemem 2.7B]
[set 22.4M, closed 16.8M, open 5.59M, branching 1.3, key 24/48, freemem 2.4B]
[set 23.0M, closed 17.4M, open 5.67M, branching 1.3, key 19/48, freemem 2.0B]
[set 23.7M, closed 17.9M, open 5.82M, branching 1.3, key 33/50, freemem 2.3B]
[set 24.4M, closed 18.4M, open 6.01M, branching 1.3, key 32/50, freemem 2.0B]
[set 25.1M, closed 18.9M, open 6.22M, branching 1.3, key 31/50, freemem 2.3B]
[set 25.8M, closed 19.4M, open 6.37M, branching 1.3, key 30/50, freemem 2.1B]
[set 26.6M, closed 20.0M, open 6.60M, branching 1.3, key 31/50, freemem 1.7B]
[set 27.2M, closed 20.5M, open 6.73M, branching 1.3, key 29/50, freemem 1.4B]
[set 28.0M, closed 21.0M, open 6.95M, branching 1.3, key 29/50, freemem 1.7B]
[set 28.6M, closed 21.5M, open 7.05M, branching 1.3, key 28/50, freemem 1.3B]
[set 29.3M, closed 22.1M, open 7.28M, branching 1.3, key 29/50, freemem 1.6B]
[set 30.0M, closed 22.6M, open 7.38M, branching 1.3, key 28/50, freemem 1.3B]
[set 30.7M, closed 23.1M, open 7.57M, branching 1.3, key 27/50, freemem 3.2B]
[set 31.3M, closed 23.6M, open 7.70M, branching 1.3, key 30/50, freemem 2.9B]
[set 32.0M, closed 24.2M, open 7.83M, branching 1.3, key 26/50, freemem 3.2B]
[set 32.7M, closed 24.7M, open 7.98M, branching 1.3, key 28/50, freemem 2.8B]
[set 33.3M, closed 25.2M, open 8.06M, branching 1.3, key 25/50, freemem 3.1B]
[set 34.0M, closed 25.7M, open 8.24M, branching 1.3, key 28/50, freemem 2.8B]
[set 34.6M, closed 26.3M, open 8.32M, branching 1.3, key 26/50, freemem 2.4B]
[set 35.2M, closed 26.8M, open 8.46M, branching 1.3, key 24/50, freemem 2.7B]
[set 35.9M, closed 27.3M, open 8.58M, branching 1.3, key 24/50, freemem 2.4B]
[set 36.5M, closed 27.8M, open 8.66M, branching 1.3, key 22/50, freemem 2.7B]
[set 37.1M, closed 28.4M, open 8.71M, branching 1.3, key 19/50, freemem 2.4B]
[set 37.7M, closed 28.9M, open 8.85M, branching 1.3, key 37/52, freemem 2.7B]
[set 38.4M, closed 29.4M, open 9.03M, branching 1.3, key 34/52, freemem 2.4B]
[set 39.2M, closed 29.9M, open 9.23M, branching 1.3, key 34/52, freemem 2.1B]
[set 39.8M, closed 30.5M, open 9.37M, branching 1.3, key 34/52, freemem 2.4B]
[set 40.6M, closed 31.0M, open 9.59M, branching 1.3, key 34/52, freemem 2.1B]
[set 41.3M, closed 31.5M, open 9.77M, branching 1.3, key 32/52, freemem 2.3B]
[set 41.9M, closed 32.0M, open 9.83M, branching 1.3, key 31/52, freemem 2.0B]
[set 42.7M, closed 32.6M, open 10.2M, branching 1.3, key 32/52, freemem 2.3B]
[set 43.4M, closed 33.1M, open 10.3M, branching 1.3, key 35/52, freemem 1.9B]
[set 43.9M, closed 33.6M, open 10.4M, branching 1.3, key 33/52, freemem 1.6B]
[set 44.7M, closed 34.1M, open 10.6M, branching 1.3, key 31/52, freemem 1.9B]
[set 45.1M, closed 34.4M, open 10.7M, branching 1.3, freemem 1.7B]
Timed out after key: pushes 31, total 52
FrozenBoxes 38.6M
Level #17 [cells 106, boxes 13, alive 80, complexity 42.1]
###########
## . . . . ###
# $$ $ $ $ #
# ######## # #####
#### ## $ # # #
# # $ $ # ### # #
## # # #### $ #
#... ##### $ #### ###
#... @ $ # #
#...############ $ $ #
##### ##### #
####
[set 1.11M, closed 524K, open 579K, branching 2.1, key 49/220, freemem 1.9B]
[set 2.22M, closed 1.05M, open 1.17M, branching 2.1, key 87/222, freemem 1.5B]
[set 3.49M, closed 1.58M, open 1.91M, branching 2.2, key 122/222, freemem 1.6B]
[set 4.72M, closed 2.10M, open 2.62M, branching 2.2, key 102/222, freemem 4.3B]
[set 5.91M, closed 2.63M, open 3.29M, branching 2.3, key 84/222, freemem 3.9B]
[set 7.07M, closed 3.15M, open 3.93M, branching 2.2, key 86/222, freemem 3.3B]
[set 8.21M, closed 3.68M, open 4.54M, branching 2.2, key 88/222, freemem 4.0B]
[set 9.33M, closed 4.20M, open 5.14M, branching 2.2, key 84/222, freemem 3.5B]
[set 10.5M, closed 4.72M, open 5.71M, branching 2.2, key 89/222, freemem 3.7B]
[set 11.5M, closed 5.25M, open 6.26M, branching 2.2, key 81/222, freemem 3.3B]
[set 12.6M, closed 5.77M, open 6.77M, branching 2.2, key 78/222, freemem 3.4B]
[set 13.6M, closed 6.30M, open 7.29M, branching 2.2, key 81/222, freemem 3.4B]
[set 14.7M, closed 6.82M, open 7.81M, branching 2.1, key 75/222, freemem 3.0B]
[set 15.7M, closed 7.35M, open 8.32M, branching 2.1, key 84/222, freemem 3.2B]
[set 16.7M, closed 7.87M, open 8.82M, branching 2.1, key 95/222, freemem 2.7B]
[set 17.7M, closed 8.39M, open 9.31M, branching 2.1, key 67/222, freemem 2.9B]
[set 18.8M, closed 8.92M, open 9.79M, branching 2.1, key 68/222, freemem 2.5B]
[set 19.8M, closed 9.44M, open 10.3M, branching 2.1, key 78/222, freemem 2.7B]
[set 20.8M, closed 9.97M, open 10.8M, branching 2.1, key 99/222, freemem 2.8B]
[set 21.7M, closed 10.5M, open 11.3M, branching 2.1, key 79/222, freemem 2.4B]
[set 22.8M, closed 11.1M, open 11.8M, branching 2.1, key 67/222, freemem 2.6B]
[set 23.8M, closed 11.6M, open 12.2M, branching 2.1, key 98/222, freemem 2.2B]
[set 24.8M, closed 12.1M, open 12.7M, branching 2.1, key 67/222, freemem 2.3B]
[set 25.8M, closed 12.6M, open 13.2M, branching 2.0, key 83/222, freemem 2.0B]
[set 26.8M, closed 13.2M, open 13.7M, branching 2.0, key 68/222, freemem 1.6B]
[set 27.8M, closed 13.7M, open 14.1M, branching 2.0, key 81/222, freemem 1.8B]
[set 28.8M, closed 14.2M, open 14.7M, branching 2.0, key 69/222, freemem 1.4B]
[set 29.9M, closed 14.7M, open 15.2M, branching 2.0, key 89/222, freemem 1.5B]
[set 30.9M, closed 15.3M, open 15.7M, branching 2.0, key 70/222, freemem 1.8B]
[set 31.9M, closed 15.8M, open 16.2M, branching 2.0, key 58/220, freemem 1.4B]
[set 33.0M, closed 16.3M, open 16.7M, branching 2.0, key 65/222, freemem 2.2B]
[set 34.1M, closed 16.8M, open 17.3M, branching 2.0, key 86/222, freemem 1.8B]
[set 35.1M, closed 17.4M, open 17.8M, branching 2.0, key 58/222, freemem 1.5B]
[set 36.1M, closed 17.9M, open 18.3M, branching 2.0, key 70/222, freemem 1.1B]
[set 37.2M, closed 18.4M, open 18.8M, branching 2.0, key 68/222, freemem 1.6B]
[set 38.3M, closed 18.9M, open 19.4M, branching 2.0, key 58/222, freemem 1.2B]
[set 39.3M, closed 19.4M, open 19.9M, branching 2.0, key 68/222, freemem 1.4B]
[set 40.3M, closed 20.0M, open 20.4M, branching 2.0, key 68/222, freemem 1.6B]
[set 41.4M, closed 20.5M, open 20.9M, branching 2.0, key 67/222, freemem 1.2B]
[set 42.4M, closed 21.0M, open 21.4M, branching 2.0, key 78/222, freemem 1.4B]
[set 43.4M, closed 21.5M, open 21.9M, branching 2.0, key 65/222, freemem 923.7M]
[set 44.4M, closed 22.1M, open 22.4M, branching 2.0, key 63/222, freemem 1.1B]
[set 45.1M, closed 22.4M, open 22.7M, branching 2.0, freemem 854.7M]
Timed out after key: pushes 63, total 222
FrozenBoxes 30.9M
Level #18 [cells 70, boxes 24, alive 64, complexity 47.6]
####
##### #
# #
#$ $ $ #
#.*.*.*#
#*.*.*.#
# $ $ $#
#......#
#.*.*.*#
#$ $ $ #
# $ $ $#
#$ $ $ #
# #
#@ #####
####
[set 2.29M, closed 524K, open 1.76M, branching 4.4, key 17/34, freemem 4.1B]
[set 4.70M, closed 1.05M, open 3.65M, branching 4.5, key 24/36, freemem 3.7B]
[set 6.43M, closed 1.58M, open 4.86M, branching 4.1, key 20/36, freemem 3.3B]
[set 8.42M, closed 2.10M, open 6.32M, branching 4.0, key 19/36, freemem 2.9B]
[set 10.5M, closed 2.63M, open 7.85M, branching 4.0, key 18/36, freemem 3.1B]
[set 12.7M, closed 3.15M, open 9.46M, branching 4.0, key 17/36, freemem 2.6B]
[set 14.9M, closed 3.68M, open 11.2M, branching 4.0, key 16/36, freemem 2.7B]
[set 17.1M, closed 4.20M, open 12.9M, branching 4.1, key 16/36, freemem 2.3B]
[set 19.4M, closed 4.72M, open 14.7M, branching 4.1, key 14/36, freemem 1.8B]
[set 21.8M, closed 5.25M, open 16.5M, branching 4.1, key 12/36, freemem 1.9B]
[set 24.2M, closed 5.77M, open 18.4M, branching 4.2, key 10/36, freemem 1.5B]
[set 26.7M, closed 6.30M, open 20.4M, branching 4.2, key 28/38, freemem 1.1B]
[set 28.0M, closed 6.82M, open 21.2M, branching 4.1, key 24/38, freemem 2.6B]
[set 29.4M, closed 7.35M, open 22.1M, branching 4.0, key 23/38, freemem 2.4B]
[set 31.1M, closed 7.87M, open 23.2M, branching 3.9, key 23/38, freemem 1.6B]
[set 32.7M, closed 8.39M, open 24.3M, branching 3.9, key 22/38, freemem 2.5B]
[set 34.4M, closed 8.92M, open 25.5M, branching 3.9, key 22/38, freemem 2.2B]
[set 35.8M, closed 9.44M, open 26.4M, branching 3.8, key 24/38, freemem 1.9B]
[set 37.8M, closed 9.97M, open 27.9M, branching 3.8, key 21/38, freemem 1.6B]
[set 39.5M, closed 10.5M, open 29.1M, branching 3.8, key 21/38, freemem 1.9B]
[set 41.0M, closed 11.1M, open 30.0M, branching 3.7, key 21/38, freemem 1.6B]
[set 43.1M, closed 11.6M, open 31.5M, branching 3.7, key 20/38, freemem 1.4B]
[set 45.0M, closed 12.1M, open 32.9M, branching 3.7, key 20/38, freemem 955.1M]
[set 45.1M, closed 12.1M, open 33.0M, branching 3.7, freemem 930.5M]
Timed out after key: pushes 20, total 38
FrozenBoxes 29.5M
Level #19 [cells 99, boxes 7, alive 64, complexity 28.8]
#####
# #######
# $ ##
## ###### ##
# # # # ########
# # ## $ ##
# #. #@###### $ ##
# #.# ### ## $ ##
# #. # ## $ ##
# #.# # ## $ ##
## #.# ## ## $ #
# #.# # ## #
# .# # # #####
###### #
#####
[set 622K, closed 524K, open 97.5K, branching 1.2, key 117/165, freemem 4.3B]
[set 1.26M, closed 1.05M, open 203K, branching 1.2, key 106/167, freemem 4.1B]
[set 1.89M, closed 1.58M, open 308K, branching 1.2, key 90/167, freemem 3.9B]
[set 2.51M, closed 2.10M, open 407K, branching 1.2, key 120/169, freemem 3.7B]
[set 3.11M, closed 2.63M, open 488K, branching 1.2, key 118/169, freemem 3.5B]
[set 3.74M, closed 3.15M, open 592K, branching 1.2, key 104/169, freemem 3.2B]
[set 4.36M, closed 3.68M, open 684K, branching 1.2, key 140/171, freemem 3.0B]
[set 4.97M, closed 4.20M, open 767K, branching 1.2, key 126/171, freemem 3.9B]
[set 5.57M, closed 4.72M, open 844K, branching 1.2, key 100/171, freemem 3.7B]
[set 6.19M, closed 5.25M, open 942K, branching 1.2, key 114/171, freemem 3.5B]
[set 6.81M, closed 5.77M, open 1.05M, branching 1.2, key 128/173, freemem 3.8B]
[set 7.43M, closed 6.30M, open 1.14M, branching 1.2, key 137/173, freemem 3.6B]
[set 8.04M, closed 6.82M, open 1.22M, branching 1.2, key 115/173, freemem 3.4B]
[set 8.63M, closed 7.35M, open 1.29M, branching 1.2, key 103/173, freemem 3.1B]
[set 9.24M, closed 7.87M, open 1.38M, branching 1.2, key 93/173, freemem 3.6B]
[set 9.85M, closed 8.39M, open 1.46M, branching 1.2, key 156/175, freemem 3.3B]
[set 10.5M, closed 8.92M, open 1.59M, branching 1.2, key 126/175, freemem 3.1B]
[set 11.2M, closed 9.44M, open 1.68M, branching 1.2, key 129/175, freemem 2.9B]
[set 11.8M, closed 9.97M, open 1.77M, branching 1.2, key 127/175, freemem 2.6B]
[set 12.4M, closed 10.5M, open 1.83M, branching 1.2, key 123/175, freemem 2.4B]
[set 12.9M, closed 11.1M, open 1.89M, branching 1.2, key 99/175, freemem 3.1B]
[set 13.6M, closed 11.6M, open 1.98M, branching 1.2, key 111/175, freemem 2.9B]
[set 14.2M, closed 12.1M, open 2.06M, branching 1.2, key 139/177, freemem 2.7B]
[set 14.8M, closed 12.6M, open 2.17M, branching 1.2, key 128/177, freemem 2.9B]
[set 15.4M, closed 13.2M, open 2.26M, branching 1.2, key 138/177, freemem 2.7B]
[set 16.0M, closed 13.7M, open 2.33M, branching 1.2, key 117/177, freemem 2.5B]
[set 16.6M, closed 14.2M, open 2.39M, branching 1.2, key 112/177, freemem 2.9B]
[set 17.2M, closed 14.7M, open 2.45M, branching 1.2, key 105/177, freemem 2.6B]
[set 17.8M, closed 15.3M, open 2.51M, branching 1.2, key 94/177, freemem 2.4B]
[set 18.4M, closed 15.8M, open 2.60M, branching 1.2, key 146/179, freemem 2.2B]
[set 19.0M, closed 16.3M, open 2.70M, branching 1.2, key 135/179, freemem 1.9B]
[set 19.6M, closed 16.8M, open 2.80M, branching 1.2, key 128/179, freemem 1.6B]
[set 20.2M, closed 17.4M, open 2.88M, branching 1.2, key 123/179, freemem 2.5B]
[set 20.8M, closed 17.9M, open 2.95M, branching 1.2, key 128/179, freemem 2.3B]
[set 21.4M, closed 18.4M, open 3.00M, branching 1.2, key 113/179, freemem 2.0B]
[set 22.0M, closed 18.9M, open 3.05M, branching 1.2, key 108/179, freemem 2.4B]
[set 22.5M, closed 19.4M, open 3.09M, branching 1.2, key 108/179, freemem 2.2B]
[set 23.1M, closed 20.0M, open 3.17M, branching 1.2, key 150/181, freemem 1.9B]
[set 23.8M, closed 20.5M, open 3.28M, branching 1.2, key 140/181, freemem 2.2B]
[set 24.4M, closed 21.0M, open 3.37M, branching 1.2, key 132/181, freemem 1.9B]
[set 25.0M, closed 21.5M, open 3.46M, branching 1.2, key 127/181, freemem 2.3B]
[set 25.6M, closed 22.1M, open 3.52M, branching 1.2, key 122/181, freemem 1.7B]
[set 26.2M, closed 22.6M, open 3.57M, branching 1.2, key 117/181, freemem 1.9B]
[set 26.7M, closed 23.1M, open 3.61M, branching 1.2, key 114/181, freemem 1.6B]
[set 27.3M, closed 23.6M, open 3.64M, branching 1.2, key 106/181, freemem 1.4B]
[set 27.8M, closed 24.2M, open 3.67M, branching 1.2, key 92/181, freemem 3.5B]
[set 28.1M, closed 24.4M, open 3.69M, branching 1.2, freemem 3.4B]
Found solution in 183 pushes.
FrozenBoxes 5.72M
Level #20 [cells 30, boxes 9, alive 24, complexity 19.8]
####
# #
######$.#
# $ $.#
# $@$...#
# $$$..##
# $ ..#
########
[set 71.5K, closed 54.3K, open 17.3K, branching 1.3, freemem 3.3B]
Found solution in 36 pushes.
FrozenBoxes 82.2K
Level #21 [cells 40, boxes 8, alive 28, complexity 21.4]
##### ########
# ### . $ #
# $ *.. #$ ##
## $# ..* $ @#
# $ . ### #
######## #####
[set 63.9K, closed 36.2K, open 27.8K, branching 1.8, freemem 3.3B]
Found solution in 36 pushes.
FrozenBoxes 22.7K
Level #22 [cells 76, boxes 8, alive 36, complexity 24.8]
##### ####
#@ .### ###
#### $$ $ #
# # . . ## #
# $ # . . ## #
## . $ $$ # #
# # ###. # #
# #### ##### #
# # #
####### # ####
# .$ #
## #
#####
[set 596K, closed 297K, open 299K, branching 2.0, freemem 3.0B]
Found solution in 36 pushes.
FrozenBoxes 164K
Level #23 [cells 71, boxes 14, alive 53, complexity 36.2]
#######
###### ######
# . ..$#$.. . #
# $ $ . $ $ #
###$####@####$###
# $ $ . $ $ #
# . ..$#$.. . #
###### ######
#######
[set 1.71M, closed 524K, open 1.18M, branching 3.2, key 32/64, freemem 3.0B]
[set 3.26M, closed 1.05M, open 2.21M, branching 3.1, key 40/66, freemem 2.8B]
[set 4.65M, closed 1.58M, open 3.08M, branching 3.0, key 31/66, freemem 2.8B]
[set 5.96M, closed 2.10M, open 3.86M, branching 2.8, key 28/66, freemem 2.2B]
[set 7.30M, closed 2.63M, open 4.68M, branching 2.8, key 30/66, freemem 2.6B]
[set 8.66M, closed 3.15M, open 5.51M, branching 2.8, key 33/66, freemem 2.0B]
[set 10.1M, closed 3.68M, open 6.39M, branching 2.7, key 21/66, freemem 2.0B]
[set 11.5M, closed 4.20M, open 7.28M, branching 2.7, key 22/66, freemem 1.9B]
[set 13.0M, closed 4.72M, open 8.21M, branching 2.7, key 18/66, freemem 1.8B]
[set 14.5M, closed 5.25M, open 9.17M, branching 2.7, key 19/66, freemem 1.6B]
[set 15.9M, closed 5.77M, open 10.2M, branching 2.8, key 28/66, freemem 4.2B]
[set 17.4M, closed 6.30M, open 11.1M, branching 2.8, key 40/68, freemem 4.2B]
[set 18.7M, closed 6.82M, open 11.9M, branching 2.7, key 37/68, freemem 4.1B]
[set 20.0M, closed 7.35M, open 12.7M, branching 2.7, key 35/68, freemem 4.1B]
[set 21.4M, closed 7.87M, open 13.5M, branching 2.7, key 35/68, freemem 3.5B]
[set 22.8M, closed 8.39M, open 14.4M, branching 2.7, key 33/68, freemem 3.0B]
[set 24.3M, closed 8.92M, open 15.3M, branching 2.7, key 33/68, freemem 3.3B]
[set 25.7M, closed 9.44M, open 16.2M, branching 2.7, key 31/68, freemem 3.1B]
[set 27.1M, closed 9.97M, open 17.1M, branching 2.7, key 31/68, freemem 2.8B]
[set 28.6M, closed 10.5M, open 18.1M, branching 2.7, key 31/68, freemem 2.8B]
[set 30.0M, closed 11.1M, open 19.0M, branching 2.7, key 30/68, freemem 2.7B]
[set 31.5M, closed 11.6M, open 19.9M, branching 2.7, key 35/68, freemem 2.7B]
[set 32.9M, closed 12.1M, open 20.9M, branching 2.7, key 37/68, freemem 2.6B]
[set 34.4M, closed 12.6M, open 21.9M, branching 2.7, key 30/68, freemem 2.0B]
[set 35.9M, closed 13.2M, open 22.8M, branching 2.7, key 37/68, freemem 2.0B]
[set 37.3M, closed 13.7M, open 23.7M, branching 2.7, key 33/68, freemem 1.9B]
[set 38.8M, closed 14.2M, open 24.6M, branching 2.7, key 27/68, freemem 1.9B]
[set 40.2M, closed 14.7M, open 25.5M, branching 2.7, key 27/68, freemem 1.8B]
[set 41.8M, closed 15.3M, open 26.6M, branching 2.7, key 40/68, freemem 1.7B]
[set 43.3M, closed 15.8M, open 27.5M, branching 2.7, key 27/68, freemem 1.7B]
[set 44.6M, closed 16.3M, open 28.4M, branching 2.7, key 28/68, freemem 1.1B]
[set 45.1M, closed 16.5M, open 28.6M, branching 2.7, freemem 1.4B]
Timed out after key: pushes 25, total 68
FrozenBoxes 49.4M
Level #24 [cells 75, boxes 13, alive 56, complexity 36.2]
#####
# ##
####### $ #
# $ $ $ #$ #
# #. $ #
####.#.# $###
# ..... #
# $ ..##$#
### ## .. #
# $.#$ # $#
# $ # #
##@ # ####
## ####
####
[set 1.29M, closed 524K, open 765K, branching 2.5, key 40/82, freemem 890.8M]
[set 2.72M, closed 1.05M, open 1.67M, branching 2.6, key 38/82, freemem 4.2B]
[set 4.08M, closed 1.58M, open 2.51M, branching 2.6, key 34/82, freemem 3.7B]
[set 5.36M, closed 2.10M, open 3.27M, branching 2.6, key 34/82, freemem 3.8B]
[set 6.82M, closed 2.63M, open 4.19M, branching 2.6, key 38/82, freemem 3.8B]
[set 8.27M, closed 3.15M, open 5.13M, branching 2.6, key 40/82, freemem 3.3B]
[set 9.49M, closed 3.68M, open 5.82M, branching 2.6, key 25/82, freemem 2.9B]
[set 10.9M, closed 4.20M, open 6.70M, branching 2.6, key 43/82, freemem 3.4B]
[set 12.4M, closed 4.72M, open 7.67M, branching 2.6, key 31/82, freemem 2.9B]
[set 13.8M, closed 5.25M, open 8.50M, branching 2.6, key 41/82, freemem 2.3B]
[set 15.1M, closed 5.77M, open 9.30M, branching 2.6, key 44/82, freemem 2.9B]
[set 15.4M, closed 5.89M, open 9.48M, branching 2.6, freemem 2.8B]
Found solution in 82 pushes.
FrozenBoxes 5.74M
Level #25 [cells 87, boxes 19, alive 71, complexity 47.2]
####
##### #####
# .#$ $ #
# #. $$$ @ ##
# .#$ $ #
###.# $ $ #
#. ##$ ###
#######*###.$ #
# $ ....####
## #$#$$....#
# $ $ #..#
# $ #..#
# ##########
####
[set 1.38M, closed 524K, open 846K, branching 2.6, key 17/156, freemem 2.8B]
[set 2.69M, closed 1.05M, open 1.64M, branching 2.6, key 35/158, freemem 2.2B]
[set 3.93M, closed 1.58M, open 2.36M, branching 2.5, key 33/158, freemem 2.1B]
[set 5.35M, closed 2.10M, open 3.25M, branching 2.5, key 34/158, freemem 2.1B]
[set 6.92M, closed 2.63M, open 4.30M, branching 2.6, key 31/158, freemem 2.1B]
[set 8.42M, closed 3.15M, open 5.28M, branching 2.7, key 61/158, freemem 2.0B]
[set 10.1M, closed 3.68M, open 6.34M, branching 2.7, key 28/158, freemem 1.9B]
[set 11.5M, closed 4.20M, open 7.29M, branching 2.7, key 67/158, freemem 4.5B]
[set 13.1M, closed 4.72M, open 8.36M, branching 2.8, key 26/158, freemem 4.2B]
[set 14.6M, closed 5.25M, open 9.35M, branching 2.8, key 24/158, freemem 3.6B]
[set 16.1M, closed 5.77M, open 10.3M, branching 2.8, key 59/158, freemem 3.6B]
[set 17.7M, closed 6.30M, open 11.4M, branching 2.8, key 34/158, freemem 3.5B]
[set 19.2M, closed 6.82M, open 12.4M, branching 2.8, key 55/158, freemem 3.5B]
[set 20.9M, closed 7.35M, open 13.6M, branching 2.8, key 22/158, freemem 3.3B]
[set 22.7M, closed 7.87M, open 14.8M, branching 2.9, key 51/158, freemem 2.8B]
[set 24.3M, closed 8.39M, open 15.9M, branching 2.9, key 56/158, freemem 3.1B]
[set 25.8M, closed 8.92M, open 16.9M, branching 2.9, key 47/158, freemem 2.7B]
[set 27.7M, closed 9.44M, open 18.3M, branching 2.9, key 23/158, freemem 2.3B]
[set 29.4M, closed 9.97M, open 19.4M, branching 2.9, key 21/158, freemem 2.2B]
[set 31.1M, closed 10.5M, open 20.7M, branching 3.0, key 49/158, freemem 2.1B]
[set 32.8M, closed 11.1M, open 21.8M, branching 3.0, key 25/158, freemem 2.0B]
[set 34.5M, closed 11.6M, open 22.9M, branching 3.0, key 43/158, freemem 1.9B]
[set 36.2M, closed 12.1M, open 24.2M, branching 3.0, key 61/158, freemem 1.8B]
[set 37.9M, closed 12.6M, open 25.4M, branching 3.0, key 42/158, freemem 2.2B]
[set 39.6M, closed 13.2M, open 26.5M, branching 3.0, key 50/158, freemem 2.1B]
[set 41.3M, closed 13.7M, open 27.6M, branching 3.0, key 31/158, freemem 1.5B]
[set 43.0M, closed 14.2M, open 28.8M, branching 3.0, key 21/158, freemem 1.4B]
[set 44.8M, closed 14.7M, open 30.1M, branching 3.0, key 36/158, freemem 585.9M]
[set 45.1M, closed 14.8M, open 30.3M, branching 3.0, freemem 487.3M]
Timed out after key: pushes 29, total 158
FrozenBoxes 32.8M
Level #26 [cells 75, boxes 12, alive 66, complexity 37.4]
####
########### #
# $ $ $ $ #
# # # # # #$#
##. . . . . .#
#$# # # # #$####
#. . . . . . #
#$# # # # # @ #
# $ $ $ $ ###
# ###########
####
[set 2.24M, closed 524K, open 1.72M, branching 4.3, key 57/196, freemem 1.4B]
[set 4.28M, closed 1.05M, open 3.24M, branching 4.1, key 75/198, freemem 4.2B]
[set 5.76M, closed 1.58M, open 4.19M, branching 3.7, key 66/198, freemem 3.4B]
[set 7.15M, closed 2.10M, open 5.05M, branching 3.4, key 61/198, freemem 3.7B]
[set 8.52M, closed 2.63M, open 5.89M, branching 3.2, key 57/198, freemem 3.5B]
[set 9.82M, closed 3.15M, open 6.68M, branching 3.1, key 53/198, freemem 3.3B]
[set 11.2M, closed 3.68M, open 7.45M, branching 3.0, key 49/198, freemem 3.1B]
[set 12.5M, closed 4.20M, open 8.21M, branching 3.0, key 44/198, freemem 3.0B]
[set 14.1M, closed 4.72M, open 9.36M, branching 3.0, key 93/198, freemem 3.2B]
[set 16.2M, closed 5.25M, open 11.0M, branching 3.1, key 95/198, freemem 2.9B]
[set 18.4M, closed 5.77M, open 12.7M, branching 3.2, key 97/198, freemem 2.6B]
[set 20.4M, closed 6.30M, open 14.2M, branching 3.2, key 101/198, freemem 2.4B]
[set 22.8M, closed 6.82M, open 16.0M, branching 3.3, key 97/198, freemem 2.1B]
[set 24.9M, closed 7.35M, open 17.5M, branching 3.4, key 71/198, freemem 1.9B]
[set 26.8M, closed 7.87M, open 18.9M, branching 3.4, key 79/198, freemem 1.7B]
[set 29.0M, closed 8.39M, open 20.6M, branching 3.5, key 74/198, freemem 2.9B]
[set 31.0M, closed 8.92M, open 22.1M, branching 3.5, key 71/198, freemem 2.6B]
[set 33.2M, closed 9.44M, open 23.8M, branching 3.5, key 60/198, freemem 2.4B]
[set 35.4M, closed 9.97M, open 25.4M, branching 3.5, key 91/198, freemem 1.7B]
[set 37.5M, closed 10.5M, open 27.0M, branching 3.6, key 82/198, freemem 1.8B]
[set 39.8M, closed 11.1M, open 28.8M, branching 3.6, key 69/198, freemem 1.6B]
[set 42.2M, closed 11.6M, open 30.7M, branching 3.7, key 88/198, freemem 1.3B]
[set 44.3M, closed 12.1M, open 32.3M, branching 3.7, key 80/198, freemem 1.1B]
[set 45.1M, closed 12.3M, open 32.8M, branching 3.7, freemem 1.4B]
Timed out after key: pushes 60, total 198
FrozenBoxes 44.9M
Level #27 [cells 165, boxes 12, alive 86, complexity 42.0]
########
###### ##########
## $ ### ##
# $ $ ## # ######### #
# $ # # #
# $ $ # # ######### # #
# $ # # #. . . . # #
# $ $ # # . . . .## #
# $ # # # . . . . # #
##$ $## # #### # # ##
# #@ # # ####
###### ##### # #
## # # #
##### ## ##
## ##
######
[set 1.70M, closed 524K, open 1.18M, branching 3.2, key 47/260, freemem 4.3B]
[set 4.04M, closed 1.05M, open 2.99M, branching 3.8, key 50/260, freemem 3.9B]
[set 5.97M, closed 1.58M, open 4.40M, branching 3.8, key 42/260, freemem 3.7B]
[set 8.02M, closed 2.10M, open 5.92M, branching 3.8, key 93/260, freemem 3.5B]
[set 9.88M, closed 2.63M, open 7.26M, branching 3.8, key 115/260, freemem 3.3B]
[set 11.9M, closed 3.15M, open 8.70M, branching 3.8, key 187/260, freemem 3.1B]
[set 14.2M, closed 3.68M, open 10.5M, branching 3.9, key 155/260, freemem 2.7B]
[set 16.7M, closed 4.20M, open 12.5M, branching 4.0, key 159/260, freemem 2.4B]
[set 19.1M, closed 4.72M, open 14.4M, branching 4.0, key 160/260, freemem 2.1B]
[set 21.2M, closed 5.25M, open 15.9M, branching 4.0, key 186/260, freemem 2.0B]
[set 23.3M, closed 5.77M, open 17.6M, branching 4.0, key 155/260, freemem 1.8B]
[set 25.8M, closed 6.30M, open 19.5M, branching 4.1, key 155/260, freemem 1.5B]
[set 28.1M, closed 6.82M, open 21.3M, branching 4.1, key 163/260, freemem 1.3B]
[set 30.3M, closed 7.35M, open 23.0M, branching 4.1, key 186/260, freemem 2.6B]
[set 32.4M, closed 7.87M, open 24.5M, branching 4.1, key 160/260, freemem 2.4B]
[set 34.7M, closed 8.39M, open 26.3M, branching 4.1, key 141/260, freemem 2.2B]
[set 36.5M, closed 8.92M, open 27.6M, branching 4.1, key 174/260, freemem 1.5B]
[set 38.4M, closed 9.44M, open 29.0M, branching 4.1, key 181/260, freemem 1.9B]
[set 40.3M, closed 9.97M, open 30.4M, branching 4.0, key 163/260, freemem 1.2B]
[set 42.4M, closed 10.5M, open 31.9M, branching 4.0, key 144/260, freemem 914.0M]
[set 44.6M, closed 11.1M, open 33.6M, branching 4.1, key 154/260, freemem 1.2B]
[set 45.1M, closed 11.2M, open 33.9M, branching 4.1, freemem 1.1B]
Timed out after key: pushes 156, total 260
FrozenBoxes 18.6M
Level #28 [cells 100, boxes 17, alive 64, complexity 43.1]
######
# ###
##### $ $ #
#### #.# #
# $ #$#.##$#####
# $$. .#.$ #
# $.#.#.##### ####
## ....... @# #
####$ #.### #$###$##
# $ . # $ $ $ #
# $ ### #
# # ############
#####
[set 1.28M, closed 524K, open 746K, branching 2.4, key 28/110, freemem 4.3B]
[set 2.57M, closed 1.05M, open 1.52M, branching 2.4, key 20/110, freemem 3.9B]
[set 3.91M, closed 1.58M, open 2.34M, branching 2.5, key 30/110, freemem 3.4B]
[set 5.23M, closed 2.10M, open 3.13M, branching 2.5, key 19/110, freemem 4.0B]
[set 6.61M, closed 2.63M, open 3.98M, branching 2.5, key 10/110, freemem 3.5B]
[set 7.98M, closed 3.15M, open 4.83M, branching 2.5, key 28/110, freemem 3.6B]
[set 9.46M, closed 3.68M, open 5.79M, branching 2.6, key 18/110, freemem 3.1B]
[set 11.0M, closed 4.20M, open 6.76M, branching 2.6, key 12/110, freemem 3.2B]
[set 12.4M, closed 4.72M, open 7.60M, branching 2.6, key 47/112, freemem 3.2B]
[set 13.7M, closed 5.25M, open 8.43M, branching 2.6, key 41/112, freemem 3.0B]
[set 15.0M, closed 5.77M, open 9.22M, branching 2.6, key 46/112, freemem 2.4B]
[set 16.3M, closed 6.30M, open 10.1M, branching 2.6, key 38/112, freemem 1.9B]
[set 17.6M, closed 6.82M, open 10.8M, branching 2.6, key 40/112, freemem 2.5B]
[set 18.9M, closed 7.35M, open 11.6M, branching 2.6, key 39/112, freemem 2.6B]
[set 20.2M, closed 7.87M, open 12.4M, branching 2.6, key 41/112, freemem 2.1B]
[set 21.5M, closed 8.39M, open 13.1M, branching 2.6, key 36/112, freemem 2.2B]
[set 22.8M, closed 8.92M, open 13.9M, branching 2.6, key 39/112, freemem 2.3B]
[set 24.2M, closed 9.44M, open 14.7M, branching 2.6, key 37/112, freemem 1.8B]
[set 25.4M, closed 9.97M, open 15.5M, branching 2.5, key 33/112, freemem 1.6B]
[set 26.8M, closed 10.5M, open 16.3M, branching 2.5, key 43/112, freemem 1.5B]
[set 28.1M, closed 11.1M, open 17.1M, branching 2.5, key 32/112, freemem 3.2B]
[set 29.4M, closed 11.6M, open 17.8M, branching 2.5, key 35/112, freemem 2.8B]
[set 30.7M, closed 12.1M, open 18.6M, branching 2.5, key 34/112, freemem 2.8B]
[set 32.0M, closed 12.6M, open 19.4M, branching 2.5, key 33/112, freemem 2.4B]
[set 33.3M, closed 13.2M, open 20.2M, branching 2.5, key 31/112, freemem 2.4B]
[set 34.6M, closed 13.7M, open 21.0M, branching 2.5, key 32/112, freemem 2.1B]
[set 35.9M, closed 14.2M, open 21.7M, branching 2.5, key 36/112, freemem 1.7B]
[set 37.2M, closed 14.7M, open 22.5M, branching 2.5, key 35/112, freemem 2.1B]
[set 38.5M, closed 15.3M, open 23.3M, branching 2.5, key 35/112, freemem 2.2B]
[set 39.8M, closed 15.8M, open 24.1M, branching 2.5, key 29/112, freemem 1.7B]
[set 41.0M, closed 16.3M, open 24.8M, branching 2.5, key 30/112, freemem 1.8B]
[set 42.3M, closed 16.8M, open 25.6M, branching 2.5, key 46/112, freemem 1.9B]
[set 43.6M, closed 17.4M, open 26.3M, branching 2.5, key 32/112, freemem 1.5B]
[set 44.9M, closed 17.9M, open 27.0M, branching 2.5, key 30/112, freemem 1.6B]
[set 45.1M, closed 18.0M, open 27.1M, branching 2.5, freemem 1.5B]
Timed out after key: pushes 31, total 112
FrozenBoxes 15.7M
Level #29 [cells 139, boxes 18, alive 93, complexity 52.5]
####
# # ####
# ######## ####### #
# ### ## $ #