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-100-2_network-5.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-5.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 3812772
o 331266
o 331130
o 331048
o 330876
o 330740
o 330658
o 330656
o 330520
o 330438
o 330410
o 330263
o 330127
o 330045
o 329873
o 329737
o 329655
o 329653
o 329517
o 329435
o 329407
o 329381
o 329379
o 329243
o 329161
o 329133
o 329096
o 329014
o 328986
o 327764
o 327628
o 327546
o 327374
o 327238
o 327156
o 327154
o 327018
o 326936
o 326908
o 326761
o 326625
o 326543
o 326371
o 326235
o 326153
o 326151
o 326015
o 325933
o 325905
o 325879
o 325877
o 325741
o 325659
o 325631
o 325552
o 325524
o 325377
o 325241
o 325159
o 324987
o 324851
o 324769
o 324767
o 324631
o 324549
o 324521
o 324495
o 324493
o 324357
o 324275
o 324247
o 323977
o 323841
o 323759
o 323587
o 323451
o 323369
o 323367
o 323231
o 323149
o 323121
o 322974
o 322838
o 322756
o 322584
o 322448
o 322366
o 322364
o 322228
o 322146
o 322118
o 322092
o 322090
o 321954
o 321872
o 321844
o 321820
o 321738
o 321736
o 321600
o 321518
o 321490
o 321464
o 321462
o 321326
o 321244
o 321216
o 321186
o 321158
o 321132
o 321130
o 320994
o 320912
o 320884
o 320847
o 320675
o 320539
o 320457
o 320455
o 320319
o 320237
o 320209
o 320183
o 320181
o 320045
o 319963
o 319935
o 319807
o 319725
o 319553
o 319417
o 319335
o 319333
o 319197
o 319115
o 319087
o 319061
o 319059
o 318923
o 318841
o 318813
o 318783
o 318755
o 318729
o 318727
o 318591
o 318509
o 318481
o 318392
o 318310
o 318282
o 318252
o 318224
o 318198
o 318196
o 318060
o 317978
o 317950
o 317927
o 317845
o 317673
o 317537
o 317455
o 317453
o 317317
o 317235
o 317207
o 317181
o 317179
o 317043
o 316961
o 316933
o 316909
o 316827
o 316825
o 316689
o 316607
o 316579
o 316553
o 316551
o 316415
o 316333
o 316305
o 316275
o 316247
o 316221
o 316219
o 316083
o 316001
o 315973
o 315936
o 315764
o 315628
o 315546
o 315544
o 315408
o 315326
o 315298
o 315272
o 315270
o 315134
o 315052
o 315024
o 314896
o 314814
o 314642
o 314506
o 314424
o 314422
o 314286
o 314204
o 314176
o 314150
o 314148
o 314012
o 313930
o 313902
o 313872
o 313844
o 313818
o 313816
o 313680
o 313598
o 313570
o 313493
o 313411
o 313383
o 313360
o 313278
o 313106
o 312970
o 312888
o 312886
o 312750
o 312668
o 312640
o 312614
o 312612
o 312476
o 312394
o 312366
o 312342
o 312260
o 312258
o 312122
o 312040
o 312012
o 311986
o 311984
o 311848
o 311766
o 311738
o 311708
o 311680
o 311654
o 311652
o 311516
o 311434
o 311406
o 311369
o 311197
o 311061
o 310979
o 310977
o 310841
o 310759
o 310731
o 310705
o 310703
o 310567
o 310485
o 310457
o 310411
o 310383
o 310329
o 310247
o 310075
o 309939
o 309857
o 309855
o 309719
o 309637
o 309609
o 309583
o 309581
o 309445
o 309363
o 309335
o 309305
o 309277
o 309251
o 309249
o 309113
o 309031
o 309003
o 308975
o 308945
o 308917
o 308891
o 308889
o 308753
o 308671
o 308643
o 308624
o 308622
o 308486
o 308404
o 308376
o 308318
o 308236
o 308208
o 308182
o 308180
o 308044
o 307962
o 307934
o 307904
o 307876
o 307850
o 307848
o 307712
o 307630
o 307602
o 307597
o 307515
o 307487
o 307453
o 307317
o 307235
o 307233
o 307097
o 307015
o 306987
o 306961
o 306959
o 306823
o 306741
o 306713
o 306683
o 306655
o 306629
o 306627
o 306491
o 306409
o 306381
o 306353
o 306323
o 306295
o 306269
o 306267
o 306131
o 306049
o 306021
o 305916
o 305834
o 305832
o 305696
o 305614
o 305586
o 305560
o 305558
o 305422
o 305340
o 305312
o 305282
o 305254
o 305228
o 305226
o 305090
o 305008
o 304980
o 304953
o 304927
o 304925
o 304789
o 304707
o 304679
o 304659
o 304607
o 304579
o 304550
o 304468
o 304440
o 304388
o 304360
o 304292
o 304290
o 304154
o 304072
o 304044
o 304018
o 304016
o 303880
o 303798
o 303770
o 303740
o 303712
o 303686
o 303684
o 303548
o 303466
o 303438
o 303386
o 303358
o 303352
o 303326
o 303324
o 303188
o 303106
o 303078
o 303026
o 302998
o 302973
o 302891
o 302889
o 302753
o 302671
o 302643
o 302617
o 302615
o 302479
o 302397
o 302369
o 302339
o 302311
o 302285
o 302283
o 302147
o 302065
o 302037
o 301985
o 301957
o 301846
o 301764
o 301736
o 301684
o 301656
o 301581
o 301499
o 301471
o 301441
o 301413
o 301387
o 301385
o 301249
o 301167
o 301139
o 301134
o 301106
o 301080
o 301078
o 300942
o 300860
o 300832
o 300802
o 300774
o 300748
o 300746
o 300610
o 300528
o 300500
o 300473
o 300447
o 300445
o 300309
o 300227
o 300199
o 300179
o 300127
o 300099
o 300070
o 299988
o 299960
o 299908
o 299880
o 299871
o 299845
o 299843
o 299707
o 299625
o 299597
o 299545
o 299517
o 299511
o 299485
o 299483
o 299347
o 299265
o 299237
o 299185
o 299157
o 299132
o 299050
o 299048
o 298912
o 298830
o 298802
o 298776
o 298774
o 298638
o 298556
o 298528
o 298498
o 298470
o 298444
o 298442
o 298306
o 298224
o 298196
o 298144
o 298116
o 297999
o 297917
o 297889
o 297859
o 297831
o 297805
o 297803
o 297667
o 297585
o 297557
o 297505
o 297477
o 297366
o 297284
o 297256
o 297204
o 297176
o 297117
o 297089
o 297037
o 297009
o 296991
o 296909
o 296881
o 296855
o 296853
o 296717
o 296635
o 296607
o 296577
o 296549
o 296523
o 296521
o 296385
o 296303
o 296275
o 296248
o 296222
o 296220
o 296084
o 296002
o 295974
o 295922
o 295894
o 295860
o 295832
o 295826
o 295800
o 295798
o 295662
o 295580
o 295552
o 295500
o 295472
o 295447
o 295365
o 295363
o 295227
o 295145
o 295117
o 295091
o 295089
o 294953
o 294871
o 294843
o 294813
o 294785
o 294759
o 294757
o 294621
o 294539
o 294511
o 294459
o 294431
o 294314
o 294232
o 294204
o 294174
o 294146
o 294120
o 294118
o 293982
o 293900
o 293872
o 293820
o 293792
o 293681
o 293599
o 293571
o 293519
o 293491
o 293397
o 293315
o 293287
o 293257
o 293229
o 293203
o 293201
o 293065
o 292983
o 292955
o 292897
o 292815
o 292787
o 292761
o 292759
o 292623
o 292541
o 292513
o 292483
o 292455
o 292429
o 292427
o 292291
o 292209
o 292181
o 292129
o 292101
o 291984
o 291902
o 291874
o 291844
o 291816
o 291790
o 291788
o 291652
o 291570
o 291542
o 291490
o 291462
o 291351
o 291269
o 291241
o 291189
o 291161
o 291092
o 291010
o 290982
o 290930
o 290902
o 290895
o 290813
o 290785
o 290733
o 290705
o 290698
o 290668
o 290640
o 290614
o 290612
o 290476
o 290394
o 290366
o 290279
o 290197
o 290169
o 290034
o 289952
o 289924
o 289837
o 289755
o 289727
o 289702
o 289620
o 289592
o 289505
o 289423
o 289395
o 289343
o 289315
o 289313
o 289285
o 289255
o 289227
o 289201
o 289199
o 289063
o 288981
o 288953
o 288901
o 288873
o 288866
o 288784
o 288756
o 288704
o 288676
o 288652
o 288600
o 288572
o 288565
o 288483
o 288455
o 288403
o 288375
o 288295
o 288267
o 288240
o 288214
o 288212
o 288076
o 287994
o 287966
o 287914
o 287886
o 287868
o 287786
o 287784
o 287648
o 287566
o 287538
o 287512
o 287510
o 287374
o 287292
o 287264
o 287234
o 287206
o 287180
o 287178
o 287042
o 286960
o 286932
o 286880
o 286852
o 286791
o 286789
o 286653
o 286571
o 286543
o 286517
o 286515
o 286379
o 286297
o 286269
o 286239
o 286211
o 286185
o 286183
o 286047
o 285965
o 285937
o 285885
o 285857
o 285746
o 285664
o 285636
o 285584
o 285556
o 285487
o 285405
o 285377
o 285325
o 285297
o 285290
o 285208
o 285180
o 285128
o 285100
o 285059
o 284977
o 284949
o 284923
o 284921
o 284785
o 284703
o 284675
o 284588
o 284506
o 284478
o 284453
o 284371
o 284343
o 284256
o 284174
o 284146
o 284094
o 284066
o 284064
o 283982
o 283954
o 283928
o 283926
o 283790
o 283708
o 283680
o 283593
o 283511
o 283483
o 283458
o 283376
o 283348
o 283261
o 283179
o 283151
o 283099
o 283071
o 283047
o 282995
o 282967
o 282960
o 282878
o 282850
o 282798
o 282770
o 282769
o 282687
o 282659
o 282607
o 282579
o 282486
o 282404
o 282376
o 282346
o 282318
o 282292
o 282290
o 282154
o 282072
o 282044
o 282039
o 282011
o 281985
o 281983
o 281847
o 281765
o 281737
o 281707
o 281679
o 281653
o 281651
o 281515
o 281433
o 281405
o 281353
o 281325
o 281264
o 281262
o 281126
o 281044
o 281016
o 280990
o 280988
o 280852
o 280770
o 280742
o 280712
o 280684
o 280658
o 280656
o 280520
o 280438
o 280410
o 280358
o 280330
o 280219
o 280137
o 280109
o 280057
o 280029
o 280027
o 279975
o 279947
o 279923
o 279871
o 279843
o 279836
o 279754
o 279726
o 279674
o 279646
o 279565
o 279483
o 279455
o 279368
o 279286
o 279258
o 279206
o 279178
o 279118
o 279090
o 279038
o 279010
o 278926
o 278844
o 278816
o 278764
o 278736
o 278729
o 278647
o 278619
o 278567
o 278539
o 278537
o 278455
o 278427
o 278401
o 278399
o 278263
o 278181
o 278153
o 278066
o 277984
o 277956
o 277931
o 277849
o 277821
o 277734
o 277652
o 277624
o 277572
o 277544
o 277520
o 277468
o 277440
o 277433
o 277351
o 277323
o 277271
o 277243
o 277177
o 277095
o 277067
o 277015
o 276987
o 276980
o 276898
o 276870
o 276818
o 276790
o 276788
o 276706
o 276678
o 276652
o 276650
o 276514
o 276432
o 276404
o 276317
o 276235
o 276207
o 276182
o 276100
o 276072
o 275985
o 275903
o 275875
o 275823
o 275795
o 275771
o 275719
o 275691
o 275684
o 275602
o 275574
o 275522
o 275494
o 275493
o 275465
o 275411
o 275383
o 275331
o 275303
o 275210
o 275128
o 275100
o 275070
o 275042
o 275016
o 275014
o 274878
o 274796
o 274768
o 274763
o 274735
o 274709
o 274707
o 274571
o 274489
o 274461
o 274431
o 274403
o 274377
o 274375
o 274239
o 274157
o 274129
o 274077
o 274049
o 273988
o 273986
o 273850
o 273768
o 273740
o 273714
o 273712
o 273576
o 273494
o 273466
o 273436
o 273408
o 273382
o 273380
o 273244
o 273162
o 273134
o 273082
o 273054
o 272943
o 272861
o 272833
o 272781
o 272753
o 272751
o 272699
o 272671
o 272626
o 272598
o 272539
o 272511
o 272481
o 272453
o 272427
o 272425
o 272289
o 272207
o 272179
o 272092
o 272010
o 271982
o 271900
o 271872
o 271842
o 271814
o 271788
o 271786
o 271650
o 271568
o 271540
o 271453
o 271371
o 271343
o 271291
o 271263
o 271261
o 271179
o 271151
o 271125
o 271123
o 270987
o 270905
o 270877
o 270790
o 270708
o 270680
o 270655
o 270573
o 270545
o 270458
o 270376
o 270348
o 270296
o 270268
o 270244
o 270192
o 270164
o 270157
o 270075
o 270047
o 269995
o 269967
o 269885
o 269857
o 269805
o 269777
o 269750
o 269749
o 269667
o 269639
o 269587
o 269559
o 269466
o 269384
o 269356
o 269326
o 269298
o 269272
o 269270
o 269134
o 269052
o 269024
o 269019
o 268991
o 268965
o 268963
o 268827
o 268745
o 268717
o 268687
o 268659
o 268633
o 268631
o 268495
o 268413
o 268385
o 268333
o 268305
o 268244
o 268242
o 268106
o 268024
o 267996
o 267970
o 267968
o 267832
o 267750
o 267722
o 267692
o 267664
o 267638
o 267636
o 267500
o 267418
o 267390
o 267338
o 267310
o 267199
o 267117
o 267089
o 267037
o 267009
o 267007
o 266955
o 266927
o 266882
o 266854
o 266795
o 266767
o 266737
o 266709
o 266683
o 266681
o 266545
o 266463
o 266435
o 266348
o 266266
o 266238
o 266156
o 266128
o 266098
o 266070
o 266044
o 266042
o 265906
o 265824
o 265796
o 265709
o 265627
o 265599
o 265547
o 265519
o 265517
o 265435
o 265407
o 265381
o 265379
o 265243
o 265161
o 265133
o 265046
o 264964
o 264936
o 264911
o 264829
o 264801
o 264714
o 264632
o 264604
o 264552
o 264524
o 264500
o 264448
o 264420
o 264413
o 264331
o 264303
o 264251
o 264223
o 264141
o 264113
o 264061
o 264033
o 263969
o 263941
o 263889
o 263861
o 263779
o 263751
o 263699
o 263671
o 263664
o 263582
o 263554
o 263502
o 263474
o 263450
o 263398
o 263370
o 263363
o 263281
o 263253
o 263201
o 263173
o 263146
o 263094
o 263066
o 262973
o 262891
o 262863
o 262833
o 262805
o 262779
o 262777
o 262641
o 262559
o 262531
o 262526
o 262498
o 262472
o 262470
o 262334
o 262252
o 262224
o 262194
o 262166
o 262140
o 262138
o 262002
o 261920
o 261892
o 261840
o 261812
o 261751
o 261749
o 261613
o 261531
o 261503
o 261477
o 261475
o 261339
o 261257
o 261229
o 261199
o 261171
o 261145
o 261143
o 261007
o 260925
o 260897
o 260845
o 260817
o 260706
o 260624
o 260596
o 260544
o 260516
o 260514
o 260462
o 260434
o 260389
o 260361
o 260302
o 260274
o 260244
o 260216
o 260190
o 260188
o 260052
o 259970
o 259942
o 259855
o 259773
o 259745
o 259663
o 259635
o 259605
o 259577
o 259551
o 259549
o 259413
o 259331
o 259303
o 259216
o 259134
o 259106
o 259054
o 259026
o 259024
o 258942
o 258914
o 258888
o 258886
o 258750
o 258668
o 258640
o 258553
o 258471
o 258443
o 258418
o 258336
o 258308
o 258221
o 258139
o 258111
o 258059
o 258031
o 258007
o 257955
o 257927
o 257920
o 257838
o 257810
o 257758
o 257730
o 257648
o 257620
o 257568
o 257540
o 257477
o 257395
o 257367
o 257315
o 257287
o 257280
o 257198
o 257170
o 257118
o 257090
o 257088
o 257006
o 256978
o 256952
o 256950
o 256814
o 256732
o 256704
o 256617
o 256535
o 256507
o 256482
o 256400
o 256372
o 256285
o 256203
o 256175
o 256123
o 256095
o 256071
o 256019
o 255991
o 255984
o 255902
o 255874
o 255822
o 255794
o 255784
o 255780
o 255752
o 255665
o 255583
o 255555
o 255530
o 255448
o 255420
o 255333
o 255251
o 255223
o 255147
o 255119
o 255032
o 254950
o 254922
o 254870
o 254842
o 254761
o 254679
o 254651
o 254564
o 254482
o 254454
o 254402
o 254374
o 254314
o 254286
o 254234
o 254206
o 254122
o 254040
o 254012
o 253960
o 253932
o 253925
o 253843
o 253815
o 253763
o 253735
o 253733
o 253651
o 253623
o 253597
o 253595
o 253459
o 253377
o 253349
o 253262
o 253180
o 253152
o 253127
o 253045
o 253017
o 252930
o 252848
o 252820
o 252768
o 252740
o 252716
o 252664
o 252636
o 252629
o 252547
o 252519
o 252467
o 252439
o 252357
o 252329
o 252277
o 252249
o 252202
o 252174
o 252144
o 252116
o 252060
o 252032
o 251952
o 251870
o 251842
o 251835
o 251755
o 251673
o 251645
o 251593
o 251565
o 251541
o 251489
o 251461
o 251454
o 251372
o 251344
o 251292
o 251264
o 251176
o 251094
o 251066
o 251059
o 250979
o 250897
o 250869
o 250817
o 250789
o 250765
o 250713
o 250685
o 250678
o 250596
o 250568
o 250516
o 250488
o 250456
o 250428
o 250398
o 250370
o 250344
o 250342
o 250206
o 250124
o 250096
o 250009
o 249927
o 249899
o 249847
o 249819
o 249795
o 249743
o 249715
o 249708
o 249626
o 249598
o 249546
o 249518
o 249461
o 249379
o 249351
o 249264
o 249182
o 249154
o 249129
o 249047
o 249019
o 248932
o 248850
o 248822
o 248770
o 248742
o 248732
o 248674
o 248646
o 248594
o 248566
o 248478
o 248396
o 248368
o 248281
o 248199
o 248171
o 248095
o 248067
o 247980
o 247898
o 247870
o 247818
o 247790
o 247764
o 247736
o 247649
o 247567
o 247539
o 247487
o 247459
o 247435
o 247375
o 247347
o 247321
o 247319
o 247183
o 247101
o 247073
o 246986
o 246904
o 246876
o 246824
o 246796
o 246769
o 246741
o 246689
o 246661
o 246654
o 246572
o 246544
o 246492
o 246464
o 246440
o 246388
o 246360
o 246353
o 246271
o 246243
o 246191
o 246163
o 246106
o 246024
o 245996
o 245909
o 245827
o 245799
o 245774
o 245692
o 245664
o 245577
o 245495
o 245467
o 245415
o 245387
o 245305
o 245277
o 245225
o 245197
o 245168
o 245086
o 245058
o 245006
o 244978
o 244954
o 244892
o 244810
o 244782
o 244702
o 244620
o 244592
o 244585
o 244505
o 244423
o 244395
o 244343
o 244315
o 244288
o 244260
o 244208
o 244180
o 244173
o 244091
o 244063
o 244011
o 243983
o 243959
o 243907
o 243879
o 243872
o 243790
o 243762
o 243710
o 243682
o 243608
o 243580
o 243524
o 243496
o 243416
o 243334
o 243306
o 243219
o 243137
o 243109
o 243084
o 243002
o 242974
o 242967
o 242887
o 242805
o 242777
o 242725
o 242697
o 242609
o 242527
o 242499
o 242492
o 242412
o 242330
o 242302
o 242250
o 242222
o 242198
o 242146
o 242118
o 242111
o 242029
o 242001
o 241949
o 241921
o 241889
o 241861
o 241831
o 241803
o 241777
o 241775
o 241639
o 241557
o 241529
o 241442
o 241360
o 241332
o 241280
o 241252
o 241228
o 241176
o 241148
o 241141
o 241059
o 241031
o 240979
o 240951
o 240863
o 240781
o 240753
o 240666
o 240584
o 240556
o 240504
o 240476
o 240452
o 240400
o 240372
o 240365
o 240283
o 240255
o 240203
o 240175
o 240165
o 240144
o 240057
o 239975
o 239947
o 239895
o 239867
o 239752
o 239670
o 239642
o 239616
o 239614
o 239478
o 239396
o 239368
o 239281
o 239199
o 239171
o 239119
o 239091
o 239082
o 239000
o 238972
o 238920
o 238892
o 238868
o 238808
o 238780
o 238754
o 238752
o 238616
o 238534
o 238506
o 238419
o 238337
o 238309
o 238257
o 238229
o 238202
o 238174
o 238122
o 238094
o 238087
o 238005
o 237977
o 237925
o 237897
o 237873
o 237821
o 237793
o 237786
o 237704
o 237676
o 237624
o 237596
o 237539
o 237457
o 237429
o 237342
o 237260
o 237232
o 237207
o 237125
o 237097
o 237010
o 236928
o 236900
o 236848
o 236820
o 236738
o 236710
o 236658
o 236630
o 236591
o 236563
o 236483
o 236401
o 236373
o 236366
o 236286
o 236204
o 236176
o 236124
o 236096
o 236072
o 236020
o 235992
o 235985
o 235903
o 235875
o 235823
o 235795
o 235738
o 235656
o 235628
o 235541
o 235459
o 235431
o 235406
o 235324
o 235296
o 235289
o 235209
o 235127
o 235099
o 235047
o 235019
o 234987
o 234959
o 234929
o 234901
o 234875
o 234873
o 234737
o 234655
o 234627
o 234540
o 234458
o 234430
o 234378
o 234350
o 234326
o 234274
o 234246
o 234239
o 234157
o 234129
o 234077
o 234049
o 233992
o 233910
o 233882
o 233795
o 233713
o 233685
o 233660
o 233578
o 233550
o 233463
o 233381
o 233353
o 233301
o 233273
o 233263
o 233242
o 233155
o 233073
o 233045
o 232993
o 232965
o 232850
o 232768
o 232740
o 232714
o 232712
o 232576
o 232494
o 232466
o 232379
o 232297
o 232269
o 232217
o 232189
o 232180
o 232098
o 232070
o 232018
o 231990
o 231933
o 231851
o 231823
o 231736
o 231654
o 231626
o 231601
o 231519
o 231491
o 231404
o 231322
o 231294
o 231242
o 231214
o 231185
o 231103
o 231075
o 231023
o 230995
o 230938
o 230856
o 230828
o 230741
o 230659
o 230631
o 230606
o 230524
o 230496
o 230409
o 230327
o 230299
o 230247
o 230219
o 230195
o 230143
o 230115
o 230108
o 230026
o 229998
o 229946
o 229918
o 229836
o 229808
o 229756
o 229728
o 229725
o 229718
o 229638
o 229556
o 229528
o 229476
o 229448
o 229388
o 229360
o 229308
o 229280
o 229276
o 229224
o 229196
o 229114
o 229086
o 229034
o 229006
o 228999
o 228917
o 228889
o 228837
o 228809
o 228780
o 228698
o 228670
o 228618
o 228590
o 228533
o 228451
o 228423
o 228416
o 228336
o 228254
o 228226
o 228201
o 228119
o 228091
o 228084
o 228004
o 227922
o 227894
o 227842
o 227814
o 227790
o 227738
o 227710
o 227703
o 227621
o 227593
o 227541
o 227513
o 227482
o 227454
o 227447
o 227367
o 227285
o 227257
o 227205
o 227177
o 227062
o 226980
o 226952
o 226896
o 226868
o 226788
o 226706
o 226678
o 226591
o 226509
o 226481
o 226429
o 226401
o 226369
o 226341
o 226311
o 226283
o 226257
o 226255
o 226119
o 226037
o 226009
o 225922
o 225840
o 225812
o 225760
o 225732
o 225708
o 225656
o 225628
o 225621
o 225539
o 225511
o 225459
o 225431
o 225353
o 225271
o 225243
o 225177
o 225095
o 225067
o 225042
o 224960
o 224932
o 224845
o 224763
o 224735
o 224683
o 224655
o 224645
o 224624
o 224537
o 224455
o 224427
o 224375
o 224347
o 224232
o 224150
o 224122
o 224096
o 224094
o 223958
o 223876
o 223848
o 223761
o 223679
o 223651
o 223599
o 223571
o 223562
o 223480
o 223452
o 223400
o 223372
o 223294
o 223212
o 223184
o 223118
o 223036
o 223008
o 222983
o 222901
o 222873
o 222786
o 222704
o 222676
o 222624
o 222596
o 222567
o 222485
o 222457
o 222405
o 222377
o 222299
o 222217
o 222189
o 222123
o 222041
o 222013
o 221988
o 221906
o 221878
o 221791
o 221709
o 221681
o 221629
o 221601
o 221577
o 221525
o 221497
o 221490
o 221408
o 221380
o 221328
o 221300
o 221218
o 221190
o 221138
o 221110
o 221107
o 221100
o 221020
o 220938
o 220910
o 220858
o 220830
o 220770
o 220742
o 220690
o 220662
o 220658
o 220606
o 220578
o 220496
o 220468
o 220416
o 220388
o 220381
o 220299
o 220271
o 220219
o 220191
o 220162
o 220080
o 220052
o 220000
o 219972
o 219894
o 219812
o 219784
o 219718
o 219636
o 219608
o 219583
o 219501
o 219473
o 219466
o 219386
o 219304
o 219276
o 219224
o 219196
o 219172
o 219120
o 219092
o 219085
o 219003
o 218975
o 218923
o 218895
o 218821
o 218739
o 218711
o 218659
o 218631
o 218574
o 218492
o 218464
o 218377
o 218295
o 218267
o 218242
o 218160
o 218132
o 218125
o 218045
o 217963
o 217935
o 217883
o 217855
o 217831
o 217779
o 217751
o 217744
o 217662
o 217634
o 217582
o 217554
o 217523
o 217495
o 217488
o 217408
o 217326
o 217298
o 217246
o 217218
o 217103
o 217021
o 216993
o 216937
o 216909
o 216829
o 216747
o 216719
o 216632
o 216550
o 216522
o 216470
o 216442
o 216410
o 216382
o 216352
o 216324
o 216298
o 216296
o 216160
o 216078
o 216050
o 215963
o 215881
o 215853
o 215801
o 215773
o 215749
o 215697
o 215669
o 215662
o 215580
o 215552
o 215500
o 215472
o 215394
o 215312
o 215284
o 215218
o 215136
o 215108
o 215083
o 215001
o 214973
o 214886
o 214804
o 214776
o 214724
o 214696
o 214686
o 214665
o 214578
o 214496
o 214468
o 214416
o 214388
o 214273
o 214191
o 214163
o 214137
o 214135
o 213999
o 213917
o 213889
o 213802
o 213720
o 213692
o 213640
o 213612
o 213603
o 213521
o 213493
o 213441
o 213413
o 213335
o 213253
o 213225
o 213159
o 213077
o 213049
o 213024
o 212942
o 212914
o 212827
o 212745
o 212717
o 212665
o 212637
o 212608
o 212526
o 212498
o 212446
o 212418
o 212340
o 212258
o 212230
o 212164
o 212082
o 212054
o 212029
o 211947
o 211919
o 211832
o 211750
o 211722
o 211670
o 211642
o 211618
o 211566
o 211538
o 211531
o 211449
o 211421
o 211369
o 211341
o 211259
o 211231
o 211179
o 211151
o 211148
o 211141
o 211061
o 210979
o 210951
o 210899
o 210871
o 210811
o 210783
o 210731
o 210703
o 210699
o 210647
o 210619
o 210537
o 210509
o 210457
o 210429
o 210422
o 210340
o 210312
o 210260
o 210232
o 210203
o 210121
o 210093
o 210041
o 210013
o 209935
o 209853
o 209825
o 209759
o 209677
o 209649
o 209624
o 209542
o 209514
o 209507
o 209427
o 209345
o 209317
o 209265
o 209237
o 209213
o 209161
o 209133
o 209126
o 209044
o 209016
o 208964
o 208936
o 208922
o 208866
o 208838
o 208758
o 208676
o 208648
o 208596
o 208568
o 208561
o 208479
o 208451
o 208399
o 208371
o 208347
o 208319
o 208267
o 208239
o 208235
o 208231
o 208151
o 208069
o 208041
o 207989
o 207961
o 207954
o 207872
o 207844
o 207792
o 207764
o 207740
o 207688
o 207660
o 207653
o 207571
o 207543
o 207491
o 207463
o 207382
o 207354
o 207324
o 207296
o 207240
o 207212
o 207132
o 207050
o 207022
o 206970
o 206942
o 206935
o 206853
o 206825
o 206773
o 206745
o 206736
o 206656
o 206574
o 206546
o 206539
o 206459
o 206377
o 206349
o 206297
o 206269
o 206240
o 206212
o 206160
o 206132
o 206070
o 205988
o 205960
o 205908
o 205880
o 205798
o 205770
o 205718
o 205690
o 205683
o 205601
o 205573
o 205521
o 205493
o 205469
o 205417
o 205389
o 205382
o 205300
o 205272
o 205220
o 205192
o 205111
o 205083
o 205053
o 205025
o 204969
o 204941
o 204861
o 204779
o 204751
o 204699
o 204671
o 204664
o 204582
o 204554
o 204502
o 204474
o 204441
o 204359
o 204331
o 204324
o 204244
o 204162
o 204134
o 204082
o 204054
o 204025
o 203997
o 203945
o 203917
o 203855
o 203773
o 203745
o 203693
o 203665
o 203583
o 203555
o 203503
o 203475
o 203468
o 203386
o 203358
o 203306
o 203278
o 203254
o 203202
o 203174
o 203167
o 203085
o 203057
o 203005
o 202977
o 202896
o 202868
o 202838
o 202810
o 202754
o 202726
o 202646
o 202564
o 202536
o 202484
o 202456
o 202449
o 202367
o 202339
o 202287
o 202259
o 202245
o 202189
o 202161
o 202081
o 201999
o 201971
o 201919
o 201891
o 201884
o 201802
o 201774
o 201722
o 201694
o 201631
o 201549
o 201521
o 201469
o 201441
o 201437
o 201433
o 201353
o 201271
o 201243
o 201191
o 201163
o 201156
o 201074
o 201046
o 200994
o 200966
o 200942
o 200890
o 200862
o 200855
o 200773
o 200745
o 200693
o 200665
o 200584
o 200556
o 200526
o 200498
o 200442
o 200414
o 200334
o 200252
o 200224
o 200172
o 200144
o 200137
o 200055
o 200027
o 199975
o 199947
o 199938
o 199858
o 199776
o 199748
o 199741
o 199661
o 199579
o 199551
o 199499
o 199471
o 199442
o 199414
o 199362
o 199334
o 199272
o 199190
o 199162
o 199110
o 199082
o 199000
o 198972
o 198920
o 198892
o 198885
o 198803
o 198775
o 198723
o 198695
o 198671
o 198619
o 198591
o 198584
o 198502
o 198474
o 198422
o 198394
o 198313
o 198285
o 198255
o 198227
o 198171
o 198143
o 198063
o 197981
o 197953
o 197901
o 197873
o 197866
o 197784
o 197756
o 197704
o 197676
o 197665
o 197637
o 197630
o 197548
o 197520
o 197468
o 197440
o 197359
o 197331
o 197279
o 197251
o 197221
o 197193
o 197109
o 197027
o 196999
o 196947
o 196919
o 196912
o 196830
o 196802
o 196750
o 196722
o 196573
o 196545
o 196376
o 196348
o 196296
o 196268
o 196233
o 196205
o 196153
o 196125
o 196098
o 196070
o 196018
o 195990
o 195901
o 195873
o 195821
o 195793
o 195769
o 195717
o 195689
o 195600
o 195572
o 195520
o 195492
o 195411
o 195383
o 195353
o 195325
o 195322
o 195294
o 195269
o 195079
o 195051
o 194999
o 194971
o 194882
o 194854
o 194802
o 194774
o 194746
o 194718
o 194711
o 194629
o 194601
o 194549
o 194521
o 194517
o 194513
o 194351
o 194323
o 194271
o 194243
o 194236
o 194154
o 194126
o 194074
o 194046
o 194022
o 193970
o 193942
o 193935
o 193853
o 193825
o 193773
o 193745
o 193664
o 193636
o 193606
o 193578
o 193522
o 193494
o 193332
o 193304
o 193252
o 193224
o 193135
o 193107
o 193055
o 193027
o 193018
o 192856
o 192828
o 192776
o 192748
o 192659
o 192631
o 192579
o 192551
o 192522
o 192494
o 192442
o 192414
o 192270
o 192242
o 192190
o 192162
o 192080
o 192052
o 192000
o 191972
o 191965
o 191883
o 191855
o 191803
o 191775
o 191751
o 191699
o 191671
o 191664
o 191582
o 191554
o 191502
o 191474
o 191393
o 191365
o 191335
o 191307
o 191251
o 191223
o 191061
o 191033
o 190981
o 190953
o 190864
o 190836
o 190784
o 190756
o 190745
o 190717
o 190628
o 190600
o 190548
o 190520
o 190439
o 190411
o 190359
o 190331
o 190301
o 190273
o 190270
o 190242
o 190107
o 190079
o 190027
o 189999
o 189910
o 189882
o 189830
o 189802
o 189791
o 189784
o 189704
o 189622
o 189594
o 189542
o 189514
o 189490
o 189438
o 189410
o 189403
o 189321
o 189293
o 189241
o 189213
o 189132
o 189104
o 189052
o 189024
o 188994
o 188966
o 188882
o 188800
o 188772
o 188720
o 188692
o 188685
o 188603
o 188575
o 188523
o 188495
o 188432
o 188350
o 188322
o 188270
o 188242
o 188238
o 188234
o 188154
o 188072
o 188044
o 187992
o 187964
o 187957
o 187875
o 187847
o 187795
o 187767
o 187743
o 187691
o 187663
o 187656
o 187574
o 187546
o 187494
o 187466
o 187385
o 187357
o 187327
o 187299
o 187243
o 187215
o 187135
o 187053
o 187025
o 186973
o 186945
o 186938
o 186856
o 186828
o 186776
o 186748
o 186720
o 186692
o 186690
o 186638
o 186610
o 186596
o 186589
o 186507
o 186479
o 186427
o 186399
o 186329
o 186301
o 186249
o 186221
o 186139
o 186111
o 186059
o 186031
o 186024
o 185942
o 185914
o 185862
o 185834
o 185832
o 185804
o 185774
o 185746
o 185690
o 185662
o 185582
o 185500
o 185472
o 185420
o 185392
o 185385
o 185303
o 185275
o 185223
o 185195
o 185114
o 185086
o 185056
o 185028
o 184972
o 184944
o 184864
o 184782
o 184754
o 184702
o 184674
o 184667
o 184585
o 184557
o 184505
o 184477
o 184466
o 184438
o 184431
o 184349
o 184321
o 184269
o 184241
o 184160
o 184132
o 184102
o 184074
o 184018
o 183990
o 183910
o 183828
o 183800
o 183748
o 183720
o 183713
o 183631
o 183603
o 183551
o 183523
o 183478
o 183450
o 183398
o 183370
o 183341
o 183313
o 183261
o 183233
o 183089
o 183061
o 183009
o 182981
o 182899
o 182871
o 182819
o 182791
o 182784
o 182702
o 182674
o 182622
o 182594
o 182513
o 182485
o 182455
o 182427
o 182371
o 182343
o 182181
o 182153
o 182101
o 182073
o 181984
o 181956
o 181904
o 181876
o 181852
o 181800
o 181772
o 181765
o 181683
o 181655
o 181603
o 181575
o 181547
o 181519
o 181512
o 181430
o 181402
o 181350
o 181322
o 181318
o 181314
o 181152
o 181124
o 181072
o 181044
o 181037
o 180955
o 180927
o 180875
o 180847
o 180823
o 180771
o 180743
o 180736
o 180654
o 180626
o 180574
o 180546
o 180465
o 180437
o 180407
o 180379
o 180323
o 180295
o 180133
o 180105
o 180053
o 180025
o 179936
o 179908
o 179856
o 179828
o 179800
o 179772
o 179770
o 179718
o 179690
o 179676
o 179587
o 179559
o 179507
o 179479
o 179409
o 179381
o 179329
o 179301
o 179219
o 179191
o 179139
o 179111
o 179104
o 179022
o 178994
o 178942
o 178914
o 178912
o 178884
o 178854
o 178826
o 178770
o 178742
o 178580
o 178552
o 178500
o 178472
o 178383
o 178355
o 178303
o 178275
o 178194
o 178166
o 178136
o 178108
o 178052
o 178024
o 177862
o 177834
o 177782
o 177754
o 177665
o 177637
o 177585
o 177557
o 177546
o 177518
o 177511
o 177429
o 177401
o 177349
o 177321
o 177240
o 177212
o 177182
o 177154
o 177151
o 177123
o 177098
o 176908
o 176880
o 176828
o 176800
o 176711
o 176683
o 176631
o 176603
o 176532
o 176504
o 176452
o 176424
o 176335
o 176307
o 176255
o 176227
o 176147
o 176119
o 176067
o 176039
o 176009
o 175981
o 175978
o 175950
o 175815
o 175787
o 175735
o 175707
o 175618
o 175590
o 175538
o 175510
o 175501
o 175472
o 175444
o 175392
o 175364
o 175220
o 175192
o 175140
o 175112
o 175030
o 175002
o 174950
o 174922
o 174915
o 174833
o 174805
o 174753
o 174725
o 174644
o 174616
o 174586
o 174558
o 174502
o 174474
o 174312
o 174284
o 174232
o 174204
o 174197
o 174115
o 174087
o 174035
o 174007
o 173979
o 173951
o 173949
o 173897
o 173869
o 173855
o 173766
o 173738
o 173686
o 173658
o 173588
o 173560
o 173508
o 173480
o 173398
o 173370
o 173318
o 173290
o 173283
o 173201
o 173173
o 173121
o 173093
o 173091
o 173063
o 173033
o 173005
o 172949
o 172921
o 172759
o 172731
o 172679
o 172651
o 172644
o 172562
o 172534
o 172482
o 172454
o 172373
o 172345
o 172315
o 172287
o 172231
o 172203
o 172041
o 172013
o 171961
o 171933
o 171926
o 171844
o 171816
o 171764
o 171736
o 171728
o 171721
o 171639
o 171611
o 171559
o 171531
o 171450
o 171422
o 171392
o 171364
o 171361
o 171333
o 171308
o 171118
o 171090
o 171038
o 171010
o 170921
o 170893
o 170841
o 170813
o 170742
o 170714
o 170662
o 170634
o 170545
o 170517
o 170465
o 170437
o 170357
o 170329
o 170299
o 170271
o 170268
o 170240
o 170025
o 169997
o 169945
o 169917
o 169828
o 169800
o 169748
o 169720
o 169666
o 169586
o 169469
o 169389
o 169388
o 169366
o 169249
o 169169
o 168948
o 168868
o 168751
o 168671
o 168605
o 168525
o 168486
o 168292
o 168212
o 168095
o 168015
o 168009
o 168008
o 167905
o 167825
o 167727
o 167647
o 167530
o 167450
o 167449
o 167427
o 167310
o 167230
o 167009
o 166929
o 166812
o 166732
o 166664
o 166584
o 166583
o 166475
o 166386
o 166143
o 166063
o 165946
o 165866
o 165847
o 165846
o 165680
o 165649
o 165406
o 165326
o 165209
o 165129
o 165061
o 164981
o 164980
o 164783
o 164540
o 164460
o 164343
o 164263
o 164200
o 164120
o 164003
o 163923
o 163855
o 163775
o 163774
o 163719
o 163577
o 163334
o 163254
o 163137
o 163057
o 163036
o 162919
o 162839
o 162833
o 162832
o 162729
o 162649
o 162550
o 162470
o 162353
o 162273
o 162251
o 162134
o 162054
o 161996
o 161833
o 161753
o 161636
o 161556
o 161523
o 161443
o 161344
o 161264
o 161147
o 161067
o 161045
o 160928
o 160848
o 160790
o 160627
o 160547
o 160430
o 160350
o 160271
o 160263
o 160150
o 159962
o 159765
o 159685
o 159452
o 159255
o 159175
o 159168
o 159065
o 158985
o 158886
o 158806
o 158689
o 158609
o 158554
o 158357
o 158277
o 158169
o 157972
o 157892
o 157813
o 157629
o 157549
o 157432
o 157352
o 157296
o 157099
o 157019
o 156911
o 156714
o 156634
o 156401
o 156204
o 156124
o 156117
o 156014
o 155934
o 155835
o 155755
o 155638
o 155558
o 155503
o 155306
o 155226
o 155118
o 154921
o 154841
o 154762
o 154660
o 154580
o 154463
o 154383
o 154376
o 154273
o 154193
o 154094
o 154014
o 153897
o 153817
o 153795
o 153678
o 153598
o 153565
o 153485
o 153377
o 153297
o 153180
o 153100
o 153021
o 152945
o 152837
o 152757
o 152640
o 152560
o 152504
o 152307
o 152227
o 152119
o 151922
o 151842
o 151797
o 151717
o 151609
o 151529
o 151412
o 151332
o 151325
o 151222
o 151142
o 151043
o 150963
o 150846
o 150766
o 150744
o 150627
o 150547
o 150514
o 150434
o 150326
o 150246
o 150129
o 150049
o 149970
o 149900
o 149875
o 149678
o 149598
o 149519
o 149484
o 149404
o 149296
o 149216
o 149099
o 149019
o 148940
o 148870
o 148845
o 148648
o 148568
o 148489
o 148441
o 148324
o 148244
o 148165
o 148098
o 148015
o 147972
o 147936
o 147893
o 147891
o 147876
o 147833
o 147633
o 147590
o 147436
o 147393
o 147357
o 147314
o 147207
o 147164
o 147139
o 146985
o 146942
o 146906
o 146863
o 146858
o 146815
o 146661
o 146618
o 146582
o 146539
o 146483
o 146417
o 146338
o 146238
o 146159
o 146093
o 146014
o 145985
o 145949
o 145906
o 145799
o 145756
o 145731
o 145577
o 145534
o 145498
o 145455
o 145381
o 145376
o 145351
o 145154
o 145075
o 145009
o 144930
o 144907
o 144707
o 144664
o 144510
o 144467
o 144431
o 144388
o 144281
o 144238
o 144213
o 144059
o 144016
o 143980
o 143937
o 143932
o 143889
o 143735
o 143692
o 143656
o 143613
o 143557
o 143491
o 143412
o 143312
o 143233
o 143167
o 143088
o 143059
o 143023
o 142980
o 142873
o 142830
o 142805
o 142651
o 142608
o 142572
o 142529
o 142455
o 142450
o 142425
o 142228
o 142149
o 142083
o 142004
o 141933
o 141833
o 141754
o 141688
o 141609
o 141580
o 141544
o 141501
o 141394
o 141351
o 141326
o 141172
o 141129
o 141093
o 141050
o 140976
o 140971
o 140946
o 140749
o 140670
o 140604
o 140525
o 140502
o 140302
o 140259
o 140105
o 140062
o 140026
o 139983
o 139876
o 139833
o 139808
o 139654
o 139611
o 139575
o 139532
o 139527
o 139484
o 139330
o 139287
o 139251
o 139208
o 139152
o 139086
o 139007
o 138907
o 138828
o 138762
o 138683
o 138654
o 138618
o 138575
o 138468
o Killed
1819.714u 0.008s 30:19.76 99.9%	0+0k 0+0io 0pf+0w