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-i4000d0u98-94.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i4000d0u98-94.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 13225725276
o 13210698687
o 13195672098
o 13180645509
o 13165618920
o 13150592331
o 13135565742
o 13135565741
o 13120539152
o 13105512563
o 13090485974
o 13075459385
o 13060432796
o 13045406207
o 13045406206
o 13030379617
o 13030379616
o 13015353027
o 13015353026
o 13000326437
o 12985299848
o 12970273259
o 12955246670
o 12940220081
o 12925193492
o 12925193491
o 12910166902
o 12895140313
o 12880113724
o 12865087135
o 12865087134
o 12850060545
o 12835033956
o 12835033955
o 12820007366
o 12804980777
o 12804980776
o 12789954187
o 12774927598
o 12774927597
o 12759901008
o 12744874419
o 12729847830
o 12729847829
o 12714821240
o 12699794651
o 12684768062
o 12669741473
o 12654714884
o 12654714883
o 12639688294
o 12639688293
o 12624661704
o 12609635115
o 12594608526
o 12594608525
o 12579581936
o 12564555347
o 12549528758
o 12534502169
o 12534502168
o 12519475579
o 12504448990
o 12489422401
o 12474395812
o 12459369223
o 12444342634
o 12429316045
o 12414289456
o 12399262867
o 12384236278
o 12369209689
o 12354183100
o 12339156511
o 12324129922
o 12309103333
o 12294076744
o 12279050155
o 12264023566
o 12248996977
o 12233970388
o 12218943799
o 12203917210
o 12203917209
o 12188890620
o 12173864031
o 12158837442
o 12143810853
o 12128784264
o 12113757675
o 12098731086
o 12083704497
o 12068677908
o 12053651319
o 12038624730
o 12023598141
o 12008571552
o 11993544963
o 11978518374
o 11963491785
o 11948465196
o 11933438607
o 11933438606
o 11918412017
o 11903385428
o 11888358839
o 11873332250
o 11858305661
o 11843279072
o 11843279071
o 11828252482
o 11813225893
o 11798199304
o 11783172715
o 11768146126
o 11753119537
o 11738092948
o 11738092947
o 11723066358
o 11708039769
o 11693013180
o 11677986591
o 11662960002
o 11647933413
o 11632906824
o 11617880235
o 11602853646
o 11587827057
o 11572800468
o 11557773879
o 11542747290
o 11527720701
o 11512694112
o 11497667523
o 11482640934
o 11467614345
o 11452587756
o 11437561167
o 11422534578
o 11407507989
o 11392481400
o 11377454811
o 11362428222
o 11347401633
o 11332375044
o 11317348455
o 11302321866
o 11287295277
o 11272268688
o 11257242099
o 11242215510
o 11242215509
o 11227188920
o 11212162331
o 11197135742
o 11182109153
o 11167082564
o 11152055975
o 11137029386
o 11122002797
o 11106976208
o 11091949619
o 11076923030
o 11061896441
o 11046869852
o 11046869851
o 11031843262
o 11016816673
o 11001790084
o 10986763495
o 10971736906
o 10956710317
o 10941683728
o 10926657139
o 10911630550
o 10911630549
o 10896603960
o 10881577371
o 10866550782
o 10851524193
o 10836497604
o 10821471015
o 10806444426
o 10791417837
o 10776391248
o 10776391247
o 10761364658
o 10746338069
o 10731311480
o 10716284891
o 10701258302
o 10686249882
o 10686231713
o 10671223293
o 10671205124
o 10656196704
o 10656178535
o 10641170115
o 10641151946
o 10626143526
o 10626125357
o 10611116937
o 10611098768
o 10596090348
o 10596072180
o 10581063760
o 10581045592
o 10566037172
o 10566019004
o 10551010584
o 10550992416
o 10535983996
o 10535965828
o 10520957408
o 10520939240
o 10505930820
o 10505930819
o 10505912651
o 10490904231
o 10490886063
o 10475877643
o 10475859475
o 10460851055
o 10460832887
o 10445824467
o 10445806300
o 10430797880
o 10430779714
o 10415771294
o 10415753128
o 10400744708
o 10400744703
o 10400726537
o 10385718117
o 10385718116
o 10385699950
o 10370691530
o 10370673364
o 10355664944
o 10355664943
o 10355664942
o 10355646776
o 10340638356
o 10340638354
o 10340620188
o 10325611768
o 10325611767
o 10325611766
o 10325593600
o 10310585180
o 10310585178
o 10310567012
o 10295558592
o 10295558591
o 10295558590
o 10295540424
o 10280532004
o 10280532002
o 10280513836
o 10265505416
o 10265505415
o 10265505414
o 10265487248
o 10250478828
o 10250478826
o 10250460660
o 10235452240
o 10235452238
o 10235452237
o 10235452236
o 10235452235
o 10235434069
o 10220425649
o 10220425647
o 10220425646
o 10220425645
o 10220425644
o 10220407478
o 10205399058
o 10205399056
o 10205399055
o 10205399054
o 10205399053
o 10205380887
o 10190372467
o 10190372465
o 10190372463
o 10190354298
o 10175345878
o 10175345876
o 10175345874
o 10175327711
o 10160319291
o 10160319289
o 10160319287
o 10160301126
o 10145292706
o 10145292704
o 10145292702
o 10145274546
o 10130266126
o 10130266124
o 10130266122
o 10130247957
o 10130247955
o 10130247953
o 10115239536
o 10115239534
o 10115239532
o 10115221367
o 10115221365
o 10115221363
o 10100212949
o 10100212947
o 10100212945
o 10100194780
o 10100194778
o 10100194776
o 10100194775
o 10085186358
o 10085186356
o 10085186354
o 10085168189
o 10085168187
o 10085168185
o 10070159771
o 10070159769
o 10070159767
o 10070141602
o 10070141600
o 10070141598
o 10070141597
o 10070141596
o 10055133179
o 10055133177
o 10055133175
o 10055115010
o 10055115008
o 10055115006
o 10040106592
o 10040106590
o 10040106588
o 10040088423
o 10040088421
o 10040088419
o 10040088418
o 10040088417
o 10040088416
o 10025079999
o 10025079997
o 10025079995
o 10025061830
o 10025061828
o 10025061826
o 10010053412
o 10010053410
o 10010053408
o 10010035243
o 10010035241
o 10010035239
o 9995026826
o 9995026824
o 9995026822
o 9995008657
o 9995008655
o 9995008653
o 9995008652
o 9995008650
o 9995008648
o 9980000235
o 9980000233
o 9980000231
o 9979982066
o 9979982064
o 9979982062
o 9979982061
o 9979982059
o 9979982057
o 9964973644
o 9964973642
o 9964973640
o 9964955475
o 9964955473
o 9964955471
o 9949947058
o 9949947056
o 9949947054
o 9949928889
o 9949928887
o 9949928885
o 9949928884
o 9949928882
o 9949928880
o 9934920467
o 9934920465
o 9934920463
o 9934902298
o 9934902296
o 9934902294
o 9934902292
o 9919893881
o 9919893879
o 9919893877
o 9919893875
o 9919875712
o 9919875710
o 9919875708
o 9919875706
o 9919875704
o 9919875702
o 9904867291
o 9904867289
o 9904867287
o 9904867285
o 9904849122
o 9904849120
o 9904849118
o 9904849116
o 9904849114
o 9904849112
o 9889840701
o 9889840699
o 9889840697
o 9889840695
o 9889822532
o 9889822530
o 9889822528
o 9889822526
o 9889822524
o 9874814113
o 9874814111
o 9874814109
o 9874814107
o 9874795944
o 9874795942
o 9874795940
o 9874795938
o 9874795936
o 9874795934
o 9859787523
o 9859787521
o 9859787519
o 9859787517
o 9859769354
o 9859769352
o 9859769350
o 9859769348
o 9859769347
o 9859769345
o 9844760934
o 9844760932
o 9844760930
o 9844760928
o 9844742765
o 9844742763
o 9844742761
o 9844742759
o 9844742757
o 9844742755
o 9829734344
o 9829734342
o 9829734340
o 9829734338
o 9829716175
o 9829716173
o 9829716171
o 9829716169
o 9814744094
o 9814744092
o 9814744090
o 9814744088
o 9814725925
o 9814725923
o 9814725921
o 9814725919
o 9814725917
o 9814725915
o 9799717504
o 9799717502
o 9799717500
o 9799717498
o 9799699335
o 9799699333
o 9799699331
o 9799699329
o 9784709085
o 9784709083
o 9784709081
o 9784709079
o 9784690916
o 9784690914
o 9784690912
o 9784690910
o 9784690908
o 9784672745
o 9784672743
o 9784672741
o 9784672739
o 9784672738
o 9784672736
o 9784654573
o 9784654571
o 9784654569
o 9784654567
o 9769664323
o 9769664321
o 9769664319
o 9769664317
o 9769646154
o 9769646152
o 9769646150
o 9769646148
o 9754655904
o 9754655902
o 9754655900
o 9754655898
o 9754637735
o 9754637733
o 9754637731
o 9754637729
o 9754637727
o 9754619564
o 9754619562
o 9754619560
o 9754619558
o 9754619557
o 9754619555
o 9754601392
o 9754601390
o 9754601388
o 9754601386
o 9739629313
o 9739629311
o 9739629309
o 9739629307
o 9739611144
o 9739611142
o 9739611140
o 9739611138
o 9739611136
o 9739592973
o 9739592971
o 9739592969
o 9739592967
o 9739592966
o 9739592964
o 9739574801
o 9739574799
o 9739574797
o 9739574795
o 9739574793
o 9739556630
o 9739556628
o 9739556626
o 9739556624
o 9724584553
o 9724584551
o 9724584549
o 9724584547
o 9724566384
o 9724566382
o 9724566380
o 9724566378
o 9724566376
o 9724548213
o 9724548211
o 9724548209
o 9724548207
o 9724548206
o 9724548204
o 9724530041
o 9724530039
o 9724530037
o 9724530035
o 9709557962
o 9709557960
o 9709557958
o 9709557956
o 9709539793
o 9709539791
o 9709539789
o 9709539787
o 9709539785
o 9709521622
o 9709521620
o 9709521618
o 9709521616
o 9709521615
o 9709521613
o 9709503450
o 9709503448
o 9709503446
o 9709503444
o 9709503442
o 9709485279
o 9709485277
o 9709485275
o 9709485273
o 9694495035
o 9694495033
o 9694495031
o 9694495029
o 9694476866
o 9694476864
o 9694476862
o 9694476860
o 9679486616
o 9679486614
o 9679486612
o 9679486610
o 9679468447
o 9679468445
o 9679468443
o 9679468441
o 9679468439
o 9679450276
o 9679450274
o 9679450272
o 9679450270
o 9679450269
o 9679450267
o 9679432104
o 9679432102
o 9679432100
o 9679432098
o 9664460025
o 9664460023
o 9664460021
o 9664460019
o 9664441856
o 9664441854
o 9664441852
o 9664441850
o 9664441848
o 9664423685
o 9664423683
o 9664423681
o 9664423679
o 9664423678
o 9664423676
o 9664405513
o 9664405511
o 9664405509
o 9664405507
o 9664405505
o 9664387342
o 9664387340
o 9664387338
o 9664387336
o 9649415265
o 9649415263
o 9649415261
o 9649415259
o 9649397096
o 9649397094
o 9649397092
o 9649397090
o 9649397088
o 9649378925
o 9649378923
o 9649378921
o 9649378919
o 9649378918
o 9649378916
o 9649360753
o 9649360751
o 9649360749
o 9649360747
o 9634388674
o 9634388672
o 9634388670
o 9634388668
o 9634370505
o 9634370503
o 9634370501
o 9634370499
o 9634370497
o 9634352334
o 9634352332
o 9634352330
o 9634352328
o 9634352327
o 9634352325
o 9634334162
o 9634334160
o 9634334158
o 9634334156
o 9634334154
o 9634315991
o 9634315989
o 9634315987
o 9634315985
o 9619362083
o 9619362081
o 9619362079
o 9619362077
o 9619343914
o 9619343912
o 9619343910
o 9619343908
o 9619343906
o 9619325743
o 9619325741
o 9619325739
o 9619325737
o 9619325736
o 9619325734
o 9619307571
o 9619307569
o 9619307567
o 9619307565
o 9619307563
o 9619289400
o 9619289398
o 9619289396
o 9619289394
o 9604335494
o 9604335492
o 9604335490
o 9604335488
o 9604317325
o 9604317323
o 9604317321
o 9604317319
o 9604317317
o 9604299154
o 9604299152
o 9604299150
o 9604299148
o 9604299147
o 9604299145
o 9604280982
o 9604280980
o 9604280978
o 9604280976
o 9604280974
o 9604262811
o 9604262809
o 9604262807
o 9604262805
o 9604262804
o 9589308904
o 9589308902
o 9589308900
o 9589308898
o 9589290735
o 9589290733
o 9589290731
o 9589290729
o 9589290727
o 9589272564
o 9589272562
o 9589272560
o 9589272558
o 9589272557
o 9589272555
o 9589254392
o 9589254390
o 9589254388
o 9589254386
o 9589254384
o 9589236221
o 9589236219
o 9589236217
o 9589236215
o 9589236214
o 9574282314
o 9574282312
o 9574282310
o 9574282308
o 9574264145
o 9574264143
o 9574264141
o 9574264139
o 9574264137
o 9574245974
o 9574245972
o 9574245970
o 9574245968
o 9574245967
o 9574245965
o 9574227802
o 9574227800
o 9574227798
o 9574227796
o 9574227794
o 9574209631
o 9574209629
o 9574209627
o 9574209625
o 9574209624
o 9559255724
o 9559255722
o 9559255720
o 9559255718
o 9559237555
o 9559237553
o 9559237551
o 9559237549
o 9559237547
o 9559219384
o 9559219382
o 9559219380
o 9559219378
o 9559219377
o 9559219375
o 9559201212
o 9559201210
o 9559201208
o 9559201206
o 9559201204
o 9559183041
o 9559183039
o 9559183037
o 9559183035
o 9559183034
o 9544229134
o 9544229132
o 9544229130
o 9544229128
o 9544210965
o 9544210963
o 9544210961
o 9544210959
o 9544210957
o 9544192794
o 9544192792
o 9544192790
o 9544192788
o 9544192787
o 9544192785
o 9544174622
o 9544174620
o 9544174618
o 9544174616
o 9544174614
o 9544156451
o 9544156449
o 9544156447
o 9544156445
o 9544156444
o 9544156443
o 9529202543
o 9529202541
o 9529202539
o 9529202537
o 9529184374
o 9529184372
o 9529184370
o 9529184368
o 9529184366
o 9529166203
o 9529166201
o 9529166199
o 9529166197
o 9529166196
o 9529166194
o 9529148031
o 9529148029
o 9529148027
o 9529148025
o 9529148023
o 9529129860
o 9529129858
o 9529129856
o 9529129854
o 9529129853
o 9514175953
o 9514175951
o 9514175949
o 9514175947
o 9514157784
o 9514157782
o 9514157780
o 9514157778
o 9514157776
o 9514139613
o 9514139611
o 9514139609
o 9514139607
o 9514139606
o 9514139604
o 9514121441
o 9514121439
o 9514121437
o 9514121435
o 9514121433
o 9514103270
o 9514103268
o 9514103266
o 9514103264
o 9514103263
o 9499149363
o 9499149361
o 9499149359
o 9499149357
o 9499131194
o 9499131192
o 9499131190
o 9499131188
o 9499131186
o 9499113023
o 9499113021
o 9499113019
o 9499113017
o 9499113016
o 9499113014
o 9499094851
o 9499094849
o 9499094847
o 9499094845
o 9499094843
o 9499076680
o 9499076678
o 9499076676
o 9499076674
o 9499076673
o 9484122773
o 9484122771
o 9484122769
o 9484122767
o 9484104604
o 9484104602
o 9484104600
o 9484104598
o 9484104596
o 9484086433
o 9484086431
o 9484086429
o 9484086427
o 9484086426
o 9484086424
o 9484068261
o 9484068259
o 9484068257
o 9484068255
o 9484068253
o 9484050090
o 9484050088
o 9484050086
o 9484050084
o 9484050083
o 9469096183
o 9469096181
o 9469096179
o 9469096177
o 9469078014
o 9469078012
o 9469078010
o 9469078008
o 9469078006
o 9469059843
o 9469059841
o 9469059839
o 9469059837
o 9469059836
o 9469059834
o 9469041671
o 9469041669
o 9469041667
o 9469041665
o 9469041663
o 9469023500
o 9469023498
o 9469023496
o 9469023494
o 9469023493
o 9454069593
o 9454069591
o 9454069589
o 9454069587
o 9454051424
o 9454051422
o 9454051420
o 9454051418
o 9454051416
o 9454033253
o 9454033251
o 9454033249
o 9454033247
o 9454033246
o 9454033244
o 9454015081
o 9454015079
o 9454015077
o 9454015075
o 9454015073
o 9453996910
o 9453996908
o 9453996906
o 9453996904
o 9453996903
o 9439043003
o 9439043001
o 9439042999
o 9439042997
o 9439024834
o 9439024832
o 9439024830
o 9439024828
o 9439024826
o 9439006663
o 9439006661
o 9439006659
o 9439006657
o 9439006656
o 9439006654
o 9438988491
o 9438988489
o 9438988487
o 9438988485
o 9438988483
o 9438970320
o 9438970318
o 9438970316
o 9438970314
o 9438970313
o 9424016413
o 9424016411
o 9424016409
o 9424016407
o 9423998244
o 9423998242
o 9423998240
o 9423998238
o 9423998236
o 9423980073
o 9423980071
o 9423980069
o 9423980067
o 9423980066
o 9423980064
o 9423961901
o 9423961899
o 9423961897
o 9423961895
o 9423961893
o 9423943730
o 9423943728
o 9423943726
o 9423943724
o 9423943723
o 9408989823
o 9408989821
o 9408989819
o 9408989817
o 9408971654
o 9408971652
o 9408971650
o 9408971648
o 9408971646
o 9408953483
o 9408953481
o 9408953479
o 9408953477
o 9408953476
o 9408953474
o 9408935311
o 9408935309
o 9408935307
o 9408935305
o 9408935303
o 9408917140
o 9408917138
o 9408917136
o 9408917134
o 9408917133
o 9393963233
o 9393963231
o 9393963229
o 9393963227
o 9393945064
o 9393945062
o 9393945060
o 9393945058
o 9393945056
o 9393926893
o 9393926891
o 9393926889
o 9393926887
o 9393926886
o 9393926884
o 9393908721
o 9393908719
o 9393908717
o 9393908715
o 9393908713
o 9393890550
o 9393890548
o 9393890546
o 9393890544
o 9393890543
o 9378936643
o 9378936641
o 9378936639
o 9378936637
o 9378918474
o 9378918472
o 9378918470
o 9378918468
o 9378918466
o 9378900303
o 9378900301
o 9378900299
o 9378900297
o 9378900296
o 9378900294
o 9378882131
o 9378882129
o 9378882127
o 9378882125
o 9378882123
o 9378863960
o 9378863958
o 9378863956
o 9378863954
o 9378863953
o 9378863952
o 9363910052
o 9363910050
o 9363910048
o 9363910046
o 9363891883
o 9363891881
o 9363891879
o 9363891877
o 9363891875
o 9363873712
o 9363873710
o 9363873708
o 9363873706
o 9363873705
o 9363873703
o 9363855540
o 9363855538
o 9363855536
o 9363855534
o 9363855532
o 9363837369
o 9363837367
o 9363837365
o 9363837363
o 9363837362
o 9348883462
o 9348883460
o 9348883458
o 9348883456
o 9348865293
o 9348865291
o 9348865289
o 9348865287
o 9348865285
o 9348847122
o 9348847120
o 9348847118
o 9348847116
o 9348847115
o 9348847113
o 9348828950
o 9348828948
o 9348828946
o 9348828944
o 9348828942
o 9348810779
o 9348810777
o 9348810775
o 9348810773
o 9348810772
o 9333856872
o 9333856870
o 9333856868
o 9333856866
o 9333838703
o 9333838701
o 9333838699
o 9333838697
o 9333838695
o 9333820532
o 9333820530
o 9333820528
o 9333820526
o 9333820525
o 9333820523
o 9333802360
o 9333802358
o 9333802356
o 9333802354
o 9333802352
o 9333784189
o 9333784187
o 9333784185
o 9333784183
o 9333784182
o 9318830282
o 9318830280
o 9318830278
o 9318830276
o 9318812113
o 9318812111
o 9318812109
o 9318812107
o 9318812105
o 9318793942
o 9318793940
o 9318793938
o 9318793936
o 9318793935
o 9318793933
o 9318775770
o 9318775768
o 9318775766
o 9318775764
o 9318775762
o 9318757599
o 9318757597
o 9318757595
o 9318757593
o 9318757592
o 9303803692
o 9303803690
o 9303803688
o 9303803686
o 9303785523
o 9303785521
o 9303785519
o 9303785517
o 9303785515
o 9303767352
o 9303767350
o 9303767348
o 9303767346
o 9303767345
o 9303767343
o 9303749180
o 9303749178
o 9303749176
o 9303749174
o 9303749172
o 9303731009
o 9303731007
o 9303731005
o 9303731003
o 9303731002
o 9288777102
o 9288777100
o 9288777098
o 9288777096
o 9288758933
o 9288758931
o 9288758929
o 9288758927
o 9288758925
o 9288740762
o 9288740760
o 9288740758
o 9288740756
o 9288740755
o 9288740753
o 9288722590
o 9288722588
o 9288722586
o 9288722584
o 9288722582
o 9288704419
o 9288704417
o 9288704415
o 9288704413
o 9288704412
o 9273750512
o 9273750510
o 9273750508
o 9273750506
o 9273732343
o 9273732341
o 9273732339
o 9273732337
o 9273732335
o 9273714172
o 9273714170
o 9273714168
o 9273714166
o 9273714165
o 9273714163
o 9273696000
o 9273695998
o 9273695996
o 9273695994
o 9273695992
o 9273677829
o 9273677827
o 9273677825
o 9273677823
o 9273677822
o 9258723922
o 9258723920
o 9258723918
o 9258723916
o 9258705753
o 9258705751
o 9258705749
o 9258705747
o 9258705745
o 9258687582
o 9258687580
o 9258687578
o 9258687576
o 9258687575
o 9258687573
o 9258669410
o 9258669408
o 9258669406
o 9258669404
o 9258669402
o 9258651239
o 9258651237
o 9258651235
o 9258651233
o 9258651232
o 9243697332
o 9243697330
o 9243697328
o 9243697326
o 9243679163
o 9243679161
o 9243679159
o 9243679157
o 9243679155
o 9243660992
o 9243660990
o 9243660988
o 9243660986
o 9243660985
o 9243660983
o 9243642820
o 9243642818
o 9243642816
o 9243642814
o 9243642812
o 9243624649
o 9243624647
o 9243624645
o 9243624643
o 9243624642
o 9228670742
o 9228670740
o 9228670738
o 9228670736
o 9228652573
o 9228652571
o 9228652569
o 9228652567
o 9228652565
o 9228634402
o 9228634400
o 9228634398
o 9228634396
o 9228634395
o 9228634393
o 9228616230
o 9228616228
o 9228616226
o 9228616224
o 9228616222
o 9228598059
o 9228598057
o 9228598055
o 9228598053
o 9228598052
o 9213644152
o 9213644150
o 9213644148
o 9213644146
o 9213625983
o 9213625981
o 9213625979
o 9213625977
o 9213625975
o 9213607812
o 9213607810
o 9213607808
o 9213607806
o 9213607805
o 9213607803
o 9213589640
o 9213589638
o 9213589636
o 9213589634
o 9213589632
o 9213571469
o 9213571467
o 9213571465
o 9213571463
o 9213571462
o 9198617562
o 9198617560
o 9198617558
o 9198617556
o 9198599393
o 9198599391
o 9198599389
o 9198599387
o 9198599385
o 9198581222
o 9198581220
o 9198581218
o 9198581216
o 9198581215
o 9198581213
o 9198563050
o 9198563048
o 9198563046
o 9198563044
o 9198563042
o 9198544879
o 9198544877
o 9198544875
o 9198544873
o 9198544872
o 9183590972
o 9183590970
o 9183590968
o 9183590966
o 9183572803
o 9183572801
o 9183572799
o 9183572797
o 9183572795
o 9183554632
o 9183554630
o 9183554628
o 9183554626
o 9183554625
o 9183554623
o 9183536460
o 9183536458
o 9183536456
o 9183536454
o 9183536452
o 9183518289
o 9183518287
o 9183518285
o 9183518283
o 9168564383
o 9168564381
o 9168564379
o 9168564377
o 9168546214
o 9168546212
o 9168546210
o 9168546208
o 9168546206
o 9168528043
o 9168528041
o 9168528039
o 9168528037
o 9168528036
o 9168528034
o 9168509871
o 9168509869
o 9168509867
o 9168509865
o 9168509863
o 9168491700
o 9168491698
o 9168491696
o 9168491694
o 9153537794
o 9153537792
o 9153537790
o 9153537788
o 9153519625
o 9153519623
o 9153519621
o 9153519619
o 9153519617
o 9153501454
o 9153501452
o 9153501450
o 9153501448
o 9153501447
o 9153501445
o 9153483282
o 9153483280
o 9153483278
o 9153483276
o 9153483274
o 9153465111
o 9153465109
o 9153465107
o 9153465105
o 9153465104
o 9138511204
o 9138511202
o 9138511200
o 9138511198
o 9138493035
o 9138493033
o 9138493031
o 9138493029
o 9138493027
o 9138474864
o 9138474862
o 9138474860
o 9138474858
o 9138474857
o 9138474855
o 9138456692
o 9138456690
o 9138456688
o 9138456686
o 9138456684
o 9138438521
o 9138438519
o 9138438517
o 9138438515
o 9138438514
o 9123484614
o 9123484612
o 9123484610
o 9123484608
o 9123466445
o 9123466443
o 9123466441
o 9123466439
o 9123466437
o 9123448274
o 9123448272
o 9123448270
o 9123448268
o 9123448267
o 9123448265
o 9123430102
o 9123430100
o 9123430098
o 9123430096
o 9123430094
o 9123411931
o 9123411929
o 9123411927
o 9123411925
o 9108458031
o 9108458029
o 9108458027
o 9108458025
o 9108439862
o 9108439860
o 9108439858
o 9108439856
o 9108439854
o 9108421691
o 9108421689
o 9108421687
o 9108421685
o 9108421684
o 9108421682
o 9108403519
o 9108403517
o 9108403515
o 9108403513
o 9108403511
o 9108385348
o 9108385346
o 9108385344
o 9108385342
o 9108385341
o 9093431441
o 9093431439
o 9093431437
o 9093431435
o 9093413272
o 9093413270
o 9093413268
o 9093413266
o 9093413264
o 9093395101
o 9093395099
o 9093395097
o 9093395095
o 9093395094
o 9093395092
o 9093376929
o 9093376927
o 9093376925
o 9093376923
o 9093376921
o 9093358758
o 9093358756
o 9093358754
o 9093358752
o 9093358751
o 9078404851
o 9078404849
o 9078404847
o 9078404845
o 9078386682
o 9078386680
o 9078386678
o 9078386676
o 9078386674
o 9078368511
o 9078368509
o 9078368507
o 9078368505
o 9078368504
o 9078368502
o 9078350339
o 9078350337
o 9078350335
o 9078350333
o 9078350331
o 9078332168
o 9078332166
o 9078332164
o 9078332162
o 9078332161
o 9063378261
o 9063378259
o 9063378257
o 9063378255
o 9063360092
o 9063360090
o 9063360088
o 9063360086
o 9063360084
o 9063341921
o 9063341919
o 9063341917
o 9063341915
o 9063341914
o 9063341912
o 9063323749
o 9063323747
o 9063323745
o 9063323743
o 9063323741
o 9063305578
o 9063305576
o 9063305574
o 9063305572
Killed
1979.597u 0.103s 33:04.36 99.7%	0+0k 0+0io 0pf+0w