Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-80-2_network-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 36507
o 240951
o 240544
o 240101
o 239138
o 238576
o 238423
o 238177
o 237884
o 237322
o 237169
o 236923
o 236560
o 235998
o 235845
o 235599
o 235528
o 234966
o 234813
o 234567
o 234190
o 234037
o 233791
o 233428
o 232866
o 232713
o 232467
o 232097
o 231944
o 231698
o 231335
o 230773
o 230620
o 230374
o 230303
o 229741
o 229588
o 229342
o 228965
o 228812
o 228566
o 228203
o 227641
o 227488
o 227242
o 227003
o 226640
o 226078
o 225925
o 225679
o 225168
o 225015
o 224769
o 224669
o 224158
o 224005
o 223759
o 223755
o 223509
o 222998
o 222845
o 222599
o 222529
o 221967
o 221814
o 221568
o 221467
o 221329
o 221228
o 220966
o 220404
o 220251
o 220005
o 219904
o 219494
o 219341
o 219095
o 218994
o 218894
o 218484
o 218331
o 218085
o 217984
o 217835
o 217734
o 217324
o 217171
o 216925
o 216824
o 216677
o 216576
o 216476
o 216066
o 215913
o 215667
o 215566
o 215417
o 215316
o 214906
o 214753
o 214507
o 214406
o 214191
o 214038
o 213792
o 213691
o 213542
o 213441
o 213031
o 212878
o 212632
o 212531
o 212353
o 212252
o 212128
o 212027
o 212002
o 211878
o 211777
o 211592
o 211439
o 211193
o 211092
o 210968
o 210867
o 210724
o 210478
o 210377
o 210253
o 210152
o 210127
o 210003
o 209902
o 209717
o 209564
o 209318
o 209217
o 209093
o 208992
o 208938
o 208837
o 208688
o 208587
o 208177
o 208024
o 207778
o 207677
o 207499
o 207398
o 207274
o 207173
o 207148
o 207024
o 206923
o 206738
o 206585
o 206339
o 206238
o 206114
o 206013
o 205870
o 205624
o 205523
o 205399
o 205298
o 205273
o 205149
o 205048
o 204863
o 204710
o 204464
o 204363
o 204239
o 204138
o 204084
o 203960
o 203859
o 203841
o 203740
o 203616
o 203515
o 203377
o 203276
o 203152
o 203051
o 203010
o 202909
o 202785
o 202684
o 202630
o 202506
o 202405
o 202380
o 202256
o 202155
o 201970
o 201817
o 201571
o 201470
o 201346
o 201245
o 201191
o 201067
o 200966
o 200948
o 200847
o 200723
o 200622
o 200484
o 200383
o 200259
o 200158
o 200117
o 200016
o 199892
o 199791
o 199737
o 199613
o 199512
o 199400
o 199299
o 199156
o 198910
o 198809
o 198685
o 198584
o 198559
o 198435
o 198334
o 198149
o 197996
o 197750
o 197649
o 197525
o 197424
o 197370
o 197246
o 197145
o 197127
o 197026
o 196902
o 196801
o 196663
o 196562
o 196438
o 196337
o 196296
o 196195
o 196071
o 195970
o 195916
o 195792
o 195691
o 195635
o 195534
o 195480
o 195356
o 195255
o 195143
o 195042
o 194899
o 194653
o 194552
o 194428
o 194327
o 194302
o 194178
o 194077
o 193892
o 193739
o 193493
o 193392
o 193268
o 193167
o 193113
o 192989
o 192888
o 192870
o 192769
o 192645
o 192544
o 192406
o 192305
o 192181
o 192080
o 192039
o 191938
o 191814
o 191713
o 191659
o 191535
o 191434
o 191407
o 191283
o 191182
o 191126
o 191025
o 190971
o 190847
o 190746
o 190634
o 190533
o 190390
o 190144
o 190043
o 189919
o 189818
o 189793
o 189669
o 189568
o 189383
o 189230
o 188984
o 188883
o 188759
o 188658
o 188604
o 188480
o 188379
o 188361
o 188260
o 188136
o 188035
o 187897
o 187796
o 187672
o 187571
o 187530
o 187429
o 187305
o 187204
o 187150
o 187026
o 186925
o 186866
o 186787
o 186686
o 186659
o 186535
o 186434
o 186378
o 186277
o 186223
o 186099
o 185998
o 185886
o 185785
o 185642
o 185396
o 185295
o 185171
o 185070
o 185045
o 184921
o 184820
o 184635
o 184482
o 184236
o 184135
o 184011
o 183910
o 183856
o 183732
o 183631
o 183613
o 183512
o 183388
o 183287
o 183149
o 183048
o 182924
o 182823
o 182782
o 182681
o 182557
o 182456
o 182402
o 182278
o 182177
o 182118
o 182108
o 182049
o 181935
o 181834
o 181780
o 181656
o 181555
o 181496
o 181486
o 181427
o 181352
o 181228
o 181127
o 181073
o 180949
o 180848
o 180830
o 180729
o 180605
o 180504
o 180366
o 180265
o 180141
o 180040
o 179999
o 179898
o 179774
o 179673
o 179619
o 179495
o 179394
o 179335
o 179325
o 179266
o 179176
o 179075
o 179016
o 179006
o 178947
o 178871
o 178770
o 178632
o 178531
o 178407
o 178306
o 178265
o 178164
o 178040
o 177939
o 177885
o 177761
o 177660
o 177601
o 177591
o 177532
o 177442
o 177341
o 177282
o 177272
o 177213
o 177102
o 177001
o 176960
o 176859
o 176735
o 176634
o 176580
o 176456
o 176355
o 176296
o 176209
o 176155
o 176031
o 175930
o 175871
o 175869
o 175810
o 175802
o 175800
o 175741
o 175712
o 175611
o 175552
o 175550
o 175491
o 175483
o 175481
o 175422
o 175368
o 175267
o 175226
o 175125
o 175001
o 174900
o 174846
o 174722
o 174621
o 174562
o 174475
o 174421
o 174297
o 174196
o 174137
o 174135
o 174076
o 174068
o 174066
o 174007
o 173978
o 173877
o 173818
o 173816
o 173757
o 173749
o 173747
o 173688
o 173606
o 173547
o 173545
o 173486
o 173478
o 173476
o 173417
o 173368
o 173358
o 173299
o 173223
o 173122
o 172984
o 172883
o 172759
o 172658
o 172617
o 172516
o 172392
o 172291
o 172237
o 172113
o 172012
o 171953
o 171943
o 171884
o 171794
o 171693
o 171634
o 171624
o 171565
o 171542
o 171532
o 171473
o 171383
o 171282
o 171223
o 171213
o 171154
o 171078
o 170977
o 170839
o 170738
o 170614
o 170513
o 170472
o 170371
o 170247
o 170146
o 170092
o 169968
o 169867
o 169808
o 169798
o 169739
o 169649
o 169548
o 169489
o 169479
o 169420
o 169353
o 169252
o 169198
o 169074
o 168973
o 168914
o 168827
o 168773
o 168649
o 168548
o 168489
o 168487
o 168428
o 168420
o 168418
o 168359
o 168330
o 168229
o 168170
o 168168
o 168109
o 168101
o 168099
o 168040
o 168017
o 168009
o 168007
o 167948
o 167919
o 167818
o 167759
o 167757
o 167698
o 167690
o 167688
o 167629
o 167575
o 167474
o 167433
o 167332
o 167208
o 167107
o 167053
o 166929
o 166828
o 166769
o 166682
o 166628
o 166504
o 166403
o 166344
o 166342
o 166283
o 166275
o 166273
o 166214
o 166185
o 166084
o 166025
o 166023
o 165964
o 165956
o 165954
o 165895
o 165813
o 165754
o 165752
o 165693
o 165685
o 165683
o 165624
o 165617
o 165558
o 165556
o 165497
o 165489
o 165487
o 165428
o 165379
o 165369
o 165310
o 165234
o 165133
o 164995
o 164894
o 164770
o 164669
o 164628
o 164527
o 164403
o 164302
o 164248
o 164124
o 164023
o 163964
o 163954
o 163895
o 163805
o 163704
o 163645
o 163635
o 163576
o 163553
o 163543
o 163484
o 163394
o 163293
o 163234
o 163224
o 163165
o 163089
o 162988
o 162850
o 162749
o 162625
o 162524
o 162483
o 162382
o 162258
o 162157
o 162103
o 161979
o 161878
o 161819
o 161809
o 161750
o 161660
o 161559
o 161500
o 161490
o 161431
o 161364
o 161263
o 161209
o 161085
o 160984
o 160925
o 160838
o 160784
o 160660
o 160559
o 160500
o 160498
o 160439
o 160431
o 160429
o 160370
o 160341
o 160240
o 160181
o 160179
o 160120
o 160112
o 160110
o 160051
o 160028
o 160020
o 160018
o 159959
o 159930
o 159829
o 159770
o 159768
o 159709
o 159701
o 159699
o 159640
o 159586
o 159485
o 159444
o 159343
o 159219
o 159118
o 159064
o 158940
o 158839
o 158780
o 158693
o 158639
o 158515
o 158414
o 158355
o 158353
o 158294
o 158286
o 158284
o 158225
o 158196
o 158095
o 158036
o 158034
o 157975
o 157967
o 157965
o 157906
o 157824
o 157765
o 157763
o 157704
o 157696
o 157694
o 157635
o 157603
o 157544
o 157534
o 157475
o 157463
o 157461
o 157402
o 157394
o 157392
o 157333
o 157307
o 157253
o 157129
o 157028
o 156969
o 156882
o 156828
o 156704
o 156603
o 156544
o 156542
o 156483
o 156475
o 156473
o 156414
o 156385
o 156284
o 156225
o 156223
o 156164
o 156156
o 156154
o 156095
o 156062
o 155975
o 155921
o 155797
o 155696
o 155637
o 155635
o 155576
o 155568
o 155566
o 155507
o 155478
o 155377
o 155318
o 155316
o 155257
o 155249
o 155247
o 155188
o 155162
o 155108
o 154984
o 154883
o 154824
o 154737
o 154683
o 154559
o 154458
o 154399
o 154397
o 154338
o 154330
o 154328
o 154269
o 154240
o 154139
o 154080
o 154078
o 154019
o 154011
o 154009
o 153950
o 153868
o 153809
o 153807
o 153748
o 153740
o 153738
o 153679
o 153666
o 153604
o 153503
o 153444
o 153434
o 153375
o 153285
o 153184
o 153125
o 153115
o 153056
o 152999
o 152898
o 152844
o 152720
o 152619
o 152560
o 152550
o 152491
o 152401
o 152300
o 152241
o 152231
o 152172
o 152125
o 152123
o 152064
o 152056
o 152054
o 151995
o 151966
o 151865
o 151806
o 151804
o 151745
o 151737
o 151735
o 151676
o 151666
o 151579
o 151525
o 151401
o 151300
o 151241
o 151239
o 151180
o 151172
o 151170
o 151111
o 151082
o 150981
o 150922
o 150920
o 150861
o 150853
o 150851
o 150792
o 150769
o 150761
o 150759
o 150700
o 150671
o 150570
o 150511
o 150509
o 150450
o 150442
o 150440
o 150381
o 150318
o 150264
o 150140
o 150039
o 149980
o 149978
o 149919
o 149911
o 149909
o 149850
o 149821
o 149720
o 149661
o 149659
o 149600
o 149592
o 149590
o 149531
o 149521
o 149434
o 149380
o 149256
o 149155
o 149096
o 149094
o 149035
o 149027
o 149025
o 148966
o 148937
o 148836
o 148777
o 148775
o 148716
o 148708
o 148706
o 148647
o 148565
o 148506
o 148504
o 148445
o 148437
o 148435
o 148376
o 148344
o 148285
o 148275
o 148216
o 148204
o 148202
o 148143
o 148135
o 148133
o 148074
o 148039
o 148010
o 147909
o 147850
o 147848
o 147789
o 147781
o 147779
o 147720
o 147710
o 147623
o 147569
o 147445
o 147344
o 147285
o 147283
o 147224
o 147216
o 147214
o 147155
o 147126
o 147025
o 146966
o 146964
o 146905
o 146897
o 146895
o 146836
o 146813
o 146803
o 146716
o 146662
o 146538
o 146437
o 146378
o 146376
o 146317
o 146309
o 146307
o 146248
o 146219
o 146118
o 146059
o 146057
o 145998
o 145990
o 145988
o 145929
o 145894
o 145865
o 145764
o 145705
o 145703
o 145644
o 145636
o 145634
o 145575
o 145565
o 145478
o 145424
o 145300
o 145199
o 145140
o 145138
o 145079
o 145071
o 145069
o 145010
o 144981
o 144880
o 144821
o 144819
o 144760
o 144752
o 144750
o 144691
o 144609
o 144550
o 144548
o 144489
o 144481
o 144479
o 144420
o 144407
o 144344
o 144285
o 144283
o 144224
o 144216
o 144214
o 144155
o 144073
o 144014
o 144012
o 143953
o 143945
o 143943
o 143884
o 143871
o 143809
o 143708
o 143649
o 143639
o 143580
o 143490
o 143389
o 143330
o 143320
o 143261
o 143204
o 143103
o 143049
o 142925
o 142824
o 142765
o 142755
o 142696
o 142606
o 142505
o 142446
o 142436
o 142377
o 142330
o 142328
o 142269
o 142261
o 142259
o 142200
o 142171
o 142070
o 142011
o 142009
o 141950
o 141942
o 141940
o 141881
o 141871
o 141784
o 141730
o 141606
o 141505
o 141446
o 141444
o 141385
o 141377
o 141375
o 141316
o 141287
o 141186
o 141127
o 141125
o 141066
o 141058
o 141056
o 140997
o 140974
o 140966
o 140964
o 140905
o 140876
o 140775
o 140716
o 140714
o 140655
o 140647
o 140645
o 140586
o 140523
o 140469
o 140345
o 140244
o 140185
o 140183
o 140124
o 140116
o 140114
o 140055
o 140026
o 139925
o 139866
o 139864
o 139805
o 139797
o 139795
o 139736
o 139726
o 139639
o 139585
o 139461
o 139360
o 139301
o 139299
o 139240
o 139232
o 139230
o 139171
o 139142
o 139041
o 138982
o 138980
o 138921
o 138913
o 138911
o 138852
o 138770
o 138711
o 138709
o 138650
o 138642
o 138640
o 138581
o 138549
o 138490
o 138480
o 138421
o 138409
o 138407
o 138348
o 138340
o 138338
o 138279
o 138244
o 138215
o 138114
o 138055
o 138053
o 137994
o 137986
o 137984
o 137925
o 137915
o 137828
o 137774
o 137650
o 137549
o 137490
o 137488
o 137429
o 137421
o 137419
o 137360
o 137331
o 137230
o 137171
o 137169
o 137110
o 137102
o 137100
o 137041
o 137018
o 137008
o 136921
o 136867
o 136743
o 136642
o 136583
o 136581
o 136522
o 136514
o 136512
o 136453
o 136424
o 136323
o 136264
o 136262
o 136203
o 136195
o 136193
o 136134
o 136099
o 136070
o 135969
o 135910
o 135908
o 135849
o 135841
o 135839
o 135780
o 135770
o 135683
o 135629
o 135505
o 135404
o 135345
o 135343
o 135284
o 135276
o 135274
o 135215
o 135186
o 135085
o 135026
o 135024
o 134965
o 134957
o 134955
o 134896
o 134814
o 134755
o 134753
o 134694
o 134686
o 134684
o 134625
o 134612
o 134580
o 134456
o 134355
o 134272
o 134213
o 134211
o 134152
o 134144
o 134142
o 134083
o 134036
o 133953
o 133894
o 133892
o 133833
o 133825
o 133823
o 133764
o 133729
o 133682
o 133599
o 133540
o 133538
o 133479
o 133471
o 133469
o 133410
o 133400
o 133342
o 133218
o 133117
o 133034
o 132975
o 132973
o 132914
o 132906
o 132904
o 132845
o 132798
o 132715
o 132656
o 132654
o 132595
o 132587
o 132585
o 132526
o 132444
o 132385
o 132383
o 132324
o 132316
o 132314
o 132255
o 132242
o 132169
o 132115
o 131991
o 131890
o 131831
o 131829
o 131770
o 131762
o 131760
o 131701
o 131672
o 131571
o 131512
o 131510
o 131451
o 131443
o 131441
o 131382
o 131347
o 131318
o 131217
o 131158
o 131156
o 131097
o 131089
o 131087
o 131028
o 131018
o 130931
o 130877
o 130753
o 130652
o 130593
o 130591
o 130532
o 130524
o 130522
o 130463
o 130434
o 130333
o 130274
o 130272
o 130213
o 130205
o 130203
o 130144
o 130062
o 130003
o 130001
o 129942
o 129934
o 129932
o 129873
o 129860
o 129828
o 129704
o 129603
o 129520
o 129461
o 129459
o 129400
o 129392
o 129390
o 129331
o 129284
o 129201
o 129142
o 129140
o 129081
o 129073
o 129071
o 129012
o 128977
o 128930
o 128847
o 128788
o 128786
o 128727
o 128719
o 128717
o 128658
o 128648
o 128590
o 128466
o 128365
o 128282
o 128223
o 128221
o 128162
o 128154
o 128152
o 128093
o 128046
o 127963
o 127904
o 127902
o 127843
o 127835
o 127833
o 127774
o 127692
o 127633
o 127631
o 127572
o 127564
o 127562
o 127503
o 127490
o 127454
o 127452
o 127393
o 127385
o 127383
o 127324
o 127311
o 127279
o 127155
o 127054
o 126971
o 126912
o 126910
o 126851
o 126843
o 126841
o 126782
o 126735
o 126652
o 126593
o 126591
o 126532
o 126524
o 126522
o 126463
o 126428
o 126381
o 126298
o 126239
o 126237
o 126178
o 126170
o 126168
o 126109
o 126099
o 126041
o 125917
o 125816
o 125733
o 125674
o 125672
o 125613
o 125605
o 125603
o 125544
o 125497
o 125414
o 125355
o 125353
o 125294
o 125286
o 125284
o 125225
o 125143
o 125084
o 125082
o 125023
o 125015
o 125013
o 124954
o 124941
o 124912
o 124830
o 124771
o 124769
o 124710
o 124702
o 124700
o 124641
o 124628
o 124626
o 124618
o 124616
o 124557
o 124501
o 124414
o 124360
o 124236
o 124135
o 124076
o 124074
o 124015
o 124007
o 124005
o 123946
o 123864
o 123805
o 123803
o 123744
o 123736
o 123734
o 123675
o 123641
o 123582
o 123580
o 123521
o 123513
o 123511
o 123452
o 123439
o 123395
o 123393
o 123334
o 123326
o 123324
o 123265
o 123183
o 123124
o 123122
o 123063
o 123055
o 123053
o 122994
o 122944
o 122942
o 122883
o 122875
o 122873
o 122814
o 122732
o 122649
o 122590
o 122588
o 122529
o 122521
o 122519
o 122460
o 122459
o 122376
o 122317
o 122315
o 122256
o 122248
o 122246
o 122187
o 122131
o 122073
o 121949
o 121848
o 121765
o 121706
o 121704
o 121645
o 121637
o 121635
o 121576
o 121494
o 121435
o 121433
o 121374
o 121366
o 121364
o 121305
o 121271
o 121212
o 121210
o 121151
o 121143
o 121141
o 121082
o 121069
o 121033
o 121031
o 120972
o 120964
o 120962
o 120903
o 120890
o 120846
o 120844
o 120785
o 120777
o 120775
o 120716
o 120634
o 120575
o 120573
o 120514
o 120506
o 120504
o 120445
o 120395
o 120393
o 120334
o 120326
o 120324
o 120265
o 120183
o 120100
o 120041
o 120039
o 119980
o 119972
o 119970
o 119911
o 119910
o 119827
o 119768
o 119766
o 119707
o 119699
o 119697
o 119638
o 119582
o 119524
o 119400
o 119299
o 119216
o 119157
o 119155
o 119096
o 119088
o 119086
o 119027
o 118945
o 118886
o 118884
o 118825
o 118817
o 118815
o 118756
o 118722
o 118663
o 118661
o 118602
o 118594
o 118592
o 118533
o 118520
o 118512
o 118504
o 118502
o 118443
o 118409
o 118350
o 118348
o 118289
o 118281
o 118279
o 118220
o 118207
o 118148
o 118096
o 118037
o 118027
o 117968
o 117926
o 117825
o 117742
o 117683
o 117673
o 117614
o 117552
o 117469
o 117410
o 117400
o 117341
o 117308
o 117267
o 117166
o 117042
o 116941
o 116858
o 116799
o 116789
o 116730
o 116670
o 116587
o 116528
o 116518
o 116459
o 116447
o 116364
o 116305
o 116295
o 116236
o 116223
o 116185
o 116126
o 116116
o 116057
o 116044
o 115998
o 115939
o 115929
o 115870
o 115810
o 115727
o 115668
o 115658
o 115599
o 115547
o 115488
o 115478
o 115419
o 115377
o 115276
o 115193
o 115134
o 115124
o 115065
o 115003
o 114920
o 114861
o 114851
o 114792
o 114759
o 114718
o 114617
o 114493
o 114392
o 114309
o 114250
o 114240
o 114181
o 114121
o 114038
o 113979
o 113969
o 113910
o 113898
o 113815
o 113756
o 113746
o 113687
o 113674
o 113666
o 113656
o 113597
o 113585
o 113502
o 113443
o 113433
o 113374
o 113361
o 113354
o 113295
o 113285
o 113226
o 113164
o 113081
o 113022
o 113012
o 112953
o 112879
o 112778
o 112654
o 112553
o 112470
o 112411
o 112401
o 112342
o 112282
o 112199
o 112140
o 112130
o 112071
o 112059
o 111976
o 111917
o 111907
o 111848
o 111835
o 111827
o 111817
o 111758
o 111746
o 111663
o 111604
o 111594
o 111535
o 111522
o 111516
o 111433
o 111374
o 111361
o 111285
o 111226
o 111196
o 111095
o 111012
o 110953
o 110810
o 110709
o 110585
o 110484
o 110401
o 110342
o 110314
o 110213
o 110130
o 110071
o 109990
o 109907
o 109848
o 109835
o 109817
o 109758
o 109677
o 109594
o 109535
o 109522
o 109475
o 109416
o 109335
o 109252
o 109193
o 109180
o 109162
o 109103
o 109022
o 108939
o 108880
o 108867
o 108744
o 108643
o 108519
o 108418
o 108335
o 108276
o 108248
o 108147
o 108064
o 108005
o 107924
o 107841
o 107782
o 107769
o 107751
o 107692
o 107611
o 107528
o 107469
o 107456
o 107441
o 107382
o 107369
o 107354
o 107295
o 107282
o 107264
o 107205
o 107124
o 107041
o 106982
o 106969
o 106942
o 106859
o 106800
o 106790
o 106731
o 106718
o 106689
o 106629
o 106546
o 106487
o 106477
o 106418
o 106405
o 106328
o 106245
o 106186
o 106158
o 106057
o 105974
o 105915
o 105902
o 105873
o 105845
o 105744
o 105661
o 105602
o 105589
o 105585
o 105474
o 105373
o 105290
o 105231
o 105201
o 105100
o 105017
o 104958
o 104815
o 104714
o 104590
o 104489
o 104406
o 104347
o 104319
o 104218
o 104135
o 104076
o 104063
o 104034
o 104006
o 103905
o 103822
o 103763
o 103750
o 103733
o 103650
o 103591
o 103563
o 103462
o 103379
o 103320
o 103307
o 103278
o 103250
o 103149
o 103066
o 103007
o 102994
o 102936
o 102908
o 102807
o 102724
o 102665
o 102652
o 102623
o 102595
o 102494
o 102411
o 102352
o 102339
o 102324
o 102265
o 102252
o 102237
o 102178
o 102165
o 102136
o 102007
o 101924
o 101865
o 101852
o 101851
o 101792
o 101779
o 101723
o 101640
o 101581
o 101529
o 101516
o 101499
o 101472
o 101440
o 101427
o 101398
o 101301
o 101269
o 101218
o 101186
o 101159
o 101127
o 101114
o 101099
o 101072
o 101040
o 101027
o 101012
o 100985
o 100953
o 100940
o 100911
o 100814
o 100782
o 100731
o 100699
o 100672
o 100640
o 100627
o 100609
o 100596
o 100595
o 100522
o 100509
o 100446
o 100363
o 100350
o 100278
o 100205
o 100195
o 100122
o 100109
o 100049
o 100036
o 100027
o 100014
o 99994
o 99921
o 99911
o 99838
o 99786
o 99773
o 99740
o 99708
o 99657
o 99625
o 99612
o 99600
o 99572
o 99499
o 99467
o 99416
o 99384
o 99371
o 99329
o 99297
o 99284
o 99253
o 99221
o 99170
o 99138
o 99125
o 99085
o 99012
o 98980
o 98929
o 98897
o 98884
o 98860
o 98841
o 98777
o 98758
o 98718
o 98699
o 98686
o 98685
o 98645
o 98626
o 98613
o 98576
o 98557
o 98493
o 98474
o 98434
o 98415
o 98382
o 98363
o 98350
o 98333
o 98325
o 98306
o 98293
o 98274
o 98261
o 98251
o 98232
o 98154
o 98135
o 98122
o 98103
o 98071
o 98052
o 98039
o 98020
o 98012
o 97993
o 97980
o 97961
o 97948
o 97933
o 97925
o 97906
o 97893
o 97874
o 97861
o 97846
o 97838
o 97819
o 97806
o 97787
o 97774
o 97764
o 97745
o 97667
o 97648
o 97635
o 97616
o 97584
o 97565
o 97552
o 97533
o 97525
o 97506
o 97493
o 97474
o 97461
o 97443
o 97430
o 97429
o 97375
o 97356
o 97343
o 97299
o 97280
o 97216
o 97197
o 97184
o 97131
o 97112
o 97058
o 97039
o 97029
o 96975
o 96956
o 96943
o 96902
o 96883
o 96870
o 96861
o 96848
o 96847
o 96828
o 96774
o 96755
o 96745
o 96691
o 96672
o 96639
o 96620
o 96607
o 96593
o 96574
o 96561
o 96542
o 96510
o 96491
o 96478
o 96459
o 96446
o 96434
o 96425
o 96406
o 96352
o 96333
o 96320
o 96301
o 96269
o 96250
o 96237
o 96218
o 96205
o 96182
o 96163
o 96150
o 96131
o 96118
o 96106
o 96087
o 96074
o 96055
o 96023
o 96004
o 95991
o 95972
o 95959
o 95938
o 95919
o 95865
o 95846
o 95833
o 95814
o 95782
o 95763
o 95750
o 95731
o 95718
o 95701
o 95688
o 95667
o 95648
o 95594
o 95575
o 95562
o 95543
o 95511
o 95492
o 95479
o 95460
o 95447
o 95441
o 95409
o 95396
o 95356
o 95283
o 95251
o 95200
o 95168
o 95155
o 95145
o 95126
o 95113
o 95094
o 95086
o 95067
o 95054
o 95035
o 95022
o 95017
o 94998
o 94985
o 94970
o 94962
o 94943
o 94930
o 94911
o 94898
o 94888
o 94869
o 94791
o 94772
o 94759
o 94740
o 94708
o 94689
o 94676
o 94657
o 94649
o 94630
o 94617
o 94598
o 94585
o 94536
o 94517
o 94504
o 94499
o 94480
o 94467
o 94423
o 94404
o 94340
o 94321
o 94308
o 94255
o 94236
o 94182
o 94163
o 94153
o 94099
o 94080
o 94067
o 94026
o 94007
o 93994
o 93985
o 93972
o 93971
o 93952
o 93898
o 93879
o 93869
o 93815
o 93796
o 93763
o 93744
o 93731
o 93724
o 93711
o 93692
o 93679
o 93667
o 93648
o 93635
o 93616
o 93584
o 93565
o 93552
o 93533
o 93520
o 93499
o 93480
o 93426
o 93407
o 93394
o 93375
o 93343
o 93324
o 93311
o 93292
o 93279
o 93274
o 93255
o 93242
o 93230
o 93211
o 93198
o 93179
o 93147
o 93128
o 93115
o 93096
o 93083
o 93062
o 93043
o 92989
o 92970
o 92957
o 92938
o 92906
o 92887
o 92874
o 92855
o 92842
o 92827
o 92690
o 92671
o 92658
o 92639
o 92607
o 92588
o 92575
o 92556
o 92543
o 92533
o 92514
o 92377
o 92358
o 92345
o 92326
o 92294
o 92275
o 92262
o 92243
o 92230
o 92209
o 92190
o 92136
o 92117
o 92104
o 92085
o 92053
o 92034
o 92021
o 92002
o 91989
o 91984
o 91974
o 91920
o 91901
o 91847
o 91828
o 91814
o 91791
o 91772
o 91603
o 91584
o 91520
o 91501
o 91435
o 91416
o 91362
o 91343
o 91333
o 91279
o 91260
o 91257
o 91249
o 91230
o 91217
o 91198
o 91185
o 91110
o 91091
o 91027
o 91008
o 90995
o 90940
o 90921
o 90908
o 90869
o 90850
o 90840
o 90786
o 90767
o 90754
o 90753
o 90699
o 90680
o 90667
o 90626
o 90607
o 90594
o 90585
o 90572
o 90566
o 90556
o 90502
o 90483
o 90450
o 90431
o 90418
o 90415
o 90396
o 90363
o 90344
o 90331
o 90312
o 90230
o 90211
o 90198
o 90179
o 90147
o 90128
o 90115
o 90096
o 90083
o 90073
o 90054
o 90018
o 89999
o 89917
o 89898
o 89885
o 89866
o 89834
o 89815
o 89802
o 89783
o 89770
o 89747
o 89728
o 89715
o 89696
o 89683
o 89676
o 89657
o 89644
o 89625
o 89593
o 89574
o 89561
o 89542
o 89529
o 89506
o 89487
o 89474
o 89455
o 89442
o 89429
o 89410
o 89378
o 89359
o 89346
o 89327
o 89314
o 89308
o 89276
o 89263
o 89223
o 89150
o 89118
o 89067
o 89035
o 89022
o 89020
o 89007
o 88988
o 88956
o 88937
o 88924
o 88905
o 88897
o 88878
o 88865
o 88846
o 88833
o 88818
o 88810
o 88791
o 88778
o 88759
o 88746
o 88741
o 88722
o 88709
o 88699
o 88680
o 88602
o 88583
o 88570
o 88551
o 88519
o 88500
o 88487
o 88468
o 88460
o 88441
o 88428
o 88409
o 88396
o 88381
o 88373
o 88354
o 88341
o 88322
o 88309
o 88299
o 88286
o 88267
o 88254
o 88247
o 88228
o 88215
o 88196
o 88118
o 88099
o 88086
o 88067
o 88035
o 88016
o 88003
o 87984
o 87976
o 87957
o 87944
o 87925
o 87912
o 87902
o 87883
o 87805
o 87786
o 87773
o 87754
o 87722
o 87703
o 87690
o 87671
o 87663
o 87644
o 87631
o 87612
o 87599
o 87574
o 87555
o 87542
o 87539
o 87520
o 87487
o 87468
o 87455
o 87446
o 87427
o 87395
o 87376
o 87363
o 87344
o 87331
o 87308
o 87289
o 87276
o 87257
o 87244
o 87237
o 87218
o 87205
o 87186
o 87154
o 87135
o 87122
o 87103
o 87090
o 87067
o 87048
o 87035
o 87016
o 87003
o 86990
o 86958
o 86939
o 86926
o 86907
o 86894
o 86871
o 86852
o 86839
o 86820
o 86807
o 86800
o 86781
o 86768
o 86749
o 86717
o 86698
o 86685
o 86666
o 86653
o 86630
o 86611
o 86598
o 86579
o 86566
o 86557
o 86538
o 86525
o 86506
o 86474
o 86455
o 86442
o 86423
o 86410
o 86400
o 86381
o 86244
o 86225
o 86212
o 86193
o 86161
o 86142
o 86129
o 86110
o 86097
o 86076
o 86057
o 86003
o 85984
o 85971
o 85952
o 85920
o 85901
o 85888
o 85869
o 85856
o 85851
o 85841
o 85787
o 85768
o 85714
o 85695
o 85681
o 85658
o 85639
o 85470
o 85451
o 85387
o 85368
o 85302
o 85283
o 85229
o 85210
o 85200
o 85146
o 85127
o 85097
o 85078
o 85065
o 85055
o 85036
o 84867
o 84848
o 84784
o 84765
o 84752
o 84699
o 84680
o 84626
o 84607
o 84597
o 84543
o 84524
o 84511
o 84506
o 84452
o 84433
o 84423
o 84369
o 84350
o 84336
o 84313
o 84294
o 84125
o 84106
o 84042
o 84023
o 83957
o 83938
o 83884
o 83865
o 83855
o 83801
o 83782
o 83771
o 83758
o 83753
o 83743
o 83689
o 83670
o 83616
o 83597
o 83583
o 83560
o 83541
o 83372
o 83353
o 83289
o 83270
o 83204
o 83185
o 83131
o 83112
o 83102
o 83048
o 83029
o 82999
o 82980
o 82967
o 82957
o 82938
o 82769
o 82750
o 82686
o 82667
o 82654
o 82601
o 82582
o 82528
o 82509
o 82499
o 82445
o 82426
o 82413
o 82408
o 82354
o 82335
o 82325
o 82271
o 82252
o 82238
o 82215
o 82196
o 82027
o 82008
o 81944
o 81925
o 81859
o 81840
o 81786
o 81767
o 81757
o 81703
o 81684
o 81667
o 81648
o 81584
o 81565
o 81499
o 81480
o 81426
o 81407
o 81397
o 81343
o 81324
o 81271
o 81252
o 81242
o 81188
o 81169
o 81152
o 81133
o 81069
o 81050
o 80984
o 80965
o 80911
o 80892
o 80882
o 80828
o 80809
o 80804
o 80785
o 80762
o 80743
o 80647
o 80628
o 80574
o 80555
o 80545
o 80491
o 80472
o 80444
o 80425
o 80402
o 80383
o 80287
o 80268
o 80214
o 80195
o 80185
o 80131
o 80112
o 80059
o 80040
o 80030
o 79976
o 79957
o 79929
o 79910
o 79887
o 79868
o 79772
o 79753
o 79699
o 79680
o 79670
o 79616
o 79597
o 79525
o 79506
o 79452
o 79433
o 79370
o 79351
o 79297
o 79278
o 79178
o 79159
o 79010
o 78991
o 78937
o 78918
o 78913
o 78894
o 78871
o 78852
o 78673
o 78654
o 78600
o 78581
o 78565
o 78511
o 78492
o 78313
o 78294
o 78240
o 78221
Killed
1979.575u 0.123s 33:08.77 99.5%	0+0k 0+0io 0pf+0w