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_random-net_random-net-80-2_network-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 231071
o 229889
o 229377
o 229056
o 229039
o 228076
o 227564
o 227243
o 227044
o 226532
o 226211
o 226126
o 225924
o 225907
o 224944
o 224432
o 224111
o 223832
o 223580
o 223121
o 222800
o 222715
o 222313
o 221801
o 221480
o 221021
o 220700
o 220547
o 220226
o 219767
o 219446
o 219223
o 218902
o 218443
o 218122
o 218099
o 217778
o 217693
o 217323
o 217002
o 216779
o 216458
o 215999
o 215678
o 215590
o 215269
o 215189
o 214966
o 214645
o 214186
o 213865
o 213819
o 213498
o 213319
o 213176
o 212855
o 212809
o 212488
o 212480
o 212159
o 212016
o 211695
o 211649
o 211328
o 211092
o 210771
o 210628
o 210307
o 210261
o 209940
o 209762
o 209441
o 209298
o 208977
o 208931
o 208610
o 208524
o 208203
o 208060
o 207739
o 207693
o 207372
o 207247
o 207045
o 206586
o 206265
o 205963
o 205642
o 205499
o 205178
o 205132
o 204811
o 204575
o 204254
o 204111
o 203790
o 203744
o 203423
o 203245
o 202924
o 202781
o 202460
o 202414
o 202093
o 202007
o 201686
o 201543
o 201222
o 201176
o 200855
o 200591
o 200490
o 200289
o 199968
o 199867
o 199825
o 199504
o 199403
o 199137
o 199036
o 198901
o 198580
o 198479
o 198437
o 198116
o 198015
o 197749
o 197648
o 197571
o 197250
o 197149
o 197107
o 196786
o 196685
o 196419
o 196318
o 196012
o 195911
o 195869
o 195548
o 195447
o 195181
o 195080
o 195058
o 194923
o 194602
o 194501
o 194459
o 194138
o 194037
o 193771
o 193670
o 193593
o 193272
o 193171
o 193129
o 192808
o 192707
o 192441
o 192340
o 192034
o 191933
o 191891
o 191570
o 191469
o 191203
o 191102
o 191086
o 191044
o 190723
o 190622
o 190356
o 190255
o 190115
o 190014
o 189748
o 189647
o 189574
o 189473
o 189207
o 189106
o 189090
o 189048
o 188727
o 188626
o 188360
o 188259
o 188244
o 188143
o 187877
o 187776
o 187760
o 187718
o 187397
o 187296
o 187030
o 186929
o 186905
o 186639
o 186538
o 186522
o 186480
o 186159
o 186058
o 185792
o 185691
o 185676
o 185575
o 185309
o 185208
o 185192
o 185150
o 184829
o 184728
o 184462
o 184361
o 184337
o 184071
o 183970
o 183954
o 183912
o 183591
o 183490
o 183224
o 183123
o 182900
o 182799
o 182533
o 182432
o 182144
o 182043
o 182001
o 181680
o 181579
o 181313
o 181212
o 180989
o 180888
o 180622
o 180521
o 180466
o 180365
o 180142
o 180041
o 179775
o 179674
o 179640
o 179539
o 179500
o 179234
o 179133
o 179078
o 178977
o 178754
o 178653
o 178387
o 178286
o 178271
o 178170
o 177904
o 177803
o 177748
o 177647
o 177424
o 177323
o 177057
o 176956
o 176932
o 176666
o 176565
o 176510
o 176409
o 176186
o 176085
o 175819
o 175718
o 175669
o 175608
o 175348
o 175247
o 175189
o 174923
o 174822
o 174761
o 174706
o 174440
o 174339
o 174278
o 174018
o 173917
o 173859
o 173593
o 173492
o 173431
o 173202
o 173101
o 173040
o 172780
o 172679
o 172621
o 172355
o 172254
o 172193
o 172179
o 172130
o 172069
o 172034
o 171933
o 171809
o 171708
o 171650
o 171609
o 171508
o 171384
o 171283
o 171222
o 171167
o 171126
o 171025
o 170901
o 170800
o 170739
o 170704
o 170603
o 170479
o 170378
o 170320
o 170279
o 170178
o 170054
o 169953
o 169892
o 169888
o 169787
o 169663
o 169562
o 169501
o 169466
o 169365
o 169241
o 169140
o 169082
o 169041
o 168940
o 168816
o 168715
o 168654
o 168587
o 168529
o 168488
o 168387
o 168263
o 168162
o 168101
o 168042
o 168037
o 167996
o 167895
o 167771
o 167670
o 167611
o 167560
o 167501
o 167424
o 167300
o 167199
o 167141
o 167100
o 166999
o 166875
o 166774
o 166713
o 166654
o 166617
o 166516
o 166392
o 166291
o 166230
o 166171
o 166094
o 165970
o 165869
o 165811
o 165770
o 165669
o 165545
o 165444
o 165383
o 165324
o 165278
o 165154
o 165053
o 164992
o 164933
o 164856
o 164732
o 164631
o 164573
o 164532
o 164431
o 164307
o 164206
o 164145
o 164086
o 164076
o 164036
o 163935
o 163811
o 163710
o 163651
o 163649
o 163590
o 163544
o 163420
o 163319
o 163260
o 163258
o 163199
o 163122
o 162998
o 162897
o 162838
o 162798
o 162697
o 162573
o 162472
o 162413
o 162411
o 162352
o 162302
o 162201
o 162142
o 162140
o 162081
o 162046
o 162006
o 161905
o 161781
o 161680
o 161621
o 161619
o 161560
o 161552
o 161550
o 161491
o 161409
o 161350
o 161348
o 161289
o 161281
o 161279
o 161220
o 161188
o 161129
o 161119
o 161060
o 161019
o 160942
o 160818
o 160717
o 160658
o 160618
o 160517
o 160393
o 160292
o 160233
o 160231
o 160172
o 160135
o 160034
o 159910
o 159809
o 159750
o 159748
o 159689
o 159612
o 159488
o 159387
o 159328
o 159288
o 159187
o 159063
o 158962
o 158903
o 158901
o 158842
o 158796
o 158672
o 158571
o 158512
o 158510
o 158451
o 158374
o 158250
o 158149
o 158090
o 158050
o 157949
o 157825
o 157724
o 157665
o 157663
o 157604
o 157596
o 157594
o 157535
o 157453
o 157394
o 157392
o 157333
o 157325
o 157323
o 157264
o 157223
o 157205
o 157104
o 156980
o 156879
o 156820
o 156818
o 156759
o 156751
o 156749
o 156690
o 156682
o 156558
o 156457
o 156398
o 156358
o 156257
o 156133
o 156032
o 155973
o 155971
o 155912
o 155904
o 155902
o 155843
o 155722
o 155621
o 155562
o 155560
o 155501
o 155493
o 155491
o 155432
o 155384
o 155260
o 155159
o 155100
o 155060
o 154959
o 154835
o 154734
o 154675
o 154673
o 154614
o 154606
o 154604
o 154545
o 154537
o 154413
o 154312
o 154253
o 154213
o 154112
o 153988
o 153887
o 153828
o 153826
o 153767
o 153759
o 153757
o 153698
o 153616
o 153557
o 153555
o 153496
o 153488
o 153486
o 153427
o 153395
o 153336
o 153326
o 153267
o 153255
o 153253
o 153194
o 153186
o 153184
o 153125
o 153024
o 152923
o 152864
o 152862
o 152803
o 152795
o 152793
o 152734
o 152726
o 152602
o 152501
o 152442
o 152402
o 152301
o 152177
o 152076
o 152017
o 152015
o 151956
o 151948
o 151946
o 151887
o 151886
o 151827
o 151819
o 151695
o 151594
o 151535
o 151495
o 151394
o 151270
o 151169
o 151110
o 151108
o 151049
o 151041
o 151039
o 150980
o 150879
o 150778
o 150719
o 150717
o 150658
o 150650
o 150648
o 150589
o 150581
o 150457
o 150356
o 150297
o 150257
o 150156
o 150032
o 149931
o 149872
o 149870
o 149811
o 149803
o 149801
o 149742
o 149660
o 149601
o 149599
o 149540
o 149532
o 149530
o 149471
o 149417
o 149316
o 149215
o 149156
o 149154
o 149095
o 149087
o 149085
o 149026
o 149018
o 148894
o 148793
o 148734
o 148694
o 148593
o 148469
o 148368
o 148309
o 148307
o 148248
o 148240
o 148238
o 148179
o 148097
o 148038
o 148036
o 147977
o 147969
o 147967
o 147908
o 147883
o 147824
o 147784
o 147683
o 147559
o 147458
o 147399
o 147397
o 147338
o 147330
o 147328
o 147269
o 147187
o 147128
o 147126
o 147067
o 147059
o 147057
o 146998
o 146988
o 146887
o 146763
o 146662
o 146603
o 146601
o 146542
o 146534
o 146532
o 146473
o 146391
o 146332
o 146330
o 146271
o 146263
o 146261
o 146202
o 146170
o 146111
o 146101
o 146042
o 146030
o 146028
o 145969
o 145961
o 145959
o 145900
o 145799
o 145698
o 145639
o 145637
o 145578
o 145570
o 145568
o 145509
o 145501
o 145377
o 145276
o 145217
o 145177
o 145076
o 144952
o 144851
o 144792
o 144790
o 144731
o 144723
o 144721
o 144662
o 144661
o 144602
o 144594
o 144470
o 144369
o 144310
o 144270
o 144169
o 144045
o 143944
o 143885
o 143883
o 143824
o 143816
o 143814
o 143755
o 143654
o 143553
o 143494
o 143492
o 143433
o 143425
o 143423
o 143364
o 143356
o 143232
o 143131
o 143072
o 143032
o 142931
o 142807
o 142706
o 142647
o 142645
o 142586
o 142578
o 142576
o 142517
o 142435
o 142376
o 142374
o 142315
o 142307
o 142305
o 142246
o 142227
o 142126
o 142067
o 142027
o 141926
o 141802
o 141701
o 141642
o 141640
o 141581
o 141573
o 141571
o 141512
o 141430
o 141371
o 141369
o 141310
o 141302
o 141300
o 141241
o 141228
o 141150
o 141091
o 141089
o 141030
o 141022
o 141020
o 140961
o 140879
o 140820
o 140818
o 140759
o 140751
o 140749
o 140690
o 140658
o 140599
o 140589
o 140530
o 140518
o 140516
o 140457
o 140449
o 140447
o 140388
o 140287
o 140186
o 140127
o 140125
o 140066
o 140058
o 140056
o 139997
o 139989
o 139865
o 139764
o 139705
o 139665
o 139564
o 139440
o 139339
o 139280
o 139278
o 139219
o 139211
o 139209
o 139150
o 139149
o 139090
o 139082
o 138958
o 138857
o 138798
o 138758
o 138657
o 138533
o 138432
o 138373
o 138371
o 138312
o 138304
o 138302
o 138243
o 138142
o 138041
o 137982
o 137980
o 137921
o 137913
o 137911
o 137852
o 137844
o 137720
o 137619
o 137560
o 137520
o 137419
o 137295
o 137194
o 137135
o 137133
o 137074
o 137066
o 137064
o 137005
o 136923
o 136864
o 136862
o 136803
o 136795
o 136793
o 136734
o 136721
o 136623
o 136499
o 136398
o 136339
o 136337
o 136278
o 136270
o 136268
o 136209
o 136127
o 136068
o 136066
o 136007
o 135999
o 135997
o 135938
o 135906
o 135847
o 135837
o 135778
o 135766
o 135764
o 135705
o 135697
o 135695
o 135636
o 135535
o 135434
o 135375
o 135373
o 135314
o 135306
o 135304
o 135245
o 135237
o 135113
o 135012
o 134953
o 134913
o 134812
o 134688
o 134587
o 134528
o 134526
o 134467
o 134459
o 134457
o 134398
o 134397
o 134338
o 134330
o 134206
o 134105
o 134046
o 134006
o 133905
o 133781
o 133680
o 133621
o 133619
o 133560
o 133552
o 133550
o 133491
o 133390
o 133289
o 133230
o 133228
o 133169
o 133161
o 133159
o 133100
o 133092
o 132968
o 132867
o 132808
o 132768
o 132667
o 132543
o 132442
o 132383
o 132381
o 132322
o 132314
o 132312
o 132253
o 132171
o 132112
o 132110
o 132051
o 132043
o 132041
o 131982
o 131969
o 131965
o 131883
o 131824
o 131822
o 131763
o 131755
o 131753
o 131694
o 131662
o 131603
o 131593
o 131534
o 131522
o 131520
o 131461
o 131453
o 131451
o 131392
o 131291
o 131190
o 131131
o 131129
o 131070
o 131062
o 131060
o 131001
o 130990
o 130869
o 130768
o 130709
o 130666
o 130565
o 130444
o 130343
o 130284
o 130282
o 130223
o 130215
o 130213
o 130154
o 130153
o 130094
o 130083
o 129962
o 129861
o 129802
o 129759
o 129658
o 129537
o 129436
o 129377
o 129375
o 129316
o 129308
o 129306
o 129247
o 129146
o 129045
o 128986
o 128984
o 128925
o 128917
o 128915
o 128856
o 128845
o 128724
o 128623
o 128564
o 128521
o 128420
o 128299
o 128198
o 128139
o 128137
o 128078
o 128070
o 128068
o 128009
o 127927
o 127868
o 127866
o 127807
o 127799
o 127797
o 127738
o 127725
o 127689
o 127687
o 127628
o 127620
o 127618
o 127559
o 127546
o 127545
o 127496
o 127395
o 127312
o 127253
o 127195
o 127071
o 126970
o 126887
o 126828
o 126826
o 126767
o 126759
o 126757
o 126698
o 126680
o 126579
o 126496
o 126437
o 126435
o 126376
o 126368
o 126366
o 126307
o 126258
o 126157
o 126074
o 126015
o 125957
o 125833
o 125732
o 125649
o 125590
o 125588
o 125529
o 125521
o 125519
o 125460
o 125378
o 125319
o 125317
o 125258
o 125250
o 125248
o 125189
o 125176
o 125147
o 125065
o 125006
o 125004
o 124945
o 124937
o 124935
o 124876
o 124863
o 124841
o 124833
o 124831
o 124772
o 124690
o 124631
o 124629
o 124570
o 124562
o 124560
o 124501
o 124488
o 124475
o 124467
o 124343
o 124242
o 124183
o 124096
o 124042
o 123918
o 123817
o 123758
o 123756
o 123697
o 123689
o 123687
o 123628
o 123527
o 123426
o 123367
o 123365
o 123306
o 123298
o 123296
o 123237
o 123229
o 123105
o 123004
o 122945
o 122858
o 122804
o 122680
o 122579
o 122520
o 122518
o 122459
o 122451
o 122449
o 122390
o 122308
o 122249
o 122247
o 122188
o 122180
o 122178
o 122119
o 122106
o 122105
o 122056
o 121955
o 121872
o 121813
o 121755
o 121631
o 121530
o 121447
o 121388
o 121386
o 121327
o 121319
o 121317
o 121258
o 121240
o 121139
o 121056
o 120997
o 120995
o 120936
o 120928
o 120926
o 120867
o 120818
o 120717
o 120634
o 120575
o 120517
o 120393
o 120292
o 120209
o 120150
o 120148
o 120089
o 120081
o 120079
o 120020
o 119938
o 119879
o 119877
o 119818
o 119810
o 119808
o 119749
o 119736
o 119700
o 119698
o 119639
o 119631
o 119629
o 119570
o 119557
o 119556
o 119507
o 119406
o 119323
o 119264
o 119206
o 119082
o 118981
o 118898
o 118839
o 118837
o 118778
o 118770
o 118768
o 118709
o 118691
o 118590
o 118507
o 118448
o 118446
o 118387
o 118379
o 118377
o 118318
o 118269
o 118168
o 118085
o 118026
o 117968
o 117844
o 117743
o 117660
o 117601
o 117599
o 117540
o 117532
o 117530
o 117471
o 117389
o 117330
o 117328
o 117269
o 117261
o 117259
o 117200
o 117187
o 117158
o 117076
o 117017
o 117015
o 116956
o 116948
o 116946
o 116887
o 116874
o 116848
o 116724
o 116623
o 116540
o 116481
o 116471
o 116412
o 116333
o 116232
o 116149
o 116090
o 116080
o 116021
o 115977
o 115853
o 115752
o 115711
o 115610
o 115486
o 115385
o 115302
o 115243
o 115233
o 115174
o 115114
o 115031
o 114972
o 114962
o 114903
o 114890
o 114852
o 114793
o 114783
o 114724
o 114711
o 114710
o 114666
o 114542
o 114441
o 114400
o 114299
o 114175
o 114074
o 113991
o 113932
o 113922
o 113863
o 113784
o 113683
o 113600
o 113541
o 113531
o 113472
o 113428
o 113304
o 113203
o 113162
o 113061
o 112937
o 112836
o 112753
o 112694
o 112684
o 112625
o 112565
o 112482
o 112423
o 112413
o 112354
o 112341
o 112312
o 112252
o 112169
o 112110
o 112100
o 112041
o 112028
o 111967
o 111908
o 111898
o 111839
o 111826
o 111797
o 111737
o 111654
o 111595
o 111585
o 111526
o 111513
o 111422
o 111339
o 111280
o 111270
o 111211
o 111169
o 111068
o 110985
o 110926
o 110916
o 110857
o 110756
o 110510
o 110409
o 110285
o 110184
o 110101
o 110042
o 110032
o 109973
o 109913
o 109830
o 109771
o 109761
o 109702
o 109689
o 109651
o 109592
o 109582
o 109523
o 109510
o 109445
o 109199
o 109098
o 108974
o 108873
o 108790
o 108731
o 108721
o 108662
o 108620
o 108519
o 108436
o 108377
o 108367
o 108308
o 108207
o 107961
o 107860
o 107736
o 107635
o 107552
o 107493
o 107483
o 107424
o 107364
o 107281
o 107222
o 107212
o 107153
o 107140
o 107111
o 107051
o 106968
o 106909
o 106899
o 106840
o 106827
o 106822
o 106812
o 106753
o 106740
o 106727
o 106603
o 106502
o 106419
o 106380
o 106279
o 106196
o 106137
o 106127
o 106068
o 106008
o 105925
o 105866
o 105856
o 105797
o 105784
o 105755
o 105695
o 105612
o 105553
o 105543
o 105484
o 105471
o 105466
o 105456
o 105397
o 105384
o 105366
o 105353
o 105324
o 105264
o 105181
o 105122
o 105112
o 105053
o 105040
o 104995
o 104982
o 104944
o 104885
o 104875
o 104816
o 104803
o 104738
o 104492
o 104391
o 104267
o 104166
o 104083
o 104024
o 104014
o 103955
o 103913
o 103812
o 103729
o 103670
o 103660
o 103601
o 103500
o 103254
o 103153
o 103029
o 102928
o 102845
o 102786
o 102776
o 102717
o 102657
o 102574
o 102515
o 102505
o 102446
o 102433
o 102404
o 102344
o 102261
o 102202
o 102192
o 102133
o 102120
o 102046
o 101963
o 101904
o 101894
o 101835
o 101734
o 101488
o 101387
o 101263
o 101162
o 101079
o 101020
o 101010
o 100951
o 100891
o 100808
o 100749
o 100739
o 100680
o 100667
o 100638
o 100578
o 100495
o 100436
o 100426
o 100367
o 100354
o 100349
o 100339
o 100280
o 100267
o 100228
o 100127
o 99881
o 99780
o 99656
o 99555
o 99472
o 99413
o 99403
o 99344
o 99284
o 99201
o 99142
o 99132
o 99073
o 99060
o 99031
o 98971
o 98888
o 98829
o 98819
o 98760
o 98747
o 98673
o 98590
o 98531
o 98521
o 98462
o 98361
o 98115
o 98014
o 97890
o 97789
o 97706
o 97647
o 97637
o 97578
o 97518
o 97435
o 97376
o 97366
o 97307
o 97294
o 97265
o 97205
o 97122
o 97063
o 97053
o 96994
o 96981
o 96976
o 96966
o 96907
o 96894
o 96851
o 96792
o 96782
o 96723
o 96710
o 96681
o 96621
o 96538
o 96479
o 96469
o 96410
o 96397
o 96392
o 96382
o 96323
o 96310
o 96289
o 96188
o 96105
o 96046
o 96033
o 96018
o 95959
o 95946
o 95933
o 95832
o 95749
o 95690
o 95677
o 95662
o 95603
o 95590
o 95561
o 95478
o 95419
o 95406
o 95377
o 95349
o 95248
o 95165
o 95106
o 95093
o 95078
o 95019
o 95006
o 94948
o 94935
o 94906
o 94823
o 94764
o 94751
o 94722
o 94694
o 94593
o 94510
o 94451
o 94438
o 94423
o 94364
o 94351
o 94301
o 94200
o 94117
o 94030
o 93929
o 93846
o 93833
o 93804
o 93717
o 93616
o 93533
o 93520
o 93446
o 93433
o 93345
o 93262
o 93249
o 93220
o 93133
o 93032
o 92949
o 92936
o 92862
o 92849
o 92791
o 92781
o 92708
o 92695
o 92694
o 92621
o 92608
o 92503
o 92402
o 92319
o 92232
o 92131
o 92048
o 92035
o 92006
o 91919
o 91818
o 91735
o 91722
o 91648
o 91635
o 91577
o 91567
o 91494
o 91481
o 91480
o 91407
o 91394
o 91381
o 91298
o 91285
o 91211
o 91198
o 91140
o 91130
o 91057
o 91044
o 91043
o 90970
o 90957
o 90897
o 90884
o 90843
o 90830
o 90829
o 90756
o 90743
o 90726
o 90625
o 90593
o 90542
o 90510
o 90497
o 90455
o 90423
o 90410
o 90384
o 90352
o 90301
o 90269
o 90256
o 90214
o 90182
o 90169
o 90156
o 90105
o 90073
o 90060
o 90018
o 89986
o 89973
o 89947
o 89915
o 89864
o 89832
o 89819
o 89777
o 89745
o 89732
o 89704
o 89672
o 89621
o 89589
o 89576
o 89547
o 89391
o 89359
o 89308
o 89276
o 89263
o 89223
o 89150
o 89118
o 89067
o 89035
o 89022
o 88984
o 88965
o 88901
o 88882
o 88869
o 88859
o 88840
o 88772
o 88753
o 88671
o 88652
o 88588
o 88569
o 88556
o 88501
o 88482
o 88469
o 88430
o 88411
o 88401
o 88347
o 88328
o 88315
o 88314
o 88260
o 88241
o 88228
o 88215
o 88151
o 88132
o 88119
o 88064
o 88045
o 88032
o 87993
o 87974
o 87964
o 87910
o 87891
o 87878
o 87877
o 87823
o 87804
o 87791
o 87750
o 87731
o 87718
o 87696
o 87677
o 87664
o 87663
o 87609
o 87590
o 87577
o 87560
o 87478
o 87459
o 87446
o 87427
o 87395
o 87376
o 87363
o 87344
o 87331
o 87308
o 87289
o 87276
o 87257
o 87244
o 87237
o 87218
o 87205
o 87186
o 87154
o 87135
o 87122
o 87103
o 87090
o 87067
o 87048
o 87035
o 87016
o 87003
o 86990
o 86958
o 86939
o 86926
o 86907
o 86894
o 86871
o 86852
o 86839
o 86820
o 86807
o 86800
o 86781
o 86768
o 86749
o 86717
o 86698
o 86685
o 86666
o 86653
o 86630
o 86611
o 86598
o 86579
o 86566
o 86557
o 86538
o 86525
o 86506
o 86474
o 86455
o 86442
o 86423
o 86410
o 86400
o 86381
o 86244
o 86225
o 86212
o 86193
o 86161
o 86142
o 86129
o 86110
o 86097
o 86076
o 86057
o 86003
o 85984
o 85971
o 85952
o 85920
o 85901
o 85888
o 85869
o 85856
o 85837
o 85787
o 85768
o 85714
o 85695
o 85666
o 85647
o 85639
o 85470
o 85451
o 85387
o 85368
o 85302
o 85283
o 85229
o 85210
o 85200
o 85146
o 85127
o 85110
o 85097
o 85078
o 85065
o 85055
o 85036
o 84899
o 84880
o 84867
o 84848
o 84816
o 84797
o 84784
o 84765
o 84752
o 84731
o 84712
o 84658
o 84639
o 84626
o 84607
o 84575
o 84556
o 84543
o 84524
o 84511
o 84492
o 84452
o 84433
o 84423
o 84369
o 84350
o 84321
o 84302
o 84294
o 84125
o 84106
o 84042
o 84023
o 83957
o 83938
o 83884
o 83865
o 83855
o 83801
o 83782
o 83765
o 83746
o 83682
o 83663
o 83597
o 83578
o 83524
o 83505
o 83495
o 83441
o 83422
o 83369
o 83350
o 83340
o 83286
o 83267
o 83250
o 83231
o 83167
o 83148
o 83131
o 83082
o 83063
o 83009
o 82990
o 82980
o 82926
o 82907
o 82904
o 82885
o 82872
o 82862
o 82843
o 82828
o 82815
o 82796
o 82623
o 82604
o 82591
o 82572
o 82559
o 82364
o 82345
o 82162
o 82143
o 82120
o 82101
o 82073
o 82054
o 81849
o 81830
o 81802
o 81783
o 81760
o 81741
o 81713
o 81694
o 81489
o 81470
o 81353
o 81334
o 81321
o 81302
o 81289
o 81279
o 81260
o 81040
o 81021
o 81008
o 80989
o 80976
o 80838
o 80819
o 80806
o 80787
o 80774
o 80764
o 80745
o 80525
o 80506
o 80493
o 80474
o 80461
o 80266
o 80247
o 80064
o 80045
o 80022
o 80003
o 79751
o 79732
o 79704
o 79685
o 79662
o 79643
o 79391
o 79372
o 79367
o 79348
o 79325
o 79306
o 79054
o 79035
o 78852
o 78833
o 78810
o 78791
o 78539
o 78520
o 78492
o 78473
o 78450
o 78431
o 78179
o 78160
o 78052
o 78033
o 77850
o 77831
o 77808
o 77789
o 77537
o 77518
o 77304
o 77285
o 77177
o 77158
o 76944
o 76925
o 76922
o 76708
o 76689
o 76581
o 76562
o 76348
o 76329
o 76312
o 76252
o 76233
o 76223
o 76216
o 75971
o 75952
o 75892
o 75873
o 75841
o 75822
o 75676
o 75657
o 75650
o 75405
o 75386
o 75326
o 75307
o 75161
o 75142
o 75135
o 74890
o 74871
o 74811
o 74792
o 74654
o 74635
o 74530
o 74511
o 74451
o 74432
o 74294
o 74275
o 74262
o 74243
o 74105
o 74086
o 73981
o 73962
o 73902
o 73883
o 73745
o 73726
o 73706
o 73687
o 73674
o 73655
o 73517
o 73498
o 73393
o 73374
o 73314
o 73295
o 73157
o 73138
o 73136
o 73117
o 73057
o 73038
o 72900
o 72881
o 72868
o 72849
o 72711
o 72692
o 72587
o 72568
o 72508
o 72489
o 72351
o 72332
o 72294
o 72275
o 72256
o 72237
o 72177
o 72158
o 72020
o 72001
o 71981
o 71962
o 71902
o 71883
o 71745
o 71726
o 71700
o 71688
o 71681
o 71669
o 71643
o 71631
o 71624
o 71612
o 71605
o 71593
o 71586
o 71574
o 71526
o 71514
o 71507
o 71495
o 71369
o 71357
o 71350
o 71338
o 71330
o 71318
o 71311
o 71299
o 71251
o 71239
o 71232
o 71220
o 71094
o 71082
o 71075
o 71063
o 70938
o 70926
o 70919
o 70907
o 70709
o 70697
Killed
1979.599u 0.099s 33:12.95 99.3%	0+0k 0+0io 0pf+0w