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-61.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i3000d0u98-61.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 11437306615
o 11422280026
o 11407253437
o 11392226848
o 11377200259
o 11362173670
o 11347147081
o 11332120492
o 11317093903
o 11302067314
o 11287040725
o 11272014136
o 11256987547
o 11256987546
o 11241960957
o 11226934368
o 11211907779
o 11211907778
o 11196881189
o 11196881188
o 11181854599
o 11166828010
o 11151801421
o 11136774832
o 11121748243
o 11106721654
o 11091695065
o 11076668476
o 11061641887
o 11046615298
o 11046615297
o 11031588708
o 11031588707
o 11016562118
o 11016562117
o 11001535528
o 10986508939
o 10971482350
o 10956455761
o 10941429172
o 10926402583
o 10911375994
o 10896349405
o 10881322816
o 10866296227
o 10851269638
o 10836243049
o 10821216460
o 10806189871
o 10791163282
o 10776136693
o 10761110104
o 10746083515
o 10731056926
o 10716030337
o 10716030336
o 10701003747
o 10685977158
o 10670950569
o 10655923980
o 10640897391
o 10625870802
o 10625870801
o 10610844212
o 10595817623
o 10580791034
o 10565764445
o 10550737856
o 10535711267
o 10520684678
o 10505658089
o 10490631500
o 10475604911
o 10460578322
o 10445551733
o 10430525144
o 10415498555
o 10400471966
o 10385445377
o 10370418788
o 10355392199
o 10340365610
o 10340365609
o 10325339020
o 10310312431
o 10310312430
o 10295285841
o 10280259252
o 10265232663
o 10250206074
o 10235179485
o 10220152896
o 10220152895
o 10205126306
o 10190099717
o 10175073128
o 10160046539
o 10145019950
o 10129993361
o 10114966772
o 10099940183
o 10084913594
o 10069887005
o 10054860416
o 10054860415
o 10039833826
o 10024807237
o 10009780648
o 9994754059
o 9979727470
o 9964700881
o 9949674292
o 9934647703
o 9919621114
o 9904594525
o 9889567936
o 9874541347
o 9859514758
o 9844488169
o 9829461580
o 9814434991
o 9799408402
o 9784381813
o 9769355224
o 9769355223
o 9754328634
o 9739302045
o 9724275456
o 9709248867
o 9709248866
o 9694222277
o 9679195688
o 9664169099
o 9649142510
o 9634115921
o 9619089332
o 9619089331
o 9604062742
o 9589036153
o 9574009564
o 9558982975
o 9543956386
o 9528929797
o 9513903208
o 9498876619
o 9483850030
o 9468823441
o 9453796852
o 9438770263
o 9423743674
o 9408717085
o 9393690496
o 9378663907
o 9363637318
o 9348610729
o 9333584140
o 9318557551
o 9303530962
o 9288504373
o 9273477784
o 9258451195
o 9243424606
o 9228398017
o 9213371428
o 9198344839
o 9198344838
o 9183318249
o 9168291660
o 9153265071
o 9153265070
o 9138238481
o 9123211892
o 9108185303
o 9093158714
o 9078132125
o 9063105536
o 9048078947
o 9033052358
o 9018025769
o 9002999180
o 8987972591
o 8972946002
o 8957937582
o 8957919413
o 8942910993
o 8942892825
o 8927884405
o 8927884404
o 8927866236
o 8912857816
o 8912839648
o 8897831228
o 8897813060
o 8882804640
o 8882786472
o 8867778052
o 8867759884
o 8852751464
o 8852733296
o 8837724876
o 8837706708
o 8822698288
o 8822680120
o 8807671700
o 8792663280
o 8792645112
o 8777636692
o 8777618525
o 8762610105
o 8762591938
o 8747583518
o 8747565351
o 8732556931
o 8732538765
o 8717530345
o 8702521927
o 8702503758
o 8687495341
o 8687477172
o 8687477167
o 8672468750
o 8672450581
o 8672450578
o 8657442161
o 8657423992
o 8657405826
o 8642397406
o 8642397404
o 8627388987
o 8627370818
o 8627370816
o 8612362399
o 8612344230
o 8612344228
o 8597335811
o 8597317642
o 8597317640
o 8582309223
o 8582291054
o 8582291052
o 8567282635
o 8567264466
o 8567264464
o 8552256047
o 8552237878
o 8552237877
o 8537229460
o 8537211291
o 8537211290
o 8537211289
o 8522202872
o 8522184703
o 8522184702
o 8522184701
o 8507176284
o 8507158115
o 8507158114
o 8492149697
o 8492131528
o 8492131527
o 8477123110
o 8477104941
o 8477104940
o 8477104939
o 8462096522
o 8462078353
o 8462078352
o 8462078351
o 8447069934
o 8447051765
o 8447051764
o 8447051763
o 8432043346
o 8432025177
o 8432025176
o 8432025175
o 8417016758
o 8416998589
o 8416998587
o 8416998585
o 8416998584
o 8416998582
o 8401990167
o 8401971998
o 8401971995
o 8401971993
o 8401971991
o 8401971989
o 8401953833
o 8386945413
o 8386945411
o 8386945410
o 8386945408
o 8386945406
o 8386945404
o 8386945403
o 8386945401
o 8371936994
o 8371918825
o 8371918823
o 8371918821
o 8371918820
o 8371918818
o 8371918816
o 8371918815
o 8371918813
o 8356910406
o 8356892237
o 8356892235
o 8356892233
o 8356892232
o 8356892230
o 8356892228
o 8356874075
o 8341865655
o 8341865653
o 8341865651
o 8341865650
o 8341865648
o 8341865646
o 8341865645
o 8341865643
o 8341865641
o 8341847488
o 8326839068
o 8326839065
o 8326839063
o 8326839061
o 8326839059
o 8326839058
o 8326839056
o 8326839054
o 8326820901
o 8311812481
o 8311812479
o 8311812478
o 8311812476
o 8311812474
o 8311812472
o 8311812470
o 8311812468
o 8311812466
o 8311812465
o 8311812463
o 8296804056
o 8296785887
o 8296785885
o 8296785884
o 8296785882
o 8296785880
o 8296785878
o 8281777474
o 8281759305
o 8281759303
o 8281759302
o 8281759300
o 8281759298
o 8281759296
o 8281759294
o 8281759292
o 8281759290
o 8281759289
o 8281759287
o 8281759285
o 8266750881
o 8266732712
o 8266732709
o 8266732707
o 8266732705
o 8266732703
o 8266732702
o 8266732700
o 8266732698
o 8251724294
o 8251706125
o 8251706122
o 8251706120
o 8251706118
o 8251706116
o 8251706115
o 8251706113
o 8251706112
o 8251706111
o 8251706109
o 8251706107
o 8251706106
o 8251706104
o 8236697697
o 8236679528
o 8236679526
o 8236679525
o 8236679523
o 8236679521
o 8236679519
o 8221671115
o 8221652946
o 8221652943
o 8221652941
o 8221652939
o 8221652937
o 8221652936
o 8221652934
o 8221652933
o 8221652931
o 8221652929
o 8221634776
o 8206626356
o 8206626353
o 8206626351
o 8206626349
o 8206626347
o 8206626345
o 8206626343
o 8206626342
o 8206626340
o 8191617936
o 8191599767
o 8191599765
o 8191599763
o 8191599762
o 8191599760
o 8191599758
o 8191599757
o 8191599755
o 8191599754
o 8191599752
o 8191599750
o 8191581597
o 8176573177
o 8176573175
o 8176573173
o 8176573172
o 8176573170
o 8176573168
o 8176573166
o 8176573164
o 8161564760
o 8161546591
o 8161546589
o 8161546587
o 8161546586
o 8161546584
o 8161546582
o 8161546580
o 8161546579
o 8161546577
o 8146538172
o 8146538170
o 8146538168
o 8146538167
o 8146538165
o 8146538163
o 8146538161
o 8146538160
o 8146538158
o 8146520000
o 8146519998
o 8146519997
o 8146519995
o 8146519993
o 8146519991
o 8146519989
o 8146519988
o 8146519986
o 8131511581
o 8131511578
o 8131511576
o 8131511574
o 8131511572
o 8131511570
o 8131511569
o 8131511567
o 8131493409
o 8131493407
o 8131493406
o 8131493404
o 8131493402
o 8131493400
o 8131493398
o 8131493397
o 8131493395
o 8116503159
o 8116484990
o 8116484987
o 8116484985
o 8116484983
o 8116484981
o 8116484979
o 8116484978
o 8116484976
o 8116466825
o 8116466823
o 8116466821
o 8116466820
o 8116466818
o 8116466816
o 8116466814
o 8116466813
o 8116466811
o 8101458406
o 8101458404
o 8101458402
o 8101458401
o 8101458399
o 8101458397
o 8101458395
o 8101458394
o 8101458392
o 8086468156
o 8086468154
o 8086468152
o 8086468151
o 8086468149
o 8086468147
o 8086468145
o 8086468144
o 8086468142
o 8086449989
o 8086431820
o 8086431818
o 8086431816
o 8086431815
o 8086431813
o 8086431811
o 8086431809
o 8086431808
o 8086431806
o 8071441570
o 8071441567
o 8071441565
o 8071441563
o 8071441561
o 8071441559
o 8071441558
o 8071441556
o 8071441554
o 8071441552
o 8056469485
o 8056451316
o 8056451313
o 8056451311
o 8056451309
o 8056451307
o 8056451305
o 8056451304
o 8056451302
o 8056433149
o 8056414980
o 8056414977
o 8056414975
o 8056414973
o 8056414971
o 8056414969
o 8056414968
o 8056414966
o 8041442899
o 8041424730
o 8041424727
o 8041424725
o 8041424723
o 8041424721
o 8041424719
o 8041424718
o 8041424716
o 8041424714
o 8041406561
o 8041406558
o 8041406556
o 8041406554
o 8041406552
o 8041406550
o 8041406549
o 8041406547
o 8026434480
o 8026416311
o 8026416308
o 8026416306
o 8026416304
o 8026416302
o 8026416300
o 8026416299
o 8026416297
o 8026416295
o 8026398138
o 8026398136
o 8026398134
o 8026398133
o 8026398131
o 8026398129
o 8026398127
o 8026398126
o 8026398124
o 8026379971
o 8026361802
o 8026361800
o 8026361799
o 8026361797
o 8026361795
o 8026361793
o 8026361791
o 8026361790
o 8026361788
o 8011389721
o 8011371552
o 8011371549
o 8011371547
o 8011371545
o 8011371543
o 8011371541
o 8011371540
o 8011371538
o 8011371536
o 8011353383
o 8011353380
o 8011353378
o 8011353376
o 8011353374
o 8011353372
o 8011353371
o 8011353369
o 7996363133
o 7996363130
o 7996363128
o 7996363126
o 7996363124
o 7996363122
o 7996363121
o 7996363119
o 7996363117
o 7996344969
o 7996344967
o 7996344965
o 7996344964
o 7996344962
o 7996344960
o 7996344958
o 7996344957
o 7996344955
o 7996344953
o 7996326800
o 7996326797
o 7996326795
o 7996326793
o 7996326791
o 7996326789
o 7996326788
o 7996326786
o 7981354719
o 7981336550
o 7981336547
o 7981336545
o 7981336543
o 7981336541
o 7981336539
o 7981336538
o 7981336536
o 7981336534
o 7981318382
o 7981318380
o 7981318378
o 7981318377
o 7981318375
o 7981318373
o 7981318371
o 7981318370
o 7981318368
o 7981318367
o 7981318365
o 7981318363
o 7981318361
o 7981318359
o 7981318357
o 7981318356
o 7981318354
o 7981300201
o 7981282032
o 7981282029
o 7981282027
o 7981282025
o 7981282023
o 7981282021
o 7981282020
o 7981282018
o 7966309951
o 7966291782
o 7966291779
o 7966291777
o 7966291775
o 7966291773
o 7966291771
o 7966291770
o 7966291768
o 7966291766
o 7966273613
o 7966273611
o 7966273609
o 7966273608
o 7966273606
o 7966273604
o 7966273602
o 7966273601
o 7966273599
o 7951301532
o 7951283363
o 7951283361
o 7951283359
o 7951283358
o 7951283356
o 7951283354
o 7951283352
o 7951283351
o 7951283349
o 7951283347
o 7951265199
o 7951265196
o 7951265194
o 7951265192
o 7951265190
o 7951265188
o 7951265187
o 7951265185
o 7951265183
o 7951247030
o 7951247027
o 7951247025
o 7951247023
o 7951247021
o 7951247019
o 7951247018
o 7951247016
o 7936274949
o 7936256780
o 7936256777
o 7936256775
o 7936256773
o 7936256771
o 7936256769
o 7936256768
o 7936256766
o 7936256764
o 7936238612
o 7936238609
o 7936238607
o 7936238605
o 7936238603
o 7936238601
o 7936238600
o 7936238598
o 7936238597
o 7936238595
o 7936238593
o 7936238592
o 7936220439
o 7936220437
o 7936220435
o 7936220434
o 7936220432
o 7936220430
o 7936220428
o 7936220427
o 7936220425
o 7921248358
o 7921230189
o 7921230187
o 7921230186
o 7921230184
o 7921230182
o 7921230180
o 7921230178
o 7921230177
o 7921230175
o 7921230173
o 7921212021
o 7921212018
o 7921212016
o 7921212014
o 7921212012
o 7921212010
o 7921212009
o 7921212007
o 7921212006
o 7921212004
o 7921212002
o 7906258111
o 7906239942
o 7906239939
o 7906239937
o 7906239935
o 7906239933
o 7906239931
o 7906239930
o 7906239928
o 7906239926
o 7906221774
o 7906221772
o 7906221770
o 7906221769
o 7906221767
o 7906221765
o 7906221763
o 7906221762
o 7906221760
o 7906221759
o 7906221757
o 7906221755
o 7906221754
o 7906203601
o 7906203598
o 7906203596
o 7906203594
o 7906203592
o 7906203590
o 7906203589
o 7906203587
o 7891213351
o 7891213348
o 7891213346
o 7891213344
o 7891213342
o 7891213340
o 7891213339
o 7891213337
o 7891213335
o 7891195183
o 7891195181
o 7891195179
o 7891195178
o 7891195176
o 7891195174
o 7891195172
o 7891195171
o 7891195169
o 7891195168
o 7891195166
o 7891195164
o 7891177008
o 7891177006
o 7891177004
o 7891177003
o 7891177001
o 7891176999
o 7891176997
o 7891176996
o 7891176994
o 7891176992
o 7891158840
o 7891158837
o 7891158835
o 7891158833
o 7891158831
o 7891158829
o 7891158828
o 7891158826
o 7891158825
o 7891158823
o 7891158821
o 7876204930
o 7876186761
o 7876186759
o 7876186758
o 7876186756
o 7876186754
o 7876186752
o 7876186750
o 7876186749
o 7876186747
o 7876186745
o 7876168593
o 7876168591
o 7876168589
o 7876168588
o 7876168586
o 7876168584
o 7876168582
o 7876168581
o 7876168579
o 7876168578
o 7876168576
o 7876168574
o 7876168573
o 7876150420
o 7876150418
o 7876150416
o 7876150415
o 7876150413
o 7876150411
o 7876150409
o 7876150408
o 7876150406
o 7861178339
o 7861160170
o 7861160168
o 7861160167
o 7861160165
o 7861160163
o 7861160161
o 7861160159
o 7861160158
o 7861160156
o 7861160154
o 7861142002
o 7861141999
o 7861141997
o 7861141995
o 7861141993
o 7861141991
o 7861141990
o 7861141988
o 7861141987
o 7861141985
o 7861141983
o 7861123832
o 7861123830
o 7861123829
o 7861123827
o 7861123825
o 7861123823
o 7861123821
o 7861123820
o 7861123818
o 7861123817
o 7861123815
o 7861123813
o 7861123812
o 7861105659
o 7861105657
o 7861105655
o 7861105654
o 7861105652
o 7861105650
o 7861105648
o 7861105647
o 7861105645
o 7846133578
o 7846115409
o 7846115407
o 7846115406
o 7846115404
o 7846115402
o 7846115400
o 7846115398
o 7846115397
o 7846115395
o 7846115393
o 7846097241
o 7846097238
o 7846097236
o 7846097234
o 7846097232
o 7846097230
o 7846097229
o 7846097227
o 7846097226
o 7846097224
o 7846097222
o 7846079073
o 7846079071
o 7846079069
o 7846079068
o 7846079066
o 7846079064
o 7846079062
o 7846079061
o 7846079059
o 7831088823
o 7831088821
o 7831088820
o 7831088818
o 7831088816
o 7831088814
o 7831088812
o 7831088811
o 7831088809
o 7831088807
o 7831070655
o 7831070652
o 7831070650
o 7831070648
o 7831070646
o 7831070644
o 7831070643
o 7831070641
o 7831070640
o 7831070638
o 7831070636
o 7816116747
o 7816098578
o 7816098576
o 7816098574
o 7816098573
o 7816098571
o 7816098569
o 7816098567
o 7816098566
o 7816098564
o 7816098563
o 7816098561
o 7816098559
o 7816080407
o 7816080405
o 7816080403
o 7816080402
o 7816080400
o 7816080398
o 7816080396
o 7816080395
o 7816080393
o 7816080392
o 7816080390
o 7816080388
o 7816062236
o 7816062234
o 7816062232
o 7816062231
o 7816062229
o 7816062227
o 7816062225
o 7816062224
o 7816062222
o 7816062221
o 7816062219
o 7816062217
o 7816044067
o 7816025898
o 7816025896
o 7816025894
o 7816025893
o 7816025891
o 7816025889
o 7816025887
o 7816025886
o 7816025884
o 7816025883
o 7816025881
o 7816025879
o 7816007727
o 7816007725
o 7816007723
o 7816007722
o 7816007720
o 7816007718
o 7816007716
o 7816007715
o 7816007713
o 7816007712
o 7816007710
o 7816007708
o 7815989556
o 7815989554
o 7815989552
o 7815989551
o 7815989549
o 7815989547
o 7815989545
o 7815989544
o 7815989542
o 7815989541
o 7815989539
o 7815989537
o 7815971386
o 7815971383
o 7815971381
o 7815971379
o 7815971377
o 7815971375
o 7815971374
o 7815971372
o 7815971371
o 7815971369
o 7815971367
o 7815953215
o 7815953212
o 7815953210
o 7815953208
o 7815953206
o 7815953204
o 7815953203
o 7815953201
o 7815953200
o 7815953198
o 7815953196
o 7801017479
o 7801017476
o 7801017474
o 7801017472
o 7801017470
o 7801017468
o 7801017467
o 7801017465
o 7801017464
o 7801017462
o 7801017460
o 7800999308
o 7800999306
o 7800999304
o 7800999303
o 7800999301
o 7800999299
o 7800999297
o 7800999296
o 7800999294
o 7800999293
o 7800999291
o 7800999289
o 7800981137
o 7800981135
o 7800981133
o 7800981132
o 7800981130
o 7800981128
o 7800981126
o 7800981125
o 7800981123
o 7800981122
o 7800981120
o 7800981118
o 7800962967
o 7800962964
o 7800962962
o 7800962960
o 7800962958
o 7800962956
o 7800962955
o 7800962953
o 7800962952
o 7800962950
o 7800962948
o 7800944796
o 7800944793
o 7800944791
o 7800944789
o 7800944787
o 7800944785
o 7800944784
o 7800944782
o 7800944781
o 7800944779
o 7800944777
o 7786027229
o 7786027226
o 7786027224
o 7786027222
o 7786027220
o 7786027218
o 7786027217
o 7786027215
o 7786027213
o 7786009061
o 7786009058
o 7786009056
o 7786009054
o 7786009052
o 7786009050
o 7786009049
o 7786009047
o 7786009046
o 7786009044
o 7786009042
o 7785972723
o 7785972720
o 7785972718
o 7785972716
o 7785972714
o 7785972712
o 7785972711
o 7785972709
o 7785972708
o 7785972706
o 7785972704
o 7785954552
o 7785954549
o 7785954547
o 7785954545
o 7785954543
o 7785954541
o 7785954540
o 7785954538
o 7785954537
o 7785954535
o 7785954533
o 7785936381
o 7785936378
o 7785936376
o 7785936374
o 7785936372
o 7785936370
o 7785936369
o 7785936367
o 7785936366
o 7785936364
o 7785936362
o 7785918211
o 7785918208
o 7785918206
o 7785918204
o 7785918202
o 7785918200
o 7785918199
o 7785918197
o 7785918196
o 7785918194
o 7785918192
o 7785900040
o 7785900037
o 7785900035
o 7785900033
o 7785900031
o 7785900029
o 7785900028
o 7785900026
o 7785900025
o 7785900023
o 7785900021
o 7770982473
o 7770964304
o 7770964302
o 7770964300
o 7770964299
o 7770964297
o 7770964295
o 7770964293
o 7770964292
o 7770964290
o 7770964289
o 7770964287
o 7770964285
o 7770946133
o 7770946130
o 7770946128
o 7770946126
o 7770946124
o 7770946122
o 7770946121
o 7770946119
o 7770946118
o 7770946116
o 7770946114
o 7770927962
o 7770927960
o 7770927958
o 7770927957
o 7770927955
o 7770927953
o 7770927951
o 7770927950
o 7770927948
o 7770927947
o 7770927945
o 7770927943
o 7770909792
o 7770909790
o 7770909788
o 7770909787
o 7770909785
o 7770909783
o 7770909781
o 7770909780
o 7770909778
o 7770909777
o 7770909775
o 7770909773
o 7770891621
o 7770891618
o 7770891616
o 7770891614
o 7770891612
o 7770891610
o 7770891609
o 7770891607
o 7770891606
o 7770891604
o 7770891602
o 7770891601
o 7770873449
o 7770873447
o 7770873445
o 7770873444
o 7770873442
o 7770873440
o 7770873438
o 7770873437
o 7770873435
o 7770873434
o 7770873432
o 7770873430
o 7755937713
o 7755937711
o 7755937709
o 7755937708
o 7755937706
o 7755937704
o 7755937702
o 7755937701
o 7755937699
o 7755937698
o 7755937696
o 7755937694
o 7755919542
o 7755919539
o 7755919537
o 7755919535
o 7755919533
o 7755919531
o 7755919530
o 7755919528
o 7755919527
o 7755919525
o 7755919523
o 7755901371
o 7755901369
o 7755901367
o 7755901366
o 7755901364
o 7755901362
o 7755901360
o 7755901359
o 7755901357
o 7755901356
o 7755901354
o 7755901352
o 7755883201
o 7755883198
o 7755883196
o 7755883194
o 7755883192
o 7755883190
o 7755883189
o 7755883187
o 7755883186
o 7755883184
o 7755883182
o 7755865030
o 7755865027
o 7755865025
o 7755865023
o 7755865021
o 7755865019
o 7755865018
o 7755865016
o 7755865015
o 7755865013
o 7755865011
o 7755846862
o 7755846859
o 7755846857
o 7755846855
o 7755846853
o 7755846851
o 7755846850
o 7755846848
o 7755846847
o 7755846845
o 7755846843
o 7755828692
o 7755828689
o 7755828687
o 7755828685
o 7755828683
o 7755828681
o 7755828680
o 7755828678
o 7755828677
o 7755828675
o 7755828673
o 7755810521
o 7755810518
o 7755810516
o 7755810514
o 7755810512
o 7755810510
o 7755810509
o 7755810507
o 7755810506
o 7755810504
o 7755810502
o 7740965630
o 7740947461
o 7740947459
o 7740947457
o 7740947456
o 7740947454
o 7740947452
o 7740947450
o 7740947449
o 7740947447
o 7740947445
o 7740929293
o 7740929291
o 7740929290
o 7740929288
o 7740929286
o 7740929284
o 7740929282
o 7740929281
o 7740929279
o 7740929278
o 7740929276
o 7740929274
o 7740911124
o 7740892955
o 7740892953
o 7740892951
o 7740892950
o 7740892948
o 7740892946
o 7740892944
o 7740892943
o 7740892941
o 7740892940
o 7740892938
o 7740892936
o 7740874784
o 7740874782
o 7740874780
o 7740874779
o 7740874777
o 7740874775
o 7740874773
o 7740874772
o 7740874770
o 7740874769
o 7740874767
o 7740874765
o 7740856613
o 7740856610
o 7740856608
o 7740856606
o 7740856604
o 7740856602
o 7740856601
o 7740856599
o 7740856598
o 7740856596
o 7740856594
o 7740838443
o 7740838440
o 7740838438
o 7740838436
o 7740838434
o 7740838432
o 7740838431
o 7740838429
o 7740838428
o 7740838426
o 7740838424
o 7740820272
o 7740820269
o 7740820267
o 7740820265
o 7740820263
o 7740820261
o 7740820260
o 7740820258
o 7740820257
o 7740820255
o 7740820253
o 7725902705
o 7725884536
o 7725884534
o 7725884532
o 7725884531
o 7725884529
o 7725884527
o 7725884525
o 7725884524
o 7725884522
o 7725884521
o 7725884519
o 7725884517
o 7725866365
o 7725866362
o 7725866360
o 7725866358
o 7725866356
o 7725866354
o 7725866353
o 7725866351
o 7725866350
o 7725866348
o 7725866346
o 7725848194
o 7725848191
o 7725848189
o 7725848187
o 7725848185
o 7725848183
o 7725848182
o 7725848180
o 7725848179
o 7725848177
o 7725848175
o 7725830024
o 7725830021
o 7725830019
o 7725830017
o 7725830015
o 7725830013
o 7725830012
o 7725830010
o 7725830009
o 7725830007
o 7725830005
o 7725811853
o 7725811850
o 7725811848
o 7725811846
o 7725811844
o 7725811842
o 7725811841
o 7725811839
o 7725811838
o 7725811836
o 7725811834
o 7725811833
o 7725793684
o 7725793682
o 7725793680
o 7725793679
o 7725793677
o 7725793675
o 7725793673
o 7725793672
o 7725793670
o 7725793669
o 7725793667
o 7725793665
o 7710876117
o 7710857948
o 7710857945
o 7710857943
o 7710857941
o 7710857939
o 7710857937
o 7710857936
o 7710857934
o 7710857933
o 7710857931
o 7710857929
o 7710839777
o 7710839775
o 7710839773
o 7710839772
o 7710839770
o 7710839768
o 7710839766
o 7710839765
o 7710839763
o 7710839762
o 7710839760
o 7710839758
o 7710821606
o 7710821603
o 7710821601
o 7710821599
o 7710821597
o 7710821595
o 7710821594
o 7710821592
o 7710821591
o 7710821589
o 7710821587
o 7710803436
o 7710803433
o 7710803431
o 7710803429
o 7710803427
o 7710803425
o 7710803424
o 7710803422
o 7710803421
o 7710803419
o 7710803417
o 7710785265
o 7710785263
o 7710785261
o 7710785260
o 7710785258
o 7710785256
o 7710785254
o 7710785253
o 7710785251
o 7710785250
o 7710785248
o 7710785246
o 7710785245
o 7710785244
Killed
1979.606u 0.094s 33:06.92 99.6%	0+0k 0+0io 0pf+0w