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-140-1_network-9.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-140-1_network-9.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 2220162
o 402218
o 402032
o 401449
o 401263
o 401105
o 401095
o 401090
o 401080
o 400929
o 400771
o 400761
o 400733
o 400547
o 400389
o 400379
o 400374
o 400364
o 400213
o 400055
o 400045
o 399769
o 399583
o 399425
o 399415
o 399410
o 399400
o 399249
o 399091
o 399081
o 398995
o 398837
o 398827
o 398710
o 398552
o 398542
o 398537
o 398527
o 398376
o 398218
o 398208
o 398097
o 397939
o 397929
o 397924
o 397914
o 397763
o 397605
o 397595
o 397531
o 397373
o 397363
o 397358
o 397348
o 397197
o 397039
o 397029
o 396918
o 396760
o 396750
o 396745
o 396735
o 396584
o 396426
o 396416
o 396296
o 396138
o 396128
o 396031
o 395873
o 395863
o 395816
o 395658
o 395648
o 395572
o 395562
o 395465
o 395307
o 395297
o 395293
o 395283
o 395278
o 395268
o 395117
o 394959
o 394949
o 394852
o 394694
o 394684
o 394594
o 394436
o 394426
o 394418
o 394408
o 394403
o 394393
o 394242
o 394084
o 394074
o 393954
o 393796
o 393786
o 393689
o 393531
o 393521
o 393474
o 393316
o 393306
o 393230
o 393220
o 393123
o 392965
o 392955
o 392862
o 392704
o 392694
o 392617
o 392607
o 392510
o 392352
o 392342
o 392335
o 392295
o 392137
o 392127
o 392034
o 391876
o 391866
o 391789
o 391779
o 391682
o 391524
o 391514
o 391422
o 391264
o 391254
o 391157
o 390999
o 390989
o 390980
o 390970
o 390942
o 390784
o 390774
o 390698
o 390688
o 390591
o 390433
o 390423
o 390419
o 390409
o 390404
o 390394
o 390243
o 390085
o 390075
o 389978
o 389820
o 389810
o 389803
o 389763
o 389605
o 389595
o 389502
o 389344
o 389334
o 389257
o 389247
o 389150
o 388992
o 388982
o 388887
o 388729
o 388719
o 388622
o 388464
o 388454
o 388447
o 388443
o 388433
o 388428
o 388418
o 388267
o 388109
o 388099
o 388002
o 387844
o 387834
o 387702
o 387544
o 387534
o 387437
o 387279
o 387269
o 387174
o 387016
o 387006
o 386909
o 386751
o 386741
o 386734
o 386730
o 386720
o 386715
o 386705
o 386554
o 386396
o 386386
o 386289
o 386131
o 386121
o 385981
o 385971
o 385894
o 385884
o 385787
o 385629
o 385619
o 385476
o 385466
o 385374
o 385216
o 385206
o 385203
o 385106
o 384948
o 384938
o 384846
o 384688
o 384678
o 384593
o 384583
o 384486
o 384328
o 384318
o 384226
o 384068
o 384058
o 383984
o 383826
o 383816
o 383724
o 383566
o 383556
o 383545
o 383535
o 383507
o 383349
o 383339
o 383258
o 383248
o 383156
o 382998
o 382988
o 382910
o 382900
o 382803
o 382645
o 382635
o 382543
o 382385
o 382375
o 382301
o 382143
o 382133
o 382041
o 381883
o 381873
o 381871
o 381822
o 381812
o 381720
o 381562
o 381552
o 381478
o 381320
o 381310
o 381218
o 381060
o 381050
o 380893
o 380883
o 380791
o 380633
o 380623
o 380621
o 380581
o 380423
o 380413
o 380412
o 380335
o 380325
o 380228
o 380070
o 380060
o 379968
o 379810
o 379800
o 379784
o 379774
o 379696
o 379686
o 379594
o 379436
o 379426
o 379421
o 379329
o 379171
o 379161
o 379148
o 379138
o 379133
o 379041
o 378883
o 378873
o 378772
o 378762
o 378693
o 378535
o 378525
o 378520
o 378428
o 378270
o 378260
o 378258
o 378218
o 378060
o 378050
o 378049
o 377972
o 377962
o 377865
o 377707
o 377697
o 377605
o 377447
o 377437
o 377280
o 377270
o 377178
o 377020
o 377010
o 377008
o 376959
o 376949
o 376857
o 376699
o 376689
o 376615
o 376457
o 376447
o 376355
o 376197
o 376187
o 376171
o 376161
o 376083
o 376073
o 375981
o 375823
o 375813
o 375808
o 375716
o 375558
o 375548
o 375410
o 375400
o 375308
o 375150
o 375140
o 375124
o 375114
o 375036
o 375026
o 374934
o 374776
o 374766
o 374761
o 374669
o 374511
o 374501
o 374439
o 374429
o 374332
o 374174
o 374164
o 374072
o 373914
o 373904
o 373810
o 373800
o 373669
o 373659
o 373568
o 373558
o 373427
o 373417
o 373308
o 373298
o 373167
o 373157
o 373141
o 373131
o 373053
o 373043
o 372934
o 372924
o 372793
o 372783
o 372669
o 372659
o 372528
o 372518
o 372511
o 372380
o 372370
o 372261
o 372251
o 372120
o 372110
o 372094
o 372084
o 372006
o 371996
o 371887
o 371877
o 371746
o 371736
o 371622
o 371612
o 371481
o 371471
o 371409
o 371399
o 371285
o 371275
o 371144
o 371134
o 371025
o 371015
o 370884
o 370874
o 370848
o 370838
o 370729
o 370719
o 370588
o 370578
o 370516
o 370506
o 370392
o 370382
o 370251
o 370241
o 370132
o 370122
o 369991
o 369981
o 369936
o 369926
o 369812
o 369802
o 369671
o 369661
o 369552
o 369542
o 369411
o 369401
o 369346
o 369336
o 369225
o 369215
o 369106
o 369096
o 368965
o 368955
o 368878
o 368868
o 368737
o 368727
o 368695
o 368685
o 368623
o 368613
o 368499
o 368489
o 368358
o 368348
o 368239
o 368229
o 368098
o 368088
o 368067
o 368057
o 367943
o 367933
o 367802
o 367792
o 367730
o 367720
o 367606
o 367596
o 367465
o 367455
o 367346
o 367336
o 367205
o 367195
o 367150
o 367140
o 367026
o 367016
o 366885
o 366875
o 366766
o 366756
o 366625
o 366615
o 366560
o 366550
o 366439
o 366429
o 366320
o 366310
o 366179
o 366169
o 366051
o 366041
o 365949
o 365939
o 365808
o 365798
o 365671
o 365661
o 365550
o 365540
o 365429
o 365419
o 365310
o 365300
o 365169
o 365159
o 365152
o 365142
o 365011
o 365001
o 364973
o 364963
o 364832
o 364822
o 364713
o 364703
o 364572
o 364562
o 364431
o 364421
o 364393
o 364383
o 364252
o 364242
o 364133
o 364123
o 363992
o 363982
o 363927
o 363917
o 363806
o 363796
o 363687
o 363677
o 363546
o 363536
o 363459
o 363449
o 363340
o 363330
o 363199
o 363189
o 363147
o 363137
o 363006
o 362996
o 362941
o 362931
o 362820
o 362810
o 362701
o 362691
o 362560
o 362550
o 362438
o 362428
o 362317
o 362307
o 362198
o 362188
o 362057
o 362047
o 361992
o 361982
o 361871
o 361861
o 361752
o 361742
o 361611
o 361601
o 361509
o 361499
o 361368
o 361358
o 361231
o 361221
o 361110
o 361100
o 360989
o 360979
o 360870
o 360860
o 360729
o 360719
o 360709
o 360578
o 360568
o 360513
o 360503
o 360392
o 360382
o 360273
o 360263
o 360132
o 360122
o 360046
o 360036
o 359924
o 359914
o 359803
o 359793
o 359684
o 359674
o 359543
o 359533
o 359478
o 359468
o 359357
o 359347
o 359238
o 359228
o 359097
o 359087
o 358995
o 358985
o 358854
o 358844
o 358717
o 358707
o 358596
o 358586
o 358475
o 358465
o 358356
o 358346
o 358215
o 358205
o 358195
o 358064
o 358054
o 357999
o 357989
o 357878
o 357868
o 357759
o 357749
o 357618
o 357608
o 357582
o 357572
o 357441
o 357431
o 357317
o 357307
o 357176
o 357166
o 357111
o 357101
o 356990
o 356980
o 356871
o 356861
o 356730
o 356720
o 356621
o 356611
o 356500
o 356490
o 356381
o 356371
o 356240
o 356230
o 356138
o 356128
o 355997
o 355987
o 355860
o 355850
o 355739
o 355729
o 355618
o 355608
o 355499
o 355489
o 355358
o 355348
o 355263
o 355253
o 355142
o 355132
o 355021
o 355011
o 354902
o 354892
o 354761
o 354751
o 354735
o 354725
o 354611
o 354601
o 354470
o 354460
o 354375
o 354365
o 354254
o 354244
o 354133
o 354123
o 354014
o 354004
o 353873
o 353863
o 353861
o 353747
o 353737
o 353606
o 353596
o 353511
o 353501
o 353390
o 353380
o 353269
o 353259
o 353150
o 353140
o 353009
o 352999
o 352961
o 352951
o 352810
o 352800
o 352745
o 352735
o 352624
o 352614
o 352505
o 352495
o 352364
o 352354
o 352243
o 352233
o 352122
o 352112
o 352003
o 351993
o 351862
o 351852
o 351725
o 351715
o 351604
o 351594
o 351483
o 351473
o 351364
o 351354
o 351223
o 351213
o 351187
o 351177
o 351046
o 351036
o 350922
o 350912
o 350781
o 350771
o 350716
o 350706
o 350595
o 350585
o 350476
o 350466
o 350335
o 350325
o 350323
o 350313
o 350182
o 350172
o 350058
o 350048
o 349917
o 349907
o 349852
o 349842
o 349731
o 349721
o 349612
o 349602
o 349471
o 349461
o 349383
o 349373
o 349264
o 349254
o 349123
o 349113
o 349076
o 349066
o 348935
o 348925
o 348798
o 348788
o 348677
o 348667
o 348556
o 348546
o 348437
o 348427
o 348296
o 348286
o 348272
o 348262
o 348235
o 348225
o 348114
o 348104
o 347995
o 347985
o 347854
o 347844
o 347789
o 347779
o 347668
o 347658
o 347549
o 347539
o 347408
o 347398
o 347321
o 347311
o 347202
o 347192
o 347061
o 347051
o 347009
o 346999
o 346868
o 346858
o 346803
o 346793
o 346682
o 346672
o 346563
o 346553
o 346422
o 346412
o 346353
o 346343
o 346333
o 346202
o 346192
o 346137
o 346127
o 346016
o 346006
o 345897
o 345887
o 345756
o 345746
o 345730
o 345720
o 345606
o 345596
o 345465
o 345455
o 345370
o 345360
o 345249
o 345239
o 345128
o 345118
o 345009
o 344999
o 344868
o 344858
o 344850
o 344778
o 344620
o 344610
o 344479
o 344469
o 344431
o 344273
o 344263
o 344132
o 344122
o 343995
o 343985
o 343874
o 343864
o 343753
o 343743
o 343634
o 343624
o 343493
o 343483
o 343474
o 343316
o 343306
o 343175
o 343165
o 343038
o 343028
o 342917
o 342907
o 342796
o 342786
o 342677
o 342667
o 342536
o 342526
o 342441
o 342431
o 342320
o 342310
o 342199
o 342189
o 342080
o 342070
o 341939
o 341929
o 341869
o 341859
o 341728
o 341718
o 341591
o 341581
o 341470
o 341460
o 341349
o 341339
o 341230
o 341220
o 341089
o 341079
o 340994
o 340984
o 340873
o 340863
o 340752
o 340742
o 340633
o 340623
o 340492
o 340482
o 340481
o 340471
o 340357
o 340347
o 340216
o 340206
o 340121
o 340111
o 340000
o 339990
o 339879
o 339869
o 339760
o 339750
o 339619
o 339609
o 339593
o 339583
o 339469
o 339459
o 339328
o 339318
o 339233
o 339223
o 339112
o 339102
o 338991
o 338981
o 338872
o 338862
o 338731
o 338721
o 338694
o 338684
o 338553
o 338543
o 338432
o 338422
o 338313
o 338303
o 338172
o 338162
o 338146
o 338136
o 338022
o 338012
o 337881
o 337871
o 337786
o 337776
o 337665
o 337655
o 337544
o 337534
o 337425
o 337415
o 337284
o 337274
o 337237
o 337227
o 337113
o 337103
o 336972
o 336962
o 336877
o 336867
o 336756
o 336746
o 336635
o 336625
o 336516
o 336506
o 336375
o 336365
o 336335
o 336325
o 336214
o 336204
o 336095
o 336085
o 335954
o 335944
o 335850
o 335840
o 335713
o 335703
o 335592
o 335582
o 335471
o 335461
o 335352
o 335342
o 335211
o 335201
o 335116
o 335106
o 334995
o 334985
o 334874
o 334864
o 334755
o 334745
o 334614
o 334604
o 334544
o 334534
o 334403
o 334393
o 334266
o 334256
o 334145
o 334135
o 334024
o 334014
o 333905
o 333895
o 333764
o 333754
o 333669
o 333659
o 333548
o 333538
o 333427
o 333417
o 333308
o 333298
o 333167
o 333157
o 333127
o 333117
o 333006
o 332996
o 332887
o 332877
o 332746
o 332736
o 332709
o 332699
o 332696
o 332686
o 332555
o 332545
o 332434
o 332424
o 332315
o 332305
o 332174
o 332164
o 332109
o 332099
o 331988
o 331978
o 331869
o 331859
o 331728
o 331718
o 331658
o 331648
o 331517
o 331507
o 331380
o 331370
o 331259
o 331249
o 331138
o 331128
o 331019
o 331009
o 330878
o 330868
o 330783
o 330773
o 330662
o 330652
o 330541
o 330531
o 330422
o 330412
o 330281
o 330271
o 330241
o 330231
o 330120
o 330110
o 330001
o 329991
o 329860
o 329850
o 329762
o 329752
o 329641
o 329631
o 329522
o 329512
o 329381
o 329371
o 329344
o 329334
o 329331
o 329321
o 329190
o 329180
o 329069
o 329059
o 328950
o 328940
o 328809
o 328799
o 328744
o 328734
o 328623
o 328613
o 328504
o 328494
o 328363
o 328353
o 328293
o 328283
o 328152
o 328142
o 328015
o 328005
o 327894
o 327884
o 327773
o 327763
o 327654
o 327644
o 327513
o 327503
o 327418
o 327408
o 327297
o 327287
o 327176
o 327166
o 327057
o 327047
o 326916
o 326906
o 326876
o 326866
o 326755
o 326745
o 326636
o 326626
o 326495
o 326485
o 326452
o 326442
o 326331
o 326321
o 326212
o 326202
o 326071
o 326061
o 326037
o 326027
o 325900
o 325890
o 325819
o 325809
o 325779
o 325769
o 325658
o 325648
o 325539
o 325529
o 325398
o 325388
o 325303
o 325293
o 325222
o 325212
o 325182
o 325172
o 325061
o 325051
o 324942
o 324932
o 324801
o 324791
o 324731
o 324721
o 324590
o 324580
o 324453
o 324443
o 324332
o 324322
o 324211
o 324201
o 324092
o 324082
o 323951
o 323941
o 323856
o 323846
o 323735
o 323725
o 323614
o 323604
o 323495
o 323485
o 323354
o 323344
o 323311
o 323301
o 323190
o 323180
o 323071
o 323061
o 322930
o 322920
o 322808
o 322798
o 322670
o 322660
o 322646
o 322636
o 322609
o 322599
o 322488
o 322478
o 322369
o 322359
o 322228
o 322218
o 322163
o 322153
o 322042
o 322032
o 321923
o 321913
o 321782
o 321772
o 321742
o 321732
o 321621
o 321611
o 321502
o 321492
o 321361
o 321351
o 321318
o 321308
o 321197
o 321187
o 321078
o 321068
o 320937
o 320927
o 320837
o 320827
o 320713
o 320703
o 320572
o 320562
o 320532
o 320522
o 320391
o 320381
o 320267
o 320257
o 320126
o 320116
o 320056
o 320046
o 319915
o 319905
o 319778
o 319768
o 319657
o 319647
o 319536
o 319526
o 319417
o 319407
o 319276
o 319266
o 319181
o 319171
o 319060
o 319050
o 318939
o 318929
o 318820
o 318810
o 318679
o 318669
o 318639
o 318629
o 318518
o 318508
o 318399
o 318389
o 318258
o 318248
o 318215
o 318205
o 318094
o 318084
o 317975
o 317965
o 317834
o 317824
o 317667
o 317657
o 317526
o 317516
o 317483
o 317473
o 317362
o 317352
o 317243
o 317233
o 317102
o 317092
o 317062
o 317052
o 316941
o 316931
o 316822
o 316812
o 316681
o 316671
o 316581
o 316571
o 316457
o 316447
o 316316
o 316306
o 316276
o 316266
o 316135
o 316125
o 316011
o 316001
o 315870
o 315860
o 315800
o 315790
o 315659
o 315649
o 315522
o 315512
o 315401
o 315391
o 315280
o 315270
o 315161
o 315151
o 315020
o 315010
o 314925
o 314915
o 314804
o 314794
o 314683
o 314673
o 314564
o 314554
o 314423
o 314413
o 314380
o 314370
o 314259
o 314249
o 314140
o 314130
o 313999
o 313989
o 313959
o 313949
o 313838
o 313828
o 313719
o 313709
o 313578
o 313568
o 313533
o 313523
o 313520
o 313490
o 313480
o 313369
o 313359
o 313250
o 313240
o 313109
o 313099
o 313077
o 313067
o 312958
o 312948
o 312817
o 312807
o 312770
o 312612
o 312602
o 312471
o 312461
o 312439
o 312429
o 312298
o 312288
o 312255
o 312245
o 312134
o 312124
o 312015
o 312005
o 311874
o 311864
o 311794
o 311784
o 311751
o 311741
o 311630
o 311620
o 311511
o 311501
o 311370
o 311360
o 311323
o 311165
o 311155
o 311024
o 311014
o 310992
o 310982
o 310851
o 310841
o 310808
o 310798
o 310687
o 310677
o 310568
o 310558
o 310427
o 310417
o 310387
o 310377
o 310266
o 310256
o 310147
o 310137
o 310006
o 309996
o 309970
o 309812
o 309802
o 309671
o 309661
o 309639
o 309629
o 309498
o 309488
o 309455
o 309445
o 309334
o 309324
o 309215
o 309205
o 309074
o 309064
o 309062
o 308994
o 308984
o 308981
o 308951
o 308941
o 308830
o 308820
o 308711
o 308701
o 308570
o 308560
o 308523
o 308365
o 308355
o 308224
o 308214
o 308129
o 308119
o 308008
o 307998
o 307887
o 307877
o 307768
o 307758
o 307627
o 307617
o 307615
o 307457
o 307447
o 307316
o 307306
o 307273
o 307263
o 307152
o 307142
o 307033
o 307023
o 306892
o 306882
o 306804
o 306794
o 306683
o 306673
o 306564
o 306554
o 306423
o 306413
o 306323
o 306313
o 306199
o 306189
o 306058
o 306048
o 306018
o 306008
o 305877
o 305867
o 305753
o 305743
o 305612
o 305602
o 305600
o 305489
o 305479
o 305368
o 305358
o 305249
o 305239
o 305108
o 305098
o 305061
o 304903
o 304893
o 304762
o 304752
o 304667
o 304657
o 304546
o 304536
o 304425
o 304415
o 304306
o 304296
o 304165
o 304155
o 304122
o 304112
o 304001
o 303991
o 303882
o 303872
o 303741
o 303731
o 303701
o 303691
o 303580
o 303570
o 303461
o 303451
o 303320
o 303310
o 303270
o 303260
o 303226
o 303216
o 303107
o 303097
o 302966
o 302956
o 302829
o 302819
o 302708
o 302698
o 302587
o 302577
o 302468
o 302458
o 302327
o 302317
o 302189
o 302179
o 302094
o 302084
o 301973
o 301963
o 301852
o 301842
o 301733
o 301723
o 301592
o 301582
o 301504
o 301494
o 301383
o 301373
o 301264
o 301254
o 301123
o 301113
o 301099
o 301089
o 300975
o 300965
o 300834
o 300824
o 300821
o 300816
o 300806
o 300675
o 300665
o 300551
o 300541
o 300410
o 300400
o 300337
o 300327
o 300312
o 300302
o 300272
o 300262
o 300190
o 300032
o 300022
o 299891
o 299881
o 299878
o 299848
o 299838
o 299766
o 299608
o 299598
o 299467
o 299457
o 299387
o 299377
o 299344
o 299334
o 299223
o 299213
o 299104
o 299094
o 298963
o 298953
o 298916
o 298758
o 298748
o 298617
o 298607
o 298585
o 298575
o 298444
o 298434
o 298401
o 298391
o 298280
o 298270
o 298161
o 298151
o 298020
o 298010
o 297936
o 297926
o 297893
o 297883
o 297772
o 297762
o 297653
o 297643
o 297512
o 297502
o 297500
o 297432
o 297422
o 297389
o 297379
o 297268
o 297258
o 297149
o 297139
o 297008
o 296998
o 296961
o 296803
o 296793
o 296662
o 296652
o 296567
o 296557
o 296446
o 296436
o 296325
o 296315
o 296206
o 296196
o 296065
o 296055
o 296025
o 296015
o 295904
o 295894
o 295785
o 295775
o 295644
o 295634
o 295599
o 295589
o 295511
o 295501
o 295390
o 295380
o 295271
o 295261
o 295130
o 295120
o 295106
o 295096
o 294982
o 294972
o 294841
o 294831
o 294828
o 294823
o 294813
o 294682
o 294672
o 294558
o 294548
o 294417
o 294407
o 294344
o 294334
o 294319
o 294309
o 294279
o 294269
o 294197
o 294039
o 294029
o 293898
o 293888
o 293885
o 293855
o 293845
o 293773
o 293615
o 293605
o 293474
o 293464
o 293394
o 293384
o 293351
o 293341
o 293230
o 293220
o 293111
o 293101
o 292970
o 292960
o 292923
o 292765
o 292755
o 292624
o 292614
o 292592
o 292582
o 292451
o 292441
o 292408
o 292398
o 292287
o 292277
o 292168
o 292158
o 292027
o 292017
o 292000
o 291990
o 291859
o 291849
o 291816
o 291806
o 291695
o 291685
o 291576
o 291566
o 291435
o 291425
o 291316
o 291306
o 291273
o 291263
o 291152
o 291142
o 291033
o 291023
o 290892
o 290882
o 290850
o 290840
o 290726
o 290716
o 290585
o 290575
o 290553
o 290543
o 290412
o 290402
o 290369
o 290359
o 290248
o 290238
o 290129
o 290119
o 289988
o 289978
o 289869
o 289859
o 289826
o 289816
o 289705
o 289695
o 289586
o 289576
o 289445
o 289435
o 289426
o 289295
o 289285
o 289252
o 289242
o 289236
o 289095
o 289085
o 289012
o 289002
o 288871
o 288861
o 288859
o 288791
o 288781
o 288748
o 288738
o 288732
o 288591
o 288581
o 288508
o 288498
o 288367
o 288357
o 288320
o 288162
o 288152
o 288021
o 288011
o 287926
o 287916
o 287805
o 287795
o 287789
o 287648
o 287638
o 287565
o 287555
o 287424
o 287414
o 287384
o 287374
o 287368
o 287227
o 287217
o 287144
o 287134
o 287003
o 286993
o 286976
o 286966
o 286835
o 286825
o 286792
o 286782
o 286776
o 286635
o 286625
o 286552
o 286542
o 286411
o 286401
o 286292
o 286282
o 286249
o 286239
o 286233
o 286092
o 286082
o 286009
o 285999
o 285868
o 285858
o 285826
o 285816
o 285702
o 285692
o 285561
o 285551
o 285529
o 285519
o 285388
o 285378
o 285345
o 285335
o 285329
o 285188
o 285178
o 285105
o 285095
o 284964
o 284954
o 284845
o 284835
o 284802
o 284792
o 284786
o 284645
o 284635
o 284562
o 284552
o 284421
o 284411
o 284331
o 284321
o 284315
o 284305
o 284174
o 284164
o 284091
o 284081
o 283950
o 283940
o 283876
o 283866
o 283828
o 283818
o 283745
o 283735
o 283604
o 283594
o 283530
o 283520
o 283388
o 283378
o 283372
o 283231
o 283221
o 283148
o 283138
o 283007
o 282997
o 282933
o 282923
o 282890
o 282880
o 282807
o 282797
o 282724
o 282714
o 282583
o 282573
o 282509
o 282499
o 282469
o 282459
o 282386
o 282376
o 282303
o 282293
o 282162
o 282152
o 282088
o 282078
o 281970
o 281960
o 281896
o 281886
o 281848
o 281838
o 281765
o 281755
o 281624
o 281614
o 281550
o 281540
o 281451
o 281441
o 281377
o 281367
o 281251
o 281241
o 281168
o 281158
o 281027
o 281017
o 280953
o 280943
o 280937
o 280873
o 280863
o 280747
o 280737
o 280664
o 280654
o 280523
o 280513
o 280449
o 280439
o 280401
o 280391
o 280318
o 280308
o 280177
o 280167
o 280103
o 280093
o 280004
o 279994
o 279930
o 279920
o 279804
o 279794
o 279721
o 279711
o 279580
o 279570
o 279506
o 279496
o 279480
o 279470
o 279437
o 279427
o 279421
o 279280
o 279270
o 279197
o 279187
o 279056
o 279046
o 279044
o 279034
o 278903
o 278893
o 278820
o 278810
o 278679
o 278669
o 278632
o 278474
o 278464
o 278333
o 278323
o 278238
o 278228
o 278117
o 278107
o 278101
o 277960
o 277950
o 277877
o 277867
o 277736
o 277726
o 277662
o 277652
o 277619
o 277609
o 277536
o 277526
o 277453
o 277443
o 277312
o 277302
o 277238
o 277228
o 277178
o 277168
o 277104
o 277094
o 277021
o 277011
o 276938
o 276928
o 276797
o 276787
o 276723
o 276713
o 276601
o 276591
o 276527
o 276517
o 276401
o 276391
o 276318
o 276308
o 276177
o 276167
o 276103
o 276093
o 276091
o 276087
o 276023
o 276013
o 275897
o 275887
o 275814
o 275804
o 275673
o 275663
o 275599
o 275589
o 275468
o 275458
o 275394
o 275384
o 275327
o 275317
o 275253
o 275243
o 275199
o 275189
o 275158
o 275148
o 275111
o 275101
o 275037
o 275027
o 274954
o 274944
o 274871
o 274861
o 274730
o 274720
o 274656
o 274646
o 274596
o 274586
o 274522
o 274512
o 274439
o 274429
o 274356
o 274346
o 274215
o 274205
o 274141
o 274131
o 274109
o 274099
o 274035
o 274025
o 273952
o 273942
o 273869
o 273859
o 273728
o 273718
o 273654
o 273644
o 273523
o 273513
o 273449
o 273439
o 273382
o 273372
o 273308
o 273298
o 273254
o 273244
o 273213
o 273203
o 273166
o 273156
o 273092
o 273082
o 273009
o 272999
o 272926
o 272916
o 272785
o 272775
o 272711
o 272701
o 272685
o 272675
o 272642
o 272632
o 272626
o 272485
o 272475
o 272402
o 272392
o 272261
o 272251
o 272249
o 272239
o 272108
o 272098
o 272025
o 272015
o 271884
o 271874
o 271837
o 271679
o 271669
o 271538
o 271528
o 271443
o 271433
o 271322
o 271312
o 271306
o 271165
o 271155
o 271082
o 271072
o 270941
o 270931
o 270867
o 270857
o 270824
o 270814
o 270741
o 270731
o 270658
o 270648
o 270517
o 270507
o 270443
o 270433
o 270383
o 270373
o 270309
o 270299
o 270226
o 270216
o 270143
o 270133
o 270002
o 269992
o 269928
o 269918
o 269899
o 269889
o 269825
o 269815
o 269786
o 269776
o 269703
o 269693
o 269562
o 269552
o 269526
o 269516
o 269443
o 269433
o 269302
o 269292
o 269228
o 269218
o 269180
o 269170
o 269097
o 269087
o 268956
o 268946
o 268882
o 268872
o 268740
o 268730
o 268724
o 268583
o 268573
o 268500
o 268490
o 268359
o 268349
o 268285
o 268275
o 268242
o 268232
o 268159
o 268149
o 268076
o 268066
o 267935
o 267925
o 267861
o 267851
o 267801
o 267791
o 267727
o 267717
o 267644
o 267634
o 267561
o 267551
o 267420
o 267410
o 267346
o 267336
o 267201
o 267191
o 267127
o 267117
o 267060
o 267050
o 266986
o 266976
o 266960
o 266950
o 266917
o 266907
o 266901
o 266760
o 266750
o 266677
o 266667
o 266536
o 266526
o 266479
o 266469
o 266396
o 266386
o 266255
o 266245
o 266181
o 266171
o 266133
o 266123
o 266050
o 266040
o 265909
o 265899
o 265835
o 265825
o 265736
o 265726
o 265662
o 265652
o 265536
o 265526
o 265453
o 265443
o 265312
o 265302
o 265238
o 265228
o 265219
o 265209
o 265145
o 265135
o 265105
o 265095
o 265022
o 265012
o 264939
o 264929
o 264798
o 264788
o 264724
o 264714
o 264584
o 264574
o 264510
o 264500
o 264368
o 264358
o 264352
o 264211
o 264201
o 264128
o 264118
o 263987
o 263977
o 263913
o 263903
o 263870
o 263860
o 263787
o 263777
o 263704
o 263694
o 263563
o 263553
o 263489
o 263479
o 263440
o 263430
o 263424
o 263414
o 263283
o 263273
o 263200
o 263190
o 263059
o 263049
o 262985
o 262975
o 262937
o 262927
o 262854
o 262844
o 262713
o 262703
o 262639
o 262629
o 262497
o 262487
o 262481
o 262340
o 262330
o 262257
o 262247
o 262116
o 262106
o 262042
o 262032
o 262002
o 261992
o 261919
o 261909
o 261836
o 261826
o 261695
o 261685
o 261621
o 261611
o 261603
o 261539
o 261529
o 261506
o 261496
o 261490
o 261480
o 261424
o 261266
o 261256
o 261125
o 261115
o 261104
o 261094
o 260963
o 260953
o 260947
o 260937
o 260806
o 260796
o 260723
o 260713
o 260582
o 260572
o 260508
o 260498
o 260465
o 260455
o 260382
o 260372
o 260299
o 260289
o 260158
o 260148
o 260084
o 260074
o 260024
o 260014
o 259950
o 259940
o 259867
o 259857
o 259784
o 259774
o 259643
o 259633
o 259569
o 259559
o 259507
o 259497
o 259424
o 259414
o 259283
o 259273
o 259209
o 259199
o 259183
o 259173
o 259170
o 259140
o 259130
o 259124
o 259114
o 258983
o 258973
o 258900
o 258890
o 258759
o 258749
o 258702
o 258692
o 258619
o 258609
o 258478
o 258468
o 258404
o 258394
o 258356
o 258346
o 258273
o 258263
o 258132
o 258122
o 258058
o 258048
o 257959
o 257949
o 257885
o 257875
o 257759
o 257749
o 257676
o 257666
o 257535
o 257525
o 257461
o 257451
o 257442
o 257432
o 257368
o 257358
o 257328
o 257318
o 257245
o 257235
o 257162
o 257152
o 257021
o 257011
o 256947
o 256937
o 256807
o 256797
o 256733
o 256723
o 256591
o 256581
o 256575
o 256434
o 256424
o 256351
o 256341
o 256210
o 256200
o 256136
o 256126
o 256093
o 256083
o 256010
o 256000
o 255927
o 255917
o 255786
o 255776
o 255712
o 255702
o 255663
o 255653
o 255647
o 255637
o 255506
o 255496
o 255423
o 255413
o 255282
o 255272
o 255208
o 255198
o 255160
o 255150
o 255077
o 255067
o 254936
o 254926
o 254862
o 254852
o 254720
o 254710
o 254704
o 254563
o 254553
o 254480
o 254470
o 254339
o 254329
o 254265
o 254255
o 254225
o 254215
o 254142
o 254132
o 254059
o 254049
o 253918
o 253908
o 253844
o 253834
o 253826
o 253762
o 253752
o 253715
o 253705
o 253697
o 253633
o 253623
o 253600
o 253590
o 253584
o 253574
o 253518
o 253360
o 253350
o 253219
o 253209
o 253198
o 253188
o 253057
o 253047
o 253041
o 253031
o 252900
o 252890
o 252817
o 252807
o 252676
o 252666
o 252602
o 252592
o 252559
o 252549
o 252476
o 252466
o 252393
o 252383
o 252252
o 252242
o 252178
o 252168
o 252118
o 252108
o 252044
o 252034
o 251961
o 251951
o 251878
o 251868
o 251737
o 251727
o 251663
o 251653
o 251601
o 251591
o 251518
o 251508
o 251377
o 251367
o 251303
o 251293
o 251289
o 251277
o 251267
o 251259
o 251249
o 251118
o 251108
o 250994
o 250984
o 250853
o 250843
o 250796
o 250786
o 250713
o 250703
o 250572
o 250562
o 250498
o 250488
o 250450
o 250440
o 250367
o 250357
o 250226
o 250216
o 250152
o 250142
o 250053
o 250043
o 249979
o 249969
o 249853
o 249843
o 249770
o 249760
o 249629
o 249619
o 249555
o 249545
o 249536
o 249526
o 249462
o 249452
o 249422
o 249412
o 249339
o 249329
o 249256
o 249246
o 249115
o 249105
o 249041
o 249031
o 248995
o 248985
o 248921
o 248911
o 248882
o 248872
o 248799
o 248789
o 248658
o 248648
o 248622
o 248612
o 248539
o 248529
o 248398
o 248388
o 248324
o 248314
o 248281
o 248271
o 248198
o 248188
o 248115
o 248105
o 247974
o 247964
o 247900
o 247890
o 247851
o 247841
o 247835
o 247825
o 247694
o 247684
o 247611
o 247601
o 247470
o 247460
o 247396
o 247386
o 247348
o 247338
o 247265
o 247255
o 247124
o 247114
o 247050
o 247040
o 246908
o 246898
o 246892
o 246751
o 246741
o 246668
o 246658
o 246527
o 246517
o 246453
o 246443
o 246393
o 246383
o 246319
o 246309
o 246236
o 246226
o 246153
o 246143
o 246012
o 246002
o 245938
o 245928
o 245920
o 245856
o 245846
o 245799
o 245789
o 245700
o 245690
o 245626
o 245616
o 245500
o 245490
o 245417
o 245407
o 245276
o 245266
o 245202
o 245192
o 245154
o 245144
o 245071
o 245061
o 244930
o 244920
o 244856
o 244846
o 244757
o 244747
o 244683
o 244673
o 244557
o 244547
o 244474
o 244464
o 244333
o 244323
o 244259
o 244249
o 244241
o 244177
o 244167
o 244122
o 244112
o 244048
o 244038
o 244032
o 244024
o 243965
o 243955
o 243948
o 243900
o 243890
o 243884
o 243874
o 243743
o 243733
o 243660
o 243650
o 243519
o 243509
o 243445
o 243435
o 243397
o 243387
o 243314
o 243304
o 243173
o 243163
o 243099
o 243089
o 243081
o 243022
o 243012
o 243005
o 242957
o 242947
o 242941
o 242931
o 242800
o 242790
o 242717
o 242707
o 242576
o 242566
o 242502
o 242492
o 242459
o 242449
o 242376
o 242366
o 242293
o 242283
o 242152
o 242142
o 242078
o 242068
o 242016
o 242006
o 241933
o 241923
o 241792
o 241782
o 241718
o 241708
o 241635
o 241625
o 241552
o 241542
o 241411
o 241401
o 241337
o 241327
o 241211
o 241201
o 241128
o 241118
o 240987
o 240977
o 240913
o 240903
o 240840
o 240830
o 240823
o 240767
o 240609
o 240599
o 240468
o 240458
o 240394
o 240384
o 240268
o 240258
o 240185
o 240175
o 240044
o 240034
o 239970
o 239960
o 239952
o 239942
o 239878
o 239868
o 239837
o 239827
o 239754
o 239744
o 239671
o 239661
o 239530
o 239520
o 239456
o 239446
o 239356
o 239346
o 239259
o 239249
o 239242
o 239194
o 239184
o 239178
o 239168
o 239037
o 239027
o 238954
o 238944
o 238813
o 238803
o 238739
o 238729
o 238727
o 238720
o 238690
o 238680
o 238674
o 238664
o 238533
o 238523
o 238450
o 238440
o 238309
o 238299
o 238235
o 238225
o 238104
o 238094
o 238030
o 238020
o 237963
o 237953
o 237889
o 237879
o 237835
o 237825
o 237794
o 237784
o 237747
o 237737
o 237673
o 237663
o 237590
o 237580
o 237507
o 237497
o 237366
o 237356
o 237292
o 237282
o 237249
o 237239
o 237166
o 237156
o 237083
o 237073
o 236942
o 236932
o 236868
o 236858
o 236808
o 236798
o 236734
o 236724
o 236651
o 236641
o 236568
o 236558
o 236427
o 236417
o 236353
o 236343
o 236335
o 236271
o 236261
o 236244
o 236234
o 236185
o 236175
o 236103
o 236093
o 236029
o 236019
o 235985
o 235975
o 235903
o 235893
o 235892
o 235820
o 235810
o 235761
o 235751
o 235679
o 235669
o 235605
o 235595
o 235487
o 235477
o 235404
o 235394
o 235263
o 235253
o 235189
o 235179
o 235171
o 235107
o 235097
o 235087
o 235079
o 235015
o 235005
o 234973
o 234963
o 234890
o 234880
o 234749
o 234739
o 234675
o 234665
o 234567
o 234557
o 234493
o 234483
o 234472
o 234462
o 234451
o 234441
o 234330
o 234320
o 234314
o 234173
o 234163
o 234090
o 234080
o 233949
o 233939
o 233875
o 233865
o 233827
o 233817
o 233744
o 233734
o 233603
o 233593
o 233529
o 233519
o 233387
o 233377
o 233371
o 233230
o 233220
o 233147
o 233137
o 233006
o 232996
o 232932
o 232922
o 232806
o 232796
o 232723
o 232713
o 232582
o 232572
o 232508
o 232498
o 232448
o 232438
o 232374
o 232364
o 232291
o 232281
o 232208
o 232198
o 232067
o 232057
o 231993
o 231983
o 231953
o 231943
o 231870
o 231860
o 231787
o 231777
o 231646
o 231636
o 231572
o 231562
o 231554
o 231490
o 231480
o 231449
o 231439
o 231426
o 231416
o 231352
o 231342
o 231330
o 231320
o 231245
o 231235
o 231121
o 231111
o 230980
o 230970
o 230906
o 230896
o 230888
o 230824
o 230814
o 230812
o 230748
o 230738
o 230727
o 230717
o 230688
o 230678
o 230606
o 230596
o 230531
o 230521
o 230448
o 230438
o 230307
o 230297
o 230225
o 230215
o 230151
o 230141
o 230107
o 230097
o 230024
o 230014
o 229883
o 229873
o 229801
o 229791
o 229727
o 229717
o 229710
o 229700
o 229636
o 229626
o 229592
o 229582
o 229509
o 229499
o 229368
o 229358
o 229286
o 229276
o 229212
o 229202
o 229199
o 229127
o 229117
o 229053
o 229043
o 229035
o 229032
o 229022
o 228993
o 228983
o 228911
o 228901
o 228836
o 228826
o 228753
o 228743
o 228612
o 228602
o 228530
o 228520
o 228456
o 228446
o 228413
o 228403
o 228402
o 228329
o 228319
o 228188
o 228178
o 228114
o 228104
o 228096
o 228032
o 228022
o 228021
o 227957
o 227947
o 227940
o 227930
o 227858
o 227848
o 227784
o 227774
o 227740
o 227730
o 227657
o 227647
o 227516
o 227506
o 227434
o 227424
o 227360
o 227350
o 227319
o 227309
o 227237
o 227227
o 227163
o 227153
o 227120
o 227110
o 227109
o 227036
o 227026
o 226895
o 226885
o 226821
o 226811
o 226803
o 226739
o 226729
o 226714
o 226704
o 226703
o 226630
o 226620
o 226489
o 226479
o 226415
o 226405
o 226397
o 226333
o 226323
o 226290
o 226280
o 226279
o 226206
o 226196
o 226065
o 226055
o 225991
o 225981
o 225973
o 225909
o 225899
o 225895
o 225885
o 225814
o 225804
o 225774
o 225764
o 225758
o 225617
o 225607
o 225534
o 225524
o 225393
o 225383
o 225319
o 225309
o 225301
o 225237
o 225227
o 225196
o 225186
o 225114
o 225104
o 225040
o 225030
o 224997
o 224987
o 224986
o 224913
o 224903
o 224772
o 224762
o 224698
o 224688
o 224680
o 224616
o 224606
o 224589
o 224579
o 224515
o 224505
o 224497
o 224433
o 224423
o 224416
o 224406
o 224373
o 224363
o 224298
o 224288
o 224215
o 224205
o 224074
o 224064
o 223992
o 223982
o 223918
o 223908
o 223906
o 223882
o 223872
o 223799
o 223789
o 223716
o 223706
o 223575
o 223565
o 223501
o 223491
o 223483
o 223419
o 223409
o 223323
o 223313
o 223249
o 223239
o 223209
o 223199
o 223126
o 223116
o 223043
o 223033
o 222902
o 222892
o 222828
o 222818
o 222815
o 222785
o 222775
o 222702
o 222692
o 222619
o 222609
o 222478
o 222468
o 222404
o 222394
o 222387
o 222377
o 222313
o 222303
o 222187
o 222177
o 222104
o 222094
o 221963
o 221953
o 221889
o 221879
o 221871
o 221807
o 221797
o 221792
o 221789
o 221759
o 221749
o 221676
o 221666
o 221593
o 221583
o 221452
o 221442
o 221378
o 221368
o 221360
o 221296
o 221286
o 221200
o 221190
o 221126
o 221116
o 221086
o 221076
o 221003
o 220993
o 220920
o 220910
o 220779
o 220769
o 220705
o 220695
o 220692
o 220662
o 220652
o 220579
o 220569
o 220496
o 220486
o 220355
o 220345
o 220281
o 220271
o 220264
o 220254
o 220190
o 220180
o 220064
o 220054
o 219981
o 219971
o 219840
o 219830
o 219766
o 219756
o 219748
o 219684
o 219674
o 219657
o 219647
o 219583
o 219573
o 219565
o 219501
o 219491
o 219484
o 219474
o 219441
o 219431
o 219366
o 219356
o 219283
o 219273
o 219142
o 219132
o 219060
o 219050
o 218986
o 218976
o 218974
o 218971
o 218907
o 218897
o 218889
o 218825
o 218815
o 218792
o 218782
o 218651
o 218641
o 218569
o 218559
o 218495
o 218485
o 218459
o 218449
o 218418
o 218408
o 218344
o 218334
o 218309
o 218299
o 218235
o 218225
o 218217
o 218153
o 218143
o 218089
o 218079
o 218030
o 218020
o 217948
o 217938
o 217874
o 217864
o 217838
o 217828
o 217797
o 217787
o 217723
o 217713
o 217688
o 217678
o 217614
o 217604
o 217596
o 217532
o 217522
o 217468
o 217458
o 217425
o 217415
o 217414
o 217341
o 217331
o 217200
o 217190
o 217126
o 217116
o 217108
o 217044
o 217034
o 217008
o 216998
o 216967
o 216957
o Killed
1819.701u 0.021s 30:20.25 99.9%	0+0k 0+0io 0pf+0w