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-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-200-1_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 3178610
o 611304
o 611059
o 610717
o 610602
o 610260
o 610147
o 609806
o 609561
o 609219
o 609217
o 609102
o 608972
o 608857
o 608630
o 608515
o 608400
o 608173
o 608058
o 607945
o 607719
o 607604
o 607474
o 607359
o 607132
o 607017
o 606998
o 606883
o 606656
o 606541
o 606426
o 606199
o 606084
o 605971
o 605745
o 605630
o 605500
o 605385
o 605158
o 605043
o 604857
o 604742
o 604612
o 604497
o 604270
o 604155
o 604113
o 603998
o 603920
o 603805
o 603578
o 603463
o 603446
o 603420
o 603331
o 603227
o 603138
o 603000
o 602911
o 602885
o 602796
o 602728
o 602639
o 602561
o 602535
o 602446
o 602308
o 602219
o 602193
o 602104
o 602093
o 602000
o 601911
o 601885
o 601796
o 601772
o 601722
o 601615
o 601537
o 601529
o 601422
o 601302
o 601187
o 601080
o 601055
o 601037
o 600948
o 600844
o 600755
o 600724
o 600609
o 600520
o 600502
o 600413
o 600363
o 600345
o 600256
o 600178
o 600170
o 600152
o 600063
o 600032
o 599917
o 599828
o 599810
o 599721
o 599710
o 599635
o 599609
o 599520
o 599502
o 599413
o 599343
o 599317
o 599228
o 599210
o 599121
o 599099
o 598984
o 598877
o 598852
o 598834
o 598745
o 598641
o 598552
o 598521
o 598406
o 598317
o 598299
o 598210
o 598160
o 598142
o 598053
o 597975
o 597967
o 597949
o 597860
o 597829
o 597714
o 597625
o 597607
o 597518
o 597507
o 597432
o 597406
o 597317
o 597299
o 597210
o 597198
o 597174
o 597140
o 597109
o 596994
o 596905
o 596887
o 596798
o 596748
o 596730
o 596641
o 596563
o 596555
o 596537
o 596448
o 596417
o 596302
o 596213
o 596195
o 596106
o 596095
o 595994
o 595905
o 595887
o 595798
o 595784
o 595750
o 595719
o 595604
o 595515
o 595497
o 595408
o 595358
o 595340
o 595251
o 595173
o 595165
o 595147
o 595058
o 595027
o 594912
o 594823
o 594805
o 594716
o 594705
o 594604
o 594515
o 594497
o 594408
o 594323
o 594297
o 594208
o 594190
o 594101
o 594090
o 593989
o 593900
o 593882
o 593793
o 593693
o 593604
o 593530
o 593423
o 593334
o 593322
o 593298
o 593264
o 593233
o 593118
o 593029
o 593011
o 592922
o 592872
o 592854
o 592765
o 592687
o 592679
o 592661
o 592572
o 592541
o 592426
o 592337
o 592319
o 592230
o 592219
o 592118
o 592029
o 592011
o 591922
o 591908
o 591874
o 591843
o 591728
o 591639
o 591621
o 591532
o 591482
o 591464
o 591375
o 591286
o 591151
o 591062
o 591036
o 590947
o 590929
o 590840
o 590829
o 590728
o 590639
o 590621
o 590532
o 590509
o 590495
o 590461
o 590430
o 590315
o 590226
o 590208
o 590119
o 590069
o 590051
o 589962
o 589873
o 589738
o 589649
o 589623
o 589534
o 589516
o 589427
o 589416
o 589315
o 589226
o 589208
o 589119
o 589068
o 588979
o 588929
o 588911
o 588822
o 588733
o 588598
o 588509
o 588483
o 588394
o 588376
o 588287
o 588276
o 588175
o 588086
o 588068
o 587979
o 587886
o 587797
o 587747
o 587729
o 587640
o 587551
o 587416
o 587327
o 587301
o 587212
o 587194
o 587105
o 587082
o 587068
o 587034
o 587003
o 586888
o 586799
o 586781
o 586692
o 586642
o 586624
o 586535
o 586446
o 586311
o 586222
o 586196
o 586107
o 586089
o 586000
o 585989
o 585888
o 585799
o 585781
o 585692
o 585641
o 585552
o 585502
o 585484
o 585395
o 585306
o 585171
o 585082
o 585056
o 584967
o 584949
o 584860
o 584849
o 584748
o 584659
o 584641
o 584552
o 584551
o 584462
o 584412
o 584394
o 584305
o 584216
o 584081
o 583992
o 583966
o 583877
o 583859
o 583770
o 583754
o 583665
o 583614
o 583525
o 583516
o 583441
o 583415
o 583326
o 583308
o 583219
o 583168
o 583079
o 583029
o 583011
o 582922
o 582833
o 582800
o 582698
o 582609
o 582583
o 582494
o 582476
o 582387
o 582376
o 582275
o 582186
o 582168
o 582079
o 582078
o 581989
o 581939
o 581921
o 581832
o 581743
o 581710
o 581701
o 581608
o 581519
o 581493
o 581404
o 581386
o 581297
o 581296
o 581280
o 581191
o 581140
o 581051
o 581042
o 580967
o 580941
o 580852
o 580834
o 580745
o 580664
o 580638
o 580549
o 580531
o 580442
o 580359
o 580308
o 580219
o 580109
o 580020
o 580002
o 579913
o 579902
o 579801
o 579712
o 579694
o 579605
o 579548
o 579441
o 579352
o 579269
o 579218
o 579129
o 579120
o 579045
o 579019
o 578930
o 578912
o 578823
o 578782
o 578693
o 578643
o 578625
o 578536
o 578447
o 578414
o 578405
o 578312
o 578223
o 578197
o 578108
o 578090
o 578001
o 578000
o 577984
o 577895
o 577844
o 577755
o 577746
o 577671
o 577645
o 577556
o 577538
o 577449
o 577392
o 577285
o 577196
o 577113
o 577062
o 576973
o 576964
o 576889
o 576863
o 576774
o 576756
o 576667
o 576615
o 576606
o 576531
o 576505
o 576416
o 576398
o 576309
o 576252
o 576145
o 576056
o 575973
o 575922
o 575833
o 575824
o 575749
o 575723
o 575634
o 575616
o 575527
o 575496
o 575407
o 575398
o 575323
o 575297
o 575208
o 575190
o 575101
o 575077
o 574970
o 574881
o 574829
o 574820
o 574745
o 574719
o 574630
o 574612
o 574523
o 574466
o 574359
o 574270
o 574187
o 574136
o 574047
o 574038
o 573963
o 573937
o 573848
o 573830
o 573741
o 573728
o 573710
o 573621
o 573537
o 573511
o 573422
o 573404
o 573315
o 573271
o 573182
o 573104
o 573086
o 572997
o 572996
o 572970
o 572881
o 572872
o 572779
o 572690
o 572664
o 572575
o 572557
o 572468
o 572455
o 572437
o 572348
o 572264
o 572238
o 572149
o 572131
o 572042
o 572001
o 571992
o 571917
o 571891
o 571802
o 571784
o 571695
o 571643
o 571634
o 571559
o 571533
o 571444
o 571426
o 571337
o 571280
o 571173
o 571084
o 571001
o 570981
o 570968
o 570950
o 570861
o 570777
o 570751
o 570662
o 570644
o 570555
o 570469
o 570362
o 570273
o 570229
o 570140
o 570121
o 570103
o 570014
o 569930
o 569904
o 569815
o 569797
o 569708
o 569695
o 569677
o 569588
o 569504
o 569478
o 569389
o 569371
o 569282
o 569196
o 569089
o 569000
o 568986
o 568897
o 568814
o 568794
o 568781
o 568763
o 568674
o 568590
o 568564
o 568475
o 568457
o 568368
o 568332
o 568217
o 568128
o 568110
o 568021
o 567935
o 567828
o 567739
o 567687
o 567663
o 567577
o 567488
o 567470
o 567381
o 567324
o 567217
o 567128
o 567045
o 566970
o 566881
o 566795
o 566688
o 566599
o 566555
o 566466
o 566443
o 566434
o 566359
o 566333
o 566244
o 566226
o 566137
o 566054
o 566034
o 566021
o 566003
o 565914
o 565830
o 565804
o 565715
o 565697
o 565608
o 565522
o 565415
o 565326
o 565289
o 565271
o 565182
o 565168
o 565079
o 565048
o 564959
o 564950
o 564875
o 564849
o 564760
o 564742
o 564653
o 564567
o 564460
o 564371
o 564341
o 564308
o 564290
o 564201
o 564117
o 564091
o 564002
o 563984
o 563895
o 563817
o 563809
o 563702
o 563613
o 563600
o 563582
o 563493
o 563409
o 563383
o 563294
o 563276
o 563187
o 563168
o 563150
o 563061
o 562977
o 562951
o 562862
o 562844
o 562755
o 562677
o 562669
o 562562
o 562473
o 562460
o 562442
o 562353
o 562269
o 562243
o 562154
o 562136
o 562047
o 562010
o 561992
o 561903
o 561817
o 561710
o 561621
o 561538
o 561463
o 561374
o 561288
o 561181
o 561092
o 561046
o 560957
o 560879
o 560861
o 560772
o 560771
o 560745
o 560656
o 560647
o 560632
o 560554
o 560465
o 560439
o 560350
o 560332
o 560243
o 560230
o 560212
o 560123
o 560039
o 560013
o 559924
o 559906
o 559817
o 559759
o 559652
o 559563
o 559540
o 559511
o 559430
o 559341
o 559323
o 559234
o 559151
o 559071
o 558982
o 558901
o 558794
o 558705
o 558619
o 558512
o 558423
o 558386
o 558368
o 558279
o 558274
o 558219
o 558193
o 558104
o 558086
o 557997
o 557914
o 557839
o 557750
o 557745
o 557690
o 557664
o 557575
o 557557
o 557468
o 557422
o 557333
o 557255
o 557237
o 557148
o 557147
o 557121
o 557032
o 557023
o 557008
o 557003
o 556930
o 556841
o 556815
o 556726
o 556708
o 556619
o 556606
o 556588
o 556499
o 556415
o 556389
o 556300
o 556282
o 556193
o 556122
o 556047
o 555958
o 555953
o 555898
o 555872
o 555783
o 555765
o 555676
o 555615
o 555591
o 555586
o 555531
o 555505
o 555416
o 555398
o 555309
o 555263
o 555174
o 555156
o 555049
o 554960
o 554899
o 554815
o 554789
o 554700
o 554682
o 554593
o 554512
o 554405
o 554316
o 554230
o 554123
o 554034
o 553968
o 553950
o 553861
o 553856
o 553801
o 553775
o 553686
o 553668
o 553579
o 553556
o 553527
o 553446
o 553357
o 553339
o 553250
o 553167
o 553087
o 552998
o 552917
o 552810
o 552721
o 552635
o 552528
o 552439
o 552402
o 552384
o 552295
o 552290
o 552235
o 552209
o 552120
o 552102
o 552013
o 551930
o 551855
o 551766
o 551761
o 551706
o 551680
o 551591
o 551573
o 551484
o 551420
o 551402
o 551295
o 551206
o 551145
o 551061
o 551035
o 550946
o 550928
o 550839
o 550758
o 550651
o 550562
o 550476
o 550369
o 550280
o 550221
o 550170
o 550063
o 549974
o 549969
o 549914
o 549888
o 549799
o 549781
o 549692
o 549631
o 549607
o 549602
o 549547
o 549521
o 549432
o 549414
o 549325
o 549275
o 549254
o 549165
o 549111
o 549025
o 548918
o 548829
o 548765
o 548741
o 548723
o 548634
o 548625
o 548610
o 548605
o 548550
o 548524
o 548435
o 548417
o 548328
o 548267
o 548243
o 548238
o 548183
o 548157
o 548068
o 548050
o 547961
o 547931
o 547907
o 547902
o 547847
o 547821
o 547732
o 547714
o 547625
o 547569
o 547462
o 547373
o 547319
o 547233
o 547126
o 547037
o 547006
o 546952
o 546866
o 546759
o 546670
o 546631
o 546542
o 546524
o 546435
o 546374
o 546350
o 546345
o 546290
o 546264
o 546175
o 546157
o 546068
o 546040
o 545933
o 545844
o 545790
o 545704
o 545597
o 545508
o 545455
o 545437
o 545348
o 545287
o 545263
o 545177
o 545088
o 545070
o 544981
o 544900
o 544793
o 544704
o 544674
o 544650
o 544645
o 544590
o 544564
o 544475
o 544457
o 544368
o 544312
o 544205
o 544116
o 544062
o 543976
o 543869
o 543780
o 543749
o 543695
o 543609
o 543502
o 543413
o 543408
o 543403
o 543322
o 543215
o 543126
o 543072
o 543067
o 543012
o 542986
o 542897
o 542879
o 542790
o 542720
o 542689
o 542659
o 542635
o 542549
o 542460
o 542442
o 542353
o 542280
o 542272
o 542165
o 542076
o 542017
o 541986
o 541956
o 541932
o 541927
o 541872
o 541846
o 541757
o 541739
o 541650
o 541591
o 541487
o 541398
o 541344
o 541258
o 541151
o 541062
o 541031
o 540977
o 540891
o 540784
o 540695
o 540649
o 540560
o 540529
o 540475
o 540389
o 540282
o 540193
o 540134
o 540030
o 539941
o 539887
o 539801
o 539694
o 539605
o 539574
o 539520
o 539434
o 539327
o 539238
o 539145
o 539056
o 539038
o 538949
o 538918
o 538864
o 538778
o 538671
o 538582
o 538523
o 538419
o 538330
o 538276
o 538190
o 538083
o 537994
o 537963
o 537909
o 537823
o 537716
o 537627
o 537581
o 537492
o 537461
o 537407
o 537321
o 537214
o 537125
o 537066
o 536962
o 536873
o 536819
o 536733
o 536626
o 536537
o 536506
o 536452
o 536366
o 536259
o 536170
o 536141
o 536111
o 536087
o 536082
o 536027
o 536001
o 535912
o 535894
o 535805
o 535777
o 535759
o 535670
o 535616
o 535530
o 535423
o 535334
o 535310
o 535292
o 535203
o 535194
o 535179
o 535174
o 535119
o 535093
o 535004
o 534986
o 534897
o 534836
o 534812
o 534807
o 534752
o 534726
o 534637
o 534619
o 534530
o 534500
o 534476
o 534471
o 534416
o 534390
o 534301
o 534283
o 534194
o 534099
o 534010
o 533999
o 533910
o 533827
o 533824
o 533806
o 533717
o 533663
o 533577
o 533470
o 533381
o 533350
o 533296
o 533210
o 533103
o 533014
o 532933
o 532826
o 532737
o 532695
o 532606
o 532582
o 532564
o 532475
o 532466
o 532451
o 532446
o 532391
o 532365
o 532276
o 532258
o 532169
o 532108
o 532084
o 532079
o 532024
o 531998
o 531909
o 531891
o 531802
o 531772
o 531748
o 531743
o 531688
o 531662
o 531573
o 531555
o 531466
o 531431
o 531426
o 531371
o 531345
o 531256
o 531238
o 531149
o 531125
o 531107
o 531018
o 531009
o 530994
o 530989
o 530934
o 530908
o 530819
o 530801
o 530712
o 530651
o 530627
o 530622
o 530567
o 530541
o 530452
o 530434
o 530345
o 530315
o 530291
o 530286
o 530231
o 530205
o 530116
o 530098
o 530009
o 529916
o 529827
o 529801
o 529712
o 529694
o 529605
o 529574
o 529520
o 529434
o 529327
o 529238
o 529237
o 529148
o 529124
o 529106
o 529017
o 529008
o 528993
o 528988
o 528933
o 528907
o 528818
o 528800
o 528711
o 528650
o 528626
o 528621
o 528566
o 528540
o 528451
o 528433
o 528344
o 528314
o 528290
o 528285
o 528230
o 528204
o 528115
o 528097
o 528008
o 527993
o 527988
o 527933
o 527907
o 527818
o 527800
o 527711
o 527657
o 527652
o 527597
o 527571
o 527482
o 527464
o 527375
o 527305
o 527274
o 527244
o 527220
o 527134
o 527045
o 527027
o 526938
o 526865
o 526857
o 526750
o 526661
o 526602
o 526571
o 526541
o 526517
o 526512
o 526457
o 526431
o 526342
o 526324
o 526235
o 526176
o 526072
o 525983
o 525929
o 525843
o 525736
o 525647
o 525616
o 525562
o 525476
o 525369
o 525280
o 525187
o 525098
o 525072
o 524983
o 524965
o 524876
o 524845
o 524791
o 524705
o 524598
o 524509
o 524500
o 524411
o 524381
o 524357
o 524352
o 524297
o 524271
o 524182
o 524164
o 524075
o 524070
o 523955
o 523866
o 523848
o 523759
o 523728
o 523674
o 523588
o 523481
o 523392
o 523299
o 523210
o 523184
o 523095
o 523077
o 522988
o 522957
o 522903
o 522817
o 522710
o 522621
o 522561
o 522476
o 522390
o 522283
o 522194
o 522140
o 522135
o 522080
o 522054
o 521965
o 521947
o 521858
o 521799
o 521695
o 521606
o 521552
o 521466
o 521359
o 521270
o 521239
o 521185
o 521099
o 520992
o 520903
o 520894
o 520805
o 520775
o 520751
o 520746
o 520691
o 520665
o 520576
o 520558
o 520469
o 520404
o 520399
o 520344
o 520318
o 520229
o 520211
o 520122
o 520068
o 520063
o 520008
o 519982
o 519893
o 519875
o 519786
o 519718
o 519633
o 519547
o 519440
o 519351
o 519297
o 519292
o 519237
o 519211
o 519122
o 519104
o 519015
o 518996
o 518963
o 518947
o 518840
o 518751
o 518670
o 518581
o 518563
o 518474
o 518469
o 518388
o 518299
o 518281
o 518192
o 518138
o 518133
o 518078
o 518052
o 517963
o 517945
o 517856
o 517789
o 517758
o 517728
o 517704
o 517699
o 517644
o 517618
o 517529
o 517511
o 517422
o 517354
o 517302
o 517213
o 517195
o 517106
o 517075
o 517021
o 516935
o 516828
o 516739
o 516646
o 516557
o 516531
o 516442
o 516424
o 516335
o 516304
o 516250
o 516164
o 516057
o 515968
o 515940
o 515833
o 515744
o 515690
o 515604
o 515497
o 515408
o 515349
o 515245
o 515156
o 515102
o 515016
o 514909
o 514820
o 514789
o 514735
o 514649
o 514542
o 514453
o 514439
o 514371
o 514321
o 514214
o 514125
o 514092
o 514076
o 513969
o 513880
o 513799
o 513710
o 513692
o 513603
o 513598
o 513517
o 513428
o 513410
o 513321
o 513267
o 513262
o 513207
o 513181
o 513092
o 513074
o 512985
o 512926
o 512822
o 512733
o 512679
o 512593
o 512486
o 512397
o 512366
o 512312
o 512226
o 512119
o 512030
o 512002
o 511895
o 511806
o 511752
o 511666
o 511559
o 511470
o 511411
o 511307
o 511218
o 511164
o 511078
o 510971
o 510882
o 510851
o 510797
o 510711
o 510604
o 510515
o 510478
o 510389
o 510310
o 510262
o 510244
o 510155
o 510154
o 510065
o 509984
o 509877
o 509788
o 509783
o 509702
o 509595
o 509506
o 509452
o 509447
o 509392
o 509366
o 509277
o 509259
o 509170
o 509102
o 509048
o 508962
o 508855
o 508766
o 508735
o 508681
o 508595
o 508488
o 508399
o 508338
o 508270
o 508192
o 508103
o 508024
o 507991
o 507975
o 507868
o 507779
o 507698
o 507609
o 507591
o 507502
o 507497
o 507416
o 507327
o 507309
o 507220
o 507166
o 507161
o 507106
o 507080
o 506991
o 506973
o 506884
o 506780
o 506691
o 506660
o 506606
o 506520
o 506413
o 506324
o 506270
o 506216
o 506130
o 506023
o 505934
o 505873
o 505805
o 505727
o 505638
o 505559
o 505511
o 505493
o 505404
o 505403
o 505314
o 505233
o 505126
o 505037
o 505032
o 504951
o 504844
o 504755
o 504701
o 504696
o 504641
o 504615
o 504526
o 504508
o 504419
o 504351
o 504297
o 504211
o 504104
o 504015
o 503984
o 503930
o 503844
o 503737
o 503648
o 503589
o 503485
o 503396
o 503342
o 503256
o 503149
o 503060
o 503029
o 502975
o 502889
o 502782
o 502693
o 502669
o 502562
o 502473
o 502442
o 502388
o 502302
o 502195
o 502106
o 502090
o 502001
o 501947
o 501861
o 501754
o 501665
o 501604
o 501565
o 501458
o 501369
o 501290
o 501242
o 501224
o 501135
o 501134
o 501045
o 500964
o 500857
o 500768
o 500763
o 500682
o 500575
o 500486
o 500432
o 500427
o 500372
o 500346
o 500257
o 500239
o 500150
o 500082
o 500028
o 499942
o 499835
o 499746
o 499715
o 499661
o 499575
o 499468
o 499379
o 499320
o 499216
o 499127
o 499073
o 498987
o 498880
o 498791
o 498760
o 498706
o 498620
o 498513
o 498424
o 498369
o 498262
o 498173
o 498119
o 498033
o 497926
o 497837
o 497826
o 497808
o 497719
o 497695
o 497588
o 497499
o 497468
o 497414
o 497328
o 497221
o 497132
o 497114
o 497007
o 496918
o 496835
o 496774
o 496706
o 496622
o 496539
o 496460
o 496427
o 496405
o 496387
o 496298
o 496217
o 496128
o 496110
o 496021
o 496016
o 495935
o 495846
o 495828
o 495739
o 495656
o 495602
o 495599
o 495492
o 495403
o 495320
o 495261
o 495172
o 495154
o 495065
o 495034
o 494980
o 494894
o 494787
o 494698
o 494615
o 494609
o 494502
o 494413
o 494359
o 494273
o 494166
o 494077
o 494075
o 493990
o 493904
o 493797
o 493708
o 493654
o 493649
o 493594
o 493568
o 493479
o 493461
o 493372
o 493370
o 493287
o 493204
o 493196
o 493178
o 493089
o 493080
o 493065
o 493060
o 493005
o 492979
o 492890
o 492872
o 492783
o 492700
o 492628
o 492623
o 492568
o 492542
o 492453
o 492435
o 492346
o 492261
o 492256
o 492201
o 492175
o 492086
o 492068
o 491979
o 491925
o 491920
o 491865
o 491839
o 491750
o 491732
o 491643
o 491560
o 491470
o 491363
o 491274
o 491191
o 491137
o 491134
o 491027
o 490938
o 490855
o 490791
o 490702
o 490613
o 490530
o 490476
o 490452
o 490447
o 490392
o 490366
o 490277
o 490259
o 490170
o 490081
o 489992
o 489931
o 489921
o 489832
o 489761
o 489743
o 489654
o 489623
o 489572
o 489554
o 489465
o 489394
o 489376
o 489287
o 489210
o 489139
o 489121
o 489032
o 488932
o 488843
o 488772
o 488754
o 488665
o 488582
o 488507
o 488424
o 488418
o 488329
o 488246
o 488202
o 488192
o 488103
o 488032
o 488014
o 487925
o 487924
o 487835
o 487754
o 487665
o 487647
o 487558
o 487475
o 487398
o 487327
o 487309
o 487220
o 487189
o 487138
o 487120
o 487031
o 486960
o 486942
o 486853
o 486770
o 486763
o 486709
o 486623
o 486516
o 486427
o 486344
o 486280
o 486191
o 486102
o 486019
o 485983
o 485916
o 485853
o 485764
o 485746
o 485657
o 485572
o 485567
o 485512
o 485486
o 485397
o 485379
o 485290
o 485201
o 485112
o 485061
o 485043
o 484954
o 484865
o 484776
o 484723
o 484717
o 484628
o 484545
o 484484
o 484381
o 484292
o 484274
o 484185
o 484129
o 484014
o 483925
o 483907
o 483818
o 483735
o 483716
o 483627
o 483556
o 483538
o 483449
o 483366
o 483291
o 483208
o 483202
o 483113
o 483030
o 482994
o 482976
o 482887
o 482816
o 482798
o 482709
o 482678
o 482627
o 482609
o 482520
o 482449
o 482431
o 482342
o 482259
o 482190
o 482172
o 482083
o 482012
o 481994
o 481905
o 481822
o 481747
o 481664
o 481658
o 481569
o 481486
o 481479
o 481425
o 481339
o 481232
o 481143
o 481060
o 480996
o 480925
o 480907
o 480818
o 480735
o 480699
o 480632
o 480569
o 480480
o 480462
o 480373
o 480288
o 480283
o 480228
o 480202
o 480113
o 480095
o 480006
o 479917
o 479828
o 479777
o 479759
o 479670
o 479581
o 479492
o 479439
o 479433
o 479344
o 479261
o 479200
o 479143
o 479137
o 479048
o 478965
o 478906
o 478817
o 478799
o 478710
o 478625
o 478620
o 478565
o 478539
o 478450
o 478432
o 478343
o 478254
o 478165
o 478114
o 478096
o 478007
o 477918
o 477829
o 477746
o 477710
o 477692
o 477603
o 477532
o 477514
o 477425
o 477394
o 477343
o 477325
o 477236
o 477165
o 477147
o 477058
o 476975
o 476891
o 476802
o 476719
o 476661
o 476640
o 476622
o 476533
o 476462
o 476444
o 476355
o 476272
o 476203
o 476185
o 476096
o 476025
o 476007
o 475918
o 475835
o 475760
o 475677
o 475671
o 475582
o 475499
o 475492
o 475438
o 475352
o 475245
o 475156
o 475073
o 475009
o 474920
o 474831
o 474748
o 474746
o 474740
o 474651
o 474568
o 474510
o 474427
o 474368
o 474261
o 474172
o 474083
o 473994
o 473894
o 473805
o 473716
o 473627
o 473576
o 473558
o 473469
o 473380
o 473291
o 473208
o 473147
o 473136
o 473053
o 472995
o 472912
o 472853
o 472746
o 472657
o 472568
o 472479
o 472379
o 472290
o 472201
o 472112
o 472061
o 472043
o 471954
o 471865
o 471776
o 471693
o 471616
o 471545
o 471527
o 471438
o 471407
o 471356
o 471338
o 471249
o 471178
o 471160
o 471071
o 470988
o 470904
o 470815
o 470732
o 470686
o 470668
o 470579
o 470508
o 470490
o 470401
o 470318
o 470243
o 470160
o 470154
o 470065
o 469982
o 469975
o 469921
o 469835
o 469728
o 469639
o 469556
o 469518
o 469435
o 469367
o 469260
o 469171
o 469088
o 469082
o 468993
o 468910
o 468864
o 468843
o 468754
o 468685
o 468596
o 468507
o 468418
o 468387
o 468318
o 468229
o 468140
o 468051
o 468041
o 467952
o 467863
o 467774
o 467691
o 467630
o 467619
o 467536
o 467478
o 467395
o 467336
o 467229
o 467140
o 467051
o 466962
o 466862
o 466773
o 466684
o 466595
o 466544
o 466526
o 466437
o 466348
o 466259
o 466176
o 466099
o 466028
o 466010
o 465921
o 465890
o 465839
o 465821
o 465732
o 465661
o 465643
o 465554
o 465471
o 465387
o 465298
o 465215
o 465199
o 465110
o 465021
o 464938
o 464892
o 464874
o 464785
o 464714
o 464696
o 464607
o 464524
o 464449
o 464366
o 464360
o 464271
o 464188
o 464181
o 464127
o 464041
o 463934
o 463845
o 463762
o 463705
o 463674
o 463623
o 463605
o 463516
o 463445
o 463427
o 463338
o 463255
o 463253
o 463164
o 463146
o 463057
o 462973
o 462947
o 462858
o 462840
o 462751
o 462668
o 462607
o 462526
o 462457
o 462368
o 462279
o 462190
o 462159
o 462090
o 462001
o 461912
o 461823
o 461740
o 461661
o 461572
o 461489
o 461414
o 461331
o 461325
o 461236
o 461153
o 461117
o 461099
o 461010
o 460939
o 460921
o 460832
o 460801
o 460750
o 460732
o 460643
o 460572
o 460554
o 460465
o 460382
o 460305
o 460234
o 460216
o 460127
o 460096
o 460045
o 460027
o 459938
o 459867
o 459849
o 459760
o 459677
o 459611
o 459593
o 459504
o 459421
o 459370
o 459339
o 459288
o 459270
o 459181
o 459110
o 459092
o 459003
o 458920
o 458913
o 458883
o 458859
o 458854
o 458799
o 458773
o 458684
o 458666
o 458577
o 458494
o 458488
o 458413
o 458330
o 458324
o 458235
o 458152
o 458149
o 458092
o 458086
o 457997
o 457914
o 457855
o 457766
o 457748
o 457659
o 457574
o 457569
o 457514
o 457488
o 457399
o 457381
o 457292
o 457203
o 457114
o 457063
o 457045
o 456956
o 456867
o 456778
o 456695
o 456683
o 456594
o 456511
o 456428
o 456420
o 456402
o 456313
o 456304
o 456292
o 456274
o 456185
o 456114
o 456096
o 456007
o 455924
o 455863
o 455760
o 455671
o 455653
o 455564
o 455508
o 455393
o 455304
o 455286
o 455197
o 455114
o 455095
o 455006
o 454935
o 454917
o 454828
o 454745
o 454670
o 454587
o 454581
o 454492
o 454409
o 454325
o 454236
o 454153
o 454092
o 454021
o 454003
o 453914
o 453831
o 453777
o 453756
o 453667
o 453578
o 453495
o 453418
o 453347
o 453329
o 453240
o 453140
o 453051
o 452980
o 452962
o 452873
o 452790
o 452729
o 452661
o 452635
o 452577
o 452494
o 452415
o 452328
o 452239
o 452156
o 452154
o 452071
o 452066
o 451979
o 451961
o 451872
o 451789
o 451783
o 451694
o 451611
o 451536
o 451453
o 451447
o 451358
o 451275
o 451221
o 451150
o 451132
o 451043
o 450960
o 450906
o 450885
o 450796
o 450707
o 450624
o 450556
o 450538
o 450449
o 450378
o 450360
o 450271
o 450188
o 450120
o 450103
o 450014
o 449943
o 449925
o 449836
o 449753
o 449699
o 449678
o 449589
o 449500
o 449417
o 449381
o 449363
o 449274
o 449203
o 449185
o 449096
o 449013
o 448938
o 448855
o 448849
o 448760
o 448677
o 448591
o 448502
o 448419
o 448344
o 448261
o 448255
o 448166
o 448083
o 448074
o 448064
o 447975
o 447886
o 447797
o 447720
o 447702
o 447613
o 447609
o 447588
o 447570
o 447481
o 447410
o 447392
o 447303
o 447282
o 447204
o 447115
o 447026
o 446943
o 446939
o 446867
o 446784
o 446781
o 446674
o 446585
o 446502
o 446500
o 446417
o 446412
o 446396
o 446307
o 446218
o 446135
o 446081
o 446060
o 445971
o 445882
o 445799
o 445789
o 445771
o 445682
o 445611
o 445593
o 445504
o 445421
o 445346
o 445263
o 445257
o 445168
o 445085
o 445081
o 445009
o 444926
o 444923
o 444816
o 444727
o 444644
o 444642
o 444559
o 444554
o 444538
o 444449
o 444360
o 444277
o 444223
o 444202
o 444113
o 444024
o 443941
o 443916
o 443827
o 443738
o 443655
o 443608
o 443580
o 443497
o 443430
o 443402
o 443319
o 443294
o 443211
o 443183
o 443100
o 443039
o 442971
o 442945
o 442915
o 442887
o 442804
o 442749
o 442660
o 442656
o 442638
o 442549
o 442464
o 442382
o 442293
o 442289
o 442271
o 442182
o 442115
o 442093
o 442004
o 441957
o 441953
o 441935
o 441846
o 441779
o 441775
o 441757
o 441668
o 441585
o 441504
o 441457
o 441453
o 441435
o 441346
o 441279
o 441275
o 441257
o 441168
o 441137
o 441090
o 441086
o 441068
o 440979
o 440912
o 440908
o 440890
o 440801
o 440791
o 440702
o 440613
o 440524
o 440441
o 440355
o 440288
o 440266
o 440177
o 440146
o 440099
o 440095
o 440077
o 439988
o 439921
o 439917
o 439899
o 439810
o 439727
o 439636
o 439547
o 439476
o 439458
o 439369
o 439326
o 439322
o 439300
o 439211
o 439122
o 439033
o 439002
o 438955
o 438951
o 438933
o 438844
o 438777
o 438773
o 438755
o 438666
o 438583
o 438577
o 438559
o 438470
o 438381
o 438292
o 438209
o 438184
o 438095
o 438006
o 437923
o 437876
o 437848
o 437765
o 437698
o 437670
o 437587
o 437576
o 437487
o 437427
o 437338
o 437320
o 437231
o 437210
o 437132
o 437043
o 436954
o 436953
o 436864
o 436843
o 436765
o 436676
o 436587
o 436565
o 436476
o 436393
o 436356
o 436273
o 436267
o 436178
o 436095
o 436043
o 435960
o 435932
o 435849
o 435763
o 435674
o 435652
o 435563
o 435539
o 435521
o 435432
o 435418
o 435329
o 435277
o 435188
o 435099
o 435010
o 434992
o 434903
o 434881
o 434792
o 434709
o 434707
o 434618
o 434535
o 434499
o 434410
o 434327
o 434280
o 434252
o 434169
o 434102
o 434074
o 433991
o 433905
o 433816
o 433794
o 433705
o 433681
o 433663
o 433574
o 433518
o 433411
o 433322
o 433312
o 433223
o 433152
o 433134
o 433045
o 433023
o 432934
o 432851
o 432792
o 432788
o 432770
o 432681
o 432614
o 432610
o 432592
o 432503
o 432420
o 432373
o 432345
o 432262
o 432195
o 432167
o 432084
o 432078
o 432060
o 431971
o 431882
o 431793
o 431710
o 431685
o 431596
o 431507
o 431424
o 431377
o 431349
o 431266
o 431199
o 431171
o 431088
o 431077
o 430988
o 430928
o 430839
o 430821
o 430732
o 430711
o 430633
o 430544
o 430455
o 430454
o 430365
o 430344
o 430266
o 430177
o 430088
o 430066
o 429977
o 429894
o 429857
o 429774
o 429768
o 429679
o 429596
o 429544
o 429461
o 429433
o 429350
o 429264
o 429175
o 429153
o 429064
o 429040
o 429022
o 428933
o 428850
o 428771
o 428740
o 428689
o 428671
o 428582
o 428511
o 428493
o 428404
o 428382
o 428293
o 428210
o 428156
o 428089
o 428067
o 427978
o 427895
o 427841
o 427820
o 427731
o 427642
o 427559
o 427495
o 427491
o 427473
o 427384
o 427317
o 427313
o 427295
o 427206
o 427123
o 427055
o 427038
o 426949
o 426882
o 426860
o 426771
o 426688
o 426634
o 426613
o 426524
o 426435
o 426352
o 426307
o 426228
o 426163
o 426159
o 426141
o 426052
o 425985
o 425981
o 425963
o 425874
o 425774
o 425685
o 425618
o 425614
o 425596
o 425507
o 425460
o 425456
o 425438
o 425349
o 425282
o 425278
o 425260
o 425171
o 425088
o 425029
o 425025
o 425007
o 424918
o 424851
o 424847
o 424829
o 424740
o 424657
o 424610
o 424582
o 424499
o 424432
o 424404
o 424321
o 424315
o 424297
o 424208
o 424119
o 424030
o 423947
o 423922
o 423833
o 423744
o 423661
o 423614
o 423586
o 423503
o 423436
o 423408
o 423325
o 423295
o 423291
o 423184
o 423095
o 423028
o 423024
o 423006
o 422917
o 422870
o 422866
o 422848
o 422759
o 422692
o 422688
o 422670
o 422581
o 422550
o 422503
o 422499
o 422481
o 422392
o 422325
o 422321
o 422303
o 422214
o 422131
o 422115
o 422111
o 422093
o 422004
o 421904
o 421815
o 421748
o 421744
o 421726
o 421637
o 421554
o 421507
o 421479
o 421396
o 421329
o 421301
o 421218
o 421204
o 421097
o 421008
o 420926
o 420908
o 420819
o 420748
o 420730
o 420641
o 420558
o 420530
o 420447
o 420437
o 420433
o 420415
o 420326
o 420259
o 420255
o 420237
o 420148
o 420065
o 420011
o 419990
o 419901
o 419812
o 419729
o 419723
o 419634
o 419605
o 419584
o 419550
o 419524
o 419435
o 419417
o 419328
o 419306
o 419217
o 419157
o 419050
o 418961
o 418939
o 418850
o 418783
o 418761
o 418672
o 418589
o 418515
o 418432
o 418373
o 418369
o 418351
o 418262
o 418195
o 418191
o 418173
o 418084
o 418001
o 417954
o 417926
o 417843
o 417776
o 417748
o 417665
o 417659
o 417641
o 417552
o 417463
o 417374
o 417291
o 417266
o 417199
o 417177
o 417088
o 417041
o 417037
o 417019
o 416930
o 416863
o 416859
o 416841
o 416752
o 416669
o 416639
o 416635
o 416528
o 416439
o 416372
o 416368
o 416350
o 416261
o 416214
o 416210
o 416192
o 416103
o 416036
o 416032
o 416014
o 415925
o 415894
o 415847
o 415843
o 415825
o 415736
o 415669
o 415665
o 415647
o 415558
o 415475
o 415429
o 415346
o 415271
o 415188
o 415182
o 415093
o 415010
o 414931
o 414872
o 414866
o 414783
o 414755
o 414672
o 414670
o 414587
o 414505
o 414499
o 414416
o 414388
o 414305
o 414238
o 414210
o 414127
o 414080
o 414052
o 413969
o 413902
o 413874
o 413791
o 413788
o 413760
o 413677
o 413609
o 413502
o 413413
o 413330
o 413324
o 413235
o 413152
o 413082
o 412967
o 412878
o 412860
o 412771
o 412740
o 412689
o 412671
o 412582
o 412511
o 412493
o 412404
o 412394
o 412305
o 412216
o 412127
o 412105
o 412016
o 411933
o 411932
o 411919
o 411830
o 411747
o 411691
o 411687
o 411669
o 411580
o 411533
o 411529
o 411511
o 411422
o 411355
o 411351
o 411333
o 411244
o 411231
o 411142
o 411111
o 411055
o 410988
o 410966
o 410877
o 410864
o 410775
o 410692
o 410686
o 410597
o 410584
o 410495
o 410412
o 410365
o 410337
o 410254
o 410187
o 410159
o 410076
o 410025
o 410021
o 409914
o 409825
o 409812
o 409723
o 409640
o 409596
o 409568
o 409485
o 409418
o 409390
o 409307
o 409288
o 409205
o 409158
o 409130
o 409047
o 408980
o 408952
o 408869
o 408866
o 408838
o 408755
o 408682
o 408593
o 408580
o 408491
o 408408
o 408341
o 408313
o 408230
o 408151
o 408147
o 408036
o 407947
o 407929
o 407840
o 407809
o 407762
o 407758
o 407740
o 407651
o 407584
o 407580
o 407562
o 407473
o 407460
o 407371
o 407285
o 407196
o 407183
o 407094
o 407011
o 406985
o 406878
o 406789
o 406711
o 406644
o 406622
o 406533
o 406529
o 406511
o 406422
o 406344
o 406277
o 406255
o 406166
o 406083
o 406064
o 405975
o 405908
o 405886
o 405797
o 405714
o 405667
o 405639
o 405556
o 405489
o 405461
o 405378
o 405290
o 405277
o 405188
o 405105
o 405058
o 405030
o 404947
o 404880
o 404852
o 404769
o 404768
o 404750
o 404661
o 404600
o 404579
o 404561
o 404472
o 404401
o 404383
o 404294
o 404281
o 404192
o 404109
o 404081
o 403998
o 403977
o 403910
o 403888
o 403799
o 403752
o 403748
o 403730
o 403641
o 403574
o 403570
o 403552
o 403463
o 403450
o 403361
o 403330
o 403274
o 403207
o 403185
o 403096
o 403083
o 402994
o 402911
o 402910
o 402892
o 402803
o 402703
o 402614
o 402543
o 402525
o 402436
o 402423
o 402334
o 402251
o 402223
o 402140
o 402094
o 402011
o 401964
o 401936
o 401853
o 401786
o 401758
o 401675
o 401596
o 401550
o 401522
o 401439
o 401437
o 401354
o 401272
o 401266
o 401183
o 401155
o 401072
o 401053
o 400970
o 400903
o 400875
o 400792
o 400736
o 400717
o 400634
o 400567
o 400539
o 400456
o 400409
o 400339
o 400321
o 400232
o 400161
o 400143
o 400054
o 400041
o 399952
o 399869
o 399841
o 399758
o 399685
o 399618
o 399596
o 399507
o 399494
o 399405
o 399322
o 399295
o 399250
o 399183
o 399161
o 399072
o 398989
o 398970
o 398887
o 398833
o 398825
o 398736
o 398723
o 398634
o 398551
o 398525
o 398418
o 398329
o 398251
o 398184
o 398162
o 398073
o 398069
o 398051
o 397962
o 397884
o 397817
o 397795
o 397706
o 397623
o 397604
o 397515
o 397448
o 397426
o 397337
o 397254
o 397207
o 397179
o 397096
o 397029
o 397001
o 396918
o 396830
o 396817
o 396728
o 396645
o 396598
o 396570
o 396487
o 396420
o 396392
o 396309
o 396308
o 396290
o 396201
o 396140
o 396119
o 396101
o 396012
o 395941
o 395923
o 395834
o 395821
o 395732
o 395649
o 395621
o 395538
o 395517
o 395450
o 395428
o 395339
o 395292
o 395288
o 395270
o 395181
o 395114
o 395110
o 395092
o 395003
o 394990
o 394901
o 394870
o 394814
o 394747
o 394725
o 394636
o 394623
o 394534
o 394451
o 394450
o 394432
o 394343
o 394243
o 394154
o 394083
o 394065
o 393976
o 393963
o 393874
o 393791
o 393763
o 393680
o 393634
o 393551
o 393504
o 393476
o 393393
o 393326
o 393298
o 393215
o 393136
o 393090
o 393062
o 392979
o 392977
o 392894
o 392812
o 392806
o 392723
o 392695
o 392612
o 392593
o 392510
o 392443
o 392415
o 392332
o 392276
o 392257
o 392174
o 392107
o 392079
o 391996
o 391983
o 391979
o 391961
o 391872
o 391805
o 391801
o 391783
o 391694
o 391681
o 391592
o 391492
o 391403
o 391336
o 391327
o 391314
o 391225
o 391169
o 391156
o 391067
o 391000
o 390991
o 390978
o 390889
o 390806
o 390780
o 390673
o 390584
o 390506
o 390439
o 390417
o 390328
o 390324
o 390306
o 390217
o 390139
o 390072
o 390050
o 389961
o 389878
o 389859
o 389770
o 389703
o 389681
o 389592
o 389509
o 389462
o 389434
o 389351
o 389284
o 389256
o 389173
o 389170
o 389166
o 389148
o 389059
o 388992
o 388988
o 388970
o 388881
o 388850
o 388803
o 388799
o 388781
o 388692
o 388625
o 388621
o 388603
o 388514
o 388501
o 388412
o 388329
o 388268
o 388250
o 388237
o 388148
o 388065
o 388037
o 387954
o 387952
o 387939
o 387850
o 387770
o 387757
o 387668
o 387595
o 387584
o 387566
o 387477
o 387446
o 387395
o 387377
o 387288
o 387217
o 387199
o 387110
o 387097
o Killed
1819.705u 0.017s 30:22.47 99.8%	0+0k 0+0io 0pf+0w