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-80-1_network-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 202 714 1265240
WARNING: Ubcsat not found.
o 1265240
o 242067
o 241939
o 241624
o 241292
o 241164
o 240849
o 240741
o 240426
o 240364
o 240032
o 239904
o 239589
o 239481
o 239166
o 238924
o 238819
o 238577
o 238493
o 238385
o 238070
o 237828
o 237781
o 237718
o 237610
o 237295
o 237053
o 236948
o 236706
o 236622
o 236514
o 236199
o 235957
o 235739
o 235634
o 235392
o 235308
o 235200
o 234885
o 234643
o 234515
o 234486
o 234244
o 234160
o 234052
o 233737
o 233495
o 233367
o 233300
o 233098
o 233094
o 232828
o 232586
o 232349
o 232345
o 232221
o 232217
o 232154
o 232150
o 231991
o 231863
o 231796
o 231594
o 231590
o 231324
o 231082
o 230845
o 230841
o 230717
o 230713
o 230650
o 230646
o 230466
o 230338
o 230271
o 230069
o 230065
o 229799
o 229557
o 229320
o 229316
o 229192
o 229188
o 229125
o 229121
o 229099
o 229095
o 228941
o 228937
o 228671
o 228429
o 228192
o 228188
o 228064
o 228060
o 227997
o 227993
o 227958
o 227954
o 227830
o 227826
o 227763
o 227759
o 227724
o 227487
o 227483
o 227359
o 227355
o 227292
o 227288
o 227266
o 227262
o 227108
o 227104
o 226838
o 226596
o 226359
o 226355
o 226231
o 226227
o 226164
o 226160
o 226125
o 226121
o 225997
o 225993
o 225930
o 225926
o 225797
o 225793
o 225669
o 225665
o 225602
o 225598
o 225563
o 225559
o 225435
o 225431
o 225368
o 225364
o 225295
o 225291
o 225228
o 225224
o 225095
o 225091
o 224967
o 224963
o 224900
o 224896
o 224861
o 224857
o 224733
o 224729
o 224666
o 224662
o 224534
o 224530
o 224264
o 224022
o 223785
o 223781
o 223657
o 223653
o 223590
o 223586
o 223551
o 223547
o 223423
o 223419
o 223356
o 223352
o 223223
o 223219
o 223095
o 223091
o 223028
o 223024
o 222989
o 222985
o 222861
o 222857
o 222794
o 222790
o 222719
o 222715
o 222591
o 222587
o 222524
o 222520
o 222485
o 222481
o 222357
o 222353
o 222290
o 222286
o 222248
o 222244
o 222209
o 222205
o 222081
o 222077
o 222014
o 222010
o 221882
o 221878
o 221612
o 221370
o 221133
o 221129
o 221005
o 221001
o 220938
o 220934
o 220899
o 220895
o 220771
o 220767
o 220704
o 220700
o 220571
o 220567
o 220443
o 220439
o 220376
o 220372
o 220337
o 220333
o 220209
o 220205
o 220142
o 220138
o 220135
o 220131
o 220068
o 220064
o 220026
o 220022
o 219987
o 219983
o 219859
o 219855
o 219792
o 219788
o 219745
o 219741
o 219617
o 219613
o 219550
o 219546
o 219390
o 219148
o 218911
o 218907
o 218783
o 218779
o 218716
o 218712
o 218677
o 218673
o 218549
o 218545
o 218482
o 218478
o 218349
o 218345
o 218221
o 218217
o 218154
o 218150
o 218115
o 218111
o 217987
o 217983
o 217920
o 217916
o 217877
o 217873
o 217838
o 217834
o 217710
o 217706
o 217643
o 217639
o 217608
o 217604
o 217480
o 217476
o 217413
o 217409
o 217374
o 217370
o 217246
o 217242
o 217179
o 217175
o 217046
o 217042
o 216918
o 216914
o 216851
o 216847
o 216812
o 216808
o 216684
o 216680
o 216617
o 216613
o 216610
o 216606
o 216543
o 216539
o 216501
o 216497
o 216462
o 216458
o 216334
o 216330
o 216267
o 216263
o 216220
o 216216
o 216092
o 216088
o 216025
o 216021
o 215865
o 215623
o 215386
o 215382
o 215258
o 215254
o 215191
o 215187
o 215152
o 215148
o 215024
o 215020
o 214957
o 214953
o 214824
o 214820
o 214696
o 214692
o 214629
o 214625
o 214590
o 214586
o 214462
o 214458
o 214395
o 214391
o 214388
o 214264
o 214260
o 214197
o 214193
o 214093
o 214089
o 214026
o 214022
o 213936
o 213932
o 213869
o 213865
o 213830
o 213826
o 213702
o 213698
o 213635
o 213631
o 213628
o 213624
o 213561
o 213557
o 213519
o 213515
o 213480
o 213476
o 213352
o 213348
o 213285
o 213281
o 213274
o 213032
o 212795
o 212791
o 212667
o 212663
o 212600
o 212596
o 212561
o 212557
o 212433
o 212429
o 212366
o 212362
o 212276
o 212272
o 212209
o 212205
o 212170
o 212166
o 212042
o 212038
o 211975
o 211971
o 211871
o 211867
o 211804
o 211800
o 211714
o 211710
o 211647
o 211643
o 211608
o 211604
o 211480
o 211476
o 211413
o 211409
o 211344
o 211340
o 211277
o 211273
o 211187
o 211183
o 211120
o 211116
o 211081
o 211077
o 210953
o 210949
o 210886
o 210882
o 210858
o 210854
o 210730
o 210726
o 210663
o 210659
o 210624
o 210620
o 210496
o 210492
o 210429
o 210425
o 210339
o 210335
o 210272
o 210268
o 210233
o 210229
o 210105
o 210101
o 210038
o 210034
o 209934
o 209930
o 209867
o 209863
o 209777
o 209773
o 209710
o 209706
o 209671
o 209667
o 209543
o 209539
o 209476
o 209472
o 209379
o 209375
o 209312
o 209308
o 209208
o 209204
o 209141
o 209137
o 209051
o 209047
o 208984
o 208980
o 208945
o 208941
o 208817
o 208813
o 208750
o 208746
o 208743
o 208739
o 208676
o 208672
o 208634
o 208630
o 208595
o 208591
o 208467
o 208463
o 208400
o 208396
o 208389
o 208147
o 207910
o 207906
o 207782
o 207778
o 207715
o 207711
o 207676
o 207672
o 207548
o 207544
o 207481
o 207477
o 207391
o 207387
o 207324
o 207320
o 207285
o 207281
o 207157
o 207153
o 207090
o 207086
o 206986
o 206982
o 206919
o 206915
o 206829
o 206825
o 206762
o 206758
o 206723
o 206719
o 206595
o 206591
o 206528
o 206524
o 206449
o 206445
o 206382
o 206378
o 206278
o 206274
o 206211
o 206207
o 206121
o 206117
o 206054
o 206050
o 206015
o 206011
o 205887
o 205883
o 205820
o 205816
o 205751
o 205747
o 205684
o 205680
o 205594
o 205590
o 205527
o 205523
o 205488
o 205484
o 205360
o 205356
o 205293
o 205289
o 205170
o 205166
o 205103
o 205099
o 205070
o 205066
o 205031
o 205027
o 204903
o 204899
o 204836
o 204832
o 204746
o 204742
o 204679
o 204675
o 204640
o 204636
o 204512
o 204508
o 204445
o 204441
o 204341
o 204337
o 204274
o 204270
o 204184
o 204180
o 204117
o 204113
o 204078
o 204074
o 203950
o 203946
o 203883
o 203879
o 203774
o 203537
o 203533
o 203409
o 203405
o 203342
o 203338
o 203303
o 203299
o 203175
o 203171
o 203108
o 203104
o 203018
o 203014
o 202951
o 202947
o 202912
o 202908
o 202784
o 202780
o 202717
o 202713
o 202613
o 202609
o 202546
o 202542
o 202456
o 202452
o 202389
o 202385
o 202350
o 202346
o 202222
o 202218
o 202155
o 202151
o 202122
o 202118
o 202083
o 202079
o 201955
o 201951
o 201888
o 201884
o 201798
o 201794
o 201731
o 201727
o 201692
o 201688
o 201564
o 201560
o 201497
o 201493
o 201393
o 201389
o 201326
o 201322
o 201236
o 201232
o 201169
o 201165
o 201130
o 201126
o 201002
o 200998
o 200935
o 200931
o 200925
o 200921
o 200902
o 200821
o 200817
o 200754
o 200750
o 200745
o 200664
o 200660
o 200597
o 200593
o 200558
o 200554
o 200511
o 200430
o 200426
o 200363
o 200359
o 200294
o 200290
o 200227
o 200223
o 200218
o 200137
o 200133
o 200070
o 200066
o 200031
o 200027
o 199984
o 199903
o 199899
o 199836
o 199832
o 199794
o 199713
o 199709
o 199646
o 199642
o 199613
o 199609
o 199574
o 199570
o 199527
o 199446
o 199442
o 199379
o 199375
o 199370
o 199289
o 199285
o 199222
o 199218
o 199183
o 199179
o 199136
o 199055
o 199051
o 198988
o 198984
o 198965
o 198884
o 198880
o 198817
o 198813
o 198808
o 198727
o 198723
o 198660
o 198656
o 198621
o 198617
o 198574
o 198493
o 198489
o 198426
o 198422
o 198398
o 198317
o 198161
o 198080
o 198076
o 198033
o 197952
o 197948
o 197885
o 197881
o 197846
o 197842
o 197799
o 197718
o 197714
o 197651
o 197647
o 197642
o 197561
o 197557
o 197494
o 197490
o 197455
o 197451
o 197408
o 197327
o 197323
o 197260
o 197256
o 197237
o 197156
o 197152
o 197089
o 197085
o 197080
o 196999
o 196995
o 196932
o 196928
o 196893
o 196889
o 196846
o 196765
o 196761
o 196698
o 196694
o 196665
o 196661
o 196626
o 196622
o 196579
o 196498
o 196494
o 196431
o 196427
o 196422
o 196341
o 196337
o 196274
o 196270
o 196235
o 196231
o 196188
o 196107
o 196103
o 196040
o 196036
o 196017
o 195936
o 195932
o 195869
o 195865
o 195860
o 195779
o 195775
o 195712
o 195708
o 195673
o 195669
o 195626
o 195545
o 195541
o 195478
o 195474
o 195440
o 195359
o 195355
o 195292
o 195288
o 195269
o 195188
o 195184
o 195121
o 195117
o 195112
o 195031
o 195027
o 194964
o 194960
o 194925
o 194921
o 194878
o 194797
o 194793
o 194730
o 194726
o 194702
o 194621
o 194465
o 194384
o 194380
o 194337
o 194256
o 194252
o 194189
o 194185
o 194150
o 194146
o 194103
o 194022
o 194018
o 193955
o 193951
o 193946
o 193865
o 193861
o 193798
o 193794
o 193759
o 193755
o 193712
o 193631
o 193627
o 193564
o 193560
o 193541
o 193460
o 193456
o 193393
o 193389
o 193384
o 193303
o 193299
o 193236
o 193232
o 193197
o 193193
o 193150
o 193069
o 193065
o 193002
o 192998
o 192969
o 192965
o 192930
o 192926
o 192883
o 192802
o 192798
o 192735
o 192731
o 192726
o 192645
o 192641
o 192578
o 192574
o 192539
o 192535
o 192492
o 192411
o 192407
o 192344
o 192340
o 192321
o 192240
o 192236
o 192173
o 192169
o 192164
o 192083
o 192079
o 192016
o 192012
o 191977
o 191973
o 191930
o 191849
o 191845
o 191782
o 191778
o 191766
o 191762
o 191757
o 191676
o 191672
o 191609
o 191605
o 191570
o 191566
o 191523
o 191442
o 191438
o 191375
o 191371
o 191336
o 191332
o 191269
o 191265
o 191230
o 191226
o 191183
o 191102
o 191098
o 191035
o 191031
o 191012
o 190931
o 190927
o 190864
o 190860
o 190855
o 190774
o 190770
o 190707
o 190703
o 190668
o 190664
o 190621
o 190540
o 190536
o 190473
o 190469
o 190435
o 190354
o 190350
o 190287
o 190283
o 190264
o 190183
o 190179
o 190116
o 190112
o 190107
o 190026
o 190022
o 189959
o 189955
o 189920
o 189916
o 189873
o 189792
o 189788
o 189725
o 189721
o 189646
o 189642
o 189599
o 189518
o 189514
o 189460
o 189379
o 189375
o 189332
o 189251
o 189247
o 189184
o 189180
o 189145
o 189141
o 189098
o 189017
o 189013
o 188950
o 188946
o 188941
o 188860
o 188856
o 188793
o 188789
o 188754
o 188750
o 188707
o 188626
o 188622
o 188559
o 188555
o 188536
o 188455
o 188451
o 188388
o 188384
o 188379
o 188298
o 188294
o 188231
o 188227
o 188192
o 188188
o 188145
o 188064
o 188060
o 187997
o 187993
o 187964
o 187960
o 187925
o 187921
o 187878
o 187797
o 187793
o 187730
o 187726
o 187721
o 187640
o 187636
o 187573
o 187569
o 187534
o 187530
o 187487
o 187406
o 187402
o 187339
o 187335
o 187316
o 187235
o 187231
o 187168
o 187164
o 187159
o 187078
o 187074
o 187011
o 187007
o 186972
o 186968
o 186925
o 186844
o 186840
o 186777
o 186773
o 186761
o 186757
o 186752
o 186671
o 186667
o 186604
o 186600
o 186565
o 186561
o 186518
o 186437
o 186433
o 186370
o 186366
o 186331
o 186250
o 186246
o 186183
o 186179
o 186175
o 186112
o 186108
o 186103
o 186022
o 186018
o 185955
o 185951
o 185916
o 185912
o 185869
o 185788
o 185784
o 185721
o 185717
o 185698
o 185617
o 185613
o 185550
o 185546
o 185541
o 185460
o 185456
o 185393
o 185389
o 185354
o 185350
o 185307
o 185226
o 185222
o 185159
o 185155
o 185131
o 185127
o 185084
o 185080
o 185017
o 185013
o 184994
o 184913
o 184909
o 184846
o 184842
o 184837
o 184756
o 184752
o 184689
o 184685
o 184650
o 184646
o 184603
o 184522
o 184518
o 184455
o 184451
o 184397
o 184393
o 184330
o 184326
o 184321
o 184240
o 184236
o 184173
o 184169
o 184134
o 184130
o 184087
o 184006
o 184002
o 183939
o 183935
o 183911
o 183907
o 183864
o 183860
o 183797
o 183793
o 183774
o 183693
o 183689
o 183626
o 183622
o 183617
o 183536
o 183532
o 183469
o 183465
o 183430
o 183426
o 183383
o 183302
o 183298
o 183235
o 183231
o 183219
o 183215
o 183210
o 183129
o 183125
o 183062
o 183058
o 183023
o 183019
o 182976
o 182895
o 182891
o 182828
o 182824
o 182757
o 182753
o 182690
o 182686
o 182681
o 182600
o 182596
o 182533
o 182529
o 182494
o 182490
o 182447
o 182366
o 182362
o 182299
o 182295
o 182220
o 182216
o 182173
o 182092
o 182088
o 182034
o 181953
o 181949
o 181906
o 181825
o 181821
o 181758
o 181754
o 181719
o 181715
o 181672
o 181591
o 181587
o 181524
o 181520
o 181515
o 181434
o 181430
o 181367
o 181363
o 181328
o 181324
o 181281
o 181200
o 181196
o 181133
o 181129
o 181110
o 181029
o 181025
o 180962
o 180958
o 180953
o 180872
o 180868
o 180805
o 180801
o 180766
o 180762
o 180719
o 180638
o 180634
o 180571
o 180567
o 180538
o 180534
o 180499
o 180495
o 180452
o 180371
o 180367
o 180304
o 180300
o 180295
o 180214
o 180210
o 180147
o 180143
o 180108
o 180104
o 180061
o 179980
o 179976
o 179913
o 179909
o 179890
o 179809
o 179805
o 179742
o 179738
o 179733
o 179652
o 179648
o 179585
o 179581
o 179546
o 179542
o 179499
o 179418
o 179414
o 179351
o 179347
o 179335
o 179331
o 179326
o 179245
o 179241
o 179178
o 179174
o 179139
o 179135
o 179092
o 179011
o 179007
o 178944
o 178940
o 178905
o 178824
o 178820
o 178757
o 178753
o 178749
o 178686
o 178682
o 178677
o 178596
o 178592
o 178529
o 178525
o 178490
o 178486
o 178443
o 178362
o 178358
o 178295
o 178291
o 178272
o 178191
o 178187
o 178124
o 178120
o 178115
o 178034
o 178030
o 177967
o 177963
o 177928
o 177924
o 177881
o 177800
o 177796
o 177733
o 177729
o 177705
o 177701
o 177658
o 177654
o 177591
o 177587
o 177568
o 177487
o 177483
o 177420
o 177416
o 177411
o 177330
o 177326
o 177263
o 177259
o 177224
o 177220
o 177177
o 177096
o 177092
o 177029
o 177025
o 176971
o 176967
o 176904
o 176900
o 176895
o 176814
o 176810
o 176747
o 176743
o 176708
o 176704
o 176661
o 176580
o 176576
o 176513
o 176509
o 176485
o 176481
o 176438
o 176434
o 176371
o 176367
o 176348
o 176267
o 176263
o 176200
o 176196
o 176191
o 176110
o 176106
o 176043
o 176039
o 176004
o 176000
o 175957
o 175876
o 175872
o 175809
o 175805
o 175793
o 175789
o 175784
o 175703
o 175699
o 175636
o 175632
o 175597
o 175593
o 175550
o 175469
o 175465
o 175402
o 175398
o 175383
o 175379
o 175316
o 175312
o 175300
o 175296
o 175291
o 175210
o 175206
o 175143
o 175139
o 175104
o 175100
o 175057
o 174976
o 174972
o 174909
o 174905
o 174874
o 174870
o 174835
o 174831
o 174788
o 174707
o 174703
o 174640
o 174636
o 174602
o 174521
o 174517
o 174454
o 174450
o 174408
o 174327
o 174323
o 174260
o 174256
o 174237
o 174156
o 174152
o 174089
o 174085
o 174080
o 173999
o 173995
o 173932
o 173928
o 173893
o 173889
o 173846
o 173765
o 173761
o 173698
o 173694
o 173670
o 173666
o 173623
o 173619
o 173556
o 173552
o 173533
o 173452
o 173448
o 173385
o 173381
o 173376
o 173295
o 173291
o 173228
o 173224
o 173189
o 173185
o 173142
o 173061
o 173057
o 172994
o 172990
o 172936
o 172932
o 172869
o 172865
o 172860
o 172779
o 172775
o 172712
o 172708
o 172673
o 172669
o 172626
o 172545
o 172541
o 172478
o 172474
o 172450
o 172446
o 172403
o 172399
o 172336
o 172332
o 172313
o 172232
o 172228
o 172165
o 172161
o 172156
o 172075
o 172071
o 172008
o 172004
o 171969
o 171965
o 171922
o 171841
o 171837
o 171774
o 171770
o 171758
o 171754
o 171749
o 171668
o 171664
o 171601
o 171597
o 171562
o 171558
o 171515
o 171434
o 171430
o 171367
o 171363
o 171335
o 171331
o 171268
o 171264
o 171229
o 171225
o 171182
o 171101
o 171097
o 171034
o 171030
o 171012
o 171008
o 171003
o 170922
o 170918
o 170855
o 170851
o 170816
o 170812
o 170769
o 170688
o 170684
o 170621
o 170617
o 170593
o 170589
o 170564
o 170560
o 170525
o 170521
o 170478
o 170397
o 170393
o 170330
o 170326
o 170308
o 170304
o 170299
o 170218
o 170214
o 170151
o 170147
o 170112
o 170108
o 170065
o 169984
o 169980
o 169917
o 169913
o 169881
o 169877
o 169814
o 169810
o 169792
o 169788
o 169783
o 169702
o 169698
o 169635
o 169631
o 169596
o 169592
o 169549
o 169468
o 169464
o 169401
o 169397
o 169373
o 169369
o 169344
o 169340
o 169305
o 169301
o 169258
o 169177
o 169173
o 169110
o 169106
o 169088
o 169084
o 169079
o 168998
o 168994
o 168931
o 168927
o 168892
o 168888
o 168845
o 168764
o 168760
o 168697
o 168693
o 168681
o 168677
o 168672
o 168591
o 168587
o 168524
o 168520
o 168485
o 168481
o 168438
o 168357
o 168353
o 168290
o 168286
o 168271
o 168267
o 168204
o 168200
o 168188
o 168184
o 168179
o 168098
o 168094
o 168031
o 168027
o 167992
o 167988
o 167945
o 167864
o 167860
o 167797
o 167793
o 167762
o 167758
o 167723
o 167719
o 167676
o 167595
o 167591
o 167528
o 167524
o 167490
o 167409
o 167405
o 167342
o 167338
o 167300
o 167296
o 167233
o 167229
o 167194
o 167190
o 167147
o 167066
o 167062
o 166999
o 166995
o 166977
o 166973
o 166968
o 166887
o 166883
o 166820
o 166816
o 166781
o 166777
o 166734
o 166653
o 166649
o 166586
o 166582
o 166558
o 166554
o 166529
o 166525
o 166490
o 166486
o 166443
o 166362
o 166358
o 166295
o 166291
o 166273
o 166269
o 166264
o 166183
o 166179
o 166116
o 166112
o 166077
o 166073
o 166030
o 165949
o 165945
o 165882
o 165878
o 165846
o 165842
o 165779
o 165775
o 165757
o 165753
o 165748
o 165667
o 165663
o 165600
o 165596
o 165561
o 165557
o 165514
o 165433
o 165429
o 165366
o 165362
o 165338
o 165334
o 165309
o 165305
o 165270
o 165266
o 165223
o 165142
o 165138
o 165075
o 165071
o 165053
o 165049
o 165044
o 164963
o 164959
o 164896
o 164892
o 164857
o 164853
o 164810
o 164729
o 164725
o 164662
o 164658
o 164646
o 164642
o 164637
o 164556
o 164552
o 164489
o 164485
o 164450
o 164446
o 164403
o 164322
o 164318
o 164255
o 164251
o 164200
o 164196
o 164133
o 164129
o 164114
o 164110
o 164047
o 164043
o 164031
o 164027
o 164022
o 163941
o 163937
o 163874
o 163870
o 163835
o 163831
o 163788
o 163707
o 163703
o 163640
o 163636
o 163605
o 163601
o 163566
o 163562
o 163519
o 163438
o 163434
o 163371
o 163367
o 163333
o 163252
o 163248
o 163185
o 163181
o 163143
o 163139
o 163076
o 163072
o 163037
o 163033
o 162990
o 162909
o 162905
o 162842
o 162838
o 162820
o 162816
o 162811
o 162730
o 162726
o 162663
o 162659
o 162624
o 162620
o 162577
o 162496
o 162492
o 162429
o 162425
o 162401
o 162397
o 162372
o 162368
o 162333
o 162329
o 162286
o 162205
o 162201
o 162138
o 162134
o 162116
o 162112
o 162107
o 162026
o 162022
o 161959
o 161955
o 161920
o 161916
o 161873
o 161792
o 161788
o 161725
o 161721
o 161689
o 161685
o 161622
o 161618
o 161600
o 161596
o 161591
o 161510
o 161506
o 161443
o 161439
o 161404
o 161400
o 161357
o 161276
o 161272
o 161209
o 161205
o 161181
o 161177
o 161152
o 161148
o 161113
o 161109
o 161066
o 160985
o 160981
o 160918
o 160914
o 160896
o 160892
o 160887
o 160806
o 160802
o 160739
o 160735
o 160700
o 160696
o 160653
o 160572
o 160568
o 160505
o 160501
o 160489
o 160485
o 160480
o 160399
o 160395
o 160332
o 160328
o 160293
o 160289
o 160246
o 160165
o 160161
o 160098
o 160094
o 160056
o 160052
o 159989
o 159985
o 159950
o 159946
o 159903
o 159822
o 159818
o 159755
o 159751
o 159736
o 159732
o 159669
o 159665
o 159653
o 159649
o 159644
o 159563
o 159559
o 159496
o 159492
o 159457
o 159453
o 159410
o 159329
o 159325
o 159262
o 159258
o 159227
o 159223
o 159188
o 159184
o 159141
o 159060
o 159056
o 158993
o 158989
o 158955
o 158874
o 158870
o 158807
o 158803
o 158765
o 158761
o 158698
o 158694
o 158659
o 158655
o 158612
o 158531
o 158527
o 158464
o 158460
o 158442
o 158438
o 158433
o 158352
o 158348
o 158285
o 158281
o 158246
o 158242
o 158199
o 158118
o 158114
o 158051
o 158047
o 158023
o 158019
o 157994
o 157990
o 157955
o 157951
o 157908
o 157827
o 157823
o 157760
o 157756
o 157738
o 157734
o 157729
o 157648
o 157644
o 157581
o 157577
o 157542
o 157538
o 157495
o 157414
o 157410
o 157347
o 157343
o 157311
o 157307
o 157244
o 157240
o 157222
o 157218
o 157213
o 157132
o 157128
o 157065
o 157061
o 157026
o 157022
o 156979
o 156898
o 156894
o 156831
o 156827
o 156803
o 156799
o 156774
o 156770
o 156735
o 156731
o 156688
o 156607
o 156603
o 156540
o 156536
o 156518
o 156514
o 156509
o 156428
o 156424
o 156361
o 156357
o 156322
o 156318
o 156275
o 156194
o 156190
o 156127
o 156123
o 156111
o 156107
o 156102
o 156021
o 156017
o 155954
o 155950
o 155915
o 155911
o 155868
o 155787
o 155783
o 155720
o 155716
o 155684
o 155680
o 155662
o 155658
o 155653
o 155572
o 155568
o 155505
o 155501
o 155466
o 155462
o 155419
o 155338
o 155334
o 155271
o 155267
o 155235
o 155231
o 155168
o 155164
o 155146
o 155142
o 155137
o 155056
o 155052
o 154989
o 154985
o 154950
o 154946
o 154903
o 154822
o 154818
o 154755
o 154751
o 154727
o 154723
o 154698
o 154694
o 154659
o 154655
o 154612
o 154531
o 154527
o 154464
o 154460
o 154442
o 154438
o 154433
o 154352
o 154348
o 154285
o 154281
o 154246
o 154242
o 154199
o 154118
o 154114
o 154051
o 154047
o 154035
o 154031
o 154026
o 153945
o 153941
o 153878
o 153874
o 153839
o 153835
o 153792
o 153711
o 153707
o 153644
o 153640
o 153602
o 153598
o 153535
o 153531
o 153496
o 153492
o 153449
o 153368
o 153364
o 153301
o 153297
o 153282
o 153278
o 153215
o 153211
o 153199
o 153195
o 153190
o 153109
o 153105
o 153042
o 153038
o 153003
o 152999
o 152956
o 152875
o 152871
o 152808
o 152804
o 152773
o 152769
o 152734
o 152730
o 152687
o 152606
o 152602
o 152539
o 152535
o 152501
o 152420
o 152416
o 152353
o 152349
o 152311
o 152307
o 152244
o 152240
o 152205
o 152201
o 152158
o 152077
o 152073
o 152010
o 152006
o 151988
o 151984
o 151979
o 151898
o 151894
o 151831
o 151827
o 151792
o 151788
o 151745
o 151664
o 151660
o 151597
o 151593
o 151569
o 151565
o 151540
o 151536
o 151501
o 151497
o 151454
o 151373
o 151369
o 151306
o 151302
o 151284
o 151280
o 151275
o 151194
o 151190
o 151127
o 151123
o 151088
o 151084
o 151041
o 150960
o 150956
o 150893
o 150889
o 150857
o 150853
o 150790
o 150786
o 150768
o 150764
o 150759
o 150678
o 150674
o 150611
o 150607
o 150572
o 150568
o 150525
o 150444
o 150440
o 150377
o 150373
o 150349
o 150345
o 150320
o 150316
o 150281
o 150277
o 150234
o 150153
o 150149
o 150086
o 150082
o 150064
o 150060
o 150055
o 149974
o 149970
o 149907
o 149903
o 149868
o 149864
o 149821
o 149740
o 149736
o 149673
o 149669
o 149657
o 149653
o 149648
o 149567
o 149563
o 149500
o 149496
o 149461
o 149457
o 149414
o 149333
o 149329
o 149266
o 149262
o 149245
o 149241
o 149206
o 149202
o 149159
o 149078
o 149074
o 149011
o 149007
o 148983
o 148979
o 148954
o 148950
o 148915
o 148911
o 148868
o 148787
o 148783
o 148720
o 148716
o 148698
o 148694
o 148689
o 148608
o 148604
o 148541
o 148537
o 148502
o 148498
o 148455
o 148374
o 148370
o 148307
o 148303
o 148291
o 148287
o 148282
o 148201
o 148197
o 148134
o 148130
o 148095
o 148091
o 148048
o 147967
o 147963
o 147900
o 147896
o 147861
o 147857
o 147822
o 147818
o 147775
o 147694
o 147690
o 147627
o 147623
o 147591
o 147587
o 147524
o 147520
o 147502
o 147498
o 147493
o 147412
o 147408
o 147345
o 147341
o 147306
o 147302
o 147259
o 147178
o 147174
o 147111
o 147107
o 147083
o 147079
o 147054
o 147050
o 147015
o 147011
o 146968
o 146887
o 146883
o 146820
o 146816
o 146798
o 146794
o 146789
o 146708
o 146704
o 146641
o 146637
o 146602
o 146598
o 146555
o 146474
o 146470
o 146407
o 146403
o 146391
o 146387
o 146382
o 146301
o 146297
o 146234
o 146230
o 146195
o 146191
o 146148
o 146067
o 146063
o 146000
o 145996
o 145993
o 145989
o 145977
o 145973
o 145968
o 145887
o 145883
o 145820
o 145816
o 145781
o 145777
o 145734
o 145653
o 145649
o 145586
o 145582
o 145521
o 145517
o 145454
o 145450
o 145432
o 145428
o 145423
o 145342
o 145338
o 145275
o 145271
o 145236
o 145232
o 145189
o 145108
o 145104
o 145041
o 145037
o 145025
o 145021
o 145016
o 144935
o 144931
o 144868
o 144864
o 144829
o 144825
o 144782
o 144701
o 144697
o 144634
o 144630
o 144627
o 144623
o 144611
o 144607
o 144602
o 144521
o 144517
o 144454
o 144450
o 144415
o 144411
o 144368
o 144287
o 144283
o 144220
o 144216
o 144185
o 144181
o 144163
o 144159
o 144154
o 144073
o 144069
o 144006
o 144002
o 143967
o 143963
o 143920
o 143839
o 143835
o 143772
o 143768
o 143736
o 143732
o 143669
o 143665
o 143647
o 143643
o 143638
o 143557
o 143553
o 143490
o 143486
o 143451
o 143447
o 143404
o 143323
o 143319
o 143256
o 143252
o 143228
o 143224
o 143199
o 143195
o 143160
o 143156
o 143113
o 143032
o 143028
o 142965
o 142961
o 142943
o 142939
o 142934
o 142853
o 142849
o 142786
o 142782
o 142747
o 142743
o 142700
o 142619
o 142615
o 142552
o 142548
o 142536
o 142532
o 142527
o 142446
o 142442
o 142379
o 142375
o 142340
o 142336
o 142293
o 142212
o 142208
o 142145
o 142141
o 142124
o 142120
o 142085
o 142081
o 142038
o 141957
o 141953
o 141890
o 141886
o 141862
o 141858
o 141833
o 141829
o 141794
o 141790
o 141747
o 141666
o 141662
o 141599
o 141595
o 141577
o 141573
o 141568
o 141487
o 141483
o 141420
o 141416
o 141381
o 141377
o 141334
o 141253
o 141249
o 141186
o 141182
o 141170
o 141166
o 141161
o 141080
o 141076
o 141013
o 141009
o 140974
o 140970
o 140927
o 140846
o 140842
o 140779
o 140775
o 140740
o 140736
o 140701
o 140697
o 140654
o 140573
o 140569
o 140506
o 140502
o 140470
o 140466
o 140403
o 140399
o 140381
o 140377
o 140372
o 140291
o 140287
o 140224
o 140220
o 140185
o 140181
o 140138
o 140057
o 140053
o 139990
o 139986
o 139962
o 139958
o 139933
o 139929
o 139894
o 139890
o 139847
o 139766
o 139762
o 139699
o 139695
o 139677
o 139673
o 139668
o 139587
o 139583
o 139520
o 139516
o 139481
o 139477
o 139434
o 139353
o 139349
o 139286
o 139282
o 139270
o 139266
o 139261
o 139180
o 139176
o 139113
o 139109
o 139074
o 139070
o 139027
o 138946
o 138942
o 138879
o 138875
o 138872
o 138868
o 138856
o 138852
o 138847
o 138766
o 138762
o 138699
o 138695
o 138660
o 138656
o 138613
o 138532
o 138528
o 138465
o 138461
o 138400
o 138396
o 138333
o 138329
o 138311
o 138307
o 138302
o 138221
o 138217
o 138154
o 138150
o 138115
o 138111
o 138068
o 137987
o 137983
o 137920
o 137916
o 137904
o 137900
o 137895
o 137814
o 137810
o 137747
o 137743
o 137708
o 137704
o 137661
o 137580
o 137576
o 137513
o 137509
o 137506
o 137502
o 137490
o 137486
o 137481
o 137400
o 137396
o 137333
o 137329
o 137294
o 137290
o 137247
o 137166
o 137162
o 137099
o 137095
o 137067
o 137063
o 137000
o 136996
o 136961
o 136957
o 136914
o 136833
o 136829
o 136766
o 136762
o 136701
o 136697
o 136634
o 136630
o 136612
o 136608
o 136603
o 136522
o 136518
o 136455
o 136451
o 136416
o 136412
o 136369
o 136288
o 136284
o 136221
o 136217
o 136205
o 136201
o 136196
o 136115
o 136111
o 136048
o 136044
o 136009
o 136005
o 135962
o 135881
o 135877
o 135814
o 135810
o 135807
o 135803
o 135791
o 135787
o 135782
o 135701
o 135697
o 135634
o 135630
o 135595
o 135591
o 135548
o 135467
o 135463
o 135400
o 135396
o 135395
o 135391
o 135348
o 135267
o 135263
o 135200
o 135196
o 135164
o 135160
o 135097
o 135093
o 135075
o 135071
o 135066
o 134985
o 134981
o 134918
o 134914
o 134879
o 134875
o 134832
o 134751
o 134747
o 134684
o 134680
o 134656
o 134652
o 134627
o 134623
o 134588
o 134584
o 134541
o 134460
o 134456
o 134393
o 134389
o 134371
o 134367
o 134362
o 134281
o 134277
o 134214
o 134210
o 134175
o 134171
o 134128
o 134047
o 134043
o 133980
o 133976
o 133964
o 133960
o 133955
o 133874
o 133870
o 133807
o 133803
o 133768
o 133764
o 133721
o 133640
o 133636
o 133573
o 133569
o 133552
o 133548
o 133513
o 133509
o 133466
o 133385
o 133381
o 133318
o 133314
o 133290
o 133286
o 133261
o 133257
o 133222
o 133218
o 133175
o 133094
o 133090
o 133027
o 133023
o 133005
o 133001
o 132996
o 132915
o 132911
o 132848
o 132844
o 132809
o 132805
o 132762
o 132681
o 132677
o 132614
o 132610
o 132598
o 132594
o 132589
o 132508
o 132504
o 132441
o 132437
o 132402
o 132398
o 132355
o 132274
o 132270
o 132207
o 132203
o 132168
o 132164
o 132129
o 132125
o 132082
o 132001
o 131997
o 131934
o 131930
o 131898
o 131894
o 131831
o 131827
o 131809
o 131805
o 131800
o 131719
o 131715
o 131652
o 131648
o 131613
o 131609
o 131566
o 131485
o 131481
o 131418
o 131414
o 131390
o 131386
o 131361
o 131357
o 131322
o 131318
o 131275
o 131194
o 131190
o 131127
o 131123
o 131105
o 131101
o 131096
o 131015
o 131011
o 130948
o 130944
o 130909
o 130905
o 130862
o 130781
o 130777
o 130714
o 130710
o 130698
o 130694
o 130689
o 130608
o 130604
o 130541
o 130537
o 130502
o 130498
o 130455
o 130374
o 130370
o 130307
o 130303
o 130300
o 130296
o 130284
o 130280
o 130275
o 130194
o 130190
o 130127
o 130123
o 130088
o 130084
o 130041
o 129960
o 129956
o 129893
o 129889
o 129828
o 129824
o 129761
o 129757
o 129739
o 129735
o 129730
o 129649
o 129645
o 129582
o 129578
o 129543
o 129539
o 129496
o 129415
o 129411
o 129348
o 129344
o 129332
o 129328
o 129323
o 129242
o 129238
o 129175
o 129171
o 129136
o 129132
o 129089
o 129008
o 129004
o 128941
o 128937
o 128934
o 128930
o 128918
o 128914
o 128909
o 128828
o 128824
o 128761
o 128757
o 128722
o 128718
o 128675
o 128594
o 128590
o 128527
o 128523
o 128475
o 128471
o 128436
o 128432
o 128389
o 128308
o 128304
o 128241
o 128237
o 128234
o 128230
o 128218
o 128214
o 128209
o 128128
o 128124
o 128061
o 128057
o 128022
o 128018
o 127975
o 127894
o 127890
o 127827
o 127823
o 127820
o 127816
o 127753
o 127749
o 127746
o 127742
o 127730
o 127726
o 127721
o 127640
o 127636
o 127573
o 127569
o 127534
o 127530
o 127487
o 127406
o 127402
o 127339
o 127335
o 127307
o 127303
o 127240
o 127236
o 127201
o 127197
o 127154
o 127073
o 127069
o 127006
o 127002
o 126941
o 126937
o 126874
o 126870
o 126852
o 126848
o 126843
o 126762
o 126758
o 126695
o 126691
o 126656
o 126652
o 126609
o 126528
o 126524
o 126461
o 126457
o 126445
o 126441
o 126436
o 126355
o 126351
o 126288
o 126284
o 126249
o 126245
o 126202
o 126121
o 126117
o 126054
o 126050
o 126047
o 126043
o 126031
o 126027
o 126022
o 125941
o 125937
o 125874
o 125870
o 125835
o 125831
o 125788
o 125707
o 125703
o 125640
o 125636
o 125635
o 125631
o 125588
o 125507
o 125503
o 125440
o 125436
o 125404
o 125400
o 125337
o 125333
o 125315
o 125311
o 125306
o 125225
o 125221
o 125158
o 125154
o 125119
o 125115
o 125072
o 124991
o 124987
o 124924
o 124920
o 124896
o 124892
o 124867
o 124863
o 124828
o 124824
o 124781
o 124700
o 124696
o 124633
o 124629
o 124611
o 124607
o 124602
o 124521
o 124517
o 124454
o 124450
o 124415
o 124411
o 124368
o 124287
o 124283
o 124220
o 124216
o 124204
o 124200
o 124195
o 124114
o 124110
o 124047
o 124043
o 124008
o 124004
o 123961
o 123880
o 123876
o 123813
o 123809
o 123792
o 123788
o 123753
o 123749
o 123706
o 123625
o 123621
o 123558
o 123554
o 123530
o 123526
o 123501
o 123497
o 123462
o 123458
o 123415
o 123334
o 123330
o 123267
o 123263
o 123245
o 123241
o 123236
o 123155
o 123151
o 123088
o 123084
o 123049
o 123045
o 123002
o 122921
o 122917
o 122854
o 122850
o 122838
o 122834
o 122829
o 122748
o 122744
o 122681
o 122677
o 122642
o 122638
o 122595
o 122514
o 122510
o 122447
o 122443
o 122408
o 122404
o 122369
o 122365
o 122322
o 122241
o 122237
o 122174
o 122170
o 122138
o 122134
o 122071
o 122067
o 122049
o 122045
o 122040
o 121959
o 121955
o 121892
o 121888
o 121853
o 121849
o 121806
o 121725
o 121721
o 121658
o 121654
o 121630
o 121626
o 121601
o 121597
o 121562
o 121558
o 121515
o 121434
o 121430
o 121367
o 121363
o 121345
o 121341
o 121336
o 121255
o 121251
o 121188
o 121184
o 121149
o 121145
o 121102
o 121021
o 121017
o 120954
o 120950
o 120938
o 120934
o 120929
o 120848
o 120844
o 120781
o 120777
o 120742
o 120738
o 120695
o 120614
o 120610
o 120547
o 120543
o 120540
o 120536
o 120524
o 120520
o 120515
o 120434
o 120430
o 120367
o 120363
o 120328
o 120324
o 120281
o 120200
o 120196
o 120133
o 120129
o 120068
o 120064
o 120001
o 119997
o 119979
o 119975
o 119970
o 119889
o 119885
o 119822
o 119818
o 119783
o 119779
o 119736
o 119655
o 119651
o 119588
o 119584
o 119572
o 119568
o 119563
o 119482
o 119478
o 119415
o 119411
o 119376
o 119372
o 119329
o 119248
o 119244
o 119181
o 119177
o 119174
o 119170
o 119158
o 119154
o 119149
o 119068
o 119064
o 119001
o 118997
o 118962
o 118958
o 118915
o 118834
o 118830
o 118767
o 118763
o 118715
o 118711
o 118676
o 118672
o 118629
o 118548
o 118544
o 118481
o 118477
o 118474
o 118470
o 118458
o 118454
o 118449
o 118368
o 118364
o 118301
o 118297
o 118262
o 118258
o 118215
o 118134
o 118130
o 118067
o 118063
o 117999
o 117995
o 117932
o 117928
o 117893
o 117889
o 117846
o 117765
o 117761
o 117698
o 117694
o 117646
o 117642
o 117607
o 117603
o 117560
o 117479
o 117475
o 117412
o 117408
o 117405
o 117401
o 117389
o 117385
o 117380
o 117299
o 117295
o 117232
o 117228
o 117193
o 117189
o 117146
o 117065
o 117061
o 116998
o 116994
o 116942
o 116938
o 116903
o 116899
o 116856
o 116775
o 116771
o 116708
o 116704
o 116701
o 116697
o 116685
o 116681
o 116676
o 116595
o 116591
o 116528
o 116524
o 116489
o 116485
o 116442
o 116361
o 116357
o 116294
o 116290
o 116242
o 116238
o 116203
o 116199
o 116156
o 116075
o 116071
o 116008
o 116004
o 116001
o 115997
o 115985
o 115981
o 115976
o 115895
o 115891
o 115828
o 115824
o 115789
o 115785
o 115742
o 115661
o 115657
o 115594
o 115590
o 115526
o 115522
o 115459
o 115455
o 115420
o 115416
o 115373
o 115292
o 115288
o 115225
o 115221
o 115173
o 115169
o 115134
o 115130
o 115087
o 115006
o 115002
o 114939
o 114935
o 114932
o 114928
o 114916
o 114912
o 114907
o 114826
o 114822
o 114759
o 114755
o 114720
o 114716
o 114673
o 114592
o 114588
o 114525
o 114521
o 114517
o 114450
o 114398
o 114359
o 114312
o 114231
o 114164
o 114157
o 114141
o 114132
o 114051
o 113984
o 113945
o 113898
o 113817
o 113750
o 113710
o 113643
o 113604
o 113557
o 113476
o 113409
o 113395
o 113314
o 113310
o 113247
o 113243
o 113240
o 113159
o 113155
o 113092
o 113088
o 113040
o 113036
o 113001
o 112997
o 112954
o 112873
o 112869
o 112806
o 112802
o 112799
o 112795
o 112783
o 112779
o 112774
o 112693
o 112689
o 112626
o 112622
o 112587
o 112583
o 112540
o 112459
o 112455
o 112392
Killed
1819.695u 0.028s 1:00:11.62 50.3%	0+0k 0+0io 0pf+0w