Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-80-1_network-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-80-1_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1451406
o 247330
o 246874
o 246805
o 245940
o 245187
o 245007
o 244551
o 244482
o 243617
o 243591
o 243192
o 243012
o 242556
o 242487
o 241622
o 241037
o 240792
o 240727
o 240547
o 240091
o 240022
o 239617
o 239615
o 239157
o 239032
o 239030
o 238572
o 238327
o 238187
o 238118
o 237713
o 237711
o 237253
o 237128
o 237126
o 236668
o 236423
o 236268
o 236143
o 236141
o 235683
o 235438
o 235070
o 234825
o 234502
o 234257
o 234102
o 233977
o 233975
o 233517
o 233272
o 232997
o 232752
o 232384
o 232139
o 231816
o 231571
o 231416
o 231291
o 231289
o 230831
o 230586
o 230494
o 230285
o 230040
o 229672
o 229427
o 229104
o 228859
o 228704
o 228579
o 228577
o 228119
o 227874
o 227782
o 227642
o 227517
o 227515
o 227057
o 226812
o 226720
o 226617
o 226525
o 226497
o 226462
o 226391
o 226060
o 225877
o 225815
o 225632
o 225540
o 225463
o 225435
o 225400
o 225329
o 224998
o 224815
o 224753
o 224570
o 224478
o 224463
o 224218
o 224126
o 223763
o 223671
o 223518
o 223426
o 223323
o 223231
o 223221
o 223038
o 222766
o 222583
o 222521
o 222338
o 222246
o 222169
o 222159
o 221976
o 221704
o 221521
o 221459
o 221276
o 221184
o 221157
o 221142
o 220965
o 220933
o 220897
o 220873
o 220841
o 220805
o 220510
o 220478
o 220442
o 220418
o 220386
o 220350
o 220265
o 220233
o 220197
o 220173
o 220141
o 220105
o 220070
o 220038
o 220002
o 219989
o 219953
o 219838
o 219806
o 219770
o 219767
o 219735
o 219699
o 219436
o 219404
o 219368
o 219253
o 219221
o 219185
o 219159
o 219123
o 219008
o 218976
o 218940
o 218936
o 218900
o 218874
o 218838
o 218723
o 218691
o 218655
o 218451
o 218419
o 218383
o 218268
o 218236
o 218200
o 218174
o 218138
o 218023
o 217991
o 217955
o 217931
o 217899
o 217863
o 217805
o 217725
o 217713
o 217633
o 217623
o 217520
o 217440
o 217248
o 217168
o 217065
o 216985
o 216923
o 216820
o 216740
o 216728
o 216648
o 216621
o 216590
o 216554
o 216550
o 216514
o 216509
o 216477
o 216441
o 216429
o 216397
o 216361
o 216349
o 216337
o 216305
o 216269
o 216054
o 216022
o 215986
o 215974
o 215942
o 215906
o 215894
o 215882
o 215850
o 215814
o 215809
o 215777
o 215741
o 215729
o 215697
o 215661
o 215649
o 215637
o 215605
o 215569
o 215546
o 215534
o 215502
o 215466
o 215453
o 215417
o 215382
o 215350
o 215314
o 215302
o 215270
o 215234
o 215231
o 215199
o 215163
o 214980
o 214948
o 214912
o 214900
o 214868
o 214832
o 214797
o 214765
o 214729
o 214717
o 214685
o 214649
o 214623
o 214587
o 214552
o 214520
o 214484
o 214472
o 214440
o 214404
o 214400
o 214364
o 214338
o 214302
o 214267
o 214235
o 214199
o 214187
o 214155
o 214119
o 213995
o 213963
o 213927
o 213915
o 213883
o 213847
o 213812
o 213780
o 213744
o 213732
o 213700
o 213664
o 213638
o 213602
o 213567
o 213535
o 213499
o 213487
o 213455
o 213419
o 213407
o 213395
o 213363
o 213327
o 213258
o 213246
o 213166
o 213139
o 213131
o 213095
o 213083
o 213048
o 213016
o 212980
o 212968
o 212936
o 212900
o 212896
o 212860
o 212834
o 212798
o 212763
o 212731
o 212695
o 212683
o 212651
o 212615
o 212491
o 212459
o 212423
o 212411
o 212379
o 212343
o 212308
o 212276
o 212240
o 212228
o 212196
o 212160
o 212134
o 212098
o 212063
o 212031
o 211995
o 211983
o 211951
o 211915
o 211906
o 211874
o 211838
o 211834
o 211798
o 211772
o 211736
o 211701
o 211669
o 211633
o 211621
o 211589
o 211553
o 211429
o 211397
o 211361
o 211349
o 211317
o 211281
o 211246
o 211214
o 211178
o 211166
o 211134
o 211098
o 211072
o 211036
o 211001
o 210969
o 210933
o 210921
o 210889
o 210853
o 210841
o 210829
o 210797
o 210761
o 210753
o 210717
o 210705
o 210673
o 210637
o 210625
o 210613
o 210581
o 210545
o 210513
o 210481
o 210445
o 210433
o 210401
o 210365
o 210330
o 210298
o 210262
o 210250
o 210218
o 210182
o 210170
o 210158
o 210126
o 210090
o 210064
o 210028
o 210017
o 210005
o 209973
o 209937
o 209925
o 209913
o 209881
o 209845
o 209822
o 209786
o 209774
o 209762
o 209730
o 209694
o 209682
o 209650
o 209614
o 209602
o 209570
o 209534
o 209523
o 209511
o 209479
o 209443
o 209431
o 209419
o 209387
o 209351
o 209325
o 209289
o 209278
o 209266
o 209234
o 209198
o 209186
o 209174
o 209142
o 209106
o 209037
o 209025
o 208945
o 208918
o 208781
o 208749
o 208713
o 208701
o 208669
o 208633
o 208598
o 208566
o 208530
o 208518
o 208486
o 208450
o 208424
o 208388
o 208353
o 208321
o 208285
o 208273
o 208241
o 208205
o 208201
o 208165
o 208139
o 208103
o 208068
o 208036
o 208000
o 207988
o 207956
o 207920
o 207796
o 207764
o 207728
o 207716
o 207684
o 207648
o 207613
o 207581
o 207545
o 207533
o 207501
o 207465
o 207439
o 207403
o 207368
o 207336
o 207300
o 207288
o 207256
o 207220
o 207208
o 207196
o 207164
o 207128
o 207116
o 207084
o 207048
o 207036
o 207004
o 206968
o 206957
o 206945
o 206913
o 206877
o 206865
o 206853
o 206821
o 206785
o 206759
o 206723
o 206712
o 206700
o 206668
o 206632
o 206620
o 206608
o 206576
o 206540
o 206532
o 206496
o 206484
o 206452
o 206416
o 206404
o 206392
o 206360
o 206324
o 206292
o 206260
o 206224
o 206212
o 206180
o 206144
o 206109
o 206077
o 206041
o 206029
o 205997
o 205961
o 205949
o 205937
o 205905
o 205869
o 205843
o 205807
o 205796
o 205784
o 205752
o 205716
o 205704
o 205692
o 205660
o 205624
o 205598
o 205572
o 205536
o 205501
o 205469
o 205433
o 205421
o 205389
o 205353
o 205341
o 205329
o 205297
o 205261
o 205244
o 205232
o 205200
o 205164
o 205152
o 205140
o 205108
o 205072
o 205062
o 205027
o 204995
o 204959
o 204947
o 204915
o 204879
o 204755
o 204723
o 204687
o 204675
o 204643
o 204607
o 204572
o 204540
o 204504
o 204492
o 204460
o 204424
o 204398
o 204362
o 204327
o 204295
o 204259
o 204247
o 204215
o 204179
o 204167
o 204155
o 204123
o 204087
o 204075
o 204043
o 204007
o 203995
o 203963
o 203927
o 203916
o 203904
o 203872
o 203836
o 203824
o 203812
o 203780
o 203744
o 203718
o 203682
o 203671
o 203659
o 203627
o 203591
o 203579
o 203567
o 203535
o 203499
o 203491
o 203455
o 203443
o 203411
o 203375
o 203363
o 203351
o 203319
o 203283
o 203251
o 203219
o 203183
o 203171
o 203139
o 203103
o 203068
o 203036
o 203000
o 202988
o 202956
o 202920
o 202908
o 202896
o 202864
o 202828
o 202802
o 202766
o 202755
o 202743
o 202711
o 202675
o 202663
o 202651
o 202619
o 202583
o 202554
o 202549
o 202517
o 202481
o 202469
o 202437
o 202401
o 202389
o 202377
o 202345
o 202309
o 202277
o 202265
o 202233
o 202197
o 202185
o 202173
o 202141
o 202105
o 202094
o 202082
o 202050
o 202014
o 202002
o 201990
o 201958
o 201922
o 201896
o 201860
o 201849
o 201837
o 201805
o 201769
o 201757
o 201745
o 201713
o 201677
o 201651
o 201639
o 201627
o 201595
o 201559
o 201533
o 201497
o 201486
o 201474
o 201442
o 201406
o 201394
o 201382
o 201350
o 201314
o 201297
o 201285
o 201253
o 201217
o 201205
o 201193
o 201161
o 201125
o 201115
o 201080
o 201048
o 201012
o 201000
o 200968
o 200932
o 200808
o 200776
o 200740
o 200728
o 200696
o 200660
o 200625
o 200593
o 200557
o 200545
o 200513
o 200477
o 200451
o 200415
o 200380
o 200348
o 200312
o 200300
o 200268
o 200232
o 200220
o 200208
o 200176
o 200140
o 200128
o 200096
o 200060
o 200048
o 200016
o 199980
o 199969
o 199957
o 199925
o 199889
o 199877
o 199865
o 199833
o 199797
o 199771
o 199735
o 199724
o 199712
o 199680
o 199644
o 199632
o 199620
o 199588
o 199552
o 199544
o 199508
o 199496
o 199464
o 199428
o 199416
o 199404
o 199372
o 199336
o 199304
o 199272
o 199236
o 199224
o 199192
o 199156
o 199144
o 199132
o 199100
o 199064
o 199053
o 199041
o 199009
o 198973
o 198961
o 198949
o 198917
o 198881
o 198855
o 198819
o 198808
o 198796
o 198764
o 198728
o 198716
o 198704
o 198672
o 198636
o 198627
o 198615
o 198583
o 198547
o 198531
o 198495
o 198469
o 198433
o 198398
o 198366
o 198330
o 198318
o 198286
o 198250
o 198238
o 198226
o 198194
o 198158
o 198141
o 198105
o 198070
o 198038
o 198002
o 197990
o 197958
o 197922
o 197910
o 197898
o 197866
o 197830
o 197798
o 197762
o 197727
o 197695
o 197659
o 197647
o 197615
o 197579
o 197553
o 197517
o 197482
o 197450
o 197414
o 197402
o 197370
o 197334
o 197322
o 197310
o 197278
o 197242
o 197214
o 197178
o 197166
o 197134
o 197098
o 197072
o 197036
o 197001
o 196969
o 196933
o 196921
o 196889
o 196853
o 196841
o 196829
o 196797
o 196761
o 196729
o 196693
o 196658
o 196626
o 196590
o 196578
o 196546
o 196510
o 196484
o 196448
o 196413
o 196381
o 196345
o 196333
o 196301
o 196265
o 196253
o 196241
o 196209
o 196173
o 196140
o 196129
o 196117
o 196085
o 196049
o 196037
o 196025
o 195993
o 195957
o 195925
o 195893
o 195857
o 195845
o 195813
o 195777
o 195765
o 195753
o 195721
o 195685
o 195674
o 195662
o 195630
o 195594
o 195582
o 195570
o 195538
o 195502
o 195476
o 195440
o 195429
o 195417
o 195385
o 195349
o 195337
o 195325
o 195293
o 195257
o 195186
o 195154
o 195118
o 195106
o 195074
o 195038
o 195003
o 194971
o 194935
o 194923
o 194891
o 194855
o 194843
o 194831
o 194799
o 194763
o 194737
o 194701
o 194690
o 194678
o 194646
o 194610
o 194598
o 194586
o 194554
o 194518
o 194509
o 194497
o 194465
o 194429
o 194413
o 194377
o 194351
o 194315
o 194280
o 194248
o 194212
o 194200
o 194168
o 194132
o 194120
o 194108
o 194076
o 194040
o 194007
o 193996
o 193984
o 193952
o 193916
o 193904
o 193892
o 193860
o 193824
o 193792
o 193760
o 193724
o 193712
o 193680
o 193644
o 193632
o 193620
o 193588
o 193552
o 193541
o 193529
o 193497
o 193461
o 193449
o 193437
o 193405
o 193369
o 193343
o 193307
o 193296
o 193284
o 193252
o 193216
o 193204
o 193192
o 193160
o 193124
o 193096
o 193060
o 193048
o 193016
o 192980
o 192954
o 192918
o 192883
o 192851
o 192815
o 192803
o 192771
o 192735
o 192723
o 192711
o 192679
o 192643
o 192611
o 192575
o 192540
o 192508
o 192472
o 192460
o 192428
o 192392
o 192366
o 192330
o 192295
o 192263
o 192227
o 192215
o 192183
o 192147
o 192135
o 192123
o 192091
o 192055
o 192022
o 192011
o 191999
o 191967
o 191931
o 191919
o 191907
o 191875
o 191839
o 191807
o 191775
o 191739
o 191727
o 191695
o 191659
o 191647
o 191635
o 191603
o 191567
o 191556
o 191544
o 191512
o 191476
o 191464
o 191452
o 191420
o 191384
o 191358
o 191322
o 191311
o 191299
o 191267
o 191231
o 191219
o 191207
o 191175
o 191139
o 191134
o 191098
o 191086
o 191054
o 191018
o 191006
o 190994
o 190962
o 190926
o 190920
o 190884
o 190872
o 190840
o 190804
o 190792
o 190780
o 190748
o 190712
o 190693
o 190688
o 190656
o 190620
o 190608
o 190576
o 190540
o 190528
o 190516
o 190484
o 190448
o 190441
o 190409
o 190373
o 190361
o 190349
o 190317
o 190281
o 190255
o 190219
o 190208
o 190196
o 190164
o 190128
o 190116
o 190104
o 190072
o 190036
o 190032
o 189996
o 189970
o 189934
o 189923
o 189911
o 189879
o 189843
o 189831
o 189819
o 189787
o 189751
o 189719
o 189687
o 189651
o 189639
o 189607
o 189571
o 189559
o 189547
o 189515
o 189479
o 189468
o 189456
o 189424
o 189388
o 189376
o 189364
o 189332
o 189296
o 189270
o 189234
o 189223
o 189211
o 189179
o 189143
o 189131
o 189119
o 189087
o 189051
o 189039
o 189007
o 188971
o 188959
o 188927
o 188891
o 188880
o 188868
o 188836
o 188800
o 188788
o 188776
o 188744
o 188708
o 188682
o 188646
o 188635
o 188623
o 188591
o 188555
o 188543
o 188531
o 188499
o 188463
o 188455
o 188419
o 188407
o 188375
o 188339
o 188327
o 188315
o 188283
o 188247
o 188215
o 188183
o 188147
o 188135
o 188103
o 188067
o 188055
o 188043
o 188011
o 187975
o 187964
o 187952
o 187920
o 187884
o 187872
o 187860
o 187828
o 187792
o 187766
o 187730
o 187719
o 187707
o 187675
o 187639
o 187627
o 187615
o 187583
o 187547
o 187546
o 187510
o 187475
o 187443
o 187407
o 187395
o 187363
o 187327
o 187315
o 187303
o 187271
o 187235
o 187225
o 187190
o 187158
o 187122
o 187110
o 187078
o 187042
o 186918
o 186886
o 186850
o 186838
o 186806
o 186770
o 186735
o 186703
o 186667
o 186655
o 186623
o 186587
o 186561
o 186525
o 186490
o 186458
o 186422
o 186410
o 186378
o 186342
o 186330
o 186318
o 186286
o 186250
o 186232
o 186220
o 186188
o 186152
o 186140
o 186128
o 186096
o 186060
o 186055
o 186019
o 186008
o 185996
o 185964
o 185928
o 185916
o 185904
o 185872
o 185836
o 185804
o 185772
o 185736
o 185724
o 185692
o 185656
o 185644
o 185632
o 185600
o 185564
o 185553
o 185541
o 185509
o 185473
o 185461
o 185449
o 185417
o 185381
o 185355
o 185319
o 185308
o 185296
o 185264
o 185228
o 185216
o 185204
o 185172
o 185136
o 185127
o 185091
o 185080
o 185068
o 185036
o 185000
o 184988
o 184976
o 184944
o 184908
o 184882
o 184846
o 184835
o 184823
o 184791
o 184755
o 184743
o 184731
o 184699
o 184663
o 184651
o 184619
o 184583
o 184571
o 184539
o 184503
o 184492
o 184480
o 184448
o 184412
o 184400
o 184388
o 184356
o 184320
o 184294
o 184258
o 184247
o 184235
o 184203
o 184167
o 184155
o 184143
o 184111
o 184075
o 184067
o 184031
o 184019
o 183987
o 183951
o 183939
o 183927
o 183895
o 183859
o 183827
o 183795
o 183759
o 183747
o 183715
o 183679
o 183667
o 183655
o 183623
o 183587
o 183576
o 183564
o 183532
o 183496
o 183484
o 183472
o 183440
o 183404
o 183378
o 183342
o 183331
o 183319
o 183287
o 183251
o 183239
o 183227
o 183195
o 183159
o 183142
o 183106
o 183095
o 183083
o 183051
o 183015
o 183003
o 182991
o 182959
o 182923
o 182906
o 182870
o 182858
o 182846
o 182814
o 182778
o 182775
o 182763
o 182731
o 182695
o 182669
o 182633
o 182622
o 182610
o 182578
o 182542
o 182530
o 182518
o 182486
o 182450
o 182438
o 182406
o 182370
o 182358
o 182326
o 182290
o 182279
o 182267
o 182235
o 182199
o 182187
o 182175
o 182143
o 182107
o 182081
o 182045
o 182034
o 182022
o 181990
o 181954
o 181942
o 181930
o 181898
o 181862
o 181850
o 181818
o 181782
o 181770
o 181758
o 181726
o 181690
o 181665
o 181629
o 181594
o 181562
o 181526
o 181514
o 181482
o 181446
o 181434
o 181422
o 181390
o 181354
o 181322
o 181286
o 181251
o 181219
o 181183
o 181171
o 181139
o 181103
o 181077
o 181041
o 181006
o 180974
o 180938
o 180926
o 180894
o 180858
o 180846
o 180834
o 180802
o 180766
o 180746
o 180710
o 180698
o 180666
o 180630
o 180604
o 180568
o 180533
o 180501
o 180465
o 180453
o 180421
o 180385
o 180373
o 180361
o 180329
o 180293
o 180261
o 180225
o 180190
o 180158
o 180122
o 180110
o 180078
o 180042
o 180016
o 179980
o 179945
o 179913
o 179877
o 179865
o 179833
o 179797
o 179785
o 179773
o 179741
o 179705
o 179697
o 179661
o 179649
o 179617
o 179581
o 179569
o 179557
o 179525
o 179489
o 179457
o 179425
o 179389
o 179377
o 179345
o 179309
o 179297
o 179285
o 179253
o 179217
o 179206
o 179194
o 179162
o 179126
o 179114
o 179102
o 179070
o 179034
o 179008
o 178972
o 178961
o 178949
o 178917
o 178881
o 178869
o 178857
o 178825
o 178789
o 178773
o 178737
o 178726
o 178714
o 178682
o 178646
o 178634
o 178622
o 178590
o 178554
o 178553
o 178536
o 178500
o 178488
o 178476
o 178444
o 178408
o 178391
o 178355
o 178320
o 178288
o 178252
o 178240
o 178208
o 178172
o 178160
o 178148
o 178116
o 178080
o 178048
o 178012
o 177977
o 177945
o 177909
o 177897
o 177865
o 177829
o 177803
o 177767
o 177732
o 177700
o 177664
o 177652
o 177620
o 177584
o 177572
o 177560
o 177528
o 177492
o 177489
o 177453
o 177427
o 177391
o 177380
o 177368
o 177336
o 177300
o 177288
o 177276
o 177244
o 177208
o 177196
o 177164
o 177128
o 177116
o 177084
o 177048
o 177037
o 177025
o 176993
o 176957
o 176945
o 176933
o 176901
o 176865
o 176839
o 176803
o 176792
o 176780
o 176748
o 176712
o 176700
o 176688
o 176656
o 176620
o 176608
o 176576
o 176540
o 176528
o 176516
o 176484
o 176448
o 176423
o 176387
o 176352
o 176320
o 176284
o 176272
o 176240
o 176204
o 176192
o 176180
o 176148
o 176112
o 176080
o 176044
o 176009
o 175977
o 175941
o 175929
o 175897
o 175861
o 175835
o 175799
o 175764
o 175732
o 175696
o 175684
o 175652
o 175616
o 175604
o 175592
o 175560
o 175524
o 175504
o 175468
o 175456
o 175424
o 175388
o 175362
o 175326
o 175291
o 175259
o 175223
o 175211
o 175179
o 175143
o 175131
o 175119
o 175087
o 175051
o 175019
o 174983
o 174948
o 174916
o 174880
o 174868
o 174836
o 174800
o 174774
o 174738
o 174703
o 174671
o 174635
o 174623
o 174591
o 174555
o 174543
o 174531
o 174499
o 174463
o 174455
o 174419
o 174407
o 174375
o 174339
o 174327
o 174315
o 174283
o 174247
o 174215
o 174183
o 174147
o 174135
o 174103
o 174067
o 174055
o 174043
o 174011
o 173975
o 173964
o 173952
o 173920
o 173884
o 173872
o 173860
o 173828
o 173792
o 173766
o 173730
o 173719
o 173707
o 173675
o 173639
o 173627
o 173615
o 173583
o 173547
o 173531
o 173495
o 173484
o 173472
o 173440
o 173404
o 173392
o 173380
o 173348
o 173312
o 173311
o 173294
o 173258
o 173246
o 173234
o 173202
o 173166
o 173149
o 173113
o 173078
o 173046
o 173010
o 172998
o 172966
o 172930
o 172918
o 172906
o 172874
o 172838
o 172806
o 172770
o 172735
o 172703
o 172667
o 172655
o 172623
o 172587
o 172561
o 172525
o 172490
o 172458
o 172422
o 172410
o 172378
o 172342
o 172330
o 172318
o 172286
o 172250
o 172241
o 172229
o 172197
o 172161
o 172129
o 172093
o 172058
o 172026
o 171990
o 171978
o 171946
o 171910
o 171884
o 171848
o 171813
o 171781
o 171745
o 171733
o 171701
o 171665
o 171653
o 171641
o 171609
o 171573
o 171561
o 171529
o 171493
o 171481
o 171469
o 171437
o 171401
o 171376
o 171340
o 171305
o 171273
o 171237
o 171225
o 171193
o 171157
o 171145
o 171133
o 171101
o 171065
o 171033
o 170997
o 170962
o 170930
o 170894
o 170882
o 170850
o 170814
o 170788
o 170752
o 170717
o 170685
o 170649
o 170637
o 170605
o 170569
o 170557
o 170545
o 170513
o 170477
o 170457
o 170421
o 170409
o 170377
o 170341
o 170315
o 170279
o 170244
o 170212
o 170176
o 170164
o 170132
o 170096
o 170084
o 170072
o 170040
o 170004
o 169972
o 169936
o 169901
o 169869
o 169833
o 169821
o 169789
o 169753
o 169727
o 169691
o 169656
o 169624
o 169588
o 169576
o 169544
o 169508
o 169496
o 169484
o 169452
o 169416
o 169408
o 169372
o 169360
o 169328
o 169292
o 169280
o 169268
o 169236
o 169200
o 169168
o 169136
o 169100
o 169088
o 169056
o 169020
o 169008
o 168996
o 168964
o 168928
o 168917
o 168905
o 168873
o 168837
o 168825
o 168813
o 168781
o 168745
o 168719
o 168683
o 168672
o 168660
o 168628
o 168592
o 168580
o 168568
o 168536
o 168500
o 168472
o 168436
o 168424
o 168392
o 168356
o 168344
o 168332
o 168300
o 168264
o 168247
o 168211
o 168199
o 168187
o 168155
o 168119
o 168102
o 168066
o 168031
o 167999
o 167963
o 167951
o 167919
o 167883
o 167871
o 167859
o 167827
o 167791
o 167759
o 167723
o 167688
o 167656
o 167620
o 167608
o 167576
o 167540
o 167514
o 167478
o 167443
o 167411
o 167375
o 167363
o 167331
o 167295
o 167283
o 167271
o 167239
o 167203
o 167186
o 167174
o 167162
o 167130
o 167094
o 167089
o 167053
o 167042
o 167030
o 166998
o 166962
o 166950
o 166938
o 166906
o 166870
o 166838
o 166806
o 166770
o 166758
o 166726
o 166690
o 166678
o 166666
o 166634
o 166598
o 166587
o 166575
o 166543
o 166507
o 166495
o 166483
o 166451
o 166415
o 166389
o 166353
o 166342
o 166330
o 166298
o 166262
o 166250
o 166238
o 166206
o 166170
o 166161
o 166125
o 166114
o 166102
o 166070
o 166034
o 166022
o 166010
o 165978
o 165942
o 165916
o 165880
o 165869
o 165857
o 165825
o 165789
o 165777
o 165765
o 165733
o 165697
o 165685
o 165653
o 165617
o 165605
o 165573
o 165537
o 165526
o 165514
o 165482
o 165446
o 165434
o 165422
o 165390
o 165354
o 165328
o 165292
o 165281
o 165269
o 165237
o 165201
o 165189
o 165177
o 165145
o 165109
o 165101
o 165065
o 165053
o 165021
o 164985
o 164973
o 164961
o 164929
o 164893
o 164861
o 164829
o 164793
o 164781
o 164749
o 164713
o 164701
o 164689
o 164657
o 164621
o 164610
o 164598
o 164566
o 164530
o 164518
o 164506
o 164474
o 164438
o 164412
o 164376
o 164365
o 164353
o 164321
o 164285
o 164273
o 164261
o 164229
o 164193
o 164186
o 164174
o 164162
o 164130
o 164094
o 164062
o 164026
o 163991
o 163959
o 163923
o 163911
o 163879
o 163843
o 163817
o 163781
o 163746
o 163714
o 163678
o 163666
o 163634
o 163598
o 163586
o 163574
o 163542
o 163506
o 163489
o 163453
o 163441
o 163429
o 163397
o 163361
o 163344
o 163308
o 163273
o 163241
o 163205
o 163193
o 163161
o 163125
o 163113
o 163101
o 163069
o 163033
o 163001
o 162965
o 162930
o 162898
o 162862
o 162850
o 162818
o 162782
o 162756
o 162720
o 162685
o 162653
o 162617
o 162605
o 162573
o 162537
o 162525
o 162513
o 162481
o 162445
o 162420
o 162384
o 162372
o 162340
o 162304
o 162292
o 162280
o 162248
o 162212
o 162195
o 162159
o 162124
o 162092
o 162056
o 162044
o 162012
o 161976
o 161964
o 161952
o 161920
o 161884
o 161852
o 161816
o 161781
o 161749
o 161713
o 161701
o 161669
o 161633
o 161607
o 161571
o 161536
o 161504
o 161468
o 161456
o 161424
o 161388
o 161376
o 161364
o 161332
o 161296
o 161283
o 161272
o 161260
o 161228
o 161192
o 161180
o 161168
o 161136
o 161100
o 161068
o 161036
o 161000
o 160988
o 160956
o 160920
o 160908
o 160896
o 160864
o 160828
o 160817
o 160805
o 160773
o 160737
o 160725
o 160713
o 160681
o 160645
o 160619
o 160583
o 160572
o 160560
o 160528
o 160492
o 160480
o 160468
o 160436
o 160400
o 160383
o 160371
o 160359
o 160327
o 160291
o 160263
o 160243
o 160207
o 160195
o 160163
o 160127
o 160101
o 160065
o 160030
o 159998
o 159962
o 159950
o 159918
o 159882
o 159870
o 159858
o 159826
o 159790
o 159758
o 159722
o 159687
o 159655
o 159619
o 159607
o 159575
o 159539
o 159513
o 159477
o 159442
o 159410
o 159374
o 159362
o 159330
o 159294
o 159282
o 159270
o 159238
o 159202
o 159189
o 159178
o 159166
o 159134
o 159098
o 159086
o 159074
o 159042
o 159006
o 158974
o 158942
o 158906
o 158894
o 158862
o 158826
o 158814
o 158802
o 158770
o 158734
o 158723
o 158711
o 158679
o 158643
o 158631
o 158619
o 158587
o 158551
o 158525
o 158489
o 158478
o 158466
o 158434
o 158398
o 158386
o 158374
o 158342
o 158306
o 158286
o 158273
o 158262
o 158250
o 158218
o 158182
o 158170
o 158158
o 158126
o 158090
o 158058
o 158026
o 157990
o 157978
o 157946
o 157910
o 157898
o 157886
o 157854
o 157818
o 157807
o 157795
o 157763
o 157727
o 157715
o 157703
o 157671
o 157635
o 157609
o 157573
o 157562
o 157550
o 157518
o 157482
o 157470
o 157458
o 157426
o 157390
o 157383
o 157371
o 157359
o 157327
o 157291
o 157259
o 157223
o 157188
o 157156
o 157120
o 157108
o 157076
o 157040
o 157014
o 156978
o 156943
o 156911
o 156875
o 156863
o 156831
o 156795
o 156783
o 156771
o 156739
o 156703
o 156686
o 156650
o 156638
o 156626
o 156594
o 156558
o 156541
o 156505
o 156470
o 156438
o 156402
o 156390
o 156358
o 156322
o 156310
o 156298
o 156266
o 156230
o 156198
o 156162
o 156127
o 156095
o 156059
o 156047
o 156015
o 155979
o 155967
o 155955
o 155923
o 155887
o 155882
o 155850
o 155814
o 155802
o 155770
o 155734
o 155722
o 155710
o 155678
o 155642
o 155611
o 155576
o 155544
o 155508
o 155496
o 155464
o 155428
o 155416
o 155404
o 155372
o 155336
o 155331
o 155299
o 155263
o 155251
o 155219
o 155183
o 155171
o 155159
o 155127
o 155091
o 155074
o 155038
o 155026
o 155014
o 154982
o 154946
o 154929
o 154893
o 154858
o 154826
o 154790
o 154778
o 154746
o 154710
o 154698
o 154686
o 154654
o 154618
o 154586
o 154550
o 154515
o 154483
o 154447
o 154435
o 154403
o 154367
o 154355
o 154343
o 154311
o 154275
o 154270
o 154238
o 154202
o 154190
o 154158
o 154122
o 154110
o 154098
o 154066
o 154030
o 154023
o 154011
o 153999
o 153967
o 153931
o 153899
o 153863
o 153828
o 153796
o 153760
o 153748
o 153716
o 153680
o 153654
o 153618
o 153583
o 153551
o 153515
o 153503
o 153471
o 153435
o 153423
o 153411
o 153379
o 153343
o 153326
o 153290
o 153278
o 153266
o 153234
o 153198
o 153181
o 153145
o 153110
o 153078
o 153042
o 153030
o 152998
o 152962
o 152950
o 152938
o 152906
o 152870
o 152838
o 152802
o 152767
o 152735
o 152699
o 152687
o 152655
o 152619
o 152607
o 152595
o 152563
o 152527
o 152522
o 152490
o 152454
o 152442
o 152410
o 152374
o 152362
o 152350
o 152318
o 152282
o 152257
o 152221
o 152180
o 152148
o 152112
o 152100
o 152068
o 152032
o 151997
o 151965
o 151929
o 151917
o 151885
o 151849
o 151837
o 151825
o 151793
o 151757
o 151752
o 151720
o 151684
o 151672
o 151640
o 151604
o 151592
o 151580
o 151548
o 151512
o 151480
o 151444
o 151409
o 151377
o 151341
o 151329
o 151297
o 151261
o 151249
o 151237
o 151205
o 151169
o 151164
o 151132
o 151096
o 151084
o 151052
o 151016
o 151004
o 150992
o 150960
o 150924
o 150891
o 150880
o 150868
o 150836
o 150800
o 150788
o 150776
o 150744
o 150708
o 150676
o 150644
o 150608
o 150596
o 150564
o 150528
o 150516
o 150504
o 150472
o 150436
o 150425
o 150413
o 150381
o 150345
o 150333
o 150321
o 150289
o 150253
o 150227
o 150191
o 150180
o 150168
o 150136
o 150100
o 150088
o 150076
o 150044
o 150008
o 150001
o 149989
o 149977
o 149945
o 149909
o 149877
o 149841
o 149806
o 149774
o 149738
o 149726
o 149694
o 149658
o 149632
o 149596
o 149561
o 149529
o 149493
o 149481
o 149449
o 149413
o 149401
o 149389
o 149357
o 149321
o 149304
o 149268
o 149256
o 149244
o 149212
o 149176
o 149159
o 149123
o 149088
o 149056
o 149020
o 149008
o 148976
o 148940
o 148928
o 148916
o 148884
o 148848
o 148816
o 148780
o 148745
o 148713
o 148677
o 148665
o 148633
o 148597
o 148585
o 148573
o 148541
o 148505
o 148500
o 148468
o 148432
o 148420
o 148388
o 148352
o 148340
o 148328
o 148296
o 148260
o 148236
o 148201
o 148169
o 148133
o 148121
o 148089
o 148053
o 148027
o 147991
o 147956
o 147924
o 147888
o 147876
o 147844
o 147808
o 147796
o 147784
o 147752
o 147716
o 147621
o 147589
o 147553
o 147541
o 147509
o 147473
o 147438
o 147406
o 147370
o 147358
o 147326
o 147290
o 147278
o 147266
o 147234
o 147198
o 147172
o 147136
o 147125
o 147113
o 147081
o 147045
o 147033
o 147021
o 146989
o 146953
o 146949
o 146913
o 146887
o 146851
o 146840
o 146828
o 146796
o 146760
o 146748
o 146736
o 146704
o 146668
o 146636
o 146604
o 146568
o 146556
o 146524
o 146488
o 146476
o 146464
o 146432
o 146396
o 146385
o 146373
o 146341
o 146305
o 146293
o 146281
o 146249
o 146213
o 146187
o 146151
o 146140
o 146128
o 146096
o 146060
o 146048
o 146036
o 146004
o 145968
o 145960
o 145924
o 145912
o 145880
o 145844
o 145832
o 145820
o 145788
o 145752
o 145720
o 145688
o 145652
o 145640
o 145608
o 145572
o 145560
o 145548
o 145516
o 145480
o 145469
o 145457
o 145425
o 145389
o 145377
o 145365
o 145333
o 145297
o 145271
o 145235
o 145224
o 145212
o 145180
o 145144
o 145132
o 145120
o 145088
o 145052
o 145017
o 145005
o 144973
o 144937
o 144925
o 144913
o 144881
o 144845
o 144843
o 144831
o 144799
o 144763
o 144755
o 144738
o 144702
o 144667
o 144635
o 144599
o 144587
o 144555
o 144519
o 144507
o 144495
o 144463
o 144427
o 144395
o 144359
o 144324
o 144292
o 144256
o 144244
o 144212
o 144176
o 144164
o 144152
o 144120
o 144084
o 144079
o 144047
o 144011
o 143999
o 143967
o 143931
o 143919
o 143907
o 143875
o 143839
o 143822
o 143786
o 143774
o 143762
o 143730
o 143694
o 143661
o 143650
o 143638
o 143606
o 143570
o 143558
o 143546
o 143514
o 143478
o 143446
o 143414
o 143378
o 143366
o 143334
o 143298
o 143286
o 143274
o 143242
o 143206
o 143195
o 143183
o 143151
o 143115
o 143103
o 143091
o 143059
o 143023
o 142997
o 142961
o 142950
o 142938
o 142906
o 142870
o 142858
o 142846
o 142814
o 142778
o 142771
o 142759
o 142747
o 142715
o 142679
o 142647
o 142611
o 142576
o 142544
o 142508
o 142496
o 142464
o 142428
o 142402
o 142366
o 142331
o 142299
o 142263
o 142251
o 142219
o 142183
o 142171
o 142159
o 142127
o 142091
o 142074
o 142038
o 142026
o 142014
o 141982
o 141946
o 141929
o 141893
o 141858
o 141826
o 141790
o 141778
o 141746
o 141710
o 141698
o 141686
o 141654
o 141618
o 141586
o 141550
o 141515
o 141483
o 141447
o 141435
o 141403
o 141367
o 141355
o 141343
o 141311
o 141275
o 141270
o 141238
o 141202
o 141190
o 141158
o 141122
o 141110
o 141098
o 141066
o 141030
o 141023
o 140991
o 140955
o 140931
o 140896
o 140864
o 140828
o 140816
o 140784
o 140748
o 140736
o 140724
o 140692
o 140656
o 140651
o 140619
o 140583
o 140571
o 140539
o 140503
o 140491
o 140479
o 140447
o 140411
o 140388
o 140377
o 140365
o 140333
o 140297
o 140285
o 140273
o 140241
o 140205
o 140195
o 140159
o 140147
o 140115
o 140079
o 140067
o 140055
o 140023
o 139987
o 139976
o 139964
o 139932
o 139896
o 139884
o 139872
o 139840
o 139804
o 139778
o 139742
o 139731
o 139719
o 139687
o 139651
o 139639
o 139627
o 139595
o 139559
o 139554
o 139549
o 139517
o 139481
o 139469
o 139437
o 139401
o 139389
o 139377
o 139345
o 139309
o 139299
o 139263
o 139251
o 139219
o 139183
o 139171
o 139159
o 139127
o 139091
o 139080
o 139068
o 139036
o 139000
o 138988
o 138976
o 138944
o 138908
o 138882
o 138846
o 138835
o 138823
o 138791
o 138755
o 138743
o 138731
o 138699
o 138663
o 138643
o 138638
o 138633
o 138601
o 138565
o 138553
o 138521
o 138485
o 138473
o 138461
o 138429
o 138393
o 138383
o 138347
o 138335
o 138303
o 138267
o 138255
o 138243
o 138211
o 138175
o 138164
o 138152
o 138120
o 138084
o 138072
o 138060
o 138028
o 137992
o 137966
o 137930
o 137919
o 137907
o 137875
o 137839
o 137827
o 137815
o 137783
o 137747
o 137712
o 137700
o 137668
o 137632
o 137620
o 137608
o 137576
o 137540
o 137538
o 137526
o 137494
o 137458
o 137425
o 137420
o 137388
o 137352
o 137340
o 137308
o 137272
o 137260
o 137248
o 137216
o 137180
o 137170
o 137134
o 137122
o 137090
o 137054
o 137042
o 137030
o 136998
o 136962
o 136951
o 136939
o 136907
o 136871
o 136859
o 136847
o 136815
o 136779
o 136753
o 136717
o 136706
o 136694
o 136662
o 136626
o 136614
o 136602
o 136570
o 136534
o 136517
o 136481
o 136469
o 136457
o 136425
o 136389
o 136364
o 136359
o 136327
o 136291
o 136279
o 136247
o 136211
o 136199
o 136187
o 136155
o 136119
o 136109
o 136073
o 136061
o 136029
o 135993
o 135981
o 135969
o 135937
o 135901
o 135890
o 135878
o 135846
o 135810
o 135798
o 135786
o 135754
o 135718
o 135692
o 135656
o 135645
o 135633
o 135601
o 135565
o 135553
o 135541
o 135509
o 135473
o 135466
o 135454
o 135442
o 135410
o 135374
o 135342
o 135306
o 135271
o 135239
o 135203
o 135191
o 135159
o 135123
o 135097
o 135061
o 135026
o 134994
o 134958
o 134946
o 134914
o 134878
o 134866
o 134854
o 134822
o 134786
o 134769
o 134733
o 134721
o 134709
o 134677
o 134641
o 134624
o 134588
o 134553
o 134521
o 134485
o 134473
o 134441
o 134405
o 134393
o 134381
o 134349
o 134313
o 134281
o 134245
o 134210
o 134178
o 134142
o 134130
o 134098
o 134062
o 134050
o 134038
o 134006
o 133970
o 133965
o 133933
o 133897
o 133885
o 133853
o 133817
o 133805
o 133793
o 133761
o 133725
o 133724
o 133712
o 133680
o 133644
o 133612
o 133576
o 133541
o 133509
o 133473
o 133461
o 133429
o 133393
o 133367
o 133331
o 133296
o 133264
o 133228
o 133216
o 133184
o 133148
o 133136
o 133124
o 133092
o 133056
o 133021
o 133009
o 132977
o 132941
o 132929
o 132917
o 132885
o 132849
o 132847
o 132835
o 132803
o 132767
o 132734
o 132729
o 132697
o 132661
o 132649
o 132617
o 132581
o 132569
o 132557
o 132525
o 132489
o 132479
o 132443
o 132431
o 132399
o 132363
o 132351
o 132339
o 132307
o 132271
o 132260
o 132248
o 132216
o 132180
o 132168
o 132156
o 132124
o 132088
o 132062
o 132026
o 132015
o 132003
o 131971
o 131935
o 131923
o 131911
o 131879
o 131843
o 131826
o 131790
o 131778
o 131766
o 131734
o 131698
o 131673
o 131668
o 131636
o 131600
o 131588
o 131556
o 131520
o 131508
o 131496
o 131464
o 131428
o 131418
o 131382
o 131370
o 131338
o 131302
o 131290
o 131278
o 131246
o 131210
o 131199
o 131187
o 131155
o 131119
o 131107
o 131095
o 131063
o 131027
o 131001
o 130965
o 130954
o 130942
o 130910
o 130874
o 130862
o 130850
o 130818
o 130782
o 130775
o 130763
o 130751
o 130719
o 130683
o 130651
o 130615
o 130580
o 130548
o 130512
o 130500
o 130468
o 130432
o 130406
o 130370
o 130335
o 130303
o 130267
o 130255
o 130223
o 130187
o 130175
o 130163
o 130131
o 130095
o 130078
o 130042
o 130030
o 130018
o 129986
o 129950
o 129933
o 129897
o 129862
o 129830
o 129794
o 129782
o 129750
o 129714
o 129702
o 129690
o 129658
o 129622
o 129590
o 129554
o 129519
o 129487
o 129451
o 129439
o 129407
o 129371
o 129359
o 129347
o 129315
o 129279
o 129274
o 129242
o 129206
o 129194
o 129162
o 129126
o 129114
o 129102
o 129070
o 129034
o 129006
o 128994
o 128962
o 128926
o 128914
o 128902
o 128870
o 128834
o 128793
o 128761
o 128725
o 128713
o 128681
o 128645
o 128610
o 128578
o 128542
o 128530
o 128498
o 128462
o 128436
o 128400
o 128365
o 128333
o 128297
o 128285
o 128253
o 128217
o 128205
o 128193
o 128161
o 128125
o 128093
o 128057
o 128022
o 127990
o 127954
o 127942
o 127910
o 127874
o 127848
o 127812
o 127777
o 127745
o 127709
o 127697
o 127665
o 127629
o 127617
o 127605
o 127573
o 127537
o 127532
o 127527
o 127495
o 127459
o 127447
o 127415
o 127379
o 127367
o 127355
o 127323
o 127287
o 127277
o 127241
o 127229
o 127197
o 127161
o 127149
o 127137
o 127105
o 127069
o 127058
o 127046
o 127014
o 126978
o 126966
o 126954
o 126922
o 126886
o 126860
o 126824
o 126813
o 126801
o 126769
o 126733
o 126721
o 126709
o 126677
o 126641
o 126621
o 126616
o 126611
o 126579
o 126543
o 126531
o 126499
o 126463
o 126451
o 126439
o 126407
o 126371
o 126361
o 126325
o 126313
o 126281
o 126245
o 126233
o 126221
o 126189
o 126153
o 126142
o 126130
o 126098
o 126062
o 126050
o 126038
o 126006
o 125970
o 125944
o 125908
o Killed
1819.707u 0.015s 30:19.79 99.9%	0+0k 0+0io 0pf+0w