Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2009-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-200-1_network-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-5.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 531 1883 3451336
WARNING: Ubcsat not found.
o 3451336
o 639113
o 638171
o 637683
o 637277
o 637268
o 637143
o 637134
o 636769
o 636281
o 635875
o 635866
o 635786
o 635466
o 635457
o 635332
o 635323
o 635278
o 634790
o 634470
o 634384
o 634064
o 634055
o 634052
o 633966
o 633646
o 633637
o 633617
o 633531
o 633211
o 633202
o 633000
o 632991
o 632961
o 632952
o 632750
o 632741
o 632715
o 632395
o 632386
o 632366
o 632280
o 631960
o 631951
o 631749
o 631740
o 631525
o 631516
o 631496
o 631410
o 631090
o 631081
o 630879
o 630870
o 630840
o 630831
o 630629
o 630620
o 630594
o 630274
o 630265
o 630245
o 630159
o 629839
o 629830
o 629628
o 629619
o 629505
o 629496
o 629476
o 629390
o 629070
o 629061
o 628859
o 628850
o 628719
o 628710
o 628708
o 628622
o 628302
o 628293
o 628091
o 628082
o 628057
o 628048
o 627846
o 627837
o 627808
o 627799
o 627773
o 627453
o 627444
o 627424
o 627338
o 627018
o 627009
o 626807
o 626798
o 626684
o 626675
o 626655
o 626569
o 626249
o 626240
o 626038
o 626029
o 625898
o 625889
o 625887
o 625801
o 625481
o 625472
o 625270
o 625261
o 625011
o 625002
o 624800
o 624791
o 624660
o 624651
o 624649
o 624563
o 624243
o 624234
o 624032
o 624023
o 623895
o 623886
o 623684
o 623675
o 623561
o 623552
o 623532
o 623446
o 623126
o 623117
o 622915
o 622906
o 622775
o 622766
o 622764
o 622678
o 622358
o 622349
o 622147
o 622138
o 621998
o 621989
o 621916
o 621907
o 621873
o 621864
o 621861
o 621852
o 621650
o 621641
o 621527
o 621518
o 621498
o 621412
o 621092
o 621083
o 620881
o 620872
o 620741
o 620732
o 620730
o 620644
o 620324
o 620315
o 620113
o 620104
o 620031
o 620022
o 619982
o 619973
o 619971
o 619885
o 619565
o 619556
o 619354
o 619345
o 619272
o 619263
o 619232
o 619223
o 619092
o 619083
o 619081
o 618995
o 618675
o 618666
o 618464
o 618455
o 618382
o 618373
o 618368
o 618230
o 618221
o 618019
o 618010
o 617937
o 617928
o 617888
o 617879
o 617829
o 617820
o 617618
o 617609
o 617471
o 617462
o 617260
o 617251
o 617178
o 617169
o 617138
o 617129
o 616998
o 616989
o 616939
o 616930
o 616728
o 616719
o 616581
o 616572
o 616370
o 616361
o 616288
o 616279
o 616214
o 616205
o 616132
o 616123
o 616115
o 616106
o 616033
o 616024
o 616015
o 615813
o 615804
o 615666
o 615657
o 615455
o 615446
o 615373
o 615364
o 615356
o 615347
o 615274
o 615265
o 615193
o 615184
o 615134
o 615125
o 614923
o 614914
o 614776
o 614767
o 614565
o 614556
o 614483
o 614474
o 614466
o 614457
o 614384
o 614375
o 614309
o 614300
o 614250
o 614241
o 614039
o 614030
o 613892
o 613883
o 613681
o 613672
o 613599
o 613590
o 613525
o 613516
o 613443
o 613434
o 613426
o 613417
o 613344
o 613335
o 613326
o 613124
o 613115
o 612977
o 612968
o 612766
o 612757
o 612684
o 612675
o 612667
o 612658
o 612585
o 612576
o 612504
o 612495
o 612445
o 612436
o 612234
o 612225
o 612087
o 612078
o 611876
o 611867
o 611794
o 611785
o 611777
o 611768
o 611695
o 611686
o 611613
o 611604
o 611532
o 611523
o 611473
o 611464
o 611262
o 611253
o 611115
o 611106
o 610904
o 610895
o 610822
o 610813
o 610805
o 610796
o 610723
o 610714
o 610712
o 610574
o 610565
o 610363
o 610354
o 610281
o 610272
o 610264
o 610255
o 610182
o 610173
o 610101
o 610092
o 610042
o 610033
o 609831
o 609822
o 609684
o 609675
o 609473
o 609464
o 609391
o 609382
o 609374
o 609365
o 609292
o 609283
o 609174
o 609165
o 609092
o 609083
o 609075
o 609066
o 608993
o 608984
o 608939
o 608930
o 608922
o 608913
o 608840
o 608831
o 608759
o 608750
o 608700
o 608691
o 608489
o 608480
o 608342
o 608333
o 608131
o 608122
o 608049
o 608040
o 608032
o 608023
o 607950
o 607941
o 607868
o 607859
o 607787
o 607778
o 607728
o 607719
o 607517
o 607508
o 607370
o 607361
o 607159
o 607150
o 607077
o 607068
o 607060
o 607051
o 606978
o 606969
o 606771
o 606762
o 606689
o 606680
o 606672
o 606663
o 606590
o 606581
o 606536
o 606527
o 606519
o 606510
o 606437
o 606428
o 606356
o 606347
o 606297
o 606288
o 606086
o 606077
o 605939
o 605930
o 605728
o 605719
o 605646
o 605637
o 605629
o 605620
o 605547
o 605538
o 605480
o 605471
o 605398
o 605389
o 605381
o 605372
o 605299
o 605290
o 605245
o 605236
o 605228
o 605219
o 605146
o 605137
o 605065
o 605056
o 605006
o 604997
o 604795
o 604786
o 604648
o 604639
o 604437
o 604428
o 604355
o 604346
o 604338
o 604329
o 604256
o 604247
o 604174
o 604165
o 604093
o 604084
o 604034
o 604025
o 603823
o 603814
o 603676
o 603667
o 603465
o 603456
o 603383
o 603374
o 603366
o 603357
o 603284
o 603275
o 603077
o 603068
o 602995
o 602986
o 602978
o 602969
o 602896
o 602887
o 602842
o 602833
o 602825
o 602816
o 602743
o 602734
o 602662
o 602653
o 602603
o 602594
o 602392
o 602383
o 602245
o 602236
o 602034
o 602025
o 601952
o 601943
o 601935
o 601926
o 601853
o 601844
o 601697
o 601688
o 601615
o 601606
o 601598
o 601589
o 601516
o 601507
o 601461
o 601452
o 601402
o 601393
o 601191
o 601182
o 601044
o 601035
o 600833
o 600824
o 600751
o 600742
o 600734
o 600725
o 600652
o 600643
o 600624
o 600615
o 600542
o 600533
o 600525
o 600516
o 600443
o 600434
o 600236
o 600227
o 600154
o 600145
o 600137
o 600128
o 600055
o 600046
o 600001
o 599992
o 599984
o 599975
o 599902
o 599893
o 599821
o 599812
o 599762
o 599753
o 599551
o 599542
o 599404
o 599395
o 599193
o 599184
o 599111
o 599102
o 599094
o 599085
o 599012
o 599003
o 598856
o 598847
o 598774
o 598765
o 598757
o 598748
o 598675
o 598666
o 598613
o 598604
o 598402
o 598393
o 598320
o 598311
o 598135
o 598126
o 598053
o 598044
o 598036
o 598027
o 597954
o 597945
o 597926
o 597917
o 597844
o 597835
o 597827
o 597818
o 597745
o 597736
o 597723
o 597714
o 597538
o 597529
o 597456
o 597447
o 597439
o 597430
o 597357
o 597348
o 597303
o 597294
o 597286
o 597277
o 597204
o 597195
o 597120
o 597111
o 596973
o 596964
o 596762
o 596753
o 596680
o 596671
o 596495
o 596486
o 596413
o 596404
o 596396
o 596387
o 596314
o 596305
o 596158
o 596149
o 596076
o 596067
o 596059
o 596050
o 595977
o 595968
o 595960
o 595941
o 595932
o 595859
o 595850
o 595842
o 595833
o 595760
o 595751
o 595738
o 595729
o 595553
o 595544
o 595471
o 595462
o 595454
o 595445
o 595372
o 595363
o 595318
o 595309
o 595301
o 595292
o 595219
o 595210
o 595135
o 595126
o 594988
o 594979
o 594777
o 594768
o 594695
o 594686
o 594510
o 594501
o 594428
o 594419
o 594411
o 594402
o 594329
o 594320
o 594173
o 594164
o 594091
o 594082
o 594074
o 594065
o 593992
o 593983
o 593928
o 593919
o 593846
o 593837
o 593829
o 593820
o 593747
o 593738
o 593685
o 593676
o 593474
o 593465
o 593392
o 593383
o 593207
o 593198
o 593125
o 593116
o 593108
o 593099
o 593026
o 593017
o 592998
o 592989
o 592916
o 592907
o 592899
o 592890
o 592817
o 592808
o 592795
o 592786
o 592610
o 592601
o 592528
o 592519
o 592511
o 592502
o 592429
o 592420
o 592375
o 592366
o 592358
o 592349
o 592276
o 592267
o 592192
o 592183
o 592045
o 592036
o 591834
o 591825
o 591752
o 591743
o 591567
o 591558
o 591485
o 591476
o 591468
o 591459
o 591386
o 591377
o 591230
o 591221
o 591148
o 591139
o 591131
o 591122
o 591049
o 591040
o 591001
o 590992
o 590984
o 590975
o 590902
o 590893
o 590840
o 590831
o 590629
o 590620
o 590547
o 590538
o 590362
o 590353
o 590280
o 590271
o 590263
o 590254
o 590181
o 590172
o 590153
o 590144
o 590071
o 590062
o 590054
o 590045
o 589972
o 589963
o 589950
o 589941
o 589765
o 589756
o 589683
o 589674
o 589666
o 589657
o 589584
o 589575
o 589530
o 589521
o 589513
o 589504
o 589431
o 589422
o 589347
o 589338
o 589200
o 589191
o 588989
o 588980
o 588907
o 588898
o 588722
o 588713
o 588640
o 588631
o 588623
o 588614
o 588541
o 588532
o 588385
o 588376
o 588303
o 588294
o 588286
o 588277
o 588204
o 588195
o 588193
o 588184
o 588111
o 588102
o 587926
o 587917
o 587844
o 587835
o 587827
o 587818
o 587745
o 587736
o 587589
o 587580
o 587507
o 587498
o 587490
o 587481
o 587408
o 587399
o 587360
o 587351
o 587343
o 587334
o 587261
o 587252
o 587199
o 587190
o 586988
o 586979
o 586906
o 586897
o 586721
o 586712
o 586639
o 586630
o 586622
o 586613
o 586540
o 586531
o 586512
o 586503
o 586430
o 586421
o 586413
o 586404
o 586331
o 586322
o 586309
o 586300
o 586124
o 586115
o 586042
o 586033
o 586025
o 586016
o 585943
o 585934
o 585889
o 585880
o 585872
o 585863
o 585790
o 585781
o 585706
o 585697
o 585559
o 585550
o 585348
o 585339
o 585266
o 585257
o 585081
o 585072
o 584999
o 584990
o 584982
o 584973
o 584900
o 584891
o 584744
o 584735
o 584662
o 584653
o 584645
o 584636
o 584563
o 584554
o 584549
o 584540
o 584495
o 584486
o 584478
o 584469
o 584396
o 584387
o 584312
o 584303
o 584165
o 584156
o 583954
o 583945
o 583872
o 583863
o 583687
o 583678
o 583605
o 583596
o 583588
o 583579
o 583506
o 583497
o 583350
o 583341
o 583268
o 583259
o 583251
o 583242
o 583169
o 583160
o 583052
o 583043
o 582970
o 582961
o 582953
o 582944
o 582871
o 582862
o 582715
o 582706
o 582633
o 582624
o 582616
o 582607
o 582534
o 582525
o 582479
o 582470
o 582462
o 582453
o 582380
o 582371
o 582263
o 582254
o 582181
o 582172
o 582164
o 582155
o 582082
o 582073
o 581926
o 581917
o 581844
o 581835
o 581827
o 581818
o 581745
o 581736
o 581706
o 581697
o 581692
o 581683
o 581638
o 581629
o 581621
o 581612
o 581539
o 581530
o 581455
o 581446
o 581308
o 581299
o 581097
o 581088
o 581015
o 581006
o 580830
o 580821
o 580748
o 580739
o 580731
o 580722
o 580649
o 580640
o 580493
o 580484
o 580411
o 580402
o 580394
o 580385
o 580312
o 580303
o 580195
o 580186
o 580113
o 580104
o 580096
o 580087
o 580014
o 580005
o 579858
o 579849
o 579776
o 579767
o 579759
o 579750
o 579677
o 579668
o 579621
o 579612
o 579465
o 579456
o 579383
o 579374
o 579366
o 579357
o 579284
o 579275
o 579215
o 579206
o 579133
o 579124
o 579116
o 579107
o 579034
o 579025
o 578878
o 578869
o 578796
o 578787
o 578779
o 578770
o 578697
o 578688
o 578649
o 578640
o 578580
o 578571
o 578498
o 578489
o 578481
o 578472
o 578399
o 578390
o 578243
o 578234
o 578161
o 578152
o 578144
o 578135
o 578062
o 578053
o 578046
o 578037
o 577964
o 577955
o 577847
o 577838
o 577765
o 577756
o 577748
o 577739
o 577666
o 577657
o 577510
o 577501
o 577428
o 577419
o 577411
o 577402
o 577329
o 577320
o 577274
o 577265
o 577257
o 577248
o 577175
o 577166
o 577058
o 577049
o 576976
o 576967
o 576959
o 576950
o 576877
o 576868
o 576721
o 576712
o 576639
o 576630
o 576622
o 576613
o 576540
o 576531
o 576501
o 576492
o 576487
o 576478
o 576433
o 576424
o 576416
o 576407
o 576334
o 576325
o 576250
o 576241
o 576103
o 576094
o 575892
o 575883
o 575810
o 575801
o 575625
o 575616
o 575543
o 575534
o 575526
o 575517
o 575444
o 575435
o 575288
o 575279
o 575206
o 575197
o 575189
o 575180
o 575107
o 575098
o 574990
o 574981
o 574908
o 574899
o 574891
o 574882
o 574809
o 574800
o 574653
o 574644
o 574571
o 574562
o 574554
o 574545
o 574472
o 574463
o 574416
o 574407
o 574260
o 574251
o 574178
o 574169
o 574161
o 574152
o 574079
o 574070
o 574010
o 574001
o 573928
o 573919
o 573911
o 573902
o 573829
o 573820
o 573673
o 573664
o 573591
o 573582
o 573574
o 573565
o 573492
o 573483
o 573444
o 573435
o 573375
o 573366
o 573293
o 573284
o 573276
o 573267
o 573194
o 573185
o 573038
o 573029
o 572956
o 572947
o 572939
o 572930
o 572857
o 572848
o 572825
o 572816
o 572811
o 572802
o 572729
o 572720
o 572712
o 572703
o 572630
o 572621
o 572615
o 572606
o 572598
o 572589
o 572516
o 572507
o 572461
o 572452
o 572444
o 572435
o 572362
o 572353
o 572245
o 572236
o 572163
o 572154
o 572146
o 572137
o 572064
o 572055
o 571908
o 571899
o 571826
o 571817
o 571809
o 571800
o 571727
o 571718
o 571688
o 571679
o 571674
o 571665
o 571620
o 571611
o 571603
o 571594
o 571521
o 571512
o 571437
o 571428
o 571290
o 571281
o 571079
o 571070
o 570997
o 570988
o 570812
o 570803
o 570730
o 570721
o 570713
o 570704
o 570631
o 570622
o 570475
o 570466
o 570393
o 570384
o 570376
o 570367
o 570294
o 570285
o 570177
o 570168
o 570095
o 570086
o 570078
o 570069
o 569996
o 569987
o 569840
o 569831
o 569758
o 569749
o 569741
o 569732
o 569659
o 569650
o 569603
o 569594
o 569447
o 569438
o 569365
o 569356
o 569348
o 569339
o 569266
o 569257
o 569197
o 569188
o 569115
o 569106
o 569098
o 569089
o 569016
o 569007
o 568860
o 568851
o 568778
o 568769
o 568761
o 568752
o 568679
o 568670
o 568631
o 568622
o 568562
o 568553
o 568480
o 568471
o 568463
o 568454
o 568381
o 568372
o 568225
o 568216
o 568143
o 568134
o 568126
o 568117
o 568044
o 568035
o 568012
o 568003
o 567998
o 567989
o 567916
o 567907
o 567899
o 567890
o 567817
o 567808
o 567729
o 567720
o 567647
o 567638
o 567630
o 567621
o 567548
o 567539
o 567392
o 567383
o 567310
o 567301
o 567293
o 567284
o 567211
o 567202
o 567172
o 567163
o 567158
o 567149
o 567104
o 567095
o 567087
o 567078
o 567005
o 566996
o 566921
o 566912
o 566774
o 566765
o 566563
o 566554
o 566481
o 566472
o 566296
o 566287
o 566214
o 566205
o 566197
o 566188
o 566115
o 566106
o 565959
o 565950
o 565877
o 565868
o 565860
o 565851
o 565778
o 565769
o 565661
o 565652
o 565579
o 565570
o 565562
o 565553
o 565480
o 565471
o 565324
o 565315
o 565242
o 565233
o 565225
o 565216
o 565143
o 565134
o 565087
o 565078
o 564931
o 564922
o 564849
o 564840
o 564832
o 564823
o 564750
o 564741
o 564681
o 564672
o 564599
o 564590
o 564582
o 564573
o 564500
o 564491
o 564344
o 564335
o 564262
o 564253
o 564245
o 564236
o 564163
o 564154
o 564115
o 564106
o 564046
o 564037
o 563964
o 563955
o 563947
o 563938
o 563865
o 563856
o 563709
o 563700
o 563627
o 563618
o 563610
o 563601
o 563528
o 563519
o 563496
o 563487
o 563482
o 563473
o 563400
o 563391
o 563383
o 563374
o 563301
o 563292
o 563291
o 563282
o 563209
o 563200
o 563105
o 563096
o 563023
o 563014
o 563003
o 562994
o 562792
o 562783
o 562710
o 562701
o 562525
o 562516
o 562443
o 562434
o 562426
o 562417
o 562344
o 562335
o 562188
o 562179
o 562106
o 562097
o 562089
o 562080
o 562007
o 561998
o 561890
o 561881
o 561808
o 561799
o 561791
o 561782
o 561709
o 561700
o 561553
o 561544
o 561471
o 561462
o 561454
o 561445
o 561372
o 561363
o 561316
o 561307
o 561160
o 561151
o 561078
o 561069
o 561061
o 561052
o 560979
o 560970
o 560910
o 560901
o 560828
o 560819
o 560811
o 560802
o 560729
o 560720
o 560573
o 560564
o 560491
o 560482
o 560474
o 560465
o 560392
o 560383
o 560344
o 560335
o 560275
o 560266
o 560193
o 560184
o 560176
o 560167
o 560094
o 560085
o 559938
o 559929
o 559856
o 559847
o 559839
o 559830
o 559757
o 559748
o 559725
o 559716
o 559711
o 559702
o 559629
o 559620
o 559612
o 559603
o 559530
o 559521
o 559520
o 559511
o 559438
o 559429
o 559389
o 559380
o 559372
o 559363
o 559290
o 559281
o 559173
o 559164
o 559091
o 559082
o 559074
o 559065
o 558992
o 558983
o 558836
o 558827
o 558754
o 558745
o 558737
o 558728
o 558655
o 558646
o 558599
o 558590
o 558443
o 558434
o 558361
o 558352
o 558344
o 558335
o 558262
o 558253
o 558193
o 558184
o 558111
o 558102
o 558094
o 558085
o 558012
o 558003
o 557856
o 557847
o 557774
o 557765
o 557757
o 557748
o 557675
o 557666
o 557627
o 557618
o 557558
o 557549
o 557476
o 557467
o 557459
o 557450
o 557377
o 557368
o 557221
o 557212
o 557139
o 557130
o 557122
o 557113
o 557040
o 557031
o 557008
o 556999
o 556994
o 556985
o 556912
o 556903
o 556895
o 556886
o 556813
o 556804
o 556803
o 556794
o 556721
o 556712
o 556672
o 556663
o 556655
o 556646
o 556573
o 556564
o 556504
o 556495
o 556422
o 556413
o 556405
o 556396
o 556323
o 556314
o 556167
o 556158
o 556085
o 556076
o 556068
o 556059
o 555986
o 555977
o 555938
o 555929
o 555869
o 555860
o 555787
o 555778
o 555770
o 555761
o 555688
o 555679
o 555532
o 555523
o 555450
o 555441
o 555433
o 555424
o 555351
o 555342
o 555319
o 555310
o 555305
o 555296
o 555223
o 555214
o 555206
o 555197
o 555124
o 555115
o 555114
o 555105
o 555032
o 555023
o 554965
o 554956
o 554917
o 554908
o 554848
o 554839
o 554766
o 554757
o 554749
o 554740
o 554667
o 554658
o 554511
o 554502
o 554429
o 554420
o 554412
o 554403
o 554330
o 554321
o 554298
o 554289
o 554284
o 554275
o 554202
o 554193
o 554185
o 554176
o 554103
o 554094
o 554093
o 554084
o 554011
o 554002
o 553962
o 553953
o 553945
o 553936
o 553863
o 553854
o 553794
o 553785
o 553712
o 553703
o 553695
o 553686
o 553613
o 553604
o 553457
o 553448
o 553375
o 553366
o 553358
o 553349
o 553276
o 553267
o 553228
o 553219
o 553159
o 553150
o 553077
o 553068
o 553060
o 553051
o 552978
o 552969
o 552822
o 552813
o 552740
o 552731
o 552723
o 552714
o 552641
o 552632
o 552609
o 552600
o 552595
o 552586
o 552513
o 552504
o 552496
o 552487
o 552414
o 552405
o 552404
o 552395
o 552322
o 552313
o 552310
o 552301
o 552228
o 552219
o 552211
o 552202
o 552129
o 552120
o 552081
o 552072
o 552012
o 552003
o 551930
o 551921
o 551913
o 551904
o 551831
o 551822
o 551675
o 551666
o 551593
o 551584
o 551576
o 551567
o 551494
o 551485
o 551462
o 551453
o 551448
o 551439
o 551366
o 551357
o 551349
o 551340
o 551267
o 551258
o 551257
o 551248
o 551175
o 551166
o 551108
o 551099
o 551060
o 551051
o 550991
o 550982
o 550909
o 550900
o 550892
o 550883
o 550810
o 550801
o 550654
o 550645
o 550572
o 550563
o 550555
o 550546
o 550473
o 550464
o 550441
o 550432
o 550427
o 550418
o 550345
o 550336
o 550328
o 550319
o 550246
o 550237
o 550236
o 550227
o 550154
o 550145
o 550105
o 550096
o 550088
o 550079
o 550006
o 549997
o 549937
o 549928
o 549855
o 549846
o 549838
o 549829
o 549756
o 549747
o 549600
o 549591
o 549518
o 549509
o 549501
o 549492
o 549419
o 549410
o 549371
o 549362
o 549302
o 549293
o 549220
o 549211
o 549203
o 549194
o 549121
o 549112
o 548965
o 548956
o 548883
o 548874
o 548866
o 548857
o 548784
o 548775
o 548752
o 548743
o 548738
o 548729
o 548656
o 548647
o 548639
o 548630
o 548557
o 548548
o 548547
o 548538
o 548465
o 548456
o 548447
o 548438
o 548365
o 548356
o 548348
o 548339
o 548266
o 548257
o 548110
o 548101
o 548028
o 548019
o 548011
o 548002
o 547929
o 547920
o 547897
o 547888
o 547883
o 547874
o 547801
o 547792
o 547784
o 547775
o 547702
o 547693
o 547692
o 547683
o 547610
o 547601
o 547598
o 547589
o 547516
o 547507
o 547499
o 547490
o 547417
o 547408
o 547369
o 547360
o 547300
o 547291
o 547218
o 547209
o 547201
o 547192
o 547119
o 547110
o 546963
o 546954
o 546881
o 546872
o 546864
o 546855
o 546782
o 546773
o 546750
o 546741
o 546736
o 546727
o 546654
o 546645
o 546637
o 546628
o 546555
o 546546
o 546545
o 546536
o 546463
o 546454
o 546396
o 546387
o 546348
o 546339
o 546279
o 546270
o 546197
o 546188
o 546180
o 546171
o 546098
o 546089
o 545942
o 545933
o 545860
o 545851
o 545843
o 545834
o 545761
o 545752
o 545729
o 545720
o 545715
o 545706
o 545633
o 545624
o 545616
o 545607
o 545534
o 545525
o 545524
o 545515
o 545442
o 545433
o 545393
o 545384
o 545376
o 545367
o 545294
o 545285
o 545225
o 545216
o 545143
o 545134
o 545126
o 545117
o 545044
o 545035
o 544888
o 544879
o 544806
o 544797
o 544789
o 544780
o 544707
o 544698
o 544659
o 544650
o 544590
o 544581
o 544508
o 544499
o 544491
o 544482
o 544409
o 544400
o 544253
o 544244
o 544171
o 544162
o 544154
o 544145
o 544072
o 544063
o 544040
o 544031
o 544026
o 544017
o 543944
o 543935
o 543927
o 543918
o 543845
o 543836
o 543835
o 543826
o 543753
o 543744
o 543675
o 543666
o 543658
o 543649
o 543576
o 543567
o 543420
o 543411
o 543338
o 543329
o 543321
o 543312
o 543239
o 543230
o 543207
o 543198
o 543193
o 543184
o 543111
o 543102
o 543094
o 543085
o 543012
o 543003
o 543002
o 542993
o 542920
o 542911
o 542856
o 542847
o 542839
o 542830
o 542757
o 542748
o 542725
o 542716
o 542711
o 542702
o 542629
o 542620
o 542612
o 542603
o 542530
o 542521
o 542520
o 542511
o 542438
o 542429
o 542426
o 542417
o 542344
o 542335
o 542327
o 542318
o 542245
o 542236
o 542197
o 542188
o 542128
o 542119
o 542046
o 542037
o 542029
o 542020
o 541947
o 541938
o 541791
o 541782
o 541709
o 541700
o 541692
o 541683
o 541610
o 541601
o 541578
o 541569
o 541564
o 541555
o 541482
o 541473
o 541465
o 541456
o 541383
o 541374
o 541373
o 541364
o 541291
o 541282
o 541224
o 541215
o 541176
o 541167
o 541107
o 541098
o 541025
o 541016
o 541008
o 540999
o 540926
o 540917
o 540770
o 540761
o 540688
o 540679
o 540671
o 540662
o 540589
o 540580
o 540557
o 540548
o 540543
o 540534
o 540461
o 540452
o 540444
o 540435
o 540362
o 540353
o 540352
o 540343
o 540270
o 540261
o 540221
o 540212
o 540204
o 540195
o 540122
o 540113
o 540053
o 540044
o 539971
o 539962
o 539954
o 539945
o 539872
o 539863
o 539716
o 539707
o 539634
o 539625
o 539617
o 539608
o 539535
o 539526
o 539487
o 539478
o 539418
o 539409
o 539336
o 539327
o 539319
o 539310
o 539237
o 539228
o 539081
o 539072
o 538999
o 538990
o 538982
o 538973
o 538900
o 538891
o 538868
o 538859
o 538854
o 538845
o 538772
o 538763
o 538755
o 538746
o 538673
o 538664
o 538663
o 538654
o 538581
o 538572
o 538503
o 538494
o 538486
o 538477
o 538404
o 538395
o 538248
o 538239
o 538166
o 538157
o 538149
o 538140
o 538067
o 538058
o 538035
o 538026
o 538021
o 538012
o 537939
o 537930
o 537922
o 537913
o 537840
o 537831
o 537830
o 537821
o 537748
o 537739
o 537733
o 537724
o 537651
o 537642
o 537641
o 537632
o 537559
o 537550
o 537547
o 537538
o 537465
o 537456
o 537448
o 537439
o 537366
o 537357
o 537318
o 537309
o 537249
o 537240
o 537167
o 537158
o 537150
o 537141
o 537068
o 537059
o 536912
o 536903
o 536830
o 536821
o 536813
o 536804
o 536731
o 536722
o 536699
o 536690
o 536685
o 536676
o 536603
o 536594
o 536586
o 536577
o 536504
o 536495
o 536494
o 536485
o 536412
o 536403
o 536345
o 536336
o 536297
o 536288
o 536228
o 536219
o 536146
o 536137
o 536129
o 536120
o 536047
o 536038
o 535891
o 535882
o 535809
o 535800
o 535792
o 535783
o 535710
o 535701
o 535678
o 535669
o 535664
o 535655
o 535582
o 535573
o 535565
o 535556
o 535483
o 535474
o 535473
o 535464
o 535391
o 535382
o 535342
o 535333
o 535325
o 535316
o 535243
o 535234
o 535174
o 535165
o 535092
o 535083
o 535075
o 535066
o 534993
o 534984
o 534837
o 534828
o 534755
o 534746
o 534738
o 534729
o 534656
o 534647
o 534608
o 534599
o 534539
o 534530
o 534457
o 534448
o 534440
o 534431
o 534358
o 534349
o 534202
o 534193
o 534120
o 534111
o 534103
o 534094
o 534021
o 534012
o 533989
o 533980
o 533975
o 533966
o 533893
o 533884
o 533876
o 533867
o 533794
o 533785
o 533784
o 533775
o 533702
o 533693
o 533624
o 533615
o 533607
o 533598
o 533525
o 533516
o 533369
o 533360
o 533287
o 533278
o 533270
o 533261
o 533188
o 533179
o 533156
o 533147
o 533142
o 533133
o 533060
o 533051
o 533043
o 533034
o 532961
o 532952
o 532951
o 532942
o 532869
o 532860
o 532852
o 532844
o 532813
o 532804
o 532796
o 532744
o 532735
o 532662
o 532653
o 532645
o 532636
o 532563
o 532554
o 532546
o 532407
o 532398
o 532325
o 532316
o 532308
o 532299
o 532226
o 532217
o 532209
o 532194
o 532185
o 532177
o 532171
o 532098
o 532089
o 532081
o 532072
o 531999
o 531990
o 531982
o 531980
o 531907
o 531898
o 531890
o 531858
o 531849
o 531841
o 531832
o 531759
o 531750
o 531742
o 531690
o 531681
o 531608
o 531599
o 531591
o 531582
o 531509
o 531500
o 531492
o 531353
o 531344
o 531271
o 531262
o 531254
o 531245
o 531172
o 531163
o 531155
o 531124
o 531115
o 531107
o 531055
o 531046
o 530973
o 530964
o 530956
o 530947
o 530874
o 530865
o 530857
o 530718
o 530709
o 530636
o 530627
o 530619
o 530610
o 530537
o 530528
o 530520
o 530505
o 530496
o 530488
o 530482
o 530409
o 530400
o 530392
o 530383
o 530310
o 530301
o 530293
o 530291
o 530218
o 530209
o 530201
o 530140
o 530131
o 530123
o 530114
o 530041
o 530032
o 530024
o 529885
o 529876
o 529803
o 529794
o 529786
o 529777
o 529704
o 529695
o 529687
o 529672
o 529663
o 529655
o 529649
o 529576
o 529567
o 529559
o 529550
o 529477
o 529468
o 529460
o 529458
o 529385
o 529376
o 529368
o 529359
o 529351
o 529299
o 529290
o 529217
o 529208
o 529200
o 529191
o 529118
o 529109
o 529101
o 528962
o 528953
o 528880
o 528871
o 528863
o 528854
o 528781
o 528772
o 528764
o 528749
o 528740
o 528732
o 528726
o 528653
o 528644
o 528636
o 528627
o 528554
o 528545
o 528537
o 528535
o 528462
o 528453
o 528445
o 528413
o 528404
o 528396
o 528387
o 528314
o 528305
o 528297
o 528245
o 528236
o 528163
o 528154
o 528146
o 528137
o 528064
o 528055
o 528047
o 527908
o 527899
o 527826
o 527817
o 527809
o 527800
o 527727
o 527718
o 527710
o 527679
o 527670
o 527662
o 527610
o 527601
o 527528
o 527519
o 527511
o 527502
o 527429
o 527420
o 527412
o 527273
o 527264
o 527191
o 527182
o 527174
o 527165
o 527092
o 527083
o 527075
o 527060
o 527051
o 527043
o 527037
o 526964
o 526955
o 526947
o 526938
o 526865
o 526856
o 526848
o 526846
o 526773
o 526764
o 526756
o 526695
o 526686
o 526678
o 526669
o 526596
o 526587
o 526579
o 526440
o 526431
o 526358
o 526349
o 526341
o 526332
o 526259
o 526250
o 526242
o 526227
o 526218
o 526210
o 526204
o 526131
o 526122
o 526114
o 526105
o 526032
o 526023
o 526015
o 526013
o 525940
o 525931
o 525923
o 525919
o 525910
o 525902
o 525893
o 525820
o 525811
o 525803
o 525772
o 525763
o 525755
o 525703
o 525694
o 525621
o 525612
o 525604
o 525595
o 525522
o 525513
o 525505
o 525366
o 525357
o 525284
o 525275
o 525267
o 525258
o 525185
o 525176
o 525168
o 525153
o 525144
o 525136
o 525130
o 525057
o 525048
o 525040
o 525031
o 524958
o 524949
o 524941
o 524939
o 524866
o 524857
o 524849
o 524788
o 524779
o 524771
o 524762
o 524689
o 524680
o 524672
o 524533
o 524524
o 524451
o 524442
o 524434
o 524425
o 524352
o 524343
o 524335
o 524320
o 524311
o 524303
o 524297
o 524224
o 524215
o 524207
o 524198
o 524125
o 524116
o 524108
o 524106
o 524033
o 524024
o 524016
o 523976
o 523967
o 523959
o 523950
o 523877
o 523868
o 523860
o 523721
o 523712
o 523639
o 523630
o 523622
o 523613
o 523540
o 523531
o 523523
o 523508
o 523499
o 523491
o 523485
o 523412
o 523403
o 523395
o 523386
o 523313
o 523304
o 523296
o 523294
o 523221
o 523212
o 523204
o 523172
o 523163
o 523155
o 523146
o 523073
o 523064
o 523056
o 523004
o 522995
o 522922
o 522913
o 522905
o 522896
o 522823
o 522814
o 522806
o 522667
o 522658
o 522585
o 522576
o 522568
o 522559
o 522486
o 522477
o 522469
o 522438
o 522429
o 522421
o 522369
o 522360
o 522287
o 522278
o 522270
o 522261
o 522188
o 522179
o 522171
o 522032
o 522023
o 521950
o 521941
o 521933
o 521924
o 521851
o 521842
o 521834
o 521819
o 521810
o 521802
o 521796
o 521723
o 521714
o 521706
o 521697
o 521624
o 521615
o 521607
o 521605
o 521532
o 521523
o 521515
o 521454
o 521445
o 521437
o 521428
o 521355
o 521346
o 521338
o 521199
o 521190
o 521117
o 521108
o 521100
o 521091
o 521018
o 521009
o 521001
o 520986
o 520977
o 520969
o 520963
o 520890
o 520881
o 520873
o 520864
o 520791
o 520782
o 520774
o 520772
o 520699
o 520690
o 520682
o 520678
o 520669
o 520661
o 520652
o 520579
o 520570
o 520562
o 520531
o 520522
o 520514
o 520462
o 520453
o 520380
o 520371
o 520363
o 520354
o 520281
o 520272
o 520264
o 520125
o 520116
o 520043
o 520034
o 520026
o 520017
o 519944
o 519935
o 519927
o 519912
o 519903
o 519895
o 519889
o 519816
o 519807
o 519799
o 519790
o 519717
o 519708
o 519700
o 519698
o 519625
o 519616
o 519608
o 519547
o 519538
o 519530
o 519521
o 519448
o 519439
o 519431
o 519292
o 519283
o 519210
o 519201
o 519193
o 519184
o 519111
o 519102
o 519094
o 519079
o 519070
o 519062
o 519056
o 518983
o 518974
o 518966
o 518957
o 518884
o 518875
o 518867
o 518865
o 518792
o 518783
o 518775
o 518705
o 518696
o 518688
o 518679
o 518606
o 518597
o 518589
o 518450
o 518441
o 518368
o 518359
o 518351
o 518342
o 518269
o 518260
o 518252
o 518221
o 518212
o 518204
o 518152
o 518143
o 518070
o 518061
o 518053
o 518044
o 517971
o 517962
o 517954
o 517815
o 517806
o 517733
o 517724
o 517716
o 517707
o 517634
o 517625
o 517617
o 517602
o 517593
o 517585
o 517579
o 517506
o 517497
o 517489
o 517480
o 517407
o 517398
o 517390
o 517388
o 517315
o 517306
o 517298
o 517237
o 517228
o 517220
o 517211
o 517138
o 517129
o 517121
o 516982
o 516973
o 516900
o 516891
o 516883
o 516874
o 516801
o 516792
o 516784
o 516769
o 516760
o 516752
o 516746
o 516673
o 516664
o 516656
o 516647
o 516574
o 516565
o 516557
o 516555
o 516482
o 516473
o 516465
o 516461
o 516452
o 516444
o 516435
o 516362
o 516353
o 516345
o 516314
o 516305
o 516297
o 516245
o 516236
o 516163
o 516154
o 516146
o 516137
o 516064
o 516055
o 516047
o 515908
o 515899
o 515826
o 515817
o 515809
o 515800
o 515727
o 515718
o 515710
o 515695
o 515686
o 515678
o 515672
o 515599
o 515590
o 515582
o 515573
o 515500
o 515491
o 515483
o 515481
o 515408
o 515399
o 515391
o 515330
o 515321
o 515313
o 515304
o 515231
o 515222
o 515214
o 515075
o 515066
o 514993
o 514984
o 514976
o 514967
o 514894
o 514885
o 514877
o 514862
o 514853
o 514845
o 514839
o 514766
o 514757
o 514749
o 514740
o 514667
o 514658
o 514650
o 514648
o 514575
o 514566
o 514558
o 514549
o 514540
o 514532
o 514528
o 514519
o 514511
o 514502
o 514429
o 514420
o 514412
o 514381
o 514372
o 514364
o 514312
o 514303
o 514230
o 514221
o 51421Killed
1979.667u 0.032s 33:01.84 99.8%	0+0k 0+0io 0pf+0w