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-200-1_network-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-6.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 525 1823 3261447
WARNING: Ubcsat not found.
o 3261447
o 656475
o 656422
o 655952
o 655819
o 655502
o 655449
o 654979
o 654846
o 654785
o 654732
o 654262
o 654129
o 654004
o 653951
o 653481
o 653348
o 653287
o 653234
o 652764
o 652631
o 652501
o 652368
o 652307
o 652174
o 652096
o 652043
o 651573
o 651440
o 651379
o 651326
o 650856
o 650723
o 650593
o 650460
o 650438
o 649968
o 649835
o 649705
o 649572
o 649557
o 649424
o 649421
o 648951
o 648818
o 648688
o 648555
o 648533
o 648063
o 647930
o 647800
o 647667
o 647652
o 647519
o 647403
o 647334
o 647201
o 647071
o 646938
o 646923
o 646790
o 646787
o 646317
o 646184
o 646054
o 645921
o 645899
o 645429
o 645296
o 645166
o 645033
o 645018
o 644885
o 644769
o 644697
o 644682
o 644549
o 644433
o 644407
o 644274
o 644259
o 644126
o 644010
o 643583
o 643450
o 643320
o 643187
o 643172
o 643039
o 642923
o 642824
o 642691
o 642561
o 642428
o 642413
o 642280
o 642164
o 642092
o 642077
o 641944
o 641828
o 641802
o 641669
o 641654
o 641521
o 641405
o 641397
o 641281
o 641162
o 641147
o 641014
o 640898
o 640826
o 640811
o 640678
o 640562
o 640536
o 640403
o 640388
o 640255
o 640139
o 640095
o 639979
o 639969
o 639954
o 639821
o 639705
o 639697
o 639581
o 639472
o 639400
o 639385
o 639252
o 639136
o 639110
o 638977
o 638962
o 638829
o 638713
o 638703
o 638688
o 638555
o 638439
o 638400
o 638284
o 638276
o 638160
o 638051
o 638041
o 638026
o 637893
o 637777
o 637705
o 637690
o 637557
o 637441
o 637415
o 637282
o 637267
o 637134
o 637018
o 636974
o 636858
o 636848
o 636833
o 636700
o 636584
o 636576
o 636460
o 636351
o 636279
o 636264
o 636131
o 636015
o 635989
o 635856
o 635841
o 635708
o 635592
o 635582
o 635567
o 635434
o 635318
o 635210
o 635195
o 635062
o 634946
o 634902
o 634786
o 634776
o 634761
o 634628
o 634512
o 634504
o 634388
o 634279
o 634207
o 634192
o 634059
o 633943
o 633917
o 633784
o 633769
o 633636
o 633520
o 633510
o 633495
o 633362
o 633246
o 633125
o 633110
o 632977
o 632861
o 632817
o 632701
o 632691
o 632676
o 632543
o 632427
o 632419
o 632303
o 632194
o 632122
o 632107
o 631974
o 631858
o 631832
o 631699
o 631684
o 631551
o 631435
o 631425
o 631410
o 631277
o 631161
o 631152
o 631019
o 630903
o 630895
o 630779
o 630670
o 630598
o 630583
o 630450
o 630334
o 630308
o 630175
o 630160
o 630027
o 629911
o 629901
o 629886
o 629753
o 629637
o 629516
o 629501
o 629368
o 629252
o 629208
o 629092
o 629082
o 629067
o 628934
o 628818
o 628810
o 628694
o 628585
o 628513
o 628498
o 628365
o 628249
o 628223
o 628090
o 628075
o 627942
o 627826
o 627816
o 627801
o 627668
o 627552
o 627538
o 627466
o 627451
o 627318
o 627202
o 627176
o 627043
o 627028
o 626895
o 626779
o 626769
o 626754
o 626621
o 626505
o 626452
o 626437
o 626304
o 626188
o 626162
o 626029
o 626014
o 625881
o 625765
o 625755
o 625740
o 625607
o 625491
o 625370
o 625355
o 625222
o 625106
o 625062
o 624946
o 624936
o 624921
o 624788
o 624672
o 624664
o 624548
o 624439
o 624367
o 624352
o 624219
o 624103
o 624077
o 623944
o 623929
o 623796
o 623680
o 623670
o 623655
o 623522
o 623406
o 623405
o 623390
o 623257
o 623141
o 623115
o 622982
o 622967
o 622834
o 622718
o 622708
o 622693
o 622560
o 622444
o 622323
o 622308
o 622175
o 622059
o 622015
o 621899
o 621889
o 621874
o 621741
o 621625
o 621617
o 621501
o 621392
o 621320
o 621305
o 621172
o 621056
o 621030
o 620897
o 620882
o 620749
o 620633
o 620623
o 620608
o 620475
o 620359
o 620333
o 620318
o 620185
o 620069
o 620043
o 619910
o 619895
o 619762
o 619646
o 619636
o 619621
o 619488
o 619372
o 619293
o 619267
o 619134
o 619119
o 618986
o 618870
o 618860
o 618845
o 618712
o 618596
o 618570
o 618555
o 618422
o 618306
o 618280
o 618147
o 618132
o 617999
o 617883
o 617873
o 617858
o 617725
o 617609
o 617558
o 617456
o 617340
o 617269
o 617153
o 617050
o 617024
o 616891
o 616876
o 616743
o 616627
o 616617
o 616602
o 616469
o 616353
o 616282
o 616166
o 616115
o 616100
o 615967
o 615851
o 615841
o 615826
o 615693
o 615577
o 615506
o 615390
o 615287
o 615261
o 615128
o 615113
o 614980
o 614864
o 614854
o 614839
o 614706
o 614590
o 614519
o 614403
o 614352
o 614339
o 614206
o 614090
o 614080
o 614065
o 613932
o 613816
o 613745
o 613629
o 613578
o 613563
o 613430
o 613314
o 613304
o 613289
o 613156
o 613040
o 612969
o 612853
o 612750
o 612724
o 612591
o 612576
o 612443
o 612327
o 612317
o 612302
o 612169
o 612053
o 611982
o 611866
o 611815
o 611757
o 611747
o 611732
o 611599
o 611483
o 611412
o 611296
o 611245
o 611230
o 611097
o 610981
o 610971
o 610956
o 610823
o 610707
o 610636
o 610520
o 610417
o 610391
o 610258
o 610243
o 610110
o 609994
o 609984
o 609969
o 609836
o 609720
o 609649
o 609533
o 609482
o 609366
o 609295
o 609179
o 609076
o 609050
o 608917
o 608902
o 608769
o 608653
o 608643
o 608628
o 608495
o 608379
o 608308
o 608192
o 608141
o 608083
o 608073
o 608058
o 607925
o 607809
o 607738
o 607622
o 607571
o 607556
o 607423
o 607307
o 607297
o 607282
o 607149
o 607033
o 606962
o 606846
o 606743
o 606717
o 606584
o 606569
o 606436
o 606320
o 606310
o 606295
o 606162
o 606046
o 605975
o 605859
o 605808
o 605750
o 605634
o 605563
o 605447
o 605396
o 605386
o 605253
o 605137
o 605066
o 604950
o 604899
o 604884
o 604751
o 604635
o 604625
o 604610
o 604477
o 604361
o 604290
o 604174
o 604071
o 604045
o 603912
o 603897
o 603764
o 603648
o 603638
o 603623
o 603490
o 603374
o 603303
o 603187
o 603136
o 603078
o 602962
o 602891
o 602775
o 602724
o 602700
o 602584
o 602481
o 602455
o 602322
o 602307
o 602174
o 602058
o 602048
o 602033
o 601900
o 601784
o 601713
o 601597
o 601546
o 601488
o 601372
o 601301
o 601185
o 601134
o 601122
o 601071
o 601013
o 600923
o 600897
o 600807
o 600797
o 600739
o 600649
o 600623
o 600533
o 600462
o 600436
o 600346
o 600333
o 600243
o 600174
o 600084
o 600026
o 599936
o 599910
o 599820
o 599810
o 599752
o 599662
o 599636
o 599546
o 599475
o 599449
o 599359
o 599308
o 599250
o 599224
o 599134
o 599063
o 599037
o 598947
o 598896
o 598872
o 598846
o 598756
o 598743
o 598653
o 598584
o 598494
o 598436
o 598346
o 598320
o 598230
o 598220
o 598162
o 598072
o 598046
o 597956
o 597885
o 597859
o 597769
o 597718
o 597660
o 597634
o 597544
o 597473
o 597447
o 597357
o 597306
o 597247
o 597196
o 597138
o 597022
o 596951
o 596835
o 596784
o 596772
o 596721
o 596663
o 596573
o 596547
o 596457
o 596447
o 596389
o 596299
o 596273
o 596183
o 596112
o 596086
o 595996
o 595983
o 595893
o 595824
o 595734
o 595676
o 595586
o 595560
o 595470
o 595460
o 595402
o 595312
o 595286
o 595196
o 595125
o 595099
o 595009
o 594958
o 594900
o 594874
o 594784
o 594713
o 594687
o 594597
o 594546
o 594522
o 594496
o 594406
o 594393
o 594303
o 594234
o 594144
o 594086
o 593996
o 593970
o 593880
o 593870
o 593812
o 593722
o 593696
o 593606
o 593535
o 593509
o 593419
o 593368
o 593310
o 593284
o 593194
o 593123
o 593097
o 593007
o 592956
o 592913
o 592855
o 592829
o 592739
o 592668
o 592642
o 592552
o 592501
o 592461
o 592371
o 592313
o 592223
o 592197
o 592107
o 592097
o 592039
o 591949
o 591923
o 591833
o 591762
o 591736
o 591646
o 591595
o 591537
o 591511
o 591421
o 591350
o 591324
o 591234
o 591183
o 591128
o 591118
o 591060
o 590970
o 590944
o 590854
o 590783
o 590757
o 590667
o 590616
o 590558
o 590532
o 590442
o 590371
o 590345
o 590255
o 590204
o 590119
o 590068
o 590028
o 589938
o 589880
o 589790
o 589764
o 589674
o 589664
o 589606
o 589516
o 589490
o 589400
o 589329
o 589303
o 589213
o 589162
o 589104
o 589078
o 588988
o 588917
o 588891
o 588801
o 588750
o 588695
o 588685
o 588627
o 588537
o 588511
o 588421
o 588350
o 588324
o 588234
o 588183
o 588125
o 588099
o 588009
o 587938
o 587912
o 587822
o 587771
o 587758
o 587668
o 587642
o 587552
o 587481
o 587455
o 587365
o 587314
o 587256
o 587230
o 587140
o 587069
o 587043
o 586953
o 586902
o 586847
o 586837
o 586779
o 586689
o 586663
o 586573
o 586502
o 586476
o 586386
o 586335
o 586277
o 586251
o 586161
o 586090
o 586064
o 585974
o 585923
o 585885
o 585845
o 585755
o 585697
o 585607
o 585581
o 585491
o 585481
o 585423
o 585333
o 585307
o 585217
o 585146
o 585120
o 585030
o 584979
o 584921
o 584895
o 584805
o 584734
o 584708
o 584618
o 584567
o 584512
o 584502
o 584444
o 584354
o 584328
o 584238
o 584167
o 584141
o 584051
o 584000
o 583942
o 583916
o 583826
o 583755
o 583729
o 583639
o 583588
o 583575
o 583485
o 583459
o 583369
o 583298
o 583272
o 583182
o 583131
o 583073
o 583047
o 582957
o 582886
o 582860
o 582770
o 582719
o 582664
o 582654
o 582596
o 582506
o 582480
o 582390
o 582319
o 582293
o 582203
o 582152
o 582094
o 582068
o 581978
o 581907
o 581881
o 581791
o 581740
o 581724
o 581653
o 581627
o 581537
o 581486
o 581448
o 581408
o 581318
o 581260
o 581170
o 581144
o 581054
o 581044
o 580986
o 580896
o 580870
o 580780
o 580709
o 580683
o 580593
o 580542
o 580484
o 580458
o 580368
o 580297
o 580271
o 580181
o 580130
o 580075
o 580065
o 580007
o 579917
o 579891
o 579801
o 579730
o 579704
o 579614
o 579563
o 579505
o 579479
o 579389
o 579318
o 579292
o 579202
o 579151
o 579138
o 579048
o 579022
o 578932
o 578861
o 578835
o 578745
o 578694
o 578636
o 578610
o 578520
o 578449
o 578423
o 578333
o 578282
o 578227
o 578217
o 578159
o 578069
o 578043
o 577953
o 577882
o 577856
o 577766
o 577715
o 577657
o 577631
o 577541
o 577470
o 577444
o 577354
o 577303
o 577232
o 577206
o 577116
o 577065
o 577052
o 576962
o 576936
o 576846
o 576775
o 576749
o 576659
o 576608
o 576550
o 576524
o 576434
o 576363
o 576337
o 576247
o 576196
o 576141
o 576131
o 576073
o 575983
o 575957
o 575867
o 575796
o 575770
o 575680
o 575629
o 575571
o 575545
o 575455
o 575384
o 575358
o 575268
o 575217
o 575191
o 575101
o 575030
o 575004
o 574914
o 574863
o 574805
o 574779
o 574689
o 574618
o 574592
o 574502
o 574451
o 574396
o 574386
o 574328
o 574238
o 574212
o 574122
o 574051
o 574025
o 573935
o 573884
o 573826
o 573800
o 573710
o 573639
o 573613
o 573523
o 573472
o 573415
o 573389
o 573299
o 573248
o 573222
o 573132
o 573061
o 573035
o 572945
o 572894
o 572836
o 572810
o 572720
o 572649
o 572623
o 572533
o 572482
o 572427
o 572417
o 572359
o 572269
o 572243
o 572153
o 572082
o 572056
o 571966
o 571915
o 571857
o 571831
o 571741
o 571670
o 571644
o 571554
o 571503
o 571454
o 571428
o 571338
o 571287
o 571232
o 571222
o 571164
o 571074
o 571048
o 570958
o 570887
o 570861
o 570771
o 570720
o 570662
o 570636
o 570546
o 570475
o 570449
o 570359
o 570308
o 570305
o 570256
o 570230
o 570140
o 570089
o 570034
o 570024
o 569966
o 569876
o 569850
o 569760
o 569689
o 569663
o 569573
o 569522
o 569464
o 569438
o 569348
o 569277
o 569251
o 569161
o 569110
o 569064
o 569006
o 568980
o 568890
o 568819
o 568793
o 568703
o 568652
o 568595
o 568569
o 568479
o 568428
o 568402
o 568312
o 568241
o 568215
o 568125
o 568074
o 568016
o 567990
o 567900
o 567829
o 567803
o 567713
o 567662
o 567607
o 567597
o 567539
o 567449
o 567423
o 567333
o 567262
o 567236
o 567146
o 567095
o 567037
o 567011
o 566921
o 566850
o 566824
o 566734
o 566683
o 566634
o 566608
o 566518
o 566467
o 566412
o 566402
o 566344
o 566254
o 566228
o 566138
o 566067
o 566041
o 565951
o 565900
o 565842
o 565816
o 565726
o 565655
o 565629
o 565539
o 565488
o 565421
o 565370
o 565311
o 565240
o 565214
o 565124
o 565099
o 565009
o 564958
o 564908
o 564883
o 564793
o 564742
o 564685
o 564644
o 564618
o 564528
o 564457
o 564431
o 564341
o 564316
o 564226
o 564175
o 564116
o 564045
o 564019
o 563929
o 563904
o 563814
o 563763
o 563685
o 563614
o 563588
o 563498
o 563447
o 563390
o 563364
o 563274
o 563223
o 563197
o 563107
o 563036
o 563010
o 562920
o 562869
o 562811
o 562785
o 562695
o 562624
o 562598
o 562508
o 562457
o 562402
o 562392
o 562334
o 562244
o 562218
o 562128
o 562057
o 562031
o 561941
o 561890
o 561832
o 561806
o 561716
o 561645
o 561619
o 561529
o 561478
o 561429
o 561403
o 561313
o 561262
o 561207
o 561197
o 561139
o 561049
o 561023
o 560933
o 560862
o 560836
o 560746
o 560695
o 560637
o 560611
o 560521
o 560450
o 560424
o 560334
o 560283
o 560216
o 560165
o 560106
o 560035
o 560009
o 559919
o 559894
o 559804
o 559753
o 559703
o 559678
o 559588
o 559537
o 559480
o 559439
o 559413
o 559323
o 559252
o 559226
o 559136
o 559111
o 559021
o 558970
o 558911
o 558840
o 558814
o 558724
o 558699
o 558609
o 558558
o 558509
o 558458
o 558400
o 558374
o 558284
o 558213
o 558187
o 558097
o 558046
o 557991
o 557981
o 557923
o 557833
o 557807
o 557717
o 557646
o 557620
o 557530
o 557479
o 557421
o 557395
o 557305
o 557234
o 557208
o 557118
o 557067
o 557018
o 556992
o 556902
o 556851
o 556796
o 556786
o 556728
o 556638
o 556612
o 556522
o 556451
o 556425
o 556335
o 556284
o 556226
o 556200
o 556110
o 556039
o 556013
o 555923
o 555872
o 555805
o 555754
o 555695
o 555624
o 555598
o 555508
o 555483
o 555393
o 555342
o 555292
o 555267
o 555177
o 555126
o 555069
o 555028
o 555002
o 554912
o 554841
o 554815
o 554725
o 554700
o 554610
o 554559
o 554500
o 554429
o 554403
o 554313
o 554288
o 554198
o 554147
o 554133
o 554079
o 554002
o 553982
o 553892
o 553815
o 553764
o 553676
o 553599
o 553548
o 553502
o 553412
o 553386
o 553296
o 553219
o 553199
o 553109
o 553032
o 552981
o 552974
o 552884
o 552807
o 552787
o 552697
o 552620
o 552569
o 552502
o 552451
o 552392
o 552372
o 552282
o 552205
o 552167
o 552090
o 552039
o 551989
o 551951
o 551874
o 551823
o 551766
o 551686
o 551609
o 551589
o 551499
o 551422
o 551384
o 551307
o 551256
o 551197
o 551177
o 551087
o 551010
o 550972
o 550895
o 550844
o 550830
o 550821
o 550795
o 550705
o 550654
o 550596
o 550570
o 550480
o 550409
o 550383
o 550293
o 550242
o 550175
o 550124
o 550065
o 549994
o 549968
o 549878
o 549853
o 549763
o 549712
o 549662
o 549637
o 549547
o 549496
o 549439
o 549398
o 549372
o 549282
o 549211
o 549185
o 549095
o 549070
o 548980
o 548929
o 548870
o 548799
o 548773
o 548683
o 548658
o 548568
o 548517
o 548503
o 548449
o 548372
o 548352
o 548262
o 548185
o 548134
o 548046
o 547969
o 547918
o 547872
o 547782
o 547756
o 547666
o 547589
o 547569
o 547479
o 547402
o 547351
o 547344
o 547254
o 547177
o 547157
o 547067
o 546990
o 546939
o 546872
o 546821
o 546762
o 546742
o 546652
o 546575
o 546537
o 546460
o 546409
o 546359
o 546321
o 546244
o 546193
o 546136
o 546056
o 545979
o 545959
o 545869
o 545792
o 545754
o 545677
o 545626
o 545567
o 545547
o 545457
o 545380
o 545342
o 545265
o 545214
o 545200
o 545168
o 545109
o 545038
o 545012
o 544922
o 544897
o 544807
o 544756
o 544706
o 544681
o 544591
o 544540
o 544483
o 544442
o 544416
o 544326
o 544255
o 544229
o 544139
o 544114
o 544024
o 543973
o 543914
o 543843
o 543817
o 543727
o 543702
o 543612
o 543561
o 543547
o 543493
o 543416
o 543396
o 543306
o 543229
o 543178
o 543090
o 543013
o 542962
o 542916
o 542826
o 542800
o 542710
o 542633
o 542613
o 542523
o 542446
o 542395
o 542388
o 542298
o 542221
o 542201
o 542111
o 542034
o 541983
o 541916
o 541865
o 541806
o 541786
o 541696
o 541619
o 541581
o 541504
o 541453
o 541403
o 541365
o 541288
o 541237
o 541180
o 541100
o 541023
o 541003
o 540913
o 540836
o 540798
o 540721
o 540670
o 540611
o 540591
o 540501
o 540424
o 540386
o 540309
o 540258
o 540244
o 540196
o 540145
o 540131
o 540077
o 540000
o 539980
o 539890
o 539813
o 539762
o 539674
o 539597
o 539546
o 539500
o 539410
o 539384
o 539294
o 539217
o 539197
o 539107
o 539030
o 538979
o 538972
o 538882
o 538805
o 538785
o 538695
o 538618
o 538567
o 538500
o 538449
o 538390
o 538370
o 538280
o 538203
o 538165
o 538088
o 538037
o 537987
o 537949
o 537872
o 537821
o 537764
o 537684
o 537607
o 537587
o 537497
o 537420
o 537382
o 537305
o 537254
o 537195
o 537175
o 537085
o 537008
o 536970
o 536893
o 536842
o 536828
o 536803
o 536777
o 536687
o 536610
o 536590
o 536500
o 536423
o 536372
o 536365
o 536275
o 536198
o 536178
o 536088
o 536011
o 535960
o 535893
o 535842
o 535783
o 535763
o 535673
o 535596
o 535558
o 535481
o 535430
o 535380
o 535342
o 535265
o 535214
o 535157
o 535077
o 535000
o 534980
o 534890
o 534813
o 534775
o 534698
o 534647
o 534588
o 534568
o 534478
o 534401
o 534363
o 534286
o 534235
o 534221
o 534151
o 534100
o 534043
o 533963
o 533886
o 533866
o 533776
o 533699
o 533661
o 533584
o 533533
o 533474
o 533454
o 533364
o 533287
o 533249
o 533172
o 533121
o 533107
o 533098
o 533008
o 532931
o 532893
o 532816
o 532765
o 532751
o 532707
o 532656
o 532597
o 532577
o 532487
o 532410
o 532372
o 532295
o 532244
o 532194
o 532156
o 532079
o 532028
o 531971
o 531891
o 531814
o 531794
o 531704
o 531627
o 531589
o 531512
o 531461
o 531402
o 531382
o 531292
o 531215
o 531177
o 531100
o 531049
o 531035
o 531010
o 530984
o 530894
o 530817
o 530797
o 530707
o 530630
o 530579
o 530572
o 530482
o 530405
o 530385
o 530295
o 530218
o 530167
o 530100
o 530049
o 529990
o 529970
o 529880
o 529803
o 529765
o 529688
o 529637
o 529587
o 529549
o 529472
o 529421
o 529364
o 529284
o 529207
o 529187
o 529097
o 529020
o 528982
o 528905
o 528854
o 528795
o 528775
o 528685
o 528608
o 528570
o 528493
o 528442
o 528428
o 528358
o 528307
o 528250
o 528170
o 528093
o 528073
o 527983
o 527906
o 527868
o 527791
o 527740
o 527681
o 527661
o 527571
o 527494
o 527456
o 527379
o 527328
o 527314
o 527274
o 527197
o 527177
o 527087
o 527010
o 526959
o 526919
o 526892
o 526841
o 526782
o 526762
o 526672
o 526595
o 526557
o 526480
o 526429
o 526379
o 526341
o 526264
o 526213
o 526156
o 526076
o 525999
o 525979
o 525889
o 525812
o 525774
o 525697
o 525646
o 525587
o 525567
o 525477
o 525400
o 525362
o 525285
o 525234
o 525194
o 525180
o 525150
o 525099
o 525042
o 524962
o 524885
o 524865
o 524775
o 524698
o 524660
o 524583
o 524532
o 524473
o 524453
o 524363
o 524286
o 524248
o 524171
o 524120
o 524080
o 524066
o 524049
o 523998
o 523941
o 523861
o 523784
o 523764
o 523674
o 523597
o 523559
o 523482
o 523431
o 523372
o 523352
o 523262
o 523185
o 523147
o 523070
o 523019
o 523005
o 522965
o 522888
o 522868
o 522778
o 522701
o 522650
o 522610
o 522583
o 522532
o 522473
o 522453
o 522363
o 522286
o 522248
o 522171
o 522120
o 522070
o 522032
o 521955
o 521904
o 521847
o 521767
o 521690
o 521670
o 521580
o 521503
o 521465
o 521388
o 521337
o 521278
o 521258
o 521168
o 521091
o 521053
o 520976
o 520925
o 520885
o 520871
o 520841
o 520790
o 520733
o 520653
o 520576
o 520556
o 520466
o 520389
o 520351
o 520274
o 520223
o 520164
o 520144
o 520054
o 519977
o 519939
o 519862
o 519811
o 519771
o 519757
o 519724
o 519684
o 519670
o 519640
o 519589
o 519532
o 519452
o 519375
o 519355
o 519265
o 519188
o 519150
o 519073
o 519022
o 518963
o 518943
o 518853
o 518776
o 518738
o 518661
o 518610
o 518570
o 518556
o 518539
o 518488
o 518431
o 518351
o 518274
o 518254
o 518164
o 518087
o 518049
o 517972
o 517921
o 517862
o 517842
o 517752
o 517675
o 517637
o 517560
o 517509
o 517495
o 517455
o 517378
o 517358
o 517268
o 517191
o 517140
o 517100
o 517073
o 517022
o 516963
o 516943
o 516853
o 516776
o 516738
o 516661
o 516610
o 516560
o 516522
o 516445
o 516394
o 516337
o 516257
o 516180
o 516160
o 516070
o 515993
o 515955
o 515878
o 515827
o 515768
o 515748
o 515658
o 515581
o 515543
o 515466
o 515415
o 515375
o 515361
o 515331
o 515280
o 515223
o 515143
o 515066
o 515046
o 514956
o 514879
o 514841
o 514764
o 514713
o 514654
o 514634
o 514544
o 514467
o 514429
o 514352
o 514301
o 514261
o 514247
o 514207
o 514169
o 514092
o 514041
o 513991
o 513953
o 513876
o 513825
o 513768
o 513688
o 513611
o 513591
o 513501
o 513424
o 513386
o 513309
o 513258
o 513199
o 513179
o 513089
o 513012
o 512974
o 512897
o 512846
o 512806
o 512792
o 512762
o 512711
o 512654
o 512574
o 512497
o 512477
o 512387
o 512310
o 512272
o 512195
o 512144
o 512085
o 512065
o 511975
o 511898
o 511860
o 511783
o 511732
o 511692
o 511678
o 511650
o 511599
o 511542
o 511462
o 511385
o 511365
o 511275
o 511198
o 511160
o 511083
o 511032
o 510973
o 510953
o 510863
o 510786
o 510748
o 510671
o 510620
o 510580
o 510566
o 510551
o 510511
o 510497
o 510467
o 510416
o 510359
o 510279
o 510202
o 510182
o 510092
o 510015
o 509977
o 509900
o 509849
o 509790
o 509770
o 509680
o 509603
o 509565
o 509488
o 509437
o 509397
o 509383
o 509343
o 509305
o 509228
o 509177
o 509127
o 509089
o 509012
o 508961
o 508904
o 508824
o 508747
o 508727
o 508637
o 508560
o 508522
o 508445
o 508394
o 508335
o 508315
o 508225
o 508148
o 508110
o 508033
o 507982
o 507942
o 507928
o 507898
o 507847
o 507790
o 507710
o 507633
o 507613
o 507523
o 507446
o 507408
o 507331
o 507280
o 507221
o 507201
o 507111
o 507034
o 506996
o 506919
o 506868
o 506828
o 506814
o 506786
o 506735
o 506678
o 506598
o 506521
o 506501
o 506411
o 506334
o 506296
o 506219
o 506168
o 506109
o 506089
o 505999
o 505922
o 505884
o 505807
o 505756
o 505716
o 505702
o 505678
o 505658
o 505568
o 505491
o 505453
o 505376
o 505325
o 505285
o 505271
o 505256
o 505216
o 505202
o 505172
o 505121
o 505064
o 504984
o 504907
o 504887
o 504797
o 504720
o 504682
o 504605
o 504554
o 504495
o 504475
o 504385
o 504308
o 504270
o 504193
o 504142
o 504102
o 504088
o 504028
o 503977
o 503937
o 503933
o 503882
o 503832
o 503794
o 503717
o 503666
o 503609
o 503529
o 503452
o 503432
o 503342
o 503265
o 503227
o 503150
o 503099
o 503040
o 503020
o 502930
o 502853
o 502815
o 502738
o 502687
o 502647
o 502633
o 502603
o 502552
o 502495
o 502415
o 502338
o 502318
o 502228
o 502151
o 502113
o 502036
o 501985
o 501926
o 501906
o 501816
o 501739
o 501701
o 501624
o 501573
o 501533
o 501519
o 501491
o 501440
o 501383
o 501303
o 501226
o 501206
o 501116
o 501039
o 501001
o 500924
o 500873
o 500814
o 500794
o 500704
o 500627
o 500589
o 500512
o 500461
o 500421
o 500407
o 500377
o 500300
o 500249
o 500209
o 500195
o 500171
o 500151
o 500061
o 499984
o 499946
o 499869
o 499818
o 499778
o 499764
o 499749
o 499709
o 499695
o 499665
o 499614
o 499557
o 499477
o 499400
o 499380
o 499290
o 499213
o 499175
o 499098
o 499047
o 498988
o 498968
o 498878
o 498801
o 498763
o 498686
o 498635
o 498595
o 498581
o 498521
o 498470
o 498430
o 498426
o 498375
o 498325
o 498287
o 498210
o 498159
o 498102
o 498022
o 497945
o 497925
o 497835
o 497758
o 497720
o 497643
o 497592
o 497533
o 497513
o 497423
o 497346
o 497308
o 497231
o 497180
o 497140
o 497126
o 497096
o 497045
o 496988
o 496908
o 496831
o 496811
o 496721
o 496644
o 496606
o 496529
o 496478
o 496419
o 496399
o 496309
o 496232
o 496194
o 496117
o 496066
o 496026
o 496012
o 495984
o 495933
o 495876
o 495796
o 495719
o 495699
o 495609
o 495532
o 495494
o 495417
o 495366
o 495307
o 495287
o 495197
o 495120
o 495082
o 495005
o 494954
o 494914
o 494900
o 494882
o 494825
o 494745
o 494668
o 494648
o 494558
o 494481
o 494443
o 494366
o 494315
o 494256
o 494236
o 494146
o 494069
o 494031
o 493954
o 493903
o 493863
o 493849
o 493819
o 493742
o 493691
o 493651
o 493637
o 493613
o 493593
o 493503
o 493426
o 493388
o 493311
o 493260
o 493220
o 493206
o 493191
o 493151
o 493137
o 493107
o 493056
o 492999
o 492919
o 492842
o 492822
o 492732
o 492655
o 492617
o 492540
o 492489
o 492430
o 492410
o 492320
o 492243
o 492205
o 492128
o 492077
o 492037
o 492023
o 491963
o 491912
o 491872
o 491868
o 491817
o 491767
o 491729
o 491652
o 491601
o 491544
o 491464
o 491387
o 491367
o 491277
o 491200
o 491162
o 491085
o 491034
o 490975
o 490955
o 490865
o 490788
o 490750
o 490673
o 490622
o 490582
o 490568
o 490538
o 490487
o 490430
o 490350
o 490273
o 490253
o 490163
o 490086
o 490048
o 489971
o 489920
o 489861
o 489841
o 489751
o 489674
o 489636
o 489559
o 489508
o 489468
o 489454
o 489426
o 489375
o 489318
o 489238
o 489161
o 489141
o 489051
o 488974
o 488936
o 488859
o 488808
o 488749
o 488729
o 488639
o 488562
o 488524
o 488447
o 488396
o 488356
o 488342
o 488329
o 488309
o 488219
o 488142
o 488104
o 488027
o 487976
o 487917
o 487897
o 487807
o 487730
o 487692
o 487615
o 487564
o 487524
o 487510
o 487450
o 487399
o 487359
o 487355
o 487304
o 487254
o 487216
o 487139
o 487088
o 487031
o 486951
o 486874
o 486854
o 486764
o 486687
o 486649
o 486572
o 486521
o 486462
o 486442
o 486352
o 486275
o 486237
o 486160
o 486109
o 486069
o 486055
o 486025
o 485974
o 485917
o 485837
o 485760
o 485740
o 485650
o 485573
o 485535
o 485458
o 485407
o 485348
o 485328
o 485238
o 485161
o 485123
o 485046
o 484995
o 484955
o 484941
o 484913
o 484862
o 484805
o 484725
o 484648
o 484628
o 484538
o 484461
o 484423
o 484346
o 484295
o 484236
o 484216
o 484126
o 484049
o 484011
o 483934
o 483883
o 483843
o 483829
o 483812
o 483774
o 483697
o 483646
o 483606
o 483592
o 483559
o 483482
o 483431
o 483372
o 483352
o 483262
o 483185
o 483147
o 483070
o 483019
o 482979
o 482965
o 482952
o 482932
o 482842
o 482765
o 482727
o 482650
o 482599
o 482540
o 482520
o 482430
o 482353
o 4823Killed
1979.664u 0.035s 33:10.17 99.4%	0+0k 0+0io 0pf+0w