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-80-1_network-1.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-1.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 208 753 1402701
WARNING: Ubcsat not found.
o 1402701
o 261549
o 261413
o 261319
o 261246
o 261152
o 261054
o 260918
o 260824
o 260780
o 260644
o 260550
o 259681
o 259545
o 259451
o 259378
o 259284
o 259186
o 259050
o 258956
o 258912
o 258776
o 258682
o 258574
o 258480
o 258395
o 258301
o 258228
o 258134
o 258036
o 257900
o 257806
o 257762
o 257626
o 257532
o 257530
o 257394
o 257300
o 256663
o 256527
o 256433
o 256360
o 256266
o 256168
o 256032
o 255938
o 255894
o 255758
o 255664
o 255662
o 255526
o 255432
o 255324
o 255230
o 255194
o 255100
o 255002
o 254866
o 254772
o 254728
o 254592
o 254498
o 254496
o 254360
o 254266
o 253629
o 253493
o 253399
o 253326
o 253232
o 253134
o 252998
o 252904
o 252860
o 252724
o 252630
o 252628
o 252492
o 252398
o 252290
o 252196
o 252147
o 252113
o 252074
o 252053
o 252019
o 251980
o 251945
o 251911
o 251872
o 251851
o 251817
o 251778
o 251742
o 251721
o 251687
o 251648
o 251623
o 251589
o 251550
o 251487
o 251453
o 251414
o 251393
o 251359
o 251320
o 251315
o 251276
o 251213
o 251179
o 251140
o 251119
o 251085
o 251046
o 251044
o 250981
o 250947
o 250908
o 250887
o 250853
o 250814
o 250782
o 250250
o 250216
o 250177
o 250114
o 250080
o 250041
o 250020
o 249986
o 249947
o 249913
o 249874
o 249853
o 249819
o 249780
o 249755
o 249721
o 249682
o 249619
o 249585
o 249546
o 249525
o 249491
o 249452
o 249447
o 249408
o 249345
o 249311
o 249272
o 249251
o 249217
o 249178
o 249176
o 249113
o 249079
o 249040
o 249019
o 248985
o 248946
o 248911
o 248877
o 248838
o 248817
o 248783
o 248744
o 248718
o 248624
o 248551
o 248457
o 248359
o 248223
o 248129
o 248085
o 247949
o 247855
o 247853
o 247717
o 247623
o 247515
o 247421
o 247372
o 247338
o 247299
o 247278
o 247244
o 247205
o 247170
o 247136
o 247097
o 247076
o 247042
o 247003
o 246967
o 246946
o 246912
o 246873
o 246848
o 246814
o 246775
o 246712
o 246678
o 246639
o 246618
o 246584
o 246545
o 246540
o 246501
o 246438
o 246404
o 246365
o 246344
o 246310
o 246271
o 246269
o 246206
o 246172
o 246133
o 246112
o 246078
o 246039
o 246007
o 245475
o 245441
o 245402
o 245339
o 245305
o 245266
o 245245
o 245211
o 245172
o 245138
o 245099
o 245078
o 245044
o 245005
o 244980
o 244946
o 244907
o 244844
o 244810
o 244771
o 244750
o 244716
o 244677
o 244672
o 244633
o 244570
o 244536
o 244497
o 244476
o 244442
o 244403
o 244401
o 244338
o 244304
o 244265
o 244244
o 244210
o 244171
o 244136
o 244102
o 244063
o 244042
o 244008
o 243969
o 243948
o 243914
o 243875
o 243854
o 243820
o 243781
o 243776
o 243737
o 243674
o 243640
o 243601
o 243580
o 243546
o 243507
o 243505
o 243442
o 243408
o 243369
o 243348
o 243314
o 243275
o 243243
o 242711
o 242677
o 242638
o 242575
o 242541
o 242502
o 242481
o 242447
o 242408
o 242374
o 242335
o 242314
o 242280
o 242241
o 242216
o 242182
o 242143
o 242080
o 242046
o 242007
o 241986
o 241952
o 241913
o 241908
o 241869
o 241806
o 241772
o 241733
o 241712
o 241678
o 241639
o 241637
o 241574
o 241540
o 241501
o 241480
o 241446
o 241407
o 241372
o 241338
o 241299
o 241278
o 241244
o 241205
o 241204
o 241165
o 241102
o 241068
o 241029
o 241008
o 240974
o 240935
o 240930
o 240891
o 240828
o 240794
o 240755
o 240734
o 240700
o 240661
o 240659
o 240596
o 240562
o 240523
o 240502
o 240468
o 240429
o 240394
o 240360
o 240321
o 240300
o 240266
o 240227
o 240177
o 240143
o 240104
o 240083
o 240049
o 240010
o 240005
o 239966
o 239903
o 239869
o 239830
o 239809
o 239775
o 239736
o 239734
o 239671
o 239637
o 239598
o 239577
o 239543
o 239504
o 239469
o 239435
o 239396
o 239375
o 239341
o 239302
o 239291
o 239252
o 239247
o 239208
o 239145
o 239111
o 239072
o 239051
o 239017
o 238978
o 238976
o 238913
o 238879
o 238840
o 238819
o 238785
o 238746
o 238714
o 238182
o 238148
o 238109
o 238046
o 238012
o 237973
o 237952
o 237918
o 237879
o 237845
o 237806
o 237785
o 237751
o 237712
o 237687
o 237653
o 237614
o 237551
o 237517
o 237478
o 237457
o 237423
o 237384
o 237379
o 237340
o 237277
o 237243
o 237204
o 237183
o 237149
o 237110
o 237108
o 237045
o 237011
o 236972
o 236951
o 236917
o 236878
o 236843
o 236809
o 236770
o 236749
o 236715
o 236676
o 236675
o 236636
o 236573
o 236539
o 236500
o 236479
o 236445
o 236406
o 236401
o 236362
o 236299
o 236265
o 236226
o 236205
o 236171
o 236132
o 236130
o 236067
o 236033
o 235994
o 235973
o 235939
o 235900
o 235865
o 235831
o 235792
o 235771
o 235737
o 235698
o 235696
o 235691
o 235652
o 235589
o 235555
o 235516
o 235495
o 235461
o 235422
o 235420
o 235357
o 235323
o 235284
o 235263
o 235229
o 235190
o 235155
o 235121
o 235082
o 235061
o 235027
o 234988
o 234987
o 234948
o 234885
o 234851
o 234812
o 234791
o 234757
o 234718
o 234713
o 234674
o 234611
o 234577
o 234538
o 234517
o 234483
o 234444
o 234442
o 234379
o 234345
o 234306
o 234285
o 234251
o 234212
o 234177
o 234143
o 234104
o 234083
o 234049
o 234010
o 233980
o 233978
o 233915
o 233881
o 233842
o 233821
o 233787
o 233748
o 233716
o 233184
o 233150
o 233111
o 233048
o 233014
o 232975
o 232954
o 232920
o 232881
o 232847
o 232808
o 232787
o 232753
o 232714
o 232689
o 232655
o 232616
o 232553
o 232519
o 232480
o 232459
o 232425
o 232386
o 232381
o 232342
o 232279
o 232245
o 232206
o 232185
o 232151
o 232112
o 232110
o 232047
o 232013
o 231974
o 231953
o 231919
o 231880
o 231845
o 231811
o 231772
o 231751
o 231717
o 231678
o 231677
o 231638
o 231575
o 231541
o 231502
o 231481
o 231447
o 231408
o 231403
o 231364
o 231301
o 231267
o 231228
o 231207
o 231173
o 231134
o 231132
o 231069
o 231035
o 230996
o 230975
o 230941
o 230902
o 230867
o 230833
o 230794
o 230773
o 230739
o 230700
o 230662
o 230641
o 230607
o 230568
o 230563
o 230524
o 230461
o 230427
o 230388
o 230367
o 230333
o 230294
o 230292
o 230229
o 230195
o 230156
o 230135
o 230101
o 230062
o 230027
o 229993
o 229954
o 229933
o 229899
o 229860
o 229830
o 229828
o 229765
o 229731
o 229692
o 229671
o 229637
o 229598
o 229591
o 229552
o 229531
o 229497
o 229458
o 229034
o 229000
o 228961
o 228898
o 228864
o 228825
o 228804
o 228770
o 228731
o 228697
o 228658
o 228637
o 228603
o 228564
o 228539
o 228505
o 228466
o 228403
o 228369
o 228330
o 228309
o 228275
o 228236
o 228231
o 228192
o 228129
o 228095
o 228056
o 228035
o 228001
o 227962
o 227960
o 227897
o 227863
o 227824
o 227803
o 227769
o 227730
o 227695
o 227661
o 227622
o 227601
o 227567
o 227528
o 227527
o 227488
o 227425
o 227391
o 227352
o 227331
o 227297
o 227258
o 227253
o 227214
o 227151
o 227117
o 227078
o 227057
o 227023
o 226984
o 226982
o 226919
o 226885
o 226846
o 226825
o 226791
o 226752
o 226717
o 226683
o 226644
o 226623
o 226589
o 226550
o 226549
o 226514
o 226493
o 226459
o 226420
o 226417
o 226412
o 226373
o 226310
o 226276
o 226237
o 226216
o 226182
o 226143
o 226108
o 226087
o 226053
o 226014
o 226005
o 225984
o 225950
o 225911
o 225876
o 225855
o 225821
o 225782
o 225748
o 225709
o 225674
o 225653
o 225619
o 225580
o 225550
o 225541
o 225520
o 225486
o 225447
o 225412
o 225391
o 225357
o 225318
o 225307
o 225272
o 225251
o 225217
o 225178
o 224883
o 224849
o 224810
o 224747
o 224713
o 224674
o 224653
o 224619
o 224580
o 224546
o 224507
o 224486
o 224452
o 224413
o 224388
o 224354
o 224315
o 224252
o 224218
o 224179
o 224158
o 224124
o 224085
o 224080
o 224041
o 223978
o 223944
o 223905
o 223884
o 223850
o 223811
o 223776
o 223755
o 223721
o 223682
o 223673
o 223652
o 223618
o 223579
o 223544
o 223523
o 223489
o 223450
o 223416
o 223377
o 223342
o 223321
o 223287
o 223248
o 223240
o 223201
o 223180
o 223146
o 223107
o 223102
o 223063
o 223000
o 222966
o 222927
o 222906
o 222872
o 222833
o 222798
o 222777
o 222743
o 222704
o 222695
o 222674
o 222640
o 222601
o 222566
o 222545
o 222511
o 222472
o 222438
o 222399
o 222364
o 222343
o 222309
o 222270
o 222248
o 222246
o 222183
o 222149
o 222110
o 222089
o 222055
o 222016
o 221981
o 221947
o 221908
o 221887
o 221853
o 221814
o 221813
o 221778
o 221757
o 221723
o 221684
o 221681
o 221676
o 221637
o 221574
o 221540
o 221501
o 221480
o 221446
o 221407
o 221372
o 221351
o 221317
o 221278
o 221269
o 221248
o 221214
o 221175
o 221140
o 221119
o 221085
o 221046
o 221012
o 220973
o 220938
o 220917
o 220883
o 220844
o 220807
o 220772
o 220751
o 220717
o 220678
o 220676
o 220655
o 220621
o 220582
o 220571
o 220536
o 220515
o 220481
o 220442
o 220147
o 220113
o 220074
o 220011
o 219977
o 219938
o 219917
o 219883
o 219844
o 219810
o 219771
o 219750
o 219716
o 219677
o 219652
o 219618
o 219579
o 219516
o 219482
o 219443
o 219422
o 219388
o 219349
o 219344
o 219305
o 219242
o 219208
o 219169
o 219148
o 219114
o 219075
o 219040
o 219019
o 218985
o 218946
o 218937
o 218916
o 218882
o 218843
o 218808
o 218787
o 218753
o 218714
o 218680
o 218641
o 218606
o 218585
o 218551
o 218512
o 218504
o 218465
o 218444
o 218410
o 218371
o 218366
o 218327
o 218264
o 218230
o 218191
o 218170
o 218136
o 218097
o 218062
o 218041
o 218007
o 217968
o 217959
o 217938
o 217904
o 217865
o 217830
o 217809
o 217775
o 217736
o 217702
o 217663
o 217628
o 217607
o 217573
o 217534
o 217516
o 217495
o 217461
o 217422
o 217387
o 217366
o 217332
o 217293
o 217284
o 217263
o 217229
o 217190
o 217155
o 217134
o 217100
o 217061
o 217027
o 216988
o 216953
o 216932
o 216898
o 216859
o 216833
o 216770
o 216736
o 216697
o 216676
o 216642
o 216603
o 216568
o 216547
o 216513
o 216474
o 216465
o 216444
o 216410
o 216371
o 216336
o 216315
o 216281
o 216242
o 216208
o 216169
o 216134
o 216113
o 216079
o 216040
o 215844
o 215810
o 215771
o 215708
o 215674
o 215635
o 215614
o 215580
o 215541
o 215507
o 215468
o 215447
o 215413
o 215374
o 215349
o 215315
o 215276
o 215213
o 215179
o 215140
o 215119
o 215085
o 215046
o 215041
o 215002
o 214939
o 214905
o 214866
o 214845
o 214811
o 214772
o 214737
o 214716
o 214682
o 214643
o 214634
o 214613
o 214579
o 214540
o 214505
o 214484
o 214450
o 214411
o 214377
o 214338
o 214303
o 214282
o 214248
o 214209
o 214201
o 214162
o 214141
o 214107
o 214068
o 214063
o 214024
o 213961
o 213927
o 213888
o 213867
o 213833
o 213794
o 213759
o 213738
o 213704
o 213665
o 213656
o 213635
o 213601
o 213562
o 213527
o 213506
o 213472
o 213433
o 213399
o 213360
o 213325
o 213304
o 213270
o 213231
o 213226
o 213192
o 213153
o 213090
o 213056
o 213017
o 212996
o 212962
o 212923
o 212918
o 212879
o 212816
o 212782
o 212743
o 212722
o 212688
o 212649
o 212614
o 212593
o 212559
o 212520
o 212511
o 212490
o 212456
o 212417
o 212382
o 212361
o 212327
o 212288
o 212254
o 212215
o 212180
o 212159
o 212125
o 212086
o 212078
o 212039
o 212018
o 211984
o 211945
o 211940
o 211901
o 211838
o 211804
o 211765
o 211744
o 211710
o 211671
o 211636
o 211615
o 211581
o 211542
o 211533
o 211512
o 211478
o 211439
o 211404
o 211383
o 211349
o 211310
o 211276
o 211237
o 211202
o 211181
o 211147
o 211108
o 211090
o 211069
o 211035
o 210996
o 210961
o 210940
o 210906
o 210867
o 210858
o 210837
o 210803
o 210764
o 210729
o 210708
o 210674
o 210635
o 210601
o 210562
o 210527
o 210506
o 210472
o 210433
o 210407
o 210344
o 210310
o 210271
o 210250
o 210216
o 210177
o 210142
o 210121
o 210087
o 210048
o 210039
o 210018
o 209984
o 209945
o 209910
o 209889
o 209855
o 209816
o 209782
o 209743
o 209708
o 209687
o 209653
o 209614
o 209418
o 209384
o 209345
o 209282
o 209248
o 209209
o 209188
o 209154
o 209115
o 209081
o 209042
o 209021
o 208987
o 208948
o 208923
o 208889
o 208850
o 208787
o 208753
o 208714
o 208693
o 208659
o 208620
o 208615
o 208576
o 208513
o 208479
o 208440
o 208419
o 208385
o 208346
o 208311
o 208290
o 208256
o 208217
o 208208
o 208187
o 208153
o 208114
o 208079
o 208058
o 208024
o 207985
o 207951
o 207912
o 207877
o 207856
o 207822
o 207783
o 207775
o 207736
o 207715
o 207681
o 207642
o 207637
o 207598
o 207535
o 207501
o 207462
o 207441
o 207407
o 207368
o 207333
o 207312
o 207278
o 207239
o 207230
o 207209
o 207175
o 207136
o 207101
o 207080
o 207046
o 207007
o 206973
o 206934
o 206899
o 206878
o 206844
o 206805
o 206782
o 206761
o 206727
o 206688
o 206679
o 206658
o 206624
o 206585
o 206550
o 206529
o 206495
o 206456
o 206422
o 206383
o 206348
o 206327
o 206293
o 206254
o 206228
o 206165
o 206131
o 206092
o 206071
o 206037
o 205998
o 205963
o 205942
o 205908
o 205869
o 205860
o 205839
o 205805
o 205766
o 205731
o 205710
o 205676
o 205637
o 205603
o 205564
o 205529
o 205508
o 205474
o 205435
o 205239
o 205205
o 205166
o 205103
o 205069
o 205030
o 205009
o 204975
o 204936
o 204902
o 204863
o 204842
o 204808
o 204769
o 204744
o 204710
o 204671
o 204608
o 204574
o 204535
o 204514
o 204480
o 204441
o 204436
o 204397
o 204334
o 204300
o 204261
o 204240
o 204206
o 204167
o 204132
o 204111
o 204077
o 204038
o 204029
o 204008
o 203974
o 203935
o 203900
o 203879
o 203845
o 203806
o 203772
o 203733
o 203698
o 203677
o 203643
o 203604
o 203596
o 203557
o 203536
o 203502
o 203463
o 203458
o 203419
o 203356
o 203322
o 203283
o 203262
o 203228
o 203189
o 203154
o 203133
o 203099
o 203060
o 203051
o 203030
o 202996
o 202957
o 202922
o 202901
o 202867
o 202828
o 202794
o 202755
o 202720
o 202699
o 202665
o 202626
o 202616
o 202577
o 202542
o 202521
o 202487
o 202448
o 202252
o 202218
o 202179
o 202116
o 202082
o 202043
o 202022
o 201988
o 201949
o 201915
o 201876
o 201855
o 201821
o 201782
o 201757
o 201723
o 201684
o 201621
o 201587
o 201548
o 201527
o 201493
o 201454
o 201449
o 201410
o 201347
o 201313
o 201274
o 201253
o 201219
o 201180
o 201145
o 201124
o 201090
o 201051
o 201042
o 201021
o 200987
o 200948
o 200913
o 200892
o 200858
o 200819
o 200785
o 200746
o 200711
o 200690
o 200656
o 200617
o 200609
o 200570
o 200549
o 200515
o 200476
o 200471
o 200432
o 200369
o 200335
o 200296
o 200275
o 200241
o 200202
o 200167
o 200146
o 200112
o 200073
o 200064
o 200043
o 200009
o 199970
o 199935
o 199914
o 199880
o 199841
o 199807
o 199768
o 199733
o 199712
o 199678
o 199639
o 199600
o 199579
o 199545
o 199506
o 199481
o 199447
o 199408
o 199345
o 199311
o 199272
o 199251
o 199217
o 199178
o 199173
o 199134
o 199071
o 199037
o 198998
o 198977
o 198943
o 198904
o 198869
o 198848
o 198814
o 198775
o 198766
o 198745
o 198711
o 198672
o 198637
o 198616
o 198582
o 198543
o 198509
o 198470
o 198435
o 198414
o 198380
o 198341
o 198333
o 198294
o 198273
o 198239
o 198200
o 198195
o 198156
o 198093
o 198059
o 198020
o 197999
o 197965
o 197926
o 197891
o 197870
o 197836
o 197797
o 197788
o 197767
o 197733
o 197694
o 197659
o 197638
o 197604
o 197565
o 197531
o 197492
o 197457
o 197436
o 197402
o 197363
o 197353
o 197314
o 197279
o 197258
o 197224
o 197185
o 196989
o 196955
o 196916
o 196853
o 196819
o 196780
o 196759
o 196725
o 196686
o 196652
o 196613
o 196592
o 196558
o 196519
o 196494
o 196460
o 196421
o 196358
o 196324
o 196285
o 196264
o 196230
o 196191
o 196186
o 196147
o 196084
o 196050
o 196011
o 195990
o 195956
o 195917
o 195882
o 195861
o 195827
o 195788
o 195779
o 195758
o 195724
o 195685
o 195650
o 195629
o 195595
o 195556
o 195522
o 195483
o 195448
o 195427
o 195393
o 195354
o 195346
o 195307
o 195286
o 195252
o 195213
o 195208
o 195169
o 195106
o 195072
o 195033
o 195012
o 194978
o 194939
o 194904
o 194883
o 194849
o 194810
o 194801
o 194780
o 194746
o 194707
o 194672
o 194651
o 194617
o 194578
o 194544
o 194505
o 194470
o 194449
o 194415
o 194376
o 194361
o 194340
o 194306
o 194267
o 194233
o 194194
o 194173
o 194139
o 194100
o 194075
o 194041
o 194002
o 193939
o 193905
o 193866
o 193845
o 193811
o 193772
o 193767
o 193728
o 193665
o 193631
o 193592
o 193571
o 193537
o 193498
o 193463
o 193442
o 193408
o 193369
o 193360
o 193339
o 193305
o 193266
o 193231
o 193210
o 193176
o 193137
o 193103
o 193064
o 193029
o 193008
o 192974
o 192935
o 192927
o 192888
o 192867
o 192833
o 192794
o 192789
o 192750
o 192687
o 192653
o 192614
o 192593
o 192559
o 192520
o 192485
o 192464
o 192430
o 192391
o 192382
o 192361
o 192327
o 192288
o 192253
o 192232
o 192198
o 192159
o 192125
o 192086
o 192051
o 192030
o 191996
o 191957
o 191929
o 191890
o 191870
o 191831
o 191768
o 191734
o 191695
o 191674
o 191640
o 191601
o 191596
o 191557
o 191494
o 191460
o 191421
o 191400
o 191366
o 191327
o 191292
o 191271
o 191237
o 191198
o 191189
o 191168
o 191134
o 191095
o 191060
o 191039
o 191005
o 190966
o 190932
o 190893
o 190858
o 190837
o 190803
o 190764
o 190756
o 190717
o 190696
o 190662
o 190623
o 190618
o 190579
o 190516
o 190482
o 190443
o 190422
o 190388
o 190349
o 190314
o 190293
o 190259
o 190220
o 190211
o 190190
o 190156
o 190117
o 190082
o 190061
o 190027
o 189988
o 189954
o 189915
o 189880
o 189859
o 189825
o 189786
o 189779
o 189740
o 189735
o 189696
o 189633
o 189599
o 189560
o 189539
o 189505
o 189466
o 189431
o 189410
o 189376
o 189337
o 189328
o 189307
o 189273
o 189234
o 189199
o 189178
o 189144
o 189105
o 189071
o 189032
o 188997
o 188976
o 188942
o 188903
o 188873
o 188852
o 188818
o 188779
o 188770
o 188749
o 188715
o 188676
o 188641
o 188620
o 188586
o 188547
o 188513
o 188474
o 188439
o 188418
o 188384
o 188345
o 188337
o 188298
o 188277
o 188243
o 188204
o 188199
o 188160
o 188097
o 188063
o 188024
o 188003
o 187969
o 187930
o 187895
o 187874
o 187840
o 187801
o 187792
o 187771
o 187737
o 187698
o 187663
o 187642
o 187608
o 187569
o 187535
o 187496
o 187461
o 187440
o 187406
o 187367
o 187360
o 187321
o 187316
o 187277
o 187214
o 187180
o 187141
o 187120
o 187086
o 187047
o 187012
o 186991
o 186957
o 186918
o 186909
o 186888
o 186854
o 186815
o 186780
o 186759
o 186725
o 186686
o 186652
o 186613
o 186578
o 186557
o 186523
o 186484
o 186437
o 186403
o 186364
o 186343
o 186309
o 186270
o 186235
o 186214
o 186180
o 186141
o 186132
o 186111
o 186077
o 186038
o 186003
o 185982
o 185948
o 185909
o 185875
o 185836
o 185801
o 185780
o 185746
o 185707
o 185677
o 185656
o 185622
o 185583
o 185574
o 185553
o 185519
o 185480
o 185445
o 185424
o 185390
o 185351
o 185317
o 185278
o 185243
o 185222
o 185188
o 185149
o 185141
o 185102
o 185081
o 185047
o 185008
o 185003
o 184964
o 184901
o 184867
o 184828
o 184807
o 184773
o 184734
o 184699
o 184678
o 184644
o 184605
o 184596
o 184575
o 184541
o 184502
o 184467
o 184446
o 184412
o 184373
o 184339
o 184300
o 184265
o 184244
o 184210
o 184171
o 184164
o 184125
o 184120
o 184081
o 184018
o 183984
o 183945
o 183924
o 183890
o 183851
o 183816
o 183795
o 183761
o 183722
o 183713
o 183692
o 183658
o 183619
o 183584
o 183563
o 183529
o 183490
o 183456
o 183417
o 183382
o 183361
o 183327
o 183288
o 183282
o 183252
o 183231
o 183197
o 183158
o 183149
o 183128
o 183094
o 183055
o 183020
o 182999
o 182965
o 182926
o 182892
o 182853
o 182818
o 182797
o 182763
o 182724
o 182716
o 182677
o 182656
o 182622
o 182583
o 182578
o 182539
o 182476
o 182442
o 182403
o 182382
o 182348
o 182309
o 182274
o 182253
o 182219
o 182180
o 182171
o 182150
o 182116
o 182077
o 182042
o 182021
o 181987
o 181948
o 181914
o 181875
o 181840
o 181819
o 181785
o 181746
o 181739
o 181700
o 181695
o 181656
o 181593
o 181559
o 181520
o 181499
o 181465
o 181426
o 181391
o 181370
o 181336
o 181297
o 181288
o 181267
o 181233
o 181194
o 181159
o 181138
o 181104
o 181065
o 181031
o 180992
o 180957
o 180936
o 180902
o 180863
o 180831
o 180797
o 180758
o 180723
o 180702
o 180668
o 180629
o 180619
o 180580
o 180546
o 180507
o 180472
o 180451
o 180417
o 180378
o 180367
o 180346
o 180312
o 180273
o 180239
o 180200
o 180165
o 180144
o 180110
o 180071
o 180063
o 180024
o 180003
o 179969
o 179930
o 179925
o 179886
o 179823
o 179789
o 179750
o 179729
o 179695
o 179656
o 179621
o 179600
o 179566
o 179527
o 179518
o 179497
o 179463
o 179424
o 179389
o 179368
o 179334
o 179295
o 179261
o 179222
o 179187
o 179166
o 179132
o 179093
o 179086
o 179047
o 179042
o 179003
o 178940
o 178906
o 178867
o 178846
o 178812
o 178773
o 178738
o 178717
o 178683
o 178644
o 178635
o 178614
o 178580
o 178541
o 178506
o 178485
o 178451
o 178412
o 178378
o 178339
o 178304
o 178283
o 178249
o 178210
o 178204
o 178194
o 178155
o 178121
o 178082
o 178047
o 178026
o 177992
o 177953
o 177942
o 177921
o 177887
o 177848
o 177814
o 177775
o 177740
o 177719
o 177685
o 177646
o 177638
o 177599
o 177578
o 177544
o 177505
o 177500
o 177461
o 177398
o 177364
o 177325
o 177304
o 177270
o 177231
o 177196
o 177175
o 177141
o 177102
o 177093
o 177072
o 177038
o 176999
o 176964
o 176943
o 176909
o 176870
o 176836
o 176797
o 176762
o 176741
o 176707
o 176668
o 176661
o 176622
o 176617
o 176578
o 176515
o 176481
o 176442
o 176421
o 176387
o 176348
o 176313
o 176292
o 176258
o 176219
o 176210
o 176189
o 176155
o 176116
o 176081
o 176060
o 176026
o 175987
o 175953
o 175914
o 175879
o 175858
o 175824
o 175785
o 175753
o 175690
o 175656
o 175617
o 175596
o 175562
o 175523
o 175488
o 175467
o 175433
o 175394
o 175385
o 175364
o 175330
o 175291
o 175256
o 175235
o 175201
o 175162
o 175128
o 175089
o 175054
o 175033
o 174999
o 174960
o 174953
o 174914
o 174909
o 174870
o 174807
o 174773
o 174734
o 174713
o 174679
o 174640
o 174605
o 174584
o 174550
o 174511
o 174502
o 174481
o 174447
o 174408
o 174373
o 174352
o 174318
o 174279
o 174245
o 174206
o 174171
o 174150
o 174116
o 174077
o 174045
o 174011
o 173972
o 173937
o 173916
o 173882
o 173843
o 173836
o 173802
o 173763
o 173760
o 173721
o 173686
o 173665
o 173631
o 173592
o 173581
o 173560
o 173526
o 173487
o 173453
o 173414
o 173379
o 173358
o 173324
o 173285
o 173277
o 173238
o 173217
o 173183
o 173144
o 173139
o 173100
o 173037
o 173003
o 172964
o 172943
o 172909
o 172870
o 172835
o 172814
o 172780
o 172741
o 172732
o 172711
o 172677
o 172638
o 172603
o 172582
o 172548
o 172509
o 172475
o 172436
o 172401
o 172380
o 172346
o 172307
o 172300
o 172261
o 172256
o 172217
o 172154
o 172120
o 172081
o 172060
o 172026
o 171987
o 171952
o 171931
o 171897
o 171858
o 171849
o 171828
o 171794
o 171755
o 171720
o 171699
o 171665
o 171626
o 171592
o 171553
o 171518
o 171497
o 171463
o 171424
o 171418
o 171411
o 171377
o 171338
o 171335
o 171296
o 171261
o 171240
o 171206
o 171167
o 171156
o 171135
o 171101
o 171062
o 171028
o 170989
o 170954
o 170933
o 170899
o 170860
o 170852
o 170813
o 170792
o 170758
o 170719
o 170714
o 170675
o 170612
o 170578
o 170539
o 170518
o 170484
o 170445
o 170410
o 170389
o 170355
o 170316
o 170307
o 170286
o 170252
o 170213
o 170178
o 170157
o 170123
o 170084
o 170050
o 170011
o 169976
o 169955
o 169921
o 169882
o 169875
o 169836
o 169831
o 169792
o 169729
o 169695
o 169656
o 169635
o 169601
o 169562
o 169527
o 169506
o 169472
o 169433
o 169424
o 169403
o 169369
o 169330
o 169295
o 169274
o 169240
o 169201
o 169167
o 169128
o 169093
o 169072
o 169038
o 168999
o 168976
o 168942
o 168903
o 168882
o 168848
o 168809
o 168774
o 168753
o 168719
o 168680
o 168671
o 168650
o 168616
o 168577
o 168542
o 168521
o 168487
o 168448
o 168414
o 168375
o 168340
o 168319
o 168285
o 168246
o 168240
o 168201
o 168200
o 168195
o 168156
o 168093
o 168059
o 168020
o 167999
o 167965
o 167926
o 167891
o 167870
o 167836
o 167797
o 167788
o 167767
o 167733
o 167694
o 167659
o 167638
o 167604
o 167565
o 167531
o 167492
o 167457
o 167436
o 167402
o 167363
o 167331
o 167297
o 167258
o 167223
o 167202
o 167168
o 167129
o 167122
o 167088
o 167049
o 167046
o 167007
o 166972
o 166951
o 166917
o 166878
o 166867
o 166846
o 166812
o 166773
o 166739
o 166700
o 166665
o 166644
o 166610
o 166571
o 166560
o 166525
o 166504
o 166470
o 166431
o 166430
o 166425
o 166386
o 166323
o 166289
o 166250
o 166229
o 166195
o 166156
o 166121
o 166100
o 166066
o 166027
o 166018
o 165997
o 165963
o 165924
o 165889
o 165868
o 165834
o 165795
o 165761
o 165722
o 165687
o 165666
o 165632
o 165593
o 165587
o 165548
o 165547
o 165542
o 165503
o 165440
o 165406
o 165367
o 165346
o 165312
o 165273
o 165238
o 165217
o 165183
o 165144
o 165135
o 165114
o 165080
o 165041
o 165006
o 164985
o 164951
o 164912
o 164878
o 164839
o 164804
o 164783
o 164749
o 164710
o 164704
o 164697
o 164663
o 164624
o 164621
o 164582
o 164547
o 164526
o 164492
o 164453
o 164442
o 164421
o 164387
o 164348
o 164314
o 164275
o 164240
o 164219
o 164185
o 164146
o 164135
o 164100
o 164079
o 164045
o 164006
o 164005
o 164000
o 163961
o 163898
o 163864
o 163825
o 163804
o 163770
o 163731
o 163696
o 163675
o 163641
o 163602
o 163593
o 163572
o 163538
o 163499
o 163464
o 163443
o 163409
o 163370
o 163336
o 163297
o 163262
o 163241
o 163207
o 163168
o 163162
o 163123
o 163122
o 163117
o 163078
o 163015
o 162981
o 162942
o 162921
o 162887
o 162848
o 162813
o 162792
o 162758
o 162719
o 162710
o 162689
o 162655
o 162616
o 162581
o 162560
o 162526
o 162487
o 162453
o 162414
o 162379
o 162358
o 162324
o 162285
o 162263
o 162224
o 162213
o 162192
o 162158
o 162119
o 162085
o 162046
o 162011
o 161990
o 161956
o 161917
o 161909
o 161870
o 161849
o 161815
o 161776
o 161771
o 161732
o 161669
o 161635
o 161596
o 161575
o 161541
o 161502
o 161467
o 161446
o 161412
o 161373
o 161364
o 161343
o 161309
o 161270
o 161235
o 161214
o 161180
o 161141
o 161107
o 161068
o 161033
o 161012
o 160978
o 160939
o 160932
o 160893
o 160888
o 160849
o 160786
o 160752
o 160713
o 160692
o 160658
o 160619
o 160584
o 160563
o 160529
o 160490
o 160481
o 160460
o 160426
o 160387
o 160352
o 160331
o 160297
o 160258
o 160224
o 160185
o 160150
o 160129
o 160095
o 160056
o 160033
o 159999
o 159960
o 159939
o 159905
o 159866
o 159831
o 159810
o 159776
o 159737
o 159728
o 159707
o 159673
o 159634
o 159599
o 159578
o 159544
o 159505
o 159471
o 159432
o 159397
o 159376
o 159342
o 159303
o 159297
o 159258
o 159257
o 159252
o 159213
o 159150
o 159116
o 159077
o 159056
o 159022
o 158983
o 158948
o 158927
o 158893
o 158854
o 158845
o 158824
o 158790
o 158751
o 158716
o 158695
o 158661
o 158622
o 158588
o 158549
o 158514
o 158493
o 158459
o 158420
o 158388
o 158354
o 158315
o 158280
o 158259
o 158225
o 158186
o 158179
o 158145
o 158106
o 158103
o 158064
o 158029
o 158008
o 157974
o 157935
o 157924
o 157903
o 157869
o 157830
o 157796
o 157757
o 157722
o 157701
o 157667
o 157628
o 157617
o 157582
o 157561
o 157527
o 157488
o 157487
o 157482
o 157443
o 157380
o 157346
o 157307
o 157286
o 157252
o 157213
o 157178
o 157157
o 157123
o 157084
o 157075
o 157054
o 157020
o 156981
o 156946
o 156925
o 156891
o 156852
o 156818
o 156779
o 156744
o 156723
o 156689
o 156650
o 156644
o 156605
o 156604
o 156599
o 156560
o 156497
o 156463
o 156424
o 156403
o 156369
o 156330
o 156295
o 156274
o 156240
o 156201
o 156192
o 156171
o 156137
o 156098
o 156063
o 156042
o 156008
o 155969
o 155935
o 155896
o 155861
o 155840
o 155806
o 155767
o 155761
o 155754
o 155720
o 155681
o 155678
o 155639
o 155604
o 155583
o 155549
o 155510
o 155499
o 155478
o 155444
o 155405
o 155371
o 155332
o 155297
o 155276
o 155242
o 155203
o 155192
o 155157
o 155136
o 155102
o 155063
o 155062
o 155057
o 155018
o 154955
o 154921
o 154882
o 154861
o 154827
o 154788
o 154753
o 154732
o 154698
o 154659
o 154650
o 154629
o 154595
o 154556
o 154521
o 154500
o 154466
o 154427
o 154393
o 154354
o 154319
o 154298
o 154264
o 154225
o 154219
o 154180
o 154179
o 154174
o 154135
o 154072
o 154038
o 153999
o 153978
o 153944
o 153905
o 153870
o 153849
o 153815
o 153776
o 153767
o 153746
o 153712
o 153673
o 153638
o 153617
o 153583
o 153544
o 153510
o 153471
o 153436
o 153415
o 153381
o 153342
o 153341
o 153302
o 153268
o 153229
o 153194
o 153173
o 153139
o 153100
o 153095
o 153074
o 153040
o 153001
o 152991
o 152956
o 152935
o 152901
o 152862
o 152853
o 152832
o 152798
o 152759
o 152724
o 152703
o 152669
o 152630
o 152596
o 152557
o 152522
o 152501
o 152467
o 152428
o 152422
o 152383
o 152350
o 152341
o 152320
o 152286
o 152247
o 152212
o 152191
o 152157
o 152118
o 152108
o 152073
o 152052
o 152018
o 151979
o 151970
o 151949
o 151915
o 151876
o 151841
o 151820
o 151786
o 151747
o 151713
o 151674
o 151639
o 151618
o 151584
o 151545
o 151523
o 151484
o 151473
o 151452
o 151418
o 151379
o 151345
o 151306
o 151271
o 151250
o 151216
o 151177
o 151153
o 151133
o 151098
o 151077
o 151043
o 151004
o 150995
o 150974
o 150940
o 150901
o 150866
o 150845
o 150811
o 150772
o 150762
o 150727
o 150706
o 150672
o 150633
o 150624
o 150603
o 150569
o 150530
o 150495
o 150474
o 150440
o 150401
o 150367
o 150328
o 150293
o 150272
o 150238
o 150199
o 150194
o 150160
o 150121
o 150112
o 150091
o 150057
o 150018
o 149983
o 149962
o 149928
o 149889
o 149879
o 149844
o 149823
o 149789
o 149750
o 149741
o 149720
o 149686
o 149647
o 149612
o 149591
o 149557
o 149518
o 149484
o 149445
o 149410
o 149389
o 149355
o 149316
o 149304
o 149265
o 149230
o 149209
o 149175
o 149136
o 149126
o 149091
o 149070
o 149036
o 148997
o 148988
o 148967
o 148933
o 148894
o 148859
o 148838
o 148804
o 148765
o 148731
o 148692
o 148657
o 148636
o 148602
o 148563
o 148557
o 148518
o 148485
o 148476
o 148455
o 148421
o 148382
o 148347
o 148326
o 148292
o 148253
o 148243
o 148208
o 148187
o 148153
o 148114
o 148105
o 148084
o 148050
o 148011
o 147976
o 147955
o 147921
o 147882
o 147848
o 147809
o 147774
o 147753
o 147719
o 147680
o 147648
o 147614
o 147575
o 147540
o 147519
o 147485
o 147446
o 147439
o 147405
o 147366
o 147363
o 147324
o 147289
o 147268
o 147234
o 147195
o 147184
o 147163
o 147129
o 147090
o 147056
o 147017
o 146982
o 146961
o 146927
o 146888
o 146877
o 146842
o 146821
o 146787
o 146748
o 146715
o 146706
o 146685
o 146651
o 146612
o 146577
o 146556
o 146522
o 146483
o 146473
o 146438
o 146417
o 146383
o 146344
o 146335
o 146314
o 146280
o 146241
o 146206
o 146185
o 146151
o 146112
o 146078
o 146039
o 146004
o 145983
o 145949
o 145910
o 145904
o 145865
o 145832
o 145823
o 145802
o 145768
o 145729
o 145694
o 145673
o 145639
o 145600
o 145590
o 145555
o 145534
o 145500
o 145461
o 145452
o 145431
o 145397
o 145358
o 145323
o 145302
o 145268
o 145229
o 145195
o 145156
o 145121
o 145100
o 145066
o 145027
o 145021
o 145014
o 144980
o 144941
o 144938
o 144899
o 144864
o 144843
o 144809
o 144770
o 144759
o 144738
o 144704
o 144665
o 144631
o 144592
o 144557
o 144536
o 144502
o 144463
o 144452
o 144417
o 144396
o 144362
o 144323
o 144290
o 144281
o 144260
o 144226
o 144187
o 144152
o 144131
o 144097
o 144058
o 144048
o 144013
o 143992
o 143958
o 143919
o 143910
o 143889
o 143855
o 143816
o 143781
o 143760
o 143726
o 143687
o 143653
o 143614
o 143579
o 143558
o 143524
o 143485
o 143479
o 143440
o 143407
o 143398
o 143377
o 143343
o 143304
o 143269
o 143248
o 143214
o 143175
o 143165
o 143130
o 143109
o 143075
o 143036
o 143027
o 143006
o 142972
o 142933
o 142898
o 142877
o 142843
o 142804
o 142770
o 142731
o 142696
o 142675
o 142641
o 142602
o 142601
o 142562
o 142528
o 142489
o 142454
o 142433
o 142399
o 142360
o 142342
o 142308
o 142269
o 142234
o 142213
o 142179
o 142140
o 142130
o 142095
o 142074
o 142040
o 142001
o 141992
o 141971
o 141937
o 141898
o 141863
o 141842
o 141808
o 141769
o 141763
o 141724
o 141711
o 141677
o 141638
o 141618
o 141583
o 141562
o 141528
o 141489
o 141480
o 141459
o 141425
o 141386
o 141351
o 141330
o 141296
o 141257
o 141247
o 141212
o 141191
o 141157
o 141118
o 141109
o 141088
o 141054
o 141015
o 140980
o 140959
o 140925
o 140886
o 140876
o 140867
o 140846
o 140812
o 140773
o 140738
o 140717
o 140683
o 140644
o 140634
o 140613
o 140579
o 140540
o 140530
o 140495
o 140474
o 140440
o 140401
o 140392
o 140371
o 140337
o 140298
o 140263
o 140242
o 140208
o 140169
o 140159
o 140150
o 140129
o 140095
o 140056
o 140021
o 140000
o 139966
o 139927
o 139910
o 139876
o 139837
o 139827
o 139818
o 139797
o 139763
o 139724
o 139689
o 139668
o 139634
o 139595
o 139584
o 139563
o 139529
o 139490
o 139480
o 139459
o 139425
o 139386
o 139376
o 139341
o 139320
o 139286
o 139247
o 139238
o 139217
o 139183
o 139144
o 139109
o 139088
o 139054
o 139015
o 139005
o 138996
o 138975
o 138941
o 138902
o 138867
o 138846
o 138812
o 138773
o 138756
o 138722
o 138683
o 138673
o 138664
o 138643
o 138609
o 138570
o 138535
o 138514
o 138480
o 138441
o 138419
o 138380
o 138359
o 138325
o 138286
o 138251
o 138230
o 138196
o 138157
o 138148
o 138127
o 138093
o 138054
o 138019
o 137998
o 137964
o 137925
o 137891
o 137852
o 137817
o 137796
o 137762
o 137723
o 137700
o 137665
o 137644
o 137610
o 137571
o 137570
o 137536
o 137497
o 137476
o 137442
o 137403
o 137368
o 137347
o 137313
o 137274
o 137265
o 137244
o 137210
o 137171
o 137136
o 137115
o 137081
o 137042
o 137008
o 136969
o 136934
o 136913
o 136879
o 136840
o 136834
o 136827
o 136793
o 136754
o 136751
o 136712
o 136677
o 136656
o 136622
o 136583
o 136557
o 136536
o 136502
o 136463
o 136454
o 136433
o 136399
o 136360
o 136325
o 136304
o 136270
o 136231
o 136197
o 136158
o 136123
o 136102
o 136068
o 136029
o 136028
o 135994
o 135955
o 135934
o 135900
o 135861
o 135826
o 135805
o 135771
o 135732
o 135723
o 135702
o 135668
o 135629
o 135594
o 135573
o 135539
o 135500
o 135466
o 135427
o 135392
o 135371
o 135337
o 135298
o 135275
o 135240
o 135219
o 135185
o 135146
o 135145
o 135111
o 135072
o 135051
o 135017
o 134978
o 134943
o 134922
o 134888
o 134849
o 134840
Killed
1819.712u 0.011s 30:19.79 99.9%	0+0k 0+0io 0pf+0w