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-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-2.5
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 162274
o 162240
o 162201
o 162200
o 162195
o 162156
o 162093
o 162059
o 162020
o 161999
o 161965
o 161926
o 161891
o 161870
o 161836
o 161797
o 161788
o 161767
o 161733
o 161694
o 161659
o 161638
o 161604
o 161565
o 161531
o 161492
o 161457
o 161436
o 161402
o 161363
o 161357
o 161318
o 161317
o 161312
o 161273
o 161210
o 161176
o 161137
o 161116
o 161082
o 161043
o 161008
o 160987
o 160953
o 160914
o 160905
o 160884
o 160850
o 160811
o 160776
o 160755
o 160721
o 160682
o 160648
o 160609
o 160574
o 160553
o 160519
o 160480
o 160458
o 160419
o 160398
o 160364
o 160325
o 160290
o 160269
o 160235
o 160196
o 160187
o 160166
o 160132
o 160093
o 160058
o 160037
o 160003
o 159964
o 159930
o 159891
o 159856
o 159835
o 159801
o 159762
o 159756
o 159717
o 159716
o 159711
o 159672
o 159609
o 159575
o 159536
o 159515
o 159481
o 159442
o 159407
o 159386
o 159352
o 159313
o 159304
o 159283
o 159249
o 159210
o 159175
o 159154
o 159120
o 159081
o 159047
o 159008
o 158973
o 158952
o 158918
o 158879
o 158847
o 158813
o 158774
o 158739
o 158718
o 158684
o 158645
o 158638
o 158604
o 158565
o 158562
o 158523
o 158488
o 158467
o 158433
o 158394
o 158383
o 158362
o 158328
o 158289
o 158255
o 158216
o 158181
o 158160
o 158126
o 158087
o 158076
o 158041
o 158020
o 157986
o 157947
o 157946
o 157941
o 157902
o 157839
o 157805
o 157766
o 157745
o 157711
o 157672
o 157637
o 157616
o 157582
o 157543
o 157534
o 157513
o 157479
o 157440
o 157405
o 157384
o 157350
o 157311
o 157277
o 157238
o 157203
o 157182
o 157148
o 157109
o 157103
o 157064
o 157063
o 157058
o 157019
o 156956
o 156922
o 156883
o 156862
o 156828
o 156789
o 156754
o 156733
o 156699
o 156660
o 156651
o 156630
o 156596
o 156557
o 156522
o 156501
o 156467
o 156428
o 156394
o 156355
o 156320
o 156299
o 156265
o 156226
o 156220
o 156213
o 156179
o 156140
o 156137
o 156098
o 156063
o 156042
o 156008
o 155969
o 155958
o 155937
o 155903
o 155864
o 155830
o 155791
o 155756
o 155735
o 155701
o 155662
o 155651
o 155616
o 155595
o 155561
o 155522
o 155521
o 155516
o 155477
o 155414
o 155380
o 155341
o 155320
o 155286
o 155247
o 155212
o 155191
o 155157
o 155118
o 155109
o 155088
o 155054
o 155015
o 154980
o 154959
o 154925
o 154886
o 154852
o 154813
o 154778
o 154757
o 154723
o 154684
o 154678
o 154639
o 154638
o 154633
o 154594
o 154531
o 154497
o 154458
o 154437
o 154403
o 154364
o 154329
o 154308
o 154274
o 154235
o 154226
o 154205
o 154171
o 154132
o 154097
o 154076
o 154042
o 154003
o 153969
o 153930
o 153895
o 153874
o 153840
o 153801
o 153772
o 153752
o 153713
o 153702
o 153681
o 153647
o 153608
o 153574
o 153535
o 153500
o 153479
o 153445
o 153406
o 153395
o 153360
o 153339
o 153305
o 153266
o 153233
o 153224
o 153203
o 153169
o 153130
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 151534
o 151500
o 151461
o 151428
o 151419
o 151398
o 151364
o 151325
o 151290
o 151269
o 151235
o 151196
o 151186
o 151151
o 151130
o 151096
o 151057
o 151048
o 151027
o 150993
o 150954
o 150919
o 150898
o 150864
o 150825
o 150791
o 150752
o 150717
o 150696
o 150662
o 150623
o 150617
o 150578
o 150545
o 150536
o 150515
o 150481
o 150442
o 150407
o 150386
o 150352
o 150313
o 150303
o 150268
o 150247
o 150213
o 150174
o 150165
o 150144
o 150110
o 150071
o 150036
o 150015
o 149981
o 149942
o 149908
o 149869
o 149834
o 149813
o 149779
o 149740
o 149724
o 149689
o 149668
o 149634
o 149595
o 149585
o 149550
o 149529
o 149495
o 149456
o 149447
o 149426
o 149392
o 149353
o 149318
o 149297
o 149263
o 149224
o 149190
o 149151
o 149116
o 149095
o 149061
o 149022
o 149016
o 148977
o 148944
o 148935
o 148914
o 148880
o 148841
o 148806
o 148785
o 148751
o 148712
o 148702
o 148667
o 148646
o 148612
o 148573
o 148564
o 148543
o 148509
o 148470
o 148435
o 148414
o 148380
o 148341
o 148307
o 148268
o 148233
o 148212
o 148178
o 148139
o 148107
o 148073
o 148034
o 147999
o 147978
o 147944
o 147905
o 147898
o 147864
o 147825
o 147822
o 147783
o 147748
o 147727
o 147693
o 147654
o 147643
o 147622
o 147588
o 147549
o 147515
o 147476
o 147441
o 147420
o 147386
o 147347
o 147336
o 147301
o 147280
o 147246
o 147207
o 147174
o 147165
o 147144
o 147110
o 147071
o 147036
o 147015
o 146981
o 146942
o 146932
o 146897
o 146876
o 146842
o 146803
o 146794
o 146773
o 146739
o 146700
o 146665
o 146644
o 146610
o 146571
o 146537
o 146498
o 146463
o 146442
o 146408
o 146369
o 146363
o 146324
o 146291
o 146282
o 146261
o 146227
o 146188
o 146153
o 146132
o 146098
o 146059
o 146049
o 146014
o 145993
o 145959
o 145920
o 145911
o 145890
o 145856
o 145817
o 145782
o 145761
o 145727
o 145688
o 145654
o 145615
o 145580
o 145559
o 145525
o 145486
o 145480
o 145473
o 145439
o 145400
o 145397
o 145358
o 145323
o 145302
o 145268
o 145229
o 145218
o 145197
o 145163
o 145124
o 145090
o 145051
o 145016
o 144995
o 144961
o 144922
o 144911
o 144876
o 144855
o 144821
o 144782
o 144749
o 144740
o 144719
o 144685
o 144646
o 144611
o 144590
o 144556
o 144517
o 144507
o 144472
o 144451
o 144417
o 144378
o 144369
o 144348
o 144314
o 144275
o 144240
o 144219
o 144185
o 144146
o 144112
o 144073
o 144038
o 144017
o 143983
o 143944
o 143938
o 143899
o 143866
o 143857
o 143836
o 143802
o 143763
o 143728
o 143707
o 143673
o 143634
o 143624
o 143589
o 143568
o 143534
o 143495
o 143486
o 143465
o 143431
o 143392
o 143357
o 143336
o 143302
o 143263
o 143229
o 143190
o 143155
o 143134
o 143100
o 143061
o 143032
o 143019
o 142980
o 142960
o 142925
o 142904
o 142870
o 142831
o 142822
o 142801
o 142767
o 142728
o 142693
o 142672
o 142638
o 142599
o 142589
o 142554
o 142533
o 142499
o 142460
o 142451
o 142430
o 142396
o 142357
o 142322
o 142301
o 142267
o 142228
o 142222
o 142183
o 142170
o 142136
o 142097
o 142077
o 142042
o 142021
o 141987
o 141948
o 141939
o 141918
o 141884
o 141845
o 141810
o 141789
o 141755
o 141716
o 141706
o 141671
o 141650
o 141616
o 141577
o 141568
o 141547
o 141513
o 141474
o 141439
o 141418
o 141384
o 141345
o 141316
o 141304
o 141270
o 141231
o 141222
o 141201
o 141167
o 141128
o 141093
o 141072
o 141038
o 140999
o 140989
o 140954
o 140933
o 140899
o 140860
o 140851
o 140830
o 140796
o 140757
o 140722
o 140701
o 140667
o 140628
o 140599
o 140588
o 140554
o 140515
o 140480
o 140459
o 140425
o 140386
o 140357
o 140335
o 140296
o 140267
o 140256
o 140222
o 140183
o 140148
o 140127
o 140093
o 140054
o 140025
o 139991
o 139952
o 139920
o 139886
o 139847
o 139812
o 139791
o 139757
o 139718
o 139711
o 139677
o 139638
o 139635
o 139596
o 139561
o 139540
o 139506
o 139467
o 139441
o 139420
o 139386
o 139347
o 139338
o 139317
o 139283
o 139244
o 139209
o 139188
o 139154
o 139115
o 139081
o 139042
o 139007
o 138986
o 138952
o 138913
o 138912
o 138878
o 138839
o 138818
o 138784
o 138745
o 138710
o 138689
o 138655
o 138616
o 138607
o 138586
o 138552
o 138513
o 138478
o 138457
o 138423
o 138384
o 138350
o 138311
o 138276
o 138255
o 138221
o 138182
o 138159
o 138124
o 138103
o 138069
o 138030
o 138029
o 137995
o 137956
o 137935
o 137901
o 137862
o 137827
o 137806
o 137772
o 137733
o 137724
o 137703
o 137669
o 137630
o 137595
o 137574
o 137540
o 137501
o 137467
o 137428
o 137393
o 137372
o 137338
o 137299
o 137293
o 137286
o 137252
o 137213
o 137210
o 137171
o 137136
o 137115
o 137081
o 137042
o 137016
o 136995
o 136961
o 136922
o 136913
o 136892
o 136858
o 136819
o 136784
o 136763
o 136729
o 136690
o 136656
o 136617
o 136582
o 136561
o 136527
o 136488
o 136487
o 136453
o 136414
o 136393
o 136359
o 136320
o 136285
o 136264
o 136230
o 136191
o 136182
o 136161
o 136127
o 136088
o 136053
o 136032
o 135998
o 135959
o 135925
o 135886
o 135851
o 135830
o 135796
o 135757
o 135734
o 135699
o 135678
o 135644
o 135605
o 135604
o 135570
o 135531
o 135510
o 135476
o 135437
o 135402
o 135381
o 135347
o 135308
o 135299
o 135278
o 135244
o 135205
o 135170
o 135149
o 135115
o 135076
o 135042
o 135003
o 134968
o 134947
o 134913
o 134874
o 134845
o 134825
o 134786
o 134760
o 134739
o 134705
Killed
1819.549u 0.174s 30:23.00 99.8%	0+0k 0+0io 0pf+0w