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-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1673547
o 312023
o 311643
o 310626
o 310438
o 310411
o 310058
o 310031
o 309041
o 309014
o 308979
o 307962
o 307935
o 307819
o 307792
o 307439
o 307412
o 306422
o 306395
o 305880
o 305421
o 305394
o 305278
o 305251
o 304898
o 304871
o 304340
o 303881
o 303854
o 303440
o 302981
o 302954
o 302141
o 302114
o 301599
o 301140
o 301113
o 300997
o 300970
o 300617
o 300590
o 300059
o 299600
o 299573
o 299460
o 299433
o 299080
o 299053
o 298522
o 298063
o 298036
o 297997
o 297970
o 297617
o 297590
o 297059
o 296600
o 296573
o 296355
o 296328
o 295797
o 295338
o 295311
o 295272
o 295245
o 294892
o 294865
o 294334
o 293875
o 293848
o 293722
o 293695
o 293477
o 293450
o 292919
o 292460
o 292433
o 292394
o 292367
o 292014
o 291987
o 291456
o 290997
o 290970
o 290716
o 290689
o 290202
o 289743
o 289716
o 289666
o 289639
o 289600
o 289573
o 289220
o 289193
o 289176
o 288662
o 288203
o 288176
o 287922
o 287895
o 287433
o 286974
o 286947
o 286693
o 286666
o 286179
o 285720
o 285693
o 285643
o 285616
o 285577
o 285550
o 285197
o 285170
o 285153
o 284639
o 284180
o 284153
o 283899
o 283872
o 283470
o 283443
o 283326
o 283299
o 283249
o 283222
o 282868
o 282841
o 282389
o 281930
o 281903
o 281786
o 281759
o 281649
o 281622
o 281505
o 281478
o 281429
o 281402
o 281000
o 280973
o 280856
o 280829
o 280719
o 280692
o 280575
o 280548
o 280539
o 280422
o 280395
o 280333
o 280306
o 279919
o 279892
o 279460
o 279433
o 279316
o 279289
o 279179
o 279152
o 279035
o 279008
o 278848
o 278821
o 278730
o 278703
o 278670
o 278552
o 278389
o 278271
o 278244
o 278218
o 278127
o 278100
o 277848
o 277821
o 277670
o 277389
o 277362
o 277245
o 277218
o 277058
o 277031
o 276940
o 276913
o 276880
o 276762
o 276599
o 276481
o 276454
o 276428
o 276337
o 276310
o 276037
o 276010
o 275893
o 275866
o 275756
o 275729
o 275612
o 275585
o 275425
o 275307
o 275280
o 275247
o 275220
o 275129
o 275102
o 274966
o 274848
o 274821
o 274795
o 274704
o 274677
o 274425
o 274398
o 274247
o 273966
o 273939
o 273822
o 273795
o 273635
o 273517
o 273490
o 273457
o 273430
o 273339
o 273312
o 273176
o 273058
o 273031
o 273005
o 272914
o 272887
o 272871
o 272635
o 272619
o 272608
o 272592
o 272457
o 272176
o 272160
o 272149
o 272133
o 272032
o 272016
o 272005
o 271989
o 271845
o 271829
o 271727
o 271711
o 271700
o 271684
o 271667
o 271651
o 271549
o 271533
o 271386
o 271370
o 271268
o 271252
o 271241
o 271225
o 271215
o 271199
o 271124
o 271108
o 271097
o 271081
o 271057
o 271041
o 271030
o 271014
o 271002
o 270986
o 270975
o 270959
o 270824
o 270543
o 270527
o 270516
o 270500
o 270399
o 270383
o 270372
o 270356
o 270212
o 270196
o 270094
o 270078
o 270067
o 270051
o 270034
o 270018
o 269916
o 269900
o 269753
o 269737
o 269635
o 269619
o 269608
o 269592
o 269582
o 269566
o 269491
o 269475
o 269464
o 269448
o 269212
o 269196
o 269185
o 269169
o 269034
o 268753
o 268737
o 268726
o 268710
o 268609
o 268593
o 268582
o 268566
o 268422
o 268406
o 268304
o 268288
o 268277
o 268261
o 268244
o 268228
o 268126
o 268110
o 267963
o 267947
o 267845
o 267829
o 267818
o 267802
o 267792
o 267776
o 267701
o 267685
o 267674
o 267658
o 267657
o 267641
o 267539
o 267523
o 267376
o 267360
o 267258
o 267242
o 267231
o 267215
o 267205
o 267189
o 267114
o 267098
o 267087
o 267071
o 267021
o 267005
o 266994
o 266978
o 266849
o 266833
o 266731
o 266715
o 266704
o 266688
o 266678
o 266662
o 266587
o 266571
o 266560
o 266544
o 266498
o 266482
o 266471
o 266455
o 266365
o 266349
o 266202
o 266186
o 266084
o 266068
o 266057
o 266041
o 266024
o 266008
o 265906
o 265890
o 265743
o 265727
o 265625
o 265609
o 265598
o 265582
o 265572
o 265556
o 265481
o 265465
o 265454
o 265438
o 265349
o 265333
o 265322
o 265306
o 265231
o 265215
o 265204
o 265188
o 265059
o 265043
o 264941
o 264925
o 264914
o 264898
o 264888
o 264872
o 264797
o 264781
o 264770
o 264754
o 264708
o 264692
o 264681
o 264665
o 264575
o 264559
o 264412
o 264396
o 264294
o 264278
o 264267
o 264251
o 264234
o 264218
o 264116
o 264100
o 263953
o 263937
o 263835
o 263819
o 263808
o 263792
o 263782
o 263766
o 263691
o 263675
o 263664
o 263648
o 263550
o 263534
o 263523
o 263507
o 263432
o 263416
o 263405
o 263389
o 263343
o 263327
o 263316
o 263300
o 263210
o 263047
o 262929
o 262913
o 262902
o 262886
o 262869
o 262751
o 262588
o 262470
o 262454
o 262443
o 262427
o 262417
o 262401
o 262326
o 262310
o 262299
o 262283
o 262271
o 262260
o 262244
o 262241
o 262225
o 262150
o 262134
o 262123
o 262107
o 262097
o 262081
o 262006
o 261990
o 261979
o 261963
o 261923
o 261907
o 261896
o 261880
o 261834
o 261818
o 261807
o 261791
o 261538
o 261522
o 261420
o 261404
o 261393
o 261377
o 261079
o 261063
o 260961
o 260945
o 260934
o 260918
o 260908
o 260892
o 260817
o 260801
o 260790
o 260774
o 260680
o 260664
o 260653
o 260637
o 260627
o 260611
o 260536
o 260520
o 260509
o 260493
o 260471
o 260455
o 260444
o 260428
o 260327
o 260311
o 260300
o 260284
o 260281
o 260265
o 260190
o 260174
o 260163
o 260147
o 260137
o 260121
o 260046
o 260030
o 260019
o 260003
o 259963
o 259947
o 259936
o 259920
o 259874
o 259858
o 259847
o 259831
o 259578
o 259562
o 259460
o 259444
o 259433
o 259417
o 259119
o 259103
o 259001
o 258985
o 258974
o 258958
o 258948
o 258932
o 258857
o 258841
o 258830
o 258814
o 258720
o 258704
o 258693
o 258677
o 258667
o 258651
o 258576
o 258560
o 258549
o 258533
o 258530
o 258455
o 258439
o 258428
o 258412
o 258311
o 258295
o 258284
o 258268
o 258265
o 258249
o 258174
o 258158
o 258147
o 258131
o 258121
o 258105
o 258030
o 258014
o 258003
o 257987
o 257941
o 257925
o 257914
o 257898
o 257808
o 257792
o 257645
o 257629
o 257527
o 257511
o 257500
o 257484
o 257467
o 257451
o 257349
o 257333
o 257186
o 257170
o 257068
o 257052
o 257041
o 257025
o 257015
o 256999
o 256924
o 256908
o 256897
o 256881
o 256859
o 256843
o 256832
o 256816
o 256715
o 256699
o 256688
o 256672
o 256669
o 256653
o 256578
o 256562
o 256551
o 256535
o 256525
o 256509
o 256434
o 256418
o 256407
o 256391
o 256351
o 256335
o 256324
o 256308
o 256262
o 256246
o 256235
o 256219
o 255966
o 255848
o 255832
o 255821
o 255805
o 255507
o 255389
o 255373
o 255362
o 255346
o 255336
o 255320
o 255245
o 255229
o 255218
o 255202
o 255108
o 255092
o 255081
o 255065
o 255055
o 255039
o 254964
o 254948
o 254937
o 254921
o 254859
o 254843
o 254741
o 254725
o 254714
o 254698
o 254688
o 254672
o 254597
o 254581
o 254570
o 254554
o 254551
o 254476
o 254460
o 254449
o 254433
o 254332
o 254316
o 254305
o 254289
o 254286
o 254270
o 254195
o 254179
o 254168
o 254152
o 254142
o 254126
o 254051
o 254035
o 254024
o 254008
o 253927
o 253764
o 253646
o 253630
o 253620
o 253604
o 253502
o 253486
o 253475
o 253459
o 253370
o 253207
o 253089
o 253073
o 253062
o 253046
o 253036
o 253020
o 252945
o 252929
o 252918
o 252902
o 252890
o 252879
o 252863
o 252788
o 252772
o 252761
o 252745
o 252739
o 252723
o 252648
o 252632
o 252621
o 252605
o 252599
o 252583
o 252481
o 252465
o 252426
o 252410
o 252085
o 251967
o 251951
o 251941
o 251925
o 251823
o 251807
o 251796
o 251780
o 251777
o 251761
o 251686
o 251670
o 251659
o 251643
o 251633
o 251617
o 251542
o 251526
o 251515
o 251499
o 251410
o 251394
o 251383
o 251367
o 251266
o 251250
o 251239
o 251223
o 251220
o 251204
o 251129
o 251113
o 251102
o 251086
o 251076
o 251060
o 250985
o 250969
o 250958
o 250942
o 250939
o 250928
o 250912
o 250837
o 250821
o 250810
o 250794
o 250788
o 250772
o 250697
o 250681
o 250670
o 250654
o 250648
o 250632
o 250530
o 250514
o 250475
o 250459
o 250134
o 250016
o 250000
o 249990
o 249974
o 249872
o 249856
o 249845
o 249829
o 249826
o 249810
o 249735
o 249719
o 249708
o 249692
o 249682
o 249666
o 249591
o 249575
o 249564
o 249548
o 249459
o 249443
o 249432
o 249416
o 249315
o 249299
o 249288
o 249272
o 249269
o 249253
o 249178
o 249162
o 249151
o 249135
o 249125
o 249109
o 249034
o 249018
o 249007
o 248991
o 248952
o 248936
o 248925
o 248909
o 248808
o 248792
o 248781
o 248765
o 248762
o 248746
o 248671
o 248655
o 248644
o 248628
o 248618
o 248602
o 248527
o 248511
o 248500
o 248484
o 248438
o 248422
o 248411
o 248395
o 248305
o 248289
o 248142
o 248126
o 248024
o 248008
o 247997
o 247981
o 247964
o 247948
o 247846
o 247830
o 247683
o 247667
o 247565
o 247549
o 247538
o 247522
o 247512
o 247496
o 247421
o 247405
o 247394
o 247378
o 247316
o 247300
o 247198
o 247182
o 247171
o 247155
o 247145
o 247129
o 247054
o 247038
o 247027
o 247011
o 247008
o 246933
o 246917
o 246906
o 246890
o 246789
o 246773
o 246762
o 246746
o 246743
o 246727
o 246652
o 246636
o 246625
o 246609
o 246599
o 246583
o 246508
o 246492
o 246481
o 246465
o 246384
o 246221
o 246103
o 246087
o 246077
o 246061
o 245959
o 245943
o 245932
o 245916
o 245827
o 245664
o 245546
o 245530
o 245519
o 245503
o 245493
o 245477
o 245402
o 245386
o 245375
o 245359
o 245347
o 245336
o 245320
o 245245
o 245229
o 245218
o 245202
o 245196
o 245180
o 245105
o 245089
o 245078
o 245062
o 245056
o 245040
o 244938
o 244922
o 244883
o 244867
o 244542
o 244526
o 244424
o 244408
o 244398
o 244382
o 244280
o 244264
o 244253
o 244237
o 244234
o 244218
o 244143
o 244127
o 244116
o 244100
o 244090
o 244074
o 243999
o 243983
o 243972
o 243956
o 243867
o 243851
o 243840
o 243824
o 243723
o 243707
o 243696
o 243680
o 243677
o 243661
o 243586
o 243570
o 243559
o 243543
o 243533
o 243517
o 243442
o 243426
o 243415
o 243399
o 243377
o 243361
o 243259
o 243243
o 243232
o 243216
o 243206
o 243190
o 243115
o 243099
o 243088
o 243072
o 243056
o 243017
o 243001
o 242990
o 242974
o 242873
o 242857
o 242846
o 242830
o 242827
o 242811
o 242736
o 242720
o 242709
o 242693
o 242683
o 242667
o 242592
o 242576
o 242565
o 242549
o 242503
o 242487
o 242476
o 242460
o 242370
o 242354
o 242207
o 242191
o 242089
o 242073
o 242062
o 242046
o 242029
o 242013
o 241911
o 241895
o 241748
o 241732
o 241630
o 241614
o 241603
o 241587
o 241577
o 241561
o 241486
o 241470
o 241459
o 241443
o 241411
o 241395
o 241384
o 241368
o 241365
o 241349
o 241274
o 241258
o 241247
o 241231
o 241221
o 241205
o 241130
o 241114
o 241103
o 241087
o 241081
o 241065
o 240963
o 240947
o 240908
o 240892
o 240567
o 240449
o 240433
o 240423
o 240407
o 240305
o 240289
o 240278
o 240262
o 240259
o 240243
o 240168
o 240152
o 240141
o 240125
o 240115
o 240099
o 240024
o 240008
o 239997
o 239981
o 239892
o 239876
o 239865
o 239849
o 239748
o 239732
o 239721
o 239705
o 239702
o 239686
o 239611
o 239595
o 239584
o 239568
o 239558
o 239542
o 239467
o 239451
o 239440
o 239424
o 239412
o 239401
o 239385
o 239310
o 239294
o 239283
o 239267
o 239261
o 239245
o 239170
o 239154
o 239143
o 239127
o 239121
o 239105
o 239003
o 238987
o 238948
o 238932
o 238607
o 238489
o 238473
o 238463
o 238447
o 238345
o 238329
o 238318
o 238302
o 238299
o 238283
o 238208
o 238192
o 238181
o 238165
o 238155
o 238139
o 238064
o 238048
o 238037
o 238021
o 237932
o 237916
o 237905
o 237889
o 237788
o 237772
o 237761
o 237745
o 237742
o 237726
o 237651
o 237635
o 237624
o 237608
o 237598
o 237582
o 237507
o 237491
o 237480
o 237464
o 237365
o 237349
o 237338
o 237322
o 237247
o 237231
o 237220
o 237204
o 237158
o 237142
o 237131
o 237115
o 237040
o 237024
o 237013
o 236997
o 236896
o 236880
o 236869
o 236853
o 236601
o 236585
o 236574
o 236558
o 236483
o 236467
o 236456
o 236440
o 236430
o 236414
o 236339
o 236323
o 236312
o 236296
o 236274
o 236258
o 236247
o 236231
o 236130
o 236114
o 236103
o 236087
o 236012
o 235996
o 235985
o 235969
o 235953
o 235751
o 235735
o 235633
o 235617
o 235606
o 235590
o 235489
o 235473
o 235462
o 235446
o 235400
o 235384
o 235373
o 235357
o 235104
o 235088
o 235077
o 235061
o 234986
o 234970
o 234959
o 234943
o 234926
o 234910
o 234645
o 234629
o 234618
o 234602
o 234527
o 234511
o 234500
o 234484
o 234474
o 234458
o 234383
o 234367
o 234356
o 234340
o 234289
o 234273
o 234262
o 234246
o 234145
o 234129
o 234118
o 234102
o 234027
o 234011
o 234000
o 233984
o 233973
o 233871
o 233855
o 233844
o 233828
o 233817
o 233464
o 233448
o 233346
o 233330
o 233319
o 233303
o 233293
o 233277
o 233202
o 233186
o 233175
o 233159
o 233156
o 233140
o 233039
o 233023
o 233012
o 232996
o 232921
o 232905
o 232894
o 232878
o 232626
o 232610
o 232508
o 232492
o 232481
o 232465
o 232364
o 232348
o 232337
o 232321
o 232309
o 232298
o 232282
o 232207
o 232191
o 232180
o 232164
o 232158
o 232142
o 232067
o 232051
o 232040
o 232024
o 232013
o 231911
o 231895
o 231884
o 231868
o 231857
o 231504
o 231488
o 231386
o 231370
o 231359
o 231343
o 231333
o 231317
o 231242
o 231226
o 231215
o 231199
o 231196
o 231180
o 231079
o 231063
o 231052
o 231036
o 230961
o 230945
o 230934
o 230918
o 230666
o 230650
o 230548
o 230532
o 230521
o 230505
o 230404
o 230388
o 230377
o 230361
o 230262
o 230246
o 230235
o 230219
o 230144
o 230128
o 230117
o 230101
o 230070
o 230054
o 230043
o 230027
o 229952
o 229936
o 229925
o 229909
o 229810
o 229794
o 229783
o 229767
o 229692
o 229676
o 229665
o 229649
o 229603
o 229587
o 229576
o 229560
o 229485
o 229469
o 229458
o 229442
o 229341
o 229325
o 229314
o 229298
o 229046
o 229030
o 229019
o 229003
o 228928
o 228912
o 228901
o 228885
o 228875
o 228859
o 228784
o 228768
o 228757
o 228741
o 228719
o 228703
o 228692
o 228676
o 228575
o 228559
o 228548
o 228532
o 228457
o 228441
o 228430
o 228414
o 228398
o 228196
o 228180
o 228078
o 228062
o 228051
o 228035
o 227934
o 227918
o 227907
o 227891
o 227845
o 227829
o 227818
o 227802
o 227549
o 227533
o 227522
o 227506
o 227431
o 227415
o 227404
o 227388
o 227371
o 227355
o 227090
o 227074
o 227063
o 227047
o 226972
o 226956
o 226945
o 226929
o 226919
o 226903
o 226828
o 226812
o 226801
o 226785
o 226734
o 226718
o 226707
o 226691
o 226590
o 226574
o 226563
o 226547
o 226472
o 226456
o 226445
o 226429
o 226418
o 226316
o 226300
o 226289
o 226273
o 226262
o 225909
o 225893
o 225791
o 225775
o 225764
o 225748
o 225738
o 225722
o 225647
o 225631
o 225620
o 225604
o 225601
o 225585
o 225484
o 225468
o 225457
o 225441
o 225366
o 225350
o 225339
o 225323
o 225071
o 225055
o 224953
o 224937
o 224926
o 224910
o 224809
o 224793
o 224782
o 224766
o 224754
o 224743
o 224727
o 224652
o 224636
o 224625
o 224609
o 224603
o 224587
o 224512
o 224496
o 224485
o 224469
o 224458
o 224356
o 224340
o 224329
o 224313
o 224302
o 223949
o 223933
o 223831
o 223815
o 223804
o 223788
o 223778
o 223762
o 223687
o 223671
o 223660
o 223644
o 223641
o 223625
o 223524
o 223508
o 223497
o 223481
o 223406
o 223390
o 223379
o 223363
o 223111
o 223095
o 222993
o 222977
o 222966
o 222950
o 222849
o 222833
o 222822
o 222806
o 222707
o 222691
o 222680
o 222664
o 222589
o 222573
o 222562
o 222546
o 222539
o 222536
o 222520
o 222509
o 222493
o 222485
o 222474
o 222458
o 222241
o 222225
o 222214
o 222198
o 222123
o 222107
o 222096
o 222080
o 222070
o 222054
o 221979
o 221963
o 221952
o 221936
o 221872
o 221856
o 221845
o 221829
o 221823
o 221807
o 221732
o 221716
o 221705
o 221689
o 221643
o 221627
o 221616
o 221600
o 221347
o 221331
o 221320
o 221304
o 221229
o 221213
o 221202
o 221186
o 221169
o 221153
o 220888
o 220872
o 220861
o 220845
o 220770
o 220754
o 220743
o 220727
o 220717
o 220701
o 220626
o 220610
o 220599
o 220583
o 220532
o 220516
o 220505
o 220489
o 220388
o 220372
o 220361
o 220345
o 220270
o 220254
o 220243
o 220227
o 220216
o 220114
o 220098
o 220087
o 220071
o 220060
o 219707
o 219691
o 219589
o 219573
o 219562
o 219546
o 219536
o 219520
o 219445
o 219429
o 219418
o 219402
o 219399
o 219383
o 219282
o 219266
o 219255
o 219239
o 219164
o 219148
o 219137
o 219121
o 218869
o 218853
o 218751
o 218735
o 218724
o 218708
o 218607
o 218591
o 218580
o 218564
o 218552
o 218541
o 218525
o 218450
o 218434
o 218423
o 218407
o 218401
o 218385
o 218310
o 218294
o 218283
o 218267
o 218256
o 218154
o 218138
o 218127
o 218111
o 218100
o 217747
o 217731
o 217629
o 217613
o 217602
o 217586
o 217576
o 217560
o 217485
o 217469
o 217458
o 217442
o 217439
o 217423
o 217322
o 217306
o 217295
o 217279
o 217204
o 217188
o 217177
o 217161
o 216909
o 216893
o 216791
o 216775
o 216764
o 216748
o 216647
o 216631
o 216620
o 216604
o 216505
o 216489
o 216478
o 216462
o 216387
o 216371
o 216360
o 216344
o 216156
o 216140
o 216129
o 216113
o 216038
o 216022
o 216011
o 215995
o 215894
o 215878
o 215867
o 215851
o 215835
o 215824
o 215808
o 215736
o 215720
o 215709
o 215693
o 215618
o 215602
o 215591
o 215575
o 215572
o 215556
o 215455
o 215439
o 215428
o 215412
o 215337
o 215321
o 215310
o 215294
o 215195
o 215179
o 215168
o 215152
o 215077
o 215061
o 215050
o 215034
o 214994
o 214978
o 214967
o 214951
o 214876
o 214860
o 214849
o 214833
o 214732
o 214716
o 214705
o 214689
o 214681
o 214670
o 214654
o 214437
o 214421
o 214410
o 214394
o 214319
o 214303
o 214292
o 214276
o 214266
o 214250
o 214175
o 214159
o 214148
o 214132
o 214111
o 214095
o 214084
o 214068
o 214062
o 214046
o 213971
o 213955
o 213944
o 213928
o 213684
o 213668
o 213566
o 213550
o 213540
o 213524
o 213422
o 213406
o 213395
o 213379
o 213371
o 213360
o 213344
o 213127
o 213111
o 213100
o 213084
o 213009
o 212993
o 212982
o 212966
o 212956
o 212940
o 212865
o 212849
o 212838
o 212822
o 212803
o 212787
o 212776
o 212760
o 212754
o 212738
o 212663
o 212647
o 212636
o 212620
o 212376
o 212360
o 212258
o 212242
o 212232
o 212216
o 212114
o 212098
o 212087
o 212071
o 212063
o 212052
o 212036
o 211819
o 211803
o 211792
o 211776
o 211701
o 211685
o 211674
o 211658
o 211648
o 211632
o 211557
o 211541
o 211530
o 211514
o 211493
o 211477
o 211466
o 211450
o 211444
o 211428
o 211353
o 211337
o 211326
o 211310
o 211066
o 211050
o 210948
o 210932
o 210922
o 210906
o 210804
o 210788
o 210777
o 210761
o 210753
o 210742
o 210726
o 210509
o 210493
o 210482
o 210466
o 210391
o 210375
o 210364
o 210348
o 210338
o 210322
o 210247
o 210231
o 210220
o 210204
o 210194
o 210178
o 210103
o 210087
o 210076
o 210060
o 209959
o 209943
o 209932
o 209916
o 209817
o 209801
o 209699
o 209683
o 209672
o 209656
o 209648
o 209637
o 209621
o 209404
o 209388
o 209377
o 209361
o 209286
o 209270
o 209259
o 209243
o 209233
o 209217
o 209142
o 209126
o 209115
o 209099
o 209078
o 209062
o 209051
o 209035
o 209029
o 209013
o 208938
o 208922
o 208911
o 208895
o 208651
o 208635
o 208533
o 208517
o 208507
o 208491
o 208389
o 208373
o 208362
o 208346
o 208338
o 208327
o 208311
o 208094
o 208078
o 208067
o 208051
o 207976
o 207960
o 207949
o 207933
o 207923
o 207907
o 207832
o 207816
o 207805
o 207789
o 207698
o 207682
o 207671
o 207655
o 207580
o 207564
o 207553
o 207537
o 207525
o 207514
o 207498
o 207423
o 207407
o 207396
o 207380
o 207374
o 207358
o 207283
o 207267
o 207256
o 207240
o 207194
o 207178
o 207167
o 207151
o 207142
o 207131
o 207115
o 206898
o 206882
o 206871
o 206855
o 206780
o 206764
o 206753
o 206737
o 206699
o 206683
o 206672
o 206656
o 206439
o 206423
o 206412
o 206396
o 206321
o 206305
o 206294
o 206278
o 206268
o 206252
o 206177
o 206161
o 206150
o 206134
o 206126
o 205882
o 205866
o 205764
o 205748
o 205737
o 205721
o 205711
o 205695
o 205620
o 205604
o 205593
o 205577
o 205391
o 205375
o 205364
o 205348
o 205273
o 205257
o 205246
o 205230
o 205129
o 205113
o 205102
o 205086
o 205070
o 205059
o 205043
o 204971
o 204955
o 204944
o 204928
o 204853
o 204837
o 204826
o 204810
o 204807
o 204791
o 204690
o 204674
o 204663
o 204647
o 204572
o 204556
o 204545
o 204529
o 204430
o 204414
o 204403
o 204387
o 204312
o 204296
o 204285
o 204269
o 204081
o 204065
o 204054
o 204038
o 203963
o 203947
o 203936
o 203920
o 203819
o 203803
o 203792
o 203776
o 203760
o 203749
o 203733
o 203661
o 203645
o 203634
o 203618
o 203543
o 203527
o 203516
o 203500
o 203497
o 203481
o 203380
o 203364
o 203353
o 203337
o 203262
o 203246
o 203235
o 203219
o 203120
o 203104
o 203093
o 203077
o 203002
o 202986
o 202975
o 202959
o 202956
o 202940
o 202929
o 202913
o 202814
o 202798
o 202787
o 202771
o 202696
o 202680
o 202669
o 202653
o 202650
o 202629
o 202613
o 202602
o 202586
o 202580
o 202564
o 202489
o 202473
o 202462
o 202446
o 202202
o 202186
o 202084
o 202068
o 202058
o 202042
o 201940
o 201924
o 201913
o 201897
o 201889
o 201878
o 201862
o 201645
o 201629
o 201618
o 201602
o 201527
o 201511
o 201500
o 201484
o 201474
o 201458
o 201383
o 201367
o 201356
o 201340
o 201298
o 201282
o 201271
o 201255
o 201003
o 200987
o 200885
o 200869
o 200858
o 200842
o 200741
o 200725
o 200714
o 200698
o 200599
o 200583
o 200572
o 200556
o 200481
o 200465
o 200454
o 200438
o 200417
o 200401
o 200390
o 200374
o 200368
o 200352
o 200277
o 200261
o 200250
o 200234
o 199990
o 199974
o 199872
o 199856
o 199846
o 199830
o 199728
o 199712
o 199701
o 199685
o 199677
o 199666
o 199650
o 199433
o 199417
o 199406
o 199390
o 199315
o 199299
o 199288
o 199272
o 199262
o 199246
o 199171
o 199155
o 199144
o 199128
o 198942
o 198926
o 198915
o 198899
o 198824
o 198808
o 198797
o 198781
o 198680
o 198664
o 198653
o 198637
o 198621
o 198610
o 198594
o 198522
o 198506
o 198495
o 198479
o 198404
o 198388
o 198377
o 198361
o 198358
o 198342
o 198241
o 198225
o 198214
o 198198
o 198123
o 198107
o 198096
o 198080
o 197981
o 197965
o 197954
o 197938
o 197863
o 197847
o 197836
o 197820
o 197632
o 197616
o 197605
o 197589
o 197514
o 197498
o 197487
o 197471
o 197370
o 197354
o 197343
o 197327
o 197311
o 197300
o 197284
o 197212
o 197196
o 197185
o 197169
o 197094
o 197078
o 197067
o 197051
o 197048
o 197032
o 196931
o 196915
o 196904
o 196888
o 196813
o 196797
o 196786
o 196770
o 196671
o 196655
o 196644
o 196628
o 196553
o 196537
o 196526
o 196510
o 196507
o 196491
o 196480
o 196464
o 196365
o 196349
o 196338
o 196322
o 196247
o 196231
o 196220
o 196204
o 196202
o 196186
o 196001
o 195985
o 195974
o 195958
o 195857
o 195841
o 195830
o 195814
o 195739
o 195723
o 195712
o 195696
o 195637
o 195621
o 195610
o 195594
o 195493
o 195477
o 195466
o 195450
o 195375
o 195359
o 195348
o 195332
o 195088
o 195072
o 194970
o 194954
o 194944
o 194928
o 194826
o 194810
o 194799
o 194783
o 194775
o 194764
o 194748
o 194531
o 194515
o 194504
o 194488
o 194413
o 194397
o 194386
o 194370
o 194360
o 194344
o 194269
o 194253
o 194242
o 194226
o 194040
o 194024
o 194013
o 193997
o 193922
o 193906
o 193895
o 193879
o 193778
o 193762
o 193751
o 193735
o 193719
o 193708
o 193692
o 193620
o 193604
o 193593
o 193577
o 193502
o 193486
o 193475
o 193459
o 193456
o 193440
o 193339
o 193323
o 193312
o 193296
o 193221
o 193205
o 193194
o 193178
o 193079
o 193063
o 193052
o 193036
o 192961
o 192945
o 192934
o 192918
o 192730
o 192714
o 192703
o 192687
o 192612
o 192596
o 192585
o 192569
o 192468
o 192452
o 192441
o 192425
o 192409
o 192398
o 192382
o 192310
o 192294
o 192283
o 192267
o 192192
o 192176
o 192165
o 192149
o 192146
o 192130
o 192029
o 192013
o 192002
o 191986
o 191911
o 191895
o 191884
o 191868
o 191769
o 191753
o 191742
o 191726
o 191651
o 191635
o 191624
o 191608
o 191605
o 191589
o 191578
o 191562
o 191463
o 191447
o 191436
o 191420
o 191345
o 191329
o 191318
o 191302
o 191278
o 191262
o 191251
o 191235
o 191229
o 191213
o 191138
o 191122
o 191111
o 191095
o 190851
o 190835
o 190733
o 190717
o 190707
o 190691
o 190589
o 190573
o 190562
o 190546
o 190538
o 190527
o 190511
o 190294
o 190278
o 190267
o 190251
o 190176
o 190160
o 190149
o 190133
o 190123
o 190107
o 190032
o 190016
o 190005
o 189989
o 189947
o 189931
o 189920
o 189904
o 189652
o 189636
o 189534
o 189518
o 189507
o 189491
o 189390
o 189374
o 189363
o 189347
o 189248
o 189232
o 189221
o 189205
o 189130
o 189114
o 189103
o 189087
o 189066
o 189050
o 189039
o 189023
o 189017
o 189001
o 188926
o 188910
o 188899
o 188883
o 188639
o 188623
o 188521
o 188505
o 188495
o 188479
o 188377
o 188361
o 188350
o 188334
o 188326
o 188315
o 188299
o 188082
o 188066
o 188055
o 188039
o 187964
o 187948
o 187937
o 187921
o 187911
o 187895
o 187820
o 187804
o 187793
o 187777
o 187591
o 187575
o 187564
o 187548
o 187473
o 187457
o 187446
o 187430
o 187329
o 187313
o 187302
o 187286
o 187270
o 187259
o 187243
o 187171
o 187155
o 187144
o 187128
o 187053
o 187037
o 187026
o 187010
o 187007
o 186991
o 186890
o 186874
o 186863
o 186847
o 186772
o 186756
o 186745
o 186729
o 186630
o 186614
o 186603
o 186587
o 186512
o 186496
o 186485
o 186469
o 186281
o 186265
o 186254
o 186238
o 186163
o 186147
o 186136
o 186120
o 186019
o 186003
o 185992
o 185976
o 185960
o 185949
o 185933
o 185861
o 185845
o 185834
o 185818
o 185743
o 185727
o 185716
o 185700
o 185697
o 185681
o 185580
o 185564
o 185553
o 185537
o 185462
o 185446
o 185435
o 185419
o 185320
o 185304
o 185293
o 185277
o 185202
o 185186
o 185175
o 185159
o 185156
o 185140
o 185129
o 185113
o 185014
o 184998
o 184987
o 184971
o 184896
o 184880
o 184869
o 184853
o 184847
o 184746
o 184730
o 184719
o 184703
o 184628
o 184612
o 184601
o 184585
o 184571
o 184560
o 184544
o 184443
o 184427
o 184416
o 184400
o 184148
o 184132
o 184030
o 184014
o 184003
o 183987
o 183886
o 183870
o 183859
o 183843
o 183744
o 183728
o 183717
o 183701
o 183626
o 183610
o 183599
o 183583
o 183547
o 183531
o 183520
o 183504
o 183429
o 183413
o 183402
o 183386
o 183224
o 183208
o 183197
o 183181
o 183106
o 183090
o 183079
o 183063
o 182962
o 182946
o 182935
o 182919
o 182820
o 182804
o 182793
o 182777
o 182702
o 182686
o 182675
o 182659
o 182658
o 182642
o 182631
o 182615
o 182514
o 182498
o 182487
o 182471
o 182396
o 182380
o 182369
o 182353
o 182345
o 182246
o 182230
o 182219
o 182203
o 182128
o 182112
o 182101
o 182085
o 181954
o 181938
o 181927
o 181911
o 181836
o 181820
o 181809
o 181793
o 181692
o 181676
o 181665
o 181649
o 181550
o 181534
o 181523
o 181507
o 181432
o 181416
o 181405
o 181389
o 181388
o 181372
o 181361
o 181345
o 181244
o 181228
o 181217
o 181201
o 181126
o 181110
o 181099
o 181083
o 181068
o 181057
o 181041
o 180966
o 180950
o 180939
o 180923
o 180892
o 180876
o 180865
o 180849
o 180597
o 180581
o 180479
o 180463
o 180452
o 180436
o 180335
o 180319
o 180308
o 180292
o 180193
o 180177
o 180166
o 180150
o 180075
o 180059
o 180048
o 180032
o 180031
o 180015
o 180004
o 179988
o 179887
o 179871
o 179860
o 179844
o 179769
o 179753
o 179742
o 179726
o 179663
o 179647
o 179636
o 179620
o 179545
o 179529
o 179518
o 179502
o 179401
o 179385
o 179374
o 179358
o 179349
o 179274
o 179258
o 179247
o 179231
o 179223
o 179212
o 179196
o 178979
o 178963
o 178952
o 178936
o 178861
o 178845
o 178834
o 178818
o 178808
o 178792
o 178717
o 178701
o 178690
o 178674
o 178663
o 178652
o 178641
o 178625
o 178550
o 178534
o 178523
o 178507
o 178496
o 178143
o 178127
o 178025
o 178009
o 177998
o 177982
o 177972
o 177956
o 177881
o 177865
o 177854
o 177838
o 177835
o 177819
o 177718
o 177702
o 177691
o 177675
o 177600
o 177584
o 177573
o 177557
o 177305
o 177289
o 177187
o 177171
o 177160
o 177144
o 177043
o 177027
o 177016
o 177000
o 176901
o 176885
o 176874
o 176858
o 176783
o 176767
o 176756
o 176740
o 176656
o 176640
o 176629
o 176613
o 176605
o 176594
o 176578
o 176361
o 176345
o 176334
o 176318
o 176243
o 176227
o 176216
o 176200
o 176190
o 176174
o 176099
o 176083
o 176072
o 176056
o 176053
o 176037
o 176026
o 176010
o 175911
o 175895
o 175884
o 175868
o 175793
o 175777
o 175766
o 175750
o 175744
o 175643
o 175627
o 175616
o 175600
o 175525
o 175509
o 175498
o 175482
o 175469
o 175453
o 175442
o 175426
o 175351
o 175335
o 175324
o 175308
o 175207
o 175191
o 175180
o 175164
o 175091
o 175075
o 175064
o 175048
o 174947
o 174931
o 174920
o 174904
o 174829
o 174813
o 174802
o 174786
o 174785
o 174769
o 174758
o 174742
o 174641
o 174625
o 174614
o 174598
o 174523
o 174507
o 174496
o 174480
o 174444
o 174428
o 174417
o 174401
o 174326
o 174310
o 174299
o 174283
o 174092
o 174076
o 173974
o 173958
o 173947
o 173931
o 173830
o 173814
o 173803
o 173787
o 173688
o 173672
o 173661
o 173645
o 173570
o 173554
o 173543
o 173527
o 173519
o 173508
o 173492
o 173391
o 173375
o 173364
o 173348
o 173273
o 173257
o 173246
o 173230
o 173131
o 173115
o 173104
o 173088
o 173013
o 172997
o 172986
o 172970
o 172961
o 172886
o 172870
o 172859
o 172843
o 172835
o 172824
o 172808
o 172591
o 172575
o 172564
o 172548
o 172473
o 172457
o 172446
o 172430
o 172420
o 172404
o 172329
o 172313
o 172302
o 172286
o 172285
o 172269
o 172258
o 172242
o 172141
o 172125
o 172114
o 172098
o 172023
o 172007
o 171996
o 171980
o 171965
o 171954
o 171938
o 171863
o 171847
o 171836
o 171820
o 171612
o 171596
o 171494
o 171478
o 171467
o 171451
o 171350
o 171334
o 171323
o 171307
o 171234
o 171218
o 171207
o 171191
o 171090
o 171074
o 171063
o 171047
o 170972
o 170956
o 170945
o 170929
o 170928
o 170912
o 170901
o 170885
o 170784
o 170768
o 170757
o 170741
o 170666
o 170650
o 170639
o 170623
o 170606
o 170590
o 170579
o 170563
o 170490
o 170474
o 170463
o 170447
o 170346
o 170330
o 170319
o 170303
o 170228
o 170212
o 170201
o 170185
o 170184
o 170168
o 170157
o 170141
o 170040
o 170024
o 170013
o 169997
o 169922
o 169906
o 169895
o 169879
o 169868
o 169852
o 169841
o 169825
o 169824
o 169808
o 169797
o 169781
o 169680
o 169664
o 169653
o 169637
o 169562
o 169546
o 169535
o 169519
o 169456
o 169440
o 169429
o 169413
o 169412
o 169396
o 169385
o 169369
o 169268
o 169252
o 169241
o 169225
o 169150
o 169134
o 169123
o 169107
o 169106
o 169090
o 169079
o 169063
o 168962
o 168946
o 168935
o 168919
o 168844
o 168828
o 168817
o 168801
o 168702
o 168686
o 168675
o 168659
o 168584
o 168568
o 168557
o 168541
o 168533
o 168522
o 168506
o 168405
o 168389
o 168378
o 168362
o 168287
o 168271
o 168260
o 168244
o 168145
o 168129
o 168118
o 168102
o 168027
o 168011
o 168000
o 167984
o 167865
o 167849
o 167838
o 167822
o 167721
o 167705
o 167694
o 167678
o 167603
o 167587
o 167576
o 167560
o 167461
o 167445
o 167434
o 167418
o 167343
o 167327
o 167316
o 167300
o 167299
o 167283
o 167272
o 167256
o 167155
o 167139
o 167128
o 167112
o 167037
o 167021
o 167010
o 166994
o 166977
o 166961
o 166950
o 166934
o 166861
o 166845
o 166834
o 166818
o 166717
o 166701
o 166690
o 166674
o 166599
o 166583
o 166572
o 166556
o 166555
o 166539
o 166528
o 166512
o 166411
o 166395
o 166384
o 166368
o 166293
o 166277
o 166266
o 166250
o 166193
o 166177
o 166166
o 166150
o 166051
o 166035
o 166024
o 166008
o 165933
o 165917
o 165906
o 165890
o 165883
o 165872
o 165856
o 165781
o 165765
o 165754
o 165738
o 165639
o 165623
o 165612
o 165596
o 165521
o 165505
o 165494
o 165478
o 165358
o 165342
o 165331
o 165315
o 165214
o 165198
o 165187
o 165171
o 165096
o 165080
o 165069
o 165053
o 164954
o 164938
o 164927
o 164911
o 164836
o 164820
o 164809
o 164793
o 164785
o 164774
o 164758
o 164657
o 164641
o 164630
o 164614
o 164539
o 164523
o 164512
o 164496
o 164397
o 164381
o 164370
o 164354
o 164279
o 164263
o 164252
o 164236
o 164227
o 164152
o 164136
o 164125
o 164109
o 164101
o 164090
o 164074
o 163857
o 163841
o 163830
o 163814
o 163739
o 163723
o 163712
o 163696
o 163686
o 163670
o 163595
o 163579
o 163568
o 163552
o 163528
o 163512
o 163501
o 163485
o 163477
o 163466
o 163450
o 163349
o 163333
o 163322
o 163306
o 163231
o 163215
o 163204
o 163188
o 163089
o 163073
o 163062
o 163046
o 162971
o 162955
o 162944
o 162928
o 162742
o 162726
o 162715
o 162699
o 162624
o 162608
o 162597
o 162581
o 162480
o 162464
o 162453
o 162437
o 162435
o 162183
o 162167
o 162065
o 162049
o 162038
o 162022
o 161921
o 161905
o 161894
o 161878
o 161779
o 161763
o 161752
o 161736
o 161661
o 161645
o 161634
o 161618
o 161609
o 161534
o 161518
o 161507
o 161491
o 161483
o 161472
o 161456
o 161239
o 161223
o 161212
o 161196
o 161121
o 161105
o 161094
o 161078
o 161068
o 161052
o 160977
o 160961
o 160950
o 160934
o 160931
o 160915
o 160904
o 160888
o 160789
o 160773
o 160762
o 160746
o 160671
o 160655
o 160644
o 160628
o 160615
o 160599
o 160588
o 160572
o 160568
o 160495
o 160479
o 160468
o 160452
o 160377
o 160361
o 160350
o 160334
o 160233
o 160217
o 160206
o 160190
o 160189
o 160173
o 160162
o 160146
o 160071
o 160055
o 160044
o 160028
o 159927
o 159911
o 159900
o 159884
o 159873
o 159857
o 159846
o 159830
o 159829
o 159813
o 159802
o 159786
o 159685
o 159669
o 159658
o 159642
o 159567
o 159551
o 159540
o 159524
o 159517
o 159506
o 159490
o 159415
o 159399
o 159388
o 159372
o 159273
o 159257
o 159246
o 159230
o 159155
o 159139
o 159128
o 159112
o 159034
o 159018
o 159007
o 158991
o 158916
o 158900
o 158889
o 158873
o 158862
o 158763
o 158747
o 158660
o 158644
o 158367
o 158351
o 158249
o 158233
o 158223
o 158207
o 158105
o 158089
o 158078
o 158062
o 158061
o 158045
o 157917
o 157901
o 157799
o 157783
o 157772
o 157756
o 157666
o 157650
o 157639
o 157623
o 157548
o 157532
o 157521
o 157505
o 157504
o 157488
o 157477
o 157461
o 157360
o 157344
o 157333
o 157317
o 157242
o 157226
o 157215
o 157199
o 157100
o 157084
o 157073
o 157057
o 156982
o 156966
o 156955
o 156939
o 156866
o 156850
o 156839
o 156823
o 156722
o 156706
o 156695
o 156679
o 156604
o 156588
o 156577
o 156561
o 156560
o 156544
o 156533
o 156517
o 156416
o Killed
1819.709u 0.013s 30:22.12 99.8%	0+0k 0+0io 0pf+0w