Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_min-enc_warehouses_cap102.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap102.wcsp.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 19069363
o 18570739
o 18515740
o 18502471
o 18486805
o 18484980
o 18418537
o 18416712
o 18407102
o 18405277
o 18385867
o 18384042
o 18379451
o 18376518
o 18375464
o 18373639
o 18371927
o 18369997
o 18367231
o 18365406
o 18364298
o 18362473
o 18361419
o 18359594
o 18357882
o 18357050
o 18356410
o 18354186
o 18028326
o 18015057
o 17944392
o 17942567
o 17929298
o 17874299
o 17861030
o 17855218
o 17853506
o 17846985
o 17839461
o 17835550
o 17828026
o 17827194
o 17816140
o 17814315
o 17810328
o 17808503
o 17807784
o 17805959
o 17802200
o 17801368
o 17800728
o 17800329
o 17798504
o 17770981
o 17767805
o 17767029
o 17756936
o 17753760
o 17746236
o 17745404
o 17744764
o 17742325
o 17734801
o 17733969
o 17733329
o 17732930
o 17731105
o 17721090
o 17715391
o 17713566
o 17712734
o 17712094
o 17709870
o 17708143
o 17707503
o 17705279
o 17704025
o 17690756
o 17688931
o 17684944
o 17683119
o 17682400
o 17680575
o 17679935
o 17677711
o 17676711
o 17674886
o 17670899
o 17669074
o 17668355
o 17666530
o 17665890
o 17665491
o 17663666
o 17659437
o 17656261
o 17650562
o 17648737
o 17647905
o 17647265
o 17645041
o 17642216
o 17638229
o 17636404
o 17635685
o 17633860
o 17633220
o 17630996
o 17630101
o 17629269
o 17628629
o 17626405
o 17625912
o 17624087
o 17623368
o 17621543
o 17620903
o 17618679
o 17617784
o 17616952
o 17616312
o 17615913
o 17614088
o 17612608
o 17611968
o 17611160
o 17610520
o 17609744
o 17608296
o 17607504
o 17603517
o 17601692
o 17596069
o 17590257
o 17587491
o 17585666
o 17583164
o 17581339
o 17576659
o 17574834
o 17569022
o 17566256
o 17564431
o 17563712
o 17561887
o 17561247
o 17560789
o 17558023
o 17556198
o 17555090
o 17553265
o 17552211
o 17550386
o 17548674
o 17547842
o 17547202
o 17546803
o 17544978
o 17544330
o 17543498
o 17542858
o 17542459
o 17540634
o 17539186
o 17538232
o 17533641
o 17532922
o 17531097
o 17524634
o 17522809
o 17516997
o 17514453
o 17514231
o 17512406
o 17511687
o 17509862
o 17509222
o 17505481
o 17503656
o 17490387
o 17489036
o 17487211
o 17481512
o 17479687
o 17478855
o 17478215
o 17476808
o 17475096
o 17474264
o 17473624
o 17470077
o 17468252
o 17467420
o 17466780
o 17465373
o 17464654
o 17462829
o 17462189
o 17456366
o 17454541
o 17450554
o 17448729
o 17448010
o 17446185
o 17445545
o 17442426
o 17441594
o 17440954
o 17440496
o 17437730
o 17435905
o 17434684
o 17431918
o 17430093
o 17429374
o 17427549
o 17426909
o 17426348
o 17425708
o 17425030
o 17423205
o 17422565
o 17421757
o 17421117
o 17419601
o 17417776
o 17417057
o 17415232
o 17414863
o 17413545
o 17411720
o 17410272
o 17409440
o 17408800
o 17408024
o 17406576
o 17405840
o 17404015
o 17402567
o 17401735
o 17401095
o 17399801
o 17399579
o 17397754
o 17396042
o 17395210
o 17394570
o 17394009
o 17393369
o 17392691
o 17390866
o 17390226
o 17389418
o 17388778
o 17388002
o 17386554
o 17385461
o 17384845
o 17384013
o 17382895
o 17380351
o 17380129
o 17378304
o 17377585
o 17375760
o 17374073
o 17372248
o 17371416
o 17369968
o 17368866
o 17368034
o 17365268
o 17363443
o 17361643
o 17359099
o 17358483
o 17357651
o 17357011
o 17356235
o 17354787
o 17354572
o 17353833
o 17352008
o 17350321
o 17348496
o 17347664
o 17347048
o 17346216
o 17344800
o 17343352
o 17339733
o 17337908
o 17337189
o 17335364
o 17333564
o 17331852
o 17331020
o 17329572
o 17327261
o 17325813
o 17324981
o 17324341
o 17323565
o 17322117
o 17321277
o 17320445
o 17319805
o 17318997
o 17318357
o 17316990
o 17315165
o 17314446
o 17312621
o 17310821
o 17309109
o 17307661
o 17306829
o 17306313
o 17305112
o 17304513
o 17303794
o 17301969
o 17300521
o 17299516
o 17297691
o 17296859
o 17296637
o 17294812
o 17292268
o 17290468
o 17289749
o 17287924
o 17286476
o 17284542
o 17284320
o 17282495
o 17281776
o 17279951
o 17278151
o 17277432
o 17275607
o 17274991
o 17274788
o 17274159
o 17273519
o 17272743
o 17271295
o 17269860
o 17268023
o 17266198
o 17263679
o 17261854
o 17260406
o 17259088
o 17257263
o 17255815
o 17253817
o 17252369
o 17221895
o 17208626
o 17206801
o 17204282
o 17202457
o 17201009
o 17199691
o 17197866
o 17196418
o 17196309
o 17194484
o 17191965
o 17190140
o 17188692
o 17187374
o 17185549
o 17184101
o 17183821
o 17182373
o 17182264
o 17180439
o 17177920
o 17176095
o 17174647
o 17173329
o 17171504
o 17170056
o 17169004
o 17164660
o 17163212
o 17160069
o 17158621
o 17152785
o 17139516
o 17137691
o 17133347
o 17133100
o 17128756
o 17127199
o 17125374
o 17122608
o 17120783
o 17118264
o 17116439
o 17113154
o 17111329
o 17108563
o 17106738
o 17102394
o 17101719
o 17099894
o 17095303
o 17090959
o 17089511
o 17087139
o 17082120
o 17080295
o 17077529
o 17075704
o 17073185
o 17071360
o 17069912
o 17064942
o 17063117
o 17060598
o 17058773
o 17057325
o 17055835
o 17053316
o 17051491
o 17050043
o 17045343
o 17043518
o 17039174
o 17037726
o 17037446
o 17035998
o 17035116
o 17031298
o 17029473
o 17026954
o 17025129
o 17023681
o 17022363
o 17020538
o 17019090
o 17017605
o 17016157
o 17015325
o 17014839
o 17013014
o 17011566
o 17010734
o 17010094
o 17009318
o 17007870
o 17007495
o 17006719
o 17005271
o 17003894
o 17002446
o 17002426
o 16999907
o 16998082
o 16996634
o 16995538
o 16994090
o 16993450
o 16992674
o 16991226
o 16990331
o 16989499
o 16988859
o 16988083
o 16986635
o 16985418
o 16983970
o 16977445
o 16974926
o 16973101
o 16971653
o 16971633
o 16969114
o 16967289
o 16965841
o 16964745
o 16963297
o 16962657
o 16961979
o 16960154
o 16958706
o 16958066
o 16957588
o 16955069
o 16953244
o 16951796
o 16950700
o 16949252
o 16948612
o 16946941
o 16946109
o 16944661
o 16944021
o 16943245
o 16941797
o 16940472
o 16937329
o 16935881
o 16934396
o 16933564
o 16932116
o 16929805
o 16928357
o 16927525
o 16926885
o 16921435
o 16919610
o 16915266
o 16913818
o 16912294
o 16909118
o 16907293
o 16904774
o 16902949
o 16901501
o 16900183
o 16898358
o 16896910
o 16896424
o 16895073
o 16893248
o 16888904
o 16888657
o 16886138
o 16884313
o 16882865
o 16881133
o 16880301
o 16877782
o 16875957
o 16875341
o 16874509
o 16873869
o 16873649
o 16869058
o 16864714
o 16863246
o 16858902
o 16856358
o 16855742
o 16854910
o 16854270
o 16853688
o 16851169
o 16849344
o 16847896
o 16844681
o 16842856
o 16838869
o 16837044
o 16834525
o 16832700
o 16832453
o 16829934
o 16828109
o 16826661
o 16825565
o 16824117
o 16823477
o 16823019
o 16822999
o 16820480
o 16818655
o 16817207
o 16815889
o 16814064
o 16812616
o 16811520
o 16810072
o 16809432
o 16809168
o 16807343
o 16805895
o 16804577
o 16802752
o 16801304
o 16801284
o 16800083
o 16796940
o 16795492
o 16794396
o 16792948
o 16792728
o 16789962
o 16788137
o 16786936
o 16785505
o 16783793
o 16782345
o 16781513
o 16779017
o 16775030
o 16773205
o 16770686
o 16768861
o 16767413
o 16766095
o 16764270
o 16762822
o 16761726
o 16760278
o 16759620
o 16759418
o 16754827
o 16753719
o 16751894
o 16749015
o 16747303
o 16744784
o 16742959
o 16741511
o 16739726
o 16736960
o 16735135
o 16732616
o 16730791
o 16730003
o 16728291
o 16727237
o 16725412
o 16723700
o 16721198
o 16719373
o 16716405
o 16714580
o 16708881
o 16707056
o 16706002
o 16704177
o 16702465
o 16698121
o 16696673
o 16695841
o 16695201
o 16694425
o 16692977
o 16690561
o 16688736
o 16685970
o 16684145
o 16682977
o 16679801
o 16678353
o 16677614
o 16676621
o 16675789
o 16673270
o 16672277
o 16671445
o 16670829
o 16669997
o 16669357
o 16668581
o 16667133
o 16666273
o 16664448
o 16661682
o 16659857
o 16659138
o 16657313
o 16655177
o 16653352
o 16652131
o 16649365
o 16647540
o 16646821
o 16644996
o 16643196
o 16642477
o 16640652
o 16639204
o 16638564
o 16637788
o 16636340
o 16634963
o 16633515
o 16632776
o 16631783
o 16630951
o 16627439
o 16626607
o 16625991
o 16625159
o 16624519
o 16623743
o 16622295
o 16621059
o 16619611
o 16617879
o 16617047
o 16615360
o 16613535
o 16612703
o 16612087
o 16611255
o 16608112
o 16607496
o 16606664
o 16605248
o 16603800
o 16601202
o 16599754
o 16598658
o 16597210
o 16596570
o 16595892
o 16594067
o 16592619
o 16591979
o 16591203
o 16589755
o 16589337
o 16587113
o 16582820
o 16578476
o 16577757
o 16575932
o 16575292
o 16574893
o 16573068
o 16571620
o 16571205
o 16570883
o 16569725
o 16569085
o 16568686
o 16566861
o 16565413
o 16565134
o 16564494
o 16564095
o 16562270
o 16560822
o 16560244
o 16559445
o 16558349
o 16556901
o 16556302
o 16554854
o 16553758
o 16552310
o 16551670
o 16550894
o 16549446
o 16549244
o 16548628
o 16547796
o 16547156
o 16543021
o 16541606
o 16538430
o 16537489
o 16535705
o 16533880
o 16530704
o 16529289
o 16527938
o 16526113
o 16524912
o 16523594
o 16521769
o 16520321
o 16519582
o 16517757
o 16516070
o 16514245
o 16513413
o 16512797
o 16511965
o 16511325
o 16510549
o 16509101
o 16508038
o 16506590
o 16505272
o 16503447
o 16501999
o 16501167
o 16499751
o 16498303
o 16496523
o 16495075
o 16494243
o 16493603
o 16492827
o 16491379
o 16488512
o 16485993
o 16484168
o 16482720
o 16482532
o 16481084
o 16479594
o 16478653
o 16473089
o 16469102
o 16467277
o 16464758
o 16462933
o 16461485
o 16460167
o 16458342
o 16456894
o 16456009
o 16454561
o 16453243
o 16451418
o 16449970
o 16449317
o 16448185
o 16446452
o 16443841
o 16442393
o 16441877
o 16438309
o 16436484
o 16435372
o 16435215
o 16429560
o 16427827
o 16427041
o 16425216
o 16422439
o 16421327
o 16415515
o 16412996
o 16411171
o 16409723
o 16406580
o 16405132
o 16403886
o 16403322
o 16397510
o 16394991
o 16393166
o 16391718
o 16388533
o 16384965
o 16383140
o 16382028
o 16378827
o 16376216
o 16371764
o 16370652
o 16369276
o 16366665
o 16364840
o 16360496
o 16359048
o 16357730
o 16355905
o 16354457
o 16353361
o 16351913
o 16351273
o 16350497
o 16349049
o 16348410
o 16347417
o 16346585
o 16345137
o 16344497
o 16343721
o 16342273
o 16341947
o 16341115
o 16340475
o 16339699
o 16338251
o 16337913
o 16337297
o 16336465
o 16335049
o 16333601
o 16332864
o 16331416
o 16331066
o 16328842
o 16327394
o 16327115
o 16326475
o 16325667
o 16325027
o 16324251
o 16322803
o 16322166
o 16320534
o 16319702
o 16319062
o 16318254
o 16317614
o 16315680
o 16315040
o 16314232
o 16313592
o 16312816
o 16311368
o 16309587
o 16309218
o 16307900
o 16306075
o 16304627
o 16303795
o 16302379
o 16300931
o 16299299
o 16298467
o 16297019
o 16296379
o 16295603
o 16294155
o 16293805
o 16291581
o 16290133
o 16289543
o 16288711
o 16288071
o 16287295
o 16285847
o 16283730
o 16281905
o 16281186
o 16279361
o 16278721
o 16277913
o 16277273
o 16276497
o 16275049
o 16274751
o 16273952
o 16272634
o 16270809
o 16269361
o 16268265
o 16266817
o 16266177
o 16265401
o 16263953
o 16263625
o 16262985
o 16262209
o 16260761
o 16259397
o 16259367
o 16257919
o 16256823
o 16255375
o 16254735
o 16253959
o 16252511
o 16251917
o 16251807
o 16250359
o 16249719
o 16249053
o 16248943
o 16247495
o 16246823
o 16246709
o 16245727
o 16244279
o 16244165
o 16243639
o 16243525
o 16242535
o 16241087
o 16240447
o 16239671
o 16238223
o 16237695
o 16236247
o 16235607
o 16234831
o 16233383
o 16230366
o 16227600
o 16225775
o 16223442
o 16223287
o 16220676
o 16218851
o 16217107
o 16215282
o 16212516
o 16210691
o 16210183
o 16208358
o 16208203
o 16206378
o 16205592
o 16203767
o 16202039
o 16201098
o 16198471
o 16196646
o 16196138
o 16194313
o 16189722
o 16187203
o 16185378
o 16183930
o 16182946
o 16178602
o 16177154
o 16176405
o 16174580
o 16173132
o 16171400
o 16171078
o 16170593
o 16168768
o 16167056
o 16165608
o 16164776
o 16164136
o 16163862
o 16162766
o 16161318
o 16160678
o 16160592
o 16159760
o 16159120
o 16158454
o 16158344
o 16156896
o 16155960
o 16154512
o 16154398
o 16153680
o 16153566
o 16153032
o 16151936
o 16150488
o 16149848
o 16149072
o 16147624
o 16145184
o 16143736
o 16142999
o 16141551
o 16138408
o 16136960
o 16136211
o 16134386
o 16132938
o 16132106
o 16131192
o 16130096
o 16128648
o 16128538
o 16127090
o 16126450
o 16125674
o 16124226
o 16123290
o 16122458
o 16122344
o 16121842
o 16121728
o 16121010
o 16120896
o 16119266
o 16117818
o 16117178
o 16116402
o 16114954
o 16114358
o 16111784
o 16110336
o 16109767
o 16109018
o 16107193
o 16105745
o 16104649
o 16103201
o 16102561
o 16101785
o 16100337
o 16099518
o 16099192
o 16098360
o 16097720
o 16096944
o 16095496
o 16094753
o 16094411
o 16093692
o 16091867
o 16090419
o 16090389
o 16089670
o 16087845
o 16086397
o 16085757
o 16084981
o 16083533
o 16082829
o 16081117
o 16079669
o 16078573
o 16077125
o 16076485
o 16075709
o 16074261
o 16072485
o 16067972
o 16066147
o 16066110
o 16064285
o 16062971
o 16062934
o 16061109
o 16060577
o 16059263
o 16057401
o 16051026
o 16047850
o 16046025
o 16044610
o 16043296
o 16041434
o 16040963
o 16039101
o 16038983
o 16037121
o 16036372
o 16034510
o 16033356
o 16031577
o 16030745
o 16030590
o 16029597
o 16028765
o 16027979
o 16026986
o 16026154
o 16024582
o 16022720
o 16020895
o 16012265
o 16010403
o 16008578
o 15997202
o 15995356
o 15993494
o 15985805
o 15983980
o 15982118
o 15978881
o 15977019
o 15975194
o 15962792
o 15953900
o 15952038
o 15950213
o 15948613
o 15941583
o 15939721
o 15937896
o 15930207
o 15928345
o 15926520
o 15923283
o 15921421
o 15919596
o 15915123
o 15913261
o 15911436
o 15906337
o 15904512
o 15904357
o 15902532
o 15901746
o 15899921
o 15898700
o 15898582
o 15897796
o 15895971
o 15895934
o 15894109
o 15893427
o 15893390
o 15891565
o 15890479
o 15888654
o 15888617
o 15886792
o 15883633
o 15881808
o 15880457
o 15878632
o 15878571
o 15876746
o 15875395
o 15873570
o 15873533
o 15871708
o 15870767
o 15869491
o 15868140
o 15866315
o 15866254
o 15864429
o 15863078
o 15861253
o 15861216
o 15859391
o 15858791
o 15855554
o 15853729
o 15853692
o 15851867
o 15851749
o 15851712
o 15849887
o 15849138
o 15849101
o 15847276
o 15837844
o 15837807
o 15835982
o 15831652
o 15829790
o 15824585
o 15822723
o 15820898
o 15818410
o 15816585
o 15815799
o 15813974
o 15811208
o 15809383
o 15804423
o 15802598
o 15801694
o 15799869
o 15799832
o 15798007
o 15797066
o 15792143
o 15792106
o 15790281
o 15789377
o 15787552
o 15787515
o 15785690
o 15785368
o 15784619
o 15784582
o 15784469
o 15782757
o 15781853
o 15780028
o 15779878
o 15778166
o 15777334
o 15775534
o 15774852
o 15774815
o 15772990
o 15771542
o 15769576
o 15767714
o 15764477
o 15762652
o 15762615
o 15760790
o 15757259
o 15755397
o 15752160
o 15750298
o 15748473
o 15748318
o 15746493
o 15745744
o 15745707
o 15743882
o 15740784
o 15738959
o 15738922
o 15737097
o 15736193
o 15734368
o 15734331
o 15732506
o 15731435
o 15729573
o 15728669
o 15726807
o 15724982
o 15723838
o 15722013
o 15721413
o 15716351
o 15716201
o 15714489
o 15714371
o 15714334
o 15712509
o 15711610
o 15709898
o 15707416
o 15705554
o 15704106
o 15703274
o 15703055
o 15702269
o 15700444
o 15700176
o 15699390
o 15697565
o 15695853
o 15693334
o 15691509
o 15690061
o 15689229
o 15689174
o 15689137
o 15687312
o 15686655
o 15684830
o 15684793
o 15682968
o 15681520
o 15680424
o 15678976
o 15678377
o 15676929
o 15675833
o 15674385
o 15673200
o 15671338
o 15669213
o 15667388
o 15667351
o 15665526
o 15663007
o 15661182
o 15659734
o 15658638
o 15657190
o 15656741
o 15656704
o 15654879
o 15654047
o 15653431
o 15652599
o 15652380
o 15651548
o 15650799
o 15649769
o 15648937
o 15647137
o 15646418
o 15644593
o 15643977
o 15643145
o 15642546
o 15641864
o 15641827
o 15640002
o 15638554
o 15637201
o 15635883
o 15634058
o 15632610
o 15631778
o 15631748
o 15630036
o 15628588
o 15627756
o 15626481
o 15625385
o 15623937
o 15623785
o 15623015
o 15621303
o 15621153
o 15619441
o 15617993
o 15617161
o 15617131
o 15614587
o 15613139
o 15612499
o 15611723
o 15610275
o 15609184
o 15607736
o 15607665
o 15606217
o 15605480
o 15604032
o 15603320
o 15603283
o 15601458
o 15600010
o 15598692
o 15596867
o 15595419
o 15595190
o 15593365
o 15592533
o 15591917
o 15591085
o 15590373
o 15590336
o 15588511
o 15587895
o 15587063
o 15585647
o 15584199
o 15583583
o 15583261
o 15582645
o 15581813
o 15580071
o 15579239
o 15577791
o 15577151
o 15576375
o 15574927
o 15573162
o 15571300
o 15570099
o 15569567
o 15568818
o 15566956
o 15565508
o 15564524
o 15562005
o 15560180
o 15558732
o 15558298
o 15558143
o 15556318
o 15555532
o 15553707
o 15551225
o 15549363
o 15547915
o 15546861
o 15544999
o 15541762
o 15539937
o 15539900
o 15538075
o 15535309
o 15533484
o 15532682
o 15530231
o 15528369
o 15527620
o 15527583
o 15525758
o 15525640
o 15525603
o 15523778
o 15523029
o 15522992
o 15521167
o 15519434
o 15516823
o 15515375
o 15515349
o 15514547
o 15511818
o 15509956
o 15509485
o 15507623
o 15506719
o 15504857
o 15503032
o 15502375
o 15500513
o 15498688
o 15497240
o 15496256
o 15495055
o 15493737
o 15491912
o 15490464
o 15488987
o 15487786
o 15487254
o 15486505
o 15486468
o 15484643
o 15483195
o 15482211
o 15481010
o 15480478
o 15479729
o 15477867
o 15476419
o 15476399
o 15475742
o 15473880
o 15472055
o 15470607
o 15469511
o 15468063
o 15467423
o 15466647
o 15465199
o 15464873
o 15464041
o 15463401
o 15462625
o 15461177
o 15460473
o 15459377
o 15457929
o 15457289
o 15456513
o 15455065
o 15453353
o 15451905
o 15451190
o 15449913
o 15448088
o 15447184
o 15445322
o 15443497
o 15442989
o 15441164
o 15440260
o 15438398
o 15436573
o 15434840
o 15434091
o 15434054
o 15432229
o 15431314
o 15429452
o 15428981
o 15428944
o 15427119
o 15427001
o 15426964
o 15425139
o 15424390
o 15424353
o 15422528
o 15420046
o 15420009
o 15418184
o 15416716
o 15414197
o 15412372
o 15411690
o 15411653
o 15409828
o 15409188
o 15407585
o 15406514
o 15406477
o 15404652
o 15404405
o 15401923
o 15400061
o 15399229
o 15398589
o 15398391
o 15397487
o 15395662
o 15395625
o 15393800
o 15391318
o 15389456
o 15388737
o 15386912
o 15386272
o 15383752
o 15383112
o 15382304
o 15381664
o 15380888
o 15379440
o 15378282
o 15377642
o 15376866
o 15375418
o 15375312
o 15374480
o 15373032
o 15372392
o 15371616
o 15370168
o 15369010
o 15368370
o 15367594
o 15366146
o 15365431
o 15363983
o 15363047
o 15362933
o 15361599
o 15361485
o 15360767
o 15360653
o 15360127
o 15360013
o 15359351
o 15359237
o 15357903
o 15357789
o 15357575
o 15356935
o 15356159
o 15354711
o 15354225
o 15353626
o 15352907
o 15351082
o 15349634
o 15348994
o 15348218
o 15346770
o 15346444
o 15345612
o 15344196
o 15342748
o 15341812
o 15341698
o 15340364
o 15340250
o 15339532
o 15339418
o 15338892
o 15338778
o 15338116
o 15338002
o 15336668
o 15336554
o 15336340
o 15335700
o 15334924
o 15333476
o 15330863
o 15329415
o 15328194
o 15325051
o 15323603
o 15322507
o 15321059
o 15320419
o 15319643
o 15318195
o 15318081
o 15317867
o 15317227
o 15316451
o 15315003
o 15314702
o 15314215
o 15313729
o 15311904
o 15311072
o 15310456
o 15309624
o 15308984
o 15308870
o 15308208
o 15308094
o 15306760
o 15306646
o 15306432
o 15305792
o 15305016
o 15303568
o 15301353
o 15298193
o 15297085
o 15295260
o 15293829
o 15292494
o 15290669
o 15289837
o 15289197
o 15286973
o 15285525
o 15285411
o 15285197
o 15284557
o 15283781
o 15282333
o 15281946
o 15280515
o 15279180
o 15277355
o 15275866
o 15274435
o 15273886
o 15273100
o 15271275
o 15271161
o 15270091
o 15269977
o 15268643
o 15268529
o 15266931
o 15266817
o 15265483
o 15265369
o 15264981
o 15264867
o 15260390
o 15260276
o 15257230
o 15257116
o 15256046
o 15255932
o 15254711
o 15252886
o 15252772
o 15251438
o 15251324
o 15251304
o 15250234
o 15250120
o 15248899
o 15247074
o 15246960
o 15245626
o 15245512
o 15244530
o 15244416
o 15243082
o 15242968
o 15242442
o 15242328
o 15241666
o 15241552
o 15240218
o 15240104
o 15239890
o 15239250
o 15238474
o 15237026
o 15236386
o 15235854
o 15235068
o 15233243
o 15231795
o 15231190
o 15230704
o 15228879
o 15228047
o 15227431
o 15226599
o 15225719
o 15224271
o 15223439
o 15222799
o 15222685
o 15222023
o 15221909
o 15220575
o 15220461
o 15220401
o 15220287
o 15219305
o 15219191
o 15217857
o 15217743
o 15216859
o 15215034
o 15214920
o 15213586
o 15213472
o 15211874
o 15211760
o 15210426
o 15210312
o 15209564
o 15209450
o 15207852
o 15207738
o 15206404
o 15206290
o 15205572
o 15205458
o 15204932
o 15204818
o 15204156
o 15204042
o 15202708
o 15202594
o 15202380
o 15201740
o 15200964
o 15199516
o 15197455
o 15195630
o 15194279
o 15192454
o 15187941
o 15186116
o 15182940
o 15181078
o 15179743
o 15177918
o 15172448
o 15170623
o 15170586
o 15168761
o 15167463
o 15167426
o 15165601
o 15165524
o 15163699
o 15161837
o 15160539
o 15160502
o 15158677
o 15157493
o 15156195
o 15156158
o 15154333
o 15152885
o 15152605
o 15151157
o 15150968
o 15150403
o 15149654
o 15149617
o 15147792
o 15146624
o 15146059
o 15145273
o 15143448
o 15142000
o 15140288
o 15138840
o 15137368
o 15135920
o 15134208
o 15132760
o 15132646
o 15131329
o 15131215
o 15129617
o 15129503
o 15128169
o 15128055
o 15126684
o 15126570
o 15125236
o 15125122
o 15124704
o 15123918
o 15122093
o 15121979
o 15120645
o 15120531
o 15119813
o 15119699
o 15119173
o 15119059
o 15118397
o 15118283
o 15116949
o 15116835
o 15116621
o 15115981
o 15115205
o 15113757
o 15113042
o 15111594
o 15110658
o 15109826
o 15108378
o 15106962
o 15105514
o 15105400
o 15105186
o 15104546
o 15103770
o 15102322
o 15102146
o 15102032
o 15100107
o 15099993
o 15098659
o 15098545
o 15096947
o 15096833
o 15095499
o 15095385
o 15094408
o 15092583
o 15092469
o 15091135
o 15091021
o 15089423
o 15089309
o 15087975
o 15087861
o 15087143
o 15087029
o 15086503
o 15086389
o 15085727
o 15084279
o 15084165
o 15083951
o 15083311
o 15082535
o 15081087
o 15080582
o 15079592
o 15079478
o 15078760
o 15078646
o 15078120
o 15078006
o 15077344
o 15075896
o 15075782
o 15075568
o 15074928
o 15074152
o 15072704
o 15072406
o 15072292
o 15071630
o 15070182
o 15070068
o 15069886
o 15069246
o 15068470
o 15067022
o 15066908
o 15065278
o 15063830
o 15063299
o 15061851
o 15061737
o 15061523
o 15060883
o 15060107
o 15058659
o 15057593
o 15057024
o 15056162
o 15054450
o 15053002
o 15052170
o 15051530
o 15050754
o 15049306
o 15048370
o 15046922
o 15046090
o 15045450
o 15044674
o 15043226
o 15043112
o 15042898
o 15042258
o 15041482
o 15040034
o 15038664
o 15037216
o 15037102
o 15036576
o 15036462
o 15035800
o 15034352
o 15034238
o 15034024
o 15033384
o 15032608
o 15031160
o 15030629
o 15029181
o 15029067
o 15028853
o 15028213
o 15027437
o 15025989
o 15025812
o 15025698
o 15024364
o 15024250
o 15022620
o 15021172
o 15020000
o 15019886
o 15018552
o 15018438
o 15016808
o 15015360
o 15014264
o 15012816
o 15012176
o 15011400
o 15009952
o 15009774
o 15009660
o 15008894
o 15008062
o 15007948
o 15007446
o 15006614
o 15006500
o 15005702
o 15004870
o 15004254
o 15003422
o 15002782
o 15002006
o 15000558
o 15000232
o 14999400
o 14997984
o 14996536
o 14995907
o 14995244
o 14995214
o 14992670
o 14991222
o 14990582
o 14989806
o 14988358
o 14988244
o 14988030
o 14987390
o 14986614
o 14985166
Killed
1979.519u 0.191s 33:01.73 99.8%	0+0k 0+0io 0pf+0w