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-180-1_network-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-180-1_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 3233381
o 569752
o 569395
o 569064
o 568760
o 568429
o 568233
o 567955
o 567651
o 567320
o 567124
o 567085
o 566781
o 566450
o 566254
o 566196
o 566000
o 565933
o 565602
o 565406
o 565367
o 565063
o 564732
o 564536
o 564349
o 564018
o 563822
o 563718
o 563408
o 563212
o 563056
o 562869
o 562538
o 562342
o 562206
o 562090
o 561894
o 561758
o 561704
o 561497
o 561166
o 560970
o 560834
o 560748
o 560612
o 560558
o 560538
o 560402
o 560351
o 560020
o 559824
o 559688
o 559620
o 559424
o 559288
o 559234
o 559214
o 559078
o 559027
o 558696
o 558500
o 558364
o 558363
o 558227
o 558210
o 558003
o 557672
o 557476
o 557340
o 557164
o 556833
o 556637
o 556501
o 556355
o 556024
o 555828
o 555692
o 555540
o 555344
o 555208
o 555055
o 554859
o 554723
o 554547
o 554216
o 554020
o 553884
o 553870
o 553724
o 553393
o 553197
o 553061
o 552909
o 552713
o 552577
o 552424
o 552228
o 552092
o 551916
o 551585
o 551389
o 551253
o 551229
o 551206
o 551093
o 551079
o 551046
o 550715
o 550602
o 550519
o 550406
o 550383
o 550270
o 550231
o 550118
o 550035
o 549922
o 549899
o 549786
o 549746
o 549633
o 549550
o 549437
o 549414
o 549301
o 549238
o 548907
o 548794
o 548711
o 548598
o 548575
o 548462
o 548301
o 548165
o 548043
o 547847
o 547711
o 547680
o 547504
o 547173
o 546977
o 546841
o 546817
o 546794
o 546681
o 546640
o 546634
o 546303
o 546190
o 546107
o 545994
o 545971
o 545858
o 545819
o 545706
o 545623
o 545510
o 545487
o 545374
o 545334
o 545221
o 545138
o 545025
o 545002
o 544889
o 544826
o 544495
o 544382
o 544299
o 544186
o 544163
o 544050
o 544034
o 543898
o 543722
o 543391
o 543195
o 543059
o 542994
o 542971
o 542858
o 542804
o 542781
o 542668
o 542652
o 542629
o 542516
o 542431
o 542368
o 542037
o 541924
o 541841
o 541728
o 541705
o 541592
o 541552
o 541439
o 541356
o 541243
o 541220
o 541107
o 541044
o 540713
o 540600
o 540517
o 540404
o 540381
o 540268
o 540259
o 540146
o 540134
o 540021
o 539752
o 539639
o 539556
o 539443
o 539420
o 539307
o 539247
o 539224
o 539111
o 539057
o 539034
o 538921
o 538905
o 538882
o 538769
o 538684
o 538621
o 538290
o 538177
o 538094
o 537981
o 537958
o 537845
o 537805
o 537692
o 537609
o 537496
o 537473
o 537360
o 537297
o 536966
o 536853
o 536770
o 536657
o 536634
o 536521
o 536512
o 536399
o 536387
o 536274
o 536005
o 535892
o 535809
o 535696
o 535673
o 535560
o 535497
o 535450
o 535427
o 535314
o 535292
o 535179
o 535156
o 535043
o 535023
o 535000
o 534887
o 534753
o 534640
o 534618
o 534505
o 534482
o 534369
o 534309
o 534286
o 534173
o 534164
o 534051
o 533928
o 533792
o 533679
o 533619
o 533596
o 533483
o 533461
o 533348
o 533325
o 533212
o 533099
o 532881
o 532768
o 532685
o 532572
o 532549
o 532436
o 532336
o 532251
o 532128
o 532015
o 531857
o 531744
o 531661
o 531548
o 531525
o 531412
o 531334
o 531311
o 531198
o 531176
o 531063
o 531040
o 530927
o 530804
o 530691
o 530533
o 530420
o 530337
o 530224
o 530201
o 530088
o 530012
o 529899
o 529877
o 529764
o 529741
o 529628
o 529490
o 529377
o 529294
o 529181
o 529158
o 529045
o 528945
o 528860
o 528813
o 528730
o 528617
o 528541
o 528428
o 528353
o 528270
o 528157
o 528134
o 528021
o 527943
o 527920
o 527807
o 527785
o 527672
o 527649
o 527536
o 527489
o 527406
o 527293
o 527217
o 527104
o 526946
o 526833
o 526810
o 526697
o 526621
o 526508
o 526486
o 526373
o 526350
o 526237
o 526170
o 526148
o 526035
o 526012
o 525899
o 525821
o 525798
o 525685
o 525663
o 525550
o 525527
o 525414
o 525367
o 525284
o 525171
o 525095
o 524982
o 524907
o 524824
o 524711
o 524688
o 524575
o 524540
o 524469
o 524447
o 524334
o 524311
o 524198
o 524120
o 524097
o 523984
o 523962
o 523849
o 523826
o 523713
o 523666
o 523583
o 523470
o 523394
o 523281
o 523206
o 523123
o 523010
o 522987
o 522874
o 522776
o 522753
o 522640
o 522635
o 522522
o 522444
o 522421
o 522308
o 522286
o 522173
o 522150
o 522037
o 521990
o 521907
o 521794
o 521718
o 521605
o 521530
o 521447
o 521334
o 521311
o 521198
o 521131
o 521109
o 520996
o 520973
o 520860
o 520813
o 520790
o 520677
o 520655
o 520542
o 520519
o 520406
o 520403
o 520328
o 520245
o 520132
o 520109
o 519996
o 519920
o 519807
o 519785
o 519672
o 519649
o 519536
o 519501
o 519430
o 519408
o 519295
o 519272
o 519159
o 519112
o 519089
o 518976
o 518954
o 518841
o 518818
o 518705
o 518702
o 518627
o 518544
o 518431
o 518408
o 518295
o 518219
o 518106
o 518084
o 517971
o 517948
o 517835
o 517678
o 517565
o 517482
o 517369
o 517346
o 517233
o 517198
o 517127
o 517105
o 516992
o 516969
o 516856
o 516809
o 516786
o 516673
o 516651
o 516538
o 516515
o 516402
o 516399
o 516324
o 516241
o 516128
o 516105
o 515992
o 515916
o 515803
o 515781
o 515668
o 515645
o 515532
o 515492
o 515409
o 515296
o 515221
o 515198
o 515085
o 515079
o 515056
o 514943
o 514807
o 514694
o 514619
o 514596
o 514483
o 514466
o 514308
o 514195
o 514112
o 513999
o 513976
o 513863
o 513788
o 513765
o 513652
o 513621
o 513596
o 513438
o 513325
o 513242
o 513129
o 513106
o 512993
o 512918
o 512895
o 512782
o 512735
o 512622
o 512599
o 512486
o 512464
o 512351
o 512328
o 512215
o 512203
o 512090
o 512005
o 511980
o 511822
o 511709
o 511626
o 511513
o 511490
o 511377
o 511302
o 511279
o 511166
o 511131
o 511113
o 511000
o 510925
o 510902
o 510789
o 510682
o 510659
o 510546
o 510471
o 510448
o 510335
o 510332
o 510257
o 510174
o 510061
o 510038
o 509925
o 509872
o 509789
o 509676
o 509601
o 509578
o 509465
o 509399
o 509376
o 509263
o 509253
o 509178
o 509095
o 508982
o 508959
o 508846
o 508771
o 508748
o 508635
o 508588
o 508475
o 508452
o 508339
o 508317
o 508204
o 508181
o 508068
o 508056
o 507943
o 507858
o 507833
o 507675
o 507562
o 507479
o 507366
o 507343
o 507230
o 507155
o 507132
o 507019
o 506984
o 506966
o 506853
o 506778
o 506755
o 506642
o 506535
o 506512
o 506399
o 506324
o 506301
o 506188
o 506185
o 506110
o 506027
o 505914
o 505891
o 505778
o 505725
o 505642
o 505529
o 505454
o 505431
o 505318
o 505252
o 505229
o 505116
o 505065
o 504990
o 504907
o 504794
o 504771
o 504658
o 504583
o 504560
o 504447
o 504381
o 504358
o 504245
o 504235
o 504160
o 504077
o 503964
o 503941
o 503828
o 503753
o 503730
o 503617
o 503570
o 503457
o 503434
o 503321
o 503299
o 503186
o 503163
o 503050
o 503038
o 502925
o 502840
o 502815
o 502657
o 502544
o 502461
o 502348
o 502325
o 502212
o 502137
o 502114
o 502001
o 501966
o 501948
o 501835
o 501760
o 501737
o 501624
o 501517
o 501494
o 501381
o 501306
o 501283
o 501170
o 501167
o 501092
o 501009
o 500896
o 500873
o 500760
o 500707
o 500624
o 500511
o 500436
o 500413
o 500300
o 500234
o 500211
o 500098
o 499989
o 499966
o 499853
o 499778
o 499755
o 499642
o 499595
o 499482
o 499459
o 499346
o 499324
o 499211
o 499188
o 499075
o 499063
o 498950
o 498865
o 498861
o 498801
o 498778
o 498665
o 498621
o 498508
o 498486
o 498373
o 498350
o 498237
o 498162
o 498139
o 498026
o 497991
o 497973
o 497860
o 497785
o 497762
o 497649
o 497542
o 497519
o 497406
o 497331
o 497308
o 497195
o 497192
o 497117
o 497034
o 496921
o 496898
o 496785
o 496732
o 496649
o 496536
o 496461
o 496438
o 496325
o 496259
o 496236
o 496123
o 496075
o 495962
o 495887
o 495804
o 495691
o 495668
o 495555
o 495480
o 495457
o 495344
o 495278
o 495255
o 495142
o 495082
o 495057
o 494982
o 494959
o 494846
o 494739
o 494704
o 494598
o 494573
o 494498
o 494475
o 494362
o 494359
o 494337
o 494224
o 494201
o 494088
o 494013
o 493990
o 493877
o 493813
o 493783
o 493694
o 493581
o 493498
o 493385
o 493362
o 493249
o 493174
o 493151
o 493038
o 493027
o 492956
o 492934
o 492821
o 492798
o 492685
o 492682
o 492607
o 492524
o 492411
o 492388
o 492275
o 492199
o 492086
o 492064
o 491951
o 491928
o 491815
o 491740
o 491717
o 491604
o 491538
o 491515
o 491402
o 491392
o 491317
o 491234
o 491121
o 491098
o 490985
o 490910
o 490887
o 490774
o 490708
o 490685
o 490572
o 490472
o 490449
o 490336
o 490261
o 490238
o 490125
o 490018
o 489983
o 489877
o 489852
o 489777
o 489754
o 489641
o 489638
o 489616
o 489503
o 489480
o 489367
o 489292
o 489269
o 489156
o 489131
o 488973
o 488860
o 488777
o 488664
o 488641
o 488528
o 488453
o 488430
o 488317
o 488299
o 488224
o 488201
o 488088
o 488022
o 487999
o 487886
o 487807
o 487781
o 487675
o 487650
o 487575
o 487552
o 487439
o 487332
o 487297
o 487191
o 487166
o 487091
o 487068
o 486955
o 486952
o 486930
o 486817
o 486794
o 486681
o 486606
o 486583
o 486470
o 486406
o 486331
o 486248
o 486135
o 486112
o 485999
o 485973
o 485867
o 485842
o 485767
o 485744
o 485631
o 485567
o 485544
o 485431
o 485365
o 485342
o 485229
o 485129
o 485106
o 484993
o 484918
o 484895
o 484782
o 484675
o 484640
o 484534
o 484509
o 484434
o 484411
o 484298
o 484295
o 484273
o 484160
o 484137
o 484024
o 483949
o 483926
o 483813
o 483788
o 483630
o 483517
o 483434
o 483321
o 483298
o 483185
o 483110
o 483087
o 482974
o 482956
o 482881
o 482858
o 482745
o 482679
o 482656
o 482543
o 482464
o 482438
o 482332
o 482307
o 482232
o 482209
o 482096
o 481989
o 481954
o 481848
o 481823
o 481748
o 481725
o 481612
o 481609
o 481587
o 481474
o 481451
o 481338
o 481263
o 481240
o 481127
o 481063
o 480988
o 480905
o 480792
o 480769
o 480656
o 480630
o 480524
o 480499
o 480424
o 480401
o 480288
o 480279
o 480173
o 480148
o 480073
o 480050
o 479937
o 479830
o 479795
o 479689
o 479664
o 479589
o 479566
o 479453
o 479450
o 479428
o 479315
o 479292
o 479179
o 479104
o 479081
o 478968
o 478904
o 478829
o 478746
o 478633
o 478610
o 478497
o 478471
o 478365
o 478340
o 478265
o 478242
o 478129
o 478118
o 478005
o 477997
o 477974
o 477861
o 477852
o 477746
o 477721
o 477646
o 477623
o 477510
o 477403
o 477368
o 477262
o 477237
o 477162
o 477139
o 477026
o 477023
o 477001
o 476888
o 476865
o 476752
o 476677
o 476654
o 476541
o 476477
o 476402
o 476319
o 476206
o 476183
o 476070
o 476044
o 475938
o 475913
o 475838
o 475815
o 475702
o 475691
o 475578
o 475468
o 475445
o 475332
o 475257
o 475234
o 475121
o 475110
o 474997
o 474974
o 474861
o 474742
o 474629
o 474606
o 474493
o 474478
o 474418
o 474395
o 474282
o 474216
o 474193
o 474080
o 474069
o 473956
o 473874
o 473799
o 473776
o 473663
o 473621
o 473600
o 473585
o 473502
o 473389
o 473366
o 473253
o 473161
o 473135
o 473029
o 473004
o 472929
o 472906
o 472793
o 472727
o 472704
o 472591
o 472580
o 472467
o 472419
o 472408
o 472295
o 472208
o 472183
o 472108
o 472085
o 471972
o 471948
o 471856
o 471830
o 471724
o 471699
o 471624
o 471601
o 471488
o 471463
o 471415
o 471302
o 471280
o 471144
o 471031
o 470971
o 470948
o 470835
o 470820
o 470760
o 470737
o 470624
o 470532
o 470506
o 470400
o 470375
o 470300
o 470277
o 470164
o 470153
o 470040
o 470002
o 469979
o 469866
o 469794
o 469719
o 469696
o 469583
o 469572
o 469459
o 469436
o 469323
o 469204
o 469091
o 469068
o 468955
o 468940
o 468880
o 468857
o 468744
o 468678
o 468655
o 468542
o 468531
o 468418
o 468415
o 468340
o 468317
o 468204
o 468193
o 468080
o 468002
o 467991
o 467878
o 467846
o 467825
o 467802
o 467689
o 467614
o 467591
o 467478
o 467467
o 467354
o 467276
o 467265
o 467152
o 467098
o 467076
o 466963
o 466940
o 466827
o 466752
o 466729
o 466616
o 466605
o 466492
o 466469
o 466356
o 466237
o 466124
o 466101
o 465988
o 465973
o 465913
o 465890
o 465777
o 465766
o 465653
o 465575
o 465564
o 465451
o 465413
o 465390
o 465277
o 465205
o 465130
o 465107
o 464994
o 464983
o 464870
o 464847
o 464734
o 464615
o 464502
o 464479
o 464366
o 464351
o 464291
o 464268
o 464155
o 464089
o 464066
o 463953
o 463942
o 463829
o 463805
o 463730
o 463707
o 463594
o 463583
o 463470
o 463438
o 463417
o 463394
o 463281
o 463206
o 463183
o 463070
o 463059
o 462946
o 462868
o 462857
o 462744
o 462690
o 462668
o 462555
o 462532
o 462419
o 462344
o 462321
o 462208
o 462197
o 462084
o 462061
o 461948
o 461829
o 461716
o 461693
o 461580
o 461565
o 461505
o 461482
o 461369
o 461358
o 461245
o 461167
o 461156
o 461043
o 461005
o 460982
o 460869
o 460797
o 460722
o 460699
o 460586
o 460575
o 460462
o 460439
o 460326
o 460207
o 460094
o 460071
o 459958
o 459943
o 459883
o 459860
o 459747
o 459681
o 459658
o 459545
o 459534
o 459421
o 459353
o 459330
o 459217
o 459196
o 459173
o 459060
o 458985
o 458962
o 458849
o 458838
o 458725
o 458647
o 458636
o 458523
o 458499
o 458424
o 458401
o 458288
o 458277
o 458164
o 458132
o 458111
o 458088
o 457975
o 457900
o 457877
o 457764
o 457753
o 457640
o 457562
o 457551
o 457438
o 457421
o 457396
o 457321
o 457298
o 457185
o 457174
o 457061
o 456989
o 456902
o 456891
o 456778
o 456767
o 456654
o 456642
o 456631
o 456518
o 456399
o 456286
o 456274
o 456263
o 456150
o 456135
o 456063
o 456052
o 455939
o 455861
o 455850
o 455737
o 455699
o 455676
o 455563
o 455491
o 455416
o 455393
o 455280
o 455269
o 455156
o 455133
o 455020
o 454901
o 454788
o 454765
o 454652
o 454637
o 454577
o 454554
o 454441
o 454375
o 454352
o 454239
o 454228
o 454115
o 454113
o 454088
o 454013
o 453990
o 453877
o 453866
o 453753
o 453675
o 453664
o 453551
o 453466
o 453443
o 453330
o 453255
o 453232
o 453119
o 453075
o 452962
o 452887
o 452864
o 452751
o 452685
o 452662
o 452549
o 452538
o 452425
o 452315
o 452292
o 452179
o 452104
o 452081
o 451968
o 451957
o 451844
o 451821
o 451708
o 451589
o 451476
o 451453
o 451340
o 451325
o 451265
o 451242
o 451129
o 451118
o 451005
o 450927
o 450916
o 450803
o 450725
o 450650
o 450627
o 450514
o 450503
o 450390
o 450312
o 450301
o 450188
o 450090
o 450065
o 449990
o 449967
o 449854
o 449771
o 449696
o 449673
o 449560
o 449518
o 449497
o 449488
o 449482
o 449399
o 449286
o 449263
o 449150
o 449058
o 449032
o 448926
o 448901
o 448826
o 448803
o 448690
o 448679
o 448566
o 448526
o 448503
o 448390
o 448305
o 448257
o 448144
o 448122
o 447986
o 447873
o 447813
o 447790
o 447677
o 447662
o 447602
o 447579
o 447466
o 447455
o 447342
o 447248
o 447173
o 447150
o 447037
o 447026
o 446913
o 446890
o 446777
o 446658
o 446545
o 446522
o 446409
o 446394
o 446334
o 446311
o 446198
o 446187
o 446074
o 445973
o 445924
o 445849
o 445826
o 445713
o 445687
o 445581
o 445556
o 445481
o 445458
o 445345
o 445325
o 445303
o 445190
o 445167
o 445054
o 444979
o 444956
o 444843
o 444817
o 444711
o 444686
o 444611
o 444588
o 444475
o 444464
o 444351
o 444309
o 444282
o 444257
o 444182
o 444159
o 444046
o 444022
o 443930
o 443904
o 443798
o 443773
o 443698
o 443675
o 443562
o 443538
o 443515
o 443402
o 443398
o 443315
o 443202
o 443179
o 443066
o 443040
o 442934
o 442909
o 442834
o 442811
o 442698
o 442606
o 442580
o 442474
o 442449
o 442374
o 442351
o 442238
o 442227
o 442114
o 442054
o 441978
o 441955
o 441842
o 441706
o 441593
o 441518
o 441495
o 441382
o 441356
o 441250
o 441225
o 441150
o 441127
o 441014
o 441003
o 440890
o 440786
o 440783
o 440670
o 440634
o 440521
o 440446
o 440363
o 440250
o 440227
o 440114
o 440088
o 439982
o 439957
o 439882
o 439859
o 439746
o 439735
o 439622
o 439603
o 439490
o 439460
o 439437
o 439324
o 439258
o 439235
o 439122
o 439111
o 438998
o 438920
o 438845
o 438822
o 438709
o 438698
o 438585
o 438507
o 438496
o 438383
o 438373
o 438260
o 438185
o 438162
o 438049
o 438038
o 437925
o 437922
o 437809
o 437724
o 437676
o 437563
o 437541
o 437405
o 437292
o 437232
o 437209
o 437096
o 437081
o 437021
o 436998
o 436885
o 436874
o 436761
o 436701
o 436625
o 436602
o 436489
o 436353
o 436240
o 436165
o 436142
o 436029
o 436003
o 435897
o 435872
o 435797
o 435774
o 435661
o 435650
o 435537
o 435433
o 435430
o 435317
o 435281
o 435168
o 435093
o 435010
o 434897
o 434874
o 434761
o 434735
o 434629
o 434604
o 434529
o 434506
o 434393
o 434382
o 434269
o 434224
o 434202
o 434089
o 434066
o 433953
o 433878
o 433855
o 433742
o 433689
o 433576
o 433510
o 433487
o 433374
o 433363
o 433250
o 433212
o 433189
o 433076
o 433052
o 433029
o 432916
o 432886
o 432863
o 432750
o 432684
o 432661
o 432548
o 432458
o 432435
o 432322
o 432266
o 432203
o 432090
o 432067
o 431954
o 431888
o 431865
o 431752
o 431741
o 431628
o 431580
o 431558
o 431445
o 431422
o 431309
o 431234
o 431211
o 431098
o 431054
o 430941
o 430866
o 430843
o 430730
o 430664
o 430641
o 430528
o 430517
o 430404
o 430386
o 430301
o 430294
o 430181
o 430121
o 430098
o 429985
o 429909
o 429809
o 429786
o 429673
o 429658
o 429598
o 429575
o 429462
o 429396
o 429373
o 429260
o 429249
o 429136
o 429064
o 428988
o 428965
o 428852
o 428716
o 428603
o 428528
o 428505
o 428392
o 428366
o 428260
o 428235
o 428160
o 428137
o 428024
o 428013
o 427900
o 427840
o 427807
o 427694
o 427691
o 427578
o 427506
o 427495
o 427382
o 427370
o 427359
o 427246
o 427210
o 427127
o 427014
o 427002
o 426991
o 426878
o 426800
o 426789
o 426676
o 426572
o 426569
o 426456
o 426420
o 426307
o 426232
o 426149
o 426036
o 426013
o 425900
o 425874
o 425768
o 425743
o 425668
o 425645
o 425532
o 425521
o 425408
o 425355
o 425292
o 425179
o 425156
o 425043
o 424968
o 424945
o 424832
o 424779
o 424666
o 424600
o 424577
o 424464
o 424453
o 424340
o 424302
o 424279
o 424166
o 424142
o 424119
o 424006
o 423968
o 423902
o 423879
o 423766
o 423751
o 423638
o 423552
o 423492
o 423469
o 423356
o 423353
o 423240
o 423180
o 423157
o 423044
o 422978
o 422955
o 422842
o 422831
o 422718
o 422640
o 422565
o 422542
o 422429
o 422408
o 422385
o 422272
o 422197
o 422174
o 422061
o 422050
o 421937
o 421930
o 421855
o 421832
o 421719
o 421716
o 421603
o 421574
o 421499
o 421476
o 421363
o 421278
o 421271
o 421158
o 421098
o 421075
o 420962
o 420886
o 420786
o 420763
o 420650
o 420635
o 420575
o 420552
o 420439
o 420428
o 420315
o 420262
o 420199
o 420086
o 420063
o 419950
o 419875
o 419852
o 419739
o 419686
o 419573
o 419507
o 419484
o 419371
o 419360
o 419247
o 419231
o 419165
o 419142
o 419029
o 419026
o 418913
o 418875
o 418809
o 418786
o 418673
o 418658
o 418545
o 418459
o 418399
o 418376
o 418263
o 418260
o 418147
o 418087
o 418064
o 417951
o 417885
o 417862
o 417749
o 417738
o 417625
o 417619
o 417543
o 417520
o 417407
o 417271
o 417158
o 417083
o 417060
o 416947
o 416921
o 416815
o 416790
o 416715
o 416692
o 416579
o 416568
o 416455
o 416381
o 416358
o 416245
o 416224
o 416201
o 416088
o 416013
o 415990
o 415877
o 415866
o 415753
o 415692
o 415667
o 415592
o 415569
o 415456
o 415453
o 415340
o 415311
o 415236
o 415213
o 415100
o 415015
o 415008
o 414895
o 414835
o 414812
o 414699
o 414623
o 414523
o 414500
o 414387
o 414372
o 414312
o 414289
o 414176
o 414165
o 414052
o 413999
o 413936
o 413823
o 413800
o 413687
o 413612
o 413589
o 413476
o 413432
o 413319
o 413310
o 413244
o 413221
o 413108
o 413097
o 412984
o 412977
o 412902
o 412879
o 412766
o 412763
o 412650
o 412621
o 412546
o 412523
o 412410
o 412325
o 412318
o 412205
o 412145
o 412122
o 412009
o 411933
o 411833
o 411810
o 411697
o 411682
o 411622
o 411599
o 411486
o 411475
o 411362
o 411345
o 411322
o 411209
o 411208
o 411095
o 411020
o 410997
o 410884
o 410873
o 410760
o 410737
o 410624
o 410568
o 410505
o 410392
o 410369
o 410256
o 410241
o 410181
o 410158
o 410045
o 410034
o 409921
o 409876
o 409801
o 409778
o 409665
o 409644
o 409621
o 409508
o 409433
o 409410
o 409297
o 409188
o 409179
o 409113
o 409090
o 408977
o 408966
o 408853
o 408839
o 408813
o 408707
o 408682
o 408607
o 408584
o 408471
o 408468
o 408355
o 408292
o 408179
o 408156
o 408043
o 407987
o 407924
o 407811
o 407788
o 407675
o 407591
o 407566
o 407491
o 407468
o 407355
o 407344
o 407231
o 407191
o 407180
o 407067
o 407038
o 407022
o 406909
o 406858
o 406835
o 406722
o 406706
o 406593
o 406530
o 406417
o 406410
o 406394
o 406281
o 406272
o 406199
o 406183
o 406070
o 406065
o 405952
o 405879
o 405863
o 405750
o 405739
o 405626
o 405578
o 405562
o 405449
o 405446
o 405421
o 405346
o 405323
o 405210
o 405194
o 405081
o 405070
o 404957
o 404884
o 404868
o 404755
o 404680
o 404673
o 404657
o 404544
o 404516
o 404500
o 404387
o 404312
o 404305
o 404289
o 404176
o 404088
o 404072
o 403959
o 403884
o 403877
o 403861
o 403748
o 403720
o 403704
o 403591
o 403516
o 403509
o 403493
o 403380
o 403369
o 403256
o 403189
o 403173
o 403060
o 403049
o 402936
o 402920
o 402897
o 402784
o 402755
o 402680
o 402657
o 402544
o 402459
o 402452
o 402339
o 402279
o 402256
o 402143
o 402067
o 401967
o 401944
o 401831
o 401816
o 401756
o 401733
o 401620
o 401609
o 401496
o 401456
o 401445
o 401332
o 401289
o 401214
o 401207
o 401191
o 401078
o 401067
o 400954
o 400887
o 400850
o 400834
o 400721
o 400648
o 400632
o 400519
o 400422
o 400406
o 400293
o 400237
o 400190
o 400174
o 400061
o 400054
o 400038
o 399925
o 399852
o 399836
o 399723
o 399711
o 399598
o 399582
o 399469
o 399396
o 399380
o 399267
o 399262
o 399149
o 399076
o 399060
o 398947
o 398936
o 398823
o 398809
o 398800
o 398784
o 398671
o 398615
o 398568
o 398552
o 398439
o 398432
o 398416
o 398303
o 398230
o 398214
o 398101
o 398089
o 397976
o 397960
o 397847
o 397774
o 397758
o 397645
o 397640
o 397527
o 397454
o 397438
o 397325
o 397314
o 397201
o 397198
o 397085
o 397069
o 397046
o 396933
o 396904
o 396829
o 396806
o 396693
o 396608
o 396601
o 396488
o 396428
o 396405
o 396292
o 396216
o 396116
o 396093
o 395980
o 395965
o 395905
o 395882
o 395769
o 395758
o 395645
o 395605
o 395594
o 395481
o 395469
o 395356
o 395340
o 395227
o 395216
o 395103
o 395058
o 395042
o 394929
o 394926
o 394901
o 394826
o 394803
o 394690
o 394674
o 394561
o 394483
o 394370
o 394354
o 394241
o 394230
o 394117
o 394098
o 394075
o 394053
o 393940
o 393917
o 393804
o 393729
o 393706
o 393593
o 393549
o 393436
o 393361
o 393338
o 393225
o 393209
o 393096
o 393085
o 392972
o 392927
o 392911
o 392798
o 392767
o 392751
o 392638
o 392527
o 392511
o 392398
o 392383
o 392270
o 392253
o 392224
o 392095
o 391982
o 391915
o 391899
o 391786
o 391783
o 391670
o 391603
o 391587
o 391474
o 391463
o 391350
o 391277
o 391172
o 391109
o 390996
o 390973
o 390860
o 390851
o 390785
o 390762
o 390649
o 390628
o 390605
o 390492
o 390483
o 390417
o 390394
o 390281
o 390270
o 390157
o 390097
o 390074
o 389961
o 389950
o 389837
o 389797
o 389786
o 389673
o 389661
o 389548
o 389532
o 389419
o 389408
o 389295
o 389250
o 389234
o 389121
o 389118
o 389093
o 389018
o 388995
o 388882
o 388866
o 388753
o 388675
o 388562
o 388546
o 388433
o 388422
o 388309
o 388290
o 388267
o 388245
o 388132
o 388109
o 387996
o 387921
o 387898
o 387785
o 387741
o 387628
o 387553
o 387530
o 387417
o 387401
o 387288
o 387277
o 387164
o 387119
o 387103
o 386990
o 386959
o 386943
o 386830
o 386719
o 386703
o 386590
o 386575
o 386462
o 386445
o 386416
o 386287
o 386174
o 386107
o 386091
o 385978
o 385975
o 385862
o 385795
o 385779
o 385666
o 385655
o 385542
o 385432
o 385357
o 385334
o 385221
o 385205
o 385092
o 385089
o 385064
o 384989
o 384966
o 384853
o 384837
o 384724
o 384713
o 384600
o 384533
o 384517
o 384404
o 384393
o 384280
o 384207
o 384102
o 384039
o 383926
o 383903
o 383790
o 383781
o 383715
o 383692
o 383579
o 383558
o 383535
o 383422
o 383413
o 383347
o 383324
o 383211
o 383200
o 383087
o 383027
o 383004
o 382891
o 382880
o 382767
o 382727
o 382716
o 382603
o 382591
o 382478
o 382462
o 382349
o 382338
o 382225
o 382193
o 382120
o 382104
o 381991
o 381913
o 381875
o 381802
o 381786
o 381673
o 381573
o 381570
o 381470
o 381447
o 381334
o 381318
o 381205
o 381147
o 381064
o 380951
o 380878
o 380862
o 380749
o 380740
o 380667
o 380651
o 380538
o 380533
o 380420
o 380347
o 380331
o 380218
o 380207
o 380094
o 380080
o 380051
o 380042
o 379969
o 379953
o 379840
o 379755
o 379696
o 379583
o 379552
o 379439
o 379329
o 379256
o 379240
o 379127
o 379118
o 379045
o 379029
o 378916
o 378911
o 378798
o 378725
o 378709
o 378596
o 378585
o 378472
o 378446
o 378441
o 378328
o 378255
o 378239
o 378126
o 378115
o 378002
o 377929
o 377824
o 377797
o 377761
o 377648
o 377625
o 377512
o 377503
o 377437
o 377414
o 377301
o 377280
o 377257
o 377144
o 377135
o 377069
o 377046
o 376933
o 376922
o 376809
o 376749
o 376726
o 376613
o 376602
o 376489
o 376449
o 376438
o 376325
o 376313
o 376200
o 376184
o 376071
o 376060
o 375947
o 375915
o 375842
o 375826
o 375713
o 375635
o 375597
o 375524
o 375508
o 375395
o 375295
o 375292
o 375192
o 375169
o 375056
o 375040
o 374927
o 374869
o 374786
o 374673
o 374600
o 374584
o 374471
o 374462
o 374389
o 374373
o 374260
o 374255
o 374142
o 374069
o 374053
o 373940
o 373929
o 373816
o 373802
o 373773
o 373764
o 373691
o 373675
o 373562
o 373477
o 373454
o 373434
o 373418
o 373305
o 373274
o 373161
o 373051
o 372978
o 372962
o 372849
o 372840
o 372767
o 372751
o 372638
o 372633
o 372520
o 372447
o 372431
o 372318
o 372307
o 372194
o 372086
o 372011
o 371988
o 371875
o 371831
o 371718
o 371709
o 371643
o 371620
o 371507
o 371502
o 371389
o 371323
o 371300
o 371187
o 371176
o 371063
o 371023
o 371012
o 370899
o 370887
o 370774
o 370758
o 370645
o 370634
o 370521
o 370489
o 370416
o 370400
o 370287
o 370209
o 370171
o 370098
o 370082
o 369969
o 369869
o 369866
o 369766
o 369743
o 369630
o 369614
o 369501
o 369443
o 369360
o 369247
o 369174
o 369158
o 369045
o 369036
o 368963
o 368947
o 368834
o 368829
o 368716
o 368643
o 368627
o 368514
o 368503
o 368390
o 368376
o 368347
o 368338
o 368265
o 368249
o 368136
o 368051
o 368028
o 368008
o 367992
o 367879
o 367848
o 367735
o 367625
o 367552
o 367536
o 367423
o 367414
o 367341
o 367325
o 367212
o 367207
o 367094
o 367021
o 367005
o 366892
o 366881
o 366768
o 366669
o 366614
o 366591
o 366478
o 366462
o 366349
o 366338
o 366225
o 366164
o 366142
o 366029
o 366006
o 365893
o 365882
o 365769
o 365755
o 365729
o 365727
o 365652
o 365629
o 365516
o 365500
o 365387
o 365359
o 365337
o 365224
o 365201
o 365088
o 365072
o 364959
o 364956
o 364856
o 364833
o 364720
o 364704
o 364591
o 364536
o 364513
o 364400
o 364384
o 364271
o 364260
o 364147
o 364035
o 364019
o 363906
o 363875
o 363859
o 363746
o 363635
o 363619
o 363506
o 363491
o 363378
o 363361
o 363332
o 363203
o 363090
o 363023
o 363007
o 362894
o 362891
o 362778
o 362711
o 362695
o 362582
o 362527
o 362504
o 362391
o 362375
o 362262
o 362251
o 362138
o 362080
o 362064
o 361951
o 361948
o 361923
o 361848
o 361825
o 361712
o 361696
o 361583
o 361572
o 361459
o 361399
o 361376
o 361263
o 361252
o 361139
o 361094
o 361078
o 360965
o 360934
o 360918
o 360805
o 360694
o 360678
o 360565
o 360550
o 360437
o 360420
o 360391
o 360262
o 360149
o 360082
o 360066
o 359953
o 359950
o 359837
o 359770
o 359754
o 359641
o 359630
o 359517
o 359502
o 359479
o 359366
o 359350
o 359237
o 359234
o 359209
o 359134
o 359111
o 358998
o 358982
o 358869
o 358858
o 358745
o 358678
o 358662
o 358549
o 358538
o 358425
o 358413
o 358300
o 358284
o 358171
o 358168
o 358143
o 358068
o 358045
o 357932
o 357916
o 357803
o 357792
o 357679
o 357621
o 357605
o 357492
o 357489
o 357464
o 357389
o 357366
o 357253
o 357237
o 357124
o 357113
o 357000
o 356995
o 356882
o 356804
o 356793
o 356680
o 356677
o 356661
o 356548
o 356519
o 356437
o 356421
o 356308
o 356223
o 356216
o 356103
o 356036
o 356020
o 355907
o 355831
o 355724
o 355708
o 355595
o 355580
o 355513
o 355497
o 355384
o 355373
o 355260
o 355182
o 355171
o 355058
o 355043
o 355020
o 354907
o 354891
o 354778
o 354775
o 354750
o 354675
o 354652
o 354539
o 354523
o 354410
o 354399
o 354286
o 354219
o 354203
o 354090
o 354079
o 353966
o 353965
o 353941
o 353849
o 353823
o 353801
o 353746
o 353723
o 353610
o 353594
o 353481
o 353450
o 353434
o 353321
o 353210
o 353194
o 353081
o 353061
o 353038
o 352925
o 352903
o 352790
o 352767
o 352654
o 352638
o 352525
o 352522
o 352422
o 352399
o 352286
o 352270
o 352157
o 352146
o 352033
o 352018
o 351995
o 351882
o 351866
o 351753
o 351750
o 351725
o 351650
o 351627
o 351514
o 351498
o 351385
o 351374
o 351261
o 351194
o 351178
o 351065
o 351054
o 350941
o 350880
o 350869
o 350756
o 350695
o 350673
o 350560
o 350537
o 350424
o 350349
o 350326
o 350213
o 350197
o 350084
o 350081
o 350056
o 349981
o 349958
o 349845
o 349829
o 349716
o 349705
o 349592
o 349525
o 349509
o 349396
o 349385
o 349272
o 349257
o 349234
o 349121
o 349105
o 348992
o 348989
o 348964
o 348889
o 348866
o 348753
o 348737
o 348624
o 348613
o 348500
o 348433
o 348417
o 348304
o 348293
o 348180
o 348144
o 348133
o 348020
o 348002
o 347980
o 347867
o 347844
o 347731
o 347726
o 347715
o 347602
o 347599
o 347565
o 347476
o 347363
o 347358
o 347347
o 347234
o 347225
o 347147
o 347136
o 347023
o 347011
o 346898
o 346882
o 346769
o 346691
o 346680
o 346567
o 346500
o 346484
o 346371
o 346360
o 346247
o 346232
o 346209
o 346096
o 346080
o 345967
o 345964
o 345939
o 345864
o 345841
o 345728
o 345712
o 345599
o 345588
o 345475
o 345408
o 345392
o 345279
o 345268
o 345155
o 345112
o 345096
o 344983
o 344952
o 344936
o 344823
o 344712
o 344696
o 344583
o 344568
o 344455
o 344438
o 344409
o 344280
o 344167
o 344100
o 344084
o 343971
o 343968
o 343855
o 343788
o 343772
o 343659
o 343648
o 343535
o 343488
o 343443
o 343427
o 343314
o 343283
o 343267
o 343154
o 343144
o 343128
o 343015
o 342914
o 342899
o 342786
o 342769
o 342740
o 342611
o 342498
o 342431
o 342415
o 342302
o 342299
o 342186
o 342119
o 342103
o 341990
o 341979
o 341866
o 341851
o 341828
o 341715
o 341699
o 341586
o 341583
o 341558
o 341483
o 341460
o 341347
o 341331
o 341218
o 341213
o 341100
o 341027
o 341011
o 340898
o 340887
o 340774
o 340773
o 340749
o 340657
o 340631
o 340609
o 340554
o 340531
o 340418
o 340402
o 340289
o 340258
o 340242
o 340129
o 340119
o 340103
o 339990
o 339889
o 339880
o 339851
o 339722
o 339609
o 339542
o 339526
o 339413
o 339410
o 339297
o 339230
o 339214
o 339101
o 339094
o 339078
o 338965
o 338954
o 338841
o 338826
o 338803
o 338690
o 338674
o 338561
o 338558
o 338533
o 338458
o 338435
o 338322
o 338306
o 338193
o 338188
o 338075
o 338002
o 337986
o 337873
o 337862
o 337749
o 337745
o 337670
o 337647
o 337534
o 337518
o 337405
o 337402
o 337377
o 337302
o 337279
o 337166
o 337150
o 337037
o 337026
o 336913
o 336846
o 336830
o 336717
o 336706
o 336593
o 336592
o 336498
o 336475
o 336362
o 336287
o 336264
o 336151
o 336135
o 336022
o 335996
o 335974
o 335919
o 335896
o 335783
o 335767
o 335654
o 335628
o 335605
o 335492
o 335417
o 335394
o 335281
o 335265
o 335152
o 335126
o 335104
o 335049
o 335026
o 334913
o 334897
o 334784
o 334773
o 334660
o 334645
o 334622
o 334509
o 334493
o 334380
o 334377
o 334352
o 334277
o 334254
o 334141
o 334125
o 334012
o 334007
o 333894
o 333821
o 333805
o 333692
o 333681
o 333568
o 333539
o 333523
o 333410
o 333297
o 333281
o 333168
o 333165
o 333140
o 333065
o 333042
o 332929
o 332913
o 332800
o 332789
o 332676
o 332609
o 332593
o 332480
o 332469
o 332356
o 332254
o 332141
o 332125
o 332012
o 332009
o 331984
o 331909
o 331886
o 331773
o 331757
o 331644
o 331633
o 331520
o 331453
o 331437
o 331324
o 331313
o 331200
o 331199
o 331136
o 331113
o 331000
o 330984
o 330871
o 330825
o 330758
o 330742
o 330629
o 330603
o 330581
o 330526
o 330503
o 330390
o 330374
o 330261
o 330243
o 330130
o 330114
o 330001
o 329955
o 329888
o 329872
o 329759
o 329733
o 329711
o 329656
o 329633
o 329520
o 329504
o 329391
o 329380
o 329267
o 329229
o 329116
o 329100
o 328987
o 328984
o 328959
o 328884
o 328861
o 328748
o 328732
o 328619
o 328614
o 328501
o 328428
o 328412
o 328299
o 328288
o 328175
o 328158
o 328155
o 328130
o 328055
o 328032
o 327919
o 327903
o 327790
o 327779
o 327666
o 327637
o 327621
o 327508
o 327395
o 327379
o 327266
o 327263
o 327238
o 327163
o 327140
o 327027
o 327011
o 326898
o 326887
o 326774
o 326707
o 326691
o 326578
o 326567
o 326454
o 326352
o 326239
o 326223
o 326110
o 326107
o 326082
o 326007
o 325984
o 325871
o 325855
o 325742
o 325731
o 325618
o 325551
o 325535
o 325422
o 325411
o 325298
o 325242
o 325164
o 325153
o 325040
o 325008
o 324992
o 324879
o 324868
o 324755
o 324672
o 324559
o 324548
o 324435
o 324334
o 324318
o 324205
o 324202
o 324089
o 324086
o 324061
o 323986
o 323963
o 323850
o 323834
o 323721
o 323690
o 323674
o 323561
o 323467
o 323375
o 323349
o 323327
o 323272
o 323249
o 323136
o 323120
o 323007
o 322986
o 322970
o 322857
o 322765
o 322739
o 322717
o 322662
o 322639
o 322526
o 322510
o 322397
o 322386
o 322273
o 322250
o 322158
o 322132
o 322110
o 322055
o 322032
o 321919
o 321903
o 321790
o 321759
o 321743
o 321630
o 321519
o 321503
o 321390
o 321341
o 321318
o 321205
o 321189
o 321076
o 320963
o 320947
o 320834
o 320831
o 320731
o 320708
o 320595
o 320579
o 320466
o 320455
o 320342
o 320277
o 320266
o 320153
o 320086
o 320070
o 319957
o 319946
o 319833
o 319804
o 319788
o 319675
o 319562
o 319546
o 319433
o 319430
o 319405
o 319330
o 319307
o 319194
o 319178
o 319065
o 319054
o 318941
o 318874
o 318858
o 318745
o 318734
o 318621
o 318519
o 318406
o 318390
o 318277
o 318274
o 318249
o 318174
o 318151
o 318038
o 318022
o 317909
o 317898
o 317785
o 317718
o 317702
o 317589
o 317578
o 317465
o 317449
o 317336
o 317311
o 317288
o 317175
o 317159
o 317046
o 316991
o 316968
o 316855
o 316839
o 316726
o 316715
o 316602
o 316579
o 316466
o 316450
o 316337
o 316249
o 316233
o 316120
o 316038
o 316022
o 315909
o 315863
o 315841
o 315728
o 315705
o Killed
1819.713u 0.009s 30:22.99 99.8%	0+0k 0+0io 0pf+0w