Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-80-2_network-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 224 1757 3392199
WARNING: Ubcsat not found.
o 3392199
o 269404
o 269217
o 266777
o 265426
o 265070
o 264441
o 264085
o 264057
o 263701
o 262784
o 261433
o 261077
o 260448
o 260092
o 260064
o 259708
o 259629
o 259562
o 259329
o 258973
o 258344
o 257988
o 257960
o 257604
o 257525
o 257439
o 257411
o 257055
o 256976
o 256887
o 256258
o 255902
o 255874
o 255518
o 255439
o 255046
o 254690
o 254662
o 254306
o 254227
o 253869
o 253513
o 253485
o 253129
o 253050
o 252506
o 252150
o 252122
o 251766
o 251687
o 251294
o 250938
o 250910
o 250554
o 250475
o 250117
o 249761
o 249733
o 249377
o 249298
o 249245
o 249166
o 249129
o 249101
o 248745
o 248717
o 248361
o 248282
o 248068
o 247989
o 247952
o 247565
o 247209
o 247181
o 246825
o 246746
o 246353
o 245997
o 245969
o 245613
o 245534
o 245176
o 244820
o 244792
o 244436
o 244357
o 244304
o 244225
o 244188
o 244160
o 243804
o 243776
o 243420
o 243341
o 243127
o 243048
o 243011
o 243003
o 242789
o 242710
o 242673
o 242667
o 242311
o 242283
o 241927
o 241848
o 241634
o 241555
o 241518
o 241404
o 241325
o 241272
o 241193
o 241156
o 241128
o 240772
o 240744
o 240388
o 240309
o 240095
o 240016
o 239979
o 239975
o 239947
o 239650
o 239591
o 239571
o 239512
o 239213
o 239154
o 238857
o 238798
o 238770
o 238473
o 238414
o 238394
o 238335
o 238282
o 238262
o 238203
o 238166
o 238138
o 237841
o 237782
o 237754
o 237457
o 237398
o 237378
o 237319
o 237164
o 237105
o 237085
o 237026
o 236989
o 236981
o 236826
o 236767
o 236747
o 236688
o 236651
o 236645
o 236348
o 236289
o 236261
o 235964
o 235905
o 235885
o 235826
o 235671
o 235612
o 235592
o 235533
o 235496
o 235441
o 235382
o 235362
o 235303
o 235250
o 235230
o 235171
o 235134
o 235106
o 234809
o 234750
o 234722
o 234425
o 234366
o 234346
o 234287
o 234132
o 234073
o 234053
o 233994
o 233957
o 233903
o 233875
o 233578
o 233519
o 233499
o 233440
o 233387
o 233367
o 233308
o 233271
o 233243
o 232946
o 232887
o 232859
o 232562
o 232503
o 232483
o 232424
o 232269
o 232210
o 232190
o 232131
o 232094
o 232086
o 231931
o 231872
o 231852
o 231793
o 231756
o 231750
o 231453
o 231394
o 231366
o 231069
o 231010
o 230990
o 230931
o 230776
o 230717
o 230697
o 230638
o 230601
o 230546
o 230487
o 230467
o 230408
o 230355
o 230335
o 230276
o 230239
o 230211
o 229914
o 229855
o 229827
o 229530
o 229471
o 229451
o 229392
o 229237
o 229178
o 229158
o 229099
o 229062
o 228917
o 228858
o 228830
o 228533
o 228474
o 228454
o 228395
o 228240
o 228181
o 228161
o 228102
o 228065
o 228053
o 228033
o 227974
o 227937
o 227883
o 227855
o 227558
o 227499
o 227479
o 227420
o 227367
o 227347
o 227288
o 227251
o 227223
o 226926
o 226867
o 226839
o 226542
o 226483
o 226463
o 226404
o 226249
o 226190
o 226170
o 226111
o 226074
o 226058
o 226021
o 225911
o 225852
o 225832
o 225773
o 225736
o 225730
o 225433
o 225374
o 225346
o 225049
o 224990
o 224970
o 224911
o 224756
o 224697
o 224677
o 224618
o 224581
o 224526
o 224467
o 224447
o 224388
o 224335
o 224315
o 224256
o 224219
o 224191
o 223894
o 223835
o 223807
o 223510
o 223451
o 223431
o 223372
o 223217
o 223158
o 223138
o 223079
o 223042
o 222897
o 222838
o 222810
o 222513
o 222454
o 222434
o 222375
o 222220
o 222161
o 222141
o 222082
o 222045
o 221962
o 221903
o 221883
o 221824
o 221669
o 221610
o 221590
o 221531
o 221494
o 221482
o 221462
o 221403
o 221366
o 221312
o 221284
o 220987
o 220928
o 220908
o 220849
o 220796
o 220776
o 220717
o 220680
o 220652
o 220355
o 220296
o 220268
o 219971
o 219912
o 219892
o 219833
o 219678
o 219619
o 219599
o 219540
o 219503
o 219487
o 219450
o 219340
o 219281
o 219261
o 219202
o 219165
o 219159
o 218862
o 218803
o 218775
o 218478
o 218419
o 218399
o 218340
o 218185
o 218126
o 218106
o 218047
o 218010
o 217955
o 217896
o 217876
o 217817
o 217764
o 217744
o 217685
o 217648
o 217620
o 217323
o 217264
o 217236
o 216939
o 216880
o 216860
o 216801
o 216646
o 216587
o 216567
o 216508
o 216471
o 216326
o 216267
o 216239
o 215942
o 215883
o 215863
o 215804
o 215649
o 215590
o 215570
o 215511
o 215474
o 215450
o 215443
o 215415
o 215118
o 215059
o 215039
o 214980
o 214825
o 214766
o 214746
o 214687
o 214650
o 214634
o 214597
o 214487
o 214428
o 214408
o 214349
o 214312
o 214287
o 214132
o 214073
o 214053
o 213994
o 213957
o 213950
o 213922
o 213625
o 213566
o 213546
o 213487
o 213332
o 213273
o 213253
o 213194
o 213157
o 212886
o 212827
o 212807
o 212748
o 212593
o 212534
o 212514
o 212455
o 212418
o 212411
o 212383
o 212086
o 212027
o 212007
o 211948
o 211793
o 211734
o 211714
o 211655
o 211618
o 211596
o 211537
o 211517
o 211458
o 211421
o 211414
o 211386
o 211089
o 211030
o 211010
o 210951
o 210796
o 210737
o 210717
o 210658
o 210621
o 210593
o 210296
o 210237
o 210217
o 210158
o 210003
o 209944
o 209924
o 209865
o 209828
o 209804
o 209797
o 209769
o 209472
o 209413
o 209393
o 209334
o 209179
o 209120
o 209100
o 209041
o 209004
o 208988
o 208951
o 208841
o 208782
o 208762
o 208703
o 208666
o 208641
o 208486
o 208427
o 208407
o 208348
o 208311
o 208304
o 208276
o 207979
o 207920
o 207900
o 207841
o 207686
o 207627
o 207607
o 207548
o 207511
o 207240
o 207181
o 207161
o 207102
o 206947
o 206888
o 206868
o 206809
o 206772
o 206765
o 206737
o 206440
o 206381
o 206361
o 206302
o 206147
o 206088
o 206068
o 206009
o 205972
o 205950
o 205891
o 205871
o 205812
o 205775
o 205768
o 205740
o 205443
o 205384
o 205364
o 205305
o 205150
o 205091
o 205071
o 205012
o 204975
o 204970
o 204933
o 204926
o 204898
o 204601
o 204542
o 204522
o 204463
o 204308
o 204249
o 204229
o 204170
o 204133
o 203862
o 203803
o 203783
o 203724
o 203569
o 203510
o 203490
o 203431
o 203394
o 203387
o 203359
o 203062
o 203003
o 202983
o 202924
o 202769
o 202710
o 202690
o 202631
o 202594
o 202572
o 202513
o 202493
o 202434
o 202397
o 202390
o 202362
o 202065
o 202006
o 201986
o 201927
o 201772
o 201713
o 201693
o 201634
o 201597
o 201491
o 201432
o 201412
o 201353
o 201198
o 201139
o 201119
o 201060
o 201023
o 201001
o 200942
o 200922
o 200863
o 200826
o 200819
o 200791
o 200494
o 200435
o 200415
o 200356
o 200201
o 200142
o 200122
o 200063
o 200026
o 199976
o 199917
o 199897
o 199838
o 199801
o 199795
o 199736
o 199716
o 199657
o 199620
o 199613
o 199585
o 199288
o 199229
o 199209
o 199150
o 198995
o 198936
o 198916
o 198857
o 198820
o 198775
o 198620
o 198561
o 198541
o 198482
o 198445
o 198438
o 198410
o 198113
o 198054
o 198034
o 197975
o 197820
o 197761
o 197741
o 197682
o 197645
o 197623
o 197564
o 197544
o 197485
o 197448
o 197441
o 197413
o 197116
o 197057
o 197037
o 196978
o 196823
o 196764
o 196744
o 196685
o 196648
o 196558
o 196499
o 196479
o 196420
o 196383
o 196112
o 196053
o 196033
o 195974
o 195819
o 195760
o 195740
o 195681
o 195644
o 195637
o 195609
o 195312
o 195253
o 195233
o 195174
o 195019
o 194960
o 194940
o 194881
o 194844
o 194822
o 194763
o 194743
o 194684
o 194647
o 194640
o 194612
o 194315
o 194256
o 194236
o 194177
o 194022
o 193963
o 193943
o 193884
o 193847
o 193741
o 193682
o 193662
o 193603
o 193448
o 193389
o 193369
o 193310
o 193273
o 193251
o 193192
o 193172
o 193113
o 193076
o 193069
o 193041
o 192744
o 192685
o 192665
o 192606
o 192451
o 192392
o 192372
o 192313
o 192276
o 192226
o 192167
o 192147
o 192088
o 192051
o 192045
o 191986
o 191966
o 191907
o 191870
o 191863
o 191835
o 191538
o 191479
o 191459
o 191400
o 191245
o 191186
o 191166
o 191107
o 191070
o 191025
o 190870
o 190811
o 190791
o 190732
o 190695
o 190688
o 190660
o 190363
o 190304
o 190284
o 190225
o 190070
o 190011
o 189991
o 189932
o 189895
o 189873
o 189814
o 189794
o 189735
o 189698
o 189691
o 189663
o 189366
o 189307
o 189287
o 189228
o 189073
o 189014
o 188994
o 188935
o 188898
o 188783
o 188724
o 188704
o 188645
o 188490
o 188431
o 188411
o 188352
o 188315
o 188225
o 188166
o 188146
o 188087
o 188050
o 187779
o 187720
o 187700
o 187641
o 187486
o 187427
o 187407
o 187348
o 187311
o 187304
o 187276
o 186979
o 186920
o 186900
o 186841
o 186686
o 186627
o 186607
o 186548
o 186511
o 186489
o 186430
o 186410
o 186351
o 186314
o 186307
o 186279
o 185982
o 185923
o 185903
o 185844
o 185689
o 185630
o 185610
o 185551
o 185514
o 185408
o 185349
o 185329
o 185270
o 185115
o 185056
o 185036
o 184977
o 184940
o 184918
o 184859
o 184839
o 184780
o 184743
o 184736
o 184708
o 184411
o 184352
o 184332
o 184273
o 184118
o 184059
o 184039
o 183980
o 183943
o 183893
o 183834
o 183814
o 183755
o 183718
o 183712
o 183653
o 183633
o 183574
o 183537
o 183530
o 183502
o 183205
o 183146
o 183126
o 183067
o 182912
o 182853
o 182833
o 182774
o 182737
o 182692
o 182537
o 182478
o 182458
o 182399
o 182362
o 182355
o 182327
o 182030
o 181971
o 181951
o 181892
o 181737
o 181678
o 181658
o 181599
o 181562
o 181540
o 181481
o 181461
o 181402
o 181365
o 181358
o 181330
o 181033
o 180974
o 180954
o 180895
o 180740
o 180681
o 180661
o 180602
o 180565
o 180532
o 180377
o 180318
o 180298
o 180239
o 180202
o 180157
o 180002
o 179943
o 179923
o 179864
o 179827
o 179820
o 179792
o 179495
o 179436
o 179416
o 179357
o 179202
o 179143
o 179123
o 179064
o 179027
o 179005
o 178946
o 178926
o 178867
o 178830
o 178823
o 178795
o 178498
o 178439
o 178419
o 178360
o 178205
o 178146
o 178126
o 178067
o 178030
o 177915
o 177856
o 177836
o 177777
o 177622
o 177563
o 177543
o 177484
o 177447
o 177357
o 177298
o 177278
o 177219
o 177182
o 176911
o 176852
o 176832
o 176773
o 176618
o 176559
o 176539
o 176480
o 176443
o 176436
o 176408
o 176111
o 176052
o 176032
o 175973
o 175818
o 175759
o 175739
o 175680
o 175643
o 175621
o 175562
o 175542
o 175483
o 175446
o 175439
o 175411
o 175114
o 175055
o 175035
o 174976
o 174821
o 174762
o 174742
o 174683
o 174646
o 174540
o 174481
o 174461
o 174402
o 174247
o 174188
o 174168
o 174109
o 174072
o 174050
o 173991
o 173971
o 173912
o 173875
o 173868
o 173840
o 173543
o 173484
o 173464
o 173405
o 173250
o 173191
o 173171
o 173112
o 173075
o 173025
o 172966
o 172946
o 172887
o 172850
o 172844
o 172785
o 172765
o 172706
o 172669
o 172662
o 172634
o 172337
o 172278
o 172258
o 172199
o 172044
o 171985
o 171965
o 171906
o 171869
o 171824
o 171669
o 171610
o 171590
o 171531
o 171494
o 171487
o 171459
o 171162
o 171103
o 171083
o 171024
o 170869
o 170810
o 170790
o 170731
o 170694
o 170672
o 170613
o 170593
o 170534
o 170497
o 170490
o 170462
o 170165
o 170106
o 170086
o 170027
o 169872
o 169813
o 169793
o 169734
o 169697
o 169663
o 169626
o 169577
o 169422
o 169363
o 169343
o 169284
o 169247
o 169235
o 169215
o 169156
o 169001
o 168942
o 168922
o 168863
o 168826
o 168793
o 168638
o 168579
o 168559
o 168500
o 168463
o 168418
o 168263
o 168204
o 168184
o 168125
o 168088
o 168039
o 167884
o 167825
o 167805
o 167746
o 167709
o 167697
o 167677
o 167618
o 167463
o 167404
o 167384
o 167325
o 167288
o 167266
o 167207
o 167187
o 167128
o 167091
o 167042
o 166887
o 166828
o 166808
o 166749
o 166712
o 166700
o 166680
o 166621
o 166466
o 166407
o 166387
o 166328
o 166291
o 166245
o 166225
o 166166
o 166129
o 166117
o 166097
o 166038
o 165883
o 165824
o 165804
o 165745
o 165708
o 165618
o 165559
o 165539
o 165480
o 165443
o 165300
o 165241
o 165221
o 165162
o 165125
o 165113
o 165093
o 165034
o 164879
o 164820
o 164800
o 164741
o 164704
o 164655
o 164500
o 164441
o 164421
o 164362
o 164325
o 164313
o 164293
o 164234
o 164079
o 164020
o 164000
o 163941
o 163904
o 163882
o 163823
o 163803
o 163744
o 163707
o 163658
o 163503
o 163444
o 163424
o 163365
o 163328
o 163316
o 163296
o 163237
o 163082
o 163023
o 163003
o 162944
o 162907
o 162870
o 162850
o 162791
o 162754
o 162742
o 162722
o 162663
o 162508
o 162449
o 162429
o 162370
o 162333
o 162311
o 162252
o 162232
o 162173
o 162136
o 162087
o 161932
o 161873
o 161853
o 161794
o 161757
o 161745
o 161725
o 161666
o 161511
o 161452
o 161432
o 161373
o 161336
o 161286
o 161227
o 161207
o 161148
o 161111
o 161105
o 161046
o 161026
o 160967
o 160930
o 160881
o 160726
o 160667
o 160647
o 160588
o 160551
o 160539
o 160519
o 160460
o 160305
o 160246
o 160226
o 160167
o 160130
o 160085
o 159930
o 159871
o 159851
o 159792
o 159755
o 159706
o 159551
o 159492
o 159472
o 159413
o 159376
o 159364
o 159344
o 159285
o 159130
o 159071
o 159051
o 158992
o 158955
o 158933
o 158874
o 158854
o 158795
o 158758
o 158709
o 158554
o 158495
o 158475
o 158416
o 158379
o 158367
o 158347
o 158288
o 158133
o 158074
o 158054
o 157995
o 157958
o 157814
o 157755
o 157735
o 157676
o 157639
o 157593
o 157573
o 157514
o 157477
o 157465
o 157445
o 157386
o 157231
o 157172
o 157152
o 157093
o 157056
o 157055
o 156900
o 156841
o 156821
o 156762
o 156725
o 156703
o 156644
o 156624
o 156565
o 156528
o 156479
o 156324
o 156265
o 156245
o 156186
o 156149
o 156137
o 156117
o 156058
o 155903
o 155844
o 155824
o 155765
o 155728
o 155710
o 155673
o 155661
o 155641
o 155582
o 155427
o 155368
o 155348
o 155289
o 155252
o 155230
o 155171
o 155151
o 155092
o 155055
o 155006
o 154851
o 154792
o 154772
o 154713
o 154676
o 154664
o 154644
o 154585
o 154430
o 154371
o 154351
o 154292
o 154255
o 154253
o 154194
o 154157
o 154139
o 154102
o 154090
o 154070
o 154011
o 153856
o 153797
o 153777
o 153718
o 153681
o 153659
o 153600
o 153580
o 153521
o 153484
o 153435
o 153280
o 153221
o 153201
o 153142
o 153105
o 153093
o 153073
o 153014
o 152859
o 152800
o 152780
o 152721
o 152684
o 152672
o 152613
o 152576
o 152527
o 152372
o 152313
o 152293
o 152234
o 152197
o 152185
o 152165
o 152106
o 151951
o 151892
o 151872
o 151813
o 151776
o 151754
o 151695
o 151675
o 151616
o 151579
o 151530
o 151375
o 151316
o 151296
o 151237
o 151200
o 151188
o 151168
o 151109
o 150954
o 150895
o 150875
o 150816
o 150779
o 150761
o 150724
o 150712
o 150692
o 150633
o 150478
o 150419
o 150399
o 150340
o 150303
o 150281
o 150222
o 150202
o 150143
o 150106
o 150057
o 149902
o 149843
o 149823
o 149764
o 149727
o 149715
o 149695
o 149636
o 149481
o 149422
o 149402
o 149343
o 149306
o 149280
o 149260
o 149201
o 149164
o 149152
o 149132
o 149073
o 148918
o 148859
o 148839
o 148780
o 148743
o 148702
o 148682
o 148623
o 148586
o 148574
o 148554
o 148495
o 148340
o 148281
o 148261
o 148202
o 148165
o 148120
o 147965
o 147906
o 147886
o 147827
o 147790
o 147741
o 147586
o 147527
o 147507
o 147448
o 147411
o 147399
o 147379
o 147320
o 147165
o 147106
o 147086
o 147027
o 146990
o 146968
o 146909
o 146889
o 146830
o 146793
o 146744
o 146589
o 146530
o 146510
o 146451
o 146414
o 146402
o 146382
o 146323
o 146168
o 146109
o 146089
o 146030
o 145993
o 145849
o 145790
o 145770
o 145711
o 145674
o 145628
o 145608
o 145549
o 145512
o 145500
o 145480
o 145421
o 145266
o 145207
o 145187
o 145128
o 145091
o 145090
o 144935
o 144876
o 144856
o 144797
o 144760
o 144738
o 144679
o 144659
o 144600
o 144563
o 144514
o 144359
o 144300
o 144280
o 144221
o 144184
o 144172
o 144152
o 144093
o 143938
o 143879
o 143859
o 143800
o 143763
o 143745
o 143708
o 143696
o 143676
o 143617
o 143462
o 143403
o 143383
o 143324
o 143287
o 143265
o 143206
o 143186
o 143127
o 143090
o 143041
o 142886
o 142827
o 142807
o 142748
o 142711
o 142699
o 142679
o 142620
o 142465
o 142406
o 142386
o 142327
o 142290
o 142288
o 142229
o 142192
o 142174
o 142137
o 142125
o 142105
o 142046
o 141891
o 141832
o 141812
o 141753
o 141716
o 141694
o 141635
o 141615
o 141556
o 141519
o 141470
o 141315
o 141256
o 141236
o 141177
o 141140
o 141128
o 141108
o 141049
o 140894
o 140835
o 140815
o 140756
o 140719
o 140707
o 140648
o 140611
o 140562
o 140407
o 140348
o 140328
o 140269
o 140232
o 140220
o 140200
o 140141
o 139986
o 139927
o 139907
o 139848
o 139811
o 139789
o 139730
o 139710
o 139651
o 139614
o 139565
o 139410
o 139351
o 139331
o 139272
o 139235
o 139223
o 139203
o 139144
o 138989
o 138930
o 138910
o 138851
o 138814
o 138796
o 138759
o 138747
o 138727
o 138668
o 138513
o 138454
o 138434
o 138375
o 138338
o 138316
o 138257
o 138237
o 138178
o 138141
o 138092
o 137937
o 137878
o 137858
o 137799
o 137762
o 137750
o 137730
o 137671
o 137516
o 137457
o 137437
o 137378
o 137341
o 137333
o 137296
o 137284
o 137264
o 137205
o 137050
o 136991
o 136971
o 136912
o 136875
o 136853
o 136794
o 136774
o 136715
o 136678
o 136629
o 136474
o 136415
o 136395
o 136336
o 136299
o 136287
o 136267
o 136208
o 136053
o 135994
o 135974
o 135915
o 135878
o 135850
o 135801
o 135646
o 135587
o 135567
o 135508
o 135471
o 135459
o 135439
o 135380
o 135225
o 135166
o 135146
o 135087
o 135050
o 135033
o 134974
o 134819
o 134760
o 134740
o 134681
o 134644
o 134636
o 134577
o 134557
o 134498
o 134461
o 134412
o 134257
o 134198
o 134178
o 134119
o 134082
o 134070
o 134050
o 133991
o 133836
o 133777
o 133757
o 133698
o 133661
o 133633
o 133478
o 133419
o 133399
o 133340
o 133303
o 133265
o 133228
o 133222
o 133202
o 133143
o 133106
o 133068
o 133031
o 132902
o 132843
o 132823
o 132764
o 132727
o 132715
o 132695
o 132636
o 132481
o 132422
o 132402
o 132343
o 132306
o 132268
o 132231
o 132221
o 132201
o 132142
o 132135
o 132115
o 132056
o 131901
o 131842
o 131822
o 131763
o 131756
o 131736
o 131677
o 131480
o 131421
o 131401
o 131342
o 131335
o 131315
o 131256
o 131122
o 131063
o 131043
o 130984
o 130977
o 130957
o 130898
o 130882
o 130823
o 130787
o 130780
o 130760
o 130701
o 130685
o 130626
o 130546
o 130487
o 130467
o 130408
o 130401
o 130381
o 130322
o 130125
o 130066
o 130046
o 129987
o 129980
o 129960
o 129901
o 129885
o 129826
o 129812
o 129769
o 129749
o 129690
o 129674
o 129615
o 129449
o 129390
o 129370
o 129311
o 129028
o 128969
o 128949
o 128890
o 128874
o 128815
o 128786
o 128722
o 128508
o 128429
o 128392
o 128316
o 128102
o 128023
o 127986
o 127963
o 127926
o 127850
o 127636
o 127557
o 127520
o 127439
o 127360
o 127323
o 127259
o 127045
o 126966
o 126929
o 126853
o 126639
o 126560
o 126523
o 126358
o 126357
o 126279
o 126278
o 126242
o 126241
o 126161
o 126160
o 126082
o 126081
o 126045
o 126044
o 125981
o 125980
o 125767
o 125766
o 125688
o 125687
o 125651
o 125650
o 125575
o 125574
o 125361
o 125360
o 125282
o 125281
o 125245
o 125244
o 125222
o 125221
o 125185
o 125184
o 125109
o 125108
o 124895
o 124894
o 124816
o 124815
o 124779
o 124778
o 124698
o 124697
o 124619
o 124618
o 124582
o 124581
o 124518
o 124517
o 124304
o 124303
o 124225
o 124224
o 124188
o 124187
o 124112
o 124111
o 123898
o 123897
o 123819
o 123818
o 123782
o 123781
o 123715
o 123714
o 123636
o 123635
o 123599
o 123598
o 123550
o 123549
o 123336
o 123335
o 123257
o 123256
o 123220
o 123219
o 123208
o 123207
o 123129
o 123128
o 122915
o 122914
o 122836
o 122835
o 122799
o 122798
o 122771
o 122770
o 122557
o 122556
o 122478
o 122477
o 122441
o 122440
o 122403
o 122402
o 122366
o 122365
o 122360
o 122359
o 122281
o 122280
o 122244
o 122243
o 122206
o 122205
o 122169
o 122168
o 121981
o 121980
o 121902
o 121901
o 121865
o 121864
o 121853
o 121852
o 121774
o 121773
o 121560
o 121559
o 121481
o 121480
o 121444
o 121443
o 121406
o 121405
o 121369
o 121368
o 121359
o 121358
o 121280
o 121279
o 121273
o 121272
o 121194
o 121193
o 120980
o 120979
o 120901
o 120900
o 120894
o 120893
o 120815
o 120814
o 120559
o 120558
o 120480
o 120479
o 120473
o 120472
o 120394
o 120393
o 120201
o 120200
o 120122
o 120121
o 120115
o 120114
o 120036
o 120035
o 119961
o 119960
o 119925
o 119924
o 119918
o 119917
o 119839
o 119838
o 119764
o 119763
o 119625
o 119624
o 119546
o 119545
o 119539
o 119538
o 119460
o 119459
o 119204
o 119203
o 119125
o 119124
o 119118
o 119117
o 119039
o 119038
o 118964
o 118963
o 118950
o 118949
o 118907
o 118906
o 118828
o 118827
o 118753
o 118752
o 118528
o 118527
o 118449
o 118448
o 118107
o 118106
o 118028
o 118027
o 117953
o 117952
o 117890
o 117889
o 117815
o 117814
o 117676
o 117675
o 117597
o 117596
o 117590
o 117589
o 117511
o 117510
o 117255
o 117254
o 117176
o 117175
o 117169
o 117168
o 117090
o 117089
o 117015
o 117014
o 117001
o 117000
o 116958
o 116957
o 116879
o 116878
o 116804
o 116803
o 116579
o 116578
o 116500
o 116499
o 116158
o 116157
o 116079
o 116078
o 116004
o 116003
o 115931
o 115930
o 115899
o 115600
o 115599
o 115521
o 115520
o 115446
o 115445
o 115373
o 115372
o 115072
o 115071
o 114993
o 114992
o 114918
o 114917
o 114845
o 114844
o 114813
o 114514
o 114513
o 114435
o 114434
o 114360
o 114359
o 114287
o 114286
o 114095
o 114094
o 114020
o 114019
o 113947
o 113946
o 113917
o 113916
o 113842
o 113841
o 113769
o 113768
o 113468
o 113467
o 113389
o 113388
o 113314
o 113313
o 113241
o 113240
o 113209
o 112910
o 112909
o 112831
o 112830
o 112756
o 112755
o 112683
o 112682
o 112491
o 112490
o 112416
o 112415
o 112343
o 112342
o 112333
o 112Killed
1979.684u 0.015s 33:01.04 99.9%	0+0k 0+0io 0pf+0w