Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_industrial-_home_maxsat_benchmarks_wpms_industrial_upgradeability-problem_mancoosi-test-i3000d0u98-63.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i3000d0u98-63.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 12113357767
o 12113339598
o 12098331178
o 12098313009
o 12083304589
o 12083286420
o 12068278000
o 12068259831
o 12053251411
o 12053233242
o 12038224822
o 12038206653
o 12023198233
o 12023180064
o 12008171644
o 12008153475
o 11993145055
o 11993126886
o 11978118466
o 11978100297
o 11963091877
o 11963073708
o 11963073707
o 11948065287
o 11948047118
o 11933038698
o 11933020529
o 11918012109
o 11917993940
o 11902985520
o 11902967351
o 11887958931
o 11887940762
o 11872932342
o 11872914173
o 11857905753
o 11857887584
o 11857887583
o 11842879163
o 11842860994
o 11827852574
o 11827834405
o 11827834404
o 11812825984
o 11812807815
o 11812807814
o 11797799394
o 11797781225
o 11782772805
o 11782754636
o 11767746216
o 11767728047
o 11767728046
o 11752719626
o 11752701457
o 11737693037
o 11737674868
o 11722666448
o 11722648279
o 11707639859
o 11707621690
o 11692613270
o 11692595101
o 11677586681
o 11677568512
o 11662560092
o 11662541923
o 11647533503
o 11647515334
o 11632506914
o 11632488745
o 11617480325
o 11617462156
o 11602453736
o 11602435567
o 11602435566
o 11587427146
o 11587408977
o 11587408976
o 11572400556
o 11572382387
o 11557373967
o 11557355798
o 11542347378
o 11542329209
o 11542329208
o 11527320788
o 11527302619
o 11512294199
o 11512276030
o 11497267610
o 11497249441
o 11482241021
o 11482222852
o 11467214432
o 11467196263
o 11452187843
o 11452169674
o 11452169673
o 11437161253
o 11437143084
o 11422134664
o 11422116495
o 11407108075
o 11407089906
o 11392081486
o 11392063317
o 11377054897
o 11377036728
o 11362028308
o 11362010139
o 11347001719
o 11346983550
o 11346983549
o 11331975129
o 11331956960
o 11316948540
o 11316930371
o 11301921951
o 11301903782
o 11286895362
o 11286877193
o 11271868773
o 11271850604
o 11256842184
o 11256824015
o 11241815595
o 11241797426
o 11226789006
o 11226770837
o 11211762417
o 11211744248
o 11196735828
o 11196717659
o 11181709239
o 11181691070
o 11181691069
o 11166682649
o 11166664480
o 11151656060
o 11151637891
o 11136629471
o 11136611302
o 11121602882
o 11121584713
o 11106576293
o 11106558124
o 11091549704
o 11091531535
o 11076523115
o 11076504946
o 11061496526
o 11061478357
o 11046469937
o 11046451768
o 11031443348
o 11031425179
o 11016416759
o 11016398590
o 11001390170
o 11001372001
o 11001372000
o 10986363580
o 10986345411
o 10971336991
o 10971318822
o 10956310402
o 10956292233
o 10941283813
o 10941265644
o 10926257224
o 10926239055
o 10926239054
o 10911230634
o 10911212465
o 10896204045
o 10896185876
o 10881177456
o 10881159287
o 10866150867
o 10866132698
o 10851124278
o 10851106109
o 10836097689
o 10836079520
o 10821071100
o 10821052931
o 10806044511
o 10806026342
o 10791017922
o 10790999753
o 10775991333
o 10775973164
o 10760964744
o 10760946575
o 10745938155
o 10745919986
o 10730911566
o 10730893397
o 10715884977
o 10715866808
o 10700858388
o 10700840219
o 10685831799
o 10685813630
o 10670805210
o 10670787041
o 10655778621
o 10655760452
o 10640752032
o 10640733863
o 10625725443
o 10625707274
o 10610698854
o 10610680685
o 10610680684
o 10595672264
o 10595654095
o 10580645675
o 10580627506
o 10565619086
o 10565600917
o 10550592497
o 10550574328
o 10535565908
o 10535547739
o 10520539319
o 10520521150
o 10505512730
o 10505494561
o 10490486141
o 10490467972
o 10490467971
o 10475459551
o 10475441382
o 10460432962
o 10460414793
o 10445406373
o 10445388204
o 10430379784
o 10430361615
o 10415353195
o 10415335026
o 10400326606
o 10400308437
o 10385300017
o 10385281848
o 10370273428
o 10370255259
o 10355246839
o 10355228670
o 10340220250
o 10340202081
o 10325193661
o 10325175492
o 10310167072
o 10310148903
o 10295140483
o 10295122314
o 10280113894
o 10280095725
o 10265087305
o 10265069136
o 10265069135
o 10250060715
o 10250042546
o 10235034126
o 10235015957
o 10220007537
o 10219989368
o 10204980948
o 10204962779
o 10189954359
o 10189936190
o 10174927770
o 10174909601
o 10159901181
o 10159883012
o 10144874592
o 10144856423
o 10129848003
o 10129829834
o 10114821414
o 10114803245
o 10099794825
o 10099776656
o 10084768236
o 10084750067
o 10069741647
o 10069723478
o 10054715058
o 10054696889
o 10039688469
o 10039670300
o 10024661880
o 10024643711
o 10009635291
o 10009617122
o 9994608702
o 9994590533
o 9994590532
o 9979582112
o 9979563943
o 9964555523
o 9964537354
o 9949528934
o 9949510765
o 9949510764
o 9934502344
o 9934484175
o 9934484174
o 9919475754
o 9919457585
o 9904449165
o 9904430996
o 9889422576
o 9889404407
o 9874395987
o 9874377818
o 9859369398
o 9859351229
o 9844342809
o 9844324640
o 9829316220
o 9829298051
o 9814289631
o 9814271462
o 9799263042
o 9799244873
o 9784236453
o 9784218284
o 9769209864
o 9769191695
o 9769191694
o 9754183274
o 9754165105
o 9739156685
o 9739138516
o 9724130096
o 9724111927
o 9709103507
o 9709085338
o 9694076918
o 9694058749
o 9679050329
o 9679032160
o 9664023740
o 9664005571
o 9648997151
o 9648978982
o 9633970562
o 9633952393
o 9618943973
o 9618925804
o 9603917384
o 9603899215
o 9603899214
o 9588890794
o 9588872625
o 9588872624
o 9573864204
o 9573846035
o 9558837615
o 9558819446
o 9543811026
o 9543792857
o 9528784437
o 9528766268
o 9513757848
o 9513739679
o 9498731259
o 9498713090
o 9483704670
o 9483686501
o 9468678081
o 9468659912
o 9453651492
o 9453633323
o 9453633322
o 9438624902
o 9438606733
o 9438606732
o 9423598312
o 9423580143
o 9408571723
o 9408553554
o 9393545134
o 9393526965
o 9378518545
o 9378500376
o 9363491956
o 9363473787
o 9348465367
o 9348447198
o 9333438778
o 9333420609
o 9318412189
o 9318394020
o 9303385600
o 9303367431
o 9288359011
o 9288340842
o 9273332422
o 9273314253
o 9258305833
o 9258287664
o 9243279244
o 9243261075
o 9228252655
o 9228234486
o 9213226066
o 9213207897
o 9213207896
o 9198199476
o 9198181307
o 9183191056
o 9183172887
o 9183154718
o 9168164467
o 9168146298
o 9168128130
o 9153137879
o 9153119710
o 9153101542
o 9138111291
o 9138093122
o 9138074954
o 9123084703
o 9123066534
o 9123048366
o 9108058115
o 9108039946
o 9108021778
o 9093031527
o 9093013358
o 9092995190
o 9078004939
o 9077986770
o 9077986769
o 9077968601
o 9062978350
o 9062960181
o 9062942013
o 9047951762
o 9047933593
o 9047933591
o 9047915423
o 9032925172
o 9032907003
o 9032888835
o 9017898584
o 9017880415
o 9017862247
o 9002871996
o 9002853827
o 9002835659
o 8987845408
o 8987827239
o 8987827238
o 8987809070
o 8972818819
o 8972800650
o 8972782482
o 8957792231
o 8957774062
o 8957755894
o 8942765643
o 8942747474
o 8942729306
o 8927739055
o 8927720886
o 8927702719
o 8912712468
o 8912694299
o 8912694296
o 8912676129
o 8897685878
o 8897667709
o 8897667708
o 8897667706
o 8897649539
o 8882659288
o 8882641119
o 8882641118
o 8882622951
o 8867632700
o 8867614531
o 8867614530
o 8867596363
o 8852606112
o 8852587943
o 8852587942
o 8852587941
o 8852569774
o 8837579523
o 8837561354
o 8837561353
o 8837543187
o 8822552936
o 8822534767
o 8822534766
o 8822534765
o 8822516599
o 8807526348
o 8807508179
o 8807508178
o 8807508177
o 8807508176
o 8807490010
o 8792499759
o 8792481590
o 8792481589
o 8792463425
o 8777473174
o 8777455005
o 8777455004
o 8777455001
o 8777436837
o 8762446586
o 8762428417
o 8762428416
o 8762428414
o 8762410250
o 8747419999
o 8747401830
o 8747401829
o 8747401826
o 8747383662
o 8732393411
o 8732375242
o 8732375241
o 8732375238
o 8732357074
o 8717366823
o 8717348654
o 8717348653
o 8717348650
o 8717330486
o 8702340235
o 8702322066
o 8702322065
o 8702322061
o 8702303897
o 8687313646
o 8687295477
o 8687295476
o 8687295474
o 8687277310
o 8672287059
o 8672268890
o 8672268889
o 8672268886
o 8672250722
o 8657260471
o 8657242302
o 8657242301
o 8657242298
o 8657224134
o 8642233883
o 8642215714
o 8642215713
o 8642215712
o 8642215710
o 8642197546
o 8627207295
o 8627189126
o 8627189125
o 8627189123
o 8627189122
o 8627189121
o 8627189119
o 8627170955
o 8612180704
o 8612162535
o 8612162534
o 8612162532
o 8612162531
o 8612162530
o 8612162528
o 8612144364
o 8597154113
o 8597135944
o 8597135943
o 8597135941
o 8597135940
o 8597135938
o 8597117774
o 8582127523
o 8582109354
o 8582109353
o 8582109351
o 8582109350
o 8582109347
o 8582091183
o 8567100932
o 8567082763
o 8567082762
o 8567082760
o 8567082759
o 8567082758
o 8567082757
o 8567082756
o 8567064592
o 8552074341
o 8552056172
o 8552056171
o 8552056169
o 8552056168
o 8552056167
o 8552056166
o 8552038009
o 8537047758
o 8537029589
o 8537029587
o 8537029586
o 8537029585
o 8537029584
o 8537029583
o 8537029581
o 8537029580
o 8537029579
o 8537029578
o 8537011421
o 8522021170
o 8522003001
o 8522002999
o 8522002998
o 8522002997
o 8522002996
o 8522002994
o 8522002993
o 8522002992
o 8522002991
o 8521984834
o 8506994583
o 8506976414
o 8506976412
o 8506976411
o 8506976410
o 8506976409
o 8506976407
o 8506976406
o 8506976405
o 8506976404
o 8506958247
o 8491967996
o 8491949827
o 8491949825
o 8491949824
o 8491949823
o 8491949822
o 8491949821
o 8491949820
o 8491949818
o 8491949817
o 8491949816
o 8491949815
o 8491931658
o 8476941407
o 8476923238
o 8476923236
o 8476923235
o 8476923234
o 8476923233
o 8476923232
o 8476923231
o 8476923230
o 8476923228
o 8476923227
o 8476923226
o 8476923225
o 8476905068
o 8461914817
o 8461896648
o 8461896646
o 8461896645
o 8461896644
o 8461896643
o 8461896642
o 8461896640
o 8461896639
o 8461896638
o 8461896637
o 8461878480
o 8446888229
o 8446870060
o 8446870058
o 8446870057
o 8446870056
o 8446870055
o 8446870054
o 8446870053
o 8446870051
o 8446870050
o 8446870049
o 8446870048
o 8446851891
o 8431861640
o 8431843471
o 8431843469
o 8431843468
o 8431843467
o 8431843466
o 8431843465
o 8431843463
o 8431843462
o 8431843461
o 8431843460
o 8431825303
o 8416835052
o 8416816883
o 8416816881
o 8416816880
o 8416816879
o 8416816878
o 8416816877
o 8416816875
o 8416816874
o 8416816873
o 8416816872
o 8416798710
o 8401808459
o 8401790290
o 8401790288
o 8401790287
o 8401790286
o 8401790285
o 8401772126
o 8386781875
o 8386763706
o 8386763704
o 8386763703
o 8386763702
o 8386763701
o 8386763700
o 8386763699
o 8386763698
o 8386763697
o 8386763696
o 8386763695
o 8386763694
o 8386745535
o 8371755284
o 8371737115
o 8371737113
o 8371737112
o 8371737111
o 8371737110
o 8371737109
o 8371737108
o 8371737107
o 8371737106
o 8371737105
o 8371718946
o 8356728695
o 8356710526
o 8356710524
o 8356710523
o 8356710522
o 8356710521
o 8356710520
o 8356710519
o 8356710518
o 8356710517
o 8356710516
o 8356710515
o 8356710514
o 8356692355
o 8341702104
o 8341683935
o 8341683933
o 8341683932
o 8341683931
o 8341683930
o 8341683929
o 8341683928
o 8341683927
o 8341683926
o 8341683925
o 8341683924
o 8341683923
o 8341665764
o 8326675513
o 8326657344
o 8326657342
o 8326657341
o 8326657340
o 8326657339
o 8326657338
o 8326657337
o 8326639178
o 8311648927
o 8311630758
o 8311630756
o 8311630755
o 8311630754
o 8311630753
o 8311630752
o 8311630751
o 8311630750
o 8311612591
o 8296622340
o 8296604171
o 8296604169
o 8296604168
o 8296604167
o 8296604166
o 8296604165
o 8296604164
o 8296604163
o 8296604162
o 8296586003
o 8281595752
o 8281577583
o 8281577581
o 8281577580
o 8281577579
o 8281577578
o 8281577577
o 8281577576
o 8281577575
o 8281577574
o 8281577573
o 8281577572
o 8281577571
o 8281577570
o 8281577569
o 8281559410
o 8266569159
o 8266550990
o 8266550988
o 8266550987
o 8266550986
o 8266550985
o 8266550984
o 8266550983
o 8266550982
o 8266550981
o 8266550980
o 8251560740
o 8251542571
o 8251542569
o 8251542567
o 8251542566
o 8251542565
o 8251542564
o 8251542563
o 8251542562
o 8251542561
o 8251524399
o 8251524397
o 8251524396
o 8251524395
o 8251524394
o 8251524393
o 8251524392
o 8251524391
o 8251524390
o 8251524389
o 8236534149
o 8236515980
o 8236515978
o 8236515976
o 8236515975
o 8236515974
o 8236515973
o 8236515972
o 8236515971
o 8236515970
o 8236497812
o 8236497810
o 8236497809
o 8236497808
o 8236497807
o 8236497806
o 8236497805
o 8236497804
o 8236497803
o 8236497802
o 8221507562
o 8221489393
o 8221489391
o 8221489389
o 8221489388
o 8221489387
o 8221489386
o 8221489385
o 8221489384
o 8221489383
o 8221471221
o 8221471219
o 8221471218
o 8221471217
o 8221471216
o 8221471215
o 8221471214
o 8221471213
o 8221471212
o 8221471211
o 8206480971
o 8206462802
o 8206462800
o 8206462798
o 8206462797
o 8206462796
o 8206462795
o 8206462794
o 8206462793
o 8206462792
o 8191490721
o 8191472552
o 8191472550
o 8191472548
o 8191472547
o 8191472546
o 8191472545
o 8191472544
o 8191472543
o 8191472542
o 8191454385
o 8191436216
o 8191436214
o 8191436213
o 8191436212
o 8191436211
o 8191436210
o 8191436209
o 8191436208
o 8191436207
o 8191436206
o 8191418044
o 8191418042
o 8191418041
o 8191418040
o 8191418039
o 8191418038
o 8191418037
o 8191418036
o 8191418035
o 8191418034
o 8176427794
o 8176409625
o 8176409623
o 8176409621
o 8176409620
o 8176409619
o 8176409618
o 8176409617
o 8176409616
o 8176409615
o 8161437544
o 8161419375
o 8161419373
o 8161419371
o 8161419370
o 8161419369
o 8161419368
o 8161419367
o 8161419366
o 8161419365
o 8161401204
o 8161401202
o 8161401201
o 8161401200
o 8161401199
o 8161401198
o 8161401197
o 8161401196
o 8161401195
o 8161401194
o 8146410954
o 8146392785
o 8146392783
o 8146392781
o 8146392780
o 8146392779
o 8146392778
o 8146392777
o 8146392776
o 8146392775
o 8131420704
o 8131402535
o 8131402533
o 8131402531
o 8131402530
o 8131402529
o 8131402528
o 8131402527
o 8131402526
o 8131402525
o 8131384366
o 8131366197
o 8131366195
o 8131366194
o 8131366193
o 8131366192
o 8131366191
o 8131366190
o 8131366189
o 8131366188
o 8131366187
o 8116394116
o 8116375947
o 8116375945
o 8116375943
o 8116375942
o 8116375941
o 8116375940
o 8116375939
o 8116375938
o 8116375937
o 8116357778
o 8116357776
o 8116357774
o 8116357773
o 8116357772
o 8116357771
o 8116357770
o 8116357769
o 8116357768
o 8101385697
o 8101367528
o 8101367526
o 8101367524
o 8101367523
o 8101367522
o 8101367521
o 8101367520
o 8101367519
o 8101367518
o 8101349365
o 8101349363
o 8101349362
o 8101349361
o 8101349360
o 8101349359
o 8101349358
o 8101349357
o 8101349356
o 8101349355
o 8101331196
o 8101331194
o 8101331192
o 8101331191
o 8101331190
o 8101331189
o 8101331188
o 8101331187
o 8101331186
o 8086359115
o 8086340946
o 8086340944
o 8086340942
o 8086340941
o 8086340940
o 8086340939
o 8086340938
o 8086340937
o 8086340936
o 8086322777
o 8086322775
o 8086322773
o 8086322772
o 8086322771
o 8086322770
o 8086322769
o 8086322768
o 8086322767
o 8071350696
o 8071332527
o 8071332525
o 8071332523
o 8071332522
o 8071332521
o 8071332520
o 8071332519
o 8071332518
o 8071332517
o 8071332516
o 8071314357
o 8071314355
o 8071314353
o 8071314352
o 8071314351
o 8071314350
o 8071314349
o 8071314348
o 8071314347
o 8056342276
o 8056324107
o 8056324105
o 8056324103
o 8056324102
o 8056324101
o 8056324100
o 8056324099
o 8056324098
o 8056324097
o 8056305939
o 8056305937
o 8056305936
o 8056305935
o 8056305934
o 8056305933
o 8056305932
o 8056305931
o 8056305930
o 8056305929
o 8056305928
o 8056287769
o 8056287767
o 8056287765
o 8056287764
o 8056287763
o 8056287762
o 8056287761
o 8056287760
o 8056287759
o 8041315688
o 8041297519
o 8041297517
o 8041297515
o 8041297514
o 8041297513
o 8041297512
o 8041297511
o 8041297510
o 8041297509
o 8041297508
o 8041279349
o 8041279347
o 8041279345
o 8041279344
o 8041279343
o 8041279342
o 8041279341
o 8041279340
o 8041279339
o 8026307268
o 8026289099
o 8026289097
o 8026289095
o 8026289094
o 8026289093
o 8026289092
o 8026289091
o 8026289090
o 8026289089
o 8026270928
o 8026270926
o 8026270925
o 8026270924
o 8026270923
o 8026270922
o 8026270921
o 8026270920
o 8026270919
o 8026270918
o 8026270917
o 8026270916
o 8026252758
o 8026252756
o 8026252755
o 8026252754
o 8026252753
o 8026252752
o 8026252751
o 8026252750
o 8026252749
o 8026252748
o 8026252747
o 8026234588
o 8026234586
o 8026234584
o 8026234583
o 8026234582
o 8026234581
o 8026234580
o 8026234579
o 8026234578
o 8011262507
o 8011244338
o 8011244336
o 8011244334
o 8011244333
o 8011244332
o 8011244331
o 8011244330
o 8011244329
o 8011244328
o 8011244327
o 8011226168
o 8011226166
o 8011226164
o 8011226163
o 8011226162
o 8011226161
o 8011226160
o 8011226159
o 8011226158
o 7996254087
o 7996235918
o 7996235916
o 7996235914
o 7996235913
o 7996235912
o 7996235911
o 7996235910
o 7996235909
o 7996235908
o 7996217747
o 7996217745
o 7996217744
o 7996217743
o 7996217742
o 7996217741
o 7996217740
o 7996217739
o 7996217738
o 7996217737
o 7981245669
o 7981227500
o 7981227498
o 7981227496
o 7981227495
o 7981227494
o 7981227493
o 7981227492
o 7981227491
o 7981227490
o 7981227489
o 7981209330
o 7981209328
o 7981209326
o 7981209325
o 7981209324
o 7981209323
o 7981209322
o 7981209321
o 7981209320
o 7966237249
o 7966219080
o 7966219078
o 7966219076
o 7966219075
o 7966219074
o 7966219073
o 7966219072
o 7966219071
o 7966219070
o 7966200909
o 7966200907
o 7966200906
o 7966200905
o 7966200904
o 7966200903
o 7966200902
o 7966200901
o 7966200900
o 7966200899
o 7966182738
o 7966182736
o 7966182735
o 7966182734
o 7966182733
o 7966182732
o 7966182731
o 7966182730
o 7966182729
o 7966182728
o 7951228830
o 7951210661
o 7951210659
o 7951210658
o 7951210657
o 7951210656
o 7951210655
o 7951210654
o 7951210653
o 7951210652
o 7951210651
o 7951192490
o 7951192488
o 7951192487
o 7951192486
o 7951192485
o 7951192484
o 7951192483
o 7951192482
o 7951192481
o 7951192480
o 7951174319
o 7951174317
o 7951174316
o 7951174315
o 7951174314
o 7951174313
o 7951174312
o 7951174311
o 7951174310
o 7951174309
o 7951174308
o 7951156149
o 7951156147
o 7951156145
o 7951156144
o 7951156143
o 7951156142
o 7951156141
o 7951156140
o 7951156139
o 7936184068
o 7936165899
o 7936165897
o 7936165895
o 7936165894
o 7936165893
o 7936165892
o 7936165891
o 7936165890
o 7936165889
o 7936147728
o 7936147726
o 7936147725
o 7936147724
o 7936147723
o 7936147722
o 7936147721
o 7936147720
o 7936147719
o 7936147718
o 7936129557
o 7936129555
o 7936129554
o 7936129553
o 7936129552
o 7936129551
o 7936129550
o 7936129549
o 7936129548
o 7936129547
o 7921175649
o 7921157480
o 7921157478
o 7921157477
o 7921157476
o 7921157475
o 7921157474
o 7921157473
o 7921157472
o 7921157471
o 7921157470
o 7921139309
o 7921139307
o 7921139306
o 7921139305
o 7921139304
o 7921139303
o 7921139302
o 7921139301
o 7921139300
o 7921139299
o 7921121138
o 7921121136
o 7921121135
o 7921121134
o 7921121133
o 7921121132
o 7921121131
o 7921121130
o 7921121129
o 7921121128
o 7921121127
o 7921102970
o 7921102968
o 7921102967
o 7921102966
o 7921102965
o 7921102964
o 7921102963
o 7921102962
o 7921102961
o 7921102960
o 7921084799
o 7921084797
o 7921084796
o 7921084795
o 7921084794
o 7921084793
o 7921084792
o 7921084791
o 7921084790
o 7921084789
o 7921066628
o 7921066626
o 7921066625
o 7921066624
o 7921066623
o 7921066622
o 7921066621
o 7921066620
o 7921066619
o 7921066618
o 7906112720
o 7906094551
o 7906094549
o 7906094548
o 7906094547
o 7906094546
o 7906094545
o 7906094544
o 7906094543
o 7906094542
o 7906094541
o 7906076380
o 7906076378
o 7906076377
o 7906076376
o 7906076375
o 7906076374
o 7906076373
o 7906076372
o 7906076371
o 7906076370
o 7906058209
o 7906058207
o 7906058206
o 7906058205
o 7906058204
o 7906058203
o 7906058202
o 7906058201
o 7906058200
o 7906058199
o 7906058198
o 7906040039
o 7906040037
o 7906040035
o 7906040034
o 7906040033
o 7906040032
o 7906040031
o 7906040030
o 7906040029
o 7891067958
o 7891049789
o 7891049787
o 7891049785
o 7891049784
o 7891049783
o 7891049782
o 7891049781
o 7891049780
o 7891049779
o 7891031618
o 7891031616
o 7891031615
o 7891031614
o 7891031613
o 7891031612
o 7891031611
o 7891031610
o 7891031609
o 7891031608
o 7891013447
o 7891013445
o 7891013444
o 7891013443
o 7891013442
o 7891013441
o 7891013440
o 7891013439
o 7891013438
o 7891013437
o 7876059539
o 7876041370
o 7876041368
o 7876041367
o 7876041366
o 7876041365
o 7876041364
o 7876041363
o 7876041362
o 7876041361
o 7876041360
o 7876023199
o 7876023197
o 7876023196
o 7876023195
o 7876023194
o 7876023193
o 7876023192
o 7876023191
o 7876023190
o 7876023189
o 7876005028
o 7876005026
o 7876005025
o 7876005024
o 7876005023
o 7876005022
o 7876005021
o 7876005020
o 7876005019
o 7876005018
o 7876005017
o 7875986860
o 7875986858
o 7875986857
o 7875986856
o 7875986855
o 7875986854
o 7875986853
o 7875986852
o 7875986851
o 7875986850
o 7875968689
o 7875968687
o 7875968686
o 7875968685
o 7875968684
o 7875968683
o 7875968682
o 7875968681
o 7875968680
o 7875968679
o 7875968678
o 7861014777
o 7860996608
o 7860996606
o 7860996605
o 7860996604
o 7860996603
o 7860996602
o 7860996601
o 7860996600
o 7860996599
o 7860996598
o 7860978437
o 7860978435
o 7860978434
o 7860978433
o 7860978432
o 7860978431
o 7860978430
o 7860978429
o 7860978428
o 7860978427
o 7860960266
o 7860960264
o 7860960263
o 7860960262
o 7860960261
o 7860960260
o 7860960259
o 7860960258
o 7860960257
o 7860960256
o 7846006358
o 7845988189
o 7845988187
o 7845988186
o 7845988185
o 7845988184
o 7845988183
o 7845988182
o 7845988181
o 7845988180
o 7845988179
o 7845970018
o 7845970016
o 7845970015
o 7845970014
o 7845970013
o 7845970012
o 7845970011
o 7845970010
o 7845970009
o 7845970008
o 7845951847
o 7845951845
o 7845951844
o 7845951843
o 7845951842
o 7845951841
o 7845951840
o 7845951839
o 7845951838
o 7845951837
o 7845951836
o 7845933679
o 7845933677
o 7845933676
o 7845933675
o 7845933674
o 7845933673
o 7845933672
o 7845933671
o 7845933670
o 7845933669
o 7845915508
o 7845915506
o 7845915505
o 7845915504
o 7845915503
o 7845915502
o 7845915501
o 7845915500
o 7845915499
o 7845915498
o 7845897337
o 7845897335
o 7845897334
o 7845897333
o 7845897332
o 7845897331
o 7845897330
o 7845897329
o 7845897328
o 7845897327
o 7845897326
o 7830979768
o 7830961599
o 7830961597
o 7830961596
o 7830961595
o 7830961594
o 7830961593
o 7830961592
o 7830961591
o 7830961590
o 7830961589
o 7830943428
o 7830943426
o 7830943425
o 7830943424
o 7830943423
o 7830943422
o 7830943421
o 7830943420
o 7830943419
o 7830943418
o 7830925257
o 7830925255
o 7830925254
o 7830925253
o 7830925252
o 7830925251
o 7830925250
o 7830925249
o 7830925248
o 7830925247
o 7830925246
o 7830907089
o 7830907087
o 7830907086
o 7830907085
o 7830907084
o 7830907083
o 7830907082
o 7830907081
o 7830907080
o 7830907079
o 7830888918
o 7830888916
o 7830888915
o 7830888914
o 7830888913
o 7830888912
o 7830888911
o 7830888910
o 7830888909
o 7830888908
o 7830870747
o 7830870745
o 7830870744
o 7830870743
o 7830870742
o 7830870741
o 7830870740
o 7830870739
o 7830870738
o 7830870737
o 7830870736
o 7815953180
o 7815935011
o 7815935009
o 7815935008
o 7815935007
o 7815935006
o 7815935005
o 7815935004
o 7815935003
o 7815935002
o 7815935001
o 7815916840
o 7815916838
o 7815916837
o 7815916836
o 7815916835
o 7815916834
o 7815916833
o 7815916832
o 7815916831
o 7815916830
o 7815898669
o 7815898667
o 7815898666
o 7815898665
o 7815898664
o 7815898663
o 7815898662
o 7815898661
o 7815898660
o 7815898659
o 7815898658
o 7815880501
o 7815880499
o 7815880498
o 7815880497
o 7815880496
o 7815880495
o 7815880494
o 7815880493
o 7815880492
o 7815880491
o 7815862330
o 7815862328
o 7815862327
o 7815862326
o 7815862325
o 7815862324
o 7815862323
o 7815862322
o 7815862321
o 7815862320
o 7815844159
o 7815844157
o 7815844156
o 7815844155
o 7815844154
o 7815844153
o 7815844152
o 7815844151
o 7815844150
o 7815844149
o 7815844148
o 7815844147
o 7815844146
o 7815844145
o 7800926587
o 7800908418
o 7800908416
o 7800908415
o 7800908414
o 7800908413
o 7800908412
o 7800908411
o 7800908410
o 7800908409
o 7800908408
o 7800890247
o 7800890245
o 7800890244
o 7800890243
o 7800890242
o 7800890241
o 7800890240
o 7800890239
o 7800890238
o 7800890237
o 7800872076
o 7800872074
o 7800872073
o 7800872072
o 7800872071
o 7800872070
o 7800872069
o 7800872068
o 7800872067
o 7800872066
o 7800872065
o 7800853908
o 7800853906
o 7800853905
o 7800853904
o 7800853903
o 7800853902
o 7800853901
o 7800853900
o 7800853899
o 7800853898
o 7800835737
o 7800835735
o 7800835734
o 7800835733
o 7800835732
o 7800835731
o 7800835730
o 7800835729
o 7800835728
o 7800835727
o 7800817566
o 7800817564
o 7800817563
o 7800817562
o 7800817561
o 7800817560
o 7800817559
o 7800817558
o 7800817557
o 7800817556
o 7800817555
Killed
1979.575u 0.125s 33:05.47 99.7%	0+0k 0+0io 0pf+0w