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-53.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i3000d0u98-53.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 10685904410
o 10670877821
o 10655851232
o 10640824643
o 10625798054
o 10610771465
o 10595744876
o 10580718287
o 10565691698
o 10550665109
o 10535638520
o 10520611931
o 10505585342
o 10490558753
o 10475532164
o 10475532163
o 10460505574
o 10445478985
o 10430452396
o 10415425807
o 10400399218
o 10400399217
o 10385372628
o 10370346039
o 10355319450
o 10340292861
o 10325266272
o 10325266271
o 10310239682
o 10295213093
o 10280186504
o 10280186503
o 10265159914
o 10250133325
o 10235106736
o 10235106735
o 10220080146
o 10205053557
o 10190026968
o 10175000379
o 10175000378
o 10159973789
o 10144947200
o 10129920611
o 10114894022
o 10099867433
o 10099867432
o 10084840843
o 10069814254
o 10054787665
o 10039761076
o 10024734487
o 10009707898
o 9994681309
o 9979654720
o 9964628131
o 9949601542
o 9934574953
o 9934574952
o 9919548363
o 9904521774
o 9889495185
o 9874468596
o 9859442007
o 9844415418
o 9829388829
o 9829388828
o 9814362239
o 9799335650
o 9784309061
o 9769282472
o 9754255883
o 9739229294
o 9724202705
o 9709176116
o 9694149527
o 9679122938
o 9664096349
o 9649069760
o 9634043171
o 9619016582
o 9603989993
o 9588963404
o 9573936815
o 9558910226
o 9543883637
o 9528857048
o 9513830459
o 9498803870
o 9483777281
o 9468750692
o 9453724103
o 9438697514
o 9423670925
o 9408644336
o 9393617747
o 9378591158
o 9378591157
o 9363564568
o 9348537979
o 9333511390
o 9318484801
o 9303458212
o 9288431623
o 9273405034
o 9258378445
o 9258378444
o 9243351855
o 9243351854
o 9228325265
o 9213298676
o 9198272087
o 9183245498
o 9168218909
o 9168218908
o 9153192319
o 9138165730
o 9123139141
o 9108112552
o 9093085963
o 9078059374
o 9078059373
o 9063032784
o 9048006195
o 9032979606
o 9017953017
o 9002926428
o 8987899839
o 8972873250
o 8957846661
o 8942820072
o 8927793483
o 8912766894
o 8897740305
o 8882713716
o 8867687127
o 8852660538
o 8837633949
o 8822607360
o 8807580771
o 8792554182
o 8777527593
o 8777527592
o 8762501003
o 8747474414
o 8732447825
o 8717421236
o 8702394647
o 8702394646
o 8687368057
o 8672341468
o 8657314879
o 8642288290
o 8642288289
o 8627261700
o 8612235111
o 8597208522
o 8597208521
o 8582181932
o 8567155343
o 8552128754
o 8552128753
o 8537102164
o 8522075575
o 8507048986
o 8492022397
o 8476995808
o 8476995807
o 8461969218
o 8446942629
o 8431934209
o 8431916040
o 8416907620
o 8416889452
o 8401881032
o 8401881031
o 8401862863
o 8386854443
o 8386836275
o 8371827855
o 8371809687
o 8356801267
o 8356801266
o 8356783098
o 8341774678
o 8341756510
o 8326748090
o 8326729922
o 8311721502
o 8311721501
o 8311703333
o 8296694913
o 8296694912
o 8296676744
o 8281668324
o 8281650156
o 8266641736
o 8266623568
o 8251615148
o 8251596980
o 8236588560
o 8236570392
o 8221561972
o 8221561971
o 8221543803
o 8206535383
o 8206517215
o 8191508795
o 8191508794
o 8191490626
o 8176482206
o 8176464038
o 8161455618
o 8161437450
o 8146429030
o 8146429029
o 8146410861
o 8131402441
o 8131402440
o 8131384272
o 8116375852
o 8116357684
o 8101349264
o 8101331096
o 8086322676
o 8086322675
o 8086304507
o 8071296087
o 8071277919
o 8056269499
o 8041261079
o 8041242911
o 8026234491
o 8026216323
o 8011207903
o 7996199483
o 7996181312
o 7981172892
o 7981154721
o 7966146301
o 7966128130
o 7951119710
o 7951101544
o 7936093124
o 7936093123
o 7936074957
o 7921066537
o 7921066534
o 7921048368
o 7906039948
o 7906039946
o 7906021780
o 7891013360
o 7891013359
o 7890995193
o 7875986773
o 7875968607
o 7860960187
o 7860960185
o 7860942019
o 7845933599
o 7845915433
o 7830907013
o 7830907011
o 7830888845
o 7815880425
o 7815880423
o 7815862257
o 7800853837
o 7800853835
o 7800835669
o 7785827249
o 7785827247
o 7785809081
o 7770800661
o 7770800659
o 7770782493
o 7755774073
o 7755774072
o 7755755906
o 7740747486
o 7740747485
o 7740729319
o 7725720899
o 7725720897
o 7725720895
o 7725720894
o 7725702728
o 7710694308
o 7710694306
o 7710694304
o 7710694303
o 7710676137
o 7695667717
o 7695667715
o 7695667713
o 7695667712
o 7695649546
o 7680641126
o 7680641124
o 7680641122
o 7680641120
o 7680622956
o 7665614536
o 7665614534
o 7665614532
o 7665614530
o 7665596370
o 7650587950
o 7650587948
o 7650587946
o 7650587944
o 7650587942
o 7650569782
o 7635561362
o 7635561360
o 7635561358
o 7635561356
o 7635561354
o 7635543194
o 7620534774
o 7620534772
o 7620534770
o 7620534768
o 7620516609
o 7605508189
o 7605508187
o 7605508185
o 7605508183
o 7590517936
o 7590517934
o 7590517932
o 7590517930
o 7590499771
o 7575491351
o 7575491349
o 7575491347
o 7575491345
o 7575491343
o 7575491342
o 7575473183
o 7560464763
o 7560464761
o 7560464759
o 7560464757
o 7560464755
o 7560464753
o 7560464751
o 7560464750
o 7560446591
o 7545438171
o 7545438169
o 7545438167
o 7545438165
o 7545438163
o 7545438162
o 7545420003
o 7530411583
o 7530411581
o 7530411579
o 7530411577
o 7530411575
o 7530411573
o 7530411572
o 7530393413
o 7515384993
o 7515384991
o 7515384989
o 7515384987
o 7515384986
o 7515384984
o 7515366825
o 7500358405
o 7500358403
o 7500358401
o 7500358399
o 7500358397
o 7500358395
o 7500358394
o 7500358392
o 7500340233
o 7485331813
o 7485331811
o 7485331809
o 7485331807
o 7485331805
o 7485331804
o 7485313645
o 7470305225
o 7470305223
o 7470305221
o 7470305219
o 7470305217
o 7470305216
o 7470305214
o 7470305212
o 7470287053
o 7455278633
o 7455278631
o 7455278629
o 7455278627
o 7455278626
o 7455278624
o 7455260465
o 7440252045
o 7440252043
o 7440252041
o 7440252039
o 7440252037
o 7440252036
o 7440252034
o 7440233875
o 7425225455
o 7425225453
o 7425225451
o 7425225449
o 7425225448
o 7425225446
o 7425225444
o 7425225443
o 7425207284
o 7410198864
o 7410198862
o 7410198860
o 7410198858
o 7410198857
o 7410198856
o 7410180697
o 7395172277
o 7395172275
o 7395172273
o 7395172271
o 7380163860
o 7380163858
o 7380163856
o 7380163854
o 7380163852
o 7380145683
o 7380145681
o 7380145679
o 7380145677
o 7380145675
o 7380127516
o 7365119096
o 7365119094
o 7365119092
o 7365119090
o 7350110679
o 7350110677
o 7350110675
o 7350110673
o 7350110671
o 7350092506
o 7350092504
o 7350092502
o 7350092500
o 7335084089
o 7335084087
o 7335084085
o 7335084083
o 7335084081
o 7335084080
o 7335065915
o 7335065913
o 7335065911
o 7335065909
o 7320057498
o 7320057496
o 7320057494
o 7320057492
o 7320057490
o 7320039328
o 7320039326
o 7320039324
o 7320039322
o 7305030911
o 7305030909
o 7305030907
o 7305030905
o 7305030903
o 7305012738
o 7305012736
o 7305012734
o 7305012732
o 7290004321
o 7290004319
o 7290004317
o 7290004315
o 7290004313
o 7289986151
o 7289986149
o 7289986147
o 7289986145
o 7274977734
o 7274977732
o 7274977730
o 7274977728
o 7274977726
o 7274959566
o 7274959564
o 7274959562
o 7274959560
o 7259951149
o 7259951147
o 7259951145
o 7259951143
o 7259951141
o 7244960892
o 7244960890
o 7244960888
o 7244960886
o 7244942726
o 7244942724
o 7244942722
o 7244942720
o 7229934309
o 7229934307
o 7229934305
o 7229934303
o 7229934301
o 7229897968
o 7229897966
o 7229897964
o 7229897962
o 7214907713
o 7214907711
o 7214907709
o 7214907707
o 7214889547
o 7214889545
o 7214889543
o 7214889541
o 7199881130
o 7199881128
o 7199881126
o 7199881124
o 7199881122
o 7184890883
o 7184890881
o 7184890879
o 7184890877
o 7184890875
o 7184872711
o 7184872709
o 7184872707
o 7184872705
o 7184872703
o 7184854541
o 7184854539
o 7184854537
o 7184854535
o 7169864296
o 7169864294
o 7169864292
o 7169864290
o 7169864288
o 7169846124
o 7169846122
o 7169846120
o 7169846118
o 7169846116
o 7169846114
o 7169846112
o 7169827950
o 7169827948
o 7169827946
o 7169827944
o 7154837705
o 7154837703
o 7154837701
o 7154837699
o 7154837697
o 7154819533
o 7154819531
o 7154819529
o 7154819527
o 7154819525
o 7154819523
o 7154801365
o 7154801363
o 7154801361
o 7154801359
o 7154801357
o 7154801356
o 7154801354
o 7154801352
o 7139811118
o 7139811116
o 7139811114
o 7139811112
o 7139811110
o 7139811109
o 7139811107
o 7139811105
o 7139792946
o 7139792944
o 7139792942
o 7139792940
o 7139792938
o 7139792937
o 7139792935
o 7139792933
o 7139774770
o 7139774768
o 7139774766
o 7139774764
o 7139774762
o 7139756604
o 7139756602
o 7139756600
o 7139756598
o 7139756596
o 7139756595
o 7139756593
o 7139756591
o 7124766357
o 7124766355
o 7124766353
o 7124766351
o 7124766349
o 7124766348
o 7124766346
o 7124766344
o 7124748185
o 7124748183
o 7124748181
o 7124748179
o 7124748177
o 7124748176
o 7124748174
o 7124748172
o 7124730023
o 7124730021
o 7124730019
o 7124730017
o 7124730015
o 7124730014
o 7124730012
o 7124730010
o 7109739776
o 7109739774
o 7109739772
o 7109739770
o 7109739768
o 7109739767
o 7109739765
o 7109739763
o 7109721604
o 7109721602
o 7109721600
o 7109721598
o 7109721596
o 7109721595
o 7109721593
o 7109721591
o 7094731356
o 7094731354
o 7094731352
o 7094731350
o 7094731348
o 7094731347
o 7094731345
o 7094731343
o 7094713184
o 7094713182
o 7094713180
o 7094713178
o 7094713176
o 7094713175
o 7094713173
o 7094713171
o 7094695014
o 7094695012
o 7094695010
o 7094695008
o 7094695006
o 7079704771
o 7079704769
o 7079704767
o 7079704765
o 7079704763
o 7079704762
o 7079704760
o 7079704758
o 7079686599
o 7079686597
o 7079686595
o 7079686593
o 7079686591
o 7079686590
o 7079686588
o 7079686586
o 7079686585
o 7079686584
o 7079686582
o 7079686580
o 7079668430
o 7079668428
o 7079668426
o 7079668424
o 7079668422
o 7079668421
o 7079668419
o 7079668417
o 7079668415
o 7079668413
o 7079650258
o 7079650256
o 7079650254
o 7079650252
o 7079650250
o 7079650249
o 7079650247
o 7079650245
o 7079650243
o 7079650241
o 7064659998
o 7064659996
o 7064659994
o 7064659992
o 7064659990
o 7064641833
o 7064641831
o 7064641829
o 7064641827
o 7064641825
o 7049651590
o 7049651588
o 7049651586
o 7049651584
o 7049651582
o 7049651581
o 7049651579
o 7049651577
o 7049633418
o 7049633416
o 7049633414
o 7049633412
o 7049633410
o 7049633409
o 7049633407
o 7049633405
o 7049633404
o 7049633403
o 7049633401
o 7049633399
o 7049615250
o 7049615248
o 7049615246
o 7049615244
o 7049615242
o 7049615241
o 7049615239
o 7049615238
o 7049615237
o 7049615235
o 7049615233
o 7049597078
o 7049597076
o 7049597074
o 7049597072
o 7049597070
o 7049597069
o 7049597067
o 7049597066
o 7049597065
o 7049597063
o 7049597061
o 7034606820
o 7034606818
o 7034606816
o 7034606814
o 7034606812
o 7034606810
o 7034588655
o 7034588653
o 7034588651
o 7034588649
o 7034588647
o 7034588645
o 7019598410
o 7019598408
o 7019598406
o 7019598404
o 7019598402
o 7019598401
o 7019598399
o 7019598397
o 7019580238
o 7019580236
o 7019580234
o 7019580232
o 7019580230
o 7019580229
o 7019580227
o 7019580225
o 7019580224
o 7019580223
o 7019580221
o 7019580219
o 7019562064
o 7019562062
o 7019562060
o 7019562058
o 7019562056
o 7004571821
o 7004571819
o 7004571817
o 7004571815
o 7004571813
o 7004571812
o 7004571810
o 7004571808
o 7004553649
o 7004553647
o 7004553645
o 7004553643
o 7004553641
o 7004553640
o 7004553638
o 7004553636
o 7004553635
o 7004553634
o 7004553632
o 7004553630
o 7004535474
o 7004535472
o 7004535470
o 7004535468
o 7004535466
o 6989545231
o 6989545229
o 6989545227
o 6989545225
o 6989545223
o 6989545222
o 6989545220
o 6989545218
o 6989527059
o 6989527057
o 6989527055
o 6989527053
o 6989527051
o 6989527050
o 6989527048
o 6989527046
o 6989527045
o 6989527044
o 6989527042
o 6989527040
o 6989508891
o 6989508889
o 6989508887
o 6989508885
o 6989508883
o 6989508882
o 6989508880
o 6989508879
o 6989508878
o 6989508876
o 6989508874
o 6989490719
o 6989490717
o 6989490715
o 6989490713
o 6989490711
o 6989490710
o 6989490708
o 6989490707
o 6989490706
o 6989490704
o 6989490702
o 6974500459
o 6974500457
o 6974500455
o 6974500453
o 6974500451
o 6974482294
o 6974482292
o 6974482290
o 6974482288
o 6974482286
o 6959492051
o 6959492049
o 6959492047
o 6959492045
o 6959492043
o 6959492042
o 6959492040
o 6959492038
o 6959473879
o 6959473877
o 6959473875
o 6959473873
o 6959473871
o 6959473870
o 6959473868
o 6959473866
o 6959473865
o 6959473864
o 6959473862
o 6959473860
o 6959455704
o 6959455702
o 6959455700
o 6959455698
o 6959455696
o 6944465461
o 6944465459
o 6944465457
o 6944465455
o 6944465453
o 6944465452
o 6944465450
o 6944465448
o 6944447289
o 6944447287
o 6944447285
o 6944447283
o 6944447281
o 6944447280
o 6944447278
o 6944447276
o 6944447275
o 6944447274
o 6944447272
o 6944447270
o 6944429114
o 6944429112
o 6944429110
o 6944429108
o 6944429106
o 6929438871
o 6929438869
o 6929438867
o 6929438865
o 6929438863
o 6929438862
o 6929438860
o 6929438858
o 6929420699
o 6929420697
o 6929420695
o 6929420693
o 6929420691
o 6929420690
o 6929420688
o 6929420686
o 6929420685
o 6929420684
o 6929420682
o 6929420680
o 6929402524
o 6929402522
o 6929402520
o 6929402518
o 6929402516
o 6914412281
o 6914412279
o 6914412277
o 6914412275
o 6914412273
o 6914412272
o 6914412270
o 6914412268
o 6914394109
o 6914394107
o 6914394105
o 6914394103
o 6914394101
o 6914394100
o 6914394098
o 6914394096
o 6914394095
o 6914394094
o 6914394092
o 6914394090
o 6914375936
o 6914375934
o 6914375932
o 6914375930
o 6914375928
o 6899385693
o 6899385691
o 6899385689
o 6899385687
o 6899385685
o 6899385684
o 6899385682
o 6899385680
o 6899367521
o 6899367519
o 6899367517
o 6899367515
o 6899367513
o 6899367512
o 6899367510
o 6899367508
o 6899367507
o 6899367506
o 6899367504
o 6899367502
o 6899349346
o 6899349344
o 6899349342
o 6899349340
o 6899349338
o 6884359103
o 6884359101
o 6884359099
o 6884359097
o 6884359095
o 6884359094
o 6884359092
o 6884359090
o 6884340931
o 6884340929
o 6884340927
o 6884340925
o 6884340923
o 6884340922
o 6884340920
o 6884340918
o 6884340917
o 6884340916
o 6884340914
o 6884340912
o 6884322756
o 6884322754
o 6884322752
o 6884322750
o 6884322748
o 6869332513
o 6869332511
o 6869332509
o 6869332507
o 6869332505
o 6869332504
o 6869332502
o 6869332500
o 6869314341
o 6869314339
o 6869314337
o 6869314335
o 6869314333
o 6869314332
o 6869314330
o 6869314328
o 6869314327
o 6869314326
o 6869314324
o 6869314322
o 6869314321
o 6869296165
o 6869296163
o 6869296161
o 6869296159
o 6869296157
o 6854305922
o 6854305920
o 6854305918
o 6854305916
o 6854305914
o 6854305913
o 6854305911
o 6854305909
o 6854287750
o 6854287748
o 6854287746
o 6854287744
o 6854287742
o 6854287741
o 6854287739
o 6854287737
o 6854287736
o 6854287735
o 6854287733
o 6854287731
o 6854287730
o 6854269577
o 6854269575
o 6854269573
o 6854269571
o 6854269569
o 6854269568
o 6854269566
o 6854269565
o 6854269564
o 6854269562
o 6854269560
o 6854233239
o 6854233237
o 6854233235
o 6854233233
o 6854233231
o 6854233230
o 6854233228
o 6854233227
o 6854233226
o 6854233224
o 6854233222
o 6854215067
o 6854215065
o 6854215063
o 6854215061
o 6854215059
o 6854215058
o 6854215056
o 6854215055
o 6854215054
o 6854215052
o 6854215050
o 6854196895
o 6854196893
o 6854196891
o 6854196889
o 6854196887
o 6839206652
o 6839206650
o 6839206648
o 6839206646
o 6839206644
o 6839206643
o 6839206641
o 6839206639
o 6839188480
o 6839188478
o 6839188476
o 6839188474
o 6839188472
o 6839188471
o 6839188469
o 6839188467
o 6839188466
o 6839188465
o 6839188463
o 6839188461
o 6839170307
o 6839170305
o 6839170303
o 6839170301
o 6839170299
o 6824180064
o 6824180062
o 6824180060
o 6824180058
o 6824180056
o 6824180055
o 6824180053
o 6824180051
o 6824161892
o 6824161890
o 6824161888
o 6824161886
o 6824161884
o 6824161883
o 6824161881
o 6824161879
o 6824161878
o 6824161877
o 6824161875
o 6824161873
o 6824143718
o 6824143716
o 6824143714
o 6824143712
o 6824143710
o 6809153475
o 6809153473
o 6809153471
o 6809153469
o 6809153467
o 6809153466
o 6809153464
o 6809153462
o 6809135303
o 6809135301
o 6809135299
o 6809135297
o 6809135295
o 6809135294
o 6809135292
o 6809135290
o 6809135289
o 6809135288
o 6809135286
o 6809135284
o 6809117130
o 6809117128
o 6809117126
o 6809117124
o 6809117122
o 6794126887
o 6794126885
o 6794126883
o 6794126881
o 6794126879
o 6794126878
o 6794126876
o 6794126874
o 6794108715
o 6794108713
o 6794108711
o 6794108709
o 6794108707
o 6794108706
o 6794108704
o 6794108702
o 6794108701
o 6794108700
o 6794108698
o 6794108696
o 6794090543
o 6794090541
o 6794090539
o 6794090537
o 6794090535
o 6779100300
o 6779100298
o 6779100296
o 6779100294
o 6779100292
o 6779100291
o 6779100289
o 6779100287
o 6779082128
o 6779082126
o 6779082124
o 6779082122
o 6779082120
o 6779082119
o 6779082117
o 6779082115
o 6779082114
o 6779082113
o 6779082111
o 6779082109
o 6779082108
o 6779082106
o 6779082104
o 6779082103
o 6779082102
o 6779063955
o 6779063953
o 6779063951
o 6779063949
o 6779063947
o 6764073712
o 6764073710
o 6764073708
o 6764073706
o 6764073704
o 6764073703
o 6764073701
o 6764073699
o 6764055540
o 6764055538
o 6764055536
o 6764055534
o 6764055532
o 6764055531
o 6764055529
o 6764055527
o 6764055526
o 6764055525
o 6764055523
o 6764055521
o 6764037371
o 6764037369
o 6764037367
o 6764037365
o 6764037363
o 6749047128
o 6749047126
o 6749047124
o 6749047122
o 6749047120
o 6749047119
o 6749047117
o 6749047115
o 6749028956
o 6749028954
o 6749028952
o 6749028950
o 6749028948
o 6749028947
o 6749028945
o 6749028943
o 6749028942
o 6749028941
o 6749028939
o 6749028937
o 6749010785
o 6749010783
o 6749010781
o 6749010779
o 6749010777
o 6734020542
o 6734020540
o 6734020538
o 6734020536
o 6734020534
o 6734020533
o 6734020531
o 6734020529
o 6734002370
o 6734002368
o 6734002366
o 6734002364
o 6734002362
o 6734002361
o 6734002359
o 6734002357
o 6734002356
o 6734002355
o 6734002353
o 6734002351
o 6734002350
o 6733984193
o 6733984191
o 6733984189
o 6733984187
o 6733984185
o 6718993950
o 6718993948
o 6718993946
o 6718993944
o 6718993942
o 6718993941
o 6718993939
o 6718993937
o 6718975778
o 6718975776
o 6718975774
o 6718975772
o 6718975770
o 6718975769
o 6718975767
o 6718975765
o 6718957608
o 6718957606
o 6718957604
o 6718957602
o 6718957600
o 6718957599
o 6718957597
o 6718957595
o 6718939438
o 6718939436
o 6718939434
o 6718939432
o 6718939430
o 6718939429
o 6718939427
o 6718939425
o 6718921268
o 6718921266
o 6718921264
o 6718921262
o 6718921260
o 6718921259
o 6718921257
o 6718921255
o 6703931024
o 6703931022
o 6703931020
o 6703931018
o 6703931016
o 6703931015
o 6703931013
o 6703931011
o 6703912852
o 6703912850
o 6703912848
o 6703912846
o 6703912844
o 6703912843
o 6703912841
o 6703912839
o 6703912837
o 6703912836
o 6688922604
o 6688922602
o 6688922600
o 6688922598
o 6688922596
o 6688922595
o 6688922593
o 6688922591
o 6688904432
o 6688904430
o 6688904428
o 6688904426
o 6688904424
o 6688904423
o 6688904421
o 6688904419
o 6688904417
o 6688886256
o 6688886254
o 6688886252
o 6688886250
o 6688886248
o 6688886246
o 6673896014
o 6673896012
o 6673896010
o 6673896008
o 6673896006
o 6673896005
o 6673896003
o 6673896001
o 6673877842
o 6673877840
o 6673877838
o 6673877836
o 6673877834
o 6673877833
o 6673877831
o 6673877829
o 6673877827
o 6673859670
o 6673859668
o 6673859666
o 6673859664
o 6673859662
o 6673859661
o 6673859659
o 6673859657
o 6673841500
o 6673841498
o 6673841496
o 6673841494
o 6673841492
o 6673841491
o 6673841489
o 6673841487
o 6673823328
o 6673823326
o 6673823324
o 6673823322
o 6673823320
o 6673823318
o 6673823317
o 6673823316
Killed
1979.605u 0.095s 33:06.48 99.6%	0+0k 0+0io 0pf+0w