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-120-1_network-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1901825
o 361140
o 360322
o 359843
o 359835
o 359805
o 359326
o 359198
o 359148
o 359130
o 358390
o 357911
o 357873
o 357745
o 357394
o 357266
o 356925
o 356797
o 356747
o 356729
o 356705
o 356577
o 356544
o 356416
o 356065
o 355937
o 355472
o 355344
o 354993
o 354865
o 354790
o 354662
o 354228
o 354100
o 353749
o 353621
o 353599
o 353461
o 353333
o 353258
o 353130
o 352962
o 352834
o 352696
o 352568
o 352483
o 352355
o 352217
o 352089
o 352068
o 351940
o 351918
o 351780
o 351652
o 351577
o 351449
o 351281
o 351153
o 351015
o 350887
o 350802
o 350674
o 350536
o 350408
o 350324
o 350249
o 350121
o 349953
o 349825
o 349687
o 349559
o 349474
o 349346
o 349208
o 349080
o 349073
o 348722
o 348594
o 348456
o 348328
o 348318
o 348190
o 348052
o 347924
o 347903
o 347775
o 347753
o 347615
o 347487
o 347412
o 347284
o 347116
o 346988
o 346850
o 346722
o 346637
o 346509
o 346371
o 346243
o 346159
o 346084
o 345956
o 345788
o 345660
o 345522
o 345394
o 345309
o 345181
o 345043
o 344915
o 344811
o 344789
o 344651
o 344523
o 344448
o 344320
o 344304
o 344176
o 344038
o 343910
o 343886
o 343758
o 343673
o 343545
o 343407
o 343279
o 343195
o 343120
o 342992
o 342976
o 342848
o 342710
o 342582
o 342558
o 342430
o 342345
o 342217
o 342079
o 341951
o 341890
o 341762
o 341738
o 341610
o 341525
o 341397
o 341259
o 341131
o 341047
o 340972
o 340844
o 340828
o 340700
o 340562
o 340434
o 340410
o 340282
o 340197
o 340069
o 339931
o 339803
o 339786
o 339708
o 339496
o 339368
o 339344
o 339216
o 339078
o 338950
o 338876
o 338852
o 338724
o 338610
o 338586
o 338458
o 338380
o 338267
o 338139
o 338115
o 337987
o 337849
o 337721
o 337704
o 337626
o 337414
o 337286
o 337262
o 337134
o 336996
o 336868
o 336794
o 336770
o 336642
o 336528
o 336504
o 336376
o 336298
o 336203
o 336075
o 335997
o 335923
o 335845
o 335785
o 335657
o 335579
o 335511
o 335373
o 335245
o 335167
o 335037
o 334909
o 334831
o 334757
o 334679
o 334619
o 334491
o 334413
o 334201
o 334073
o 334049
o 333921
o 333783
o 333655
o 333581
o 333557
o 333429
o 333315
o 333291
o 333163
o 333085
o 332990
o 332862
o 332784
o 332710
o 332632
o 332572
o 332444
o 332366
o 332327
o 332249
o 332037
o 331909
o 331885
o 331757
o 331619
o 331491
o 331417
o 331393
o 331265
o 331151
o 331127
o 330999
o 330921
o 330826
o 330698
o 330620
o 330546
o 330468
o 330408
o 330280
o 330202
o 330079
o 330001
o 329927
o 329849
o 329789
o 329661
o 329583
o 329488
o 329360
o 329282
o 329208
o 329130
o 329070
o 328942
o 328864
o 328863
o 328785
o 328688
o 328550
o 328422
o 328344
o 328337
o 328209
o 328071
o 327943
o 327865
o 327791
o 327713
o 327651
o 327523
o 327445
o 327322
o 327244
o 327170
o 327092
o 327032
o 326904
o 326826
o 326731
o 326603
o 326525
o 326451
o 326373
o 326313
o 326185
o 326107
o 325984
o 325906
o 325834
o 325706
o 325628
o 325515
o 325437
o 325363
o 325285
o 325225
o 325097
o 325019
o 324924
o 324796
o 324718
o 324644
o 324566
o 324506
o 324378
o 324300
o 324292
o 324164
o 324086
o 324025
o 323947
o 323873
o 323795
o 323772
o 323735
o 323607
o 323529
o 323481
o 323343
o 323215
o 323137
o 323042
o 322914
o 322836
o 322762
o 322684
o 322624
o 322496
o 322418
o 322318
o 322180
o 322052
o 321974
o 321867
o 321789
o 321753
o 321675
o 321601
o 321523
o 321443
o 321365
o 321270
o 321142
o 321064
o 320990
o 320912
o 320889
o 320852
o 320724
o 320646
o 320638
o 320510
o 320432
o 320347
o 320219
o 320111
o 320081
o 319953
o 319875
o 319836
o 319719
o 319641
o 319635
o 319561
o 319483
o 319394
o 319266
o 319188
o 319152
o 319074
o 319000
o 318922
o 318916
o 318842
o 318764
o 318743
o 318665
o 318585
o 318507
o 318488
o 318360
o 318282
o 318275
o 318174
o 318009
o 317881
o 317803
o 317729
o 317651
o 317645
o 317571
o 317493
o 317411
o 317283
o 317175
o 317145
o 317017
o 316939
o 316880
o 316800
o 316722
o 316683
o 316566
o 316488
o 316482
o 316408
o 316330
o 316241
o 316113
o 316035
o 315999
o 315921
o 315847
o 315769
o 315763
o 315689
o 315611
o 315495
o 315417
o 315411
o 315337
o 315259
o 315199
o 315071
o 314993
o 314972
o 314894
o 314814
o 314736
o 314677
o 314599
o 314593
o 314519
o 314441
o 314352
o 314224
o 314146
o 314110
o 314032
o 313958
o 313880
o 313874
o 313800
o 313722
o 313685
o 313652
o 313524
o 313446
o 313315
o 313187
o 313109
o 313079
o 313029
o 312951
o 312895
o 312835
o 312707
o 312629
o 312622
o 312521
o 312356
o 312228
o 312150
o 312076
o 311998
o 311918
o 311840
o 311812
o 311684
o 311576
o 311546
o 311418
o 311340
o 311290
o 311212
o 311152
o 311074
o 310997
o 310990
o 310966
o 310801
o 310724
o 310673
o 310596
o 310595
o 310518
o 310444
o 310443
o 310366
o 310360
o 310286
o 310285
o 310208
o 310119
o 310042
o 310041
o 309964
o 309926
o 309768
o 309640
o 309563
o 309562
o 309485
o 309411
o 309410
o 309333
o 309321
o 309193
o 309116
o 309115
o 309038
o 309032
o 308958
o 308957
o 308880
o 308850
o 308849
o 308772
o 308766
o 308692
o 308691
o 308614
o 308535
o 308458
o 308434
o 308397
o 308269
o 308192
o 308191
o 308114
o 308064
o 308063
o 307986
o 307894
o 307766
o 307688
o 307628
o 307500
o 307422
o 307348
o 307270
o 307264
o 307190
o 307112
o 307084
o 306956
o 306848
o 306818
o 306690
o 306612
o 306562
o 306484
o 306424
o 306346
o 306269
o 306262
o 306238
o 306073
o 305996
o 305945
o 305868
o 305867
o 305790
o 305716
o 305715
o 305638
o 305632
o 305558
o 305557
o 305480
o 305391
o 305314
o 305313
o 305236
o 305198
o 305040
o 304912
o 304835
o 304834
o 304757
o 304683
o 304682
o 304605
o 304593
o 304465
o 304388
o 304387
o 304310
o 304304
o 304230
o 304229
o 304152
o 304122
o 304121
o 304044
o 304038
o 303964
o 303963
o 303886
o 303807
o 303730
o 303699
o 303669
o 303541
o 303464
o 303463
o 303386
o 303336
o 303335
o 303258
o 303216
o 303215
o 303138
o 303088
o 303087
o 303010
o 302968
o 302840
o 302763
o 302762
o 302685
o 302635
o 302634
o 302557
o 302497
o 302496
o 302419
o 302369
o 302368
o 302291
o 302269
o 302244
o 302238
o 302086
o 301958
o 301880
o 301830
o 301752
o 301692
o 301614
o 301564
o 301486
o 301367
o 301239
o 301161
o 301111
o 301033
o 300973
o 300895
o 300845
o 300767
o 300733
o 300730
o 300729
o 300652
o 300649
o 300572
o 300571
o 300494
o 300470
o 300342
o 300265
o 300264
o 300187
o 300181
o 300107
o 300106
o 300029
o 299999
o 299998
o 299921
o 299915
o 299841
o 299840
o 299763
o 299747
o 299619
o 299542
o 299541
o 299464
o 299404
o 299353
o 299276
o 299275
o 299198
o 299124
o 299123
o 299046
o 299040
o 298966
o 298965
o 298888
o 298876
o 298748
o 298671
o 298670
o 298593
o 298587
o 298513
o 298512
o 298435
o 298405
o 298404
o 298327
o 298321
o 298247
o 298246
o 298169
o 298090
o 298013
o 298012
o 297935
o 297874
o 297824
o 297746
o 297669
o 297619
o 297618
o 297541
o 297506
o 297429
o 297428
o 297351
o 297300
o 297223
o 297112
o 297034
o 296957
o 296935
o 296878
o 296750
o 296672
o 296622
o 296544
o 296505
o 296486
o 296358
o 296280
o 296230
o 296152
o 296063
o 295985
o 295935
o 295857
o 295847
o 295797
o 295719
o 295669
o 295591
o 295561
o 295511
o 295433
o 295390
o 295345
o 295344
o 295267
o 295217
o 295216
o 295139
o 295099
o 294971
o 294894
o 294893
o 294816
o 294766
o 294765
o 294688
o 294628
o 294627
o 294550
o 294500
o 294499
o 294422
o 294392
o 294342
o 294341
o 294264
o 294222
o 294094
o 294017
o 294016
o 293939
o 293889
o 293888
o 293811
o 293751
o 293750
o 293673
o 293623
o 293622
o 293545
o 293524
o 293523
o 293446
o 293396
o 293395
o 293318
o 293279
o 293209
o 293132
o 293131
o 293054
o 293004
o 293003
o 292926
o 292914
o 292837
o 292836
o 292759
o 292709
o 292708
o 292631
o 292621
o 292571
o 292570
o 292493
o 292443
o 292442
o 292365
o 292335
o 292285
o 292284
o 292207
o 292180
o 292179
o 292102
o 292052
o 292051
o 291974
o 291906
o 291778
o 291701
o 291700
o 291623
o 291573
o 291572
o 291495
o 291471
o 291421
o 291420
o 291343
o 291313
o 291263
o 291262
o 291185
o 291169
o 291092
o 291091
o 291014
o 290964
o 290963
o 290886
o 290876
o 290826
o 290825
o 290748
o 290698
o 290697
o 290620
o 290596
o 290546
o 290545
o 290468
o 290438
o 290388
o 290387
o 290310
o 290268
o 290140
o 290063
o 290062
o 289985
o 289935
o 289934
o 289857
o 289797
o 289796
o 289719
o 289669
o 289668
o 289591
o 289585
o 289474
o 289397
o 289396
o 289319
o 289269
o 289268
o 289191
o 289121
o 289044
o 289043
o 288966
o 288905
o 288855
o 288777
o 288700
o 288650
o 288649
o 288572
o 288530
o 288402
o 288325
o 288324
o 288247
o 288197
o 288196
o 288119
o 288059
o 288058
o 287981
o 287931
o 287930
o 287853
o 287850
o 287722
o 287645
o 287644
o 287567
o 287517
o 287516
o 287439
o 287433
o 287322
o 287245
o 287244
o 287167
o 287117
o 287116
o 287039
o 286969
o 286892
o 286891
o 286814
o 286753
o 286703
o 286625
o 286548
o 286498
o 286497
o 286420
o 286378
o 286250
o 286173
o 286172
o 286095
o 286045
o 286044
o 285967
o 285907
o 285906
o 285829
o 285779
o 285778
o 285701
o 285618
o 285541
o 285540
o 285463
o 285413
o 285412
o 285335
o 285324
o 285323
o 285246
o 285196
o 285195
o 285118
o 285079
o 285009
o 284932
o 284931
o 284854
o 284804
o 284803
o 284726
o 284714
o 284637
o 284636
o 284559
o 284509
o 284508
o 284431
o 284421
o 284371
o 284370
o 284293
o 284243
o 284242
o 284165
o 284135
o 284085
o 284084
o 284007
o 283987
o 283876
o 283799
o 283798
o 283721
o 283671
o 283670
o 283593
o 283466
o 283389
o 283388
o 283311
o 283261
o 283260
o 283183
o 283172
o 283171
o 283094
o 283044
o 283043
o 282966
o 282927
o 282857
o 282780
o 282779
o 282702
o 282652
o 282651
o 282574
o 282562
o 282485
o 282484
o 282407
o 282357
o 282356
o 282279
o 282269
o 282219
o 282218
o 282141
o 282091
o 282090
o 282013
o 281983
o 281933
o 281932
o 281855
o 281797
o 281669
o 281592
o 281591
o 281514
o 281464
o 281463
o 281386
o 281326
o 281325
o 281248
o 281198
o 281197
o 281120
o 281112
o 281086
o 281034
o 281009
o 280957
o 280956
o 280931
o 280879
o 280829
o 280828
o 280803
o 280751
o 280739
o 280714
o 280662
o 280661
o 280636
o 280584
o 280534
o 280533
o 280508
o 280456
o 280446
o 280396
o 280395
o 280370
o 280318
o 280268
o 280267
o 280242
o 280190
o 280160
o 280110
o 280109
o 280084
o 280032
o 280029
o 279979
o 279953
o 279901
o 279876
o 279824
o 279823
o 279798
o 279746
o 279696
o 279695
o 279670
o 279618
o 279614
o 279564
o 279563
o 279538
o 279486
o 279463
o 279454
o 279402
o 279352
o 279326
o 279274
o 279249
o 279197
o 279196
o 279171
o 279119
o 279069
o 279068
o 279043
o 278991
o 278987
o 278935
o 278927
o 278875
o 278874
o 278849
o 278797
o 278747
o 278746
o 278721
o 278669
o 278653
o 278601
o 278551
o 278525
o 278473
o 278448
o 278396
o 278395
o 278370
o 278318
o 278268
o 278267
o 278242
o 278190
o 278166
o 278116
o 278115
o 278090
o 278038
o 278008
o 277958
o 277957
o 277932
o 277880
o 277874
o 277822
o 277772
o 277746
o 277694
o 277669
o 277617
o 277616
o 277591
o 277539
o 277489
o 277488
o 277463
o 277411
o 277403
o 277351
o 277350
o 277325
o 277273
o 277223
o 277222
o 277197
o 277145
o 277080
o 277022
o 276894
o 276817
o 276816
o 276739
o 276689
o 276688
o 276611
o 276551
o 276550
o 276473
o 276423
o 276422
o 276345
o 276309
o 276284
o 276232
o 276231
o 276206
o 276154
o 276104
o 276103
o 276078
o 276026
o 276014
o 275989
o 275937
o 275936
o 275911
o 275859
o 275809
o 275808
o 275783
o 275731
o 275721
o 275671
o 275670
o 275645
o 275593
o 275543
o 275542
o 275517
o 275465
o 275435
o 275385
o 275384
o 275359
o 275307
o 275306
o 275254
o 275204
o 275178
o 275126
o 275101
o 275049
o 275048
o 275023
o 274971
o 274921
o 274920
o 274895
o 274843
o 274839
o 274789
o 274788
o 274763
o 274711
o 274688
o 274679
o 274627
o 274577
o 274551
o 274499
o 274474
o 274422
o 274421
o 274396
o 274344
o 274294
o 274293
o 274268
o 274216
o 274212
o 274160
o 274152
o 274100
o 274099
o 274074
o 274022
o 273972
o 273971
o 273946
o 273894
o 273878
o 273826
o 273776
o 273750
o 273698
o 273673
o 273621
o 273620
o 273595
o 273543
o 273493
o 273492
o 273467
o 273415
o 273391
o 273341
o 273340
o 273315
o 273263
o 273233
o 273183
o 273182
o 273157
o 273105
o 273089
o 273017
o 272991
o 272939
o 272889
o 272863
o 272811
o 272786
o 272734
o 272733
o 272708
o 272656
o 272606
o 272605
o 272580
o 272528
o 272498
o 272448
o 272447
o 272422
o 272370
o 272326
o 272325
o 272300
o 272248
o 272201
o 272151
o 272150
o 272125
o 272073
o 272061
o 272036
o 271984
o 271983
o 271958
o 271906
o 271856
o 271855
o 271830
o 271778
o 271768
o 271718
o 271717
o 271692
o 271640
o 271590
o 271589
o 271564
o 271512
o 271482
o 271432
o 271431
o 271406
o 271354
o 271353
o 271301
o 271251
o 271225
o 271173
o 271148
o 271096
o 271095
o 271070
o 271018
o 270968
o 270967
o 270942
o 270890
o 270886
o 270836
o 270835
o 270810
o 270758
o 270735
o 270726
o 270674
o 270624
o 270598
o 270546
o 270521
o 270469
o 270468
o 270443
o 270391
o 270341
o 270340
o 270315
o 270263
o 270256
o 270204
o 270199
o 270147
o 270146
o 270121
o 270069
o 270019
o 270018
o 269993
o 269941
o 269925
o 269873
o 269823
o 269797
o 269745
o 269720
o 269668
o 269667
o 269642
o 269590
o 269540
o 269539
o 269514
o 269462
o 269438
o 269388
o 269387
o 269362
o 269310
o 269280
o 269230
o 269229
o 269204
o 269152
o 269146
o 269094
o 269044
o 269018
o 268966
o 268941
o 268889
o 268888
o 268863
o 268811
o 268761
o 268760
o 268735
o 268683
o 268675
o 268623
o 268622
o 268597
o 268545
o 268495
o 268494
o 268469
o 268417
o 268368
o 268367
o 268342
o 268290
o 268284
o 268283
o 268258
o 268206
o 268178
o 268128
o 268127
o 268102
o 268050
o 268008
o 267958
o 267932
o 267880
o 267855
o 267803
o 267802
o 267777
o 267725
o 267675
o 267674
o 267649
o 267597
o 267589
o 267537
o 267536
o 267511
o 267459
o 267409
o 267408
o 267383
o 267331
o 267307
o 267257
o 267256
o 267231
o 267179
o 267175
o 267125
o 267124
o 267099
o 267047
o 267024
o 267015
o 266963
o 266913
o 266887
o 266835
o 266810
o 266758
o 266757
o 266732
o 266680
o 266630
o 266629
o 266604
o 266552
o 266521
o 266495
o 266443
o 266418
o 266366
o 266365
o 266340
o 266288
o 266238
o 266237
o 266212
o 266160
o 266148
o 266123
o 266071
o 266070
o 266045
o 265993
o 265943
o 265942
o 265917
o 265865
o 265855
o 265805
o 265804
o 265779
o 265727
o 265677
o 265676
o 265651
o 265599
o 265569
o 265519
o 265518
o 265493
o 265441
o 265433
o 265407
o 265355
o 265330
o 265278
o 265277
o 265252
o 265200
o 265150
o 265149
o 265124
o 265072
o 265061
o 265060
o 265035
o 264983
o 264933
o 264932
o 264907
o 264855
o 264808
o 264758
o 264757
o 264732
o 264680
o 264668
o 264643
o 264591
o 264590
o 264565
o 264513
o 264463
o 264462
o 264437
o 264385
o 264375
o 264325
o 264324
o 264299
o 264247
o 264197
o 264196
o 264171
o 264119
o 264089
o 264039
o 264038
o 264013
o 263961
o 263957
o 263907
o 263906
o 263881
o 263829
o 263817
o 263801
o 263776
o 263724
o 263723
o 263698
o 263646
o 263596
o 263595
o 263570
o 263518
o 263508
o 263458
o 263457
o 263432
o 263380
o 263330
o 263329
o 263304
o 263252
o 263228
o 263178
o 263177
o 263152
o 263100
o 263070
o 263020
o 263019
o 262994
o 262942
o 262900
o 262850
o 262824
o 262772
o 262747
o 262695
o 262694
o 262669
o 262617
o 262567
o 262566
o 262541
o 262489
o 262481
o 262429
o 262428
o 262403
o 262351
o 262301
o 262300
o 262275
o 262223
o 262217
o 262165
o 262115
o 262089
o 262037
o 262012
o 261960
o 261959
o 261934
o 261882
o 261832
o 261831
o 261806
o 261754
o 261746
o 261694
o 261693
o 261668
o 261616
o 261566
o 261565
o 261540
o 261488
o 261463
o 261438
o 261386
o 261385
o 261360
o 261308
o 261258
o 261257
o 261232
o 261180
o 261174
o 261122
o 261072
o 261046
o 260994
o 260969
o 260917
o 260916
o 260891
o 260839
o 260789
o 260788
o 260763
o 260711
o 260703
o 260651
o 260650
o 260625
o 260573
o 260523
o 260522
o 260497
o 260445
o 260405
o 260380
o 260328
o 260327
o 260302
o 260250
o 260219
o 260217
o 260191
o 260139
o 260113
o 260061
o 260036
o 259984
o 259934
o 259933
o 259908
o 259856
o 259814
o 259764
o 259738
o 259686
o 259661
o 259609
o 259608
o 259583
o 259531
o 259481
o 259480
o 259455
o 259403
o 259395
o 259343
o 259342
o 259317
o 259265
o 259215
o 259214
o 259189
o 259137
o 259102
o 259077
o 259025
o 259024
o 258999
o 258947
o 258896
o 258871
o 258819
o 258811
o 258759
o 258758
o 258733
o 258681
o 258631
o 258630
o 258605
o 258553
o 258529
o 258479
o 258478
o 258453
o 258401
o 258371
o 258321
o 258320
o 258295
o 258243
o 258216
o 258190
o 258189
o 258164
o 258112
o 258062
o 258061
o 258036
o 257984
o 257942
o 257892
o 257866
o 257814
o 257789
o 257737
o 257736
o 257711
o 257659
o 257609
o 257608
o 257583
o 257531
o 257523
o 257471
o 257470
o 257445
o 257393
o 257343
o 257342
o 257317
o 257265
o 257218
o 257168
o 257167
o 257142
o 257090
o 257048
o 256998
o 256972
o 256920
o 256895
o 256843
o 256842
o 256817
o 256765
o 256715
o 256714
o 256689
o 256637
o 256629
o 256577
o 256576
o 256551
o 256499
o 256449
o 256448
o 256423
o 256371
o 256324
o 256323
o 256298
o 256246
o 256204
o 256154
o 256128
o 256076
o 256051
o 255999
o 255998
o 255973
o 255921
o 255871
o 255870
o 255845
o 255793
o 255785
o 255733
o 255732
o 255707
o 255655
o 255605
o 255604
o 255579
o 255527
o 255480
o 255430
o 255429
o 255404
o 255352
o 255310
o 255260
o 255234
o 255182
o 255157
o 255105
o 255104
o 255079
o 255027
o 254977
o 254976
o 254951
o 254899
o 254891
o 254839
o 254838
o 254813
o 254761
o 254711
o 254710
o 254685
o 254633
o 254600
o 254575
o 254523
o 254522
o 254497
o 254445
o 254395
o 254394
o 254369
o 254317
o 254306
o 254305
o 254280
o 254228
o 254178
o 254177
o 254152
o 254100
o 254053
o 254003
o 254002
o 253977
o 253925
o 253913
o 253888
o 253836
o 253835
o 253810
o 253758
o 253708
o 253707
o 253682
o 253630
o 253620
o 253570
o 253569
o 253544
o 253492
o 253442
o 253441
o 253416
o 253364
o 253334
o 253284
o 253283
o 253258
o 253206
o 253159
o 253158
o 253133
o 253081
o 253039
o 252989
o 252963
o 252911
o 252886
o 252834
o 252833
o 252808
o 252756
o 252706
o 252705
o 252680
o 252628
o 252620
o 252568
o 252567
o 252542
o 252490
o 252440
o 252439
o 252414
o 252362
o 252315
o 252265
o 252264
o 252239
o 252187
o 252145
o 252095
o 252069
o 252017
o 251992
o 251940
o 251939
o 251914
o 251862
o 251812
o 251811
o 251786
o 251734
o 251726
o 251674
o 251673
o 251648
o 251596
o 251546
o 251545
o 251520
o 251468
o 251441
o 251415
o 251414
o 251389
o 251337
o 251287
o 251286
o 251261
o 251209
o 251167
o 251117
o 251091
o 251039
o 251014
o 250962
o 250961
o 250936
o 250884
o 250834
o 250833
o 250808
o 250756
o 250748
o 250696
o 250695
o 250670
o 250618
o 250568
o 250567
o 250542
o 250490
o 250443
o 250393
o 250392
o 250367
o 250315
o 250273
o 250223
o 250197
o 250145
o 250120
o 250068
o 250067
o 250042
o 249990
o 249940
o 249939
o 249914
o 249862
o 249854
o 249802
o 249801
o 249776
o 249724
o 249674
o 249673
o 249648
o 249596
o 249549
o 249548
o 249523
o 249471
o 249429
o 249379
o 249353
o 249301
o 249276
o 249224
o 249223
o 249198
o 249146
o 249096
o 249095
o 249070
o 249018
o 249010
o 248958
o 248957
o 248932
o 248880
o 248830
o 248829
o 248804
o 248752
o 248705
o 248655
o 248654
o 248629
o 248577
o 248535
o 248485
o 248459
o 248407
o 248382
o 248330
o 248329
o 248304
o 248252
o 248202
o 248201
o 248176
o 248124
o 248116
o 248064
o 248063
o 248038
o 247986
o 247936
o 247935
o 247910
o 247858
o 247809
o 247759
o 247758
o 247733
o 247681
o 247639
o 247589
o 247563
o 247511
o 247486
o 247434
o 247433
o 247408
o 247356
o 247306
o 247305
o 247280
o 247228
o 247220
o 247168
o 247167
o 247142
o 247090
o 247040
o 247039
o 247014
o 246962
o 246915
o 246865
o 246864
o 246839
o 246787
o 246745
o 246695
o 246669
o 246617
o 246592
o 246540
o 246539
o 246514
o 246462
o 246412
o 246411
o 246386
o 246334
o 246326
o 246274
o 246273
o 246248
o 246196
o 246146
o 246145
o 246120
o 246068
o 246041
o 246015
o 246014
o 245989
o 245937
o 245887
o 245886
o 245861
o 245809
o 245767
o 245717
o 245691
o 245639
o 245614
o 245562
o 245561
o 245536
o 245484
o 245434
o 245433
o 245408
o 245356
o 245348
o 245296
o 245295
o 245270
o 245218
o 245168
o 245167
o 245142
o 245090
o 245043
o 244993
o 244992
o 244967
o 244915
o 244873
o 244823
o 244797
o 244745
o 244720
o 244668
o 244667
o 244642
o 244590
o 244540
o 244539
o 244514
o 244462
o 244454
o 244402
o 244401
o 244376
o 244324
o 244274
o 244273
o 244248
o 244196
o 244149
o 244148
o 244123
o 244071
o 244029
o 243979
o 243953
o 243901
o 243876
o 243824
o 243823
o 243798
o 243746
o 243696
o 243695
o 243670
o 243618
o 243610
o 243558
o 243557
o 243532
o 243480
o 243430
o 243429
o 243404
o 243352
o 243305
o 243255
o 243254
o 243229
o 243177
o 243135
o 243085
o 243059
o 243007
o 242982
o 242930
o 242929
o 242904
o 242852
o 242802
o 242801
o 242776
o 242724
o 242716
o 242664
o 242663
o 242638
o 242586
o 242536
o 242535
o 242510
o 242458
o 242423
o 242414
o 242362
o 242312
o 242286
o 242234
o 242209
o 242157
o 242156
o 242131
o 242079
o 242029
o 242028
o 242003
o 241951
o 241912
o 241886
o 241834
o 241809
o 241757
o 241756
o 241731
o 241679
o 241629
o 241628
o 241603
o 241551
o 241530
o 241529
o 241504
o 241452
o 241402
o 241401
o 241376
o 241324
o 241285
o 241235
o 241185
o 241184
o 241159
o 241107
o 241060
o 241010
o 241009
o 240984
o 240932
o 240920
o 240895
o 240843
o 240842
o 240817
o 240765
o 240715
o 240714
o 240689
o 240637
o 240627
o 240577
o 240576
o 240551
o 240499
o 240449
o 240448
o 240423
o 240371
o 240341
o 240291
o 240290
o 240265
o 240213
o 240194
o 240144
o 240143
o 240118
o 240066
o 240024
o 239974
o 239948
o 239896
o 239871
o 239819
o 239818
o 239793
o 239741
o 239691
o 239690
o 239665
o 239613
o 239605
o 239553
o 239552
o 239527
o 239475
o 239425
o 239424
o 239399
o 239347
o 239300
o 239250
o 239249
o 239224
o 239172
o 239130
o 239080
o 239054
o 239002
o 238977
o 238925
o 238924
o 238899
o 238847
o 238797
o 238796
o 238771
o 238719
o 238711
o 238659
o 238658
o 238633
o 238581
o 238531
o 238530
o 238505
o 238453
o 238426
o 238400
o 238399
o 238374
o 238322
o 238272
o 238271
o 238246
o 238194
o 238152
o 238102
o 238076
o 238024
o 237999
o 237947
o 237946
o 237921
o 237869
o 237819
o 237818
o 237793
o 237741
o 237733
o 237681
o 237680
o 237655
o 237603
o 237553
o 237552
o 237527
o 237475
o 237428
o 237378
o 237377
o 237352
o 237300
o 237258
o 237208
o 237182
o 237130
o 237105
o 237053
o 237052
o 237027
o 236975
o 236925
o 236924
o 236899
o 236847
o 236839
o 236787
o 236786
o 236761
o 236709
o 236659
o 236658
o 236633
o 236581
o 236534
o 236533
o 236508
o 236456
o 236414
o 236364
o 236338
o 236286
o 236261
o 236209
o 236208
o 236183
o 236131
o 236081
o 236080
o 236055
o 236003
o 235995
o 235943
o 235942
o 235917
o 235865
o 235815
o 235814
o 235789
o 235737
o 235690
o 235640
o 235639
o 235614
o 235562
o 235520
o 235470
o 235444
o 235392
o 235367
o 235315
o 235314
o 235289
o 235237
o 235187
o 235186
o 235161
o 235109
o 235101
o 235049
o 235048
o 235023
o 234971
o 234921
o 234920
o 234895
o 234843
o 234808
o 234799
o 234747
o 234697
o 234671
o 234619
o 234594
o 234542
o 234541
o 234516
o 234464
o 234414
o 234413
o 234388
o 234336
o 234297
o 234271
o 234219
o 234194
o 234142
o 234141
o 234116
o 234064
o 234014
o 234013
o 233988
o 233936
o 233915
o 233914
o 233889
o 233837
o 233787
o 233786
o 233761
o 233709
o 233670
o 233620
o 233570
o 233569
o 233544
o 233492
o 233445
o 233395
o 233394
o 233369
o 233317
o 233305
o 233280
o 233228
o 233227
o 233202
o 233150
o 233100
o 233099
o 233074
o 233022
o 233012
o 232962
o 232961
o 232936
o 232884
o 232834
o 232833
o 232808
o 232756
o 232726
o 232676
o 232675
o 232650
o 232598
o 232591
o 232539
o 232538
o 232513
o 232461
o 232411
o 232410
o 232385
o 232333
o 232318
o 232268
o 232267
o 232242
o 232190
o 232168
o 232116
o 232101
o 232051
o 232050
o 232025
o 231973
o 231941
o 231926
o 231876
o 231875
o 231850
o 231798
o 231774
o 231761
o 231709
o 231708
o 231683
o 231631
o 231581
o 231580
o 231555
o 231503
o 231458
o 231457
o 231432
o 231380
o 231365
o 231315
o 231314
o 231289
o 231237
o 231222
o 231207
o 231157
o 231156
o 231131
o 231079
o 231036
o 230998
o 230973
o 230921
o 230907
o 230855
o 230830
o 230778
o 230777
o 230752
o 230700
o 230650
o 230649
o 230624
o 230572
o 230568
o 230518
o 230517
o 230492
o 230440
o 230403
o 230402
o 230377
o 230325
o 230275
o 230274
o 230249
o 230197
o 230182
o 230132
o 230131
o 230106
o 230054
o 230023
o 230022
o 229997
o 229945
o 229938
o 229886
o 229867
o 229854
o 229839
o 229789
o 229788
o 229763
o 229711
o 229681
o 229668
o 229616
o 229615
o 229590
o 229538
o 229488
o 229487
o 229462
o 229410
o 229365
o 229364
o 229339
o 229287
o 229272
o 229222
o 229221
o 229196
o 229144
o 229135
o 229120
o 229070
o 229069
o 229044
o 228992
o 228977
o 228962
o 228912
o 228911
o 228886
o 228834
o 228827
o 228775
o 228725
o 228724
o 228699
o 228647
o 228632
o 228582
o 228581
o 228556
o 228504
o 228496
o 228495
o 228470
o 228418
o 228396
o 228344
o 228329
o 228279
o 228278
o 228253
o 228201
o 228182
o 228169
o 228154
o 228104
o 228103
o 228078
o 228026
o 228002
o 227989
o 227937
o 227936
o 227911
o 227859
o 227809
o 227808
o 227783
o 227731
o 227686
o 227685
o 227660
o 227608
o 227593
o 227543
o 227542
o 227517
o 227465
o 227450
o 227435
o 227385
o 227384
o 227359
o 227307
o 227264
o 227226
o 227201
o 227149
o 227135
o 227083
o 227058
o 227006
o 227005
o 226980
o 226928
o 226878
o 226877
o 226852
o 226800
o 226749
o 226748
o 226723
o 226671
o 226621
o 226620
o 226595
o 226543
o 226528
o 226478
o 226477
o 226452
o 226400
o 226394
o 226393
o 226368
o 226316
o 226301
o 226251
o 226250
o 226225
o 226173
o 226134
o 226099
o 226084
o 226034
o 226033
o 226008
o 225956
o 225924
o 225909
o 225859
o 225858
o 225833
o 225781
o 225757
o 225744
o 225692
o 225691
o 225666
o 225614
o 225564
o 225563
o 225538
o 225486
o 225441
o 225440
o 225415
o 225363
o 225348
o 225298
o 225297
o 225272
o 225220
o 225205
o 225190
o 225140
o 225139
o 225114
o 225062
o 225036
o 224984
o 224959
o 224907
o 224906
o 224881
o 224829
o 224779
o 224778
o 224753
o 224701
o 224690
o 224677
o 224625
o 224624
o 224599
o 224547
o 224514
o 224513
o 224488
o 224436
o 224421
o 224371
o 224370
o 224345
o 224293
o 224254
o 224219
o 224204
o 224154
o 224153
o 224128
o 224076
o 224044
o 224029
o 223979
o 223978
o 223953
o 223901
o 223877
o 223864
o 223812
o 223811
o 223786
o 223734
o 223684
o 223683
o 223658
o 223606
o 223561
o 223560
o 223535
o 223483
o 223468
o 223418
o 223417
o 223392
o 223340
o 223325
o 223310
o 223260
o 223259
o 223234
o 223182
o 223139
o 223101
o 223076
o 223024
o 223010
o 222958
o 222933
o 222881
o 222880
o 222855
o 222803
o 222753
o 222752
o 222727
o 222675
o 222671
o 222621
o 222620
o 222595
o 222543
o 222506
o 222505
o 222480
o 222428
o 222378
o 222377
o 222352
o 222300
o 222285
o 222235
o 222234
o 222209
o 222157
o 222126
o 222125
o 222100
o 222048
o 222041
o 221989
o 221970
o 221957
o 221942
o 221892
o 221891
o 221866
o 221814
o 221784
o 221771
o 221719
o 221718
o 221693
o 221641
o 221591
o 221590
o 221565
o 221513
o 221468
o 221467
o 221442
o 221390
o 221375
o 221325
o 221324
o 221299
o 221247
o 221238
o 221223
o 221173
o 221172
o 221147
o 221095
o 221080
o 221065
o 221015
o 221014
o 220989
o 220937
o 220923
o 220920
o 220868
o 220818
o 220817
o 220792
o 220740
o 220725
o 220675
o 220674
o 220649
o 220597
o 220558
o 220523
o 220508
o 220458
o 220457
o 220432
o 220380
o 220348
o 220333
o 220283
o 220282
o 220257
o 220205
o 220181
o 220168
o 220116
o 220115
o 220090
o 220038
o 219988
o 219987
o 219962
o 219910
o 219865
o 219864
o 219839
o 219787
o 219772
o 219722
o 219721
o 219696
o 219644
o 219629
o 219614
o 219564
o 219563
o 219538
o 219486
o 219439
o 219438
o 219413
o 219361
o 219334
o 219309
o 219257
o 219243
o 219191
o 219166
o 219114
o 219113
o 219088
o 219036
o 218986
o 218985
o 218960
o 218908
o 218863
o 218862
o 218837
o 218785
o 218770
o 218720
o 218719
o 218694
o 218642
o 218610
o 218595
o 218545
o 218544
o 218519
o 218467
o 218440
o 218415
o 218363
o 218349
o 218297
o 218272
o 218220
o 218219
o 218194
o 218142
o 218092
o 218091
o 218066
o 218014
o 217969
o 217968
o 217943
o 217891
o 217876
o 217826
o 217825
o 217800
o 217748
o 217741
o 217689
o 217638
o 217613
o 217561
o 217546
o 217496
o 217495
o 217470
o 217418
o 217410
o 217409
o 217384
o 217332
o 217310
o 217258
o 217243
o 217193
o 217192
o 217167
o 217115
o 217096
o 217083
o 217068
o 217018
o 217017
o 216992
o 216940
o 216916
o 216903
o 216851
o 216850
o 216825
o 216773
o 216723
o 216722
o 216697
o 216645
o 216600
o 216599
o 216574
o 216522
o 216507
o 216457
o 216456
o 216431
o 216379
o 216364
o 216349
o 216299
o 216298
o 216273
o 216221
o 216178
o 216140
o 216115
o 216063
o 216049
o 215997
o 215972
o 215920
o 215919
o 215894
o 215842
o 215792
o 215791
o 215766
o 215714
o 215663
o 215662
o 215637
o 215585
o 215535
o 215534
o 215509
o 215457
o 215442
o 215392
o 215391
o 215366
o 215314
o 215308
o 215307
o 215282
o 215230
o 215215
o 215165
o 215164
o 215139
o 215087
o 215048
o 215013
o 214998
o 214948
o 214947
o 214922
o 214870
o 214838
o 214823
o 214773
o 214772
o 214747
o 214695
o 214671
o 214658
o 214606
o 214605
o 214580
o 214528
o 214478
o 214477
o 214452
o 214400
o 214355
o 214354
o 214329
o 214277
o 214262
o 214212
o 214211
o 214186
o 214134
o 214119
o 214104
o 214054
o 214053
o 214028
o 213976
o 213948
o 213898
o 213872
o 213820
o 213795
o 213743
o 213693
o 213692
o 213667
o 213615
o 213604
o 213591
o 213539
o 213538
o 213513
o 213461
o 213428
o 213427
o 213402
o 213350
o 213335
o 213285
o 213284
o 213259
o 213207
o 213168
o 213133
o 213118
o 213068
o 213067
o 213042
o 212990
o 212958
o 212943
o 212893
o 212892
o 212867
o 212815
o 212791
o 212778
o 212726
o 212725
o 212700
o 212648
o 212598
o 212597
o 212572
o 212520
o 212475
o 212474
o 212449
o 212397
o 212382
o 212332
o 212331
o 212306
o 212254
o 212239
o 212224
o 212174
o 212173
o 212148
o 212096
o 212053
o 212015
o 211990
o 211938
o 211924
o 211872
o 211847
o 211795
o 211794
o 211769
o 211717
o 211667
o 211666
o 211641
o 211589
o 211585
o 211535
o 211534
o 211509
o 211457
o 211420
o 211419
o 211394
o 211342
o 211292
o 211291
o 211266
o 211214
o 211199
o 211149
o 211148
o 211123
o 211071
o 211040
o 211039
o 211014
o 210962
o 210955
o 210903
o 210884
o 210871
o 210856
o 210806
o 210805
o 210780
o 210728
o 210698
o 210685
o 210633
o 210632
o 210607
o 210555
o 210505
o 210504
o 210479
o 210427
o 210382
o 210381
o 210356
o 210304
o 210289
o 210239
o 210238
o 210213
o 210161
o 210152
o 210137
o 210087
o 210086
o 210061
o 210009
o 209994
o 209979
o 209929
o 209928
o 209903
o 209851
o 209841
o 209791
o 209790
o 209765
o 209713
o 209698
o 209648
o 209647
o 209622
o 209570
o 209520
o 209488
o 209473
o 209423
o 209422
o 209397
o 209345
o 209318
o 209293
o 209241
o 209227
o 209175
o 209150
o 209098
o 209097
o 209072
o 209020
o 208970
o 208969
o 208944
o 208892
o 208847
o 208846
o 208821
o 208769
o 208754
o 208704
o 208703
o 208678
o 208626
o 208583
o 208545
o 208520
o 208468
o 208454
o 208402
o 208377
o 208325
o 208324
o 208299
o 208247
o 208197
o 208196
o 208171
o 208119
o 208115
o 208065
o 208064
o 208039
o 207987
o 207950
o 207949
o 207924
o 207872
o 207822
o 207821
o 207796
o 207744
o 207729
o 207679
o 207678
o 207653
o 207601
o 207570
o 207569
o 207544
o 207492
o 207485
o 207433
o 207414
o 207401
o 207386
o 207336
o 207335
o 207310
o 207258
o 207228
o 207215
o 207163
o 207162
o 207137
o 207085
o 207035
o 207034
o 207009
o 206957
o 206912
o 206911
o 206886
o 206834
o 206819
o 206769
o 206768
o 206743
o 206691
o 206682
o 206667
o 206617
o 206616
o 206591
o 206539
o 206524
o 206509
o 206459
o 206458
o 206433
o 206381
o 206374
o 206322
o 206271
o 206246
o 206194
o 206179
o 206129
o 206128
o 206103
o 206051
o 206043
o 206042
o 206017
o 205965
o 205943
o 205891
o 205876
o 205826
o 205825
o 205800
o 205748
o 205729
o 205716
o 205701
o 205651
o 205650
o 205625
o 205573
o 205549
o 205536
o 205484
o 205483
o 205458
o 205406
o 205356
o 205355
o 205330
o 205278
o 205233
o 205232
o 205207
o 205155
o 205140
o 205090
o 205089
o 205064
o 205012
o 204997
o 204982
o 204932
o 204931
o 204906
o 204854
o 204811
o 204773
o 204748
o 204696
o 204682
o 204630
o 204605
o 204553
o 204552
o 204527
o 204475
o 204425
o 204424
o 204399
o 204347
o 204296
o 204295
o 204270
o 204218
o 204168
o 204167
o 204142
o 204090
o 204075
o 204025
o 204024
o 203999
o 203947
o 203941
o 203940
o 203915
o 203863
o 203848
o 203798
o 203797
o 203772
o 203720
o 203681
o 203646
o 203631
o 203581
o 203580
o 203555
o 203503
o 203471
o 203456
o 203406
o 203405
o 203380
o 203328
o 203304
o 203291
o 203239
o 203238
o 203213
o 203161
o 203111
o 203110
o 203085
o 203033
o 202988
o 202987
o 202962
o 202910
o 202895
o 202845
o 202844
o 202819
o 202767
o 202752
o 202737
o 202687
o 202686
o 202661
o 202609
o 202581
o 202531
o 202505
o 202453
o 202428
o 202376
o 202326
o 202325
o 202300
o 202248
o 202237
o 202224
o 202172
o 202171
o 202146
o 202094
o 202071
o 202070
o 202045
o 201993
o 201975
o 201923
o 201909
o 201857
o 201832
o 201780
o 201778
o 201727
o Killed
1819.614u 0.108s 30:21.74 99.8%	0+0k 0+0io 0pf+0w