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-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-180-1_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 2735556
o 543775
o 543617
o 543319
o 543246
o 542870
o 542712
o 542414
o 542341
o 542206
o 541908
o 541835
o 541815
o 541657
o 541359
o 541286
o 541173
o 541100
o 540910
o 540752
o 540454
o 540381
o 540246
o 539948
o 539875
o 539834
o 539721
o 539648
o 539458
o 539300
o 539002
o 538929
o 538794
o 538496
o 538423
o 538307
o 538234
o 537971
o 537898
o 537763
o 537465
o 537392
o 537318
o 537245
o 537110
o 536812
o 536739
o 536599
o 536526
o 536391
o 536093
o 536020
o 535960
o 535887
o 535652
o 535579
o 535444
o 535146
o 535073
o 535044
o 534909
o 534611
o 534538
o 534469
o 534311
o 534013
o 533940
o 533805
o 533507
o 533434
o 533279
o 533206
o 533177
o 533042
o 532744
o 532671
o 532560
o 532487
o 532458
o 532323
o 532025
o 531952
o 531768
o 531695
o 531660
o 531362
o 531289
o 531105
o 531032
o 530831
o 530758
o 530646
o 530573
o 530438
o 530140
o 530067
o 530038
o 529903
o 529605
o 529532
o 529348
o 529275
o 529220
o 529147
o 529118
o 528942
o 528869
o 528685
o 528612
o 528411
o 528338
o 528265
o 528192
o 528090
o 528017
o 527988
o 527829
o 527756
o 527739
o 527555
o 527482
o 527370
o 527297
o 527162
o 526864
o 526791
o 526762
o 526627
o 526329
o 526256
o 526201
o 526128
o 526099
o 525964
o 525666
o 525593
o 525392
o 525319
o 525135
o 525062
o 524957
o 524884
o 524683
o 524610
o 524463
o 524390
o 524189
o 524116
o 523928
o 523855
o 523654
o 523581
o 523397
o 523324
o 523286
o 523085
o 523012
o 522983
o 522824
o 522751
o 522550
o 522477
o 522293
o 522220
o 522179
o 522162
o 521978
o 521905
o 521876
o 521717
o 521644
o 521627
o 521443
o 521370
o 521307
o 521148
o 521075
o 521058
o 520874
o 520801
o 520613
o 520540
o 520339
o 520266
o 520198
o 520125
o 520108
o 519924
o 519851
o 519788
o 519629
o 519556
o 519539
o 519355
o 519282
o 519094
o 519021
o 518820
o 518747
o 518709
o 518692
o 518508
o 518435
o 518406
o 518247
o 518174
o 518157
o 517973
o 517900
o 517837
o 517678
o 517605
o 517588
o 517404
o 517331
o 517143
o 517070
o 516869
o 516796
o 516766
o 516585
o 516512
o 516483
o 516324
o 516251
o 516234
o 516050
o 515977
o 515961
o 515777
o 515704
o 515675
o 515516
o 515443
o 515426
o 515242
o 515169
o 514973
o 514900
o 514699
o 514626
o 514563
o 514404
o 514331
o 514314
o 514130
o 514057
o 514028
o 513869
o 513796
o 513779
o 513595
o 513522
o 513492
o 513311
o 513238
o 513209
o 513050
o 512977
o 512960
o 512776
o 512703
o 512503
o 512430
o 512401
o 512242
o 512169
o 512152
o 511968
o 511895
o 511855
o 511782
o 511736
o 511663
o 511475
o 511402
o 511201
o 511128
o 511116
o 510932
o 510859
o 510842
o 510658
o 510585
o 510522
o 510363
o 510290
o 510273
o 510089
o 510016
o 509987
o 509828
o 509755
o 509738
o 509554
o 509481
o 509305
o 509232
o 509215
o 509031
o 508958
o 508936
o 508919
o 508735
o 508662
o 508462
o 508389
o 508360
o 508201
o 508128
o 508111
o 507927
o 507854
o 507829
o 507666
o 507593
o 507576
o 507392
o 507319
o 507280
o 507264
o 507080
o 507007
o 507003
o 506819
o 506746
o 506729
o 506545
o 506472
o 506450
o 506433
o 506249
o 506176
o 505976
o 505903
o 505874
o 505715
o 505642
o 505625
o 505441
o 505368
o 505358
o 505285
o 505137
o 505064
o 505047
o 504863
o 504790
o 504768
o 504751
o 504567
o 504494
o 504478
o 504294
o 504221
o 504192
o 504033
o 503960
o 503943
o 503759
o 503686
o 503676
o 503603
o 503602
o 503592
o 503519
o 503402
o 503329
o 503319
o 503246
o 503141
o 503068
o 503058
o 502985
o 502867
o 502794
o 502784
o 502711
o 502666
o 502548
o 502475
o 502465
o 502392
o 502391
o 502381
o 502308
o 502191
o 502118
o 502108
o 502035
o 501930
o 501857
o 501847
o 501774
o 501656
o 501583
o 501573
o 501500
o 501403
o 501330
o 501320
o 501247
o 501099
o 501026
o 501016
o 500943
o 500825
o 500752
o 500742
o 500669
o 500529
o 500456
o 500446
o 500373
o 500256
o 500183
o 500154
o 499995
o 499922
o 499905
o 499721
o 499648
o 499638
o 499565
o 499564
o 499554
o 499481
o 499364
o 499291
o 499281
o 499208
o 499103
o 499030
o 499020
o 498947
o 498829
o 498756
o 498746
o 498673
o 498623
o 498594
o 498435
o 498362
o 498345
o 498161
o 498088
o 498078
o 498005
o 497908
o 497835
o 497825
o 497752
o 497604
o 497531
o 497521
o 497448
o 497330
o 497257
o 497247
o 497174
o 497034
o 496961
o 496951
o 496878
o 496761
o 496688
o 496659
o 496500
o 496427
o 496410
o 496226
o 496153
o 496143
o 496070
o 496069
o 496059
o 495986
o 495869
o 495796
o 495786
o 495713
o 495608
o 495535
o 495525
o 495452
o 495334
o 495261
o 495251
o 495178
o 495034
o 494961
o 494951
o 494878
o 494761
o 494688
o 494659
o 494500
o 494427
o 494410
o 494226
o 494153
o 494143
o 494070
o 494009
o 493936
o 493926
o 493853
o 493736
o 493663
o 493653
o 493580
o 493475
o 493402
o 493392
o 493319
o 493201
o 493128
o 493118
o 493045
o 493044
o 493034
o 492961
o 492844
o 492771
o 492761
o 492688
o 492583
o 492510
o 492500
o 492427
o 492309
o 492236
o 492226
o 492153
o 492112
o 492102
o 492029
o 491911
o 491838
o 491828
o 491755
o 491611
o 491538
o 491528
o 491455
o 491338
o 491265
o 491236
o 491077
o 491004
o 490987
o 490803
o 490730
o 490720
o 490647
o 490586
o 490513
o 490503
o 490430
o 490313
o 490240
o 490211
o 490052
o 489979
o 489962
o 489778
o 489705
o 489695
o 489622
o 489621
o 489611
o 489538
o 489421
o 489348
o 489319
o 489160
o 489087
o 489070
o 488886
o 488813
o 488803
o 488730
o 488712
o 488683
o 488524
o 488451
o 488434
o 488250
o 488177
o 488167
o 488094
o 487977
o 487904
o 487875
o 487716
o 487643
o 487626
o 487442
o 487369
o 487359
o 487286
o 487284
o 487211
o 487067
o 486994
o 486984
o 486911
o 486794
o 486721
o 486692
o 486533
o 486460
o 486443
o 486259
o 486186
o 486176
o 486103
o 486042
o 485969
o 485959
o 485886
o 485769
o 485696
o 485667
o 485508
o 485435
o 485418
o 485234
o 485161
o 485151
o 485078
o 485077
o 485067
o 484994
o 484877
o 484804
o 484775
o 484616
o 484543
o 484526
o 484342
o 484269
o 484259
o 484186
o 484135
o 484118
o 483934
o 483861
o 483851
o 483778
o 483661
o 483588
o 483578
o 483505
o 483400
o 483327
o 483317
o 483244
o 483126
o 483053
o 483043
o 482970
o 482963
o 482890
o 482880
o 482807
o 482690
o 482617
o 482588
o 482429
o 482356
o 482339
o 482155
o 482082
o 482072
o 481999
o 481998
o 481988
o 481915
o 481798
o 481725
o 481696
o 481537
o 481464
o 481447
o 481263
o 481190
o 481180
o 481107
o 481066
o 480993
o 480964
o 480805
o 480732
o 480715
o 480531
o 480458
o 480448
o 480375
o 480374
o 480364
o 480291
o 480174
o 480101
o 480072
o 479913
o 479840
o 479823
o 479639
o 479566
o 479556
o 479483
o 479466
o 479393
o 479383
o 479310
o 479193
o 479120
o 479110
o 479037
o 478932
o 478859
o 478849
o 478776
o 478658
o 478585
o 478575
o 478502
o 478456
o 478427
o 478268
o 478195
o 478178
o 477994
o 477921
o 477911
o 477838
o 477721
o 477648
o 477619
o 477460
o 477387
o 477370
o 477186
o 477113
o 477103
o 477030
o 477013
o 476940
o 476930
o 476857
o 476740
o 476667
o 476657
o 476584
o 476479
o 476406
o 476396
o 476323
o 476205
o 476132
o 476122
o 476049
o 476032
o 475956
o 475883
o 475873
o 475800
o 475682
o 475609
o 475599
o 475526
o 475409
o 475336
o 475148
o 475075
o 474874
o 474801
o 474791
o 474718
o 474701
o 474628
o 474618
o 474545
o 474428
o 474355
o 474345
o 474272
o 474167
o 474094
o 474084
o 474011
o 473893
o 473820
o 473810
o 473737
o 473665
o 473596
o 473478
o 473405
o 473395
o 473322
o 473309
o 473299
o 473226
o 473157
o 473039
o 472966
o 472956
o 472883
o 472882
o 472872
o 472799
o 472764
o 472691
o 472681
o 472608
o 472490
o 472417
o 472407
o 472334
o 472265
o 472147
o 472074
o 472064
o 471991
o 471974
o 471901
o 471891
o 471818
o 471783
o 471710
o 471700
o 471627
o 471509
o 471436
o 471426
o 471353
o 471284
o 471166
o 471093
o 471083
o 471010
o 470969
o 470896
o 470886
o 470813
o 470812
o 470802
o 470729
o 470694
o 470621
o 470611
o 470538
o 470420
o 470347
o 470337
o 470264
o 470195
o 470077
o 470004
o 469994
o 469921
o 469915
o 469905
o 469832
o 469831
o 469821
o 469748
o 469713
o 469640
o 469630
o 469557
o 469439
o 469366
o 469356
o 469283
o 469214
o 469096
o 469023
o 469013
o 468940
o 468749
o 468676
o 468666
o 468593
o 468406
o 468333
o 468323
o 468250
o 468244
o 468234
o 468161
o 468160
o 468150
o 468077
o 468042
o 467969
o 467959
o 467886
o 467768
o 467695
o 467685
o 467612
o 467543
o 467425
o 467352
o 467342
o 467269
o 467247
o 467246
o 467173
o 467138
o 467065
o 467055
o 466982
o 466864
o 466791
o 466781
o 466708
o 466639
o 466521
o 466448
o 466438
o 466365
o 466348
o 466275
o 466265
o 466192
o 466157
o 466084
o 466074
o 466001
o 465883
o 465810
o 465800
o 465727
o 465658
o 465540
o 465467
o 465457
o 465384
o 465193
o 465120
o 465110
o 465037
o 464850
o 464777
o 464767
o 464694
o 464688
o 464678
o 464605
o 464604
o 464594
o 464521
o 464486
o 464413
o 464403
o 464330
o 464212
o 464139
o 464129
o 464056
o 463987
o 463869
o 463796
o 463786
o 463713
o 463650
o 463577
o 463567
o 463494
o 463477
o 463404
o 463394
o 463321
o 463286
o 463213
o 463196
o 463012
o 462939
o 462929
o 462856
o 462669
o 462596
o 462586
o 462513
o 462504
o 462431
o 462396
o 462323
o 462313
o 462240
o 462122
o 462049
o 462039
o 461966
o 461897
o 461779
o 461706
o 461696
o 461623
o 461497
o 461424
o 461414
o 461341
o 461272
o 461154
o 461081
o 461071
o 460998
o 460997
o 460924
o 460914
o 460841
o 460824
o 460751
o 460741
o 460668
o 460633
o 460560
o 460512
o 460439
o 460359
o 460286
o 460276
o 460203
o 460169
o 460096
o 460016
o 459943
o 459933
o 459860
o 459797
o 459724
o 459714
o 459641
o 459624
o 459551
o 459541
o 459468
o 459433
o 459360
o 459312
o 459239
o 459159
o 459086
o 459076
o 459003
o 458969
o 458896
o 458816
o 458743
o 458733
o 458660
o 458651
o 458578
o 458543
o 458470
o 458460
o 458387
o 458269
o 458196
o 458186
o 458113
o 458044
o 458006
o 457926
o 457853
o 457843
o 457770
o 457724
o 457644
o 457571
o 457561
o 457488
o 457419
o 457381
o 457301
o 457228
o 457218
o 457145
o 457102
o 457037
o 456991
o 456911
o 456838
o 456828
o 456755
o 456721
o 456648
o 456568
o 456495
o 456485
o 456412
o 456406
o 456396
o 456323
o 456212
o 456129
o 456056
o 456014
o 455941
o 455740
o 455667
o 455587
o 455514
o 455504
o 455431
o 455412
o 455402
o 455329
o 455328
o 455255
o 455220
o 455147
o 455137
o 455064
o 454946
o 454873
o 454863
o 454790
o 454721
o 454683
o 454603
o 454530
o 454520
o 454447
o 454430
o 454357
o 454347
o 454274
o 454239
o 454166
o 454156
o 454083
o 453965
o 453892
o 453882
o 453809
o 453740
o 453702
o 453622
o 453549
o 453539
o 453466
o 453457
o 453384
o 453346
o 453228
o 453155
o 453145
o 453072
o 453003
o 452885
o 452812
o 452802
o 452729
o 452659
o 452649
o 452576
o 452450
o 452377
o 452367
o 452294
o 452225
o 452187
o 452107
o 452034
o 452024
o 451951
o 451941
o 451861
o 451788
o 451778
o 451705
o 451671
o 451598
o 451518
o 451445
o 451435
o 451362
o 451354
o 451316
o 451236
o 451163
o 451153
o 451080
o 451011
o 450973
o 450893
o 450820
o 450810
o 450737
o 450676
o 450628
o 450618
o 450545
o 450480
o 450472
o 450434
o 450354
o 450281
o 450271
o 450198
o 450129
o 450091
o 450011
o 449938
o 449928
o 449855
o 449842
o 449808
o 449735
o 449655
o 449582
o 449572
o 449499
o 449491
o 449453
o 449373
o 449300
o 449290
o 449217
o 449148
o 449110
o 449030
o 448957
o 448947
o 448874
o 448867
o 448806
o 448733
o 448723
o 448650
o 448581
o 448543
o 448463
o 448390
o 448380
o 448307
o 448242
o 448181
o 448133
o 448123
o 448050
o 447985
o 447924
o 447851
o 447841
o 447768
o 447699
o 447661
o 447581
o 447508
o 447498
o 447425
o 447360
o 447336
o 447271
o 447225
o 447142
o 447069
o 447004
o 446943
o 446870
o 446860
o 446787
o 446718
o 446680
o 446600
o 446527
o 446517
o 446444
o 446379
o 446311
o 446255
o 446204
o 446124
o 446051
o 446041
o 445968
o 445912
o 445904
o 445842
o 445769
o 445759
o 445686
o 445630
o 445617
o 445561
o 445499
o 445426
o 445416
o 445343
o 445287
o 445280
o 445275
o 445192
o 445119
o 445063
o 445050
o 444994
o 444932
o 444859
o 444849
o 444776
o 444720
o 444711
o 444655
o 444650
o 444594
o 444592
o 444519
o 444463
o 444454
o 444398
o 444393
o 444310
o 444237
o 444181
o 444168
o 444112
o 444050
o 443977
o 443967
o 443894
o 443838
o 443829
o 443773
o 443756
o 443694
o 443621
o 443611
o 443538
o 443482
o 443473
o 443417
o 443412
o 443329
o 443256
o 443200
o 443187
o 443131
o 443069
o 442996
o 442986
o 442913
o 442857
o 442848
o 442792
o 442777
o 442709
o 442653
o 442602
o 442522
o 442449
o 442439
o 442366
o 442310
o 442302
o 442240
o 442167
o 442157
o 442084
o 442028
o 442015
o 441959
o 441897
o 441824
o 441814
o 441741
o 441685
o 441678
o 441673
o 441590
o 441517
o 441461
o 441448
o 441392
o 441330
o 441257
o 441247
o 441174
o 441118
o 441109
o 441053
o 441046
o 440984
o 440911
o 440901
o 440828
o 440772
o 440763
o 440707
o 440702
o 440629
o 440619
o 440546
o 440490
o 440439
o 440359
o 440286
o 440276
o 440203
o 440147
o 440138
o 440082
o 440019
o 440009
o 439936
o 439880
o 439871
o 439815
o 439810
o 439737
o 439727
o 439654
o 439598
o 439547
o 439467
o 439394
o 439384
o 439311
o 439255
o 439246
o 439190
o 439159
o 439144
o 439137
o 439076
o 439020
o 438969
o 438933
o 438889
o 438816
o 438806
o 438733
o 438677
o 438669
o 438651
o 438607
o 438534
o 438524
o 438451
o 438395
o 438382
o 438326
o 438308
o 438298
o 438225
o 438169
o 438135
o 438108
o 438052
o 438045
o 438018
o 438001
o 437945
o 437884
o 437828
o 437815
o 437759
o 437741
o 437731
o 437658
o 437602
o 437568
o 437541
o 437485
o 437476
o 437420
o 437413
o 437395
o 437385
o 437312
o 437256
o 437195
o 437139
o 437130
o 437074
o 437030
o 436996
o 436986
o 436913
o 436857
o 436843
o 436770
o 436760
o 436687
o 436653
o 436643
o 436570
o 436514
o 436505
o 436449
o 436420
o 436364
o 436303
o 436247
o 436238
o 436182
o 436138
o 436104
o 436094
o 436021
o 435965
o 435951
o 435878
o 435868
o 435795
o 435761
o 435751
o 435678
o 435622
o 435613
o 435557
o 435518
o 435505
o 435449
o 435431
o 435421
o 435348
o 435292
o 435231
o 435175
o 435166
o 435110
o 435083
o 435066
o 435010
o 434949
o 434893
o 434880
o 434824
o 434806
o 434796
o 434723
o 434667
o 434633
o 434606
o 434550
o 434541
o 434485
o 434449
o 434422
o 434405
o 434349
o 434288
o 434232
o 434219
o 434163
o 434145
o 434135
o 434062
o 434006
o 433972
o 433945
o 433889
o 433880
o 433824
o 433808
o 433799
o 433743
o 433673
o 433617
o 433600
o 433544
o 433500
o 433483
o 433427
o 433399
o 433343
o 433326
o 433270
o 433226
o 433209
o 433153
o 433144
o 433088
o 433073
o 433056
o 433000
o 432991
o 432935
o 432891
o 432857
o 432847
o 432774
o 432718
o 432704
o 432631
o 432621
o 432548
o 432514
o 432504
o 432431
o 432375
o 432366
o 432310
o 432301
o 432245
o 432201
o 432167
o 432157
o 432084
o 432028
o 432014
o 431941
o 431931
o 431858
o 431824
o 431814
o 431741
o 431685
o 431676
o 431620
o 431596
o 431587
o 431531
o 431480
o 431446
o 431385
o 431329
o 431320
o 431264
o 431220
o 431186
o 431176
o 431103
o 431047
o 431033
o 430960
o 430950
o 430877
o 430843
o 430833
o 430760
o 430704
o 430695
o 430639
o 430600
o 430587
o 430531
o 430513
o 430503
o 430430
o 430374
o 430313
o 430257
o 430248
o 430192
o 430165
o 430148
o 430092
o 430031
o 429975
o 429962
o 429906
o 429888
o 429878
o 429805
o 429749
o 429715
o 429688
o 429632
o 429623
o 429567
o 429531
o 429504
o 429487
o 429431
o 429370
o 429314
o 429301
o 429245
o 429227
o 429217
o 429144
o 429088
o 429054
o 429027
o 428971
o 428962
o 428906
o 428902
o 428829
o 428773
o 428712
o 428656
o 428647
o 428591
o 428558
o 428502
o 428490
o 428473
o 428417
o 428373
o 428356
o 428300
o 428291
o 428235
o 428208
o 428191
o 428135
o 428074
o 428018
o 428005
o 427949
o 427931
o 427921
o 427848
o 427792
o 427758
o 427731
o 427675
o 427666
o 427610
o 427558
o 427502
o 427489
o 427433
o 427415
o 427405
o 427332
o 427276
o 427215
o 427159
o 427150
o 427094
o 427067
o 427050
o 426994
o 426933
o 426877
o 426864
o 426808
o 426790
o 426780
o 426707
o 426651
o 426617
o 426590
o 426534
o 426525
o 426469
o 426430
o 426417
o 426361
o 426343
o 426333
o 426260
o 426204
o 426143
o 426087
o 426078
o 426022
o 425995
o 425978
o 425922
o 425861
o 425805
o 425792
o 425736
o 425718
o 425708
o 425635
o 425579
o 425545
o 425518
o 425462
o 425453
o 425397
o 425361
o 425334
o 425317
o 425261
o 425200
o 425144
o 425131
o 425075
o 425057
o 425047
o 424974
o 424918
o 424884
o 424857
o 424801
o 424792
o 424736
o 424699
o 424638
o 424582
o 424569
o 424513
o 424495
o 424451
o 424378
o 424368
o 424295
o 424239
o 424230
o 424174
o 424134
o 424061
o 424027
o 424017
o 423944
o 423943
o 423860
o 423826
o 423743
o 423670
o 423614
o 423605
o 423549
o 423523
o 423514
o 423458
o 423434
o 423425
o 423369
o 423318
o 423284
o 423223
o 423167
o 423158
o 423102
o 423058
o 423024
o 423014
o 422941
o 422885
o 422871
o 422798
o 422788
o 422715
o 422681
o 422671
o 422598
o 422542
o 422533
o 422477
o 422441
o 422414
o 422397
o 422341
o 422280
o 422224
o 422211
o 422155
o 422137
o 422127
o 422054
o 421998
o 421964
o 421937
o 421881
o 421872
o 421816
o 421798
o 421742
o 421681
o 421625
o 421616
o 421560
o 421509
o 421473
o 421429
o 421395
o 421385
o 421312
o 421256
o 421242
o 421169
o 421159
o 421086
o 421052
o 421042
o 420969
o 420913
o 420904
o 420848
o 420822
o 420766
o 420753
o 420697
o 420679
o 420669
o 420596
o 420540
o 420479
o 420423
o 420414
o 420358
o 420322
o 420278
o 420244
o 420234
o 420161
o 420105
o 420091
o 420018
o 420008
o 419935
o 419901
o 419891
o 419818
o 419762
o 419753
o 419697
o 419696
o 419640
o 419622
o 419612
o 419539
o 419483
o 419422
o 419366
o 419357
o 419301
o 419265
o 419221
o 419187
o 419177
o 419104
o 419048
o 419034
o 418961
o 418951
o 418878
o 418844
o 418834
o 418761
o 418705
o 418696
o 418640
o 418601
o 418540
o 418484
o 418475
o 418419
o 418383
o 418339
o 418305
o 418295
o 418222
o 418166
o 418152
o 418079
o 418069
o 417996
o 417962
o 417952
o 417879
o 417823
o 417814
o 417758
o 417734
o 417725
o 417669
o 417620
o 417559
o 417503
o 417494
o 417438
o 417402
o 417358
o 417324
o 417314
o 417241
o 417185
o 417171
o 417098
o 417088
o 417015
o 416981
o 416971
o 416898
o 416842
o 416833
o 416777
o 416751
o 416695
o 416686
o 416630
o 416612
o 416556
o 416495
o 416439
o 416430
o 416374
o 416323
o 416287
o 416243
o 416209
o 416199
o 416126
o 416070
o 416056
o 415983
o 415973
o 415900
o 415866
o 415856
o 415783
o 415727
o 415718
o 415662
o 415636
o 415580
o 415567
o 415511
o 415493
o 415483
o 415410
o 415354
o 415293
o 415237
o 415228
o 415172
o 415136
o 415092
o 415058
o 415048
o 414975
o 414919
o 414905
o 414832
o 414822
o 414749
o 414715
o 414705
o 414632
o 414576
o 414567
o 414511
o 414495
o 414439
o 414430
o 414374
o 414338
o 414294
o 414260
o 414250
o 414177
o 414121
o 414107
o 414034
o 414024
o 413951
o 413917
o 413907
o 413834
o 413778
o 413769
o 413713
o 413689
o 413680
o 413624
o 413575
o 413514
o 413458
o 413449
o 413393
o 413357
o 413313
o 413279
o 413269
o 413196
o 413140
o 413126
o 413053
o 413043
o 412970
o 412936
o 412926
o 412853
o 412797
o 412788
o 412732
o 412716
o 412660
o 412647
o 412591
o 412573
o 412563
o 412490
o 412434
o 412373
o 412317
o 412308
o 412252
o 412216
o 412172
o 412138
o 412128
o 412055
o 411999
o 411985
o 411912
o 411902
o 411829
o 411795
o 411785
o 411712
o 411656
o 411647
o 411591
o 411552
o 411496
o 411483
o 411427
o 411409
o 411365
o 411292
o 411282
o 411209
o 411153
o 411144
o 411088
o 411062
o 411006
o 410997
o 410941
o 410923
o 410867
o 410806
o 410750
o 410741
o 410685
o 410634
o 410598
o 410554
o 410520
o 410510
o 410437
o 410381
o 410367
o 410294
o 410284
o 410211
o 410177
o 410167
o 410094
o 410038
o 410029
o 409973
o 409947
o 409891
o 409878
o 409822
o 409804
o 409794
o 409721
o 409665
o 409604
o 409548
o 409539
o 409483
o 409447
o 409403
o 409369
o 409359
o 409286
o 409230
o 409216
o 409143
o 409133
o 409060
o 409026
o 409016
o 408943
o 408887
o 408878
o 408822
o 408806
o 408750
o 408741
o 408685
o 408649
o 408605
o 408571
o 408561
o 408488
o 408432
o 408418
o 408345
o 408335
o 408262
o 408228
o 408218
o 408145
o 408089
o 408080
o 408024
o 408000
o 407991
o 407935
o 407886
o 407825
o 407769
o 407760
o 407704
o 407668
o 407624
o 407590
o 407580
o 407507
o 407451
o 407437
o 407364
o 407354
o 407281
o 407247
o 407237
o 407164
o 407108
o 407099
o 407043
o 407027
o 406971
o 406958
o 406902
o 406884
o 406874
o 406801
o 406745
o 406684
o 406628
o 406619
o 406563
o 406527
o 406483
o 406449
o 406439
o 406366
o 406310
o 406296
o 406223
o 406213
o 406140
o 406106
o 406096
o 406023
o 405967
o 405958
o 405902
o 405887
o 405831
o 405818
o 405762
o 405744
o 405734
o 405661
o 405605
o 405544
o 405488
o 405479
o 405423
o 405384
o 405328
o 405319
o 405263
o 405244
o 405181
o 405125
o 405064
o 405008
o 404999
o 404943
o 404907
o 404863
o 404829
o 404819
o 404746
o 404690
o 404676
o 404603
o 404593
o 404520
o 404486
o 404476
o 404403
o 404347
o 404338
o 404282
o 404266
o 404210
o 404201
o 404145
o 404109
o 404065
o 404031
o 404021
o 403948
o 403892
o 403878
o 403805
o 403795
o 403722
o 403688
o 403678
o 403605
o 403549
o 403540
o 403484
o 403460
o 403451
o 403395
o 403346
o 403285
o 403229
o 403220
o 403164
o 403128
o 403084
o 403050
o 403040
o 402967
o 402911
o 402897
o 402824
o 402814
o 402741
o 402707
o 402697
o 402624
o 402568
o 402559
o 402503
o 402487
o 402431
o 402418
o 402362
o 402344
o 402334
o 402261
o 402205
o 402144
o 402088
o 402079
o 402023
o 401987
o 401943
o 401909
o 401899
o 401826
o 401770
o 401756
o 401683
o 401673
o 401600
o 401566
o 401556
o 401483
o 401427
o 401418
o 401362
o 401329
o 401293
o 401249
o 401215
o 401205
o 401132
o 401076
o 401062
o 400989
o 400979
o 400906
o 400872
o 400862
o 400789
o 400733
o 400724
o 400668
o 400653
o 400597
o 400584
o 400528
o 400510
o 400500
o 400427
o 400371
o 400310
o 400254
o 400245
o 400189
o 400150
o 400094
o 400085
o 400029
o 400010
o 399947
o 399891
o 399830
o 399774
o 399765
o 399709
o 399673
o 399629
o 399595
o 399585
o 399512
o 399456
o 399442
o 399369
o 399359
o 399286
o 399252
o 399242
o 399169
o 399113
o 399104
o 399048
o 399032
o 398976
o 398967
o 398911
o 398875
o 398831
o 398797
o 398787
o 398714
o 398658
o 398644
o 398571
o 398561
o 398488
o 398454
o 398444
o 398371
o 398315
o 398306
o 398250
o 398226
o 398217
o 398161
o 398112
o 398051
o 397995
o 397986
o 397930
o 397894
o 397850
o 397816
o 397806
o 397733
o 397677
o 397663
o 397590
o 397580
o 397507
o 397473
o 397463
o 397390
o 397334
o 397325
o 397269
o 397253
o 397197
o 397184
o 397128
o 397110
o 397100
o 397027
o 396971
o 396910
o 396854
o 396845
o 396789
o 396753
o 396709
o 396675
o 396665
o 396592
o 396536
o 396522
o 396449
o 396439
o 396366
o 396332
o 396322
o 396249
o 396193
o 396184
o 396128
o 396104
o 396097
o 396061
o 396017
o 395983
o 395973
o 395900
o 395844
o 395830
o 395757
o 395747
o 395674
o 395640
o 395630
o 395557
o 395501
o 395492
o 395436
o 395397
o 395341
o 395332
o 395276
o 395257
o 395194
o 395138
o 395077
o 395021
o 395012
o 394956
o 394920
o 394876
o 394842
o 394832
o 394759
o 394703
o 394689
o 394616
o 394606
o 394533
o 394499
o 394489
o 394416
o 394360
o 394351
o 394295
o 394290
o 394229
o 394173
o 394160
o 394104
o 394086
o 394042
o 393969
o 393959
o 393886
o 393830
o 393821
o 393765
o 393726
o 393670
o 393661
o 393605
o 393586
o 393523
o 393467
o 393406
o 393350
o 393341
o 393285
o 393249
o 393205
o 393171
o 393161
o 393088
o 393032
o 393018
o 392945
o 392935
o 392862
o 392828
o 392818
o 392745
o 392689
o 392680
o 392624
o 392620
o 392584
o 392540
o 392506
o 392496
o 392423
o 392367
o 392353
o 392280
o 392270
o 392197
o 392163
o 392153
o 392080
o 392024
o 392015
o 391959
o 391920
o 391859
o 391803
o 391794
o 391738
o 391702
o 391658
o 391624
o 391614
o 391541
o 391485
o 391471
o 391398
o 391388
o 391315
o 391281
o 391271
o 391198
o 391142
o 391133
o 391077
o 391053
o 391044
o 390988
o 390939
o 390878
o 390822
o 390813
o 390757
o 390721
o 390677
o 390643
o 390633
o 390560
o 390504
o 390490
o 390417
o 390407
o 390334
o 390300
o 390290
o 390217
o 390161
o 390152
o 390096
o 390047
o 390025
o 389969
o 389960
o 389904
o 389868
o 389858
o 389785
o 389780
o 389707
o 389651
o 389642
o 389632
o 389559
o 389525
o 389515
o 389442
o 389437
o 389364
o 389308
o 389299
o 389243
o 389239
o 389203
o 389193
o 389120
o 389115
o 389042
o 388986
o 388977
o 388967
o 388894
o 388860
o 388850
o 388777
o 388772
o 388699
o 388643
o 388634
o 388578
o 388556
o 388500
o 388478
o 388422
o 388413
o 388357
o 388321
o 388311
o 388238
o 388233
o 388160
o 388104
o 388095
o 388085
o 388012
o 387978
o 387968
o 387895
o 387890
o 387817
o 387761
o 387752
o 387696
o 387672
o 387663
o 387607
o 387571
o 387519
o 387510
o 387454
o 387441
o 387432
o 387376
o 387340
o 387330
o 387257
o 387252
o 387179
o 387123
o 387114
o 387104
o 387031
o 386997
o 386987
o 386914
o 386909
o 386836
o 386780
o 386771
o 386715
o 386679
o 386661
o 386651
o 386578
o 386522
o 386461
o 386405
o 386396
o 386340
o 386304
o 386260
o 386226
o 386216
o 386143
o 386087
o 386073
o 386000
o 385990
o 385917
o 385883
o 385873
o 385800
o 385744
o 385735
o 385679
o 385675
o 385639
o 385595
o 385561
o 385551
o 385478
o 385422
o 385408
o 385335
o 385325
o 385252
o 385218
o 385208
o 385135
o 385079
o 385070
o 385014
o 384975
o 384914
o 384858
o 384849
o 384793
o 384757
o 384713
o 384679
o 384669
o 384596
o 384540
o 384526
o 384453
o 384443
o 384370
o 384336
o 384326
o 384253
o 384197
o 384188
o 384132
o 384108
o 384099
o 384043
o 383994
o 383933
o 383877
o 383868
o 383812
o 383776
o 383732
o 383698
o 383688
o 383615
o 383559
o 383545
o 383472
o 383462
o 383389
o 383355
o 383345
o 383272
o 383216
o 383207
o 383151
o 383102
o 383080
o 383024
o 383015
o 382959
o 382923
o 382913
o 382840
o 382835
o 382762
o 382706
o 382697
o 382687
o 382614
o 382580
o 382570
o 382497
o 382492
o 382419
o 382363
o 382354
o 382298
o 382294
o 382258
o 382248
o 382175
o 382170
o 382097
o 382041
o 382032
o 382022
o 381949
o 381915
o 381905
o 381832
o 381827
o 381754
o 381698
o 381689
o 381633
o 381611
o 381555
o 381533
o 381477
o 381468
o 381412
o 381376
o 381366
o 381293
o 381288
o 381215
o 381159
o 381150
o 381140
o 381067
o 381033
o 381023
o 380950
o 380945
o 380872
o 380816
o 380807
o 380751
o 380727
o 380718
o 380662
o 380626
o 380574
o 380565
o 380509
o 380496
o 380487
o 380431
o 380395
o 380385
o 380312
o 380307
o 380234
o 380178
o 380169
o 380159
o 380086
o 380052
o 380042
o 379969
o 379964
o 379891
o 379835
o 379826
o 379770
o 379753
o 379730
o 379725
o 379652
o 379596
o 379535
o 379479
o 379470
o 379414
o 379378
o 379360
o 379350
o 379277
o 379221
o 379160
o 379104
o 379095
o 379039
o 379003
o 378959
o 378925
o 378915
o 378842
o 378786
o 378772
o 378699
o 378689
o 378616
o 378582
o 378572
o 378499
o 378443
o 378434
o 378378
o 378374
o 378338
o 378294
o 378260
o 378250
o 378177
o 378121
o 378107
o 378034
o 378024
o 377951
o 377917
o 377907
o 377834
o 377778
o 377769
o 377713
o 377641
o 377585
o 377524
o 377468
o 377459
o 377403
o 377367
o 377323
o 377289
o 377279
o 377206
o 377150
o 377136
o 377063
o 377053
o 376980
o 376946
o 376936
o 376863
o 376807
o 376798
o 376742
o 376693
o 376632
o 376576
o 376567
o 376511
o 376475
o 376431
o 376397
o 376387
o 376314
o 376258
o 376244
o 376171
o 376161
o 376088
o 376054
o 376044
o 375971
o 375915
o 375906
o 375850
o 375801
o 375779
o 375723
o 375714
o 375658
o 375622
o 375612
o 375539
o 375534
o 375461
o 375405
o 375396
o 375391
o 375318
o 375308
o 375235
o 375201
o 375191
o 375118
o 375062
o 375053
o 374997
o 374993
o 374957
o 374947
o 374874
o 374869
o 374796
o 374740
o 374731
o 374726
o 374653
o 374643
o 374570
o 374536
o 374526
o 374453
o 374397
o 374388
o 374332
o 374282
o 374221
o 374165
o 374143
o 374087
o 374078
o 374022
o 373986
o 373976
o 373903
o 373898
o 373825
o 373769
o 373760
o 373755
o 373682
o 373672
o 373599
o 373565
o 373555
o 373482
o 373426
o 373417
o 373361
o 373329
o 373273
o 373251
o 373195
o 373186
o 373130
o 373094
o 373084
o 373011
o 373006
o 372933
o 372877
o 372868
o 372863
o 372790
o 372780
o 372707
o 372673
o 372663
o 372590
o 372534
o 372525
o 372469
o 372468
o 372459
o 372403
o 372364
o 372355
o 372299
o 372263
o 372207
o 372185
o 372129
o 372124
o 372102
o 372046
o 372037
o 371981
o 371937
o 371920
o 371864
o 371859
o 371842
o 371786
o 371781
o 371759
o 371703
o 371694
o 371638
o 371620
o 371612
o 371603
o 371547
o 371511
o 371455
o 371446
o 371390
o 371338
o 371329
o 371273
o 371260
o 371251
o 371195
o 371194
o 371185
o 371129
o 371090
o 371081
o 371025
o 370989
o 370933
o 370911
o 370855
o 370850
o 370828
o 370772
o 370763
o 370707
o 370663
o 370646
o 370590
o 370585
o 370568
o 370512
o 370507
o 370485
o 370429
o 370420
o 370364
o 370324
o 370315
o 370259
o 370246
o 370237
o 370181
o 370150
o 370089
o 370033
o 370011
o 369955
o 369946
o 369890
o 369854
o 369844
o 369771
o 369766
o 369693
o 369637
o 369628
o 369623
o 369550
o 369540
o 369467
o 369433
o 369423
o 369350
o 369294
o 369285
o 369229
o 369225
o 369189
o 369179
o 369106
o 369101
o 369028
o 368972
o 368963
o 368958
o 368885
o 368875
o 368802
o 368768
o 368758
o 368685
o 368629
o 368620
o 368564
o 368514
o 368453
o 368397
o 368375
o 368319
o 368310
o 368254
o 368218
o 368208
o 368135
o 368130
o 368057
o 368001
o 367992
o 367987
o 367914
o 367904
o 367831
o 367797
o 367787
o 367714
o 367658
o 367649
o 367593
o 367561
o 367505
o 367483
o 367427
o 367418
o 367362
o 367326
o 367316
o 367243
o 367238
o 367165
o 367109
o 367100
o 367095
o 367022
o 367012
o 366939
o 366905
o 366895
o 366822
o 366766
o 366757
o 366701
o 366700
o 366691
o 366635
o 366596
o 366587
o 366531
o 366495
o 366439
o 366417
o 366361
o 366356
o 366334
o 366278
o 366269
o 366213
o 366169
o 366152
o 366096
o 366091
o 366074
o 366018
o 366013
o 365991
o 365935
o 365926
o 365870
o 365868
o 365812
o 365790
o 365734
o 365728
o 365706
o 365650
o 365633
o 365577
o 365538
o 365516
o 365460
o 365451
o 365395
o 365355
o 365346
o 365290
o 365277
o 365268
o 365212
o 365181
o 365120
o 365064
o 365042
o 364986
o 364977
o 364921
o 364885
o 364875
o 364802
o 364797
o 364724
o 364668
o 364659
o 364654
o 364581
o 364571
o 364498
o 364464
o 364454
o 364381
o 364325
o 364316
o 364260
o 364256
o 364220
o 364210
o 364137
o 364132
o 364059
o 364003
o 363994
o 363989
o 363916
o 363906
o 363833
o 363799
o 363789
o 363716
o 363660
o 363651
o 363595
o 363545
o 363484
o 363428
o 363406
o 363350
o 363341
o 363285
o 363249
o 363239
o 363166
o 363161
o 363088
o 363032
o 363023
o 363018
o 362945
o 362935
o 362862
o 362828
o 362818
o 362745
o 362689
o 362680
o 362624
o 362592
o 362536
o 362514
o 362458
o 362449
o 362393
o 362357
o 362347
o 362274
o 362269
o 362196
o 362140
o 362131
o 362126
o 362053
o 362043
o 361970
o 361936
o 361926
o 361853
o 361797
o 361788
o 361732
o 361731
o 361722
o 361666
o 361640
o 361627
o 361618
o 361562
o 361526
o 361516
o 361443
o 361438
o 361365
o 361309
o 361300
o 361295
o 361222
o 361212
o 361139
o 361105
o 361095
o 361022
o 360966
o 360957
o 360901
o 360869
o 360846
o 360841
o 360768
o 360712
o 360651
o 360595
o 360586
o 360530
o 360511
o 360509
o 360495
o 360490
o 360485
o 360412
o 360356
o 360312
o 360295
o 360239
o 360230
o 360174
o 360158
o 360097
o 360041
o 360022
o 359966
o 359944
o 359888
o 359884
o 359823
o 359767
o 359748
o 359692
o 359670
o 359614
o 359605
o 359549
o 359513
o 359491
o 359435
o 359426
o 359370
o 359329
o 359307
o 359251
o 359207
o 359190
o 359134
o 359125
o 359069
o 359033
o 359023
o 358950
o 358945
o 358872
o 358816
o 358807
o 358802
o 358729
o 358719
o 358646
o 358612
o 358602
o 358529
o 358473
o 358464
o 358408
o 358400
o 358391
o 358335
o 358303
o 358280
o 358275
o 358202
o 358146
o 358085
o 358029
o 358020
o 357964
o 357945
o 357943
o 357929
o 357924
o 357919
o 357846
o 357790
o 357746
o 357729
o 357673
o 357664
o 357608
o 357592
o 357531
o 357475
o 357456
o 357400
o 357378
o 357322
o 357318
o 357257
o 357201
o 357182
o 357126
o 357104
o 357048
o 357039
o 356983
o 356947
o 356925
o 356869
o 356860
o 356804
o 356763
o 356741
o 356685
o 356641
o 356624
o 356568
o 356559
o 356503
o 356467
o 356457
o 356384
o 356379
o 356306
o 356250
o 356241
o 356236
o 356163
o 356153
o 356080
o 356046
o 356036
o 355963
o 355907
o 355898
o 355842
o 355833
o 355777
o 355755
o 355699
o 355690
o 355634
o 355624
o 355615
o 355559
o 355546
o 355537
o 355481
o 355464
o 355442
o 355386
o 355377
o 355321
o 355302
o 355261
o 355200
o 355144
o 355122
o 355066
o 355057
o 355001
o 354965
o 354955
o 354882
o 354877
o 354804
o 354748
o 354739
o 354734
o 354661
o 354651
o 354578
o 354544
o 354534
o 354461
o 354405
o 354396
o 354340
o 354328
o 354319
o 354263
o 354253
o 354244
o 354188
o 354175
o 354166
o 354110
o 354093
o 354071
o 354015
o 354006
o 353950
o 353931
o 353890
o 353829
o 353773
o 353751
o 353695
o 353686
o 353630
o 353594
o 353584
o 353511
o 353506
o 353433
o 353377
o 353368
o 353363
o 353290
o 353280
o 353207
o 353173
o 353163
o 353090
o 353034
o 353025
o 352969
o 352968
o 352912
o 352899
o 352843
o 352820
o 352815
o 352742
o 352686
o 352625
o Killed
1819.554u 0.168s 30:22.67 99.8%	0+0k 0+0io 0pf+0w