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-4.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-1_network-4.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 1487275
o 287452
o 286810
o 286006
o 285489
o 284685
o 284632
o 284575
o 284522
o 284418
o 283614
o 283097
o 282293
o 282240
o 282207
o 282205
o 282152
o 281743
o 281690
o 281554
o 280750
o 280697
o 279923
o 279870
o 279837
o 279666
o 279633
o 279613
o 279580
o 279360
o 279337
o 278533
o 278500
o 278480
o 278447
o 278352
o 278329
o 277525
o 277492
o 277472
o 277439
o 277259
o 277226
o 277206
o 277173
o 276744
o 276711
o 276691
o 276658
o 276626
o 276606
o 276573
o 276478
o 276455
o 275651
o 275618
o 275598
o 275565
o 274897
o 274864
o 274844
o 274811
o 274716
o 274693
o 273889
o 273856
o 273836
o 273803
o 273795
o 273762
o 273742
o 273709
o 273694
o 273661
o 273641
o 273608
o 273376
o 273343
o 273323
o 273290
o 272940
o 272907
o 272887
o 272854
o 272368
o 272335
o 272315
o 272282
o 271932
o 271899
o 271879
o 271846
o 271838
o 271805
o 271785
o 271752
o 271732
o 271455
o 271422
o 271019
o 270986
o 270966
o 270933
o 270925
o 270892
o 270872
o 270839
o 270838
o 270805
o 270447
o 270011
o 269978
o 269958
o 269925
o 269917
o 269884
o 269864
o 269831
o 269731
o 269698
o 269678
o 269645
o 269637
o 269604
o 269584
o 269551
o 269535
o 269502
o 269295
o 269262
o 269242
o 269209
o 269201
o 269168
o 269148
o 269115
o 269095
o 268818
o 268785
o 268769
o 268382
o 268349
o 268329
o 268296
o 268288
o 268255
o 268235
o 268202
o 268201
o 268168
o 267810
o 267761
o 267374
o 267341
o 267321
o 267288
o 267280
o 267247
o 267227
o 267194
o 267026
o 266993
o 266973
o 266940
o 266932
o 266899
o 266879
o 266846
o 266826
o 266500
o 266113
o 266080
o 266060
o 266027
o 266019
o 265986
o 265966
o 265933
o 265932
o 265899
o 265541
o 265492
o 265105
o 265072
o 265052
o 265019
o 265011
o 264978
o 264958
o 264925
o 264758
o 264725
o 264705
o 264672
o 264664
o 264631
o 264611
o 264578
o 264558
o 264232
o 263845
o 263812
o 263792
o 263759
o 263751
o 263718
o 263698
o 263665
o 263664
o 263631
o 263273
o 263224
o 262837
o 262804
o 262784
o 262751
o 262743
o 262710
o 262690
o 262657
o 262457
o 262424
o 262404
o 262371
o 262363
o 262330
o 262310
o 262277
o 262276
o 262243
o 261885
o 261836
o 261449
o 261416
o 261396
o 261363
o 261355
o 261322
o 261302
o 261269
o 261151
o 261118
o 261098
o 261065
o 261057
o 261024
o 261004
o 260971
o 260970
o 260937
o 260579
o 260530
o 260143
o 260110
o 260090
o 260057
o 260049
o 260016
o 259996
o 259963
o 259935
o 259915
o 259882
o 259532
o 259499
o 259479
o 259446
o 259438
o 259405
o 259385
o 259352
o 259288
o 259255
o 259235
o 259202
o 259194
o 259161
o 259141
o 259108
o 259107
o 259074
o 258716
o 258667
o 258280
o 258247
o 258227
o 258194
o 258186
o 258153
o 258133
o 258100
o 257900
o 257867
o 257847
o 257814
o 257806
o 257773
o 257753
o 257720
o 257719
o 257686
o 257328
o 257279
o 256892
o 256859
o 256839
o 256806
o 256798
o 256765
o 256745
o 256712
o 256594
o 256561
o 256541
o 256508
o 256500
o 256467
o 256447
o 256414
o 256413
o 256380
o 256360
o 256327
o 256022
o 255973
o 255586
o 255553
o 255533
o 255500
o 255492
o 255459
o 255439
o 255406
o 255397
o 255364
o 255344
o 255311
o 255303
o 255270
o 255250
o 255217
o 255202
o 255194
o 255161
o 255141
o 255108
o 255092
o 255059
o 254852
o 254819
o 254799
o 254766
o 254758
o 254725
o 254705
o 254672
o 254671
o 254638
o 254637
o 254604
o 254584
o 254551
o 254246
o 254197
o 253810
o 253777
o 253757
o 253724
o 253716
o 253683
o 253663
o 253630
o 253512
o 253479
o 253459
o 253426
o 253418
o 253385
o 253365
o 253332
o 253331
o 253298
o 253278
o 253245
o 252940
o 252891
o 252504
o 252471
o 252451
o 252418
o 252410
o 252377
o 252357
o 252324
o 252305
o 252272
o 252264
o 252231
o 252211
o 252178
o 252092
o 252088
o 251701
o 251652
o 251265
o 251232
o 251212
o 251179
o 251171
o 251138
o 251118
o 251085
o 251061
o 251041
o 251008
o 251000
o 250967
o 250947
o 250914
o 250796
o 250702
o 250669
o 250649
o 250616
o 250615
o 250582
o 250562
o 250529
o 250224
o 250175
o 249788
o 249755
o 249735
o 249702
o 249694
o 249661
o 249641
o 249608
o 249489
o 249456
o 249436
o 249403
o 249395
o 249362
o 249342
o 249309
o 249191
o 249097
o 249064
o 249044
o 249011
o 249010
o 248977
o 248957
o 248924
o 248619
o 248570
o 248183
o 248150
o 248130
o 248097
o 248089
o 248056
o 248036
o 248003
o 247901
o 247868
o 247848
o 247815
o 247807
o 247774
o 247754
o 247721
o 247720
o 247687
o 247667
o 247634
o 247329
o 247280
o 246893
o 246860
o 246840
o 246807
o 246799
o 246766
o 246746
o 246713
o 246595
o 246562
o 246542
o 246509
o 246414
o 246410
o 246023
o 245974
o 245587
o 245554
o 245534
o 245501
o 245493
o 245460
o 245440
o 245407
o 245390
o 245374
o 245341
o 245134
o 245101
o 245081
o 245048
o 245040
o 245007
o 244987
o 244954
o 244835
o 244802
o 244782
o 244749
o 244741
o 244708
o 244688
o 244655
o 244537
o 244443
o 244410
o 244390
o 244357
o 244356
o 244323
o 244303
o 244270
o 243965
o 243916
o 243529
o 243496
o 243476
o 243443
o 243435
o 243402
o 243382
o 243349
o 243123
o 243090
o 243070
o 243037
o 243029
o 242996
o 242976
o 242943
o 242912
o 242892
o 242859
o 242851
o 242818
o 242798
o 242765
o 242749
o 242716
o 242509
o 242476
o 242456
o 242423
o 242415
o 242382
o 242362
o 242329
o 242269
o 242236
o 242220
o 241833
o 241800
o 241780
o 241747
o 241739
o 241706
o 241686
o 241653
o 241620
o 241587
o 241535
o 241502
o 241350
o 240963
o 240914
o 240527
o 240494
o 240474
o 240441
o 240433
o 240400
o 240380
o 240347
o 240324
o 240304
o 240271
o 240211
o 240178
o 240162
o 239775
o 239742
o 239722
o 239689
o 239681
o 239648
o 239628
o 239595
o 239562
o 239529
o 239477
o 239444
o 239292
o 238905
o 238856
o 238469
o 238436
o 238416
o 238383
o 238375
o 238342
o 238322
o 238289
o 238288
o 238268
o 238235
o 238009
o 237976
o 237956
o 237923
o 237915
o 237882
o 237862
o 237829
o 237727
o 237694
o 237674
o 237641
o 237633
o 237600
o 237580
o 237547
o 237537
o 237504
o 237493
o 237460
o 237155
o 237106
o 236719
o 236686
o 236666
o 236633
o 236625
o 236592
o 236572
o 236539
o 236421
o 236388
o 236368
o 236335
o 236284
o 236251
o 236231
o 236198
o 235849
o 235800
o 235413
o 235380
o 235360
o 235327
o 235319
o 235286
o 235266
o 235233
o 235097
o 235064
o 235048
o 234661
o 234628
o 234608
o 234575
o 234567
o 234534
o 234514
o 234481
o 234226
o 234193
o 234173
o 234140
o 233791
o 233742
o 233355
o 233322
o 233302
o 233269
o 233261
o 233228
o 233208
o 233175
o 233161
o 233128
o 233118
o 233085
o 233065
o 233032
o 233024
o 232991
o 232971
o 232938
o 232836
o 232803
o 232783
o 232750
o 232699
o 232666
o 232646
o 232613
o 232264
o 232215
o 231828
o 231795
o 231775
o 231742
o 231734
o 231701
o 231681
o 231648
o 231530
o 231497
o 231477
o 231444
o 231393
o 231360
o 231340
o 231307
o 230958
o 230909
o 230522
o 230489
o 230469
o 230436
o 230428
o 230395
o 230375
o 230342
o 230206
o 230173
o 230157
o 229770
o 229737
o 229717
o 229684
o 229676
o 229643
o 229623
o 229590
o 229335
o 229302
o 229282
o 229249
o 228900
o 228851
o 228464
o 228431
o 228411
o 228378
o 228370
o 228337
o 228317
o 228284
o 228008
o 227975
o 227955
o 227922
o 227914
o 227881
o 227861
o 227828
o 227804
o 227784
o 227751
o 227718
o 227698
o 227665
o 227569
o 227536
o 227516
o 227483
o 227475
o 227442
o 227422
o 227389
o 227271
o 227177
o 227144
o 227090
o 227086
o 226699
o 226650
o 226263
o 226230
o 226169
o 226136
o 226116
o 226083
o 226023
o 225990
o 225974
o 225587
o 225554
o 225534
o 225501
o 225493
o 225460
o 225440
o 225407
o 225152
o 225119
o 225099
o 225066
o 224717
o 224668
o 224281
o 224248
o 224228
o 224195
o 224187
o 224154
o 224134
o 224101
o 223985
o 223952
o 223932
o 223899
o 223891
o 223858
o 223838
o 223805
o 223792
o 223772
o 223739
o 223731
o 223698
o 223678
o 223645
o 223529
o 223496
o 223476
o 223443
o 223435
o 223402
o 223382
o 223349
o 223240
o 223207
o 223187
o 223154
o 223146
o 223113
o 223093
o 223060
o 222944
o 222911
o 222891
o 222858
o 222850
o 222817
o 222797
o 222764
o 222658
o 222625
o 222605
o 222572
o 222564
o 222531
o 222511
o 222478
o 222454
o 222434
o 222401
o 222368
o 222348
o 222315
o 222219
o 222186
o 222166
o 222133
o 222125
o 222092
o 222072
o 222039
o 221921
o 221827
o 221794
o 221740
o 221736
o 221349
o 221300
o 220913
o 220880
o 220819
o 220786
o 220766
o 220733
o 220673
o 220640
o 220624
o 220237
o 220204
o 220184
o 220151
o 220143
o 220110
o 220090
o 220057
o 219802
o 219769
o 219749
o 219716
o 219367
o 219318
o 218931
o 218898
o 218878
o 218845
o 218837
o 218804
o 218784
o 218751
o 218635
o 218602
o 218582
o 218549
o 218541
o 218508
o 218488
o 218455
o 218442
o 218422
o 218389
o 218381
o 218348
o 218328
o 218295
o 218179
o 218146
o 218126
o 218093
o 218085
o 218052
o 218032
o 217999
o 217970
o 217950
o 217917
o 217567
o 217534
o 217514
o 217481
o 217473
o 217440
o 217420
o 217387
o 217367
o 217111
o 217078
o 217058
o 217025
o 217017
o 216984
o 216964
o 216931
o 216813
o 216780
o 216760
o 216727
o 216676
o 216643
o 216623
o 216590
o 216261
o 216228
o 216208
o 216175
o 216159
o 215805
o 215772
o 215752
o 215719
o 215711
o 215678
o 215658
o 215625
o 215509
o 215476
o 215456
o 215423
o 215415
o 215382
o 215362
o 215329
o 215220
o 215126
o 215093
o 215073
o 215040
o 214924
o 214891
o 214871
o 214838
o 214830
o 214797
o 214777
o 214744
o 214638
o 214605
o 214585
o 214552
o 214544
o 214511
o 214491
o 214458
o 214434
o 214414
o 214381
o 214348
o 214328
o 214295
o 214199
o 214166
o 214146
o 214113
o 214105
o 214072
o 214052
o 214019
o 213901
o 213807
o 213774
o 213720
o 213716
o 213329
o 213280
o 212893
o 212860
o 212799
o 212766
o 212746
o 212713
o 212653
o 212620
o 212604
o 212217
o 212184
o 212164
o 212131
o 212123
o 212090
o 212070
o 212037
o 211782
o 211749
o 211729
o 211696
o 211347
o 211298
o 210911
o 210878
o 210858
o 210825
o 210817
o 210784
o 210764
o 210731
o 210615
o 210582
o 210562
o 210529
o 210521
o 210488
o 210468
o 210435
o 210422
o 210402
o 210369
o 210361
o 210328
o 210308
o 210275
o 210159
o 210126
o 210106
o 210073
o 210065
o 210032
o 210012
o 209979
o 209974
o 209941
o 209933
o 209900
o 209880
o 209847
o 209834
o 209814
o 209781
o 209773
o 209740
o 209720
o 209687
o 209571
o 209538
o 209518
o 209485
o 209477
o 209444
o 209424
o 209391
o 209191
o 209158
o 209138
o 209105
o 209097
o 209064
o 209044
o 209011
o 208895
o 208862
o 208842
o 208809
o 208801
o 208768
o 208748
o 208715
o 208460
o 208427
o 208407
o 208374
o 208321
o 208288
o 208272
o 207885
o 207852
o 207589
o 207556
o 207536
o 207503
o 207495
o 207462
o 207442
o 207409
o 207300
o 207267
o 207247
o 207214
o 207206
o 207173
o 207153
o 207120
o 207004
o 206971
o 206951
o 206918
o 206910
o 206877
o 206857
o 206824
o 206718
o 206685
o 206665
o 206632
o 206624
o 206591
o 206571
o 206538
o 206393
o 206360
o 206340
o 206307
o 206291
o 205937
o 205904
o 205884
o 205851
o 205843
o 205810
o 205790
o 205757
o 205641
o 205608
o 205588
o 205555
o 205547
o 205514
o 205494
o 205461
o 205430
o 205388
o 205355
o 205335
o 205302
o 204973
o 204940
o 204920
o 204887
o 204871
o 204517
o 204484
o 204464
o 204431
o 204423
o 204390
o 204370
o 204337
o 204297
o 204264
o 204244
o 204211
o 204203
o 204170
o 204150
o 204117
o 204097
o 203841
o 203808
o 203788
o 203755
o 203747
o 203714
o 203694
o 203661
o 203406
o 203373
o 203353
o 203320
o 202991
o 202971
o 202922
o 202535
o 202502
o 202482
o 202449
o 202441
o 202408
o 202388
o 202355
o 202239
o 202206
o 202186
o 202153
o 202145
o 202112
o 202092
o 202059
o 202058
o 202025
o 202005
o 201972
o 201964
o 201931
o 201911
o 201878
o 201860
o 201559
o 201526
o 201506
o 201473
o 201465
o 201432
o 201412
o 201379
o 201263
o 201230
o 201210
o 201177
o 201169
o 201136
o 201116
o 201083
o 200974
o 200941
o 200921
o 200888
o 200880
o 200847
o 200827
o 200794
o 200678
o 200645
o 200625
o 200592
o 200584
o 200551
o 200531
o 200498
o 200392
o 200359
o 200339
o 200306
o 200298
o 200265
o 200245
o 200212
o 200110
o 200077
o 200057
o 200024
o 200016
o 199983
o 199963
o 199930
o 199912
o 199611
o 199578
o 199558
o 199525
o 199517
o 199484
o 199464
o 199431
o 199315
o 199282
o 199262
o 199229
o 199221
o 199188
o 199168
o 199135
o 199104
o 199093
o 199073
o 199040
o 198690
o 198657
o 198637
o 198604
o 198596
o 198563
o 198543
o 198510
o 198492
o 198191
o 198158
o 198138
o 198105
o 198097
o 198064
o 198044
o 198011
o 197981
o 197961
o 197928
o 197920
o 197887
o 197867
o 197834
o 197824
o 197791
o 197771
o 197755
o 197722
o 197515
o 197482
o 197462
o 197429
o 197421
o 197388
o 197368
o 197335
o 197080
o 197047
o 197027
o 196994
o 196708
o 196675
o 196645
o 196612
o 196596
o 196209
o 196176
o 196156
o 196123
o 196115
o 196082
o 196062
o 196029
o 195913
o 195880
o 195860
o 195827
o 195819
o 195786
o 195766
o 195733
o 195617
o 195584
o 195564
o 195531
o 195523
o 195490
o 195470
o 195437
o 195417
o 195409
o 195376
o 195356
o 195323
o 195301
o 194992
o 194959
o 194898
o 194865
o 194835
o 194802
o 194786
o 194493
o 194399
o 194366
o 194197
o 194164
o 194103
o 194070
o 194050
o 194017
o 193817
o 193784
o 193764
o 193731
o 193723
o 193690
o 193670
o 193637
o 193521
o 193488
o 193468
o 193435
o 193427
o 193394
o 193374
o 193341
o 193086
o 193053
o 193033
o 193000
o 192947
o 192914
o 192898
o 192511
o 192478
o 192215
o 192182
o 192162
o 192129
o 192121
o 192088
o 192068
o 192035
o 192032
o 191645
o 191612
o 191349
o 191316
o 191296
o 191263
o 191255
o 191222
o 191202
o 191169
o 191159
o 191126
o 191118
o 191085
o 191065
o 191032
o 191021
o 190988
o 190987
o 190979
o 190946
o 190926
o 190893
o 190877
o 190844
o 190637
o 190604
o 190584
o 190551
o 190543
o 190510
o 190490
o 190457
o 190341
o 190308
o 190288
o 190255
o 190247
o 190214
o 190194
o 190161
o 190142
o 190140
o 190120
o 190087
o 190067
o 190051
o 190018
o 189811
o 189778
o 189758
o 189725
o 189717
o 189684
o 189664
o 189631
o 189621
o 189588
o 189568
o 189552
o 189519
o 189312
o 189279
o 189259
o 189226
o 189218
o 189185
o 189165
o 189132
o 189016
o 188983
o 188963
o 188930
o 188922
o 188889
o 188869
o 188836
o 188833
o 188831
o 188803
o 188502
o 188469
o 188449
o 188416
o 188408
o 188375
o 188355
o 188322
o 188304
o 188003
o 187970
o 187950
o 187917
o 187909
o 187876
o 187856
o 187823
o 187707
o 187674
o 187654
o 187621
o 187613
o 187580
o 187560
o 187527
o 187327
o 187294
o 187274
o 187241
o 187233
o 187200
o 187180
o 187147
o 187031
o 186998
o 186978
o 186945
o 186937
o 186904
o 186884
o 186851
o 186596
o 186563
o 186543
o 186510
o 186457
o 186424
o 186408
o 186021
o 185988
o 185725
o 185692
o 185672
o 185639
o 185631
o 185598
o 185578
o 185545
o 185453
o 185420
o 185400
o 185367
o 185359
o 185326
o 185306
o 185273
o 185157
o 185124
o 185104
o 185071
o 185063
o 185030
o 185010
o 184977
o 184859
o 184826
o 184806
o 184773
o 184722
o 184689
o 184669
o 184636
o 184583
o 184550
o 184534
o 184147
o 184114
o 183851
o 183818
o 183798
o 183765
o 183757
o 183724
o 183704
o 183671
o 183653
o 183633
o 183600
o 183596
o 183563
o 183393
o 183360
o 183097
o 183064
o 183044
o 183011
o 183003
o 182970
o 182950
o 182917
o 182898
o 182868
o 182567
o 182534
o 182514
o 182481
o 182473
o 182440
o 182420
o 182387
o 182369
o 182068
o 182035
o 182015
o 181982
o 181974
o 181941
o 181921
o 181888
o 181772
o 181739
o 181719
o 181686
o 181678
o 181645
o 181625
o 181592
o 181589
o 181587
o 181559
o 181258
o 181225
o 181205
o 181172
o 181164
o 181131
o 181111
o 181078
o 181060
o 180759
o 180726
o 180706
o 180673
o 180665
o 180632
o 180612
o 180579
o 180463
o 180430
o 180410
o 180377
o 180369
o 180336
o 180316
o 180283
o 180083
o 180050
o 180030
o 179997
o 179989
o 179956
o 179936
o 179903
o 179787
o 179754
o 179734
o 179701
o 179693
o 179660
o 179640
o 179607
o 179352
o 179319
o 179299
o 179266
o 179070
o 179037
o 178777
o 178744
o 178481
o 178448
o 178428
o 178395
o 178387
o 178354
o 178334
o 178301
o 178209
o 178176
o 178156
o 178123
o 178115
o 178082
o 178062
o 178029
o 177913
o 177880
o 177860
o 177827
o 177819
o 177786
o 177766
o 177733
o 177703
o 177402
o 177369
o 177349
o 177316
o 177308
o 177275
o 177255
o 177222
o 177204
o 176903
o 176870
o 176850
o 176817
o 176809
o 176776
o 176756
o 176723
o 176607
o 176574
o 176554
o 176521
o 176513
o 176480
o 176460
o 176427
o 176417
o 176384
o 176376
o 176343
o 176323
o 176290
o 176272
o 176252
o 176219
o 176215
o 176182
o 176012
o 175979
o 175716
o 175683
o 175663
o 175630
o 175622
o 175589
o 175569
o 175536
o 175517
o 175487
o 175186
o 175153
o 175133
o 175100
o 175092
o 175059
o 175039
o 175006
o 174988
o 174687
o 174654
o 174634
o 174601
o 174593
o 174560
o 174540
o 174507
o 174391
o 174358
o 174338
o 174305
o 174297
o 174264
o 174244
o 174211
o 174208
o 174206
o 174178
o 173877
o 173844
o 173824
o 173791
o 173783
o 173750
o 173730
o 173697
o 173679
o 173378
o 173345
o 173325
o 173292
o 173284
o 173251
o 173231
o 173198
o 173082
o 173049
o 173029
o 172996
o 172988
o 172955
o 172935
o 172902
o 172702
o 172669
o 172649
o 172616
o 172608
o 172575
o 172555
o 172522
o 172406
o 172373
o 172353
o 172320
o 172312
o 172279
o 172259
o 172226
o 171971
o 171938
o 171918
o 171885
o 171689
o 171656
o 171396
o 171363
o 171100
o 171067
o 171047
o 171014
o 171006
o 170973
o 170953
o 170920
o 170828
o 170795
o 170775
o 170742
o 170734
o 170701
o 170681
o 170648
o 170532
o 170499
o 170479
o 170446
o 170438
o 170405
o 170385
o 170352
o 170322
o 170021
o 169988
o 169968
o 169935
o 169927
o 169894
o 169874
o 169841
o 169823
o 169522
o 169489
o 169469
o 169436
o 169428
o 169395
o 169375
o 169342
o 169226
o 169193
o 169173
o 169140
o 169132
o 169099
o 169079
o 169046
o 169034
o 168916
o 168883
o 168863
o 168830
o 168822
o 168789
o 168769
o 168736
o 168718
o 168417
o 168384
o 168364
o 168331
o 168323
o 168290
o 168270
o 168237
o 168121
o 168088
o 168068
o 168035
o 168027
o 167994
o 167974
o 167941
o 167938
o 167936
o 167908
o 167607
o 167574
o 167554
o 167521
o 167513
o 167480
o 167460
o 167427
o 167409
o 167108
o 167075
o 167055
o 167022
o 167014
o 166981
o 166961
o 166928
o 166812
o 166779
o 166759
o 166726
o 166718
o 166685
o 166665
o 166632
o 166432
o 166399
o 166379
o 166346
o 166338
o 166305
o 166285
o 166252
o 166136
o 166103
o 166083
o 166050
o 166042
o 166009
o 165989
o 165956
o 165701
o 165668
o 165648
o 165615
o 165419
o 165386
o 165126
o 165093
o 164830
o 164797
o 164777
o 164744
o 164736
o 164703
o 164683
o 164650
o 164558
o 164525
o 164505
o 164472
o 164464
o 164431
o 164411
o 164378
o 164262
o 164229
o 164209
o 164176
o 164168
o 164135
o 164115
o 164082
o 164052
o 163751
o 163718
o 163698
o 163665
o 163657
o 163624
o 163604
o 163571
o 163553
o 163252
o 163219
o 163199
o 163166
o 163158
o 163125
o 163105
o 163072
o 162956
o 162923
o 162903
o 162870
o 162862
o 162829
o 162809
o 162776
o 162763
o 162743
o 162710
o 162702
o 162669
o 162649
o 162616
o 162603
o 162302
o 162269
o 162249
o 162216
o 162208
o 162175
o 162155
o 162122
o 162006
o 161973
o 161953
o 161920
o 161912
o 161879
o 161859
o 161826
o 161807
o 161691
o 161658
o 161638
o 161605
o 161597
o 161564
o 161544
o 161511
o 161508
o 161496
o 161488
o 161455
o 161435
o 161402
o 161286
o 161253
o 161233
o 161200
o 161192
o 161159
o 161139
o 161106
o 160993
o 160960
o 160940
o 160907
o 160899
o 160866
o 160846
o 160813
o 160697
o 160664
o 160644
o 160611
o 160603
o 160570
o 160550
o 160517
o 160498
o 160382
o 160349
o 160329
o 160296
o 160288
o 160255
o 160235
o 160202
o 160190
o 160170
o 160137
o 160002
o 159969
o 159949
o 159916
o 159908
o 159875
o 159855
o 159822
o 159706
o 159673
o 159653
o 159620
o 159612
o 159579
o 159559
o 159526
o 159304
o 159271
o 159251
o 159218
o 159151
o 159118
o 159011
o 158978
o 158715
o 158682
o 158662
o 158629
o 158621
o 158588
o 158568
o 158535
o 158516
o 158400
o 158367
o 158347
o 158314
o 158306
o 158273
o 158253
o 158220
o 158128
o 158095
o 158075
o 158042
o 158034
o 158001
o 157981
o 157948
o 157832
o 157799
o 157779
o 157746
o 157738
o 157705
o 157685
o 157652
o 157636
o 157603
o 157583
o 157550
o 157542
o 157509
o 157489
o 157456
o 157438
o 157137
o 157104
o 157084
o 157051
o 157043
o 157010
o 156990
o 156957
o 156822
o 156789
o 156769
o 156736
o 156728
o 156695
o 156675
o 156642
o 156526
o 156493
o 156473
o 156440
o 156432
o 156399
o 156379
o 156346
o 156136
o 156103
o 156083
o 156050
o 156042
o 156009
o 155989
o 155956
o 155938
o 155637
o 155604
o 155584
o 155551
o 155543
o 155510
o 155490
o 155457
o 155341
o 155308
o 155288
o 155255
o 155247
o 155214
o 155194
o 155161
o 155131
o 154830
o 154797
o 154777
o 154744
o 154736
o 154703
o 154683
o 154650
o 154632
o 154331
o 154298
o 154278
o 154245
o 154237
o 154204
o 154184
o 154151
o 154035
o 154002
o 153982
o 153949
o 153941
o 153908
o 153888
o 153855
o 153763
o 153730
o 153710
o 153677
o 153669
o 153636
o 153616
o 153583
o 153467
o 153434
o 153414
o 153381
o 153373
o 153340
o 153320
o 153287
o 153257
o 152956
o 152923
o 152903
o 152870
o 152862
o 152829
o 152809
o 152776
o 152758
o 152457
o 152424
o 152404
o 152371
o 152363
o 152330
o 152310
o 152277
o 152161
o 152128
o 152108
o 152075
o 152067
o 152034
o 152014
o 151981
o 151968
o 151948
o 151915
o 151907
o 151874
o 151854
o 151821
o 151808
o 151507
o 151474
o 151454
o 151421
o 151413
o 151380
o 151360
o 151327
o 151211
o 151178
o 151158
o 151125
o 151117
o 151084
o 151064
o 151031
o 151012
o 150896
o 150863
o 150843
o 150810
o 150802
o 150769
o 150749
o 150716
o 150713
o 150701
o 150693
o 150660
o 150640
o 150607
o 150491
o 150458
o 150438
o 150405
o 150397
o 150364
o 150344
o 150311
o 150198
o 150165
o 150145
o 150112
o 150104
o 150071
o 150051
o 150018
o 149902
o 149869
o 149849
o 149816
o 149808
o 149775
o 149755
o 149722
o 149703
o 149587
o 149554
o 149534
o 149501
o 149493
o 149460
o 149440
o 149407
o 149395
o 149375
o 149342
o 149207
o 149174
o 149154
o 149121
o 149113
o 149080
o 149060
o 149027
o 148911
o 148878
o 148858
o 148825
o 148817
o 148784
o 148764
o 148731
o 148509
o 148476
o 148456
o 148423
o 148356
o 148323
o 148216
o 148183
o 147920
o 147887
o 147867
o 147834
o 147826
o 147793
o 147773
o 147740
o 147721
o 147605
o 147572
o 147552
o 147519
o 147511
o 147478
o 147458
o 147425
o 147333
o 147300
o 147280
o 147247
o 147239
o 147206
o 147186
o 147153
o 147037
o 147004
o 146984
o 146951
o 146943
o 146910
o 146890
o 146857
o 146841
o 146808
o 146788
o 146755
o 146747
o 146714
o 146694
o 146661
o 146643
o 146342
o 146309
o 146289
o 146256
o 146248
o 146215
o 146195
o 146162
o 146027
o 145994
o 145974
o 145941
o 145933
o 145900
o 145880
o 145847
o 145731
o 145698
o 145678
o 145645
o 145637
o 145604
o 145584
o 145551
o 145541
o 145521
o 145488
o 145480
o 145447
o 145427
o 145394
o 145385
o 145352
o 145332
o 145299
o 145291
o 145258
o 145238
o 145205
o 145089
o 145056
o 145036
o 145003
o 144995
o 144962
o 144942
o 144909
o 144899
o 144879
o 144846
o 144838
o 144805
o 144785
o 144752
o 144723
o 144690
o 144566
o 144533
o 144513
o 144480
o 144472
o 144439
o 144419
o 144386
o 144367
o 144251
o 144218
o 144198
o 144165
o 144157
o 144124
o 144104
o 144071
o 144048
o 143924
o 143891
o 143871
o 143838
o 143830
o 143797
o 143777
o 143744
o 143725
o 143609
o 143576
o 143556
o 143523
o 143515
o 143482
o 143462
o 143429
o 143423
o 143299
o 143266
o 143246
o 143213
o 143205
o 143172
o 143152
o 143119
o 143108
o 142984
o 142951
o 142931
o 142898
o 142890
o 142857
o 142837
o 142804
o 142796
o 142784
o 142751
o 142680
o 142647
o 142627
o 142594
o 142586
o 142553
o 142533
o 142500
o 142487
o 142467
o 142434
o 142380
o 142347
o 142241
o 142208
o 142084
o 142051
o 142031
o 141998
o 141990
o 141957
o 141937
o 141904
o 141893
o 141769
o 141736
o 141716
o 141683
o 141675
o 141642
o 141622
o 141589
o 141583
o 141459
o 141426
o 141406
o 141373
o 141365
o 141332
o 141312
o 141279
o 141268
o 141144
o 141111
o 141091
o 141058
o 141050
o 141017
o 140997
o 140964
o 140948
o 140940
o 140907
o 140887
o 140854
o 140843
o 140719
o 140686
o 140666
o 140633
o 140625
o 140592
o 140572
o 140539
o 140524
o 140491
o 140486
o 140453
o 140441
o 140408
o 140337
o 140304
o 140284
o 140251
o 140243
o 140210
o 140190
o 140157
o 140141
o 140108
o 140088
o 140055
o 140047
o 140014
o 139994
o 139961
o 139943
o 139799
o 139766
o 139642
o 139609
o 139589
o 139556
o 139548
o 139515
o 139495
o 139462
o 139451
o 139327
o 139294
o 139274
o 139241
o 139233
o 139200
o 139180
o 139147
o 139135
o 139102
o 139031
o 138998
o 138978
o 138945
o 138937
o 138904
o 138884
o 138851
o 138778
o 138745
o 138725
o 138692
o 138684
o 138651
o 138631
o 138598
o 138579
o 138463
o 138430
o 138410
o 138377
o 138369
o 138336
o 138316
o 138283
o 138267
o 138234
o 138214
o 138181
o 138173
o 138140
o 138120
o 138087
o 138076
o 137952
o 137919
o 137899
o 137866
o 137858
o 137825
o 137805
o 137772
o 137754
o 137735
o 137715
o 137682
o 137610
o 137577
o 137453
o 137420
o 137400
o 137367
o 137359
o 137326
o 137306
o 137273
o 137157
o 137124
o 137104
o 137071
o 137063
o 137030
o 137010
o 136977
o 136969
o 136853
o 136820
o 136800
o 136767
o 136759
o 136726
o 136706
o 136673
o 136660
o 136627
o 136503
o 136470
o 136450
o 136417
o 136398
o 136345
o 136312
o 136188
o 136155
o 136135
o 136102
o 136068
o 136035
o 135928
o 135895
o 135789
o 135756
o 135632
o 135599
o 135579
o 135546
o 135474
o 135441
o 135317
o 135284
o 135264
o 135231
o 135223
o 135190
o 135170
o 135137
o 135135
o 135102
o 135094
o 135061
o 135041
o 135008
o 134892
o 134859
o 134839
o 134806
o 134798
o 134765
o 134745
o 134712
o 134697
o 134664
o 134659
o 134643
o 134635
o 134602
o 134582
o 134549
o 134530
o 134414
o 134381
o 134361
o 134328
o 134320
o 134287
o 134267
o 134234
o 134223
o 134079
o 134046
o 133922
o 133889
o 133869
o 133836
o 133828
o 133795
o 133775
o 133742
o 133626
o 133593
o 133573
o 133540
o 133532
o 133499
o 133479
o 133446
o 133427
o 133311
o 133278
o 133258
o 133225
o 133217
o 133184
o 133164
o 133131
o 133129
o 133096
o 133088
o 133055
o 133035
o 133002
o 132990
o 132957
o 132886
o 132853
o 132833
o 132800
o 132792
o 132759
o 132739
o 132706
o 132690
o 132657
o 132649
o 132616
o 132596
o 132563
o 132547
o 132514
o 132494
o 132461
o 132453
o 132420
o 132400
o 132367
o 132356
o 132232
o 132199
o 132179
o 132146
o 132138
o 132105
o 132085
o 132052
o 132034
o 132015
o 131995
o 131962
o 131890
o 131857
o 131733
o 131700
o 131680
o 131647
o 131639
o 131606
o 131586
o 131553
o 131437
o 131404
o 131384
o 131351
o 131343
o 131310
o 131290
o 131257
o 131241
o 131233
o 131200
o 131180
o 131147
o 131136
o 131012
o 130979
o 130959
o 130926
o 130918
o 130885
o 130865
o 130832
o 130817
o 130784
o 130771
o 130756
o 130723
o 130655
o 130622
o 130602
o 130569
o 130554
o 130521
o 130508
o 130475
o 130460
o 130427
o 130387
o 130354
o 130334
o 130301
o 130230
o 130197
o 130177
o 130144
o 130129
o 130096
o 130083
o 130050
o 130035
o 130002
o 129974
o 129903
o 129870
o 129850
o 129817
o 129802
o 129769
o 129756
o 129723
o 129708
o 129675
o 129666
o 129633
o 129561
o 129528
o 129508
o 129475
o 129404
o 129371
o 129351
o 129318
o 129303
o 129270
o 129257
o 129224
o 129209
o 129176
o 129108
o 129075
o 129055
o 129022
o 129007
o 128974
o 128961
o 128928
o 128913
o 128880
o 128852
o 128832
o 128799
o 128784
o 128751
o 128683
o 128650
o 128630
o 128597
o 128582
o 128549
o 128536
o 128503
o 128488
o 128455
o 128442
o 128427
o 128394
o 128326
o 128293
o 128273
o 128240
o 128225
o 128192
o 128179
o 128146
o 128131
o 128098
o 128058
o 128025
o 128005
o 127972
o 127901
o 127868
o 127848
o 127815
o 127800
o 127767
o 127754
o 127721
o 127706
o 127673
o 127641
o 127621
o 127588
o 127573
o 127540
o 127527
o 127494
o 127479
o 127446
o 127433
o 127418
o 127385
o 127379
o 127317
o 127284
o 127264
o 127231
o 127216
o 127183
o 127170
o 127137
o 127122
o 127089
o 127049
o 127016
o 126996
o 126963
o 126954
o 126892
o 126859
o 126839
o 126806
o 126791
o 126758
o 126745
o 126712
o 126697
o 126664
o 126652
o 126619
o 126548
o 126515
o 126495
o 126462
o 126447
o 126414
o 126401
o 126368
o 126353
o 126320
o 126294
o 126279
o 126246
o 126206
o 126173
o 126153
o 126120
o 126049
o 126016
o 125996
o 125963
o 125948
o 125915
o 125902
o 125869
o 125854
o 125821
o 125816
o 125796
o 125763
o 125692
o 125659
o 125639
o 125606
o 125591
o 125558
o 125545
o 125512
o 125497
o 125464
o 125424
o 125391
o 125371
o 125338
o 125267
o 125234
o 125214
o 125181
o 125166
o 125133
o 125120
o 125087
o 125072
o 125039
o 125007
o 124987
o 124954
o 124939
o 124906
o 124893
o 124860
o 124845
o 124812
o 124807
o 124787
o 124754
o 124745
o 124683
o 124650
o 124630
o 124597
o 124582
o 124549
o 124536
o 124503
o 124488
o 124455
o 124415
o 124382
o 124362
o 124329
o 124320
o 124258
o 124225
o 124205
o 124172
o 124157
o 124124
o 124111
o 124078
o 124063
o 124030
o 124029
o 123996
o 123981
o 123948
o 123908
o 123875
o 123855
o 123822
o 123813
o 123751
o 123718
o 123698
o 123665
o 123650
o 123617
o 123604
o 123571
o 123556
o 123523
o 123487
o 123454
o 123434
o 123401
o 123392
o 123330
o 123297
o 123277
o 123244
o 123229
o 123196
o 123183
o 123150
o 123135
o 123102
o 123092
o 122957
o 122924
o 122904
o 122871
o 122863
o 122830
o 122810
o 122777
o 122762
o 122729
o 122712
o 122600
o 122567
o 122547
o 122514
o 122499
o 122466
o 122449
o 122420
o 122403
o 122372
o 122355
o 122175
o 122142
o 122122
o 122089
o 122074
o 122041
o 122024
o 121995
o 121978
o 121947
o 121930
o 121915
o 121895
o 121862
o 121854
o 121821
o 121801
o 121768
o 121753
o 121720
o 121703
o 121686
o 121653
o 121591
o 121558
o 121538
o 121505
o 121490
o 121457
o 121440
o 121411
o 121394
o 121363
o 121346
o 121334
o 121301
o 121281
o 121261
o 121228
o 121166
o 121133
o 121113
o 121080
o 121072
o 121039
o 121019
o 120986
o 120971
o 120938
o 120921
o 120904
o 120889
o 120856
o 120839
o 120807
o 120774
o 120754
o 120721
o 120659
o 120626
o 120606
o 120573
o 120558
o 120525
o 120508
o 120479
o 120464
o 120431
o 120414
o 120386
o 120353
o 120333
o 120300
o 120238
o 120205
o 120185
o 120152
o 120137
o 120104
o 120087
o 120058
o 120043
o 120010
o 119993
o 119954
o 119921
o 119901
o 119868
o 119860
o 119827
o 119807
o 119774
o 119759
o 119726
o 119709
o 119680
o 119673
o 119665
o 119632
o 119615
o 119586
o 119579
o 119571
o 119538
o 119521
o 119504
o 119497
o 119489
o 119456
o 119439
o 119427
o 119394
o 119362
o 119354
o 119321
o 119300
o 119267
o 119247
o 119214
o 119206
o 119173
o 119153
o 119120
o 119112
o 119079
o 119072
o 119064
o 119031
o 119014
o 119006
o 118973
o 118941
o 118933
o 118900
o 118879
o 118846
o 118826
o 118793
o 118785
o 118752
o 118732
o 118699
o 118691
o 118658
o 118651
o 118643
o 118610
o 118593
o 118562
o 118542
o 118509
o 118501
o 118468
o 118461
o 118453
o 118420
o 118403
o 118374
o 118367
o 118359
o 118326
o 118309
o 118278
o 118261
o 118233
o 118232
o 118200
o 118180
o 118179
o 118147
o 118140
o 118117
o 118085
o 118084
o 118052
o 118031
o 117999
o 117983
o 117951
o 117934
o 117905
o 117889
o 117857
o 117840
o 117833
o 117801
o 117800
o 117768
o 117748
o 117747
o 117715
o 117706
o 117674
o 117653
o 117621
o 117605
o 117573
o 117556
o 117547
o 117515
o 117498
o 117469
o 117453
o 117421
o 117404
o 117391
o 117375
o 117343
o 117326
o 117312
o 117311
o 117279
o 117270
o 117238
o 117217
o 117185
o 117169
o 117137
o 117107
o 117091
o 117059
o 117042
o 117027
o 116994
o 116974
o 116941
o 116933
o 116900
o 116893
o 116885
o 116852
o 116835
o 116806
o 116799
o 116791
o 116758
o 116741
o 116710
o 116690
o 116657
o 116649
o 116616
o 116609
o 116601
o 116568
o 116551
o 116522
o 116515
o 116507
o 116474
o 116457
o 116426
o 116409
o 116381
o 116380
o 116348
o 116328
o 116327
o 116295
o 116288
o 116265
o 116233
o 116232
o 116200
o 116180
o 116179
o 116147
o 116138
o 116106
o 116085
o 116053
o 116037
o 116005
o 115988
o 115981
o 115949
o 115948
o 115916
o 115896
o 115895
o 115863
o 115854
o 115822
o 115801
o 115769
o 115753
o 115721
o 115704
o 115676
o 115643
o 115635
o 115602
o 115595
o 115587
o 115554
o 115537
o 115508
o 115501
o 115493
o 115460
o 115443
o 115412
o 115392
o 115359
o 115351
o 115318
o 115311
o 115303
o 115270
o 115253
o 115224
o 115217
o 115209
o 115176
o 115159
o 115128
o 115111
o 115083
o 115082
o 115050
o 115030
o 115029
o 114997
o 114990
o 114967
o 114935
o 114934
o 114902
o 114882
o 114881
o 114849
o 114840
o 114808
o 114787
o 114755
o 114739
o 114707
o 114690
o 114683
o 114651
o 114650
o 114618
o 114598
o 114597
o 114565
o 114556
o 114524
o 114503
o 114471
o 114455
o 114423
o 114406
o 114384
o 114351
o 114343
o 114310
o 114303
o 114295
o 114262
o 114245
o 114216
o 114209
o 114201
o 114168
o 114151
o 114134
o 114105
o 114089
o 114057
o 114040
o 114022
o 114021
o 113989
o 113982
o 113959
o 113927
o 113926
o 113894
o 113873
o 113841
o 113825
o 113793
o 113776
o 113747
o 113731
o 113699
o 113682
o 113675
o 113643
o 113642
o 113610
o 113589
o 113557
o 113541
o 113509
o 113492
o 113463
o 113447
o 113415
o 113398
o 113394
o 113378
o 113346
o 113329
o 113320
o 113288
o 113271
o 113242
o 113226
o 113194
o 113177
o 113170
o 113138
o 113137
o 113105
o 113084
o 113052
o 113036
o 113004
o 112987
o 112958
o Killed
1819.619u 0.103s 30:21.42 99.9%	0+0k 0+0io 0pf+0w