Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-200-1_network-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 3568746
o 651797
o 651194
o 650756
o 650620
o 650052
o 649614
o 649570
o 649480
o 649042
o 648500
o 648062
o 648001
o 647563
o 647257
o 646819
o 646673
o 646235
o 645827
o 645691
o 645253
o 644935
o 644799
o 644361
o 644077
o 643907
o 643771
o 643333
o 643169
o 643033
o 642595
o 642257
o 641973
o 641803
o 641667
o 641229
o 641043
o 640705
o 640421
o 640251
o 640115
o 639677
o 639549
o 639413
o 638975
o 638811
o 638675
o 638237
o 637899
o 637615
o 637445
o 637309
o 636871
o 636800
o 636462
o 636414
o 636178
o 635872
o 635434
o 635324
o 634986
o 634938
o 634702
o 634396
o 633958
o 633599
o 633489
o 633151
o 633103
o 632867
o 632561
o 632123
o 631736
o 631626
o 631288
o 631240
o 631004
o 630698
o 630260
o 630232
o 629794
o 629735
o 629297
o 628911
o 628729
o 628505
o 628369
o 627931
o 627613
o 627585
o 627147
o 626760
o 626650
o 626312
o 626264
o 626082
o 626028
o 625722
o 625284
o 624911
o 624801
o 624463
o 624415
o 624233
o 624179
o 623873
o 623435
o 623403
o 623349
o 622965
o 622855
o 622517
o 622469
o 622287
o 622233
o 621927
o 621873
o 621489
o 621116
o 621006
o 620668
o 620620
o 620438
o 620384
o 620078
o 620024
o 619640
o 619540
o 619310
o 619256
o 618950
o 618896
o 618512
o 618166
o 618056
o 617718
o 617670
o 617488
o 617434
o 617128
o 617074
o 616690
o 616564
o 616454
o 616116
o 616068
o 615886
o 615832
o 615526
o 615472
o 615088
o 614988
o 614758
o 614704
o 614398
o 614344
o 613960
o 613614
o 613504
o 613166
o 613118
o 612936
o 612882
o 612576
o 612522
o 612138
o 611917
o 611760
o 611706
o 611322
o 611273
o 610889
o 610789
o 610632
o 610578
o 610194
o 610145
o 609761
o 609415
o 609305
o 609170
o 608756
o 608372
o 608323
o 607939
o 607897
o 607761
o 607756
o 607707
o 607323
o 607223
o 606939
o 606769
o 606633
o 606628
o 606579
o 606195
o 605834
o 605785
o 605401
o 605380
o 605244
o 605190
o 604806
o 604757
o 604373
o 604365
o 604123
o 604074
o 603690
o 603669
o 603533
o 603479
o 603095
o 603046
o 602662
o 602621
o 602260
o 602211
o 601827
o 601806
o 601670
o 601616
o 601232
o 601183
o 600799
o 600472
o 600423
o 600039
o 599990
o 599941
o 599557
o 599549
o 599307
o 599258
o 598874
o 598853
o 598717
o 598663
o 598279
o 598230
o 597846
o 597805
o 597444
o 597395
o 597011
o 596990
o 596854
o 596800
o 596416
o 596367
o 595983
o 595656
o 595607
o 595223
o 595094
o 595089
o 595040
o 594656
o 594388
o 594061
o 594012
o 593628
o 593375
o 593321
o 593010
o 592961
o 592577
o 592518
o 592513
o 592464
o 592080
o 591861
o 591534
o 591485
o 591101
o 591059
o 590918
o 590869
o 590485
o 590232
o 590050
o 589867
o 589818
o 589434
o 589373
o 589149
o 589013
o 589008
o 588959
o 588575
o 588322
o 588268
o 587957
o 587908
o 587524
o 587465
o 587460
o 587411
o 587027
o 586808
o 586481
o 586432
o 586048
o 585865
o 585816
o 585432
o 585430
o 585381
o 584997
o 584955
o 584819
o 584814
o 584765
o 584381
o 584298
o 584293
o 584244
o 583860
o 583847
o 583564
o 583515
o 583131
o 582804
o 582755
o 582371
o 582369
o 582320
o 581936
o 581894
o 581758
o 581753
o 581704
o 581320
o 581226
o 581221
o 581172
o 580788
o 580535
o 580353
o 580170
o 580121
o 579737
o 579558
o 579459
o 579410
o 579026
o 578773
o 578591
o 578408
o 578359
o 577975
o 577937
o 577888
o 577504
o 577417
o 577320
o 577318
o 577221
o 576885
o 576788
o 576632
o 576535
o 576481
o 576450
o 576353
o 576267
o 576170
o 575834
o 575737
o 575642
o 575556
o 575459
o 575123
o 575026
o 574870
o 574773
o 574719
o 574688
o 574591
o 574505
o 574408
o 574072
o 573975
o 573601
o 573504
o 573321
o 573288
o 573283
o 573234
o 572850
o 572847
o 572750
o 572664
o 572567
o 572231
o 572134
o 571978
o 571881
o 571827
o 571796
o 571699
o 571613
o 571516
o 571180
o 571083
o 570988
o 570902
o 570805
o 570469
o 570372
o 570216
o 570119
o 570065
o 570034
o 569937
o 569851
o 569754
o 569418
o 569321
o 569288
o 569283
o 568947
o 568850
o 568489
o 568392
o 568380
o 568283
o 567942
o 567845
o 567471
o 567374
o 567361
o 567264
o 567259
o 566923
o 566826
o 566788
o 566452
o 566355
o 566349
o 566305
o 566208
o 565872
o 565775
o 565401
o 565304
o 565085
o 564988
o 564950
o 564614
o 564517
o 564511
o 564467
o 564370
o 564034
o 563937
o 563563
o 563466
o 563105
o 563008
o 562996
o 562899
o 562558
o 562461
o 562087
o 561990
o 561954
o 561857
o 561637
o 561540
o 561534
o 561490
o 561393
o 561057
o 560960
o 560586
o 560489
o 560476
o 560345
o 560248
o 560210
o 559874
o 559777
o 559760
o 559568
o 559471
o 559433
o 559097
o 559000
o 558994
o 558950
o 558853
o 558517
o 558420
o 558046
o 557949
o 557929
o 557924
o 557588
o 557491
o 557479
o 557382
o 557041
o 556944
o 556570
o 556473
o 556159
o 556062
o 555757
o 555660
o 555618
o 555579
o 555574
o 555525
o 555141
o 555044
o 555006
o 554670
o 554573
o 554567
o 554523
o 554426
o 554090
o 553993
o 553619
o 553522
o 553497
o 553161
o 553064
o 553052
o 552955
o 552614
o 552517
o 552143
o 552046
o 551868
o 551771
o 551759
o 551662
o 551321
o 551224
o 550850
o 550753
o 550666
o 550569
o 550483
o 550386
o 550050
o 549953
o 549915
o 549579
o 549482
o 549421
o 549324
o 548950
o 548853
o 548847
o 548803
o 548706
o 548370
o 548273
o 547899
o 547802
o 547777
o 547441
o 547344
o 547332
o 547235
o 546894
o 546797
o 546423
o 546326
o 546258
o 546204
o 545868
o 545771
o 545739
o 545642
o 545604
o 545397
o 545300
o 545268
o 545171
o 544817
o 544720
o 544688
o 544591
o 544346
o 544249
o 544217
o 544120
o 544095
o 543888
o 543791
o 543759
o 543662
o 543341
o 543244
o 543212
o 543115
o 542870
o 542773
o 542741
o 542644
o 542554
o 542457
o 542083
o 541986
o 541959
o 541862
o 541850
o 541753
o 541541
o 541444
o 541412
o 541315
o 541070
o 540973
o 540941
o 540844
o 540668
o 540571
o 540539
o 540442
o 540400
o 540052
o 539955
o 539923
o 539826
o 539788
o 539581
o 539484
o 539452
o 539355
o 539322
o 539307
o 539210
o 539178
o 539081
o 539064
o 539001
o 538904
o 538872
o 538775
o 538530
o 538433
o 538401
o 538304
o 538219
o 538111
o 538014
o 537982
o 537885
o 537640
o 537543
o 537511
o 537414
o 537383
o 537286
o 537041
o 536944
o 536912
o 536815
o 536622
o 536525
o 536493
o 536396
o 536151
o 536054
o 536022
o 535925
o 535892
o 535880
o 535783
o 535778
o 535571
o 535474
o 535442
o 535345
o 535307
o 535100
o 535003
o 534971
o 534874
o 534789
o 534708
o 534611
o 534579
o 534482
o 534459
o 534362
o 534277
o 534192
o 534160
o 534063
o 534040
o 533943
o 533818
o 533721
o 533689
o 533592
o 533569
o 533472
o 533464
o 533441
o 533344
o 533219
o 533122
o 533090
o 532993
o 532970
o 532873
o 532800
o 532703
o 532671
o 532574
o 532551
o 532454
o 532329
o 532200
o 532103
o 532080
o 531983
o 531950
o 531938
o 531841
o 531836
o 531749
o 531652
o 531620
o 531523
o 531500
o 531403
o 531365
o 531278
o 531181
o 531149
o 531052
o 531029
o 530932
o 530847
o 530791
o 530698
o 530674
o 530577
o 530554
o 530457
o 530444
o 530347
o 530324
o 530227
o 530203
o 530106
o 530083
o 529986
o 529978
o 529955
o 529858
o 529845
o 529748
o 529725
o 529628
o 529604
o 529507
o 529484
o 529387
o 529329
o 529306
o 529209
o 529185
o 529088
o 529065
o 528968
o 528955
o 528835
o 528738
o 528714
o 528617
o 528594
o 528497
o 528464
o 528384
o 528287
o 528255
o 528158
o 528134
o 528037
o 528014
o 527917
o 527913
o 527816
o 527784
o 527687
o 527663
o 527566
o 527543
o 527446
o 527361
o 527344
o 527303
o 527271
o 527174
o 527151
o 527054
o 526969
o 526958
o 526873
o 526817
o 526796
o 526699
o 526676
o 526579
o 526566
o 526469
o 526446
o 526349
o 526325
o 526228
o 526205
o 526108
o 526100
o 526077
o 525980
o 525967
o 525870
o 525847
o 525750
o 525726
o 525629
o 525606
o 525509
o 525431
o 525396
o 525331
o 525307
o 525210
o 525187
o 525090
o 525077
o 524980
o 524957
o 524860
o 524836
o 524739
o 524716
o 524619
o 524586
o 524529
o 524497
o 524400
o 524377
o 524280
o 524256
o 524159
o 524136
o 524039
o 524026
o 523929
o 523906
o 523809
o 523785
o 523688
o 523665
o 523568
o 523472
o 523387
o 523349
o 523253
o 523168
o 523136
o 523111
o 523026
o 522991
o 522906
o 522870
o 522785
o 522750
o 522665
o 522654
o 522569
o 522511
o 522487
o 522476
o 522391
o 522366
o 522355
o 522270
o 522246
o 522235
o 522150
o 522137
o 522136
o 522125
o 522040
o 522017
o 522016
o 522005
o 521920
o 521895
o 521884
o 521799
o 521775
o 521764
o 521679
o 521646
o 521641
o 521556
o 521521
o 521436
o 521425
o 521340
o 521315
o 521280
o 521195
o 521184
o 521099
o 521085
o 521050
o 520965
o 520954
o 520869
o 520844
o 520809
o 520724
o 520713
o 520628
o 520604
o 520555
o 520531
o 520434
o 520411
o 520314
o 520229
o 520218
o 520133
o 520075
o 520051
o 520040
o 519955
o 519930
o 519919
o 519834
o 519810
o 519799
o 519714
o 519701
o 519700
o 519689
o 519604
o 519581
o 519580
o 519569
o 519484
o 519459
o 519448
o 519363
o 519339
o 519328
o 519243
o 519210
o 519205
o 519120
o 519085
o 519000
o 518989
o 518904
o 518879
o 518844
o 518759
o 518748
o 518663
o 518649
o 518614
o 518529
o 518518
o 518433
o 518408
o 518373
o 518288
o 518277
o 518192
o 518134
o 518049
o 518037
o 517952
o 517920
o 517908
o 517823
o 517800
o 517788
o 517703
o 517692
o 517607
o 517582
o 517547
o 517462
o 517451
o 517366
o 517352
o 517317
o 517232
o 517221
o 517136
o 517111
o 517076
o 516991
o 516980
o 516895
o 516840
o 516815
o 516780
o 516695
o 516684
o 516599
o 516587
o 516586
o 516575
o 516490
o 516474
o 516389
o 516378
o 516293
o 516268
o 516233
o 516148
o 516137
o 516052
o 516048
o 516047
o 516036
o 515951
o 515919
o 515918
o 515907
o 515822
o 515797
o 515762
o 515677
o 515666
o 515581
o 515557
o 515508
o 515484
o 515387
o 515364
o 515267
o 515182
o 515171
o 515086
o 515028
o 515004
o 514993
o 514908
o 514883
o 514872
o 514787
o 514763
o 514752
o 514667
o 514654
o 514653
o 514642
o 514557
o 514534
o 514533
o 514522
o 514437
o 514412
o 514401
o 514316
o 514292
o 514281
o 514196
o 514163
o 514158
o 514073
o 514038
o 513953
o 513942
o 513857
o 513832
o 513797
o 513712
o 513701
o 513616
o 513602
o 513567
o 513482
o 513471
o 513386
o 513361
o 513326
o 513241
o 513230
o 513145
o 513109
o 513074
o 512989
o 512953
o 512868
o 512833
o 512748
o 512723
o 512638
o 512603
o 512518
o 512482
o 512397
o 512362
o 512277
o 512266
o 512181
o 512123
o 512088
o 512003
o 511967
o 511882
o 511847
o 511762
o 511737
o 511652
o 511617
o 511532
o 511496
o 511411
o 511376
o 511291
o 511280
o 511195
o 511167
o 511142
o 511119
o 511022
o 510926
o 510841
o 510809
o 510784
o 510699
o 510664
o 510579
o 510543
o 510458
o 510423
o 510338
o 510327
o 510242
o 510184
o 510160
o 510149
o 510064
o 510039
o 510028
o 509943
o 509919
o 509908
o 509823
o 509810
o 509809
o 509798
o 509713
o 509690
o 509689
o 509678
o 509593
o 509568
o 509557
o 509472
o 509448
o 509437
o 509352
o 509319
o 509314
o 509229
o 509194
o 509109
o 509098
o 509013
o 508988
o 508953
o 508868
o 508857
o 508772
o 508758
o 508723
o 508638
o 508627
o 508542
o 508517
o 508482
o 508397
o 508386
o 508301
o 508265
o 508230
o 508145
o 508109
o 508024
o 507989
o 507904
o 507879
o 507794
o 507759
o 507674
o 507638
o 507553
o 507518
o 507433
o 507422
o 507337
o 507279
o 507244
o 507159
o 507123
o 507038
o 507003
o 506918
o 506893
o 506808
o 506773
o 506688
o 506652
o 506567
o 506532
o 506447
o 506436
o 506351
o 506261
o 506165
o 506080
o 506022
o 505987
o 505902
o 505891
o 505806
o 505781
o 505746
o 505661
o 505650
o 505565
o 505551
o 505516
o 505431
o 505420
o 505335
o 505310
o 505275
o 505190
o 505179
o 505094
o 505077
o 505041
o 504956
o 504921
o 504836
o 504825
o 504740
o 504697
o 504683
o 504660
o 504563
o 504467
o 504442
o 504419
o 504322
o 504226
o 504141
o 504111
o 504026
o 503958
o 503873
o 503829
o 503744
o 503709
o 503624
o 503439
o 503342
o 503257
o 503213
o 503128
o 503093
o 503008
o 502972
o 502887
o 502852
o 502767
o 502742
o 502657
o 502622
o 502537
o 502501
o 502416
o 502381
o 502296
o 502285
o 502200
o 502174
o 502149
o 502114
o 502029
o 502018
o 501933
o 501932
o 501921
o 501836
o 501803
o 501792
o 501707
o 501670
o 501659
o 501574
o 501573
o 501562
o 501477
o 501452
o 501417
o 501332
o 501321
o 501236
o 501178
o 501143
o 501058
o 501047
o 500962
o 500937
o 500902
o 500817
o 500806
o 500721
o 500707
o 500672
o 500587
o 500576
o 500491
o 500466
o 500431
o 500346
o 500335
o 500250
o 500230
o 500145
o 500120
o 500035
o 500000
o 499915
o 499879
o 499794
o 499759
o 499674
o 499663
o 499578
o 499572
o 499548
o 499452
o 499440
o 499395
o 499363
o 499266
o 499243
o 499146
o 499050
o 498876
o 498779
o 498747
o 498650
o 498627
o 498530
o 498434
o 498410
o 498409
o 498313
o 498289
o 498193
o 498180
o 498179
o 498083
o 498060
o 498059
o 497963
o 497938
o 497842
o 497818
o 497722
o 497637
o 497601
o 497566
o 497481
o 497445
o 497360
o 497325
o 497240
o 497215
o 497130
o 497095
o 497010
o 496974
o 496889
o 496854
o 496769
o 496758
o 496673
o 496648
o 496615
o 496604
o 496519
o 496496
o 496495
o 496484
o 496399
o 496374
o 496363
o 496278
o 496254
o 496243
o 496158
o 496154
o 496153
o 496142
o 496057
o 496025
o 496024
o 496013
o 495928
o 495903
o 495868
o 495783
o 495772
o 495687
o 495615
o 495608
o 495512
o 495458
o 495426
o 495401
o 495378
o 495281
o 495185
o 495171
o 495148
o 495051
o 494955
o 494930
o 494907
o 494810
o 494714
o 494629
o 494609
o 494524
o 494499
o 494414
o 494379
o 494294
o 494258
o 494173
o 494138
o 494053
o 494042
o 493957
o 493875
o 493864
o 493779
o 493754
o 493719
o 493634
o 493623
o 493538
o 493524
o 493489
o 493404
o 493393
o 493308
o 493283
o 493248
o 493163
o 493152
o 493067
o 493039
o 493030
o 492995
o 492910
o 492856
o 492824
o 492788
o 492703
o 492668
o 492583
o 492558
o 492473
o 492438
o 492353
o 492317
o 492232
o 492197
o 492112
o 492101
o 492016
o 491980
o 491945
o 491860
o 491849
o 491764
o 491739
o 491704
o 491619
o 491608
o 491523
o 491509
o 491474
o 491389
o 491378
o 491293
o 491268
o 491233
o 491148
o 491137
o 491052
o 490975
o 490959
o 490874
o 490863
o 490778
o 490753
o 490718
o 490633
o 490622
o 490537
o 490533
o 490532
o 490521
o 490436
o 490404
o 490403
o 490392
o 490307
o 490282
o 490247
o 490162
o 490151
o 490066
o 490000
o 489975
o 489890
o 489855
o 489770
o 489734
o 489649
o 489614
o 489529
o 489518
o 489433
o 489428
o 489417
o 489332
o 489307
o 489272
o 489187
o 489176
o 489091
o 489077
o 489042
o 488957
o 488946
o 488861
o 488836
o 488801
o 488716
o 488705
o 488620
o 488612
o 488577
o 488492
o 488481
o 488396
o 488389
o 488293
o 488279
o 488159
o 488063
o 488062
o 487966
o 487933
o 487929
o 487832
o 487736
o 487711
o 487688
o 487591
o 487495
o 487410
o 487378
o 487353
o 487268
o 487233
o 487148
o 487112
o 487027
o 486992
o 486907
o 486896
o 486811
o 486785
o 486784
o 486773
o 486688
o 486664
o 486653
o 486568
o 486544
o 486543
o 486532
o 486447
o 486415
o 486414
o 486403
o 486318
o 486294
o 486283
o 486198
o 486109
o 486024
o 486013
o 485928
o 485927
o 485916
o 485831
o 485799
o 485798
o 485787
o 485702
o 485678
o 485667
o 485582
o 485558
o 485557
o 485546
o 485461
o 485437
o 485426
o 485341
o 485328
o 485327
o 485316
o 485231
o 485208
o 485207
o 485196
o 485111
o 485086
o 485075
o 484990
o 484966
o 484955
o 484870
o 484795
o 484759
o 484674
o 484639
o 484554
o 484529
o 484444
o 484409
o 484324
o 484288
o 484203
o 484168
o 484083
o 484072
o 483987
o 483954
o 483921
o 483910
o 483825
o 483811
o 483776
o 483691
o 483680
o 483595
o 483570
o 483535
o 483450
o 483439
o 483354
o 483349
o 483338
o 483253
o 483228
o 483193
o 483108
o 483097
o 483012
o 482998
o 482963
o 482878
o 482867
o 482782
o 482757
o 482722
o 482637
o 482626
o 482541
o 482533
o 482498
o 482413
o 482402
o 482317
o 482310
o 482214
o 482200
o 482080
o 481984
o 481983
o 481887
o 481854
o 481850
o 481753
o 481657
o 481632
o 481609
o 481512
o 481416
o 481331
o 481299
o 481274
o 481189
o 481154
o 481069
o 481033
o 480948
o 480913
o 480828
o 480817
o 480732
o 480706
o 480705
o 480694
o 480609
o 480585
o 480574
o 480489
o 480465
o 480464
o 480453
o 480368
o 480336
o 480335
o 480324
o 480239
o 480215
o 480204
o 480119
o 480030
o 479945
o 479934
o 479849
o 479848
o 479837
o 479752
o 479720
o 479719
o 479708
o 479623
o 479599
o 479588
o 479503
o 479479
o 479478
o 479467
o 479382
o 479358
o 479347
o 479262
o 479249
o 479248
o 479237
o 479152
o 479129
o 479128
o 479117
o 479032
o 479007
o 478996
o 478911
o 478887
o 478876
o 478791
o 478736
o 478697
o 478676
o 478591
o 478580
o 478495
o 478490
o 478479
o 478394
o 478369
o 478355
o 478334
o 478249
o 478238
o 478153
o 478125
o 478104
o 478019
o 478008
o 477923
o 477898
o 477884
o 477863
o 477778
o 477767
o 477682
o 477660
o 477639
o 477554
o 477543
o 477458
o 477451
o 477355
o 477327
o 477231
o 477221
o 477125
o 477124
o 477028
o 476995
o 476991
o 476894
o 476798
o 476759
o 476750
o 476653
o 476557
o 476472
o 476440
o 476436
o 476401
o 476316
o 476295
o 476210
o 476195
o 476160
o 476075
o 476054
o 475969
o 475958
o 475873
o 475801
o 475791
o 475780
o 475695
o 475670
o 475659
o 475574
o 475550
o 475539
o 475454
o 475450
o 475426
o 475415
o 475330
o 475321
o 475320
o 475309
o 475224
o 475199
o 475188
o 475103
o 475079
o 475068
o 474983
o 474918
o 474846
o 474825
o 474740
o 474729
o 474644
o 474619
o 474605
o 474584
o 474499
o 474488
o 474403
o 474375
o 474354
o 474269
o 474258
o 474173
o 474148
o 474134
o 474113
o 474028
o 474017
o 473932
o 473861
o 473819
o 473740
o 473699
o 473620
o 473603
o 473524
o 473497
o 473480
o 473401
o 473324
o 473302
o 473223
o 473206
o 473127
o 473102
o 473088
o 473061
o 472982
o 472965
o 472886
o 472859
o 472858
o 472841
o 472762
o 472753
o 472752
o 472735
o 472656
o 472617
o 472590
o 472511
o 472494
o 472415
o 472393
o 472366
o 472287
o 472270
o 472191
o 472167
o 472082
o 472043
o 472033
o 471937
o 471904
o 471803
o 471707
o 471668
o 471562
o 471466
o 471465
o 471369
o 471284
o 471205
o 471173
o 471169
o 471128
o 471049
o 471022
o 470943
o 470928
o 470887
o 470808
o 470781
o 470702
o 470685
o 470606
o 470534
o 470524
o 470507
o 470428
o 470403
o 470386
o 470307
o 470283
o 470266
o 470187
o 470183
o 470159
o 470142
o 470063
o 470054
o 470053
o 470036
o 469957
o 469932
o 469915
o 469836
o 469812
o 469795
o 469716
o 469651
o 469579
o 469552
o 469473
o 469456
o 469377
o 469352
o 469338
o 469311
o 469232
o 469215
o 469136
o 469108
o 469081
o 469002
o 468985
o 468906
o 468881
o 468867
o 468840
o 468761
o 468744
o 468665
o 468628
o 468548
o 468463
o 468419
o 468334
o 468299
o 468214
o 468193
o 468108
o 468097
o 468012
o 467973
o 467952
o 467867
o 467856
o 467771
o 467743
o 467722
o 467637
o 467626
o 467541
o 467516
o 467502
o 467481
o 467396
o 467385
o 467300
o 467229
o 467212
o 467133
o 467108
o 467067
o 466988
o 466971
o 466892
o 466865
o 466848
o 466769
o 466692
o 466670
o 466591
o 466574
o 466495
o 466470
o 466456
o 466429
o 466350
o 466333
o 466254
o 466227
o 466226
o 466209
o 466130
o 466121
o 466120
o 466103
o 466024
o 465985
o 465958
o 465879
o 465862
o 465783
o 465761
o 465734
o 465655
o 465638
o 465559
o 465552
o 465535
o 465456
o 465428
o 465411
o 465332
o 465322
o 465305
o 465226
o 465225
o 465208
o 465129
o 465096
o 465074
o 464995
o 464978
o 464899
o 464874
o 464860
o 464833
o 464754
o 464737
o 464658
o 464652
o 464573
o 464541
o 464537
o 464496
o 464417
o 464390
o 464311
o 464296
o 464255
o 464176
o 464149
o 464070
o 464053
o 463974
o 463902
o 463892
o 463875
o 463796
o 463771
o 463754
o 463675
o 463651
o 463634
o 463555
o 463551
o 463527
o 463510
o 463431
o 463422
o 463421
o 463404
o 463325
o 463300
o 463283
o 463204
o 463180
o 463163
o 463084
o 463019
o 462947
o 462920
o 462841
o 462824
o 462745
o 462720
o 462706
o 462679
o 462600
o 462583
o 462504
o 462476
o 462449
o 462370
o 462353
o 462274
o 462249
o 462235
o 462208
o 462129
o 462112
o 462033
o 462019
o 461940
o 461909
o 461830
o 461789
o 461710
o 461668
o 461589
o 461548
o 461469
o 461452
o 461373
o 461307
o 461297
o 461286
o 461201
o 461169
o 461168
o 461157
o 461072
o 461044
o 461033
o 460948
o 460938
o 460927
o 460842
o 460803
o 460782
o 460697
o 460686
o 460601
o 460530
o 460513
o 460434
o 460409
o 460368
o 460289
o 460272
o 460193
o 460166
o 460149
o 460070
o 459993
o 459971
o 459892
o 459875
o 459796
o 459771
o 459757
o 459730
o 459651
o 459634
o 459555
o 459528
o 459527
o 459510
o 459431
o 459422
o 459421
o 459404
o 459325
o 459286
o 459259
o 459180
o 459163
o 459084
o 459062
o 459035
o 458956
o 458939
o 458860
o 458853
o 458836
o 458757
o 458729
o 458712
o 458633
o 458623
o 458606
o 458527
o 458526
o 458509
o 458430
o 458397
o 458375
o 458296
o 458279
o 458200
o 458175
o 458161
o 458134
o 458055
o 458038
o 457959
o 457953
o 457874
o 457842
o 457838
o 457797
o 457718
o 457691
o 457612
o 457597
o 457556
o 457477
o 457450
o 457371
o 457354
o 457275
o 457203
o 457193
o 457176
o 457097
o 457072
o 457055
o 456976
o 456952
o 456935
o 456856
o 456852
o 456828
o 456811
o 456732
o 456723
o 456722
o 456705
o 456626
o 456601
o 456584
o 456505
o 456481
o 456464
o 456385
o 456320
o 456248
o 456221
o 456142
o 456125
o 456046
o 456021
o 456007
o 455980
o 455901
o 455884
o 455805
o 455777
o 455750
o 455671
o 455654
o 455575
o 455550
o 455536
o 455509
o 455430
o 455413
o 455334
o 455320
o 455241
o 455210
o 455131
o 455090
o 455011
o 454969
o 454890
o 454849
o 454770
o 454753
o 454674
o 454599
o 454558
o 454479
o 454475
o 454434
o 454355
o 454328
o 454249
o 454207
o 454128
o 454087
o 454008
o 453991
o 453912
o 453852
o 453827
o 453813
o 453792
o 453707
o 453696
o 453611
o 453583
o 453562
o 453477
o 453466
o 453381
o 453356
o 453342
o 453321
o 453236
o 453225
o 453140
o 453069
o 453052
o 452973
o 452948
o 452907
o 452828
o 452811
o 452732
o 452705
o 452688
o 452609
o 452532
o 452510
o 452431
o 452414
o 452335
o 452310
o 452296
o 452269
o 452190
o 452173
o 452094
o 452067
o 452066
o 452049
o 451970
o 451961
o 451960
o 451943
o 451864
o 451825
o 451798
o 451719
o 451702
o 451623
o 451601
o 451574
o 451495
o 451478
o 451399
o 451392
o 451375
o 451296
o 451268
o 451251
o 451172
o 451162
o 451145
o 451066
o 451065
o 451048
o 450969
o 450936
o 450914
o 450835
o 450818
o 450739
o 450714
o 450700
o 450673
o 450594
o 450577
o 450498
o 450492
o 450413
o 450381
o 450377
o 450336
o 450257
o 450230
o 450151
o 450136
o 450095
o 450016
o 449989
o 449910
o 449893
o 449814
o 449742
o 449732
o 449715
o 449636
o 449611
o 449594
o 449515
o 449491
o 449474
o 449395
o 449391
o 449367
o 449350
o 449271
o 449262
o 449261
o 449244
o 449165
o 449140
o 449123
o 449044
o 449020
o 449003
o 448924
o 448859
o 448787
o 448760
o 448681
o 448664
o 448585
o 448560
o 448546
o 448519
o 448440
o 448423
o 448344
o 448316
o 448289
o 448210
o 448193
o 448114
o 448089
o 448075
o 448048
o 447969
o 447952
o 447873
o 447813
o 447780
o 447763
o 447684
o 447656
o 447639
o 447560
o 447550
o 447533
o 447454
o 447415
o 447388
o 447309
o 447292
o 447213
o 447185
o 447144
o 447065
o 446993
o 446966
o 446887
o 446845
o 446766
o 446725
o 446646
o 446572
o 446531
o 446452
o 446355
o 446270
o 446191
o 446141
o 446062
o 446035
o 445956
o 445915
o 445836
o 445821
o 445794
o 445715
o 445674
o 445595
o 445558
o 445479
o 445429
o 445350
o 445323
o 445244
o 445203
o 445124
o 445107
o 445028
o 445026
o 444999
o 444920
o 444879
o 444800
o 444725
o 444701
o 444622
o 444564
o 444479
o 444400
o 444377
o 444350
o 444271
o 444230
o 444151
o 444095
o 444074
o 443989
o 443910
o 443865
o 443797
o 443756
o 443677
o 443650
o 443571
o 443529
o 443450
o 443409
o 443330
o 443326
o 443285
o 443206
o 443179
o 443100
o 443058
o 442979
o 442938
o 442859
o 442842
o 442763
o 442703
o 442670
o 442653
o 442574
o 442546
o 442529
o 442450
o 442440
o 442423
o 442344
o 442305
o 442278
o 442199
o 442182
o 442103
o 442082
o 442081
o 442064
o 441985
o 441976
o 441975
o 441958
o 441879
o 441864
o 441840
o 441823
o 441744
o 441735
o 441734
o 441717
o 441638
o 441620
o 441610
o 441593
o 441514
o 441490
o 441473
o 441394
o 441319
o 441312
o 441295
o 441216
o 441169
o 441090
o 441040
o 440961
o 440920
o 440841
o 440824
o 440745
o 440706
o 440679
o 440600
o 440583
o 440504
o 440439
o 440367
o 440340
o 440261
o 440244
o 440165
o 440140
o 440126
o 440099
o 440020
o 440003
o 439924
o 439896
o 439869
o 439790
o 439773
o 439694
o 439669
o 439655
o 439628
o 439549
o 439532
o 439453
o 439421
o 439394
o 439315
o 439298
o 439219
o 439213
o 439134
o 439115
o 439036
o 439005
o 438926
o 438885
o 438806
o 438764
o 438685
o 438644
o 438565
o 438548
o 438469
o 438466
o 438387
o 438370
o 438291
o 438266
o 438252
o 438225
o 438146
o 438129
o 438050
o 438022
o 437995
o 437916
o 437899
o 437820
o 437795
o 437781
o 437754
o 437675
o 437658
o 437579
o 437551
o 437542
o 437528
o 437501
o 437422
o 437406
o 437327
o 437276
o 437240
o 437155
o 437120
o 437035
o 437023
o 436938
o 436929
o 436917
o 436832
o 436753
o 436744
o 436703
o 436624
o 436607
o 436528
o 436508
o 436481
o 436402
o 436385
o 436306
o 436278
o 436251
o 436172
o 436155
o 436076
o 436051
o 436037
o 436010
o 435931
o 435914
o 435835
o 435763
o 435736
o 435657
o 435640
o 435561
o 435536
o 435522
o 435495
o 435416
o 435399
o 435320
o 435292
o 435265
o 435186
o 435169
o 435090
o 435065
o 435051
o 435024
o 434945
o 434928
o 434849
o 434828
o 434827
o 434810
o 434731
o 434722
o 434721
o 434704
o 434625
o 434610
o 434586
o 434569
o 434490
o 434481
o 434480
o 434463
o 434384
o 434366
o 434356
o 434339
o 434260
o 434236
o 434219
o 434140
o 434068
o 434058
o 434041
o 433962
o 433937
o 433920
o 433841
o 433817
o 433800
o 433721
o 433647
o 433623
o 433606
o 433527
o 433459
o 433442
o 433363
o 433362
o 433345
o 433266
o 433234
o 433233
o 433216
o 433137
o 433128
o 433127
o 433110
o 433031
o 433008
o 433007
o 432990
o 432911
o 432896
o 432886
o 432869
o 432790
o 432766
o 432749
o 432670
o 432651
o 432650
o 432633
o 432554
o 432522
o 432521
o 432504
o 432425
o 432416
o 432415
o 432398
o 432319
o 432295
o 432278
o 432199
o 432161
o 432082
o 432055
o 431976
o 431959
o 431880
o 431806
o 431782
o 431765
o 431686
o 431682
o 431658
o 431641
o 431562
o 431553
o 431552
o 431535
o 431456
o 431432
o 431431
o 431414
o 431335
o 431312
o 431311
o 431294
o 431215
o 431143
o 431133
o 431116
o 431037
o 431012
o 430995
o 430916
o 430892
o 430875
o 430796
o 430792
o 430768
o 430751
o 430672
o 430663
o 430662
o 430645
o 430566
o 430541
o 430524
o 430445
o 430421
o 430404
o 430325
o 430260
o 430188
o 430161
o 430082
o 430065
o 429986
o 429961
o 429947
o 429920
o 429841
o 429824
o 429745
o 429717
o 429690
o 429611
o 429594
o 429515
o 429490
o 429476
o 429449
o 429370
o 429353
o 429274
o 429268
o 429251
o 429172
o 429147
o 429133
o 429106
o 429027
o 429010
o 428931
o 428854
o 428832
o 428753
o 428736
o 428657
o 428632
o 428618
o 428591
o 428512
o 428495
o 428416
o 428389
o 428388
o 428371
o 428292
o 428283
o 428282
o 428265
o 428186
o 428147
o 428120
o 428041
o 428024
o 427945
o 427925
o 427898
o 427819
o 427802
o 427723
o 427695
o 427668
o 427589
o 427572
o 427493
o 427468
o 427454
o 427427
o 427348
o 427331
o 427252
o 427180
o 427153
o 427074
o 427057
o 426978
o 426953
o 426939
o 426912
o 426833
o 426816
o 426737
o 426709
o 426682
o 426603
o 426586
o 426507
o 426482
o 426468
o 426441
o 426362
o 426345
o 426266
o 426244
o 426217
o 426138
o 426121
o 426042
o 426017
o 426003
o 425976
o 425897
o 425880
o 425801
o 425759
o 425732
o 425653
o 425636
o 425557
o 425554
o 425475
o 425458
o 425379
o 425354
o 425340
o 425313
o 425234
o 425217
o 425138
o 425119
o 425040
o 425023
o 424944
o 424943
o 424858
o 424779
o 424729
o 424650
o 424609
o 424530
o 424503
o 424424
o 424407
o 424328
o 424289
o 424262
o 424183
o 424166
o 424087
o 424067
o 424017
o 423938
o 423897
o 423818
o 423791
o 423712
o 423695
o 423616
o 423578
o 423499
o 423472
o 423393
o 423376
o 423297
o 423223
o 423199
o 423182
o 423103
o 423099
o 423075
o 423058
o 422979
o 422970
o 422969
o 422952
o 422873
o 422849
o 422848
o 422831
o 422752
o 422729
o 422728
o 422711
o 422632
o 422560
o 422550
o 422533
o 422454
o 422429
o 422412
o 422333
o 422309
o 422292
o 422213
o 422209
o 422185
o 422168
o 422089
o 422080
o 422079
o 422062
o 421983
o 421958
o 421941
o 421862
o 421838
o 421821
o 421742
o 421677
o 421605
o 421578
o 421499
o 421482
o 421403
o 421378
o 421364
o 421337
o 421258
o 421241
o 421162
o 421134
o 421107
o 421028
o 421011
o 420932
o 420907
o 420893
o 420866
o 420787
o 420770
o 420691
o 420627
o 420610
o 420531
o 420492
o 420465
o 420386
o 420369
o 420290
o 420268
o 420241
o 420162
o 420145
o 420066
o 420027
o 420000
o 419921
o 419904
o 419825
o 419783
o 419756
o 419677
o 419660
o 419581
o 419578
o 419499
o 419482
o 419403
o 419378
o 419364
o 419337
o 419258
o 419241
o 419162
o 419143
o 419064
o 419047
o 418968
o 418967
o 418882
o 418803
o 418753
o 418674
o 418633
o 418554
o 418527
o 418448
o 418431
o 418352
o 418313
o 418286
o 418207
o 418190
o 418111
o 418091
o 418041
o 417962
o 417921
o 417842
o 417815
o 417736
o 417719
o 417640
o 417602
o 417523
o 417496
o 417417
o 417400
o 417321
o 417247
o 417223
o 417206
o 417127
o 417123
o 417099
o 417082
o 417003
o 416994
o 416993
o 416976
o 416897
o 416873
o 416872
o 416855
o 416776
o 416753
o 416752
o 416735
o 416656
o 416584
o 416574
o 416557
o 416478
o 416453
o 416436
o 416357
o 416333
o 416316
o 416237
o 416233
o 416209
o 416192
o 416113
o 416104
o 416103
o 416086
o 416007
o 415982
o 415965
o 415886
o 415862
o 415845
o 415766
o 415701
o 415629
o 415602
o 415523
o 415506
o 415427
o 415402
o 415388
o 415361
o 415282
o 415265
o 415186
o 415158
o 415131
o 415052
o 415035
o 414956
o 414931
o 414917
o 414890
o 414811
o 414794
o 414715
o 414665
o 414648
o 414569
o 414495
o 414471
o 414454
o 414375
o 414371
o 414347
o 414330
o 414251
o 414242
o 414241
o 414224
o 414145
o 414121
o 414120
o 414103
o 414024
o 414001
o 414000
o 413983
o 413904
o 413832
o 413822
o 413805
o 413726
o 413701
o 413684
o 413605
o 413581
o 413564
o 413485
o 413481
o 413457
o 413440
o 413361
o 413352
o 413351
o 413334
o 413255
o 413230
o 413213
o 413134
o 413110
o 413093
o 413014
o 412949
o 412877
o 412850
o 412771
o 412754
o 412675
o 412650
o 412636
o 412609
o 412530
o 412513
o 412434
o 412406
o 412379
o 412300
o 412283
o 412204
o 412179
o 412165
o 412138
o 412059
o 412042
o 411963
o 411941
o 411862
o 411845
o 411766
o 411763
o 411684
o 411667
o 411588
o 411563
o 411549
o 411522
o 411443
o 411426
o 411347
o 411328
o 411249
o 411232
o 411153
o 411152
o 411067
o 410988
o 410938
o 410859
o 410818
o 410739
o 410712
o 410633
o 410616
o 410537
o 410498
o 410471
o 410392
o 410375
o 410296
o 410276
o 410226
o 410147
o 410106
o 410027
o 410000
o 409921
o 409904
o 409825
o 409787
o 409708
o 409681
o 409602
o 409585
o 409506
o 409432
o 409408
o 409391
o 409312
o 409308
o 409284
o 409267
o 409188
o 409179
o 409178
o 409161
o 409082
o 409058
o 409057
o 409040
o 408961
o 408938
o 408937
o 408920
o 408841
o 408769
o 408759
o 408742
o 408663
o 408638
o 408621
o 408542
o 408518
o 408501
o 408422
o 408418
o 408394
o 408377
o 408298
o 408289
o 408288
o 408271
o 408192
o 408167
o 408150
o 408071
o 408047
o 408030
o 407951
o 407886
o 407814
o 407787
o 407708
o 407691
o 407612
o 407587
o 407573
o 407546
o 407467
o 407450
o 407371
o 407343
o 407316
o 407237
o 407220
o 407141
o 407116
o 407102
o 407075
o 406996
o 406979
o 406900
o 406886
o 406807
o 406790
o 406711
o 406683
o 406656
o 406577
o 406560
o 406481
o 406456
o 406442
o 406415
o 406336
o 406319
o 406240
o 406190
o 406173
o 406094
o 406020
o 405996
o 405979
o 405900
o 405896
o 405872
o 405855
o 405776
o 405767
o 405766
o 405749
o 405670
o 405646
o 405645
o 405628
o 405549
o 405526
o 405525
o 405508
o 405429
o 405357
o 405347
o 405330
o 405251
o 405226
o 405209
o 405130
o 405106
o 405089
o 405010
o 405006
o 404982
o 404965
o 404886
o 404877
o 404876
o 404859
o 404780
o 404755
o 404738
o 404659
o 404635
o 404618
o 404539
o 404474
o 404402
o 404375
o 404296
o 404279
o 404200
o 404175
o 404161
o 404134
o 404055
o 404038
o 403959
o 403931
o 403904
o 403825
o 403808
o 403729
o 403704
o 403690
o 403663
o 403584
o 403567
o 403488
o 403485
o 403406
o 403389
o 403310
o 403285
o 403271
o 403244
o 403165
o 403148
o 403069
o 403050
o 402971
o 402954
o 402875
o 402874
o 402789
o 402710
o 402660
o 402581
o 402540
o 402461
o 402434
o 402355
o 402338
o 402259
o 402220
o 402193
o 402114
o 402097
o 402018
o 401990
o 401963
o 401884
o 401867
o 401788
o 401763
o 401749
o 401722
o 401643
o 401626
o 401547
o 401509
o 401430
o 401403
o 401324
o 401307
o 401228
o 401154
o 401130
o 401113
o 401034
o 401030
o 401006
o 400989
o 400910
o 400901
o 400900
o 400883
o 400804
o 400780
o 400779
o 400762
o 400683
o 400660
o 400659
o 400642
o 400563
o 400491
o 400481
o 400464
o 400385
o 400360
o 400343
o 400264
o 400240
o 400223
o 400144
o 400140
o 400116
o 400099
o 400020
o 400011
o 400010
o 399993
o 399914
o 399889
o 399872
o 399793
o 399769
o 399752
o 399673
o 399608
o 399536
o 399509
o 399430
o 399413
o 399334
o 399309
o 399295
o 399268
o 399189
o 399172
o 399093
o 399065
o 399038
o 398959
o 398942
o 398863
o 398838
o 398824
o 398797
o 398718
o 398701
o 398622
o 398572
o 398555
o 398476
o 398402
o 398378
o Killed
1819.713u 0.009s 30:20.31 99.9%	0+0k 0+0io 0pf+0w