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-1_network-2.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-2.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1524837
o 307554
o 307063
o 306842
o 305919
o 305428
o 305207
o 305193
o 304972
o 304665
o 304444
o 304430
o 304209
o 303346
o 302855
o 302634
o 302620
o 302399
o 302309
o 302088
o 301781
o 301560
o 301546
o 301325
o 301156
o 300462
o 299971
o 299750
o 299736
o 299515
o 299368
o 299133
o 298912
o 298743
o 298049
o 297558
o 297337
o 297323
o 297102
o 297024
o 296789
o 296568
o 296433
o 296198
o 295977
o 295808
o 295114
o 294623
o 294402
o 294388
o 294167
o 294089
o 293854
o 293633
o 293632
o 293411
o 293276
o 293041
o 292820
o 292651
o 291957
o 291466
o 291245
o 291231
o 291010
o 290932
o 290697
o 290476
o 290337
o 290215
o 290116
o 289994
o 289881
o 289759
o 289568
o 289446
o 289347
o 289225
o 288973
o 288752
o 288738
o 288517
o 288286
o 288065
o 287987
o 287752
o 287531
o 287388
o 287266
o 287157
o 287035
o 286936
o 286814
o 286623
o 286501
o 286402
o 286280
o 286113
o 285991
o 285892
o 285770
o 285657
o 285535
o 285426
o 285304
o 285205
o 285083
o 284892
o 284770
o 284671
o 284549
o 284347
o 284225
o 284219
o 284180
o 284149
o 284042
o 284003
o 283972
o 283920
o 283881
o 283850
o 283807
o 283768
o 283737
o 283685
o 283646
o 283615
o 283576
o 283537
o 283506
o 283454
o 283415
o 283384
o 283355
o 283316
o 283285
o 283233
o 283194
o 283163
o 283066
o 283027
o 282996
o 282944
o 282905
o 282874
o 282845
o 282806
o 282775
o 282723
o 282684
o 282653
o 282610
o 282571
o 282540
o 282488
o 282449
o 282418
o 282379
o 282340
o 282309
o 282257
o 282218
o 282187
o 282158
o 282119
o 282088
o 282036
o 281997
o 281966
o 281845
o 281806
o 281775
o 281723
o 281684
o 281653
o 281624
o 281585
o 281554
o 281502
o 281463
o 281432
o 281300
o 281261
o 281230
o 281178
o 281139
o 281108
o 281094
o 281065
o 281026
o 280995
o 280943
o 280904
o 280873
o 280830
o 280791
o 280760
o 280708
o 280669
o 280638
o 280599
o 280560
o 280529
o 280477
o 280438
o 280407
o 280378
o 280339
o 280308
o 280256
o 280217
o 280186
o 280089
o 280050
o 280019
o 279967
o 279928
o 279897
o 279868
o 279829
o 279798
o 279746
o 279707
o 279676
o 279633
o 279594
o 279563
o 279511
o 279472
o 279441
o 279402
o 279363
o 279332
o 279280
o 279241
o 279210
o 279181
o 279142
o 279111
o 279059
o 279020
o 278989
o 278868
o 278829
o 278798
o 278746
o 278707
o 278676
o 278647
o 278608
o 278577
o 278525
o 278486
o 278455
o 278323
o 278284
o 278253
o 278201
o 278162
o 278131
o 277997
o 277958
o 277927
o 277875
o 277836
o 277805
o 277766
o 277727
o 277696
o 277644
o 277605
o 277574
o 277545
o 277506
o 277475
o 277423
o 277384
o 277353
o 277310
o 277271
o 277240
o 277188
o 277149
o 277118
o 276997
o 276958
o 276927
o 276875
o 276836
o 276805
o 276776
o 276737
o 276706
o 276654
o 276615
o 276584
o 276452
o 276413
o 276382
o 276330
o 276291
o 276260
o 276240
o 276235
o 276229
o 276190
o 276159
o 276107
o 276068
o 276037
o 275994
o 275955
o 275924
o 275872
o 275833
o 275802
o 275800
o 275748
o 275709
o 275678
o 275649
o 275610
o 275579
o 275527
o 275488
o 275457
o 275414
o 275375
o 275344
o 275292
o 275253
o 275222
o 275101
o 275062
o 275031
o 274979
o 274940
o 274909
o 274880
o 274841
o 274810
o 274758
o 274719
o 274688
o 274556
o 274517
o 274486
o 274434
o 274395
o 274364
o 274344
o 274197
o 274158
o 274127
o 274075
o 274036
o 274005
o 273980
o 273941
o 273910
o 273858
o 273819
o 273788
o 273745
o 273706
o 273675
o 273623
o 273584
o 273553
o 273421
o 273382
o 273351
o 273299
o 273260
o 273229
o 273209
o 273204
o 273198
o 273159
o 273128
o 273076
o 273037
o 273006
o 272963
o 272924
o 272893
o 272841
o 272802
o 272771
o 272769
o 272717
o 272678
o 272647
o 272618
o 272579
o 272548
o 272496
o 272457
o 272426
o 272383
o 272344
o 272313
o 272261
o 272222
o 272191
o 272070
o 272031
o 272000
o 271948
o 271909
o 271878
o 271849
o 271810
o 271779
o 271727
o 271688
o 271657
o 271525
o 271486
o 271455
o 271403
o 271364
o 271333
o 271313
o 271258
o 271219
o 271188
o 271136
o 271097
o 271066
o 271037
o 270998
o 270967
o 270915
o 270876
o 270845
o 270825
o 270713
o 270674
o 270643
o 270623
o 270591
o 270552
o 270521
o 270501
o 270490
o 270451
o 270420
o 270368
o 270329
o 270298
o 270255
o 270216
o 270185
o 270133
o 270094
o 270063
o 270057
o 270005
o 269966
o 269935
o 269910
o 269871
o 269840
o 269788
o 269749
o 269718
o 269675
o 269636
o 269605
o 269553
o 269514
o 269483
o 269463
o 269362
o 269323
o 269292
o 269240
o 269201
o 269170
o 269141
o 269102
o 269071
o 269019
o 268980
o 268949
o 268929
o 268817
o 268778
o 268747
o 268727
o 268695
o 268656
o 268625
o 268605
o 268458
o 268419
o 268388
o 268336
o 268297
o 268266
o 268241
o 268202
o 268171
o 268119
o 268080
o 268049
o 268006
o 267967
o 267936
o 267884
o 267845
o 267814
o 267794
o 267682
o 267643
o 267612
o 267592
o 267560
o 267521
o 267490
o 267470
o 267459
o 267420
o 267389
o 267337
o 267298
o 267267
o 267224
o 267185
o 267154
o 267102
o 267063
o 267032
o 267026
o 266974
o 266935
o 266904
o 266879
o 266840
o 266809
o 266757
o 266718
o 266687
o 266644
o 266605
o 266574
o 266522
o 266483
o 266452
o 266432
o 266404
o 266331
o 266292
o 266261
o 266209
o 266170
o 266139
o 266110
o 266071
o 266040
o 265988
o 265949
o 265918
o 265898
o 265786
o 265747
o 265716
o 265696
o 265664
o 265625
o 265594
o 265574
o 265479
o 265440
o 265409
o 265357
o 265318
o 265287
o 265262
o 265223
o 265192
o 265140
o 265101
o 265070
o 265027
o 264988
o 264957
o 264905
o 264866
o 264835
o 264833
o 264781
o 264742
o 264711
o 264682
o 264643
o 264612
o 264560
o 264521
o 264490
o 264447
o 264408
o 264377
o 264325
o 264286
o 264255
o 264123
o 264084
o 264053
o 264001
o 263962
o 263931
o 263911
o 263874
o 263843
o 263791
o 263752
o 263721
o 263688
o 263649
o 263618
o 263589
o 263550
o 263519
o 263467
o 263428
o 263397
o 263377
o 263230
o 263191
o 263160
o 263108
o 263069
o 263038
o 263013
o 262974
o 262943
o 262891
o 262852
o 262821
o 262778
o 262739
o 262708
o 262656
o 262617
o 262586
o 262454
o 262415
o 262384
o 262332
o 262293
o 262262
o 262242
o 262231
o 262192
o 262161
o 262109
o 262070
o 262039
o 261996
o 261957
o 261926
o 261874
o 261835
o 261804
o 261798
o 261746
o 261707
o 261676
o 261651
o 261612
o 261581
o 261529
o 261490
o 261459
o 261416
o 261377
o 261346
o 261294
o 261255
o 261224
o 261204
o 261176
o 261103
o 261064
o 261033
o 260981
o 260942
o 260911
o 260882
o 260843
o 260812
o 260760
o 260721
o 260690
o 260670
o 260558
o 260519
o 260488
o 260468
o 260436
o 260397
o 260366
o 260346
o 260345
o 260306
o 260275
o 260255
o 260229
o 260209
o 260172
o 260141
o 260089
o 260050
o 260019
o 259887
o 259848
o 259817
o 259765
o 259726
o 259695
o 259675
o 259644
o 259624
o 259607
o 259575
o 259536
o 259505
o 259485
o 259338
o 259299
o 259268
o 259216
o 259177
o 259146
o 259121
o 259082
o 259051
o 258999
o 258960
o 258929
o 258886
o 258847
o 258816
o 258764
o 258725
o 258694
o 258562
o 258523
o 258492
o 258440
o 258401
o 258370
o 258350
o 258339
o 258300
o 258269
o 258217
o 258178
o 258147
o 258104
o 258065
o 258034
o 257982
o 257943
o 257912
o 257906
o 257854
o 257815
o 257784
o 257759
o 257720
o 257689
o 257637
o 257598
o 257567
o 257524
o 257485
o 257454
o 257402
o 257363
o 257332
o 257312
o 257284
o 257211
o 257172
o 257141
o 257089
o 257050
o 257019
o 256990
o 256951
o 256920
o 256868
o 256829
o 256798
o 256778
o 256666
o 256627
o 256596
o 256576
o 256544
o 256505
o 256474
o 256454
o 256434
o 256403
o 256351
o 256312
o 256281
o 256238
o 256199
o 256168
o 256116
o 256077
o 256046
o 256044
o 255992
o 255953
o 255922
o 255893
o 255854
o 255823
o 255771
o 255732
o 255701
o 255658
o 255619
o 255588
o 255536
o 255497
o 255466
o 255345
o 255306
o 255275
o 255223
o 255184
o 255153
o 255124
o 255085
o 255054
o 255002
o 254963
o 254932
o 254800
o 254761
o 254730
o 254678
o 254639
o 254608
o 254588
o 254575
o 254536
o 254505
o 254485
o 254453
o 254414
o 254383
o 254363
o 254347
o 254308
o 254277
o 254225
o 254186
o 254155
o 254112
o 254073
o 254042
o 253990
o 253951
o 253920
o 253895
o 253856
o 253825
o 253773
o 253734
o 253703
o 253660
o 253621
o 253590
o 253538
o 253499
o 253468
o 253347
o 253308
o 253277
o 253225
o 253186
o 253155
o 253126
o 253087
o 253056
o 253004
o 252965
o 252934
o 252802
o 252763
o 252732
o 252680
o 252641
o 252610
o 252590
o 252570
o 252539
o 252487
o 252448
o 252417
o 252374
o 252335
o 252304
o 252252
o 252213
o 252182
o 252180
o 252128
o 252089
o 252058
o 252029
o 251990
o 251959
o 251907
o 251868
o 251837
o 251794
o 251755
o 251724
o 251672
o 251633
o 251602
o 251481
o 251442
o 251411
o 251359
o 251320
o 251289
o 251260
o 251221
o 251190
o 251138
o 251099
o 251068
o 250936
o 250897
o 250866
o 250814
o 250775
o 250744
o 250724
o 250711
o 250672
o 250641
o 250621
o 250589
o 250550
o 250519
o 250499
o 250460
o 250421
o 250390
o 250370
o 250338
o 250299
o 250268
o 250248
o 250235
o 250196
o 250165
o 250145
o 250113
o 250074
o 250043
o 250023
o 249996
o 249976
o 249945
o 249925
o 249923
o 249892
o 249840
o 249801
o 249770
o 249742
o 249711
o 249698
o 249667
o 249638
o 249599
o 249568
o 249516
o 249477
o 249446
o 249426
o 249421
o 249411
o 249382
o 249343
o 249312
o 249260
o 249221
o 249190
o 249157
o 249118
o 249087
o 249058
o 249019
o 248988
o 248936
o 248897
o 248866
o 248846
o 248826
o 248795
o 248743
o 248704
o 248673
o 248630
o 248591
o 248560
o 248508
o 248469
o 248438
o 248436
o 248384
o 248345
o 248314
o 248285
o 248246
o 248215
o 248163
o 248124
o 248093
o 248050
o 248011
o 247980
o 247928
o 247889
o 247858
o 247737
o 247698
o 247667
o 247615
o 247576
o 247545
o 247516
o 247477
o 247446
o 247394
o 247355
o 247324
o 247192
o 247153
o 247122
o 247070
o 247031
o 247000
o 246980
o 246967
o 246928
o 246897
o 246877
o 246845
o 246806
o 246775
o 246755
o 246716
o 246677
o 246646
o 246594
o 246555
o 246524
o 246504
o 246491
o 246452
o 246421
o 246401
o 246369
o 246330
o 246299
o 246279
o 246249
o 246210
o 246179
o 246159
o 246146
o 246107
o 246076
o 246056
o 246024
o 245985
o 245954
o 245934
o 245895
o 245856
o 245825
o 245773
o 245734
o 245703
o 245683
o 245670
o 245631
o 245600
o 245580
o 245548
o 245509
o 245478
o 245458
o 245451
o 245420
o 245400
o 245373
o 245353
o 245314
o 245275
o 245244
o 245224
o 245192
o 245153
o 245122
o 245102
o 245089
o 245050
o 245019
o 244999
o 244967
o 244928
o 244897
o 244877
o 244846
o 244826
o 244808
o 244777
o 244757
o 244754
o 244723
o 244694
o 244655
o 244624
o 244572
o 244533
o 244502
o 244468
o 244437
o 244385
o 244346
o 244315
o 244242
o 244203
o 244172
o 244120
o 244081
o 244050
o 244025
o 243992
o 243953
o 243922
o 243888
o 243857
o 243805
o 243766
o 243735
o 243662
o 243623
o 243592
o 243540
o 243501
o 243470
o 243427
o 243388
o 243357
o 243305
o 243266
o 243235
o 243103
o 243064
o 243033
o 242981
o 242942
o 242911
o 242891
o 242878
o 242839
o 242808
o 242788
o 242756
o 242717
o 242686
o 242666
o 242569
o 242530
o 242499
o 242447
o 242408
o 242377
o 242357
o 242344
o 242305
o 242274
o 242254
o 242222
o 242183
o 242152
o 242132
o 242093
o 242054
o 242023
o 241971
o 241932
o 241901
o 241881
o 241868
o 241829
o 241798
o 241778
o 241746
o 241707
o 241676
o 241656
o 241640
o 241626
o 241587
o 241556
o 241536
o 241526
o 241474
o 241435
o 241404
o 241376
o 241345
o 241272
o 241233
o 241202
o 241150
o 241111
o 241080
o 241060
o 241047
o 241008
o 240977
o 240957
o 240925
o 240886
o 240855
o 240835
o 240700
o 240661
o 240630
o 240578
o 240539
o 240508
o 240488
o 240475
o 240436
o 240405
o 240385
o 240353
o 240314
o 240283
o 240263
o 240224
o 240185
o 240154
o 240102
o 240063
o 240032
o 240012
o 239999
o 239960
o 239929
o 239909
o 239877
o 239838
o 239807
o 239787
o 239780
o 239749
o 239729
o 239702
o 239682
o 239643
o 239604
o 239573
o 239553
o 239521
o 239482
o 239451
o 239431
o 239418
o 239379
o 239348
o 239328
o 239296
o 239257
o 239226
o 239206
o 239175
o 239155
o 239137
o 239106
o 239086
o 239083
o 239052
o 239023
o 238984
o 238953
o 238901
o 238862
o 238831
o 238797
o 238766
o 238714
o 238675
o 238644
o 238571
o 238532
o 238501
o 238449
o 238410
o 238379
o 238354
o 238321
o 238282
o 238251
o 238217
o 238186
o 238134
o 238095
o 238064
o 237991
o 237952
o 237921
o 237869
o 237830
o 237799
o 237756
o 237717
o 237686
o 237634
o 237595
o 237564
o 237432
o 237393
o 237362
o 237310
o 237271
o 237240
o 237220
o 237207
o 237168
o 237137
o 237117
o 237085
o 237046
o 237015
o 236995
o 236898
o 236859
o 236828
o 236776
o 236737
o 236706
o 236686
o 236673
o 236634
o 236603
o 236583
o 236551
o 236512
o 236481
o 236461
o 236422
o 236383
o 236352
o 236300
o 236261
o 236230
o 236210
o 236197
o 236158
o 236127
o 236107
o 236075
o 236036
o 236005
o 235985
o 235969
o 235955
o 235916
o 235885
o 235865
o 235855
o 235803
o 235764
o 235733
o 235705
o 235674
o 235601
o 235562
o 235531
o 235479
o 235440
o 235409
o 235389
o 235376
o 235337
o 235306
o 235286
o 235254
o 235215
o 235184
o 235164
o 235158
o 235119
o 235088
o 235068
o 235029
o 234990
o 234959
o 234939
o 234907
o 234868
o 234837
o 234817
o 234804
o 234765
o 234734
o 234714
o 234682
o 234643
o 234612
o 234592
o 234581
o 234550
o 234530
o 234491
o 234452
o 234421
o 234369
o 234330
o 234299
o 234279
o 234266
o 234227
o 234196
o 234176
o 234144
o 234105
o 234074
o 234054
o 234047
o 234016
o 233996
o 233969
o 233949
o 233910
o 233871
o 233840
o 233820
o 233788
o 233749
o 233718
o 233698
o 233685
o 233646
o 233615
o 233595
o 233563
o 233524
o 233493
o 233473
o 233442
o 233422
o 233404
o 233373
o 233353
o 233350
o 233319
o 233290
o 233251
o 233220
o 233168
o 233129
o 233098
o 233064
o 233033
o 232981
o 232942
o 232911
o 232838
o 232799
o 232768
o 232716
o 232677
o 232646
o 232644
o 232613
o 232479
o 232440
o 232409
o 232357
o 232318
o 232287
o 232258
o 232219
o 232188
o 232136
o 232097
o 232066
o 232023
o 231984
o 231953
o 231901
o 231862
o 231831
o 231699
o 231660
o 231629
o 231577
o 231538
o 231507
o 231487
o 231474
o 231435
o 231404
o 231384
o 231352
o 231313
o 231282
o 231262
o 231165
o 231126
o 231095
o 231043
o 231004
o 230973
o 230953
o 230940
o 230901
o 230870
o 230850
o 230818
o 230779
o 230748
o 230728
o 230689
o 230650
o 230619
o 230567
o 230528
o 230497
o 230477
o 230464
o 230425
o 230394
o 230374
o 230342
o 230303
o 230272
o 230252
o 230236
o 230222
o 230183
o 230152
o 230132
o 230122
o 230070
o 230031
o 230000
o 229972
o 229941
o 229868
o 229829
o 229798
o 229746
o 229707
o 229676
o 229656
o 229643
o 229604
o 229573
o 229553
o 229521
o 229482
o 229451
o 229431
o 229296
o 229257
o 229226
o 229174
o 229135
o 229104
o 229084
o 229071
o 229032
o 229001
o 228981
o 228949
o 228910
o 228879
o 228859
o 228832
o 228798
o 228759
o 228728
o 228679
o 228640
o 228609
o 228557
o 228518
o 228487
o 228444
o 228405
o 228374
o 228322
o 228283
o 228252
o 228227
o 228188
o 228157
o 228105
o 228066
o 228035
o 227992
o 227953
o 227922
o 227870
o 227831
o 227800
o 227668
o 227629
o 227598
o 227546
o 227507
o 227476
o 227456
o 227443
o 227404
o 227373
o 227353
o 227321
o 227282
o 227251
o 227231
o 227220
o 227189
o 227169
o 227130
o 227091
o 227060
o 227008
o 226969
o 226938
o 226918
o 226905
o 226866
o 226835
o 226815
o 226783
o 226744
o 226713
o 226693
o 226686
o 226655
o 226635
o 226608
o 226588
o 226549
o 226510
o 226479
o 226459
o 226427
o 226388
o 226357
o 226337
o 226324
o 226285
o 226254
o 226234
o 226202
o 226163
o 226132
o 226112
o 226081
o 226061
o 226030
o 226028
o 225877
o 225838
o 225807
o 225755
o 225716
o 225685
o 225642
o 225603
o 225572
o 225520
o 225481
o 225450
o 225425
o 225386
o 225355
o 225303
o 225264
o 225233
o 225190
o 225151
o 225120
o 225068
o 225029
o 224998
o 224866
o 224827
o 224796
o 224744
o 224705
o 224674
o 224654
o 224641
o 224602
o 224571
o 224551
o 224519
o 224480
o 224449
o 224429
o 224332
o 224293
o 224262
o 224210
o 224171
o 224140
o 224120
o 224107
o 224068
o 224037
o 224017
o 223985
o 223946
o 223915
o 223895
o 223804
o 223765
o 223734
o 223682
o 223643
o 223612
o 223592
o 223579
o 223540
o 223509
o 223489
o 223457
o 223418
o 223387
o 223367
o 223328
o 223289
o 223258
o 223206
o 223167
o 223136
o 223116
o 223103
o 223064
o 223033
o 223013
o 222981
o 222942
o 222911
o 222891
o 222875
o 222861
o 222822
o 222791
o 222771
o 222761
o 222709
o 222670
o 222639
o 222611
o 222580
o 222507
o 222468
o 222437
o 222385
o 222346
o 222315
o 222295
o 222282
o 222243
o 222212
o 222192
o 222160
o 222121
o 222090
o 222070
o 221935
o 221896
o 221865
o 221813
o 221774
o 221743
o 221723
o 221710
o 221671
o 221640
o 221620
o 221588
o 221549
o 221518
o 221498
o 221485
o 221454
o 221402
o 221363
o 221332
o 221312
o 221299
o 221260
o 221229
o 221209
o 221177
o 221138
o 221107
o 221087
o 221056
o 221036
o 221005
o 221003
o 220852
o 220813
o 220782
o 220730
o 220691
o 220660
o 220617
o 220578
o 220547
o 220495
o 220456
o 220425
o 220400
o 220361
o 220330
o 220278
o 220239
o 220208
o 220165
o 220126
o 220095
o 220043
o 220004
o 219973
o 219841
o 219802
o 219771
o 219719
o 219680
o 219649
o 219629
o 219616
o 219577
o 219546
o 219526
o 219494
o 219455
o 219424
o 219404
o 219307
o 219268
o 219237
o 219185
o 219146
o 219115
o 219095
o 219082
o 219043
o 219012
o 218992
o 218960
o 218921
o 218890
o 218870
o 218779
o 218740
o 218709
o 218657
o 218618
o 218587
o 218567
o 218554
o 218515
o 218484
o 218464
o 218432
o 218393
o 218362
o 218342
o 218303
o 218264
o 218233
o 218181
o 218142
o 218111
o 218091
o 218078
o 218039
o 218008
o 217988
o 217956
o 217917
o 217886
o 217866
o 217850
o 217836
o 217797
o 217766
o 217746
o 217736
o 217684
o 217645
o 217614
o 217586
o 217555
o 217482
o 217443
o 217412
o 217360
o 217321
o 217290
o 217270
o 217257
o 217218
o 217187
o 217167
o 217135
o 217096
o 217065
o 217045
o 216910
o 216871
o 216840
o 216788
o 216749
o 216718
o 216698
o 216685
o 216646
o 216615
o 216595
o 216563
o 216524
o 216493
o 216473
o 216455
o 216416
o 216385
o 216333
o 216294
o 216263
o 216243
o 216230
o 216191
o 216160
o 216108
o 216069
o 216038
o 216018
o 216008
o 215988
o 215979
o 215940
o 215909
o 215889
o 215857
o 215818
o 215787
o 215767
o 215754
o 215715
o 215684
o 215664
o 215632
o 215593
o 215562
o 215542
o 215537
o 215498
o 215467
o 215415
o 215376
o 215345
o 215312
o 215273
o 215242
o 215213
o 215174
o 215143
o 215091
o 215052
o 215021
o 215001
o 214986
o 214957
o 214918
o 214887
o 214835
o 214796
o 214765
o 214732
o 214693
o 214662
o 214633
o 214594
o 214563
o 214511
o 214472
o 214441
o 214421
o 214408
o 214369
o 214338
o 214318
o 214286
o 214247
o 214216
o 214196
o 214061
o 214022
o 213991
o 213939
o 213900
o 213869
o 213849
o 213836
o 213797
o 213766
o 213746
o 213714
o 213675
o 213644
o 213624
o 213585
o 213546
o 213515
o 213463
o 213424
o 213393
o 213373
o 213360
o 213321
o 213290
o 213270
o 213238
o 213199
o 213168
o 213148
o 213137
o 213098
o 213067
o 213039
o 213008
o 212995
o 212964
o 212935
o 212896
o 212865
o 212813
o 212774
o 212743
o 212723
o 212709
o 212670
o 212639
o 212619
o 212609
o 212557
o 212518
o 212487
o 212459
o 212428
o 212355
o 212316
o 212285
o 212233
o 212194
o 212163
o 212143
o 212130
o 212091
o 212060
o 212040
o 212008
o 211969
o 211938
o 211918
o 211910
o 211871
o 211840
o 211820
o 211781
o 211742
o 211711
o 211691
o 211659
o 211620
o 211589
o 211569
o 211556
o 211517
o 211486
o 211466
o 211434
o 211395
o 211364
o 211344
o 211313
o 211293
o 211265
o 211226
o 211195
o 211143
o 211104
o 211073
o 211048
o 211009
o 210978
o 210926
o 210887
o 210856
o 210813
o 210774
o 210743
o 210691
o 210652
o 210621
o 210606
o 210575
o 210548
o 210517
o 210468
o 210429
o 210398
o 210346
o 210307
o 210276
o 210233
o 210194
o 210163
o 210111
o 210072
o 210041
o 209909
o 209870
o 209839
o 209787
o 209748
o 209717
o 209697
o 209684
o 209645
o 209614
o 209594
o 209562
o 209523
o 209492
o 209472
o 209381
o 209342
o 209311
o 209259
o 209220
o 209189
o 209169
o 209156
o 209117
o 209086
o 209066
o 209034
o 208995
o 208964
o 208944
o 208928
o 208914
o 208875
o 208844
o 208824
o 208814
o 208762
o 208723
o 208692
o 208664
o 208633
o 208560
o 208521
o 208490
o 208438
o 208399
o 208368
o 208348
o 208335
o 208296
o 208265
o 208245
o 208213
o 208174
o 208143
o 208123
o 208105
o 208066
o 208035
o 207983
o 207944
o 207913
o 207893
o 207880
o 207841
o 207810
o 207758
o 207719
o 207688
o 207668
o 207658
o 207638
o 207629
o 207590
o 207559
o 207539
o 207507
o 207468
o 207437
o 207417
o 207404
o 207365
o 207334
o 207314
o 207282
o 207243
o 207212
o 207192
o 207184
o 207153
o 207101
o 207062
o 207031
o 207018
o 206987
o 206959
o 206928
o 206915
o 206884
o 206860
o 206829
o 206777
o 206738
o 206707
o 206694
o 206663
o 206643
o 206628
o 206604
o 206573
o 206521
o 206482
o 206451
o 206438
o 206407
o 206379
o 206348
o 206335
o 206304
o 206280
o 206249
o 206197
o 206158
o 206127
o 206114
o 206083
o 206063
o 206055
o 206024
o 206004
o 205972
o 205933
o 205902
o 205882
o 205858
o 205838
o 205747
o 205708
o 205677
o 205664
o 205633
o 205625
o 205586
o 205555
o 205542
o 205511
o 205491
o 205483
o 205452
o 205432
o 205400
o 205361
o 205330
o 205310
o 205286
o 205266
o 205232
o 205201
o 205188
o 205157
o 205149
o 205110
o 205079
o 205066
o 205035
o 205015
o 205007
o 204976
o 204956
o 204924
o 204885
o 204854
o 204834
o 204810
o 204790
o 204784
o 204753
o 204740
o 204709
o 204694
o 204681
o 204650
o 204637
o 204606
o 204582
o 204551
o 204499
o 204460
o 204429
o 204416
o 204385
o 204365
o 204356
o 204325
o 204312
o 204281
o 204261
o 204243
o 204204
o 204173
o 204160
o 204129
o 204114
o 204101
o 204070
o 204041
o 204002
o 203971
o 203919
o 203880
o 203849
o 203836
o 203805
o 203785
o 203777
o 203746
o 203733
o 203702
o 203682
o 203655
o 203624
o 203604
o 203580
o 203560
o 203557
o 203526
o 203513
o 203482
o 203462
o 203428
o 203397
o 203384
o 203353
o 203333
o 203306
o 203275
o 203255
o 203231
o 203211
o 203203
o 203172
o 203159
o 203128
o 203108
o 203081
o 203050
o 203030
o 203006
o 202986
o 202979
o 202955
o 202935
o 202912
o 202881
o 202868
o 202837
o 202829
o 202790
o 202759
o 202746
o 202715
o 202695
o 202664
o 202651
o 202620
o 202612
o 202573
o 202542
o 202529
o 202498
o 202460
o 202429
o 202416
o 202385
o 202377
o 202338
o 202307
o 202294
o 202263
o 202248
o 202217
o 202190
o 202159
o 202154
o 202115
o 202084
o 202071
o 202040
o 202032
o 201993
o 201962
o 201949
o 201918
o 201880
o 201849
o 201836
o 201805
o 201797
o 201758
o 201727
o 201714
o 201683
o 201595
o 201556
o 201525
o 201512
o 201481
o 201473
o 201434
o 201403
o 201390
o 201359
o 201339
o 201331
o 201300
o 201280
o 201248
o 201209
o 201178
o 201158
o 201134
o 201114
o 201067
o 201028
o 200997
o 200984
o 200953
o 200945
o 200906
o 200875
o 200862
o 200831
o 200811
o 200803
o 200772
o 200752
o 200720
o 200681
o 200650
o 200630
o 200606
o 200586
o 200570
o 200561
o 200530
o 200517
o 200486
o 200466
o 200448
o 200409
o 200378
o 200365
o 200334
o 200319
o 200306
o 200275
o 200246
o 200207
o 200176
o 200124
o 200085
o 200054
o 200041
o 200010
o 199990
o 199982
o 199951
o 199938
o 199907
o 199887
o 199860
o 199829
o 199809
o 199785
o 199765
o 199734
o 199703
o 199690
o 199659
o 199639
o 199630
o 199599
o 199586
o 199555
o 199535
o 199517
o 199478
o 199447
o 199434
o 199403
o 199388
o 199375
o 199344
o 199315
o 199276
o 199245
o 199193
o 199154
o 199123
o 199110
o 199079
o 199059
o 199051
o 199020
o 199007
o 198976
o 198956
o 198929
o 198898
o 198878
o 198854
o 198834
o 198826
o 198818
o 198779
o 198748
o 198735
o 198704
o 198684
o 198672
o 198664
o 198625
o 198594
o 198581
o 198550
o 198530
o 198521
o 198490
o 198477
o 198446
o 198426
o 198408
o 198369
o 198338
o 198325
o 198294
o 198279
o 198266
o 198235
o 198206
o 198167
o 198136
o 198084
o 198045
o 198014
o 198001
o 197970
o 197950
o 197942
o 197911
o 197898
o 197867
o 197847
o 197820
o 197789
o 197769
o 197745
o 197725
o 197711
o 197680
o 197667
o 197636
o 197621
o 197608
o 197577
o 197564
o 197533
o 197509
o 197478
o 197426
o 197387
o 197356
o 197343
o 197312
o 197292
o 197284
o 197253
o 197240
o 197209
o 197189
o 197162
o 197131
o 197111
o 197087
o 197067
o 197064
o 197033
o 197020
o 196989
o 196969
o 196935
o 196904
o 196891
o 196860
o 196840
o 196813
o 196782
o 196762
o 196738
o 196718
o 196710
o 196679
o 196666
o 196635
o 196615
o 196588
o 196557
o 196537
o 196513
o 196493
o 196486
o 196462
o 196442
o 196428
o 196408
o 196377
o 196325
o 196286
o 196255
o 196212
o 196173
o 196142
o 196090
o 196051
o 196020
o 196007
o 195976
o 195955
o 195924
o 195923
o 195892
o 195879
o 195848
o 195828
o 195797
o 195784
o 195753
o 195745
o 195706
o 195675
o 195662
o 195631
o 195593
o 195562
o 195549
o 195518
o 195510
o 195471
o 195440
o 195427
o 195396
o 195308
o 195269
o 195238
o 195225
o 195194
o 195186
o 195147
o 195116
o 195103
o 195072
o 195052
o 195044
o 195013
o 194993
o 194961
o 194922
o 194891
o 194871
o 194847
o 194827
o 194815
o 194784
o 194776
o 194737
o 194706
o 194693
o 194662
o 194634
o 194603
o 194590
o 194559
o 194535
o 194504
o 194491
o 194460
o 194452
o 194413
o 194382
o 194369
o 194338
o 194318
o 194310
o 194279
o 194259
o 194227
o 194188
o 194157
o 194137
o 194113
o 194093
o 194077
o 194068
o 194037
o 194024
o 193993
o 193973
o 193955
o 193916
o 193885
o 193872
o 193841
o 193826
o 193813
o 193782
o 193753
o 193714
o 193683
o 193631
o 193592
o 193561
o 193548
o 193517
o 193497
o 193489
o 193458
o 193445
o 193414
o 193394
o 193367
o 193336
o 193316
o 193292
o 193272
o 193181
o 193142
o 193111
o 193098
o 193067
o 193059
o 193020
o 192989
o 192976
o 192945
o 192925
o 192917
o 192886
o 192873
o 192842
o 192822
o 192795
o 192764
o 192744
o 192720
o 192700
o 192669
o 192638
o 192625
o 192594
o 192574
o 192565
o 192534
o 192521
o 192490
o 192470
o 192452
o 192413
o 192382
o 192369
o 192338
o 192323
o 192310
o 192279
o 192250
o 192211
o 192180
o 192128
o 192089
o 192058
o 192045
o 192014
o 191994
o 191986
o 191955
o 191942
o 191911
o 191891
o 191864
o 191833
o 191813
o 191789
o 191769
o 191745
o 191732
o 191701
o 191681
o 191668
o 191648
o 191640
o 191609
o 191596
o 191565
o 191545
o 191518
o 191487
o 191467
o 191443
o 191423
o 191413
o 191393
o 191389
o 191358
o 191345
o 191314
o 191294
o 191267
o 191236
o 191216
o 191192
o 191172
o 191164
o 191133
o 191120
o 191089
o 191069
o 191042
o 191011
o 190991
o 190967
o 190947
o 190920
o 190912
o 190873
o 190842
o 190829
o 190798
o 190778
o 190770
o 190739
o 190726
o 190695
o 190675
o 190648
o 190617
o 190597
o 190573
o 190553
o 190534
o 190503
o 190490
o 190459
o 190444
o 190431
o 190400
o 190387
o 190356
o 190332
o 190301
o 190249
o 190210
o 190179
o 190166
o 190135
o 190115
o 190107
o 190076
o 190063
o 190032
o 190012
o 189985
o 189954
o 189934
o 189910
o 189890
o 189876
o 189845
o 189832
o 189801
o 189786
o 189773
o 189742
o 189729
o 189698
o 189674
o 189643
o 189591
o 189552
o 189521
o 189508
o 189477
o 189457
o 189449
o 189418
o 189405
o 189374
o 189354
o 189327
o 189296
o 189276
o 189252
o 189232
o 189229
o 189198
o 189185
o 189154
o 189134
o 189100
o 189069
o 189056
o 189025
o 189005
o 188978
o 188947
o 188927
o 188903
o 188883
o 188875
o 188844
o 188831
o 188800
o 188780
o 188753
o 188722
o 188702
o 188678
o 188658
o 188627
o 188607
o 188593
o 188573
o 188542
o 188490
o 188451
o 188420
o 188377
o 188338
o 188307
o 188255
o 188216
o 188185
o 188172
o 188141
o 188133
o 188120
o 188089
o 188088
o 188057
o 188044
o 188013
o 187992
o 187940
o 187901
o 187870
o 187797
o 187758
o 187727
o 187675
o 187636
o 187605
o 187592
o 187561
o 187473
o 187434
o 187403
o 187351
o 187312
o 187281
o 187268
o 187237
o 187217
o 187209
o 187178
o 187158
o 187126
o 187087
o 187056
o 187036
o 187012
o 186992
o 186941
o 186902
o 186871
o 186858
o 186827
o 186812
o 186799
o 186768
o 186755
o 186724
o 186700
o 186669
o 186617
o 186578
o 186547
o 186534
o 186503
o 186483
o 186475
o 186444
o 186424
o 186392
o 186353
o 186322
o 186302
o 186278
o 186258
o 186242
o 186233
o 186202
o 186189
o 186158
o 186138
o 186120
o 186081
o 186050
o 186037
o 186006
o 185991
o 185978
o 185947
o 185934
o 185903
o 185879
o 185848
o 185796
o 185757
o 185726
o 185713
o 185682
o 185662
o 185654
o 185623
o 185610
o 185579
o 185559
o 185532
o 185501
o 185481
o 185457
o 185437
o 185346
o 185307
o 185276
o 185263
o 185232
o 185224
o 185185
o 185154
o 185141
o 185110
o 185090
o 185082
o 185051
o 185038
o 185007
o 184987
o 184960
o 184929
o 184909
o 184885
o 184865
o 184834
o 184803
o 184790
o 184759
o 184739
o 184730
o 184699
o 184686
o 184655
o 184635
o 184617
o 184578
o 184547
o 184534
o 184503
o 184488
o 184475
o 184444
o 184431
o 184400
o 184376
o 184345
o 184293
o 184254
o 184223
o 184210
o 184179
o 184159
o 184151
o 184120
o 184107
o 184076
o 184056
o 184029
o 183998
o 183978
o 183954
o 183934
o 183933
o 183908
o 183877
o 183864
o 183833
o 183813
o 183795
o 183756
o 183725
o 183712
o 183681
o 183666
o 183653
o 183622
o 183609
o 183578
o 183554
o 183523
o 183471
o 183432
o 183401
o 183388
o 183357
o 183337
o 183329
o 183298
o 183285
o 183254
o 183246
o 183207
o 183176
o 183163
o 183132
o 183112
o 183085
o 183077
o 183038
o 183007
o 182994
o 182963
o 182943
o 182935
o 182904
o 182891
o 182860
o 182840
o 182813
o 182782
o 182762
o 182738
o 182718
o 182700
o 182680
o 182671
o 182667
o 182636
o 182584
o 182545
o 182514
o 182501
o 182470
o 182450
o 182442
o 182411
o 182398
o 182367
o 182347
o 182320
o 182289
o 182269
o 182245
o 182225
o 182215
o 182195
o 182191
o 182160
o 182147
o 182116
o 182096
o 182069
o 182038
o 182018
o 181994
o 181974
o 181966
o 181935
o 181922
o 181891
o 181871
o 181844
o 181813
o 181793
o 181769
o 181749
o 181748
o 181723
o 181692
o 181679
o 181648
o 181628
o 181610
o 181571
o 181540
o 181527
o 181496
o 181481
o 181468
o 181437
o 181424
o 181393
o 181369
o 181338
o 181286
o 181247
o 181216
o 181203
o 181172
o 181152
o 181144
o 181113
o 181100
o 181069
o 181061
o 181022
o 180991
o 180978
o 180947
o 180927
o 180900
o 180892
o 180853
o 180822
o 180809
o 180778
o 180758
o 180750
o 180719
o 180706
o 180675
o 180655
o 180628
o 180597
o 180577
o 180553
o 180533
o 180508
o 180469
o 180438
o 180425
o 180394
o 180374
o 180366
o 180335
o 180322
o 180291
o 180283
o 180244
o 180213
o 180200
o 180169
o 180149
o 180099
o 180060
o 180029
o 179977
o 179938
o 179907
o 179887
o 179863
o 179843
o 179775
o 179736
o 179705
o 179653
o 179614
o 179583
o 179563
o 179539
o 179519
o 179511
o 179480
o 179467
o 179436
o 179428
o 179389
o 179358
o 179345
o 179314
o 179294
o 179277
o 179269
o 179230
o 179199
o 179186
o 179155
o 179135
o 179127
o 179096
o 179044
o 179005
o 178974
o 178954
o 178930
o 178910
o 178903
o 178883
o 178875
o 178844
o 178831
o 178800
o 178792
o 178753
o 178722
o 178709
o 178678
o 178658
o 178645
o 178625
o 178617
o 178586
o 178573
o 178542
o 178534
o 178495
o 178464
o 178451
o 178420
o 178400
o 178372
o 178352
o 178335
o 178283
o 178244
o 178213
o 178193
o 178180
o 178141
o 178110
o 178058
o 178019
o 177988
o 177968
o 177944
o 177924
o 177894
o 177881
o 177850
o 177830
o 177828
o 177789
o 177758
o 177706
o 177667
o 177636
o 177616
o 177592
o 177572
o 177544
o 177524
o 177507
o 177455
o 177416
o 177385
o 177365
o 177352
o 177313
o 177282
o 177230
o 177191
o 177160
o 177140
o 177116
o 177096
o 177072
o 177041
o 177033
o 176994
o 176963
o 176950
o 176919
o 176899
o 176897
o 176858
o 176827
o 176775
o 176736
o 176705
o 176685
o 176661
o 176641
o 176613
o 176593
o 176576
o 176524
o 176485
o 176454
o 176434
o 176421
o 176382
o 176351
o 176299
o 176260
o 176229
o 176209
o 176185
o 176165
o 176162
o 176131
o 176118
o 176087
o 176067
o 176059
o 176028
o 175976
o 175937
o 175906
o 175886
o 175862
o 175842
o 175822
o 175791
o 175771
o 175746
o 175707
o 175676
o 175663
o 175632
o 175612
o 175604
o 175573
o 175521
o 175482
o 175451
o 175431
o 175407
o 175387
o 175359
o 175346
o 175315
o 175295
o 175270
o 175231
o 175200
o 175187
o 175156
o 175136
o 175128
o 175097
o 175045
o 175006
o 174975
o 174955
o 174931
o 174911
o 174907
o 174876
o 174856
o 174812
o 174773
o 174742
o 174722
o 174709
o 174670
o 174639
o 174587
o 174548
o 174517
o 174497
o 174473
o 174453
o 174452
o 174421
o 174401
o 174373
o 174360
o 174329
o 174309
o 174284
o 174245
o 174214
o 174201
o 174170
o 174150
o 174142
o 174111
o 174059
o 174020
o 173989
o 173969
o 173945
o 173925
o 173924
o 173911
o 173872
o 173841
o 173789
o 173750
o 173719
o 173699
o 173675
o 173655
o 173650
o 173633
o 173581
o 173542
o 173511
o 173491
o 173478
o 173439
o 173408
o 173356
o 173317
o 173286
o 173266
o 173242
o 173222
o 173186
o 173155
o 173135
o 173133
o 173094
o 173063
o 173011
o 172972
o 172941
o 172921
o 172897
o 172877
o 172849
o 172829
o 172812
o 172760
o 172721
o 172690
o 172670
o 172657
o 172618
o 172587
o 172535
o 172496
o 172465
o 172445
o 172421
o 172401
o 172377
o 172346
o 172338
o 172299
o 172268
o 172255
o 172224
o 172204
o 172202
o 172163
o 172132
o 172080
o 172041
o 172010
o 171990
o 171966
o 171946
o 171918
o 171898
o 171881
o 171829
o 171790
o 171759
o 171739
o 171726
o 171687
o 171656
o 171604
o 171565
o 171534
o 171514
o 171490
o 171470
o 171466
o Killed
1819.638u 0.084s 30:21.36 99.9%	0+0k 0+0io 0pf+0w