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-i1000d0u98-15.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/upgradeability-problem/mancoosi-test-i1000d0u98-15.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 3578400022
o 3563373433
o 3548346844
o 3533320255
o 3518293666
o 3503267077
o 3488240488
o 3473213899
o 3473213898
o 3458187309
o 3443160720
o 3428134131
o 3413107542
o 3398080953
o 3383054364
o 3368027775
o 3353001186
o 3337974597
o 3322948008
o 3307921419
o 3292894830
o 3277868241
o 3262841652
o 3247815063
o 3232788474
o 3232788473
o 3217761884
o 3202735295
o 3187708706
o 3172682117
o 3157655528
o 3142628939
o 3127602350
o 3112575761
o 3097549172
o 3082522583
o 3067495994
o 3052469405
o 3037442816
o 3022416227
o 3007389638
o 2992363049
o 2977336460
o 2962309871
o 2947283282
o 2932256693
o 2917230104
o 2902203515
o 2887176926
o 2872150337
o 2857123748
o 2842097159
o 2827070570
o 2812043981
o 2797017392
o 2781990803
o 2766964214
o 2751937625
o 2736911036
o 2721884447
o 2706857858
o 2691831269
o 2676804680
o 2661778091
o 2646751502
o 2646751501
o 2631724912
o 2616698323
o 2616698322
o 2601671733
o 2586645144
o 2571618555
o 2556591966
o 2541565377
o 2526538788
o 2511512199
o 2496485610
o 2481459021
o 2466432432
o 2451405843
o 2436379254
o 2421352665
o 2406326076
o 2391299487
o 2376272898
o 2361246309
o 2346219720
o 2331193131
o 2316166542
o 2301139953
o 2286113364
o 2271086775
o 2256060186
o 2256060185
o 2241033596
o 2226007007
o 2210980418
o 2195953829
o 2180927240
o 2165900651
o 2150874062
o 2135847473
o 2120820884
o 2105794295
o 2090767706
o 2075741117
o 2060714528
o 2045687939
o 2030661350
o 2015634761
o 2000608172
o 1985581583
o 1970554994
o 1955528405
o 1940501816
o 1925475227
o 1910448638
o 1895422049
o 1880395460
o 1865368872
o 1850342284
o 1835315696
o 1820289108
o 1805262520
o 1790235932
o 1775209344
o 1760182756
o 1745156168
o 1730129580
o 1715102992
o 1700076404
o 1685049816
o 1670023228
o 1670023226
o 1654996638
o 1639970051
o 1624943464
o 1609916877
o 1594890290
o 1579863704
o 1564837118
o 1549810541
o 1549810528
o 1534783951
o 1534783950
o 1534783937
o 1519757360
o 1519757347
o 1504730770
o 1504730769
o 1504730756
o 1489704179
o 1489704168
o 1474677591
o 1474677590
o 1474677579
o 1459651002
o 1459650991
o 1444624414
o 1444624404
o 1429597827
o 1429597817
o 1414571240
o 1414571239
o 1414571229
o 1399544652
o 1399544651
o 1399544650
o 1399544640
o 1384518063
o 1384518056
o 1369491479
o 1369491478
o 1369491475
o 1369491468
o 1354464891
o 1354464889
o 1354464882
o 1339438305
o 1339438304
o 1339438303
o 1339438301
o 1339438294
o 1324411717
o 1324411715
o 1324411714
o 1324411712
o 1324411705
o 1309385128
o 1309385127
o 1309385126
o 1309385124
o 1309385117
o 1294358540
o 1294358533
o 1279331956
o 1279331954
o 1279331947
o 1264305370
o 1264305369
o 1264305368
o 1264305366
o 1264305359
o 1249278782
o 1249278781
o 1249278780
o 1249278778
o 1249278771
o 1234252194
o 1234252193
o 1234252192
o 1234252191
o 1234252189
o 1234252182
o 1219225605
o 1219225604
o 1219225601
o 1219225594
o 1204199017
o 1204199010
o 1189172433
o 1189172432
o 1189172425
o 1174145848
o 1174145846
o 1174145844
o 1174145843
o 1174145836
o 1159119259
o 1159119253
o 1144092676
o 1144092673
o 1144092671
o 1144092669
o 1144092667
o 1129066090
o 1129066088
o 1129066086
o 1129066085
o 1129066083
o 1129066081
o 1129066079
o 1129066077
o 1114039500
o 1114039498
o 1114039497
o 1114039495
o 1114039493
o 1114039491
o 1114039489
o 1099012915
o 1099012913
o 1099012911
o 1099012910
o 1099012908
o 1099012906
o 1099012904
o 1083986349
o 1083986346
o 1083986344
o 1083986342
o 1083986340
o 1083986338
o 1083986336
o 1083986328
o 1083986326
o 1083986325
o 1083986323
o 1083986321
o 1083986319
o 1083986317
o 1068959762
o 1068959760
o 1068959758
o 1068959757
o 1068959755
o 1068959753
o 1068959751
o 1068959741
o 1068959739
o 1068959738
o 1068959736
o 1068959734
o 1068959732
o 1068959730
o 1053933175
o 1053933173
o 1053933171
o 1053933170
o 1053933168
o 1053933166
o 1053933164
o 1053933156
o 1053933154
o 1053933153
o 1053933151
o 1053933149
o 1053933147
o 1053933145
o 1038906590
o 1038906588
o 1038906586
o 1038906585
o 1038906583
o 1038906581
o 1038906579
o 1038906569
o 1038906567
o 1038906566
o 1038906564
o 1038906562
o 1038906560
o 1038906558
o 1023880003
o 1023880001
o 1023879999
o 1023879998
o 1023879996
o 1023879994
o 1023879992
o 1023879991
o 1023879989
o 1023879981
o 1023879978
o 1023879976
o 1023879974
o 1023879972
o 1023879970
o 1008853415
o 1008853412
o 1008853410
o 1008853408
o 1008853406
o 1008853404
o 1008853388
o 1008853385
o 1008853383
o 1008853381
o 1008853379
o 1008853377
o 993826803
o 993826800
o 993826798
o 993826796
o 993826794
o 993826792
o 978800237
o 978800234
o 978800232
o 978800230
o 978800228
o 978800226
o 978800225
o 978800223
o 978800215
o 978800213
o 978800211
o 978800210
o 978800208
o 978800206
o 978800204
o 963773649
o 963773647
o 963773646
o 963773644
o 963773642
o 963773640
o 963773638
o 963773630
o 963773628
o 963773626
o 963773625
o 963773623
o 963773621
o 963773619
o 948747064
o 948747062
o 948747061
o 948747059
o 948747057
o 948747055
o 948747053
o 948747052
o 948747050
o 948747048
o 948747040
o 948747038
o 948747037
o 948747035
o 948747033
o 948747031
o 948747029
o 933720474
o 933720472
o 933720470
o 933720469
o 933720467
o 933720465
o 933720463
o 933720452
o 933720450
o 933720449
o 933720447
o 933720445
o 933720443
o 933720441
o 918693886
o 918693884
o 918693882
o 918693881
o 918693879
o 918693877
o 918693875
o 918693873
o 918693871
o 918693870
o 918693868
o 918693860
o 918693858
o 918693857
o 918693855
o 918693853
o 918693851
o 918693849
o 903667294
o 903667292
o 903667290
o 903667289
o 903667287
o 903667285
o 903667283
o 903667277
o 903667275
o 903667274
o 903667272
o 903667270
o 903667268
o 903667266
o 888640711
o 888640709
o 888640707
o 888640706
o 888640704
o 888640702
o 888640700
o 888640699
o 888640697
o 888640689
o 888640687
o 888640686
o 888640684
o 888640682
o 888640680
o 888640678
o 873614123
o 873614121
o 873614119
o 873614118
o 873614116
o 873614114
o 873614112
o 873614110
o 873614104
o 873614102
o 873614100
o 873614099
o 873614097
o 873614095
o 873614093
o 858587538
o 858587536
o 858587535
o 858587533
o 858587531
o 858587529
o 858587527
o 858587526
o 858587524
o 858587518
o 858587516
o 858587515
o 858587513
o 858587511
o 858587509
o 858587507
o 843560952
o 843560950
o 843560948
o 843560947
o 843560945
o 843560943
o 843560941
o 843560940
o 843560939
o 843560931
o 843560929
o 843560927
o 843560926
o 843560924
o 843560922
o 843560920
o 828534365
o 828534363
o 828534362
o 828534360
o 828534358
o 828534356
o 828534354
o 828534352
o 828534351
o 828534350
o 828534348
o 828534342
o 828534339
o 828534337
o 828534335
o 828534333
o 828534331
o 813507776
o 813507773
o 813507771
o 813507769
o 813507767
o 813507765
o 813507759
o 813507756
o 813507754
o 813507752
o 813507750
o 813507748
o 798481193
o 798481190
o 798481188
o 798481186
o 798481184
o 798481182
o 798481180
o 798481178
o 798481172
o 798481170
o 798481168
o 798481167
o 798481165
o 798481163
o 798481161
o 783454604
o 783454602
o 783454601
o 783454599
o 783454597
o 783454595
o 783454593
o 783454591
o 783454589
o 783454583
o 783454581
o 783454579
o 783454578
o 783454576
o 783454574
o 783454572
o 768428015
o 768428013
o 768428012
o 768428010
o 768428008
o 768428006
o 768428004
o 768427998
o 768427996
o 768427994
o 768427993
o 768427991
o 768427989
o 768427987
o 753401430
o 753401428
o 753401427
o 753401425
o 753401423
o 753401421
o 753401420
o 753401418
o 753401412
o 753401409
o 753401407
o 753401405
o 753401403
o 753401401
o 738374844
o 738374841
o 738374839
o 738374837
o 738374835
o 738374834
o 738374828
o 738374825
o 738374823
o 738374821
o 738374819
o 738374817
o 723348260
o 723348257
o 723348255
o 723348253
o 723348251
o 723348250
o 723348248
o 723348242
o 723348240
o 723348239
o 723348237
o 723348235
o 723348233
o 723348231
o 708321674
o 708321672
o 708321670
o 708321669
o 708321667
o 708321665
o 708321663
o 708321661
o 693313255
o 693313253
o 693313252
o 693313250
o 693313248
o 693313246
o 693313244
o 693313242
o 693295085
o 693295083
o 693295082
o 693295080
o 693295078
o 693295076
o 693295074
o 693295072
o 678286666
o 678286663
o 678286661
o 678286659
o 678286657
o 678286655
o 678286653
o 678268498
o 678268496
o 678268494
o 678268493
o 678268491
o 678268489
o 678268487
o 678268485
o 663260079
o 663260077
o 663260076
o 663260074
o 663260072
o 663260070
o 663260068
o 663260066
o 663241911
o 663241908
o 663241906
o 663241904
o 663241902
o 663241900
o 663241898
o 648233492
o 648233490
o 648233488
o 648233487
o 648233485
o 648233483
o 648233481
o 648233479
o 648215324
o 648215322
o 648215321
o 648215319
o 648215317
o 648215315
o 648215313
o 648215311
o 633206905
o 633206902
o 633206900
o 633206898
o 633206896
o 633206894
o 633206892
o 633188740
o 633188738
o 633188736
o 633188735
o 633188733
o 633188731
o 633188729
o 633188727
o 618180321
o 618180319
o 618180318
o 618180316
o 618180314
o 618180312
o 618180310
o 618180308
o 618162157
o 618162155
o 618162154
o 618162152
o 618162150
o 618162148
o 618162146
o 618162144
o 603153738
o 603153735
o 603153733
o 603153731
o 603153729
o 603153727
o 603153725
o 603153724
o 603135573
o 603135571
o 603135569
o 603135568
o 603135566
o 603135564
o 603135562
o 603135560
o 588127154
o 588127152
o 588127151
o 588127149
o 588127147
o 588127145
o 588127143
o 588127141
o 588127140
o 588127138
o 588127136
o 588127134
o 588127132
o 588108980
o 588108978
o 588108977
o 588108975
o 588108973
o 588108971
o 588108969
o 588108967
o 573100561
o 573100558
o 573100556
o 573100554
o 573100552
o 573100550
o 573100548
o 573082397
o 573082395
o 573082393
o 573082392
o 573082390
o 573082388
o 573082386
o 573082384
o 558073978
o 558073976
o 558073975
o 558073973
o 558073971
o 558073969
o 558073967
o 558073965
o 558073964
o 558073963
o 558073961
o 558073959
o 558073957
o 558055806
o 558055804
o 558055803
o 558055801
o 558055799
o 558055797
o 558055795
o 558055793
o 543047387
o 543047384
o 543047382
o 543047380
o 543047378
o 543047376
o 543047374
o 543047373
o 543047371
o 543047369
o 543047367
o 543047365
o 543029213
o 543029210
o 543029208
o 543029206
o 543029204
o 543029202
o 543029200
o 528020794
o 528020792
o 528020790
o 528020789
o 528020787
o 528020785
o 528020783
o 528020781
o 528002630
o 528002628
o 528002627
o 528002625
o 528002623
o 528002621
o 528002619
o 528002617
o 512994211
o 512994208
o 512994206
o 512994204
o 512994202
o 512994200
o 512994198
o 512994197
o 512994195
o 512994193
o 512994191
o 512994189
o 512976037
o 512976034
o 512976032
o 512976030
o 512976028
o 512976026
o 512976024
o 497967618
o 497967616
o 497967614
o 497967613
o 497967611
o 497967609
o 497967607
o 497967605
o 497949454
o 497949452
o 497949451
o 497949449
o 497949447
o 497949445
o 497949443
o 497949441
o 482941035
o 482941032
o 482941030
o 482941028
o 482941026
o 482941024
o 482941022
o 482941021
o 467932619
o 467932617
o 467932615
o 467932614
o 467932612
o 467932610
o 467932608
o 467932606
o 467932605
o 467932603
o 467932602
o 452924200
o 452924198
o 452924197
o 452924195
o 452924193
o 452924191
o 452924189
o 452924187
o 452924186
o 452924184
o 452924183
o 437933952
o 437933949
o 437933947
o 437933945
o 437933943
o 437933941
o 437933939
o 437933938
o 437933936
o 437933935
o 437897615
o 437897613
o 437897612
o 437897610
o 437897608
o 437897606
o 437897604
o 437897602
o 437897601
o 422907370
o 422907368
o 422907367
o 422907365
o 422907363
o 422907361
o 422907359
o 422907357
o 422907356
o 422907354
o 422907353
o 422907352
o 422871032
o 422871030
o 422871029
o 422871027
o 422871025
o 422871023
o 422871021
o 422871019
o 422871018
o 407880787
o 407880785
o 407880784
o 407880782
o 407880780
o 407880778
o 407880776
o 407880774
o 407880773
o 407880771
o 407880770
o 407844448
o 407844446
o 407844445
o 407844443
o 407844441
o 407844439
o 407844437
o 407844435
o 407844434
o 392854203
o 392854201
o 392854199
o 392854198
o 392854196
o 392854194
o 392854192
o 392854190
o 392854189
o 392854187
o 392854186
o 392854185
o 392854183
o 392854182
o 392854181
o 392817861
o 392817859
o 392817858
o 392817856
o 392817854
o 392817852
o 392817850
o 392817848
o 392817847
o 377827616
o 377827614
o 377827612
o 377827611
o 377827609
o 377827607
o 377827605
o 377827603
o 377827602
o 377827600
o 377827599
o 377827598
o 377827596
o 377791272
o 377791269
o 377791267
o 377791265
o 377791263
o 377791261
o 377791259
o 377791258
o 377791257
o 377791255
o 377791254
o 377773101
o 377773098
o 377773096
o 377773094
o 377773092
o 377773090
o 377773088
o 377773087
o 377773086
o 377773084
o 377773083
o 362801030
o 362801028
o 362801027
o 362801025
o 362801023
o 362801021
o 362801019
o 362801017
o 362801016
o 362801015
o 362801013
o 362801012
o 362764691
o 362764689
o 362764688
o 362764686
o 362764684
o 362764682
o 362764680
o 362764678
o 362764677
o 347774446
o 347774444
o 347774443
o 347774441
o 347774439
o 347774437
o 347774435
o 347774433
o 347774432
o 347774430
o 347774429
o 347774428
o 347774426
o 347738102
o 347738100
o 347738099
o 347738097
o 347738095
o 347738093
o 347738091
o 347738089
o 347738088
o 347738087
o 347738085
o 347738084
o 347719931
o 347719929
o 347719928
o 347719926
o 347719924
o 347719922
o 347719920
o 347719918
o 347719917
o 347719916
o 347719914
o 347719913
o 332747861
o 332747859
o 332747857
o 332747856
o 332747854
o 332747852
o 332747850
o 332747848
o 332747847
o 332747846
o 332747844
o 332711520
o 332711517
o 332711515
o 332711513
o 332711511
o 332711509
o 332711507
o 332711506
o 332711505
o 332711503
o 332711502
o 332693349
o 332693347
o 332693346
o 332693344
o 332693342
o 332693340
o 332693338
o 332693336
o 332693335
o 332693334
o 332693332
o 332693331
o 317739442
o 317739440
o 317739439
o 317739437
o 317739435
o 317739433
o 317739431
o 317739429
o 317739428
o 317739427
o 317739425
o 317703101
o 317703099
o 317703098
o 317703096
o 317703094
o 317703092
o 317703090
o 317703088
o 317703087
o 317703086
o 317703084
o 317703083
o 317684930
o 317684927
o 317684925
o 317684923
o 317684921
o 317684919
o 317684917
o 317684916
o 317684915
o 317684913
o 317684912
o 302731023
o 302731021
o 302731020
o 302731018
o 302731016
o 302731014
o 302731012
o 302731010
o 302731009
o 302731008
o 302731006
o 302694682
o 302694680
o 302694678
o 302694677
o 302694675
o 302694673
o 302694671
o 302694669
o 302694668
o 302694667
o 302694665
o 302694664
o 302676511
o 302676508
o 302676506
o 302676504
o 302676502
o 302676500
o 302676498
o 302676497
o 302676496
o 302676494
o 302676493
o 302676492
o 302658339
o 302658337
o 302658335
o 302658334
o 302658332
o 302658330
o 302658328
o 302658326
o 302658325
o 302658324
o 302658322
o 302658321
o 287704432
o 287704430
o 287704428
o 287704427
o 287704425
o 287704423
o 287704421
o 287704419
o 287704418
o 287704417
o 287704415
o 287668091
o 287668089
o 287668088
o 287668086
o 287668084
o 287668082
o 287668080
o 287668078
o 287668077
o 287668076
o 287668074
o 287668073
o 287649920
o 287649918
o 287649916
o 287649915
o 287649913
o 287649911
o 287649909
o 287649907
o 287649906
o 287649905
o 287649903
o 287649902
o 287631755
o 287631753
o 287631752
o 287631750
o 287631748
o 287631746
o 287631744
o 287631742
o 287631741
o 287631740
o 287631738
o 287631737
o 272677848
o 272677846
o 272677845
o 272677843
o 272677841
o 272677839
o 272677837
o 272677835
o 272677834
o 272677833
o 272677831
o 272641507
o 272641505
o 272641503
o 272641502
o 272641500
o 272641498
o 272641496
o 272641494
o 272641493
o 272641492
o 272641490
o 272641489
o 272623336
o 272623334
o 272623333
o 272623331
o 272623329
o 272623327
o 272623325
o 272623323
o 272623322
o 272623321
o 272623319
o 272623318
o 272605172
o 272605170
o 272605169
o 272605167
o 272605165
o 272605163
o 272605161
o 272605160
o 272605159
o 272605157
o 272605156
o 257651265
o 257651263
o 257651262
o 257651260
o 257651258
o 257651256
o 257651254
o 257651253
o 257651252
o 257651250
o 257614924
o 257614922
o 257614921
o 257614919
o 257614917
o 257614915
o 257614913
o 257614912
o 257614911
o 257614909
o 257614908
o 257596753
o 257596751
o 257596750
o 257596748
o 257596746
o 257596744
o 257596742
o 257596741
o 257596740
o 257596738
o 257596737
o 257578588
o 257578586
o 257578584
o 257578583
o 257578581
o 257578579
o 257578577
o 257578576
o 257578575
o 257578573
o 257578572
o 242624681
o 242624679
o 242624678
o 242624676
o 242624674
o 242624672
o 242624670
o 242624669
o 242624668
o 242624666
o 242588340
o 242588338
o 242588337
o 242588335
o 242588333
o 242588331
o 242588329
o 242588328
o 242588327
o 242588325
o 242588324
o 242570169
o 242570167
o 242570165
o 242570164
o 242570162
o 242570160
o 242570158
o 242570157
o 242570156
o 242570154
o 242570153
o 242551998
o 242551996
o 242551995
o 242551993
o 242551991
o 242551989
o 242551987
o 242551986
o 242551985
o 242551983
o 242551982
o 227616261
o 227616259
o 227616257
o 227616256
o 227616254
o 227616252
o 227616250
o 227616249
o 227616248
o 227616246
o 227579920
o 227579918
o 227579916
o 227579915
o 227579913
o 227579911
o 227579909
o 227579908
o 227579907
o 227579905
o 227579904
o 227561749
o 227561747
o 227561745
o 227561744
o 227561742
o 227561740
o 227561738
o 227561737
o 227561736
o 227561734
o 227561733
o 227543578
o 227543576
o 227543575
o 227543573
o 227543571
o 227543569
o 227543567
o 227543566
o 227543565
o 227543563
o 227543562
o 227543561
o 227543559
o 227543558
o 227525423
o 227525421
o 227525419
o 227525418
o 227525416
o 227525414
o 227525412
o 227525410
o 227525408
o 227525407
o 227525406
o 227525404
o 212589682
o 212589680
o 212589679
o 212589677
o 212589675
o 212589673
o 212589671
o 212589670
o 212589669
o 212589667
o 212553345
o 212553343
o 212553341
o 212553340
o 212553338
o 212553336
o 212553334
o 212553332
o 212553330
o 212553329
o 212553328
o 212553326
o 212535174
o 212535172
o 212535171
o 212535169
o 212535167
o 212535165
o 212535163
o 212535161
o 212535159
o 212535158
o 212535157
o 212535155
o 212516999
o 212516997
o 212516996
o 212516994
o 212516992
o 212516990
o 212516988
o 212516987
o 212516986
o 212516984
o 212516983
o 212516982
o 212516980
o 212498844
o 212498842
o 212498841
o 212498839
o 212498837
o 212498835
o 212498833
o 212498832
o 212498831
o 212498829
o 197563107
o 197563104
o 197563102
o 197563100
o 197563098
o 197563096
o 197563095
o 197563094
o 197563092
o 197526770
o 197526768
o 197526766
o 197526765
o 197526763
o 197526761
o 197526759
o 197526757
o 197526755
o 197526754
o 197526753
o 197526751
o 197508595
o 197508593
o 197508592
o 197508590
o 197508588
o 197508586
o 197508584
o 197508583
o 197508582
o 197508580
o 197490428
o 197490426
o 197490424
o 197490423
o 197490421
o 197490419
o 197490417
o 197490415
o 197490413
o 197490412
o 197490411
o 197490409
o 197490408
o 197490407
o 197490405
o 197472257
o 197472255
o 197472254
o 197472252
o 197472250
o 197472248
o 197472246
o 197472244
o 197472242
o 197472241
o 197472240
o 197472238
o 197472237
o 197472236
o 197472234
o 197454086
o 197454084
o 197454082
o 197454081
o 197454079
o 197454077
o 197454075
o 197454074
o 197454073
o 197454071
o 197454070
o 197454069
o 197454067
o 197435919
o 197435917
o 197435915
o 197435914
o 197435912
o 197435910
o 197435908
o 197435906
o 197435904
o 197435903
o 197435902
o 197435900
o 197435899
o 197435898
o 197435896
o 182536536
o 182536533
o 182536531
o 182536529
o 182536527
o 182536525
o 182536524
o 182536522
o 182500195
o 182500192
o 182500190
o 182500188
o 182500186
o 182500184
o 182500183
o 182500181
o 182482024
o 182482021
o 182482019
o 182482017
o 182482015
o 182482013
o 182482012
o 182482010
o 182463853
o 182463850
o 182463848
o 182463846
o 182463844
o 182463842
o 182463841
o 182463839
o 182463838
o 182463837
o 182463835
o 182445682
o 182445680
o 182445678
o 182445677
o 182445675
o 182445673
o 182445671
o 182445670
o 182445668
o 182445667
o 182445666
o 182445664
o 182427515
o 182427513
o 182427511
o 182427510
o 182427508
o 182427506
o 182427504
o 182427503
o 182427501
o 182427500
o 182427499
o 182427497
o 182409344
o 182409341
o 182409339
o 182409337
o 182409335
o 182409333
o 182409332
o 182409330
o 182409329
o 182409328
o 182409326
o 167491730
o 167491727
o 167491725
o 167491723
o 167491721
o 167491719
o 167491718
o 167491717
o 167491715
o 167455389
o 167455386
o 167455384
o 167455382
o 167455380
o 167455378
o 167455377
o 167455376
o 167455374
o 167455373
o 167437218
o 167437215
o 167437213
o 167437211
o 167437209
o 167437207
o 167437206
o 167437205
o 167437203
o 167437202
o 167419053
o 167419050
o 167419048
o 167419046
o 167419044
o 167419042
o 167419041
o 167419040
o 167419038
o 167419037
o 152465146
o 152465143
o 152465141
o 152465139
o 152465137
o 152465135
o 152465134
o 152465133
o 152465131
o 152428805
o 152428802
o 152428800
o 152428798
o 152428796
o 152428794
o 152428793
o 152428792
o 152428790
o 152428789
o 152410634
o 152410631
o 152410629
o 152410627
o 152410625
o 152410623
o 152410622
o 152410621
o 152410619
o 152410618
o 152392463
o 152392460
o 152392458
o 152392456
o 152392454
o 152392452
o 152392451
o 152392450
o 152392448
o 152392447
o 137456726
o 137456723
o 137456721
o 137456719
o 137456717
o 137456715
o 137456714
o 137456713
o 137456711
o 137420385
o 137420382
o 137420380
o 137420378
o 137420376
o 137420374
o 137420373
o 137420372
o 137420370
o 137420369
o 137402214
o 137402211
o 137402209
o 137402207
o 137402205
o 137402203
o 137402202
o 137402201
o 137402199
o 137402198
o 137384043
o 137384040
o 137384038
o 137384036
o 137384034
o 137384032
o 137384031
o 137384030
o 137384028
o 137384027
o 137384026
o 137384024
o 137384023
o 137365884
o 137365881
o 137365879
o 137365877
o 137365875
o 137365873
o 137365872
o 137365871
o 137365869
o 122430147
o 122430145
o 122430143
o 122430142
o 122430140
o 122430138
o 122430136
o 122430135
o 122430134
o 122430132
o 122393806
o 122393804
o 122393803
o 122393801
o 122393799
o 122393797
o 122393795
o 122393794
o 122393793
o 122393791
o 122375639
o 122375637
o 122375635
o 122375634
o 122375632
o 122375630
o 122375628
o 122375626
o 122375624
o 122375623
o 122375622
o 122375620
o 122357464
o 122357462
o 122357461
o 122357459
o 122357457
o 122357455
o 122357453
o 122357452
o 122357451
o 122357449
o 122357448
o 122357447
o 122357445
o 122339313
o 122339311
o 122339309
o 122339308
o 122339306
o 122339304
o 122339302
o 122339300
o 122339298
o 122339297
o 122339296
o 122339294
o 107403576
o 107403574
o 107403572
o 107403571
o 107403569
o 107403567
o 107403565
o 107403563
o 107403561
o 107403560
o 107403559
o 107403557
o 107367235
o 107367233
o 107367231
o 107367230
o 107367228
o 107367226
o 107367224
o 107367222
o 107367220
o 107367219
o 107367218
o 107367216
o 107349060
o 107349058
o 107349056
o 107349055
o 107349053
o 107349051
o 107349049
o 107349048
o 107349047
o 107349045
o 107330889
o 107330887
o 107330886
o 107330884
o 107330882
o 107330880
o 107330878
o 107330877
o 107330876
o 107330874
o 107330873
o 107330872
o 107330870
o 107312722
o 107312719
o 107312717
o 107312715
o 107312713
o 107312711
o 107312709
o 107312707
o 107312706
o 107312705
o 107312703
o 107312702
o 107312701
o 107312699
o 107294555
o 107294552
o 107294550
o 107294548
o 107294546
o 107294544
o 107294542
o 107294540
o 107294539
o 107294538
o 107294536
o 107294535
o 107294534
o 107294532
o 107276380
o 107276378
o 107276376
o 107276375
o 107276373
o 107276371
o 107276369
o 107276368
o 107276367
o 107276365
o 107276364
o 107276363
o 107276361
o 92377005
o 92377003
o 92377002
o 92377000
o 92376998
o 92376996
o 92376994
o 92376992
o 92376990
o 92376989
o 92376987
o 92340660
o 92340658
o 92340657
o 92340655
o 92340653
o 92340651
o 92340649
o 92340648
o 92340646
o 92322489
o 92322486
o 92322484
o 92322482
o 92322480
o 92322478
o 92322477
o 92322475
o 92304318
o 92304315
o 92304313
o 92304311
o 92304309
o 92304307
o 92304306
o 92304304
o 92304303
o 92304302
o 92304300
o 92286147
o 92286144
o 92286142
o 92286140
o 92286138
o 92286136
o 92286135
o 92286133
o 92286132
o 92286131
o 92286129
o 92267984
o 92267982
o 92267980
o 92267979
o 92267977
o 92267975
o 92267973
o 92267971
o 92267969
o 92267968
o 92267966
o 92267965
o 92267964
o 92267962
o 92249813
o 92249811
o 92249809
o 92249808
o 92249806
o 92249804
o 92249802
o 92249800
o 92249798
o 92249797
o 92249795
o 92249794
o 92249793
o 92249791
o 92195305
o 92195302
o 92195300
o 92195298
o 92195296
o 92195294
o 92195292
o 92195290
o 92195289
o 92195287
o 92158964
o 92158961
o 92158959
o 92158957
o 92158955
o 92158953
o 92158951
o 92158949
o 92158948
o 92158946
o 92140793
o 92140791
o 92140790
o 92140788
o 92140786
o 92140784
o 92140782
o 92140780
o 92140778
o 92140777
o 92140775
o 92122622
o 92122620
o 92122618
o 92122617
o 92122615
o 92122613
o 92122611
o 92122609
o 92122607
o 92122606
o 92122604
o 92122603
o 92122602
o 92122600
o 92104451
o 92104449
o 92104447
o 92104446
o 92104444
o 92104442
o 92104440
o 92104438
o 92104436
o 92104435
o 92104433
o 92104432
o 92104431
o 92104429
o 92086280
o 92086278
o 92086276
o 92086275
o 92086273
o 92086271
o 92086269
o 92086268
o 92086266
o 92086265
o 92086264
o 92086262
o 92068113
o 92068111
o 92068109
o 92068108
o 92068106
o 92068104
o 92068102
o 92068100
o 92068098
o 92068097
o 92068095
o 92068094
o 92068093
o 92068091
Killed
1979.590u 0.110s 33:03.99 99.7%	0+0k 0+0io 0pf+0w