Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-1.6-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-120-1_network-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 316 1067 1901825
WARNING: Ubcsat not found.
o 1901825
o 361140
o 360322
o 359843
o 359835
o 359805
o 359326
o 359198
o 359148
o 359130
o 357911
o 357903
o 357873
o 357394
o 357266
o 356925
o 356797
o 356747
o 356729
o 356705
o 356577
o 356574
o 356544
o 356065
o 355937
o 355510
o 355502
o 355472
o 354993
o 354865
o 354790
o 354662
o 354266
o 354258
o 354228
o 353749
o 353621
o 353599
o 353461
o 353333
o 353258
o 353130
o 353030
o 352902
o 352483
o 352355
o 352217
o 352089
o 352068
o 351940
o 351918
o 351780
o 351652
o 351577
o 351449
o 351349
o 351221
o 350802
o 350674
o 350536
o 350408
o 350324
o 350249
o 350121
o 350021
o 349893
o 349474
o 349346
o 349208
o 349080
o 348722
o 348594
o 348456
o 348328
o 348318
o 348190
o 348052
o 347924
o 347903
o 347775
o 347753
o 347615
o 347487
o 347412
o 347284
o 347184
o 347056
o 346637
o 346509
o 346371
o 346243
o 346159
o 346084
o 345956
o 345856
o 345728
o 345309
o 345181
o 345043
o 344915
o 344811
o 344803
o 344675
o 344651
o 344523
o 344472
o 344448
o 344320
o 344244
o 343825
o 343697
o 343559
o 343431
o 343407
o 343279
o 343195
o 343144
o 343120
o 342992
o 342916
o 342497
o 342369
o 342231
o 342103
o 342079
o 341951
o 341677
o 341549
o 341411
o 341283
o 341259
o 341131
o 341047
o 340996
o 340972
o 340844
o 340768
o 340349
o 340221
o 340083
o 339955
o 339931
o 339803
o 339786
o 339708
o 339496
o 339368
o 339230
o 339102
o 339078
o 338950
o 338876
o 338738
o 338610
o 338586
o 338458
o 338380
o 338267
o 338139
o 338001
o 337873
o 337849
o 337721
o 337704
o 337626
o 337414
o 337286
o 337148
o 337020
o 336996
o 336868
o 336794
o 336656
o 336528
o 336504
o 336376
o 336298
o 336277
o 336149
o 336075
o 335937
o 335809
o 335785
o 335657
o 335579
o 335525
o 335397
o 335373
o 335245
o 335167
o 335054
o 334926
o 334788
o 334660
o 334636
o 334508
o 334491
o 334413
o 334201
o 334073
o 333935
o 333807
o 333783
o 333655
o 333581
o 333443
o 333315
o 333291
o 333163
o 333085
o 333064
o 332936
o 332862
o 332724
o 332596
o 332572
o 332444
o 332366
o 332344
o 332327
o 332249
o 332037
o 331909
o 331771
o 331643
o 331619
o 331491
o 331417
o 331279
o 331151
o 331127
o 330999
o 330921
o 330900
o 330772
o 330698
o 330560
o 330432
o 330408
o 330280
o 330202
o 330153
o 330079
o 329941
o 329813
o 329789
o 329661
o 329583
o 329562
o 329434
o 329360
o 329222
o 329094
o 329070
o 328942
o 328864
o 328790
o 328662
o 328638
o 328510
o 328432
o 328411
o 328283
o 328209
o 328071
o 327943
o 327919
o 327791
o 327713
o 327675
o 327651
o 327523
o 327445
o 327396
o 327322
o 327184
o 327056
o 327032
o 326904
o 326826
o 326805
o 326677
o 326603
o 326465
o 326337
o 326313
o 326185
o 326107
o 325984
o 325906
o 325868
o 325844
o 325716
o 325638
o 325589
o 325515
o 325414
o 325377
o 325249
o 325225
o 325097
o 325019
o 324998
o 324870
o 324796
o 324695
o 324658
o 324530
o 324506
o 324378
o 324300
o 324292
o 324164
o 324086
o 324025
o 323924
o 323887
o 323759
o 323735
o 323607
o 323529
o 323495
o 323367
o 323343
o 323215
o 323137
o 323116
o 322988
o 322914
o 322813
o 322776
o 322648
o 322624
o 322496
o 322418
o 322410
o 322330
o 322252
o 322220
o 322142
o 322062
o 321984
o 321918
o 321881
o 321753
o 321729
o 321601
o 321523
o 321443
o 321365
o 321300
o 321199
o 321162
o 321034
o 321010
o 320882
o 320804
o 320724
o 320646
o 320590
o 320510
o 320432
o 320428
o 320391
o 320263
o 320239
o 320111
o 320033
o 319953
o 319875
o 319871
o 319847
o 319719
o 319641
o 319561
o 319483
o 319418
o 319317
o 319280
o 319152
o 319128
o 319000
o 318922
o 318842
o 318764
o 318743
o 318665
o 318585
o 318507
o 318448
o 318370
o 318290
o 318212
o 318147
o 318046
o 318009
o 317881
o 317857
o 317729
o 317651
o 317571
o 317493
o 317437
o 317357
o 317279
o 317275
o 317238
o 317110
o 317086
o 316958
o 316880
o 316800
o 316722
o 316718
o 316694
o 316566
o 316488
o 316408
o 316330
o 316265
o 316164
o 316127
o 315999
o 315975
o 315847
o 315769
o 315689
o 315611
o 315546
o 315509
o 315381
o 315357
o 315229
o 315151
o 315071
o 314993
o 314972
o 314894
o 314814
o 314736
o 314677
o 314599
o 314519
o 314441
o 314376
o 314275
o 314238
o 314110
o 314086
o 313958
o 313880
o 313800
o 313722
o 313666
o 313586
o 313508
o 313504
o 313467
o 313339
o 313315
o 313187
o 313109
o 313029
o 312951
o 312947
o 312923
o 312795
o 312717
o 312637
o 312559
o 312494
o 312393
o 312356
o 312228
o 312204
o 312076
o 311998
o 311918
o 311840
o 311728
o 311704
o 311576
o 311498
o 311418
o 311340
o 311290
o 311212
o 311150
o 311126
o 311049
o 310961
o 310884
o 310809
o 310732
o 310731
o 310654
o 310651
o 310574
o 310573
o 310496
o 310440
o 310437
o 310360
o 310359
o 310282
o 310278
o 310190
o 310113
o 310038
o 309961
o 309960
o 309883
o 309880
o 309803
o 309802
o 309725
o 309721
o 309646
o 309569
o 309568
o 309491
o 309488
o 309411
o 309410
o 309333
o 309268
o 309244
o 309167
o 309079
o 309002
o 308927
o 308850
o 308849
o 308772
o 308769
o 308692
o 308691
o 308614
o 308579
o 308502
o 308427
o 308350
o 308349
o 308272
o 308269
o 308192
o 308191
o 308114
o 308064
o 308063
o 307986
o 307909
o 307831
o 307766
o 307665
o 307628
o 307500
o 307476
o 307348
o 307270
o 307190
o 307112
o 307000
o 306976
o 306848
o 306770
o 306690
o 306612
o 306562
o 306484
o 306422
o 306398
o 306321
o 306233
o 306156
o 306081
o 306004
o 306003
o 305926
o 305923
o 305846
o 305845
o 305768
o 305712
o 305709
o 305632
o 305631
o 305554
o 305550
o 305462
o 305385
o 305310
o 305233
o 305232
o 305155
o 305152
o 305075
o 305074
o 304997
o 304993
o 304918
o 304841
o 304840
o 304763
o 304760
o 304683
o 304682
o 304605
o 304540
o 304516
o 304439
o 304351
o 304274
o 304199
o 304122
o 304121
o 304044
o 304041
o 303964
o 303963
o 303886
o 303851
o 303774
o 303699
o 303622
o 303621
o 303544
o 303541
o 303464
o 303463
o 303386
o 303336
o 303335
o 303258
o 303232
o 303155
o 303154
o 303077
o 303074
o 302997
o 302996
o 302919
o 302884
o 302807
o 302732
o 302655
o 302654
o 302577
o 302574
o 302497
o 302496
o 302419
o 302369
o 302368
o 302291
o 302269
o 302192
o 302114
o 302049
o 301948
o 301911
o 301783
o 301759
o 301631
o 301553
o 301473
o 301395
o 301283
o 301259
o 301131
o 301053
o 300973
o 300895
o 300845
o 300767
o 300705
o 300681
o 300604
o 300516
o 300439
o 300364
o 300287
o 300286
o 300209
o 300206
o 300129
o 300128
o 300051
o 299995
o 299992
o 299915
o 299914
o 299837
o 299833
o 299745
o 299668
o 299593
o 299516
o 299515
o 299438
o 299435
o 299358
o 299357
o 299280
o 299276
o 299201
o 299124
o 299123
o 299046
o 299043
o 298966
o 298965
o 298888
o 298823
o 298799
o 298722
o 298634
o 298557
o 298482
o 298405
o 298404
o 298327
o 298324
o 298247
o 298246
o 298169
o 298134
o 298057
o 297982
o 297905
o 297904
o 297827
o 297824
o 297747
o 297746
o 297669
o 297619
o 297618
o 297541
o 297473
o 297398
o 297321
o 297320
o 297243
o 297240
o 297163
o 297162
o 297085
o 297035
o 297034
o 296957
o 296935
o 296858
o 296780
o 296715
o 296614
o 296577
o 296449
o 296425
o 296297
o 296219
o 296139
o 296061
o 295949
o 295925
o 295797
o 295719
o 295639
o 295561
o 295511
o 295433
o 295371
o 295347
o 295270
o 295182
o 295105
o 295030
o 294953
o 294952
o 294875
o 294872
o 294795
o 294794
o 294717
o 294661
o 294658
o 294581
o 294580
o 294503
o 294499
o 294411
o 294334
o 294259
o 294182
o 294181
o 294104
o 294101
o 294024
o 294023
o 293946
o 293942
o 293867
o 293790
o 293789
o 293712
o 293709
o 293632
o 293631
o 293554
o 293489
o 293465
o 293388
o 293300
o 293223
o 293148
o 293071
o 293070
o 292993
o 292990
o 292913
o 292912
o 292835
o 292800
o 292723
o 292648
o 292571
o 292570
o 292493
o 292490
o 292413
o 292412
o 292335
o 292285
o 292284
o 292207
o 292179
o 292178
o 292101
o 292045
o 292042
o 291965
o 291964
o 291887
o 291883
o 291795
o 291718
o 291643
o 291566
o 291565
o 291488
o 291485
o 291408
o 291407
o 291330
o 291326
o 291251
o 291174
o 291173
o 291096
o 291093
o 291016
o 291015
o 290938
o 290873
o 290849
o 290772
o 290684
o 290607
o 290532
o 290455
o 290454
o 290377
o 290374
o 290297
o 290296
o 290219
o 290184
o 290107
o 290032
o 289955
o 289954
o 289877
o 289874
o 289797
o 289796
o 289719
o 289669
o 289668
o 289591
o 289588
o 289513
o 289436
o 289435
o 289358
o 289355
o 289278
o 289277
o 289200
o 289135
o 289111
o 289034
o 288946
o 288869
o 288794
o 288717
o 288716
o 288639
o 288636
o 288559
o 288558
o 288481
o 288446
o 288369
o 288294
o 288217
o 288216
o 288139
o 288136
o 288059
o 288058
o 287981
o 287931
o 287930
o 287853
o 287803
o 287802
o 287725
o 287722
o 287645
o 287644
o 287567
o 287517
o 287516
o 287439
o 287436
o 287361
o 287284
o 287283
o 287206
o 287203
o 287126
o 287125
o 287048
o 286984
o 286983
o 286906
o 286848
o 286847
o 286770
o 286717
o 286642
o 286565
o 286564
o 286487
o 286484
o 286407
o 286406
o 286329
o 286270
o 286217
o 286142
o 286065
o 286064
o 285987
o 285984
o 285907
o 285906
o 285829
o 285779
o 285778
o 285701
o 285667
o 285590
o 285589
o 285512
o 285509
o 285432
o 285431
o 285354
o 285289
o 285265
o 285188
o 285100
o 285023
o 284948
o 284871
o 284870
o 284793
o 284790
o 284713
o 284712
o 284635
o 284600
o 284523
o 284448
o 284371
o 284370
o 284293
o 284290
o 284213
o 284212
o 284135
o 284085
o 284084
o 284007
o 283957
o 283956
o 283879
o 283876
o 283799
o 283798
o 283721
o 283671
o 283670
o 283593
o 283590
o 283515
o 283438
o 283437
o 283360
o 283357
o 283280
o 283279
o 283202
o 283138
o 283137
o 283060
o 283002
o 283001
o 282924
o 282871
o 282796
o 282719
o 282718
o 282641
o 282638
o 282561
o 282560
o 282483
o 282424
o 282371
o 282296
o 282219
o 282218
o 282141
o 282138
o 282061
o 282060
o 281983
o 281933
o 281932
o 281855
o 281826
o 281825
o 281748
o 281689
o 281636
o 281561
o 281484
o 281483
o 281406
o 281403
o 281326
o 281325
o 281248
o 281198
o 281197
o 281120
o 281100
o 281048
o 281025
o 280973
o 280948
o 280896
o 280895
o 280870
o 280818
o 280815
o 280790
o 280738
o 280737
o 280712
o 280660
o 280625
o 280600
o 280548
o 280525
o 280473
o 280448
o 280396
o 280395
o 280370
o 280318
o 280315
o 280290
o 280238
o 280237
o 280212
o 280160
o 280110
o 280109
o 280084
o 280032
o 279982
o 279981
o 279956
o 279904
o 279901
o 279876
o 279824
o 279823
o 279798
o 279746
o 279696
o 279695
o 279670
o 279618
o 279615
o 279592
o 279540
o 279515
o 279463
o 279462
o 279437
o 279385
o 279382
o 279357
o 279305
o 279304
o 279279
o 279227
o 279215
o 279163
o 279162
o 279137
o 279085
o 279079
o 279027
o 279026
o 279001
o 278949
o 278948
o 278896
o 278873
o 278821
o 278796
o 278744
o 278743
o 278718
o 278666
o 278663
o 278638
o 278586
o 278585
o 278560
o 278508
o 278501
o 278449
o 278448
o 278396
o 278373
o 278321
o 278296
o 278244
o 278243
o 278218
o 278166
o 278163
o 278138
o 278086
o 278085
o 278060
o 278008
o 277958
o 277957
o 277932
o 277880
o 277851
o 277850
o 277825
o 277773
o 277766
o 277714
o 277713
o 277661
o 277638
o 277586
o 277561
o 277509
o 277508
o 277483
o 277431
o 277428
o 277403
o 277351
o 277350
o 277325
o 277273
o 277223
o 277222
o 277197
o 277145
o 277080
o 277051
o 277050
o 276973
o 276914
o 276861
o 276786
o 276709
o 276708
o 276631
o 276628
o 276551
o 276550
o 276473
o 276423
o 276422
o 276345
o 276325
o 276273
o 276250
o 276198
o 276173
o 276121
o 276120
o 276095
o 276043
o 276040
o 276015
o 275963
o 275962
o 275937
o 275885
o 275850
o 275825
o 275773
o 275750
o 275698
o 275673
o 275621
o 275620
o 275595
o 275543
o 275540
o 275515
o 275463
o 275462
o 275437
o 275385
o 275335
o 275334
o 275309
o 275257
o 275207
o 275206
o 275181
o 275129
o 275126
o 275101
o 275049
o 275048
o 275023
o 274971
o 274921
o 274920
o 274895
o 274843
o 274840
o 274817
o 274765
o 274740
o 274688
o 274687
o 274662
o 274610
o 274607
o 274582
o 274530
o 274529
o 274504
o 274452
o 274440
o 274388
o 274387
o 274362
o 274310
o 274304
o 274252
o 274251
o 274226
o 274174
o 274173
o 274121
o 274098
o 274046
o 274021
o 273969
o 273968
o 273943
o 273891
o 273888
o 273863
o 273811
o 273810
o 273785
o 273733
o 273726
o 273674
o 273673
o 273621
o 273598
o 273546
o 273521
o 273469
o 273468
o 273443
o 273391
o 273388
o 273363
o 273311
o 273310
o 273285
o 273233
o 273183
o 273182
o 273157
o 273105
o 273076
o 273075
o 273050
o 272998
o 272991
o 272939
o 272938
o 272886
o 272863
o 272811
o 272786
o 272734
o 272733
o 272708
o 272656
o 272653
o 272628
o 272576
o 272575
o 272550
o 272498
o 272448
o 272447
o 272422
o 272370
o 272320
o 272297
o 272245
o 272220
o 272168
o 272167
o 272142
o 272090
o 272087
o 272062
o 272010
o 272009
o 271984
o 271932
o 271897
o 271872
o 271820
o 271797
o 271745
o 271720
o 271668
o 271667
o 271642
o 271590
o 271587
o 271562
o 271510
o 271509
o 271484
o 271432
o 271382
o 271381
o 271356
o 271304
o 271254
o 271253
o 271228
o 271176
o 271173
o 271148
o 271096
o 271095
o 271070
o 271018
o 270968
o 270967
o 270942
o 270890
o 270884
o 270832
o 270829
o 270804
o 270752
o 270751
o 270726
o 270674
o 270657
o 270654
o 270629
o 270577
o 270576
o 270551
o 270499
o 270487
o 270435
o 270434
o 270409
o 270357
o 270351
o 270299
o 270298
o 270273
o 270221
o 270220
o 270168
o 270145
o 270093
o 270068
o 270016
o 270015
o 269990
o 269938
o 269935
o 269910
o 269858
o 269857
o 269832
o 269780
o 269773
o 269721
o 269720
o 269668
o 269645
o 269593
o 269568
o 269516
o 269515
o 269490
o 269438
o 269435
o 269410
o 269358
o 269357
o 269332
o 269280
o 269230
o 269229
o 269204
o 269152
o 269123
o 269122
o 269097
o 269045
o 269038
o 268986
o 268985
o 268933
o 268910
o 268858
o 268833
o 268781
o 268780
o 268755
o 268703
o 268700
o 268675
o 268623
o 268622
o 268597
o 268545
o 268495
o 268494
o 268469
o 268417
o 268406
o 268405
o 268380
o 268328
o 268278
o 268277
o 268252
o 268200
o 268197
o 268172
o 268120
o 268119
o 268094
o 268042
o 267992
o 267991
o 267966
o 267914
o 267911
o 267888
o 267836
o 267811
o 267759
o 267758
o 267733
o 267681
o 267678
o 267653
o 267601
o 267600
o 267575
o 267523
o 267511
o 267459
o 267458
o 267433
o 267381
o 267375
o 267323
o 267322
o 267297
o 267245
o 267244
o 267192
o 267169
o 267117
o 267092
o 267040
o 267039
o 267014
o 266962
o 266959
o 266934
o 266882
o 266881
o 266856
o 266804
o 266797
o 266745
o 266744
o 266692
o 266669
o 266617
o 266592
o 266540
o 266539
o 266514
o 266462
o 266459
o 266434
o 266382
o 266381
o 266356
o 266304
o 266254
o 266253
o 266228
o 266176
o 266147
o 266146
o 266121
o 266069
o 266062
o 266010
o 266009
o 265957
o 265934
o 265882
o 265857
o 265805
o 265804
o 265779
o 265727
o 265724
o 265699
o 265647
o 265646
o 265621
o 265569
o 265519
o 265518
o 265493
o 265441
o 265391
o 265368
o 265316
o 265291
o 265239
o 265238
o 265213
o 265161
o 265158
o 265133
o 265081
o 265080
o 265055
o 265003
o 264968
o 264943
o 264891
o 264868
o 264816
o 264791
o 264739
o 264738
o 264713
o 264661
o 264658
o 264633
o 264581
o 264580
o 264555
o 264503
o 264453
o 264452
o 264427
o 264375
o 264325
o 264324
o 264299
o 264247
o 264244
o 264219
o 264167
o 264166
o 264141
o 264089
o 264039
o 264038
o 264013
o 263961
o 263955
o 263903
o 263900
o 263875
o 263823
o 263822
o 263797
o 263745
o 263728
o 263725
o 263700
o 263648
o 263647
o 263622
o 263570
o 263558
o 263506
o 263505
o 263480
o 263428
o 263422
o 263370
o 263369
o 263344
o 263292
o 263291
o 263239
o 263216
o 263164
o 263139
o 263087
o 263086
o 263061
o 263009
o 263006
o 262981
o 262929
o 262928
o 262903
o 262851
o 262844
o 262792
o 262791
o 262739
o 262716
o 262664
o 262639
o 262587
o 262586
o 262561
o 262509
o 262506
o 262481
o 262429
o 262428
o 262403
o 262351
o 262301
o 262300
o 262275
o 262223
o 262194
o 262193
o 262168
o 262116
o 262109
o 262057
o 262056
o 262004
o 261981
o 261929
o 261904
o 261852
o 261851
o 261826
o 261774
o 261771
o 261746
o 261694
o 261693
o 261668
o 261616
o 261566
o 261565
o 261540
o 261488
o 261468
o 261416
o 261413
o 261388
o 261336
o 261335
o 261310
o 261258
o 261208
o 261207
o 261182
o 261130
o 261080
o 261079
o 261054
o 261002
o 260999
o 260974
o 260922
o 260921
o 260896
o 260844
o 260794
o 260793
o 260768
o 260716
o 260710
o 260658
o 260655
o 260630
o 260578
o 260577
o 260552
o 260500
o 260483
o 260480
o 260455
o 260403
o 260402
o 260377
o 260325
o 260313
o 260261
o 260260
o 260235
o 260183
o 260177
o 260125
o 260124
o 260099
o 260047
o 260046
o 259994
o 259971
o 259919
o 259894
o 259842
o 259841
o 259816
o 259764
o 259761
o 259736
o 259684
o 259683
o 259658
o 259606
o 259599
o 259547
o 259546
o 259494
o 259471
o 259419
o 259394
o 259342
o 259341
o 259316
o 259264
o 259261
o 259236
o 259184
o 259183
o 259158
o 259106
o 259056
o 259055
o 259030
o 258978
o 258949
o 258948
o 258923
o 258871
o 258864
o 258812
o 258811
o 258759
o 258736
o 258684
o 258659
o 258607
o 258606
o 258581
o 258529
o 258526
o 258501
o 258449
o 258448
o 258423
o 258371
o 258321
o 258320
o 258295
o 258243
o 258226
o 258225
o 258200
o 258148
o 258113
o 258088
o 258036
o 258013
o 257961
o 257936
o 257884
o 257883
o 257858
o 257806
o 257803
o 257778
o 257726
o 257725
o 257700
o 257648
o 257598
o 257597
o 257572
o 257520
o 257470
o 257469
o 257444
o 257392
o 257389
o 257364
o 257312
o 257311
o 257286
o 257234
o 257184
o 257183
o 257158
o 257106
o 257100
o 257048
o 257045
o 257020
o 256968
o 256967
o 256942
o 256890
o 256873
o 256870
o 256845
o 256793
o 256792
o 256767
o 256715
o 256703
o 256651
o 256650
o 256625
o 256573
o 256567
o 256515
o 256514
o 256489
o 256437
o 256436
o 256384
o 256361
o 256309
o 256284
o 256232
o 256231
o 256206
o 256154
o 256151
o 256126
o 256074
o 256073
o 256048
o 255996
o 255989
o 255937
o 255936
o 255884
o 255861
o 255809
o 255784
o 255732
o 255731
o 255706
o 255654
o 255651
o 255626
o 255574
o 255573
o 255548
o 255496
o 255446
o 255445
o 255420
o 255368
o 255339
o 255338
o 255313
o 255261
o 255254
o 255202
o 255201
o 255149
o 255126
o 255074
o 255049
o 254997
o 254996
o 254971
o 254919
o 254916
o 254891
o 254839
o 254838
o 254813
o 254761
o 254711
o 254710
o 254685
o 254633
o 254613
o 254561
o 254560
o 254535
o 254483
o 254433
o 254432
o 254407
o 254355
o 254305
o 254304
o 254279
o 254227
o 254224
o 254199
o 254147
o 254146
o 254121
o 254069
o 254019
o 254018
o 253993
o 253941
o 253935
o 253883
o 253880
o 253855
o 253803
o 253802
o 253777
o 253725
o 253708
o 253705
o 253680
o 253628
o 253627
o 253602
o 253550
o 253538
o 253486
o 253485
o 253460
o 253408
o 253402
o 253350
o 253349
o 253324
o 253272
o 253271
o 253219
o 253196
o 253144
o 253119
o 253067
o 253066
o 253041
o 252989
o 252986
o 252961
o 252909
o 252908
o 252883
o 252831
o 252824
o 252772
o 252771
o 252719
o 252696
o 252644
o 252619
o 252567
o 252566
o 252541
o 252489
o 252486
o 252461
o 252409
o 252408
o 252383
o 252331
o 252281
o 252280
o 252255
o 252203
o 252174
o 252173
o 252148
o 252096
o 252089
o 252037
o 252036
o 251984
o 251961
o 251909
o 251884
o 251832
o 251831
o 251806
o 251754
o 251751
o 251726
o 251674
o 251673
o 251648
o 251596
o 251546
o 251545
o 251520
o 251468
o 251451
o 251450
o 251425
o 251373
o 251338
o 251313
o 251261
o 251238
o 251186
o 251161
o 251109
o 251108
o 251083
o 251031
o 251028
o 251003
o 250951
o 250950
o 250925
o 250873
o 250823
o 250822
o 250797
o 250745
o 250695
o 250694
o 250669
o 250617
o 250614
o 250589
o 250537
o 250536
o 250511
o 250459
o 250409
o 250408
o 250383
o 250331
o 250325
o 250273
o 250270
o 250245
o 250193
o 250192
o 250167
o 250115
o 250098
o 250095
o 250070
o 250018
o 250017
o 249992
o 249940
o 249928
o 249876
o 249875
o 249850
o 249798
o 249792
o 249740
o 249739
o 249714
o 249662
o 249661
o 249609
o 249586
o 249534
o 249509
o 249457
o 249456
o 249431
o 249379
o 249376
o 249351
o 249299
o 249298
o 249273
o 249221
o 249214
o 249162
o 249161
o 249109
o 249086
o 249034
o 249009
o 248957
o 248956
o 248931
o 248879
o 248876
o 248851
o 248799
o 248798
o 248773
o 248721
o 248671
o 248670
o 248645
o 248593
o 248564
o 248563
o 248538
o 248486
o 248479
o 248427
o 248426
o 248374
o 248351
o 248299
o 248274
o 248222
o 248221
o 248196
o 248144
o 248141
o 248116
o 248064
o 248063
o 248038
o 247986
o 247936
o 247935
o 247910
o 247858
o 247819
o 247796
o 247744
o 247719
o 247667
o 247666
o 247641
o 247589
o 247586
o 247561
o 247509
o 247508
o 247483
o 247431
o 247424
o 247372
o 247371
o 247319
o 247296
o 247244
o 247219
o 247167
o 247166
o 247141
o 247089
o 247086
o 247061
o 247009
o 247008
o 246983
o 246931
o 246881
o 246880
o 246855
o 246803
o 246774
o 246773
o 246748
o 246696
o 246689
o 246637
o 246636
o 246584
o 246561
o 246509
o 246484
o 246432
o 246431
o 246406
o 246354
o 246351
o 246326
o 246274
o 246273
o 246248
o 246196
o 246146
o 246145
o 246120
o 246068
o 246051
o 246050
o 246025
o 245973
o 245938
o 245913
o 245861
o 245838
o 245786
o 245761
o 245709
o 245708
o 245683
o 245631
o 245628
o 245603
o 245551
o 245550
o 245525
o 245473
o 245423
o 245422
o 245397
o 245345
o 245295
o 245294
o 245269
o 245217
o 245214
o 245189
o 245137
o 245136
o 245111
o 245059
o 245009
o 245008
o 244983
o 244931
o 244925
o 244873
o 244870
o 244845
o 244793
o 244792
o 244767
o 244715
o 244698
o 244695
o 244670
o 244618
o 244617
o 244592
o 244540
o 244528
o 244476
o 244475
o 244450
o 244398
o 244392
o 244340
o 244339
o 244314
o 244262
o 244261
o 244209
o 244186
o 244134
o 244109
o 244057
o 244056
o 244031
o 243979
o 243976
o 243951
o 243899
o 243898
o 243873
o 243821
o 243814
o 243762
o 243761
o 243709
o 243686
o 243634
o 243609
o 243557
o 243556
o 243531
o 243479
o 243476
o 243451
o 243399
o 243398
o 243373
o 243321
o 243271
o 243270
o 243245
o 243193
o 243164
o 243163
o 243138
o 243086
o 243079
o 243027
o 243026
o 242974
o 242951
o 242899
o 242874
o 242822
o 242821
o 242796
o 242744
o 242741
o 242716
o 242664
o 242663
o 242638
o 242586
o 242536
o 242535
o 242510
o 242458
o 242453
o 242450
o 242425
o 242373
o 242372
o 242347
o 242295
o 242283
o 242231
o 242230
o 242205
o 242153
o 242147
o 242095
o 242094
o 242069
o 242017
o 242016
o 241964
o 241941
o 241889
o 241864
o 241812
o 241811
o 241786
o 241734
o 241731
o 241706
o 241654
o 241653
o 241628
o 241576
o 241569
o 241517
o 241516
o 241464
o 241441
o 241389
o 241364
o 241312
o 241311
o 241286
o 241234
o 241231
o 241206
o 241154
o 241153
o 241128
o 241076
o 241026
o 241025
o 241000
o 240948
o 240919
o 240918
o 240893
o 240841
o 240834
o 240782
o 240781
o 240729
o 240706
o 240654
o 240629
o 240577
o 240576
o 240551
o 240499
o 240496
o 240471
o 240419
o 240418
o 240393
o 240341
o 240291
o 240290
o 240265
o 240213
o 240204
o 240181
o 240129
o 240104
o 240052
o 240051
o 240026
o 239974
o 239971
o 239946
o 239894
o 239893
o 239868
o 239816
o 239809
o 239757
o 239756
o 239704
o 239681
o 239629
o 239604
o 239552
o 239551
o 239526
o 239474
o 239471
o 239446
o 239394
o 239393
o 239368
o 239316
o 239266
o 239265
o 239240
o 239188
o 239159
o 239158
o 239133
o 239081
o 239074
o 239022
o 239021
o 238969
o 238946
o 238894
o 238869
o 238817
o 238816
o 238791
o 238739
o 238736
o 238711
o 238659
o 238658
o 238633
o 238581
o 238531
o 238530
o 238505
o 238453
o 238436
o 238435
o 238410
o 238358
o 238323
o 238298
o 238246
o 238223
o 238171
o 238146
o 238094
o 238093
o 238068
o 238016
o 238013
o 237988
o 237936
o 237935
o 237910
o 237858
o 237808
o 237807
o 237782
o 237730
o 237680
o 237679
o 237654
o 237602
o 237599
o 237574
o 237522
o 237521
o 237496
o 237444
o 237394
o 237393
o 237368
o 237316
o 237310
o 237258
o 237255
o 237230
o 237178
o 237177
o 237152
o 237100
o 237083
o 237080
o 237055
o 237003
o 237002
o 236977
o 236925
o 236913
o 236861
o 236860
o 236835
o 236783
o 236777
o 236725
o 236724
o 236699
o 236647
o 236646
o 236594
o 236571
o 236519
o 236494
o 236442
o 236441
o 236416
o 236364
o 236361
o 236336
o 236284
o 236283
o 236258
o 236206
o 236199
o 236147
o 236146
o 236094
o 236071
o 236019
o 235994
o 235942
o 235941
o 235916
o 235864
o 235861
o 235836
o 235784
o 235783
o 235758
o 235706
o 235656
o 235655
o 235630
o 235578
o 235549
o 235548
o 235523
o 235471
o 235464
o 235412
o 235411
o 235359
o 235336
o 235284
o 235259
o 235207
o 235206
o 235181
o 235129
o 235126
o 235101
o 235049
o 235048
o 235023
o 234971
o 234921
o 234920
o 234895
o 234843
o 234838
o 234835
o 234810
o 234758
o 234757
o 234732
o 234680
o 234668
o 234616
o 234615
o 234590
o 234538
o 234532
o 234480
o 234479
o 234454
o 234402
o 234401
o 234349
o 234326
o 234274
o 234249
o 234197
o 234196
o 234171
o 234119
o 234116
o 234091
o 234039
o 234038
o 234013
o 233961
o 233954
o 233902
o 233901
o 233849
o 233826
o 233774
o 233749
o 233697
o 233696
o 233671
o 233619
o 233616
o 233591
o 233539
o 233538
o 233513
o 233461
o 233411
o 233410
o 233385
o 233333
o 233304
o 233303
o 233278
o 233226
o 233219
o 233167
o 233166
o 233114
o 233091
o 233039
o 233014
o 232962
o 232961
o 232936
o 232884
o 232881
o 232856
o 232804
o 232803
o 232778
o 232726
o 232676
o 232675
o 232650
o 232598
o 232597
o 232596
o 232571
o 232519
o 232516
o 232491
o 232439
o 232438
o 232413
o 232361
o 232311
o 232310
o 232285
o 232233
o 232204
o 232203
o 232178
o 232126
o 232119
o 232067
o 232066
o 232014
o 231991
o 231939
o 231914
o 231862
o 231861
o 231836
o 231784
o 231781
o 231756
o 231704
o 231703
o 231678
o 231626
o 231576
o 231575
o 231550
o 231498
o 231480
o 231428
o 231427
o 231402
o 231350
o 231300
o 231299
o 231274
o 231222
o 231207
o 231157
o 231156
o 231131
o 231079
o 231057
o 231056
o 231004
o 230981
o 230929
o 230904
o 230852
o 230851
o 230826
o 230774
o 230771
o 230746
o 230694
o 230693
o 230668
o 230616
o 230609
o 230557
o 230556
o 230504
o 230481
o 230429
o 230404
o 230352
o 230351
o 230326
o 230274
o 230271
o 230246
o 230194
o 230193
o 230168
o 230116
o 230066
o 230065
o 230040
o 229988
o 229959
o 229958
o 229933
o 229881
o 229874
o 229822
o 229821
o 229769
o 229746
o 229694
o 229669
o 229617
o 229616
o 229591
o 229539
o 229536
o 229511
o 229459
o 229458
o 229433
o 229381
o 229331
o 229330
o 229305
o 229253
o 229235
o 229183
o 229182
o 229157
o 229105
o 229055
o 229054
o 229029
o 228977
o 228962
o 228912
o 228911
o 228886
o 228834
o 228827
o 228775
o 228725
o 228724
o 228699
o 228647
o 228632
o 228582
o 228581
o 228556
o 228504
o 228461
o 228432
o 228431
o 228406
o 228354
o 228347
o 228295
o 228294
o 228242
o 228219
o 228167
o 228142
o 228090
o 228089
o 228064
o 228012
o 228009
o 227984
o 227932
o 227931
o 227906
o 227854
o 227804
o 227803
o 227778
o 227726
o 227708
o 227656
o 227655
o 227630
o 227578
o 227528
o 227527
o 227502
o 227450
o 227435
o 227385
o 227384
o 227359
o 227307
o 227285
o 227284
o 227232
o 227209
o 227157
o 227132
o 227080
o 227079
o 227054
o 227002
o 226999
o 226974
o 226922
o 226921
o 226896
o 226844
o 226837
o 226785
o 226784
o 226732
o 226709
o 226657
o 226632
o 226580
o 226579
o 226554
o 226502
o 226499
o 226474
o 226422
o 226421
o 226396
o 226344
o 226294
o 226293
o 226268
o 226216
o 226187
o 226186
o 226161
o 226109
o 226102
o 226050
o 226049
o 225997
o 225974
o 225922
o 225897
o 225845
o 225844
o 225819
o 225767
o 225764
o 225739
o 225687
o 225686
o 225661
o 225609
o 225559
o 225558
o 225533
o 225481
o 225463
o 225411
o 225410
o 225385
o 225333
o 225283
o 225282
o 225257
o 225205
o 225190
o 225140
o 225139
o 225114
o 225062
o 225039
o 224987
o 224984
o 224959
o 224907
o 224906
o 224881
o 224829
o 224779
o 224778
o 224753
o 224701
o 224700
o 224699
o 224674
o 224622
o 224619
o 224594
o 224542
o 224541
o 224516
o 224464
o 224414
o 224413
o 224388
o 224336
o 224307
o 224306
o 224281
o 224229
o 224222
o 224170
o 224169
o 224117
o 224094
o 224042
o 224017
o 223965
o 223964
o 223939
o 223887
o 223884
o 223859
o 223807
o 223806
o 223781
o 223729
o 223679
o 223678
o 223653
o 223601
o 223583
o 223531
o 223530
o 223505
o 223453
o 223403
o 223402
o 223377
o 223325
o 223310
o 223260
o 223259
o 223234
o 223182
o 223160
o 223159
o 223107
o 223084
o 223032
o 223007
o 222955
o 222954
o 222929
o 222877
o 222874
o 222849
o 222797
o 222796
o 222771
o 222719
o 222712
o 222660
o 222659
o 222607
o 222584
o 222532
o 222507
o 222455
o 222454
o 222429
o 222377
o 222374
o 222349
o 222297
o 222296
o 222271
o 222219
o 222169
o 222168
o 222143
o 222091
o 222062
o 222061
o 222036
o 221984
o 221977
o 221925
o 221924
o 221872
o 221849
o 221797
o 221772
o 221720
o 221719
o 221694
o 221642
o 221639
o 221614
o 221562
o 221561
o 221536
o 221484
o 221434
o 221433
o 221408
o 221356
o 221338
o 221286
o 221285
o 221260
o 221208
o 221158
o 221157
o 221132
o 221080
o 221065
o 221015
o 221014
o 220989
o 220937
o 220928
o 220905
o 220853
o 220828
o 220776
o 220775
o 220750
o 220698
o 220695
o 220670
o 220618
o 220617
o 220592
o 220540
o 220490
o 220489
o 220464
o 220412
o 220394
o 220342
o 220341
o 220316
o 220264
o 220214
o 220213
o 220188
o 220136
o 220121
o 220071
o 220070
o 220045
o 219993
o 219971
o 219970
o 219918
o 219895
o 219843
o 219818
o 219766
o 219765
o 219740
o 219688
o 219685
o 219660
o 219608
o 219607
o 219582
o 219530
o 219523
o 219471
o 219470
o 219418
o 219395
o 219343
o 219318
o 219266
o 219265
o 219240
o 219188
o 219185
o 219160
o 219108
o 219107
o 219082
o 219030
o 218980
o 218979
o 218954
o 218902
o 218873
o 218872
o 218847
o 218795
o 218788
o 218736
o 218735
o 218683
o 218660
o 218608
o 218583
o 218531
o 218530
o 218505
o 218453
o 218450
o 218425
o 218373
o 218372
o 218347
o 218295
o 218245
o 218244
o 218219
o 218167
o 218149
o 218097
o 218096
o 218071
o 218019
o 217969
o 217968
o 217943
o 217891
o 217876
o 217826
o 217825
o 217800
o 217748
o 217741
o 217689
o 217639
o 217638
o 217613
o 217561
o 217546
o 217496
o 217495
o 217470
o 217418
o 217375
o 217346
o 217345
o 217320
o 217268
o 217261
o 217209
o 217208
o 217156
o 217133
o 217081
o 217056
o 217004
o 217003
o 216978
o 216926
o 216923
o 216898
o 216846
o 216845
o 216820
o 216768
o 216718
o 216717
o 216692
o 216640
o 216622
o 216570
o 216569
o 216544
o 216492
o 216442
o 216441
o 216416
o 216364
o 216349
o 216299
o 216298
o 216273
o 216221
o 216199
o 216198
o 216146
o 216123
o 216071
o 216046
o 215994
o 215993
o 215968
o 215916
o 215913
o 215888
o 215836
o 215835
o 215810
o 215758
o 215751
o 215699
o 215698
o 215646
o 215623
o 215571
o 215546
o 215494
o 215493
o 215468
o 215416
o 215413
o 215388
o 215336
o 215335
o 215310
o 215258
o 215208
o 215207
o 215182
o 215130
o 215101
o 215100
o 215075
o 215023
o 215016
o 214964
o 214963
o 214911
o 214888
o 214836
o 214811
o 214759
o 214758
o 214733
o 214681
o 214678
o 214653
o 214601
o 214600
o 214575
o 214523
o 214473
o 214472
o 214447
o 214395
o 214377
o 214325
o 214324
o 214299
o 214247
o 214197
o 214196
o 214171
o 214119
o 214104
o 214054
o 214053
o 214028
o 213976
o 213953
o 213901
o 213898
o 213873
o 213821
o 213820
o 213795
o 213743
o 213693
o 213692
o 213667
o 213615
o 213614
o 213613
o 213588
o 213536
o 213533
o 213508
o 213456
o 213455
o 213430
o 213378
o 213328
o 213327
o 213302
o 213250
o 213221
o 213220
o 213195
o 213143
o 213136
o 213084
o 213083
o 213031
o 213008
o 212956
o 212931
o 212879
o 212878
o 212853
o 212801
o 212798
o 212773
o 212721
o 212720
o 212695
o 212643
o 212593
o 212592
o 212567
o 212515
o 212497
o 212445
o 212444
o 212419
o 212367
o 212317
o 212316
o 212291
o 212239
o 212224
o 212174
o 212173
o 212148
o 212096
o 212074
o 212073
o 212021
o 211998
o 211946
o 211921
o 211869
o 211868
o 211843
o 211791
o 211788
o 211763
o 211711
o 211710
o 211685
o 211633
o 211626
o 211574
o 211573
o 211521
o 211498
o 211446
o 211421
o 211369
o 211368
o 211343
o 211291
o 211288
o 211263
o 211211
o 211210
o 211185
o 211133
o 211083
o 211082
o 211057
o 211005
o 210976
o 210975
o 210950
o 210898
o 210891
o 210839
o 210838
o 210786
o 210763
o 210711
o 210686
o 210634
o 210633
o 210608
o 210556
o 210553
o 210528
o 210476
o 210475
o 210450
o 210398
o 210348
o 210347
o 210322
o 210270
o 210252
o 210200
o 210199
o 210174
o 210122
o 210072
o 210071
o 210046
o 209994
o 209979
o 209929
o 209928
o 209903
o 209851
o 209841
o 209791
o 209790
o 209765
o 209713
o 209698
o 209648
o 209647
o 209622
o 209570
o 209561
o 209538
o 209486
o 209461
o 209409
o 209408
o 209383
o 209331
o 209328
o 209303
o 209251
o 209250
o 209225
o 209173
o 209123
o 209122
o 209097
o 209045
o 209027
o 208975
o 208974
o 208949
o 208897
o 208847
o 208846
o 208821
o 208769
o 208754
o 208704
o 208703
o 208678
o 208626
o 208623
o 208571
o 208551
o 208528
o 208476
o 208451
o 208399
o 208398
o 208373
o 208321
o 208318
o 208293
o 208241
o 208240
o 208215
o 208163
o 208156
o 208104
o 208103
o 208051
o 208028
o 207976
o 207951
o 207899
o 207898
o 207873
o 207821
o 207818
o 207793
o 207741
o 207740
o 207715
o 207663
o 207613
o 207612
o 207587
o 207535
o 207506
o 207505
o 207480
o 207428
o 207421
o 207369
o 207368
o 207316
o 207293
o 207241
o 207216
o 207164
o 207163
o 207138
o 207086
o 207083
o 207058
o 207006
o 207005
o 206980
o 206928
o 206878
o 206877
o 206852
o 206800
o 206782
o 206730
o 206729
o 206704
o 206652
o 206602
o 206601
o 206576
o 206524
o 206509
o 206459
o 206458
o 206433
o 206381
o 206374
o 206322
o 206272
o 206271
o 206246
o 206194
o 206179
o 206129
o 206128
o 206103
o 206051
o 206008
o 205979
o 205978
o 205953Killed
1819.675u 0.048s 30:20.31 99.9%	0+0k 0+0io 0pf+0w