Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2.5-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-140-1_network-10.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-10.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 375 1314 2387133
WARNING: Ubcsat not found.
o 2387133
o 464567
o 464035
o 463463
o 463176
o 462934
o 462543
o 462011
o 461439
o 461152
o 460984
o 460958
o 460694
o 460452
o 460061
o 459529
o 458957
o 458670
o 458245
o 457958
o 457800
o 457228
o 456941
o 456928
o 456890
o 456603
o 456513
o 456226
o 456222
o 455650
o 455363
o 455350
o 455312
o 455025
o 454935
o 454648
o 454512
o 454225
o 454212
o 454174
o 453887
o 453797
o 453510
o 453500
o 453213
o 453123
o 452836
o 452700
o 452413
o 452400
o 452362
o 452075
o 451985
o 451698
o 451563
o 451454
o 451319
o 451318
o 451305
o 451267
o 450980
o 450890
o 450603
o 450468
o 450353
o 450343
o 450056
o 449966
o 449679
o 449543
o 449256
o 449243
o 449205
o 448918
o 448828
o 448541
o 448406
o 448297
o 448162
o 448161
o 448148
o 448110
o 447823
o 447733
o 447446
o 447311
o 447296
o 447160
o 446873
o 446860
o 446822
o 446535
o 446445
o 446158
o 446023
o 445914
o 445779
o 445778
o 445765
o 445727
o 445440
o 445350
o 445063
o 444928
o 444652
o 444639
o 444601
o 444314
o 444224
o 443937
o 443802
o 443693
o 443558
o 443557
o 443544
o 443506
o 443219
o 443129
o 442842
o 442707
o 442693
o 442477
o 442342
o 442328
o 442083
o 441993
o 441706
o 441571
o 441462
o 441327
o 441326
o 441313
o 441275
o 440988
o 440898
o 440611
o 440476
o 440462
o 440306
o 440171
o 440157
o 440073
o 439938
o 439937
o 439924
o 439886
o 439599
o 439509
o 439222
o 439087
o 439073
o 438861
o 438726
o 438617
o 438482
o 438481
o 438468
o 438430
o 438143
o 438053
o 437766
o 437631
o 437617
o 437461
o 437326
o 437312
o 437228
o 437093
o 437092
o 437079
o 437041
o 436754
o 436664
o 436377
o 436242
o 436228
o 436056
o 435921
o 435907
o 435799
o 435699
o 435664
o 435564
o 435550
o 435494
o 435394
o 435359
o 435259
o 435245
o 435161
o 435126
o 435026
o 435025
o 435012
o 434939
o 434787
o 434687
o 434562
o 434410
o 434310
o 434275
o 434175
o 434161
o 434089
o 433989
o 433954
o 433854
o 433840
o 433721
o 433586
o 433572
o 433400
o 433265
o 433251
o 433143
o 433043
o 433008
o 432908
o 432894
o 432838
o 432738
o 432703
o 432603
o 432589
o 432505
o 432470
o 432370
o 432369
o 432356
o 432283
o 432131
o 432031
o 431906
o 431754
o 431654
o 431619
o 431519
o 431505
o 431433
o 431333
o 431298
o 431198
o 431184
o 431087
o 431052
o 430952
o 430938
o 430866
o 430766
o 430731
o 430631
o 430617
o 430537
o 430502
o 430402
o 430388
o 430316
o 430216
o 430181
o 430081
o 430067
o 429948
o 429813
o 429799
o 429627
o 429492
o 429478
o 429370
o 429270
o 429235
o 429135
o 429121
o 429065
o 428965
o 428930
o 428830
o 428816
o 428732
o 428697
o 428597
o 428596
o 428583
o 428510
o 428358
o 428258
o 428133
o 427981
o 427881
o 427846
o 427746
o 427732
o 427660
o 427560
o 427525
o 427425
o 427411
o 427312
o 427177
o 427163
o 426991
o 426856
o 426842
o 426734
o 426634
o 426599
o 426499
o 426485
o 426429
o 426329
o 426294
o 426194
o 426180
o 426096
o 426061
o 425961
o 425960
o 425947
o 425874
o 425722
o 425622
o 425497
o 425345
o 425245
o 425210
o 425110
o 425096
o 425024
o 424924
o 424889
o 424789
o 424775
o 424755
o 424655
o 424597
o 424530
o 424378
o 424278
o 424220
o 424143
o 424085
o 424071
o 424057
o 423957
o 423899
o 423822
o 423764
o 423750
o 423709
o 423651
o 423574
o 423516
o 423502
o 423388
o 423330
o 423253
o 423195
o 423181
o 423131
o 423031
o 422973
o 422896
o 422838
o 422824
o 422726
o 422668
o 422591
o 422533
o 422519
o 422493
o 422435
o 422358
o 422300
o 422299
o 422286
o 422271
o 422119
o 422019
o 421961
o 421894
o 421742
o 421642
o 421584
o 421507
o 421449
o 421435
o 421421
o 421321
o 421263
o 421186
o 421128
o 421114
o 421093
o 421016
o 420958
o 420944
o 420846
o 420788
o 420711
o 420653
o 420639
o 420613
o 420555
o 420478
o 420420
o 420419
o 420406
o 420391
o 420239
o 420139
o 420081
o 420014
o 419862
o 419762
o 419704
o 419627
o 419569
o 419555
o 419541
o 419441
o 419383
o 419306
o 419248
o 419234
o 419158
o 419100
o 419086
o 419072
o 418972
o 418914
o 418837
o 418779
o 418765
o 418724
o 418666
o 418589
o 418531
o 418517
o 418403
o 418345
o 418268
o 418210
o 418196
o 418146
o 418046
o 417988
o 417911
o 417853
o 417839
o 417741
o 417683
o 417606
o 417548
o 417534
o 417508
o 417450
o 417373
o 417315
o 417314
o 417301
o 417286
o 417134
o 417034
o 416976
o 416909
o 416757
o 416657
o 416599
o 416522
o 416464
o 416450
o 416436
o 416336
o 416278
o 416201
o 416143
o 416129
o 416114
o 416100
o 416086
o 415986
o 415928
o 415851
o 415793
o 415779
o 415738
o 415680
o 415603
o 415545
o 415531
o 415417
o 415359
o 415282
o 415224
o 415210
o 415133
o 415075
o 415061
o 415042
o 414942
o 414884
o 414807
o 414749
o 414735
o 414721
o 414621
o 414563
o 414486
o 414428
o 414414
o 414387
o 414329
o 414328
o 414315
o 414300
o 414148
o 414048
o 413990
o 413923
o 413771
o 413671
o 413613
o 413536
o 413478
o 413464
o 413450
o 413350
o 413292
o 413215
o 413157
o 413143
o 413032
o 412932
o 412874
o 412797
o 412739
o 412725
o 412711
o 412611
o 412553
o 412476
o 412418
o 412404
o 412389
o 412375
o 412361
o 412261
o 412203
o 412126
o 412068
o 412054
o 412013
o 411955
o 411878
o 411820
o 411806
o 411692
o 411634
o 411557
o 411499
o 411485
o 411408
o 411350
o 411336
o 411317
o 411217
o 411159
o 411082
o 411024
o 411010
o 410996
o 410896
o 410838
o 410761
o 410703
o 410689
o 410662
o 410604
o 410603
o 410590
o 410575
o 410423
o 410323
o 410265
o 410198
o 410046
o 409946
o 409888
o 409811
o 409753
o 409739
o 409725
o 409625
o 409567
o 409490
o 409432
o 409418
o 409393
o 409335
o 409258
o 409200
o 409186
o 409171
o 409157
o 409143
o 409043
o 408985
o 408908
o 408850
o 408836
o 408795
o 408737
o 408660
o 408602
o 408588
o 408474
o 408416
o 408339
o 408281
o 408267
o 408190
o 408132
o 408118
o 408099
o 407999
o 407941
o 407864
o 407806
o 407792
o 407778
o 407678
o 407620
o 407543
o 407485
o 407471
o 407444
o 407386
o 407385
o 407372
o 407357
o 407205
o 407105
o 407047
o 406980
o 406828
o 406728
o 406670
o 406593
o 406535
o 406521
o 406507
o 406407
o 406349
o 406272
o 406214
o 406200
o 406195
o 406137
o 406123
o 406109
o 406009
o 405951
o 405874
o 405816
o 405802
o 405702
o 405644
o 405577
o 405425
o 405325
o 405267
o 405190
o 405132
o 405118
o 405104
o 405004
o 404946
o 404869
o 404811
o 404797
o 404792
o 404734
o 404720
o 404706
o 404606
o 404548
o 404471
o 404413
o 404399
o 404391
o 404377
o 404352
o 404294
o 404217
o 404159
o 404145
o 404130
o 404116
o 404102
o 404002
o 403944
o 403867
o 403809
o 403795
o 403754
o 403696
o 403619
o 403561
o 403547
o 403433
o 403375
o 403298
o 403240
o 403226
o 403149
o 403091
o 403077
o 403058
o 402958
o 402900
o 402823
o 402765
o 402751
o 402737
o 402637
o 402579
o 402502
o 402444
o 402430
o 402403
o 402345
o 402344
o 402331
o 402316
o 402164
o 402064
o 402006
o 401939
o 401787
o 401687
o 401629
o 401552
o 401494
o 401480
o 401466
o 401366
o 401308
o 401231
o 401173
o 401159
o 401154
o 401096
o 401082
o 401068
o 400968
o 400910
o 400833
o 400775
o 400761
o 400748
o 400734
o 400729
o 400671
o 400657
o 400643
o 400543
o 400485
o 400408
o 400350
o 400336
o 400318
o 400241
o 400183
o 400169
o 400092
o 400034
o 400020
o 400001
o 399901
o 399843
o 399766
o 399708
o 399694
o 399680
o 399580
o 399522
o 399445
o 399387
o 399373
o 399346
o 399288
o 399287
o 399274
o 399259
o 399107
o 399007
o 398949
o 398882
o 398730
o 398630
o 398572
o 398495
o 398437
o 398423
o 398409
o 398309
o 398251
o 398174
o 398116
o 398102
o 398097
o 398039
o 398025
o 398011
o 397911
o 397853
o 397776
o 397718
o 397704
o 397606
o 397548
o 397471
o 397413
o 397399
o 397385
o 397285
o 397227
o 397150
o 397092
o 397078
o 397073
o 397015
o 397001
o 396987
o 396887
o 396829
o 396752
o 396694
o 396680
o 396667
o 396653
o 396648
o 396590
o 396576
o 396562
o 396462
o 396404
o 396327
o 396269
o 396255
o 396237
o 396160
o 396102
o 396088
o 396011
o 395953
o 395939
o 395920
o 395820
o 395762
o 395685
o 395627
o 395613
o 395599
o 395499
o 395441
o 395364
o 395306
o 395292
o 395265
o 395207
o 395206
o 395193
o 395178
o 395026
o 394926
o 394868
o 394801
o 394649
o 394549
o 394491
o 394414
o 394356
o 394342
o 394328
o 394228
o 394170
o 394093
o 394035
o 394021
o 394016
o 393958
o 393944
o 393930
o 393830
o 393772
o 393695
o 393637
o 393623
o 393606
o 393548
o 393534
o 393529
o 393471
o 393457
o 393443
o 393343
o 393285
o 393208
o 393150
o 393136
o 393038
o 392980
o 392903
o 392845
o 392831
o 392817
o 392717
o 392659
o 392582
o 392524
o 392510
o 392505
o 392447
o 392433
o 392419
o 392319
o 392261
o 392184
o 392126
o 392112
o 392099
o 392085
o 392080
o 392022
o 392008
o 391994
o 391894
o 391836
o 391759
o 391701
o 391687
o 391669
o 391592
o 391534
o 391520
o 391443
o 391385
o 391371
o 391352
o 391252
o 391194
o 391117
o 391059
o 391045
o 391031
o 390931
o 390873
o 390796
o 390738
o 390724
o 390697
o 390639
o 390638
o 390625
o 390610
o 390458
o 390358
o 390300
o 390233
o 390081
o 389981
o 389923
o 389846
o 389788
o 389774
o 389760
o 389660
o 389602
o 389525
o 389467
o 389453
o 389448
o 389390
o 389376
o 389362
o 389262
o 389204
o 389127
o 389069
o 389055
o 389010
o 388952
o 388875
o 388817
o 388803
o 388798
o 388740
o 388726
o 388712
o 388612
o 388554
o 388477
o 388419
o 388405
o 388375
o 388298
o 388240
o 388226
o 388221
o 388163
o 388149
o 388135
o 388035
o 387977
o 387900
o 387842
o 387828
o 387815
o 387801
o 387796
o 387738
o 387724
o 387710
o 387610
o 387552
o 387475
o 387417
o 387403
o 387385
o 387308
o 387250
o 387236
o 387159
o 387101
o 387087
o 387068
o 386968
o 386910
o 386833
o 386775
o 386761
o 386747
o 386647
o 386589
o 386512
o 386454
o 386440
o 386413
o 386355
o 386354
o 386341
o 386326
o 386174
o 386074
o 386016
o 385949
o 385797
o 385697
o 385639
o 385562
o 385504
o 385490
o 385476
o 385376
o 385318
o 385241
o 385183
o 385169
o 385164
o 385106
o 385092
o 385078
o 384978
o 384920
o 384843
o 384785
o 384771
o 384726
o 384668
o 384591
o 384533
o 384519
o 384514
o 384456
o 384442
o 384428
o 384328
o 384270
o 384193
o 384135
o 384121
o 384065
o 384007
o 383993
o 383988
o 383930
o 383916
o 383902
o 383802
o 383744
o 383667
o 383609
o 383595
o 383565
o 383488
o 383430
o 383416
o 383411
o 383353
o 383339
o 383325
o 383225
o 383167
o 383090
o 383032
o 383018
o 383005
o 382991
o 382986
o 382928
o 382914
o 382900
o 382800
o 382742
o 382665
o 382607
o 382593
o 382575
o 382498
o 382440
o 382426
o 382349
o 382291
o 382277
o 382258
o 382158
o 382100
o 382023
o 381965
o 381951
o 381937
o 381837
o 381779
o 381702
o 381644
o 381630
o 381603
o 381545
o 381544
o 381531
o 381516
o 381364
o 381264
o 381206
o 381139
o 380987
o 380887
o 380829
o 380752
o 380694
o 380680
o 380666
o 380566
o 380508
o 380431
o 380373
o 380359
o 380354
o 380296
o 380282
o 380268
o 380168
o 380110
o 380033
o 379975
o 379961
o 379916
o 379858
o 379781
o 379723
o 379709
o 379704
o 379646
o 379632
o 379618
o 379518
o 379460
o 379383
o 379325
o 379311
o 379285
o 379227
o 379213
o 379136
o 379078
o 379064
o 379045
o 378945
o 378887
o 378810
o 378752
o 378738
o 378724
o 378624
o 378566
o 378489
o 378431
o 378417
o 378390
o 378332
o 378331
o 378318
o 378303
o 378151
o 378051
o 377993
o 377926
o 377774
o 377674
o 377616
o 377539
o 377481
o 377467
o 377453
o 377353
o 377295
o 377218
o 377160
o 377146
o 377141
o 377083
o 377069
o 377055
o 376955
o 376897
o 376820
o 376762
o 376748
o 376703
o 376645
o 376568
o 376510
o 376496
o 376491
o 376433
o 376419
o 376405
o 376305
o 376247
o 376170
o 376112
o 376098
o 376032
o 375932
o 375874
o 375797
o 375739
o 375725
o 375711
o 375611
o 375553
o 375476
o 375418
o 375404
o 375399
o 375341
o 375327
o 375313
o 375213
o 375155
o 375078
o 375020
o 375006
o 374961
o 374903
o 374826
o 374768
o 374754
o 374749
o 374691
o 374677
o 374663
o 374563
o 374505
o 374428
o 374370
o 374356
o 374321
o 374244
o 374186
o 374172
o 374167
o 374109
o 374095
o 374081
o 373981
o 373923
o 373846
o 373788
o 373774
o 373729
o 373671
o 373594
o 373536
o 373522
o 373517
o 373459
o 373445
o 373431
o 373331
o 373273
o 373196
o 373138
o 373124
o 373058
o 372958
o 372900
o 372823
o 372765
o 372751
o 372737
o 372637
o 372579
o 372502
o 372444
o 372430
o 372425
o 372367
o 372353
o 372339
o 372239
o 372181
o 372104
o 372046
o 372032
o 371987
o 371929
o 371852
o 371794
o 371780
o 371775
o 371717
o 371703
o 371689
o 371589
o 371531
o 371454
o 371396
o 371382
o 371336
o 371259
o 371201
o 371187
o 371182
o 371124
o 371110
o 371096
o 370996
o 370938
o 370861
o 370803
o 370789
o 370744
o 370686
o 370609
o 370551
o 370537
o 370532
o 370474
o 370460
o 370446
o 370346
o 370288
o 370211
o 370153
o 370139
o 370057
o 369999
o 369922
o 369864
o 369850
o 369836
o 369736
o 369678
o 369601
o 369543
o 369529
o 369524
o 369466
o 369452
o 369438
o 369338
o 369280
o 369203
o 369145
o 369131
o 369086
o 369028
o 368951
o 368893
o 368879
o 368874
o 368816
o 368802
o 368788
o 368688
o 368630
o 368553
o 368495
o 368481
o 368435
o 368358
o 368300
o 368286
o 368281
o 368223
o 368209
o 368195
o 368095
o 368037
o 367960
o 367902
o 367888
o 367843
o 367785
o 367708
o 367650
o 367636
o 367631
o 367573
o 367559
o 367545
o 367445
o 367387
o 367310
o 367252
o 367238
o 367214
o 367156
o 367079
o 367021
o 367007
o 367002
o 366944
o 366930
o 366916
o 366816
o 366758
o 366681
o 366623
o 366609
o 366543
o 366443
o 366385
o 366308
o 366250
o 366236
o 366222
o 366122
o 366064
o 365987
o 365929
o 365915
o 365910
o 365852
o 365838
o 365824
o 365724
o 365666
o 365589
o 365531
o 365517
o 365472
o 365414
o 365337
o 365279
o 365265
o 365260
o 365202
o 365188
o 365174
o 365074
o 365016
o 364939
o 364881
o 364867
o 364821
o 364744
o 364686
o 364672
o 364667
o 364609
o 364595
o 364581
o 364481
o 364423
o 364346
o 364288
o 364274
o 364229
o 364171
o 364094
o 364036
o 364022
o 364017
o 363959
o 363945
o 363931
o 363831
o 363773
o 363696
o 363638
o 363624
o 363615
o 363515
o 363457
o 363380
o 363322
o 363308
o 363292
o 363278
o 363264
o 363164
o 363106
o 363029
o 362971
o 362957
o 362912
o 362854
o 362777
o 362719
o 362705
o 362700
o 362642
o 362628
o 362614
o 362514
o 362456
o 362379
o 362321
o 362307
o 362288
o 362230
o 362216
o 362171
o 362113
o 362036
o 361978
o 361964
o 361959
o 361901
o 361887
o 361873
o 361773
o 361715
o 361638
o 361580
o 361566
o 361534
o 361476
o 361462
o 361457
o 361399
o 361385
o 361371
o 361271
o 361213
o 361136
o 361078
o 361064
o 361045
o 360987
o 360973
o 360928
o 360870
o 360793
o 360735
o 360721
o 360716
o 360658
o 360644
o 360630
o 360530
o 360472
o 360395
o 360337
o 360323
o 360293
o 360216
o 360158
o 360144
o 360098
o 360021
o 359963
o 359949
o 359944
o 359886
o 359872
o 359858
o 359758
o 359700
o 359623
o 359565
o 359551
o 359506
o 359448
o 359371
o 359313
o 359299
o 359294
o 359236
o 359222
o 359208
o 359108
o 359050
o 358973
o 358915
o 358901
o 358892
o 358792
o 358734
o 358657
o 358599
o 358585
o 358569
o 358555
o 358541
o 358441
o 358383
o 358306
o 358248
o 358234
o 358189
o 358131
o 358054
o 357996
o 357982
o 357977
o 357919
o 357905
o 357891
o 357791
o 357733
o 357656
o 357598
o 357584
o 357565
o 357507
o 357493
o 357448
o 357390
o 357313
o 357255
o 357241
o 357236
o 357178
o 357164
o 357150
o 357050
o 356992
o 356915
o 356857
o 356843
o 356811
o 356753
o 356739
o 356734
o 356676
o 356662
o 356648
o 356548
o 356490
o 356413
o 356355
o 356341
o 356322
o 356264
o 356250
o 356205
o 356147
o 356070
o 356012
o 355998
o 355993
o 355935
o 355921
o 355907
o 355807
o 355749
o 355672
o 355614
o 355600
o 355549
o 355535
o 355503
o 355445
o 355431
o 355426
o 355368
o 355354
o 355340
o 355240
o 355182
o 355105
o 355047
o 355033
o 355014
o 354956
o 354942
o 354897
o 354839
o 354762
o 354704
o 354690
o 354685
o 354627
o 354613
o 354599
o 354499
o 354441
o 354364
o 354306
o 354292
o 354251
o 354193
o 354179
o 354133
o 354056
o 353998
o 353984
o 353979
o 353921
o 353907
o 353893
o 353793
o 353735
o 353658
o 353600
o 353586
o 353541
o 353483
o 353406
o 353348
o 353334
o 353329
o 353271
o 353257
o 353243
o 353143
o 353085
o 353008
o 352950
o 352936
o 352927
o 352827
o 352769
o 352692
o 352634
o 352620
o 352604
o 352590
o 352576
o 352476
o 352418
o 352341
o 352283
o 352269
o 352224
o 352166
o 352089
o 352031
o 352017
o 352012
o 351954
o 351940
o 351926
o 351826
o 351768
o 351691
o 351633
o 351619
o 351600
o 351542
o 351528
o 351483
o 351425
o 351348
o 351290
o 351276
o 351271
o 351213
o 351199
o 351185
o 351085
o 351027
o 350950
o 350892
o 350878
o 350846
o 350788
o 350774
o 350769
o 350711
o 350697
o 350683
o 350583
o 350525
o 350448
o 350390
o 350376
o 350357
o 350299
o 350285
o 350240
o 350182
o 350105
o 350047
o 350033
o 350028
o 349970
o 349956
o 349942
o 349842
o 349784
o 349707
o 349649
o 349635
o 349584
o 349570
o 349538
o 349480
o 349466
o 349461
o 349403
o 349389
o 349375
o 349275
o 349217
o 349140
o 349082
o 349068
o 349049
o 348991
o 348977
o 348932
o 348874
o 348797
o 348739
o 348725
o 348720
o 348662
o 348648
o 348634
o 348534
o 348476
o 348399
o 348341
o 348327
o 348283
o 348269
o 348240
o 348226
o 348206
o 348192
o 348178
o 348078
o 348020
o 347943
o 347885
o 347871
o 347842
o 347828
o 347826
o 347768
o 347691
o 347633
o 347619
o 347590
o 347576
o 347556
o 347542
o 347528
o 347428
o 347370
o 347293
o 347235
o 347221
o 347192
o 347178
o 347112
o 347054
o 346977
o 346919
o 346905
o 346876
o 346862
o 346861
o 346761
o 346703
o 346626
o 346568
o 346554
o 346525
o 346511
o 346509
o 346451
o 346374
o 346316
o 346302
o 346273
o 346259
o 346239
o 346225
o 346211
o 346111
o 346053
o 345976
o 345918
o 345904
o 345875
o 345861
o 345827
o 345813
o 345784
o 345770
o 345768
o 345710
o 345633
o 345575
o 345561
o 345532
o 345518
o 345498
o 345484
o 345470
o 345370
o 345312
o 345235
o 345177
o 345163
o 345134
o 345120
o 345073
o 345059
o 345030
o 345016
o 344996
o 344982
o 344968
o 344868
o 344810
o 344733
o 344675
o 344661
o 344632
o 344618
o 344584
o 344570
o 344541
o 344527
o 344525
o 344467
o 344390
o 344332
o 344318
o 344289
o 344275
o 344255
o 344241
o 344227
o 344127
o 344069
o 343992
o 343934
o 343920
o 343891
o 343877
o 343869
o 343855
o 343826
o 343812
o 343765
o 343751
o 343722
o 343708
o 343688
o 343674
o 343660
o 343560
o 343502
o 343425
o 343367
o 343353
o 343324
o 343310
o 343276
o 343262
o 343233
o 343219
o 343217
o 343159
o 343082
o 343024
o 343010
o 342981
o 342967
o 342947
o 342933
o 342919
o 342819
o 342761
o 342684
o 342626
o 342612
o 342583
o 342569
o 342566
o 342508
o 342494
o 342449
o 342391
o 342314
o 342256
o 342242
o 342237
o 342179
o 342165
o 342151
o 342051
o 341993
o 341916
o 341858
o 341844
o 341800
o 341786
o 341757
o 341743
o 341723
o 341709
o 341695
o 341595
o 341537
o 341460
o 341402
o 341388
o 341359
o 341345
o 341343
o 341285
o 341208
o 341150
o 341136
o 341107
o 341093
o 341073
o 341059
o 341045
o 340945
o 340887
o 340810
o 340752
o 340738
o 340709
o 340695
o 340629
o 340571
o 340494
o 340436
o 340422
o 340393
o 340379
o 340378
o 340278
o 340220
o 340143
o 340085
o 340071
o 340042
o 340028
o 340026
o 339968
o 339891
o 339833
o 339819
o 339790
o 339776
o 339756
o 339742
o 339728
o 339628
o 339570
o 339493
o 339435
o 339421
o 339392
o 339378
o 339344
o 339330
o 339301
o 339287
o 339285
o 339227
o 339150
o 339092
o 339078
o 339049
o 339035
o 339015
o 339001
o 338987
o 338887
o 338829
o 338752
o 338694
o 338680
o 338651
o 338637
o 338590
o 338576
o 338547
o 338533
o 338513
o 338499
o 338485
o 338385
o 338327
o 338250
o 338192
o 338178
o 338149
o 338135
o 338101
o 338087
o 338058
o 338044
o 338042
o 337984
o 337907
o 337849
o 337835
o 337806
o 337792
o 337772
o 337758
o 337744
o 337644
o 337586
o 337509
o 337451
o 337437
o 337408
o 337394
o 337386
o 337372
o 337343
o 337329
o 337282
o 337268
o 337239
o 337225
o 337205
o 337191
o 337177
o 337077
o 337019
o 336942
o 336884
o 336870
o 336841
o 336827
o 336793
o 336779
o 336750
o 336736
o 336734
o 336676
o 336599
o 336541
o 336527
o 336498
o 336484
o 336464
o 336450
o 336436
o 336336
o 336278
o 336201
o 336143
o 336129
o 336100
o 336086
o 336011
o 335953
o 335939
o 335910
o 335896
o 335884
o 335830
o 335772
o 335695
o 335637
o 335623
o 335594
o 335580
o 335568
o 335479
o 335421
o 335344
o 335286
o 335272
o 335243
o 335229
o 335217
o 335169
o 335092
o 335034
o 335020
o 334991
o 334977
o 334965
o 334957
o 334943
o 334929
o 334829
o 334771
o 334694
o 334636
o 334622
o 334593
o 334579
o 334567
o 334545
o 334531
o 334502
o 334488
o 334476
o 334428
o 334351
o 334293
o 334279
o 334250
o 334236
o 334224
o 334216
o 334202
o 334188
o 334088
o 334030
o 333953
o 333895
o 333881
o 333852
o 333838
o 333826
o 333791
o 333777
o 333748
o 333734
o 333722
o 333714
o 333700
o 333686
o 333586
o 333528
o 333451
o 333393
o 333379
o 333350
o 333336
o 333324
o 333302
o 333288
o 333259
o 333245
o 333233
o 333185
o 333108
o 333050
o 333036
o 333007
o 332993
o 332981
o 332973
o 332959
o 332945
o 332845
o 332787
o 332710
o 332652
o 332638
o 332609
o 332595
o 332583
o 332573
o 332544
o 332530
o 332518
o 332483
o 332469
o 332440
o 332426
o 332414
o 332406
o 332392
o 332378
o 332278
o 332220
o 332143
o 332085
o 332071
o 332042
o 332028
o 332016
o 331994
o 331980
o 331951
o 331937
o 331925
o 331877
o 331800
o 331742
o 331728
o 331699
o 331685
o 331673
o 331665
o 331651
o 331637
o 331537
o 331479
o 331402
o 331344
o 331330
o 331301
o 331287
o 331275
o 331262
o 331248
o 331219
o 331205
o 331193
o 331104
o 331046
o 330969
o 330911
o 330897
o 330868
o 330854
o 330842
o 330794
o 330717
o 330659
o 330645
o 330616
o 330602
o 330590
o 330582
o 330568
o 330554
o 330454
o 330396
o 330319
o 330261
o 330247
o 330218
o 330204
o 330192
o 330170
o 330156
o 330127
o 330113
o 330101
o 330053
o 329976
o 329918
o 329904
o 329875
o 329861
o 329849
o 329841
o 329827
o 329813
o 329713
o 329655
o 329578
o 329520
o 329506
o 329477
o 329463
o 329451
o 329416
o 329402
o 329373
o 329359
o 329347
o 329339
o 329325
o 329311
o 329211
o 329153
o 329076
o 329018
o 329004
o 328975
o 328961
o 328949
o 328927
o 328913
o 328884
o 328870
o 328858
o 328810
o 328733
o 328675
o 328661
o 328632
o 328618
o 328606
o 328598
o 328584
o 328570
o 328470
o 328412
o 328335
o 328277
o 328263
o 328234
o 328220
o 328208
o 328198
o 328169
o 328155
o 328143
o 328108
o 328094
o 328065
o 328051
o 328039
o 328031
o 328017
o 328003
o 327903
o 327845
o 327768
o 327710
o 327696
o 327667
o 327653
o 327641
o 327619
o 327605
o 327576
o 327562
o 327550
o 327502
o 327425
o 327367
o 327353
o 327324
o 327310
o 327298
o 327290
o 327276
o 327262
o 327162
o 327104
o 327027
o 326969
o 326955
o 326926
o 326912
o 326900
o 326844
o 326786
o 326709
o 326651
o 326637
o 326608
o 326594
o 326582
o 326578
o 326566
o 326518
o 326441
o 326383
o 326369
o 326340
o 326326
o 326314
o 326306
o 326292
o 326278
o 326178
o 326120
o 326043
o 325985
o 325971
o 325942
o 325928
o 325916
o 325906
o 325877
o 325863
o 325851
o 325816
o 325802
o 325773
o 325759
o 325747
o 325739
o 325725
o 325711
o 325611
o 325553
o 325476
o 325418
o 325404
o 325375
o 325361
o 325349
o 325327
o 325313
o 325284
o 325270
o 325258
o 325210
o 325133
o 325075
o 325061
o 325032
o 325018
o 325006
o 324998
o 324984
o 324970
o 324870
o 324812
o 324735
o 324677
o 324663
o 324634
o 324620
o 324608
o 324595
o 324581
o 324552
o 324538
o 324526
o 324437
o 324379
o 324302
o 324244
o 324230
o 324201
o 324187
o 324175
o 324127
o 324050
o 323992
o 323978
o 323949
o 323935
o 323923
o 323915
o 323901
o 323887
o 323787
o 323729
o 323652
o 323594
o 323580
o 323551
o 323537
o 323525
o 323503
o 323489
o 323460
o 323446
o 323434
o 323386
o 323309
o 323251
o 323237
o 323208
o 323194
o 323182
o 323174
o 323160
o 323146
o 323046
o 322988
o 322911
o 322853
o 322839
o 322810
o 322796
o 322784
o 322749
o 322735
o 322706
o 322692
o 322680
o 322672
o 322658
o 322644
o 322544
o 322486
o 322409
o 322351
o 322337
o 322308
o 322294
o 322282
o 322260
o 322246
o 322217
o 322203
o 322191
o 322143
o 322066
o 322008
o 321994
o 321965
o 321951
o 321939
o 321931
o 321917
o 321903
o 321803
o 321745
o 321668
o 321610
o 321596
o 321567
o 321553
o 321541
o 321531
o 321502
o 321488
o 321476
o 321441
o 321427
o 321398
o 321384
o 321372
o 321364
o 321350
o 321336
o 321236
o 321178
o 321101
o 321043
o 321029
o 321000
o 320986
o 320974
o 320952
o 320938
o 320909
o 320895
o 320883
o 320835
o 320758
o 320700
o 320686
o 320657
o 320643
o 320631
o 320623
o 320609
o 320595
o 320495
o 320437
o 320360
o 320302
o 320288
o 320259
o 320245
o 320233
o 320177
o 320119
o 320042
o 319984
o 319970
o 319941
o 319927
o 319915
o 319914
o 319885
o 319871
o 319859
o 319837
o 319823
o 319794
o 319780
o 319768
o 319720
o 319643
o 319585
o 319571
o 319542
o 319528
o 319516
o 319508
o 319494
o 319480
o 319380
o 319322
o 319245
o 319187
o 319173
o 319144
o 319130
o 319118
o 319100
o 319086
o 319074
o 319056
o 318998
o 318921
o 318863
o 318849
o 318820
o 318806
o 318794
o 318755
o 318678
o 318620
o 318606
o 318577
o 318563
o 318551
o 318529
o 318515
o 318486
o 318472
o 318460
o 318412
o 318335
o 318277
o 318263
o 318234
o 318220
o 318208
o 318200
o 318186
o 318172
o 318072
o 318014
o 317937
o 317879
o 317865
o 317836
o 317822
o 317810
o 317792
o 317778
o 317766
o 317754
o 317696
o 317619
o 317561
o 317547
o 317518
o 317504
o 317492
o 317474
o 317460
o 317448
o 317373
o 317315
o 317301
o 317272
o 317258
o 317246
o 317238
o 317224
o 317210
o 317110
o 317052
o 316975
o 316917
o 316903
o 316874
o 316860
o 316848
o 316838
o 316809
o 316795
o 316783
o 316748
o 316734
o 316705
o 316691
o 316679
o 316671
o 316657
o 316643
o 316543
o 316485
o 316408
o 316350
o 316336
o 316307
o 316293
o 316281
o 316259
o 316245
o 316216
o 316202
o 316190
o 316142
o 316065
o 316007
o 315993
o 315964
o 315950
o 315938
o 315930
o 315916
o 315902
o 315802
o 315744
o 315667
o 315609
o 315595
o 315566
o 315552
o 315540
o 315527
o 315513
o 315484
o 315470
o 315458
o 315369
o 315311
o 315234
o 315176
o 315162
o 315133
o 315119
o 315107
o 315059
o 314982
o 314924
o 314910
o 314881
o 314867
o 314855
o 314847
o 314833
o 314819
o 314719
o 314661
o 314584
o 314526
o 314512
o 314483
o 314469
o 314457
o 314435
o 314421
o 314392
o 314378
o 314366
o 314318
o 314241
o 314183
o 314169
o 314140
o 314126
o 314114
o 314106
o 314092
o 314078
o 313978
o 313920
o 313843
o 313785
o 313771
o 313742
o 313728
o 313716
o 313681
o 313667
o 313638
o 313624
o 313612
o 313604
o 313590
o 313576
o 313476
o 313418
o 313341
o 313283
o 313269
o 313240
o 313226
o 313214
o 313192
o 313178
o 313149
o 313135
o 313123
o 313075
o 312998
o 312940
o 312926
o 312897
o 312883
o 312871
o 312863
o 312849
o 312835
o 312735
o 312677
o 312600
o 312542
o 312528
o 312499
o 312485
o 312473
o 312463
o 312434
o 312420
o 312408
o 312373
o 312359
o 312330
o 312316
o 312304
o 312296
o 312282
o 312268
o 312168
o 312110
o 312033
o 311975
o 311961
o 311932
o 311918
o 311906
o 311884
o 311870
o 311841
o 311827
o 311815
o 311767
o 311690
o 311632
o 311618
o 311589
o 311575
o 311563
o 311555
o 311541
o 311527
o 311427
o 311369
o 311292
o 311234
o 311220
o 311191
o 311177
o 311165
o 311109
o 311051
o 310974
o 310916
o 310902
o 310873
o 310859
o 310847
o 310846
o 310817
o 310803
o 310791
o 310769
o 310755
o 310726
o 310712
o 310700
o 310652
o 310575
o 310517
o 310503
o 310474
o 310460
o 310448
o 310440
o 310426
o 310412
o 310312
o 310254
o 310177
o 310119
o 310105
o 310076
o 310062
o 310050
o 310032
o 310018
o 310006
o 309988
o 309930
o 309853
o 309795
o 309781
o 309752
o 309738
o 309726
o 309687
o 309610
o 309552
o 309538
o 309509
o 309495
o 309483
o 309461
o 309447
o 309418
o 309404
o 309392
o 309344
o 309267
o 309209
o 309195
o 309166
o 309152
o 309140
o 309132
o 309118
o 309104
o 309004
o 308946
o 308869
o 308811
o 308797
o 308768
o 308754
o 308742
o 308724
o 308710
o 308698
o 308686
o 308628
o 308551
o 308493
o 308479
o 308450
o 308436
o 308424
o 308406
o 308392
o 308380
o 308361
o 308347
o 308318
o 308304
o 308292
o 308284
o 308270
o 308256
o 308156
o 308098
o 308021
o 307963
o 307949
o 307920
o 307906
o 307894
o 307859
o 307845
o 307816
o 307802
o 307790
o 307782
o 307768
o 307754
o 307654
o 307596
o 307519
o 307461
o 307447
o 307418
o 307404
o 307392
o 307370
o 307356
o 307327
o 307313
o 307301
o 307253
o 307176
o 307118
o 307104
o 307075
o 307061
o 307049
o 307041
o 307027
o 307013
o 306913
o 306855
o 306778
o 306720
o 306706
o 306677
o 306663
o 306651
o 306641
o 306612
o 306598
o 306586
o 306551
o 306537
o 306508
o 306494
o 306482
o 306474
o 306460
o 306446
o 306346
o 306288
o 306211
o 306153
o 306139
o 306110
o 306096
o 306084
o 306062
o 306048
o 306019
o 306005
o 305993
o 305945
o 305868
o 305810
o 305796
o 305767
o 305753
o 305741
o 305733
o 305719
o 305705
o 305605
o 305547
o 305470
o 305412
o 305398
o 305369
o 305355
o 305343
o 305287
o 305229
o 305152
o 305094
o 305080
o 305051
o 305037
o 305025
o 305024
o 304995
o 304981
o 304969
o 304947
o 304933
o 304904
o 304890
o 304878
o 304830
o 304753
o 304695
o 304681
o 304652
o 304638
o 304626
o 304618
o 304604
o 304590
o 304490
o 304432
o 304355
o 304297
o 304283
o 304254
o 304240
o 304228
o 304210
o 304196
o 304184
o 304166
o 304108
o 304031
o 303973
o 303959
o 303930
o 303916
o 303904
o 303865
o 303788
o 303730
o 303716
o 303687
o 303673
o 303661
o 303639
o 303625
o 303596
o 303582
o 303570
o 303522
o 303445
o 303387
o 303373
o 303344
o 303330
o 303318
o 303310
o 303296
o 303282
o 303182
o 303124
o 303047
o 302989
o 302975
o 302946
o 302932
o 302920
o 302902
o 302888
o 302876
o 302864
o 302806
o 302729
o 302671
o 302657
o 302628
o 302614
o 302602
o 302584
o 302570
o 302558
o 302514
o 302437
o 302379
o 302365
o 302336
o 302322
o 302310
o 302309
o 302280
o 302266
o 302254
o 302232
o 302218
o 302189
o 302175
o 302163
o 302115
o 302038
o 301980
o 301966
o 301937
o 301923
o 301911
o 301903
o 301889
o 301875
o 301775
o 301717
o 301640
o 301582
o 301568
o 301539
o 301525
o 301513
o 301495
o 301481
o 301469
o 301451
o 301393
o 301316
o 301258
o 301244
o 301215
o 301201
o 301189
o 301150
o 301073
o 301015
o 301001
o 300972
o 300958
o 300946
o 300924
o 300910
o 300881
o 300867
o 300855
o 300807
o 300730
o 300672
o 300658
o 300629
o 300615
o 300603
o 300595
o 300581
o 300567
o 300467
o 300409
o 300332
o 300274
o 300260
o 300231
o 300217
o 300205
o 300187
o 300173
o 300161
o 300149
o 300091
o 300014
o 299956
o 299942
o 299913
o 299899
o 299887
o 299869
o 299855
o 299843
o 299815
o 299757
o 299743
o 299714
o 299700
o 299688
o 299680
o 299666
o 299652
o 299552
o 299494
o 299417
o 299359
o 299345
o 299316
o 299302
o 299290
o 299234
o 299176
o 299099
o 299041
o 299027
o 298998
o 298984
o 298972
o 298971
o 298942
o 298928
o 298916
o 298894
o 298880
o 298851
o 298837
o 298825
o 298777
o 298700
o 298642
o 298628
o 298599
o 298585
o 298573
o 298565
o 298551
o 298537
o 298437
o 298379
o 298302
o 298244
o 298230
o 298201
o 298187
o 298175
o 298157
o 298143
o 298131
o 298113
o 298055
o 297978
o 297920
o 297906
o 297877
o 297863
o 297851
o 297812
o 297735
o 297677
o 297663
o 297634
o 297620
o 297608
o 297586
o 297572
o 297543
o 297529
o 297517
o 297469
o 297392
o 297334
o 297320
o 297291
o 297277
o 297265
o 297257
o 297243
o 297229
o 297129
o 297071
o 296994
o 296936
o 296922
o 296893
o 296879
o 296867
o 296849
o 296835
o 296823
o 296811
o 296753
o 296676
o 296618
o 296604
o 296575
o 296561
o 296549
o 296531
o 296517
o 296505
o 296461
o 296384
o 296326
o 296312
o 296283
o 296269
o 296257
o 296256
o 296227
o 296213
o 296201
o 296179
o 296165
o 296136
o 296122
o 296110
o 296062
o 295985
o 295927
o 295913
o 295884
o 295870
o 295858
o 295850
o 295836
o 295822
o 295722
o 295664
o 295587
o 295529
o 295515
o 295486
o 295472
o 295460
o 295442
o 295428
o 295416
o 295398
o 295340
o 295263
o 295205
o 295191
o 295162
o 295148
o 295136
o 295097
o 295020
o 294962
o 294948
o 294919
o 294905
o 294893
o 294871
o 294857
o 294828
o 294814
o 294802
o 294754
o 294677
o 294619
o 294605
o 294576
o 294562
o 294550
o 294542
o 294528
o 294514
o 294414
o 294356
o 294279
o 294221
o 294207
o 294178
o 294164
o 294152
o 294134
o 294120
o 294108
o 294096
o 294038
o 293961
o 293903
o 293889
o 293860
o 293846
o 293834
o 293816
o 293802
o 293790
o 293779
o 293765
o 293736
o 293722
o 293710
o 293702
o 293688
o 293674
o 293574
o 293516
o 293439
o 293381
o 293367
o 293338
o 293324
o 293312
o 293302
o 293273
o 293259
o 293247
o 293212
o 293198
o 293169
o 293155
o 293143
o 293135
o 293121
o 293107
o 293007
o 292949
o 292872
o 292814
o 292800
o 292771
o 292757
o 292745
o 292723
o 292709
o 292680
o 292666
o 292654
o 292606
o 292529
o 292471
o 292457
o 292428
o 292414
o 292402
o 292394
o 292380
o 292366
o 292266
o 292208
o 292131
o 292073
o 292059
o 292030
o 292016
o 292004
o 291948
o 291890
o 291813
o 291755
o 291741
o 291712
o 291698
o 291686
o 291685
o 291656
o 291642
o 291630
o 291608
o 291594
o 291565
o 291551
o 291539
o 291491
o 291414
o 291356
o 291342
o 291313
o 291299
o 291287
o 291279
o 291265
o 291251
o 291151
o 291093
o 291016
o 290958
o 290944
o 290915
o 290901
o 290889
o 290871Killed
1819.696u 0.027s 30:19.71 100.0%	0+0k 0+0io 0pf+0w