Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-1.6-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-220-1_network-6.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-220-1_network-6.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 568 1901 3310470
WARNING: Ubcsat not found.
o 3310470
o 707923
o 707437
o 706943
o 706644
o 706256
o 705762
o 705283
o 705280
o 704819
o 704340
o 704337
o 703940
o 703461
o 703458
o 703289
o 702810
o 702807
o 702410
o 701931
o 701928
o 701496
o 701493
o 701164
o 700685
o 700682
o 700250
o 700247
o 700047
o 700044
o 699990
o 699987
o 699658
o 699179
o 699176
o 698744
o 698741
o 698541
o 698538
o 698354
o 698351
o 698064
o 697585
o 697582
o 697150
o 697147
o 696947
o 696944
o 696760
o 696757
o 696743
o 696740
o 696308
o 696305
o 696105
o 696102
o 695918
o 695915
o 695827
o 695824
o 695726
o 695723
o 695539
o 695536
o 695249
o 694770
o 694767
o 694335
o 694332
o 694132
o 694129
o 693945
o 693942
o 693928
o 693925
o 693493
o 693490
o 693290
o 693287
o 693103
o 693100
o 692795
o 692792
o 692592
o 692589
o 692405
o 692402
o 692234
o 692231
o 692031
o 692028
o 691844
o 691841
o 691793
o 691790
o 691606
o 691603
o 691528
o 691525
o 691341
o 691338
o 691300
o 691297
o 691113
o 691110
o 691076
o 691073
o 690873
o 690870
o 690686
o 690683
o 690552
o 690549
o 690515
o 690512
o 690312
o 690309
o 690125
o 690122
o 690074
o 690071
o 689887
o 689884
o 689809
o 689806
o 689622
o 689619
o 689524
o 689521
o 689483
o 689480
o 689296
o 689293
o 689259
o 689256
o 689056
o 689053
o 688869
o 688866
o 688735
o 688732
o 688698
o 688695
o 688495
o 688492
o 688308
o 688305
o 688257
o 688254
o 688070
o 688067
o 687992
o 687989
o 687805
o 687802
o 687763
o 687760
o 687738
o 687735
o 687551
o 687548
o 687473
o 687470
o 687286
o 687283
o 687188
o 687185
o 687147
o 687144
o 686960
o 686957
o 686923
o 686920
o 686720
o 686717
o 686533
o 686530
o 686399
o 686396
o 686362
o 686359
o 686159
o 686156
o 685972
o 685969
o 685921
o 685918
o 685734
o 685731
o 685656
o 685653
o 685469
o 685466
o 685427
o 685424
o 685333
o 685330
o 685235
o 685232
o 685194
o 685191
o 685007
o 685004
o 684970
o 684967
o 684767
o 684764
o 684580
o 684577
o 684446
o 684443
o 684409
o 684406
o 684206
o 684203
o 684019
o 684016
o 683968
o 683965
o 683781
o 683778
o 683703
o 683700
o 683516
o 683513
o 683474
o 683471
o 683322
o 683319
o 683285
o 683282
o 683082
o 683079
o 682895
o 682892
o 682761
o 682758
o 682724
o 682721
o 682521
o 682518
o 682334
o 682331
o 682283
o 682280
o 682096
o 682093
o 682018
o 682015
o 681831
o 681828
o 681789
o 681786
o 681739
o 681736
o 681552
o 681549
o 681501
o 681498
o 681314
o 681311
o 681236
o 681233
o 681049
o 681046
o 681007
o 681004
o 680855
o 680852
o 680818
o 680815
o 680615
o 680612
o 680428
o 680425
o 680294
o 680291
o 680257
o 680254
o 680054
o 680051
o 679867
o 679864
o 679816
o 679813
o 679629
o 679626
o 679551
o 679548
o 679364
o 679361
o 679322
o 679319
o 679271
o 679268
o 679084
o 679081
o 679006
o 679003
o 678819
o 678816
o 678777
o 678774
o 678625
o 678622
o 678588
o 678585
o 678385
o 678382
o 678198
o 678195
o 678064
o 678061
o 678027
o 678024
o 677824
o 677821
o 677637
o 677634
o 677586
o 677583
o 677399
o 677396
o 677321
o 677318
o 677134
o 677131
o 677092
o 677089
o 677017
o 677014
o 676975
o 676972
o 676823
o 676820
o 676786
o 676783
o 676583
o 676580
o 676396
o 676393
o 676262
o 676259
o 676225
o 676222
o 676022
o 676019
o 675835
o 675832
o 675784
o 675781
o 675597
o 675594
o 675519
o 675516
o 675332
o 675329
o 675290
o 675287
o 675200
o 675197
o 675013
o 675010
o 674879
o 674876
o 674842
o 674839
o 674639
o 674636
o 674452
o 674449
o 674401
o 674398
o 674214
o 674211
o 674136
o 674133
o 673949
o 673946
o 673907
o 673904
o 673741
o 673738
o 673554
o 673551
o 673420
o 673417
o 673383
o 673380
o 673180
o 673177
o 672993
o 672990
o 672942
o 672939
o 672755
o 672752
o 672677
o 672674
o 672490
o 672487
o 672448
o 672445
o 672358
o 672355
o 672171
o 672168
o 672037
o 672034
o 672000
o 671997
o 671797
o 671794
o 671610
o 671607
o 671559
o 671556
o 671372
o 671369
o 671294
o 671291
o 671107
o 671104
o 671065
o 671062
o 671050
o 671047
o 670999
o 670996
o 670812
o 670809
o 670734
o 670731
o 670547
o 670544
o 670505
o 670502
o 670409
o 670406
o 670331
o 670328
o 670144
o 670141
o 670102
o 670099
o 670018
o 670015
o 669981
o 669978
o 669778
o 669775
o 669591
o 669588
o 669540
o 669537
o 669353
o 669350
o 669275
o 669272
o 669088
o 669085
o 669046
o 669043
o 669026
o 669023
o 668948
o 668945
o 668761
o 668758
o 668719
o 668716
o 668635
o 668632
o 668598
o 668595
o 668395
o 668392
o 668208
o 668205
o 668157
o 668154
o 667970
o 667967
o 667892
o 667889
o 667705
o 667702
o 667663
o 667660
o 667645
o 667642
o 667608
o 667605
o 667405
o 667402
o 667218
o 667215
o 667167
o 667164
o 666980
o 666977
o 666902
o 666899
o 666715
o 666712
o 666673
o 666670
o 666658
o 666655
o 666607
o 666604
o 666420
o 666417
o 666342
o 666339
o 666155
o 666152
o 666113
o 666110
o 666017
o 666014
o 665939
o 665936
o 665752
o 665749
o 665710
o 665707
o 665626
o 665623
o 665589
o 665586
o 665386
o 665383
o 665199
o 665196
o 665148
o 665145
o 664961
o 664958
o 664883
o 664880
o 664696
o 664693
o 664654
o 664651
o 664634
o 664631
o 664556
o 664553
o 664369
o 664366
o 664327
o 664324
o 664243
o 664240
o 664206
o 664203
o 664003
o 664000
o 663816
o 663813
o 663765
o 663762
o 663578
o 663575
o 663500
o 663497
o 663313
o 663310
o 663271
o 663268
o 663159
o 663156
o 663117
o 663114
o 663021
o 663018
o 662943
o 662940
o 662756
o 662753
o 662714
o 662711
o 662630
o 662627
o 662593
o 662590
o 662390
o 662387
o 662203
o 662200
o 662152
o 662149
o 661965
o 661962
o 661887
o 661884
o 661700
o 661697
o 661658
o 661655
o 661638
o 661635
o 661560
o 661557
o 661373
o 661370
o 661331
o 661328
o 661247
o 661244
o 661210
o 661207
o 661007
o 661004
o 660820
o 660817
o 660769
o 660766
o 660582
o 660579
o 660504
o 660501
o 660317
o 660314
o 660275
o 660272
o 660139
o 660136
o 660061
o 660058
o 659874
o 659871
o 659832
o 659829
o 659716
o 659713
o 659529
o 659526
o 659478
o 659475
o 659291
o 659288
o 659213
o 659210
o 659026
o 659023
o 658984
o 658981
o 658872
o 658869
o 658830
o 658827
o 658806
o 658803
o 658619
o 658616
o 658541
o 658538
o 658354
o 658351
o 658312
o 658309
o 658306
o 658303
o 658103
o 658100
o 657916
o 657913
o 657865
o 657862
o 657678
o 657675
o 657600
o 657597
o 657413
o 657410
o 657371
o 657368
o 657351
o 657348
o 657273
o 657270
o 657086
o 657083
o 657044
o 657041
o 656960
o 656957
o 656923
o 656920
o 656720
o 656717
o 656533
o 656530
o 656482
o 656479
o 656295
o 656292
o 656217
o 656214
o 656030
o 656027
o 655988
o 655985
o 655852
o 655849
o 655774
o 655771
o 655587
o 655584
o 655545
o 655542
o 655443
o 655440
o 655392
o 655389
o 655205
o 655202
o 655127
o 655124
o 654940
o 654937
o 654898
o 654895
o 654786
o 654783
o 654744
o 654741
o 654720
o 654717
o 654533
o 654530
o 654455
o 654452
o 654268
o 654265
o 654226
o 654223
o 654220
o 654217
o 654017
o 654014
o 653830
o 653827
o 653779
o 653776
o 653592
o 653589
o 653514
o 653511
o 653327
o 653324
o 653285
o 653282
o 653265
o 653262
o 653187
o 653184
o 653000
o 652997
o 652958
o 652955
o 652874
o 652871
o 652837
o 652834
o 652634
o 652631
o 652447
o 652444
o 652396
o 652393
o 652209
o 652206
o 652131
o 652128
o 651944
o 651941
o 651902
o 651899
o 651766
o 651763
o 651688
o 651685
o 651501
o 651498
o 651459
o 651456
o 651402
o 651399
o 651360
o 651357
o 651224
o 651221
o 651146
o 651143
o 650959
o 650956
o 650917
o 650914
o 650770
o 650767
o 650692
o 650689
o 650505
o 650502
o 650463
o 650460
o 650457
o 650454
o 650254
o 650251
o 650067
o 650064
o 650016
o 650013
o 649829
o 649826
o 649751
o 649748
o 649564
o 649561
o 649522
o 649519
o 649502
o 649499
o 649424
o 649421
o 649237
o 649234
o 649195
o 649192
o 649111
o 649108
o 649074
o 649071
o 648871
o 648868
o 648684
o 648681
o 648633
o 648630
o 648446
o 648443
o 648368
o 648365
o 648181
o 648178
o 648139
o 648136
o 648003
o 648000
o 647925
o 647922
o 647738
o 647735
o 647696
o 647693
o 647535
o 647532
o 647493
o 647490
o 647449
o 647446
o 647262
o 647259
o 647220
o 647217
o 647084
o 647081
o 647006
o 647003
o 646819
o 646816
o 646777
o 646774
o 646720
o 646717
o 646678
o 646675
o 646542
o 646539
o 646464
o 646461
o 646277
o 646274
o 646235
o 646232
o 646088
o 646085
o 646010
o 646007
o 645823
o 645820
o 645781
o 645778
o 645775
o 645772
o 645572
o 645569
o 645385
o 645382
o 645334
o 645331
o 645147
o 645144
o 645069
o 645066
o 644882
o 644879
o 644840
o 644837
o 644820
o 644817
o 644742
o 644739
o 644555
o 644552
o 644513
o 644510
o 644429
o 644426
o 644392
o 644389
o 644189
o 644186
o 644002
o 643999
o 643951
o 643948
o 643764
o 643761
o 643686
o 643683
o 643499
o 643496
o 643457
o 643454
o 643321
o 643318
o 643243
o 643240
o 643056
o 643053
o 643014
o 643011
o 642983
o 642980
o 642932
o 642929
o 642745
o 642742
o 642667
o 642664
o 642480
o 642477
o 642438
o 642435
o 642433
o 642394
o 642391
o 642340
o 642337
o 642153
o 642150
o 642111
o 642108
o 642106
o 642067
o 642064
o 642027
o 642024
o 641990
o 641987
o 641787
o 641784
o 641600
o 641597
o 641549
o 641546
o 641362
o 641359
o 641284
o 641281
o 641097
o 641094
o 641055
o 641052
o 641050
o 641011
o 641008
o 640919
o 640916
o 640841
o 640838
o 640654
o 640651
o 640612
o 640609
o 640607
o 640568
o 640565
o 640558
o 640555
o 640496
o 640493
o 640309
o 640306
o 640267
o 640264
o 640234
o 640231
o 640047
o 640044
o 639996
o 639993
o 639809
o 639806
o 639731
o 639728
o 639544
o 639541
o 639502
o 639499
o 639366
o 639363
o 639288
o 639285
o 639101
o 639098
o 639059
o 639056
o 639028
o 639025
o 638977
o 638974
o 638790
o 638787
o 638712
o 638709
o 638525
o 638522
o 638483
o 638480
o 638478
o 638439
o 638436
o 638385
o 638382
o 638198
o 638195
o 638156
o 638153
o 638151
o 638112
o 638109
o 638094
o 638091
o 637907
o 637904
o 637865
o 637862
o 637832
o 637829
o 637645
o 637642
o 637594
o 637591
o 637407
o 637404
o 637329
o 637326
o 637142
o 637139
o 637100
o 637097
o 637095
o 637056
o 637053
o 636964
o 636961
o 636886
o 636883
o 636699
o 636696
o 636657
o 636654
o 636652
o 636613
o 636610
o 636595
o 636592
o 636577
o 636574
o 636390
o 636387
o 636348
o 636345
o 636315
o 636312
o 636128
o 636125
o 636077
o 636074
o 635890
o 635887
o 635812
o 635809
o 635625
o 635622
o 635583
o 635580
o 635578
o 635539
o 635536
o 635447
o 635444
o 635369
o 635366
o 635182
o 635179
o 635140
o 635137
o 635135
o 635096
o 635093
o 635051
o 635048
o 634864
o 634861
o 634786
o 634783
o 634599
o 634596
o 634557
o 634554
o 634552
o 634513
o 634510
o 634459
o 634456
o 634272
o 634269
o 634230
o 634227
o 634225
o 634186
o 634183
o 634168
o 634165
o 633981
o 633978
o 633939
o 633936
o 633906
o 633903
o 633719
o 633716
o 633668
o 633665
o 633481
o 633478
o 633403
o 633400
o 633216
o 633213
o 633174
o 633171
o 633169
o 633130
o 633127
o 633038
o 633035
o 632960
o 632957
o 632773
o 632770
o 632731
o 632728
o 632726
o 632687
o 632684
o 632590
o 632587
o 632539
o 632536
o 632352
o 632349
o 632274
o 632271
o 632087
o 632084
o 632045
o 632042
o 632040
o 632001
o 631998
o 631909
o 631906
o 631831
o 631828
o 631644
o 631641
o 631602
o 631599
o 631597
o 631558
o 631555
o 631513
o 631510
o 631326
o 631323
o 631248
o 631245
o 631061
o 631058
o 631019
o 631016
o 631014
o 630975
o 630972
o 630921
o 630918
o 630734
o 630731
o 630692
o 630689
o 630687
o 630648
o 630645
o 630630
o 630627
o 630443
o 630440
o 630401
o 630398
o 630368
o 630365
o 630181
o 630178
o 630130
o 630127
o 629943
o 629940
o 629865
o 629862
o 629678
o 629675
o 629636
o 629633
o 629631
o 629592
o 629589
o 629500
o 629497
o 629422
o 629419
o 629235
o 629232
o 629193
o 629190
o 629188
o 629149
o 629146
o 629134
o 629131
o 629116
o 629113
o 628929
o 628926
o 628887
o 628884
o 628854
o 628851
o 628667
o 628664
o 628616
o 628613
o 628429
o 628426
o 628351
o 628348
o 628164
o 628161
o 628122
o 628119
o 628117
o 628078
o 628075
o 627986
o 627983
o 627908
o 627905
o 627721
o 627718
o 627679
o 627676
o 627674
o 627635
o 627632
o 627508
o 627505
o 627504
o 627470
o 627467
o 627283
o 627280
o 627205
o 627202
o 627018
o 627015
o 626976
o 626973
o 626971
o 626932
o 626929
o 626840
o 626837
o 626762
o 626759
o 626575
o 626572
o 626533
o 626530
o 626528
o 626489
o 626486
o 626474
o 626471
o 626456
o 626453
o 626269
o 626266
o 626227
o 626224
o 626181
o 626178
o 625994
o 625991
o 625990
o 625956
o 625953
o 625769
o 625766
o 625691
o 625688
o 625504
o 625501
o 625462
o 625459
o 625457
o 625418
o 625415
o 625326
o 625323
o 625248
o 625245
o 625061
o 625058
o 625019
o 625016
o 625014
o 624975
o 624972
o 624830
o 624827
o 624788
o 624785
o 624783
o 624744
o 624741
o 624652
o 624649
o 624574
o 624571
o 624387
o 624384
o 624345
o 624342
o 624340
o 624301
o 624298
o 624286
o 624283
o 624268
o 624265
o 624081
o 624078
o 624039
o 624036
o 624006
o 624003
o 623819
o 623816
o 623768
o 623765
o 623581
o 623578
o 623503
o 623500
o 623316
o 623313
o 623274
o 623271
o 623269
o 623230
o 623227
o 623138
o 623135
o 623060
o 623057
o 622873
o 622870
o 622831
o 622828
o 622826
o 622787
o 622784
o 622660
o 622657
o 622656
o 622622
o 622619
o 622435
o 622432
o 622357
o 622354
o 622170
o 622167
o 622128
o 622125
o 622123
o 622084
o 622081
o 621992
o 621989
o 621914
o 621911
o 621727
o 621724
o 621685
o 621682
o 621680
o 621641
o 621638
o 621626
o 621623
o 621608
o 621605
o 621421
o 621418
o 621379
o 621376
o 621333
o 621330
o 621146
o 621143
o 621142
o 621108
o 621105
o 620921
o 620918
o 620843
o 620840
o 620656
o 620653
o 620614
o 620611
o 620609
o 620570
o 620567
o 620478
o 620475
o 620400
o 620397
o 620213
o 620210
o 620171
o 620168
o 620166
o 620127
o 620124
o 620046
o 620043
o 620004
o 620001
o 619999
o 619960
o 619957
o 619946
o 619943
o 619904
o 619901
o 619899
o 619860
o 619857
o 619790
o 619787
o 619603
o 619600
o 619561
o 619558
o 619556
o 619517
o 619514
o 619378
o 619375
o 619327
o 619324
o 619140
o 619137
o 619062
o 619059
o 618875
o 618872
o 618833
o 618830
o 618828
o 618789
o 618786
o 618719
o 618716
o 618532
o 618529
o 618490
o 618487
o 618485
o 618446
o 618443
o 618432
o 618429
o 618390
o 618387
o 618385
o 618346
o 618343
o 618276
o 618273
o 618089
o 618086
o 618047
o 618044
o 618042
o 618003
o 618000
o 617994
o 617991
o 617916
o 617913
o 617729
o 617726
o 617687
o 617684
o 617682
o 617643
o 617640
o 617573
o 617570
o 617386
o 617383
o 617344
o 617341
o 617339
o 617300
o 617297
o 617286
o 617283
o 617244
o 617241
o 617239
o 617200
o 617197
o 617130
o 617127
o 616943
o 616940
o 616901
o 616898
o 616896
o 616857
o 616854
o 616705
o 616702
o 616701
o 616667
o 616664
o 616480
o 616477
o 616402
o 616399
o 616215
o 616212
o 616173
o 616170
o 616168
o 616129
o 616126
o 616059
o 616056
o 615872
o 615869
o 615830
o 615827
o 615825
o 615786
o 615783
o 615772
o 615769
o 615730
o 615727
o 615725
o 615686
o 615683
o 615616
o 615613
o 615429
o 615426
o 615387
o 615384
o 615382
o 615343
o 615340
o 615192
o 615189
o 615150
o 615147
o 615145
o 615106
o 615103
o 615025
o 615022
o 614983
o 614980
o 614978
o 614939
o 614936
o 614925
o 614922
o 614883
o 614880
o 614878
o 614839
o 614836
o 614769
o 614766
o 614582
o 614579
o 614540
o 614537
o 614535
o 614496
o 614493
o 614357
o 614354
o 614306
o 614303
o 614119
o 614116
o 614041
o 614038
o 613854
o 613851
o 613812
o 613809
o 613807
o 613768
o 613765
o 613698
o 613695
o 613511
o 613508
o 613469
o 613466
o 613464
o 613425
o 613422
o 613411
o 613408
o 613369
o 613366
o 613364
o 613325
o 613322
o 613255
o 613252
o 613068
o 613065
o 613026
o 613023
o 613021
o 612982
o 612979
o 612973
o 612970
o 612895
o 612892
o 612708
o 612705
o 612666
o 612663
o 612661
o 612622
o 612619
o 612552
o 612549
o 612365
o 612362
o 612323
o 612320
o 612318
o 612279
o 612276
o 612265
o 612262
o 612223
o 612220
o 612218
o 612179
o 612176
o 612109
o 612106
o 611922
o 611919
o 611880
o 611877
o 611875
o 611836
o 611833
o 611684
o 611681
o 611680
o 611646
o 611643
o 611459
o 611456
o 611381
o 611378
o 611194
o 611191
o 611152
o 611149
o 611147
o 611108
o 611105
o 611038
o 611035
o 610851
o 610848
o 610809
o 610806
o 610804
o 610765
o 610762
o 610751
o 610748
o 610709
o 610706
o 610704
o 610665
o 610662
o 610595
o 610592
o 610408
o 610405
o 610366
o 610363
o 610361
o 610322
o 610319
o 610278
o 610275
o 610236
o 610233
o 610231
o 610192
o 610189
o 610045
o 610042
o 609967
o 609964
o 609780
o 609777
o 609738
o 609735
o 609733
o 609694
o 609691
o 609624
o 609621
o 609437
o 609434
o 609395
o 609392
o 609390
o 609351
o 609348
o 609337
o 609334
o 609295
o 609292
o 609290
o 609251
o 609248
o 609181
o 609178
o 608994
o 608991
o 608952
o 608949
o 608947
o 608908
o 608905
o 608899
o 608896
o 608821
o 608818
o 608634
o 608631
o 608592
o 608589
o 608587
o 608548
o 608545
o 608478
o 608475
o 608291
o 608288
o 608249
o 608246
o 608244
o 608205
o 608202
o 608191
o 608188
o 608149
o 608146
o 608144
o 608105
o 608102
o 608035
o 608032
o 607848
o 607845
o 607806
o 607803
o 607801
o 607762
o 607759
o 607610
o 607607
o 607606
o 607572
o 607569
o 607385
o 607382
o 607307
o 607304
o 607120
o 607117
o 607078
o 607075
o 607073
o 607034
o 607031
o 606964
o 606961
o 606777
o 606774
o 606735
o 606732
o 606730
o 606691
o 606688
o 606677
o 606674
o 606635
o 606632
o 606630
o 606591
o 606588
o 606521
o 606518
o 606334
o 606331
o 606292
o 606289
o 606287
o 606248
o 606245
o 606244
o 606205
o 606202
o 606175
o 606172
o 606133
o 606130
o 606128
o 606089
o 606086
o 606036
o 606033
o 606019
o 606016
o 605832
o 605829
o 605790
o 605787
o 605785
o 605746
o 605743
o 605732
o 605729
o 605690
o 605687
o 605685
o 605646
o 605643
o 605593
o 605590
o 605576
o 605573
o 605389
o 605386
o 605347
o 605344
o 605342
o 605303
o 605300
o 605294
o 605291
o 605233
o 605230
o 605216
o 605213
o 605029
o 605026
o 604987
o 604984
o 604982
o 604943
o 604940
o 604890
o 604887
o 604873
o 604870
o 604686
o 604683
o 604644
o 604641
o 604639
o 604600
o 604597
o 604586
o 604583
o 604544
o 604541
o 604539
o 604500
o 604497
o 604447
o 604444
o 604430
o 604427
o 604243
o 604240
o 604201
o 604198
o 604196
o 604157
o 604154
o 604005
o 604002
o 604001
o 603984
o 603981
o 603967
o 603964
o 603780
o 603777
o 603719
o 603716
o 603702
o 603699
o 603515
o 603512
o 603473
o 603470
o 603468
o 603429
o 603426
o 603376
o 603373
o 603359
o 603356
o 603172
o 603169
o 603130
o 603127
o 603125
o 603086
o 603083
o 603072
o 603069
o 603030
o 603027
o 603025
o 602986
o 602983
o 602933
o 602930
o 602916
o 602913
o 602729
o 602726
o 602687
o 602684
o 602682
o 602643
o 602640
o 602639
o 602600
o 602597
o 602567
o 602564
o 602562
o 602523
o 602520
o 602453
o 602450
o 602266
o 602263
o 602224
o 602221
o 602219
o 602180
o 602177
o 602166
o 602163
o 602124
o 602121
o 602119
o 602080
o 602077
o 602010
o 602007
o 601823
o 601820
o 601781
o 601778
o 601776
o 601737
o 601734
o 601733
o 601694
o 601691
o 601664
o 601661
o 601622
o 601619
o 601617
o 601578
o 601575
o 601525
o 601522
o 601508
o 601505
o 601321
o 601318
o 601279
o 601276
o 601274
o 601235
o 601232
o 601221
o 601218
o 601179
o 601176
o 601174
o 601135
o 601132
o 601082
o 601079
o 601065
o 601062
o 600878
o 600875
o 600836
o 600833
o 600831
o 600792
o 600789
o 600783
o 600780
o 600722
o 600719
o 600705
o 600702
o 600518
o 600515
o 600476
o 600473
o 600471
o 600432
o 600429
o 600379
o 600376
o 600362
o 600359
o 600175
o 600172
o 600133
o 600130
o 600128
o 600089
o 600086
o 600075
o 600072
o 600033
o 600030
o 600028
o 599989
o 599986
o 599936
o 599933
o 599919
o 599916
o 599732
o 599729
o 599690
o 599687
o 599685
o 599646
o 599643
o 599494
o 599491
o 599490
o 599473
o 599470
o 599456
o 599453
o 599269
o 599266
o 599208
o 599205
o 599191
o 599188
o 599004
o 599001
o 598962
o 598959
o 598957
o 598918
o 598915
o 598865
o 598862
o 598848
o 598845
o 598661
o 598658
o 598619
o 598616
o 598614
o 598575
o 598572
o 598561
o 598558
o 598519
o 598516
o 598514
o 598475
o 598472
o 598422
o 598419
o 598405
o 598402
o 598218
o 598215
o 598176
o 598173
o 598171
o 598132
o 598129
o 598128
o 598089
o 598086
o 598027
o 598024
o 597985
o 597982
o 597980
o 597941
o 597938
o 597937
o 597898
o 597895
o 597865
o 597862
o 597860
o 597821
o 597818
o 597751
o 597748
o 597564
o 597561
o 597522
o 597519
o 597517
o 597478
o 597475
o 597464
o 597461
o 597422
o 597419
o 597417
o 597378
o 597375
o 597308
o 597305
o 597121
o 597118
o 597079
o 597076
o 597074
o 597035
o 597032
o 597031
o 596992
o 596989
o 596962
o 596959
o 596920
o 596917
o 596915
o 596876
o 596873
o 596823
o 596820
o 596806
o 596803
o 596619
o 596616
o 596577
o 596574
o 596572
o 596533
o 596530
o 596519
o 596516
o 596477
o 596474
o 596472
o 596433
o 596430
o 596380
o 596377
o 596363
o 596360
o 596176
o 596173
o 596134
o 596131
o 596129
o 596090
o 596087
o 596081
o 596078
o 596020
o 596017
o 596003
o 596000
o 595816
o 595813
o 595774
o 595771
o 595769
o 595730
o 595727
o 595677
o 595674
o 595660
o 595657
o 595473
o 595470
o 595431
o 595428
o 595426
o 595387
o 595384
o 595373
o 595370
o 595331
o 595328
o 595326
o 595287
o 595284
o 595234
o 595231
o 595217
o 595214
o 595030
o 595027
o 594988
o 594985
o 594983
o 594944
o 594941
o 594880
o 594877
o 594838
o 594835
o 594833
o 594794
o 594791
o 594789
o 594788
o 594771
o 594768
o 594754
o 594751
o 594567
o 594564
o 594506
o 594503
o 594489
o 594486
o 594302
o 594299
o 594260
o 594257
o 594255
o 594216
o 594213
o 594163
o 594160
o 594146
o 594143
o 593959
o 593956
o 593917
o 593914
o 593912
o 593873
o 593870
o 593859
o 593856
o 593817
o 593814
o 593812
o 593773
o 593770
o 593720
o 593717
o 593703
o 593700
o 593516
o 593513
o 593474
o 593471
o 593469
o 593430
o 593427
o 593426
o 593387
o 593384
o 593359
o 593356
o 593354
o 593315
o 593312
o 593301
o 593298
o 593259
o 593256
o 593254
o 593215
o 593212
o 593162
o 593159
o 593145
o 593142
o 592958
o 592955
o 592916
o 592913
o 592911
o 592872
o 592869
o 592868
o 592829
o 592826
o 592767
o 592764
o 592725
o 592722
o 592720
o 592681
o 592678
o 592677
o 592638
o 592635
o 592605
o 592602
o 592600
o 592561
o 592558
o 592491
o 592488
o 592304
o 592301
o 592262
o 592259
o 592257
o 592218
o 592215
o 592204
o 592201
o 592162
o 592159
o 592157
o 592118
o 592115
o 592048
o 592045
o 591861
o 591858
o 591819
o 591816
o 591814
o 591775
o 591772
o 591771
o 591732
o 591729
o 591702
o 591699
o 591660
o 591657
o 591655
o 591616
o 591613
o 591563
o 591560
o 591546
o 591543
o 591359
o 591356
o 591317
o 591314
o 591312
o 591273
o 591270
o 591259
o 591256
o 591217
o 591214
o 591212
o 591173
o 591170
o 591120
o 591117
o 591103
o 591100
o 590916
o 590913
o 590874
o 590871
o 590869
o 590830
o 590827
o 590821
o 590818
o 590760
o 590757
o 590743
o 590740
o 590556
o 590553
o 590514
o 590511
o 590509
o 590470
o 590467
o 590417
o 590414
o 590400
o 590397
o 590213
o 590210
o 590171
o 590168
o 590166
o 590127
o 590124
o 590113
o 590110
o 590071
o 590068
o 590066
o 590027
o 590024
o 589974
o 589971
o 589957
o 589954
o 589770
o 589767
o 589728
o 589725
o 589723
o 589684
o 589681
o 589620
o 589617
o 589578
o 589575
o 589573
o 589534
o 589531
o 589529
o 589528
o 589511
o 589508
o 589494
o 589491
o 589307
o 589304
o 589246
o 589243
o 589229
o 589226
o 589042
o 589039
o 589000
o 588997
o 588995
o 588956
o 588953
o 588903
o 588900
o 588886
o 588883
o 588699
o 588696
o 588657
o 588654
o 588652
o 588613
o 588610
o 588599
o 588596
o 588557
o 588554
o 588552
o 588513
o 588510
o 588460
o 588457
o 588443
o 588440
o 588256
o 588253
o 588214
o 588211
o 588209
o 588170
o 588167
o 588166
o 588127
o 588124
o 588108
o 588105
o 587987
o 587984
o 587851
o 587848
o 587809
o 587806
o 587804
o 587765
o 587762
o 587751
o 587748
o 587709
o 587706
o 587704
o 587665
o 587662
o 587544
o 587541
o 587408
o 587405
o 587366
o 587363
o 587361
o 587322
o 587319
o 587318
o 587279
o 587276
o 587249
o 587246
o 587207
o 587204
o 587202
o 587163
o 587160
o 587042
o 587039
o 586906
o 586903
o 586864
o 586861
o 586859
o 586820
o 586817
o 586806
o 586803
o 586764
o 586761
o 586759
o 586720
o 586717
o 586599
o 586596
o 586463
o 586460
o 586421
o 586418
o 586416
o 586377
o 586374
o 586239
o 586236
o 586103
o 586100
o 586061
o 586058
o 586056
o 586017
o 586014
o 585896
o 585893
o 585760
o 585757
o 585718
o 585715
o 585713
o 585674
o 585671
o 585660
o 585657
o 585618
o 585615
o 585613
o 585574
o 585571
o 585453
o 585450
o 585317
o 585314
o 585275
o 585272
o 585270
o 585231
o 585228
o 585167
o 585164
o 585125
o 585122
o 585120
o 585081
o 585078
o 585076
o 585075
o 584990
o 584987
o 584929
o 584926
o 584912
o 584909
o 584725
o 584722
o 584589
o 584586
o 584547
o 584544
o 584542
o 584503
o 584500
o 584382
o 584379
o 584246
o 584243
o 584204
o 584201
o 584199
o 584160
o 584157
o 584146
o 584143
o 584104
o 584101
o 584099
o 584060
o 584057
o 583939
o 583936
o 583803
o 583800
o 583761
o 583758
o 583756
o 583717
o 583714
o 583713
o 583674
o 583671
o 583629
o 583626
o 583587
o 583584
o 583582
o 583543
o 583540
o 583490
o 583487
o 583473
o 583470
o 583286
o 583283
o 583244
o 583241
o 583239
o 583200
o 583197
o 583186
o 583183
o 583144
o 583141
o 583139
o 583100
o 583097
o 583047
o 583044
o 583030
o 583027
o 582843
o 582840
o 582801
o 582798
o 582796
o 582757
o 582754
o 582753
o 582714
o 582711
o 582695
o 582692
o 582574
o 582571
o 582438
o 582435
o 582396
o 582393
o 582391
o 582352
o 582349
o 582338
o 582335
o 582296
o 582293
o 582291
o 582252
o 582249
o 582131
o 582128
o 581995
o 581992
o 581953
o 581950
o 581948
o 581909
o 581906
o 581905
o 581866
o 581863
o 581836
o 581833
o 581794
o 581791
o 581789
o 581750
o 581747
o 581629
o 581626
o 581493
o 581490
o 581451
o 581448
o 581446
o 581407
o 581404
o 581393
o 581390
o 581351
o 581348
o 581346
o 581307
o 581304
o 581186
o 581183
o 581050
o 581047
o 581008
o 581005
o 581003
o 580964
o 580961
o 580826
o 580823
o 580690
o 580687
o 580648
o 580645
o 580643
o 580604
o 580601
o 580483
o 580480
o 580347
o 580344
o 580305
o 580302
o 580300
o 580261
o 580258
o 580247
o 580244
o 580205
o 580202
o 580200
o 580161
o 580158
o 580040
o 580037
o 579904
o 579901
o 579862
o 579859
o 579857
o 579818
o 579815
o 579754
o 579751
o 579712
o 579709
o 579707
o 579668
o 579665
o 579663
o 579662
o 579577
o 579574
o 579516
o 579513
o 579499
o 579496
o 579312
o 579309
o 579176
o 579173
o 579134
o 579131
o 579129
o 579090
o 579087
o 578969
o 578966
o 578833
o 578830
o 578791
o 578788
o 578786
o 578747
o 578744
o 578733
o 578730
o 578691
o 578688
o 578686
o 578647
o 578644
o 578526
o 578523
o 578390
o 578387
o 578348
o 578345
o 578343
o 578304
o 578301
o 578300
o 578261
o 578258
o 578199
o 578196
o 578157
o 578154
o 578152
o 578113
o 578110
o 578099
o 578096
o 578057
o 578054
o 578052
o 578013
o 578010
o 577892
o 577889
o 577756
o 577753
o 577714
o 577711
o 577709
o 577670
o 577667
o 577666
o 577627
o 577624
o 577597
o 577594
o 577555
o 577552
o 577550
o 577511
o 577508
o 577390
o 577387
o 577254
o 577251
o 577212
o 577209
o 577207
o 577168
o 577165
o 577154
o 577151
o 577112
o 577109
o 577107
o 577068
o 577065
o 576947
o 576944
o 576811
o 576808
o 576769
o 576766
o 576764
o 576725
o 576722
o 576587
o 576584
o 576451
o 576448
o 576409
o 576406
o 576404
o 576365
o 576362
o 576244
o 576241
o 576108
o 576105
o 576066
o 576063
o 576061
o 576022
o 576019
o 576008
o 576005
o 575966
o 575963
o 575961
o 575922
o 575919
o 575801
o 575798
o 575665
o 575662
o 575623
o 575620
o 575618
o 575579
o 575576
o 575515
o 575512
o 575473
o 575470
o 575468
o 575429
o 575426
o 575424
o 575423
o 575338
o 575335
o 575277
o 575274
o 575260
o 575257
o 575073
o 575070
o 574937
o 574934
o 574895
o 574892
o 574890
o 574851
o 574848
o 574730
o 574727
o 574594
o 574591
o 574552
o 574549
o 574547
o 574508
o 574505
o 574494
o 574491
o 574452
o 574449
o 574447
o 574408
o 574405
o 574287
o 574284
o 574151
o 574148
o 574109
o 574106
o 574104
o 574065
o 574062
o 574061
o 574022
o 574019
o 573960
o 573957
o 573918
o 573915
o 573913
o 573874
o 573871
o 573810
o 573807
o 573768
o 573765
o 573763
o 573724
o 573721
o 573719
o 573718
o 573633
o 573630
o 573572
o 573569
o 573555
o 573552
o 573368
o 573365
o 573232
o 573229
o 573190
o 573187
o 573185
o 573146
o 573143
o 573025
o 573022
o 572889
o 572886
o 572847
o 572844
o 572842
o 572803
o 572800
o 572789
o 572786
o 572747
o 572744
o 572742
o 572703
o 572700
o 572582
o 572579
o 572446
o 572443
o 572404
o 572401
o 572399
o 572360
o 572357
o 572356
o 572317
o 572314
o 572298
o 572295
o 572256
o 572253
o 572251
o 572212
o 572209
o 572208
o 572169
o 572166
o 572139
o 572136
o 572097
o 572094
o 572092
o 572053
o 572050
o 571932
o 571929
o 571796
o 571793
o 571754
o 571751
o 571749
o 571710
o 571707
o 571696
o 571693
o 571654
o 571651
o 571649
o 571610
o 571607
o 571489
o 571486
o 571353
o 571350
o 571311
o 571308
o 571306
o 571267
o 571264
o 571129
o 571126
o 570993
o 570990
o 570951
o 570948
o 570946
o 570907
o 570904
o 570786
o 570783
o 570650
o 570647
o 570608
o 570605
o 570603
o 570564
o 570561
o 570550
o 570547
o 570508
o 570505
o 570503
o 570464
o 570461
o 570343
o 570340
o 570207
o 570204
o 570165
o 570162
o 570160
o 570121
o 570118
o 570057
o 570054
o 570015
o 570012
o 570010
o 569971
o 569968
o 569966
o 569965
o 569880
o 569877
o 569819
o 569816
o 569802
o 569799
o 569615
o 569612
o 569479
o 569476
o 569437
o 569434
o 569432
o 569393
o 569390
o 569272
o 569269
o 569136
o 569133
o 569094
o 569091
o 569089
o 569050
o 569047
o 569036
o 569033
o 568994
o 568991
o 568989
o 568950
o 568947
o 568829
o 568826
o 568693
o 568690
o 568651
o 568648
o 568646
o 568607
o 568604
o 568603
o 568564
o 568561
o 568502
o 568499
o 568460
o 568457
o 568455
o 568416
o 568413
o 568352
o 568349
o 568310
o 568307
o 568305
o 568266
o 568263
o 568261
o 568260
o 568175
o 568172
o 568114
o 568111
o 568097
o 568094
o 567910
o 567907
o 567774
o 567771
o 567732
o 567729
o 567727
o 567688
o 567685
o 567567
o 567564
o 567431
o 567428
o 567389
o 567386
o 567384
o 567345
o 567342
o 567331
o 567328
o 567289
o 567286
o 567284
o 567245
o 567242
o 567124
o 567121
o 566988
o 566985
o 566946
o 566943
o 566941
o 566902
o 566899
o 566898
o 566859
o 566856
o 566827
o 566824
o 566785
o 566782
o 566780
o 566741
o 566738
o 566727
o 566724
o 566685
o 566682
o 566680
o 566641
o 566638
o 566520
o 566517
o 566384
o 566381
o 566342
o 566339
o 566337
o 566298
o 566295
o 566160
o 566157
o 566024
o 566021
o 565982
o 565979
o 565977
o 565938
o 565935
o 565817
o 565814
o 565681
o 565678
o 565639
o 565636
o 565634
o 565595
o 565592
o 565581
o 565578
o 565539
o 565536
o 565534
o 565495
o 565492
o 565374
o 565371
o 565238
o 565235
o 565196
o 565193
o 565191
o 565152
o 565149
o 565088
o 565085
o 565046
o 565043
o 565041
o 565002
o 564999
o 564997
o 564996
o 564911
o 564908
o 564850
o 564847
o 564833
o 564830
o 564646
o 564643
o 564510
o 564507
o 564468
o 564465
o 564463
o 564424
o 564421
o 564303
o 564300
o 564167
o 564164
o 564125
o 564122
o 564120
o 564081
o 564078
o 564067
o 564064
o 564025
o 564022
o 564020
o 563981
o 563978
o 563860
o 563857
o 563724
o 563721
o 563682
o 563679
o 563677
o 563638
o 563635
o 563634
o 563595
o 563592
o 563533
o 563530
o 563491
o 563488
o 563486
o 563447
o 563444
o 563383
o 563380
o 563341
o 563338
o 563336
o 563297
o 563294
o 563292
o 563291
o 563206
o 563203
o 563145
o 563142
o 563128
o 563125
o 562941
o 562938
o 562805
o 562802
o 562763
o 562760
o 562758
o 562719
o 562716
o 562598
o 562595
o 562462
o 562459
o 562420
o 562417
o 562415
o 562376
o 562373
o 562362
o 562359
o 562320
o 562317
o 562315
o 562276
o 562273
o 562155
o 562152
o 562019
o 562016
o 561977
o 561974
o 561972
o 561933
o 561930
o 561929
o 561890
o 561887
o 561857
o 561854
o 561852
o 561813
o 561810
o 561692
o 561689
o 561556
o 561553
o 561514
o 561511
o 561509
o 561470
o 561467
o 561466
o 561427
o 561424
o 561365
o 561362
o 561323
o 561320
o 561318
o 561279
o 561276
o 561215
o 561212
o 561173
o 561170
o 561168
o 561129
o 561126
o 561124
o 561123
o 561038
o 561035
o 560977
o 560974
o 560960
o 560957
o 560773
o 560770
o 560637
o 560634
o 560595
o 560592
o 560590
o 560551
o 560548
o 560430
o 560427
o 560294
o 560291
o 560252
o 560249
o 560247
o 560208
o 560205
o 560194
o 560191
o 560152
o 560149
o 560147
o 560108
o 560105
o 559987
o 559984
o 559851
o 559848
o 559809
o 559806
o 559804
o 559765
o 559762
o 559761
o 559722
o 559719
o 559684
o 559681
o 559642
o 559639
o 559637
o 559598
o 559595
o 559534
o 559531
o 559492
o 559489
o 559487
o 559448
o 559445
o 559443
o 559442
o 559357
o 559354
o 559296
o 559293
o 559279
o 559276
o 559092
o 559089
o 558956
o 558953
o 558914
o 558911
o 558909
o 558870
o 558867
o 558749
o 558746
o 558613
o 558610
o 558571
o 558568
o 558566
o 558527
o 558524
o 558513
o 558510
o 558471
o 558468
o 558466
o 558427
o 558424
o 558306
o 558303
o 558170
o 558167
o 558128
o 558125
o 558123
o 558084
o 558081
o 558080
o 558041
o 558038
o 557979
o 557976
o 557937
o 557934
o 557932
o 557893
o 557890
o 557829
o 557826
o 557787
o 557784
o 557782
o 557743
o 557740
o 557738
o 557737
o 557652
o 557649
o 557591
o 557588
o 557574
o 557571
o 557387
o 557384
o 557251Killed
1819.635u 0.087s 30:20.97 99.9%	0+0k 0+0io 0pf+0w