Trying deal = 798194
Trying deal = 798194 using dbm
instance_run_all_threads start
Running threads for curr_depth=0
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=0
Start mark-and-sweep cleanup for curr_depth=0
Finish mark-and-sweep cleanup for curr_depth=0
Running threads for curr_depth=1
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=1
Start mark-and-sweep cleanup for curr_depth=1
Finish mark-and-sweep cleanup for curr_depth=1
Running threads for curr_depth=2
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=2
Start mark-and-sweep cleanup for curr_depth=2
Finish mark-and-sweep cleanup for curr_depth=2
Running threads for curr_depth=3
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=3
Start mark-and-sweep cleanup for curr_depth=3
Finish mark-and-sweep cleanup for curr_depth=3
Running threads for curr_depth=4
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=4
Start mark-and-sweep cleanup for curr_depth=4
Finish mark-and-sweep cleanup for curr_depth=4
Running threads for curr_depth=5
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=5
Start mark-and-sweep cleanup for curr_depth=5
Finish mark-and-sweep cleanup for curr_depth=5
Running threads for curr_depth=6
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=6
Start mark-and-sweep cleanup for curr_depth=6
Finish mark-and-sweep cleanup for curr_depth=6
Running threads for curr_depth=7
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=7
Start mark-and-sweep cleanup for curr_depth=7
Finish mark-and-sweep cleanup for curr_depth=7
Running threads for curr_depth=8
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=8
Start mark-and-sweep cleanup for curr_depth=8
Finish mark-and-sweep cleanup for curr_depth=8
Running threads for curr_depth=9
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=9
Start mark-and-sweep cleanup for curr_depth=9
Finish mark-and-sweep cleanup for curr_depth=9
Running threads for curr_depth=10
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=10
Start mark-and-sweep cleanup for curr_depth=10
Finish mark-and-sweep cleanup for curr_depth=10
Running threads for curr_depth=11
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=11
Start mark-and-sweep cleanup for curr_depth=11
Finish mark-and-sweep cleanup for curr_depth=11
Running threads for curr_depth=12
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=12
Start mark-and-sweep cleanup for curr_depth=12
Finish mark-and-sweep cleanup for curr_depth=12
Running threads for curr_depth=13
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=13
Start mark-and-sweep cleanup for curr_depth=13
Finish mark-and-sweep cleanup for curr_depth=13
Running threads for curr_depth=14
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=14
Start mark-and-sweep cleanup for curr_depth=14
Finish mark-and-sweep cleanup for curr_depth=14
Running threads for curr_depth=15
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=15
Start mark-and-sweep cleanup for curr_depth=15
Finish mark-and-sweep cleanup for curr_depth=15
Running threads for curr_depth=16
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=16
Start mark-and-sweep cleanup for curr_depth=16
Finish mark-and-sweep cleanup for curr_depth=16
Running threads for curr_depth=17
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=17
Start mark-and-sweep cleanup for curr_depth=17
Finish mark-and-sweep cleanup for curr_depth=17
Running threads for curr_depth=18
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=18
Start mark-and-sweep cleanup for curr_depth=18
Finish mark-and-sweep cleanup for curr_depth=18
Running threads for curr_depth=19
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=19
Start mark-and-sweep cleanup for curr_depth=19
Finish mark-and-sweep cleanup for curr_depth=19
Running threads for curr_depth=20
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=20
Start mark-and-sweep cleanup for curr_depth=20
Finish mark-and-sweep cleanup for curr_depth=20
Running threads for curr_depth=21
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=21
Start mark-and-sweep cleanup for curr_depth=21
Finish mark-and-sweep cleanup for curr_depth=21
Running threads for curr_depth=22
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=22
Start mark-and-sweep cleanup for curr_depth=22
Finish mark-and-sweep cleanup for curr_depth=22
Running threads for curr_depth=23
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=23
Start mark-and-sweep cleanup for curr_depth=23
Finish mark-and-sweep cleanup for curr_depth=23
Running threads for curr_depth=24
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=24
Start mark-and-sweep cleanup for curr_depth=24
Finish mark-and-sweep cleanup for curr_depth=24
Running threads for curr_depth=25
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=25
Start mark-and-sweep cleanup for curr_depth=25
Finish mark-and-sweep cleanup for curr_depth=25
Running threads for curr_depth=26
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=26
Start mark-and-sweep cleanup for curr_depth=26
Finish mark-and-sweep cleanup for curr_depth=26
Running threads for curr_depth=27
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=27
Start mark-and-sweep cleanup for curr_depth=27
Finish mark-and-sweep cleanup for curr_depth=27
Running threads for curr_depth=28
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=28
Start mark-and-sweep cleanup for curr_depth=28
Finish mark-and-sweep cleanup for curr_depth=28
Running threads for curr_depth=29
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=29
Start mark-and-sweep cleanup for curr_depth=29
Finish mark-and-sweep cleanup for curr_depth=29
Running threads for curr_depth=30
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=30
Start mark-and-sweep cleanup for curr_depth=30
Finish mark-and-sweep cleanup for curr_depth=30
Running threads for curr_depth=31
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=31
Start mark-and-sweep cleanup for curr_depth=31
Finish mark-and-sweep cleanup for curr_depth=31
Running threads for curr_depth=32
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=32
Start mark-and-sweep cleanup for curr_depth=32
Finish mark-and-sweep cleanup for curr_depth=32
Running threads for curr_depth=33
instance_run_solver_thread start
Reached 100000 ; States-in-collection: 117788 ; Time: 1773320496.562237
>>>Queue Stats: inserted=117788 items_in_queue=17788 extracted=100000
instance_run_solver_thread end
Finished running threads for curr_depth=33
Start mark-and-sweep cleanup for curr_depth=33
Finish mark-and-sweep cleanup for curr_depth=33
Running threads for curr_depth=34
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=34
Start mark-and-sweep cleanup for curr_depth=34
Finish mark-and-sweep cleanup for curr_depth=34
Running threads for curr_depth=35
instance_run_solver_thread start
Reached 200000 ; States-in-collection: 237845 ; Time: 1773320496.708096
>>>Queue Stats: inserted=237845 items_in_queue=37845 extracted=200000
Reached 300000 ; States-in-collection: 348841 ; Time: 1773320496.870308
>>>Queue Stats: inserted=348841 items_in_queue=48841 extracted=300000
Reached 400000 ; States-in-collection: 466579 ; Time: 1773320497.034573
>>>Queue Stats: inserted=466579 items_in_queue=66579 extracted=400000
instance_run_solver_thread end
Finished running threads for curr_depth=35
Start mark-and-sweep cleanup for curr_depth=35
Finish mark-and-sweep cleanup for curr_depth=35
Running threads for curr_depth=36
instance_run_solver_thread start
Reached 500000 ; States-in-collection: 604000 ; Time: 1773320497.206062
>>>Queue Stats: inserted=604000 items_in_queue=104000 extracted=500000
Reached 600000 ; States-in-collection: 760630 ; Time: 1773320497.409930
>>>Queue Stats: inserted=760630 items_in_queue=160630 extracted=600000
instance_run_solver_thread end
Finished running threads for curr_depth=36
Start mark-and-sweep cleanup for curr_depth=36
Finish mark-and-sweep cleanup for curr_depth=36
Running threads for curr_depth=37
instance_run_solver_thread start
Reached 700000 ; States-in-collection: 836575 ; Time: 1773320497.593591
>>>Queue Stats: inserted=836575 items_in_queue=136575 extracted=700000
Reached 800000 ; States-in-collection: 1002309 ; Time: 1773320497.818611
>>>Queue Stats: inserted=1002309 items_in_queue=202309 extracted=800000
instance_run_solver_thread end
Finished running threads for curr_depth=37
Start mark-and-sweep cleanup for curr_depth=37
Finish mark-and-sweep cleanup for curr_depth=37
Running threads for curr_depth=38
instance_run_solver_thread start
Reached 900000 ; States-in-collection: 1130674 ; Time: 1773320498.021183
>>>Queue Stats: inserted=1130674 items_in_queue=230674 extracted=900000
Reached 1000000 ; States-in-collection: 1193524 ; Time: 1773320498.194487
>>>Queue Stats: inserted=1193524 items_in_queue=193524 extracted=1000000
Reached 1100000 ; States-in-collection: 1277546 ; Time: 1773320498.364794
>>>Queue Stats: inserted=1277546 items_in_queue=177546 extracted=1100000
instance_run_solver_thread end
Finished running threads for curr_depth=38
Start mark-and-sweep cleanup for curr_depth=38
Finish mark-and-sweep cleanup for curr_depth=38
Running threads for curr_depth=39
instance_run_solver_thread start
Reached 1200000 ; States-in-collection: 1523660 ; Time: 1773320498.606551
>>>Queue Stats: inserted=1523660 items_in_queue=323660 extracted=1200000
Reached 1300000 ; States-in-collection: 1671024 ; Time: 1773320498.803400
>>>Queue Stats: inserted=1671024 items_in_queue=371024 extracted=1300000
Reached 1400000 ; States-in-collection: 1831681 ; Time: 1773320499.038145
>>>Queue Stats: inserted=1831681 items_in_queue=431681 extracted=1400000
Reached 1500000 ; States-in-collection: 2007242 ; Time: 1773320499.307351
>>>Queue Stats: inserted=2007242 items_in_queue=507242 extracted=1500000
Reached 1600000 ; States-in-collection: 2324704 ; Time: 1773320499.761028
>>>Queue Stats: inserted=2324704 items_in_queue=724704 extracted=1600000
Reached 1700000 ; States-in-collection: 2427674 ; Time: 1773320500.018202
>>>Queue Stats: inserted=2427674 items_in_queue=727674 extracted=1700000
Reached 1800000 ; States-in-collection: 2563678 ; Time: 1773320500.295004
>>>Queue Stats: inserted=2563678 items_in_queue=763678 extracted=1800000
Reached 1900000 ; States-in-collection: 2664097 ; Time: 1773320500.536101
>>>Queue Stats: inserted=2664097 items_in_queue=764097 extracted=1900000
Reached 2000000 ; States-in-collection: 2878946 ; Time: 1773320500.905196
>>>Queue Stats: inserted=2878946 items_in_queue=878946 extracted=2000000
Reached 2100000 ; States-in-collection: 3188889 ; Time: 1773320501.368506
>>>Queue Stats: inserted=3188889 items_in_queue=1088889 extracted=2100000
Reached 2200000 ; States-in-collection: 3367541 ; Time: 1773320501.737043
>>>Queue Stats: inserted=3367541 items_in_queue=1167541 extracted=2200000
Reached 2300000 ; States-in-collection: 3552238 ; Time: 1773320502.088003
>>>Queue Stats: inserted=3552238 items_in_queue=1252238 extracted=2300000
Reached 2400000 ; States-in-collection: 3728957 ; Time: 1773320502.414031
>>>Queue Stats: inserted=3728957 items_in_queue=1328957 extracted=2400000
Reached 2500000 ; States-in-collection: 3907329 ; Time: 1773320502.800299
>>>Queue Stats: inserted=3907329 items_in_queue=1407329 extracted=2500000
Reached 2600000 ; States-in-collection: 4114080 ; Time: 1773320503.226942
>>>Queue Stats: inserted=4114080 items_in_queue=1514080 extracted=2600000
Reached 2700000 ; States-in-collection: 4292121 ; Time: 1773320503.608199
>>>Queue Stats: inserted=4292121 items_in_queue=1592121 extracted=2700000
Reached 2800000 ; States-in-collection: 4471269 ; Time: 1773320504.004074
>>>Queue Stats: inserted=4471269 items_in_queue=1671269 extracted=2800000
Reached 2900000 ; States-in-collection: 4641124 ; Time: 1773320504.395782
>>>Queue Stats: inserted=4641124 items_in_queue=1741124 extracted=2900000
Reached 3000000 ; States-in-collection: 4835074 ; Time: 1773320504.857801
>>>Queue Stats: inserted=4835074 items_in_queue=1835074 extracted=3000000
Reached 3100000 ; States-in-collection: 5053250 ; Time: 1773320505.365845
>>>Queue Stats: inserted=5053250 items_in_queue=1953250 extracted=3100000
Reached 3200000 ; States-in-collection: 5196015 ; Time: 1773320505.707686
>>>Queue Stats: inserted=5196015 items_in_queue=1996015 extracted=3200000
Reached 3300000 ; States-in-collection: 5383150 ; Time: 1773320506.135422
>>>Queue Stats: inserted=5383150 items_in_queue=2083150 extracted=3300000
Reached 3400000 ; States-in-collection: 5566666 ; Time: 1773320506.540580
>>>Queue Stats: inserted=5566666 items_in_queue=2166666 extracted=3400000
Reached 3500000 ; States-in-collection: 5767905 ; Time: 1773320506.965448
>>>Queue Stats: inserted=5767905 items_in_queue=2267905 extracted=3500000
Reached 3600000 ; States-in-collection: 5932260 ; Time: 1773320507.346252
>>>Queue Stats: inserted=5932260 items_in_queue=2332260 extracted=3600000
Reached 3700000 ; States-in-collection: 6064011 ; Time: 1773320507.674606
>>>Queue Stats: inserted=6064011 items_in_queue=2364011 extracted=3700000
Reached 3800000 ; States-in-collection: 6259035 ; Time: 1773320508.093479
>>>Queue Stats: inserted=6259035 items_in_queue=2459035 extracted=3800000
Reached 3900000 ; States-in-collection: 6515886 ; Time: 1773320508.598727
>>>Queue Stats: inserted=6515886 items_in_queue=2615886 extracted=3900000
Reached 4000000 ; States-in-collection: 6752548 ; Time: 1773320509.085627
>>>Queue Stats: inserted=6752548 items_in_queue=2752548 extracted=4000000
Reached 4100000 ; States-in-collection: 6882784 ; Time: 1773320509.435466
>>>Queue Stats: inserted=6882784 items_in_queue=2782784 extracted=4100000
Reached 4200000 ; States-in-collection: 7034391 ; Time: 1773320509.821523
>>>Queue Stats: inserted=7034391 items_in_queue=2834391 extracted=4200000
Reached 4300000 ; States-in-collection: 7179332 ; Time: 1773320510.196404
>>>Queue Stats: inserted=7179332 items_in_queue=2879332 extracted=4300000
Reached 4400000 ; States-in-collection: 7322240 ; Time: 1773320510.562602
>>>Queue Stats: inserted=7322240 items_in_queue=2922240 extracted=4400000
Reached 4500000 ; States-in-collection: 7464195 ; Time: 1773320510.935799
>>>Queue Stats: inserted=7464195 items_in_queue=2964195 extracted=4500000
Reached 4600000 ; States-in-collection: 7587238 ; Time: 1773320511.282840
>>>Queue Stats: inserted=7587238 items_in_queue=2987238 extracted=4600000
Reached 4700000 ; States-in-collection: 7772082 ; Time: 1773320511.781992
>>>Queue Stats: inserted=7772082 items_in_queue=3072082 extracted=4700000
Reached 4800000 ; States-in-collection: 7946343 ; Time: 1773320512.244171
>>>Queue Stats: inserted=7946343 items_in_queue=3146343 extracted=4800000
Reached 4900000 ; States-in-collection: 8114963 ; Time: 1773320512.675579
>>>Queue Stats: inserted=8114963 items_in_queue=3214963 extracted=4900000
Reached 5000000 ; States-in-collection: 8314640 ; Time: 1773320513.163674
>>>Queue Stats: inserted=8314640 items_in_queue=3314640 extracted=5000000
Reached 5100000 ; States-in-collection: 8518915 ; Time: 1773320513.662740
>>>Queue Stats: inserted=8518915 items_in_queue=3418915 extracted=5100000
Reached 5200000 ; States-in-collection: 8763978 ; Time: 1773320514.179193
>>>Queue Stats: inserted=8763978 items_in_queue=3563978 extracted=5200000
Reached 5300000 ; States-in-collection: 8972939 ; Time: 1773320514.743163
>>>Queue Stats: inserted=8972939 items_in_queue=3672939 extracted=5300000
Reached 5400000 ; States-in-collection: 9133623 ; Time: 1773320515.191654
>>>Queue Stats: inserted=9133623 items_in_queue=3733623 extracted=5400000
Reached 5500000 ; States-in-collection: 9319869 ; Time: 1773320515.678566
>>>Queue Stats: inserted=9319869 items_in_queue=3819869 extracted=5500000
Reached 5600000 ; States-in-collection: 9549861 ; Time: 1773320516.260410
>>>Queue Stats: inserted=9549861 items_in_queue=3949861 extracted=5600000
Reached 5700000 ; States-in-collection: 9729708 ; Time: 1773320516.760495
>>>Queue Stats: inserted=9729708 items_in_queue=4029708 extracted=5700000
Reached 5800000 ; States-in-collection: 9895673 ; Time: 1773320517.204429
>>>Queue Stats: inserted=9895673 items_in_queue=4095673 extracted=5800000
Reached 5900000 ; States-in-collection: 10063606 ; Time: 1773320517.648642
>>>Queue Stats: inserted=10063606 items_in_queue=4163606 extracted=5900000
Reached 6000000 ; States-in-collection: 10260530 ; Time: 1773320518.174592
>>>Queue Stats: inserted=10260530 items_in_queue=4260530 extracted=6000000
Reached 6100000 ; States-in-collection: 10506227 ; Time: 1773320518.736128
>>>Queue Stats: inserted=10506227 items_in_queue=4406227 extracted=6100000
Reached 6200000 ; States-in-collection: 10731763 ; Time: 1773320519.258178
>>>Queue Stats: inserted=10731763 items_in_queue=4531763 extracted=6200000
Reached 6300000 ; States-in-collection: 10914083 ; Time: 1773320519.725610
>>>Queue Stats: inserted=10914083 items_in_queue=4614083 extracted=6300000
Reached 6400000 ; States-in-collection: 11112576 ; Time: 1773320520.192414
>>>Queue Stats: inserted=11112576 items_in_queue=4712576 extracted=6400000
Reached 6500000 ; States-in-collection: 11328419 ; Time: 1773320520.706903
>>>Queue Stats: inserted=11328419 items_in_queue=4828419 extracted=6500000
Reached 6600000 ; States-in-collection: 11535614 ; Time: 1773320521.242066
>>>Queue Stats: inserted=11535614 items_in_queue=4935614 extracted=6600000
Reached 6700000 ; States-in-collection: 11724298 ; Time: 1773320521.738602
>>>Queue Stats: inserted=11724298 items_in_queue=5024298 extracted=6700000
Reached 6800000 ; States-in-collection: 11912241 ; Time: 1773320522.252765
>>>Queue Stats: inserted=11912241 items_in_queue=5112241 extracted=6800000
Reached 6900000 ; States-in-collection: 12098392 ; Time: 1773320522.760453
>>>Queue Stats: inserted=12098392 items_in_queue=5198392 extracted=6900000
Reached 7000000 ; States-in-collection: 12252162 ; Time: 1773320523.268592
>>>Queue Stats: inserted=12252162 items_in_queue=5252162 extracted=7000000
Reached 7100000 ; States-in-collection: 12401903 ; Time: 1773320523.726962
>>>Queue Stats: inserted=12401903 items_in_queue=5301903 extracted=7100000
Reached 7200000 ; States-in-collection: 12579684 ; Time: 1773320524.287950
>>>Queue Stats: inserted=12579684 items_in_queue=5379684 extracted=7200000
Reached 7300000 ; States-in-collection: 12846769 ; Time: 1773320524.909404
>>>Queue Stats: inserted=12846769 items_in_queue=5546769 extracted=7300000
Reached 7400000 ; States-in-collection: 13027280 ; Time: 1773320525.378077
>>>Queue Stats: inserted=13027280 items_in_queue=5627280 extracted=7400000
Reached 7500000 ; States-in-collection: 13194711 ; Time: 1773320525.810680
>>>Queue Stats: inserted=13194711 items_in_queue=5694711 extracted=7500000
Reached 7600000 ; States-in-collection: 13486550 ; Time: 1773320526.461426
>>>Queue Stats: inserted=13486550 items_in_queue=5886550 extracted=7600000
Reached 7700000 ; States-in-collection: 13700738 ; Time: 1773320527.003711
>>>Queue Stats: inserted=13700738 items_in_queue=6000738 extracted=7700000
Reached 7800000 ; States-in-collection: 13867216 ; Time: 1773320527.478720
>>>Queue Stats: inserted=13867216 items_in_queue=6067216 extracted=7800000
Reached 7900000 ; States-in-collection: 14031638 ; Time: 1773320527.961184
>>>Queue Stats: inserted=14031638 items_in_queue=6131638 extracted=7900000
Reached 8000000 ; States-in-collection: 14187708 ; Time: 1773320528.433947
>>>Queue Stats: inserted=14187708 items_in_queue=6187708 extracted=8000000
Reached 8100000 ; States-in-collection: 14355570 ; Time: 1773320528.990260
>>>Queue Stats: inserted=14355570 items_in_queue=6255570 extracted=8100000
Reached 8200000 ; States-in-collection: 14536350 ; Time: 1773320529.553833
>>>Queue Stats: inserted=14536350 items_in_queue=6336350 extracted=8200000
Reached 8300000 ; States-in-collection: 14697531 ; Time: 1773320530.106010
>>>Queue Stats: inserted=14697531 items_in_queue=6397531 extracted=8300000
Reached 8400000 ; States-in-collection: 14869275 ; Time: 1773320530.619939
>>>Queue Stats: inserted=14869275 items_in_queue=6469275 extracted=8400000
Reached 8500000 ; States-in-collection: 15115029 ; Time: 1773320531.247072
>>>Queue Stats: inserted=15115029 items_in_queue=6615029 extracted=8500000
Reached 8600000 ; States-in-collection: 15324753 ; Time: 1773320531.791774
>>>Queue Stats: inserted=15324753 items_in_queue=6724753 extracted=8600000
Reached 8700000 ; States-in-collection: 15537343 ; Time: 1773320532.358594
>>>Queue Stats: inserted=15537343 items_in_queue=6837343 extracted=8700000
Reached 8800000 ; States-in-collection: 15722842 ; Time: 1773320532.852722
>>>Queue Stats: inserted=15722842 items_in_queue=6922842 extracted=8800000
Reached 8900000 ; States-in-collection: 15881349 ; Time: 1773320533.302372
>>>Queue Stats: inserted=15881349 items_in_queue=6981349 extracted=8900000
Reached 9000000 ; States-in-collection: 16080545 ; Time: 1773320533.839442
>>>Queue Stats: inserted=16080545 items_in_queue=7080545 extracted=9000000
Reached 9100000 ; States-in-collection: 16305161 ; Time: 1773320534.402360
>>>Queue Stats: inserted=16305161 items_in_queue=7205161 extracted=9100000
Reached 9200000 ; States-in-collection: 16487830 ; Time: 1773320534.925207
>>>Queue Stats: inserted=16487830 items_in_queue=7287830 extracted=9200000
Reached 9300000 ; States-in-collection: 16652418 ; Time: 1773320535.411262
>>>Queue Stats: inserted=16652418 items_in_queue=7352418 extracted=9300000
Reached 9400000 ; States-in-collection: 16807384 ; Time: 1773320535.847015
>>>Queue Stats: inserted=16807384 items_in_queue=7407384 extracted=9400000
Reached 9500000 ; States-in-collection: 16966580 ; Time: 1773320536.297706
>>>Queue Stats: inserted=16966580 items_in_queue=7466580 extracted=9500000
Reached 9600000 ; States-in-collection: 17147220 ; Time: 1773320536.787114
>>>Queue Stats: inserted=17147220 items_in_queue=7547220 extracted=9600000
Reached 9700000 ; States-in-collection: 17311302 ; Time: 1773320537.278344
>>>Queue Stats: inserted=17311302 items_in_queue=7611302 extracted=9700000
Reached 9800000 ; States-in-collection: 17507707 ; Time: 1773320537.845627
>>>Queue Stats: inserted=17507707 items_in_queue=7707707 extracted=9800000
Reached 9900000 ; States-in-collection: 17694541 ; Time: 1773320538.378300
>>>Queue Stats: inserted=17694541 items_in_queue=7794541 extracted=9900000
Reached 10000000 ; States-in-collection: 17822849 ; Time: 1773320538.767845
>>>Queue Stats: inserted=17822849 items_in_queue=7822849 extracted=10000000
Reached 10100000 ; States-in-collection: 17997990 ; Time: 1773320539.252642
>>>Queue Stats: inserted=17997990 items_in_queue=7897990 extracted=10100000
Reached 10200000 ; States-in-collection: 18265824 ; Time: 1773320539.861922
>>>Queue Stats: inserted=18265824 items_in_queue=8065824 extracted=10200000
Reached 10300000 ; States-in-collection: 18430354 ; Time: 1773320540.344636
>>>Queue Stats: inserted=18430354 items_in_queue=8130354 extracted=10300000
Reached 10400000 ; States-in-collection: 18561843 ; Time: 1773320540.722334
>>>Queue Stats: inserted=18561843 items_in_queue=8161843 extracted=10400000
Reached 10500000 ; States-in-collection: 18731906 ; Time: 1773320541.205888
>>>Queue Stats: inserted=18731906 items_in_queue=8231906 extracted=10500000
Reached 10600000 ; States-in-collection: 18885553 ; Time: 1773320541.668514
>>>Queue Stats: inserted=18885553 items_in_queue=8285553 extracted=10600000
Reached 10700000 ; States-in-collection: 19043211 ; Time: 1773320542.144205
>>>Queue Stats: inserted=19043211 items_in_queue=8343211 extracted=10700000
Reached 10800000 ; States-in-collection: 19220960 ; Time: 1773320542.622122
>>>Queue Stats: inserted=19220960 items_in_queue=8420960 extracted=10800000
Reached 10900000 ; States-in-collection: 19411284 ; Time: 1773320543.107779
>>>Queue Stats: inserted=19411284 items_in_queue=8511284 extracted=10900000
Reached 11000000 ; States-in-collection: 19546388 ; Time: 1773320543.523330
>>>Queue Stats: inserted=19546388 items_in_queue=8546388 extracted=11000000
Reached 11100000 ; States-in-collection: 19717539 ; Time: 1773320543.980969
>>>Queue Stats: inserted=19717539 items_in_queue=8617539 extracted=11100000
instance_run_solver_thread end
Finished running threads for curr_depth=39
Start mark-and-sweep cleanup for curr_depth=39
Finish mark-and-sweep cleanup for curr_depth=39
Running threads for curr_depth=40
instance_run_solver_thread start
Reached 11200000 ; States-in-collection: 19871262 ; Time: 1773320544.647130
>>>Queue Stats: inserted=19871262 items_in_queue=8671262 extracted=11200000
Reached 11300000 ; States-in-collection: 19935798 ; Time: 1773320544.900911
>>>Queue Stats: inserted=19935798 items_in_queue=8635798 extracted=11300000
Reached 11400000 ; States-in-collection: 19956128 ; Time: 1773320545.205385
>>>Queue Stats: inserted=19956128 items_in_queue=8556128 extracted=11400000
Reached 11500000 ; States-in-collection: 19982972 ; Time: 1773320545.636139
>>>Queue Stats: inserted=19982972 items_in_queue=8482972 extracted=11500000
Reached 11600000 ; States-in-collection: 19994425 ; Time: 1773320545.928464
>>>Queue Stats: inserted=19994425 items_in_queue=8394425 extracted=11600000
Reached 11700000 ; States-in-collection: 20017436 ; Time: 1773320546.219386
>>>Queue Stats: inserted=20017436 items_in_queue=8317436 extracted=11700000
Reached 11800000 ; States-in-collection: 20063156 ; Time: 1773320546.736187
>>>Queue Stats: inserted=20063156 items_in_queue=8263156 extracted=11800000
Reached 11900000 ; States-in-collection: 20071848 ; Time: 1773320547.069285
>>>Queue Stats: inserted=20071848 items_in_queue=8171848 extracted=11900000
Reached 12000000 ; States-in-collection: 20104023 ; Time: 1773320547.352202
>>>Queue Stats: inserted=20104023 items_in_queue=8104023 extracted=12000000
Reached 12100000 ; States-in-collection: 20128022 ; Time: 1773320547.711588
>>>Queue Stats: inserted=20128022 items_in_queue=8028022 extracted=12100000
Reached 12200000 ; States-in-collection: 20145064 ; Time: 1773320548.140119
>>>Queue Stats: inserted=20145064 items_in_queue=7945064 extracted=12200000
Reached 12300000 ; States-in-collection: 20182199 ; Time: 1773320548.528420
>>>Queue Stats: inserted=20182199 items_in_queue=7882199 extracted=12300000
Reached 12400000 ; States-in-collection: 20191342 ; Time: 1773320548.841169
>>>Queue Stats: inserted=20191342 items_in_queue=7791342 extracted=12400000
Reached 12500000 ; States-in-collection: 20229210 ; Time: 1773320549.233646
>>>Queue Stats: inserted=20229210 items_in_queue=7729210 extracted=12500000
Reached 12600000 ; States-in-collection: 20252680 ; Time: 1773320549.566610
>>>Queue Stats: inserted=20252680 items_in_queue=7652680 extracted=12600000
Reached 12700000 ; States-in-collection: 20277777 ; Time: 1773320549.897917
>>>Queue Stats: inserted=20277777 items_in_queue=7577777 extracted=12700000
Reached 12800000 ; States-in-collection: 20313817 ; Time: 1773320550.234641
>>>Queue Stats: inserted=20313817 items_in_queue=7513817 extracted=12800000
Reached 12900000 ; States-in-collection: 20359389 ; Time: 1773320550.517039
>>>Queue Stats: inserted=20359389 items_in_queue=7459389 extracted=12900000
Reached 13000000 ; States-in-collection: 20391749 ; Time: 1773320550.838076
>>>Queue Stats: inserted=20391749 items_in_queue=7391749 extracted=13000000
Reached 13100000 ; States-in-collection: 20443723 ; Time: 1773320551.279667
>>>Queue Stats: inserted=20443723 items_in_queue=7343723 extracted=13100000
Reached 13200000 ; States-in-collection: 20500293 ; Time: 1773320551.657661
>>>Queue Stats: inserted=20500293 items_in_queue=7300293 extracted=13200000
Reached 13300000 ; States-in-collection: 20522238 ; Time: 1773320551.970470
>>>Queue Stats: inserted=20522238 items_in_queue=7222238 extracted=13300000
Reached 13400000 ; States-in-collection: 20555479 ; Time: 1773320552.263551
>>>Queue Stats: inserted=20555479 items_in_queue=7155479 extracted=13400000
Reached 13500000 ; States-in-collection: 20584790 ; Time: 1773320552.584211
>>>Queue Stats: inserted=20584790 items_in_queue=7084790 extracted=13500000
Reached 13600000 ; States-in-collection: 20626212 ; Time: 1773320552.904050
>>>Queue Stats: inserted=20626212 items_in_queue=7026212 extracted=13600000
Reached 13700000 ; States-in-collection: 20652030 ; Time: 1773320553.310975
>>>Queue Stats: inserted=20652030 items_in_queue=6952030 extracted=13700000
Reached 13800000 ; States-in-collection: 20682426 ; Time: 1773320553.673887
>>>Queue Stats: inserted=20682426 items_in_queue=6882426 extracted=13800000
Reached 13900000 ; States-in-collection: 20715163 ; Time: 1773320554.057576
>>>Queue Stats: inserted=20715163 items_in_queue=6815163 extracted=13900000
Reached 14000000 ; States-in-collection: 20754233 ; Time: 1773320554.442400
>>>Queue Stats: inserted=20754233 items_in_queue=6754233 extracted=14000000
Reached 14100000 ; States-in-collection: 20795264 ; Time: 1773320554.866866
>>>Queue Stats: inserted=20795264 items_in_queue=6695264 extracted=14100000
Reached 14200000 ; States-in-collection: 20823528 ; Time: 1773320555.202514
>>>Queue Stats: inserted=20823528 items_in_queue=6623528 extracted=14200000
Reached 14300000 ; States-in-collection: 20860818 ; Time: 1773320555.562159
>>>Queue Stats: inserted=20860818 items_in_queue=6560818 extracted=14300000
Reached 14400000 ; States-in-collection: 20894598 ; Time: 1773320555.966944
>>>Queue Stats: inserted=20894598 items_in_queue=6494598 extracted=14400000
Reached 14500000 ; States-in-collection: 20923737 ; Time: 1773320556.322174
>>>Queue Stats: inserted=20923737 items_in_queue=6423737 extracted=14500000
Reached 14600000 ; States-in-collection: 20947378 ; Time: 1773320556.678819
>>>Queue Stats: inserted=20947378 items_in_queue=6347378 extracted=14600000
Reached 14700000 ; States-in-collection: 20973225 ; Time: 1773320557.038853
>>>Queue Stats: inserted=20973225 items_in_queue=6273225 extracted=14700000
Reached 14800000 ; States-in-collection: 21012828 ; Time: 1773320557.482688
>>>Queue Stats: inserted=21012828 items_in_queue=6212828 extracted=14800000
Reached 14900000 ; States-in-collection: 21048228 ; Time: 1773320557.868886
>>>Queue Stats: inserted=21048228 items_in_queue=6148228 extracted=14900000
Reached 15000000 ; States-in-collection: 21081280 ; Time: 1773320558.254090
>>>Queue Stats: inserted=21081280 items_in_queue=6081280 extracted=15000000
Reached 15100000 ; States-in-collection: 21121960 ; Time: 1773320558.657429
>>>Queue Stats: inserted=21121960 items_in_queue=6021960 extracted=15100000
Reached 15200000 ; States-in-collection: 21153625 ; Time: 1773320559.089845
>>>Queue Stats: inserted=21153625 items_in_queue=5953625 extracted=15200000
Reached 15300000 ; States-in-collection: 21192915 ; Time: 1773320559.476880
>>>Queue Stats: inserted=21192915 items_in_queue=5892915 extracted=15300000
Reached 15400000 ; States-in-collection: 21229518 ; Time: 1773320559.866133
>>>Queue Stats: inserted=21229518 items_in_queue=5829518 extracted=15400000
Reached 15500000 ; States-in-collection: 21256373 ; Time: 1773320560.263084
>>>Queue Stats: inserted=21256373 items_in_queue=5756373 extracted=15500000
Reached 15600000 ; States-in-collection: 21278381 ; Time: 1773320560.656497
>>>Queue Stats: inserted=21278381 items_in_queue=5678381 extracted=15600000
Reached 15700000 ; States-in-collection: 21302316 ; Time: 1773320561.070194
>>>Queue Stats: inserted=21302316 items_in_queue=5602316 extracted=15700000
Reached 15800000 ; States-in-collection: 21339524 ; Time: 1773320561.539829
>>>Queue Stats: inserted=21339524 items_in_queue=5539524 extracted=15800000
Reached 15900000 ; States-in-collection: 21366928 ; Time: 1773320561.911934
>>>Queue Stats: inserted=21366928 items_in_queue=5466928 extracted=15900000
Reached 16000000 ; States-in-collection: 21404728 ; Time: 1773320562.338042
>>>Queue Stats: inserted=21404728 items_in_queue=5404728 extracted=16000000
Reached 16100000 ; States-in-collection: 21434080 ; Time: 1773320562.826133
>>>Queue Stats: inserted=21434080 items_in_queue=5334080 extracted=16100000
Reached 16200000 ; States-in-collection: 21466365 ; Time: 1773320563.214622
>>>Queue Stats: inserted=21466365 items_in_queue=5266365 extracted=16200000
Reached 16300000 ; States-in-collection: 21492387 ; Time: 1773320563.595432
>>>Queue Stats: inserted=21492387 items_in_queue=5192387 extracted=16300000
Reached 16400000 ; States-in-collection: 21517551 ; Time: 1773320563.994020
>>>Queue Stats: inserted=21517551 items_in_queue=5117551 extracted=16400000
Reached 16500000 ; States-in-collection: 21540003 ; Time: 1773320564.487766
>>>Queue Stats: inserted=21540003 items_in_queue=5040003 extracted=16500000
Reached 16600000 ; States-in-collection: 21553371 ; Time: 1773320564.928019
>>>Queue Stats: inserted=21553371 items_in_queue=4953371 extracted=16600000
Reached 16700000 ; States-in-collection: 21569556 ; Time: 1773320565.371971
>>>Queue Stats: inserted=21569556 items_in_queue=4869556 extracted=16700000
Reached 16800000 ; States-in-collection: 21585922 ; Time: 1773320565.871942
>>>Queue Stats: inserted=21585922 items_in_queue=4785922 extracted=16800000
Reached 16900000 ; States-in-collection: 21605581 ; Time: 1773320566.303570
>>>Queue Stats: inserted=21605581 items_in_queue=4705581 extracted=16900000
Reached 17000000 ; States-in-collection: 21615916 ; Time: 1773320566.668051
>>>Queue Stats: inserted=21615916 items_in_queue=4615916 extracted=17000000
Reached 17100000 ; States-in-collection: 21637970 ; Time: 1773320567.030604
>>>Queue Stats: inserted=21637970 items_in_queue=4537970 extracted=17100000
Reached 17200000 ; States-in-collection: 21657755 ; Time: 1773320567.471913
>>>Queue Stats: inserted=21657755 items_in_queue=4457755 extracted=17200000
Reached 17300000 ; States-in-collection: 21677720 ; Time: 1773320567.921660
>>>Queue Stats: inserted=21677720 items_in_queue=4377720 extracted=17300000
Reached 17400000 ; States-in-collection: 21691187 ; Time: 1773320568.241913
>>>Queue Stats: inserted=21691187 items_in_queue=4291187 extracted=17400000
Reached 17500000 ; States-in-collection: 21706244 ; Time: 1773320568.551366
>>>Queue Stats: inserted=21706244 items_in_queue=4206244 extracted=17500000
Reached 17600000 ; States-in-collection: 21715493 ; Time: 1773320568.892499
>>>Queue Stats: inserted=21715493 items_in_queue=4115493 extracted=17600000
Reached 17700000 ; States-in-collection: 21728831 ; Time: 1773320569.274668
>>>Queue Stats: inserted=21728831 items_in_queue=4028831 extracted=17700000
Reached 17800000 ; States-in-collection: 21747160 ; Time: 1773320569.691582
>>>Queue Stats: inserted=21747160 items_in_queue=3947160 extracted=17800000
Reached 17900000 ; States-in-collection: 21765780 ; Time: 1773320570.140700
>>>Queue Stats: inserted=21765780 items_in_queue=3865780 extracted=17900000
Reached 18000000 ; States-in-collection: 21775990 ; Time: 1773320570.412170
>>>Queue Stats: inserted=21775990 items_in_queue=3775990 extracted=18000000
Reached 18100000 ; States-in-collection: 21807882 ; Time: 1773320570.801242
>>>Queue Stats: inserted=21807882 items_in_queue=3707882 extracted=18100000
Reached 18200000 ; States-in-collection: 21836036 ; Time: 1773320571.188816
>>>Queue Stats: inserted=21836036 items_in_queue=3636036 extracted=18200000
Reached 18300000 ; States-in-collection: 21855481 ; Time: 1773320571.477980
>>>Queue Stats: inserted=21855481 items_in_queue=3555481 extracted=18300000
Reached 18400000 ; States-in-collection: 21879501 ; Time: 1773320571.825120
>>>Queue Stats: inserted=21879501 items_in_queue=3479501 extracted=18400000
Reached 18500000 ; States-in-collection: 21898309 ; Time: 1773320572.210272
>>>Queue Stats: inserted=21898309 items_in_queue=3398309 extracted=18500000
Reached 18600000 ; States-in-collection: 21915741 ; Time: 1773320572.528133
>>>Queue Stats: inserted=21915741 items_in_queue=3315741 extracted=18600000
Reached 18700000 ; States-in-collection: 21946027 ; Time: 1773320572.893997
>>>Queue Stats: inserted=21946027 items_in_queue=3246027 extracted=18700000
Reached 18800000 ; States-in-collection: 21967237 ; Time: 1773320573.175418
>>>Queue Stats: inserted=21967237 items_in_queue=3167237 extracted=18800000
Reached 18900000 ; States-in-collection: 21998040 ; Time: 1773320573.528667
>>>Queue Stats: inserted=21998040 items_in_queue=3098040 extracted=18900000
Reached 19000000 ; States-in-collection: 22090565 ; Time: 1773320573.883233
>>>Queue Stats: inserted=22090565 items_in_queue=3090565 extracted=19000000
Reached 19100000 ; States-in-collection: 22264128 ; Time: 1773320574.292192
>>>Queue Stats: inserted=22264128 items_in_queue=3164128 extracted=19100000
Reached 19200000 ; States-in-collection: 22497039 ; Time: 1773320574.795044
>>>Queue Stats: inserted=22497039 items_in_queue=3297039 extracted=19200000
Reached 19300000 ; States-in-collection: 22644170 ; Time: 1773320575.286236
>>>Queue Stats: inserted=22644170 items_in_queue=3344170 extracted=19300000
Reached 19400000 ; States-in-collection: 22892360 ; Time: 1773320575.894212
>>>Queue Stats: inserted=22892360 items_in_queue=3492360 extracted=19400000
Reached 19500000 ; States-in-collection: 23045644 ; Time: 1773320576.453717
>>>Queue Stats: inserted=23045644 items_in_queue=3545644 extracted=19500000
Reached 19600000 ; States-in-collection: 23202338 ; Time: 1773320577.045637
>>>Queue Stats: inserted=23202338 items_in_queue=3602338 extracted=19600000
Reached 19700000 ; States-in-collection: 23368098 ; Time: 1773320577.624925
>>>Queue Stats: inserted=23368098 items_in_queue=3668098 extracted=19700000
Reached 19800000 ; States-in-collection: 23516419 ; Time: 1773320578.166885
>>>Queue Stats: inserted=23516419 items_in_queue=3716419 extracted=19800000
Reached 19900000 ; States-in-collection: 23647817 ; Time: 1773320578.690803
>>>Queue Stats: inserted=23647817 items_in_queue=3747817 extracted=19900000
Reached 20000000 ; States-in-collection: 23742479 ; Time: 1773320579.024586
>>>Queue Stats: inserted=23742479 items_in_queue=3742479 extracted=20000000
Reached 20100000 ; States-in-collection: 23813002 ; Time: 1773320579.300444
>>>Queue Stats: inserted=23813002 items_in_queue=3713002 extracted=20100000
Reached 20200000 ; States-in-collection: 23882842 ; Time: 1773320579.597273
>>>Queue Stats: inserted=23882842 items_in_queue=3682842 extracted=20200000
Reached 20300000 ; States-in-collection: 23968941 ; Time: 1773320579.912697
>>>Queue Stats: inserted=23968941 items_in_queue=3668941 extracted=20300000
Reached 20400000 ; States-in-collection: 24050873 ; Time: 1773320580.253021
>>>Queue Stats: inserted=24050873 items_in_queue=3650873 extracted=20400000
Reached 20500000 ; States-in-collection: 24130239 ; Time: 1773320580.568503
>>>Queue Stats: inserted=24130239 items_in_queue=3630239 extracted=20500000
Reached 20600000 ; States-in-collection: 24204681 ; Time: 1773320580.864941
>>>Queue Stats: inserted=24204681 items_in_queue=3604681 extracted=20600000
Reached 20700000 ; States-in-collection: 24252790 ; Time: 1773320581.177647
>>>Queue Stats: inserted=24252790 items_in_queue=3552790 extracted=20700000
Reached 20800000 ; States-in-collection: 24302853 ; Time: 1773320581.474380
>>>Queue Stats: inserted=24302853 items_in_queue=3502853 extracted=20800000
Reached 20900000 ; States-in-collection: 24334682 ; Time: 1773320581.748751
>>>Queue Stats: inserted=24334682 items_in_queue=3434682 extracted=20900000
Reached 21000000 ; States-in-collection: 24387917 ; Time: 1773320582.070850
>>>Queue Stats: inserted=24387917 items_in_queue=3387917 extracted=21000000
Reached 21100000 ; States-in-collection: 24428427 ; Time: 1773320582.335388
>>>Queue Stats: inserted=24428427 items_in_queue=3328427 extracted=21100000
Reached 21200000 ; States-in-collection: 24459598 ; Time: 1773320582.573661
>>>Queue Stats: inserted=24459598 items_in_queue=3259598 extracted=21200000
Reached 21300000 ; States-in-collection: 24520929 ; Time: 1773320582.874523
>>>Queue Stats: inserted=24520929 items_in_queue=3220929 extracted=21300000
Reached 21400000 ; States-in-collection: 24560599 ; Time: 1773320583.166863
>>>Queue Stats: inserted=24560599 items_in_queue=3160599 extracted=21400000
Reached 21500000 ; States-in-collection: 24596845 ; Time: 1773320583.423100
>>>Queue Stats: inserted=24596845 items_in_queue=3096845 extracted=21500000
Reached 21600000 ; States-in-collection: 24671668 ; Time: 1773320583.753177
>>>Queue Stats: inserted=24671668 items_in_queue=3071668 extracted=21600000
Reached 21700000 ; States-in-collection: 24703209 ; Time: 1773320584.022884
>>>Queue Stats: inserted=24703209 items_in_queue=3003209 extracted=21700000
Reached 21800000 ; States-in-collection: 24931758 ; Time: 1773320584.681440
>>>Queue Stats: inserted=24931758 items_in_queue=3131758 extracted=21800000
Reached 21900000 ; States-in-collection: 25147077 ; Time: 1773320585.274616
>>>Queue Stats: inserted=25147077 items_in_queue=3247077 extracted=21900000
Reached 22000000 ; States-in-collection: 25195118 ; Time: 1773320585.548419
>>>Queue Stats: inserted=25195118 items_in_queue=3195118 extracted=22000000
Reached 22100000 ; States-in-collection: 25218547 ; Time: 1773320585.753620
>>>Queue Stats: inserted=25218547 items_in_queue=3118547 extracted=22100000
Reached 22200000 ; States-in-collection: 25244512 ; Time: 1773320585.972810
>>>Queue Stats: inserted=25244512 items_in_queue=3044512 extracted=22200000
Reached 22300000 ; States-in-collection: 25285287 ; Time: 1773320586.212782
>>>Queue Stats: inserted=25285287 items_in_queue=2985287 extracted=22300000
Reached 22400000 ; States-in-collection: 25398551 ; Time: 1773320586.562626
>>>Queue Stats: inserted=25398551 items_in_queue=2998551 extracted=22400000
Reached 22500000 ; States-in-collection: 25508582 ; Time: 1773320586.922513
>>>Queue Stats: inserted=25508582 items_in_queue=3008582 extracted=22500000
Reached 22600000 ; States-in-collection: 25703288 ; Time: 1773320587.369948
>>>Queue Stats: inserted=25703288 items_in_queue=3103288 extracted=22600000
Reached 22700000 ; States-in-collection: 25806203 ; Time: 1773320587.674243
>>>Queue Stats: inserted=25806203 items_in_queue=3106203 extracted=22700000
Reached 22800000 ; States-in-collection: 26029843 ; Time: 1773320588.085772
>>>Queue Stats: inserted=26029843 items_in_queue=3229843 extracted=22800000
Reached 22900000 ; States-in-collection: 26214122 ; Time: 1773320588.466612
>>>Queue Stats: inserted=26214122 items_in_queue=3314122 extracted=22900000
instance_run_solver_thread end
Finished running threads for curr_depth=40
Start mark-and-sweep cleanup for curr_depth=40
Mark+Sweep Progress - 10000000/11790792
Finish mark-and-sweep cleanup for curr_depth=40
Running threads for curr_depth=41
instance_run_solver_thread start
Reached 23000000 ; States-in-collection: 26394660 ; Time: 1773320589.167019
>>>Queue Stats: inserted=26394660 items_in_queue=3394660 extracted=23000000
Reached 23100000 ; States-in-collection: 26416078 ; Time: 1773320589.376763
>>>Queue Stats: inserted=26416078 items_in_queue=3316078 extracted=23100000
Reached 23200000 ; States-in-collection: 26424846 ; Time: 1773320589.592863
>>>Queue Stats: inserted=26424846 items_in_queue=3224846 extracted=23200000
Reached 23300000 ; States-in-collection: 26435050 ; Time: 1773320589.785507
>>>Queue Stats: inserted=26435050 items_in_queue=3135050 extracted=23300000
Reached 23400000 ; States-in-collection: 26447980 ; Time: 1773320590.015997
>>>Queue Stats: inserted=26447980 items_in_queue=3047980 extracted=23400000
Reached 23500000 ; States-in-collection: 26457856 ; Time: 1773320590.268684
>>>Queue Stats: inserted=26457856 items_in_queue=2957856 extracted=23500000
Reached 23600000 ; States-in-collection: 26462606 ; Time: 1773320590.481161
>>>Queue Stats: inserted=26462606 items_in_queue=2862606 extracted=23600000
Reached 23700000 ; States-in-collection: 26469262 ; Time: 1773320590.685170
>>>Queue Stats: inserted=26469262 items_in_queue=2769262 extracted=23700000
Reached 23800000 ; States-in-collection: 26506117 ; Time: 1773320590.937183
>>>Queue Stats: inserted=26506117 items_in_queue=2706117 extracted=23800000
Reached 23900000 ; States-in-collection: 26539770 ; Time: 1773320591.188720
>>>Queue Stats: inserted=26539770 items_in_queue=2639770 extracted=23900000
Reached 24000000 ; States-in-collection: 26598302 ; Time: 1773320591.419507
>>>Queue Stats: inserted=26598302 items_in_queue=2598302 extracted=24000000
Reached 24100000 ; States-in-collection: 26646428 ; Time: 1773320591.729730
>>>Queue Stats: inserted=26646428 items_in_queue=2546428 extracted=24100000
Reached 24200000 ; States-in-collection: 26668043 ; Time: 1773320591.976555
>>>Queue Stats: inserted=26668043 items_in_queue=2468043 extracted=24200000
Reached 24300000 ; States-in-collection: 26706557 ; Time: 1773320592.230952
>>>Queue Stats: inserted=26706557 items_in_queue=2406557 extracted=24300000
Reached 24400000 ; States-in-collection: 26747240 ; Time: 1773320592.514708
>>>Queue Stats: inserted=26747240 items_in_queue=2347240 extracted=24400000
Reached 24500000 ; States-in-collection: 26783324 ; Time: 1773320592.793637
>>>Queue Stats: inserted=26783324 items_in_queue=2283324 extracted=24500000
Reached 24600000 ; States-in-collection: 26844474 ; Time: 1773320593.037156
>>>Queue Stats: inserted=26844474 items_in_queue=2244474 extracted=24600000
Reached 24700000 ; States-in-collection: 26991036 ; Time: 1773320593.413176
>>>Queue Stats: inserted=26991036 items_in_queue=2291036 extracted=24700000
Reached 24800000 ; States-in-collection: 27107742 ; Time: 1773320593.750077
>>>Queue Stats: inserted=27107742 items_in_queue=2307742 extracted=24800000
Reached 24900000 ; States-in-collection: 27211361 ; Time: 1773320594.048374
>>>Queue Stats: inserted=27211361 items_in_queue=2311361 extracted=24900000
Reached 25000000 ; States-in-collection: 27288381 ; Time: 1773320594.338288
>>>Queue Stats: inserted=27288381 items_in_queue=2288381 extracted=25000000
Reached 25100000 ; States-in-collection: 27392176 ; Time: 1773320594.634823
>>>Queue Stats: inserted=27392176 items_in_queue=2292176 extracted=25100000
instance_run_solver_thread end
Finished running threads for curr_depth=41
Start mark-and-sweep cleanup for curr_depth=41
Finish mark-and-sweep cleanup for curr_depth=41
Running threads for curr_depth=42
instance_run_solver_thread start
Reached 25200000 ; States-in-collection: 27508118 ; Time: 1773320595.045797
>>>Queue Stats: inserted=27508118 items_in_queue=2308118 extracted=25200000
Reached 25300000 ; States-in-collection: 27569609 ; Time: 1773320595.235231
>>>Queue Stats: inserted=27569609 items_in_queue=2269609 extracted=25300000
Reached 25400000 ; States-in-collection: 27645644 ; Time: 1773320595.469732
>>>Queue Stats: inserted=27645644 items_in_queue=2245644 extracted=25400000
Reached 25500000 ; States-in-collection: 27672667 ; Time: 1773320595.628500
>>>Queue Stats: inserted=27672667 items_in_queue=2172667 extracted=25500000
Reached 25600000 ; States-in-collection: 27714977 ; Time: 1773320595.862767
>>>Queue Stats: inserted=27714977 items_in_queue=2114977 extracted=25600000
Reached 25700000 ; States-in-collection: 27774025 ; Time: 1773320596.116149
>>>Queue Stats: inserted=27774025 items_in_queue=2074025 extracted=25700000
Reached 25800000 ; States-in-collection: 27831629 ; Time: 1773320596.336644
>>>Queue Stats: inserted=27831629 items_in_queue=2031629 extracted=25800000
Reached 25900000 ; States-in-collection: 27980889 ; Time: 1773320596.661736
>>>Queue Stats: inserted=27980889 items_in_queue=2080889 extracted=25900000
Reached 26000000 ; States-in-collection: 28021013 ; Time: 1773320596.850953
>>>Queue Stats: inserted=28021013 items_in_queue=2021013 extracted=26000000
instance_run_solver_thread end
Finished running threads for curr_depth=42
Start mark-and-sweep cleanup for curr_depth=42
Finish mark-and-sweep cleanup for curr_depth=42
Running threads for curr_depth=43
instance_run_solver_thread start
Reached 26100000 ; States-in-collection: 28205577 ; Time: 1773320597.316616
>>>Queue Stats: inserted=28205577 items_in_queue=2105577 extracted=26100000
Reached 26200000 ; States-in-collection: 28488156 ; Time: 1773320597.858501
>>>Queue Stats: inserted=28488156 items_in_queue=2288156 extracted=26200000
Reached 26300000 ; States-in-collection: 28779522 ; Time: 1773320598.485857
>>>Queue Stats: inserted=28779522 items_in_queue=2479522 extracted=26300000
Reached 26400000 ; States-in-collection: 29012363 ; Time: 1773320599.018169
>>>Queue Stats: inserted=29012363 items_in_queue=2612363 extracted=26400000
Reached 26500000 ; States-in-collection: 29147493 ; Time: 1773320599.458012
>>>Queue Stats: inserted=29147493 items_in_queue=2647493 extracted=26500000
Reached 26600000 ; States-in-collection: 29316090 ; Time: 1773320599.937773
>>>Queue Stats: inserted=29316090 items_in_queue=2716090 extracted=26600000
Reached 26700000 ; States-in-collection: 29449947 ; Time: 1773320600.399456
>>>Queue Stats: inserted=29449947 items_in_queue=2749947 extracted=26700000
Reached 26800000 ; States-in-collection: 29598618 ; Time: 1773320600.871330
>>>Queue Stats: inserted=29598618 items_in_queue=2798618 extracted=26800000
Reached 26900000 ; States-in-collection: 29726222 ; Time: 1773320601.162274
>>>Queue Stats: inserted=29726222 items_in_queue=2826222 extracted=26900000
Reached 27000000 ; States-in-collection: 29861271 ; Time: 1773320601.448992
>>>Queue Stats: inserted=29861271 items_in_queue=2861271 extracted=27000000
Reached 27100000 ; States-in-collection: 29994716 ; Time: 1773320601.814227
>>>Queue Stats: inserted=29994716 items_in_queue=2894716 extracted=27100000
Reached 27200000 ; States-in-collection: 30118458 ; Time: 1773320602.276894
>>>Queue Stats: inserted=30118458 items_in_queue=2918458 extracted=27200000
Reached 27300000 ; States-in-collection: 30288963 ; Time: 1773320602.853411
>>>Queue Stats: inserted=30288963 items_in_queue=2988963 extracted=27300000
Reached 27400000 ; States-in-collection: 30471598 ; Time: 1773320603.434936
>>>Queue Stats: inserted=30471598 items_in_queue=3071598 extracted=27400000
Reached 27500000 ; States-in-collection: 30611884 ; Time: 1773320603.979107
>>>Queue Stats: inserted=30611884 items_in_queue=3111884 extracted=27500000
Reached 27600000 ; States-in-collection: 30771054 ; Time: 1773320604.571762
>>>Queue Stats: inserted=30771054 items_in_queue=3171054 extracted=27600000
Reached 27700000 ; States-in-collection: 30920629 ; Time: 1773320605.129904
>>>Queue Stats: inserted=30920629 items_in_queue=3220629 extracted=27700000
Reached 27800000 ; States-in-collection: 31067960 ; Time: 1773320605.673482
>>>Queue Stats: inserted=31067960 items_in_queue=3267960 extracted=27800000
Reached 27900000 ; States-in-collection: 31207850 ; Time: 1773320606.220403
>>>Queue Stats: inserted=31207850 items_in_queue=3307850 extracted=27900000
Reached 28000000 ; States-in-collection: 31330101 ; Time: 1773320606.725280
>>>Queue Stats: inserted=31330101 items_in_queue=3330101 extracted=28000000
Reached 28100000 ; States-in-collection: 31498994 ; Time: 1773320607.320336
>>>Queue Stats: inserted=31498994 items_in_queue=3398994 extracted=28100000
Reached 28200000 ; States-in-collection: 31611105 ; Time: 1773320607.840734
>>>Queue Stats: inserted=31611105 items_in_queue=3411105 extracted=28200000
Reached 28300000 ; States-in-collection: 31767262 ; Time: 1773320608.433238
>>>Queue Stats: inserted=31767262 items_in_queue=3467262 extracted=28300000
Reached 28400000 ; States-in-collection: 31994633 ; Time: 1773320608.968334
>>>Queue Stats: inserted=31994633 items_in_queue=3594633 extracted=28400000
Reached 28500000 ; States-in-collection: 32187934 ; Time: 1773320609.483372
>>>Queue Stats: inserted=32187934 items_in_queue=3687934 extracted=28500000
Reached 28600000 ; States-in-collection: 32406062 ; Time: 1773320610.149322
>>>Queue Stats: inserted=32406062 items_in_queue=3806062 extracted=28600000
Reached 28700000 ; States-in-collection: 32622499 ; Time: 1773320610.890095
>>>Queue Stats: inserted=32622499 items_in_queue=3922499 extracted=28700000
Reached 28800000 ; States-in-collection: 32847981 ; Time: 1773320611.636930
>>>Queue Stats: inserted=32847981 items_in_queue=4047981 extracted=28800000
Reached 28900000 ; States-in-collection: 33017848 ; Time: 1773320612.313238
>>>Queue Stats: inserted=33017848 items_in_queue=4117848 extracted=28900000
Reached 29000000 ; States-in-collection: 33186471 ; Time: 1773320612.949585
>>>Queue Stats: inserted=33186471 items_in_queue=4186471 extracted=29000000
Reached 29100000 ; States-in-collection: 33368271 ; Time: 1773320613.631624
>>>Queue Stats: inserted=33368271 items_in_queue=4268271 extracted=29100000
Reached 29200000 ; States-in-collection: 33550990 ; Time: 1773320614.247729
>>>Queue Stats: inserted=33550990 items_in_queue=4350990 extracted=29200000
Reached 29300000 ; States-in-collection: 33708725 ; Time: 1773320614.787782
>>>Queue Stats: inserted=33708725 items_in_queue=4408725 extracted=29300000
Reached 29400000 ; States-in-collection: 33873496 ; Time: 1773320615.363689
>>>Queue Stats: inserted=33873496 items_in_queue=4473496 extracted=29400000
Reached 29500000 ; States-in-collection: 34026091 ; Time: 1773320615.864300
>>>Queue Stats: inserted=34026091 items_in_queue=4526091 extracted=29500000
Reached 29600000 ; States-in-collection: 34190483 ; Time: 1773320616.379560
>>>Queue Stats: inserted=34190483 items_in_queue=4590483 extracted=29600000
Reached 29700000 ; States-in-collection: 34371018 ; Time: 1773320616.882772
>>>Queue Stats: inserted=34371018 items_in_queue=4671018 extracted=29700000
Reached 29800000 ; States-in-collection: 34530399 ; Time: 1773320617.316911
>>>Queue Stats: inserted=34530399 items_in_queue=4730399 extracted=29800000
Reached 29900000 ; States-in-collection: 34599410 ; Time: 1773320617.638544
>>>Queue Stats: inserted=34599410 items_in_queue=4699410 extracted=29900000
Reached 30000000 ; States-in-collection: 34743529 ; Time: 1773320618.177645
>>>Queue Stats: inserted=34743529 items_in_queue=4743529 extracted=30000000
Reached 30100000 ; States-in-collection: 34859653 ; Time: 1773320618.783068
>>>Queue Stats: inserted=34859653 items_in_queue=4759653 extracted=30100000
Reached 30200000 ; States-in-collection: 34986273 ; Time: 1773320619.398912
>>>Queue Stats: inserted=34986273 items_in_queue=4786273 extracted=30200000
Reached 30300000 ; States-in-collection: 35129108 ; Time: 1773320620.025164
>>>Queue Stats: inserted=35129108 items_in_queue=4829108 extracted=30300000
Reached 30400000 ; States-in-collection: 35279666 ; Time: 1773320620.652839
>>>Queue Stats: inserted=35279666 items_in_queue=4879666 extracted=30400000
Reached 30500000 ; States-in-collection: 35427799 ; Time: 1773320621.235793
>>>Queue Stats: inserted=35427799 items_in_queue=4927799 extracted=30500000
Reached 30600000 ; States-in-collection: 35553107 ; Time: 1773320621.817982
>>>Queue Stats: inserted=35553107 items_in_queue=4953107 extracted=30600000
Reached 30700000 ; States-in-collection: 35716120 ; Time: 1773320622.408282
>>>Queue Stats: inserted=35716120 items_in_queue=5016120 extracted=30700000
Reached 30800000 ; States-in-collection: 35852823 ; Time: 1773320622.984878
>>>Queue Stats: inserted=35852823 items_in_queue=5052823 extracted=30800000
Reached 30900000 ; States-in-collection: 35992880 ; Time: 1773320623.532869
>>>Queue Stats: inserted=35992880 items_in_queue=5092880 extracted=30900000
Reached 31000000 ; States-in-collection: 36128421 ; Time: 1773320624.090632
>>>Queue Stats: inserted=36128421 items_in_queue=5128421 extracted=31000000
Reached 31100000 ; States-in-collection: 36259922 ; Time: 1773320624.608591
>>>Queue Stats: inserted=36259922 items_in_queue=5159922 extracted=31100000
Reached 31200000 ; States-in-collection: 36398239 ; Time: 1773320625.148030
>>>Queue Stats: inserted=36398239 items_in_queue=5198239 extracted=31200000
Reached 31300000 ; States-in-collection: 36577034 ; Time: 1773320625.707743
>>>Queue Stats: inserted=36577034 items_in_queue=5277034 extracted=31300000
Reached 31400000 ; States-in-collection: 36723507 ; Time: 1773320626.161490
>>>Queue Stats: inserted=36723507 items_in_queue=5323507 extracted=31400000
Reached 31500000 ; States-in-collection: 36820534 ; Time: 1773320626.568123
>>>Queue Stats: inserted=36820534 items_in_queue=5320534 extracted=31500000
Reached 31600000 ; States-in-collection: 37047577 ; Time: 1773320627.335113
>>>Queue Stats: inserted=37047577 items_in_queue=5447577 extracted=31600000
Reached 31700000 ; States-in-collection: 37265272 ; Time: 1773320628.102213
>>>Queue Stats: inserted=37265272 items_in_queue=5565272 extracted=31700000
Reached 31800000 ; States-in-collection: 37454530 ; Time: 1773320628.818981
>>>Queue Stats: inserted=37454530 items_in_queue=5654530 extracted=31800000
Reached 31900000 ; States-in-collection: 37638503 ; Time: 1773320629.485662
>>>Queue Stats: inserted=37638503 items_in_queue=5738503 extracted=31900000
Reached 32000000 ; States-in-collection: 37809678 ; Time: 1773320630.190423
>>>Queue Stats: inserted=37809678 items_in_queue=5809678 extracted=32000000
instance_run_solver_thread end
Finished running threads for curr_depth=43
Start mark-and-sweep cleanup for curr_depth=43
Finish mark-and-sweep cleanup for curr_depth=43
Running threads for curr_depth=44
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=44
Start mark-and-sweep cleanup for curr_depth=44
Finish mark-and-sweep cleanup for curr_depth=44
Running threads for curr_depth=45
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=45
Start mark-and-sweep cleanup for curr_depth=45
Finish mark-and-sweep cleanup for curr_depth=45
Running threads for curr_depth=46
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=46
Start mark-and-sweep cleanup for curr_depth=46
Finish mark-and-sweep cleanup for curr_depth=46
Running threads for curr_depth=47
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=47
Start mark-and-sweep cleanup for curr_depth=47
Finish mark-and-sweep cleanup for curr_depth=47
Running threads for curr_depth=48
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=48
Start mark-and-sweep cleanup for curr_depth=48
Finish mark-and-sweep cleanup for curr_depth=48
Running threads for curr_depth=49
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=49
Start mark-and-sweep cleanup for curr_depth=49
Finish mark-and-sweep cleanup for curr_depth=49
Running threads for curr_depth=50
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=50
Start mark-and-sweep cleanup for curr_depth=50
Finish mark-and-sweep cleanup for curr_depth=50
Running threads for curr_depth=51
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=51
Start mark-and-sweep cleanup for curr_depth=51
Finish mark-and-sweep cleanup for curr_depth=51
Running threads for curr_depth=52
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=52
Start mark-and-sweep cleanup for curr_depth=52
Finish mark-and-sweep cleanup for curr_depth=52
Running threads for curr_depth=53
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=53
Start mark-and-sweep cleanup for curr_depth=53
Finish mark-and-sweep cleanup for curr_depth=53
Running threads for curr_depth=54
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=54
Start mark-and-sweep cleanup for curr_depth=54
Finish mark-and-sweep cleanup for curr_depth=54
Running threads for curr_depth=55
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=55
Start mark-and-sweep cleanup for curr_depth=55
Finish mark-and-sweep cleanup for curr_depth=55
Running threads for curr_depth=56
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=56
Start mark-and-sweep cleanup for curr_depth=56
Finish mark-and-sweep cleanup for curr_depth=56
Running threads for curr_depth=57
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=57
Start mark-and-sweep cleanup for curr_depth=57
Finish mark-and-sweep cleanup for curr_depth=57
Running threads for curr_depth=58
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=58
Start mark-and-sweep cleanup for curr_depth=58
Finish mark-and-sweep cleanup for curr_depth=58
Running threads for curr_depth=59
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=59
Start mark-and-sweep cleanup for curr_depth=59
Finish mark-and-sweep cleanup for curr_depth=59
Running threads for curr_depth=60
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=60
Start mark-and-sweep cleanup for curr_depth=60
Finish mark-and-sweep cleanup for curr_depth=60
Running threads for curr_depth=61
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=61
Start mark-and-sweep cleanup for curr_depth=61
Finish mark-and-sweep cleanup for curr_depth=61
Running threads for curr_depth=62
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=62
Start mark-and-sweep cleanup for curr_depth=62
Finish mark-and-sweep cleanup for curr_depth=62
Running threads for curr_depth=63
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=63
Start mark-and-sweep cleanup for curr_depth=63
Finish mark-and-sweep cleanup for curr_depth=63
Running threads for curr_depth=64
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=64
Start mark-and-sweep cleanup for curr_depth=64
Finish mark-and-sweep cleanup for curr_depth=64
Running threads for curr_depth=65
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=65
Start mark-and-sweep cleanup for curr_depth=65
Finish mark-and-sweep cleanup for curr_depth=65
Running threads for curr_depth=66
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=66
Start mark-and-sweep cleanup for curr_depth=66
Finish mark-and-sweep cleanup for curr_depth=66
Running threads for curr_depth=67
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=67
Start mark-and-sweep cleanup for curr_depth=67
Finish mark-and-sweep cleanup for curr_depth=67
Running threads for curr_depth=68
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=68
Start mark-and-sweep cleanup for curr_depth=68
Finish mark-and-sweep cleanup for curr_depth=68
Running threads for curr_depth=69
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=69
Start mark-and-sweep cleanup for curr_depth=69
Finish mark-and-sweep cleanup for curr_depth=69
Running threads for curr_depth=70
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=70
Start mark-and-sweep cleanup for curr_depth=70
Finish mark-and-sweep cleanup for curr_depth=70
Running threads for curr_depth=71
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=71
Start mark-and-sweep cleanup for curr_depth=71
Finish mark-and-sweep cleanup for curr_depth=71
Running threads for curr_depth=72
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=72
Start mark-and-sweep cleanup for curr_depth=72
Finish mark-and-sweep cleanup for curr_depth=72
Running threads for curr_depth=73
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=73
Start mark-and-sweep cleanup for curr_depth=73
Finish mark-and-sweep cleanup for curr_depth=73
Running threads for curr_depth=74
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=74
Start mark-and-sweep cleanup for curr_depth=74
Finish mark-and-sweep cleanup for curr_depth=74
Running threads for curr_depth=75
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=75
Start mark-and-sweep cleanup for curr_depth=75
Finish mark-and-sweep cleanup for curr_depth=75
Running threads for curr_depth=76
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=76
Start mark-and-sweep cleanup for curr_depth=76
Finish mark-and-sweep cleanup for curr_depth=76
Running threads for curr_depth=77
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=77
Start mark-and-sweep cleanup for curr_depth=77
Finish mark-and-sweep cleanup for curr_depth=77
Running threads for curr_depth=78
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=78
Start mark-and-sweep cleanup for curr_depth=78
Finish mark-and-sweep cleanup for curr_depth=78
Running threads for curr_depth=79
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=79
Start mark-and-sweep cleanup for curr_depth=79
Finish mark-and-sweep cleanup for curr_depth=79
Running threads for curr_depth=80
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=80
Start mark-and-sweep cleanup for curr_depth=80
Finish mark-and-sweep cleanup for curr_depth=80
Running threads for curr_depth=81
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=81
Start mark-and-sweep cleanup for curr_depth=81
Finish mark-and-sweep cleanup for curr_depth=81
Running threads for curr_depth=82
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=82
Start mark-and-sweep cleanup for curr_depth=82
Finish mark-and-sweep cleanup for curr_depth=82
Running threads for curr_depth=83
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=83
Start mark-and-sweep cleanup for curr_depth=83
Finish mark-and-sweep cleanup for curr_depth=83
Running threads for curr_depth=84
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=84
Start mark-and-sweep cleanup for curr_depth=84
Finish mark-and-sweep cleanup for curr_depth=84
Running threads for curr_depth=85
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=85
Start mark-and-sweep cleanup for curr_depth=85
Finish mark-and-sweep cleanup for curr_depth=85
Running threads for curr_depth=86
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=86
Start mark-and-sweep cleanup for curr_depth=86
Finish mark-and-sweep cleanup for curr_depth=86
Running threads for curr_depth=87
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=87
Start mark-and-sweep cleanup for curr_depth=87
Finish mark-and-sweep cleanup for curr_depth=87
Running threads for curr_depth=88
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=88
Start mark-and-sweep cleanup for curr_depth=88
Finish mark-and-sweep cleanup for curr_depth=88
Running threads for curr_depth=89
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=89
Start mark-and-sweep cleanup for curr_depth=89
Finish mark-and-sweep cleanup for curr_depth=89
Running threads for curr_depth=90
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=90
Start mark-and-sweep cleanup for curr_depth=90
Finish mark-and-sweep cleanup for curr_depth=90
Running threads for curr_depth=91
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=91
Start mark-and-sweep cleanup for curr_depth=91
Finish mark-and-sweep cleanup for curr_depth=91
Running threads for curr_depth=92
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=92
Start mark-and-sweep cleanup for curr_depth=92
Finish mark-and-sweep cleanup for curr_depth=92
Running threads for curr_depth=93
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=93
Start mark-and-sweep cleanup for curr_depth=93
Finish mark-and-sweep cleanup for curr_depth=93
Running threads for curr_depth=94
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=94
Start mark-and-sweep cleanup for curr_depth=94
Finish mark-and-sweep cleanup for curr_depth=94
Running threads for curr_depth=95
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=95
Start mark-and-sweep cleanup for curr_depth=95
Finish mark-and-sweep cleanup for curr_depth=95
Running threads for curr_depth=96
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=96
Start mark-and-sweep cleanup for curr_depth=96
Finish mark-and-sweep cleanup for curr_depth=96
Running threads for curr_depth=97
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=97
Start mark-and-sweep cleanup for curr_depth=97
Finish mark-and-sweep cleanup for curr_depth=97
Running threads for curr_depth=98
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=98
Start mark-and-sweep cleanup for curr_depth=98
Finish mark-and-sweep cleanup for curr_depth=98
Running threads for curr_depth=99
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=99
Start mark-and-sweep cleanup for curr_depth=99
Finish mark-and-sweep cleanup for curr_depth=99
Running threads for curr_depth=100
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=100
Start mark-and-sweep cleanup for curr_depth=100
Finish mark-and-sweep cleanup for curr_depth=100
Running threads for curr_depth=101
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=101
Start mark-and-sweep cleanup for curr_depth=101
Finish mark-and-sweep cleanup for curr_depth=101
Running threads for curr_depth=102
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=102
Start mark-and-sweep cleanup for curr_depth=102
Finish mark-and-sweep cleanup for curr_depth=102
Running threads for curr_depth=103
instance_run_solver_thread start
instance_run_solver_thread end
Finished running threads for curr_depth=103
Start mark-and-sweep cleanup for curr_depth=103
Finish mark-and-sweep cleanup for curr_depth=103
instance_run_all_threads end
handle_and_destroy_instance_solution start
Reached 32000000 ; States-in-collection: 37809678 ; Time: 1773320630.551996
>>>Queue Stats: inserted=37809678 items_in_queue=5809678 extracted=32000000
Intractable.
Reached Max-or-more iterations of 32000000.
handle_and_destroy_instance_solution end
