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-60-1_network-3.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-3.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 842881
o 163333
o 163192
o 161627
o 161093
o 160568
o 160185
o 160145
o 159620
o 159237
o 159091
o 158566
o 158183
o 158083
o 157558
o 157175
o 157135
o 156610
o 156227
o 156081
o 155556
o 155173
o 155047
o 154522
o 154139
o 153813
o 153430
o 153284
o 152759
o 152376
o 152277
o 151894
o 151883
o 151721
o 151568
o 151185
o 151039
o 150514
o 150131
o 150120
o 149954
o 149675
o 149670
o 149571
o 149292
o 149287
o 149193
o 149188
o 149089
o 148810
o 148805
o 148799
o 148794
o 148637
o 148632
o 148484
o 148479
o 148380
o 148101
o 148096
o 147955
o 147950
o 147709
o 147430
o 147425
o 147326
o 147047
o 147042
o 147036
o 147031
o 147001
o 146722
o 146717
o 146505
o 146500
o 146253
o 146248
o 146051
o 146046
o 145947
o 145668
o 145663
o 145451
o 145446
o 145440
o 145435
o 145287
o 145282
o 145256
o 145251
o 145245
o 145240
o 145155
o 145150
o 144962
o 144957
o 144931
o 144926
o 144745
o 144740
o 144714
o 144709
o 144686
o 144681
o 144493
o 144488
o 144462
o 144457
o 144291
o 144286
o 144260
o 144255
o 144101
o 144096
o 143908
o 143903
o 143877
o 143872
o 143691
o 143686
o 143660
o 143655
o 143649
o 143644
o 143396
o 143391
o 143385
o 143380
o 143318
o 143313
o 143307
o 143302
o 143145
o 143140
o 142992
o 142987
o 142888
o 142609
o 142604
o 142463
o 142458
o 142217
o 141938
o 141933
o 141834
o 141555
o 141550
o 141544
o 141539
o 141509
o 141230
o 141225
o 141013
o 141008
o 140761
o 140756
o 140559
o 140554
o 140455
o 140176
o 140171
o 139959
o 139954
o 139948
o 139943
o 139795
o 139790
o 139764
o 139759
o 139753
o 139748
o 139663
o 139658
o 139470
o 139465
o 139439
o 139434
o 139253
o 139248
o 139222
o 139217
o 139194
o 139189
o 139001
o 138996
o 138970
o 138965
o 138799
o 138794
o 138768
o 138763
o 138609
o 138604
o 138416
o 138411
o 138385
o 138380
o 138199
o 138194
o 138168
o 138163
o 138157
o 138152
o 138132
o 138127
o 138121
o 138116
o 137946
o 137941
o 137935
o 137930
o 137915
o 137910
o 137904
o 137899
o 137770
o 137765
o 137577
o 137572
o 137546
o 137541
o 137535
o 137530
o 137360
o 137355
o 137349
o 137344
o 137329
o 137324
o 137318
o 137313
o 137301
o 137296
o 137108
o 137103
o 137077
o 137072
o 136906
o 136901
o 136875
o 136870
o 136716
o 136711
o 136523
o 136518
o 136492
o 136487
o 136306
o 136301
o 136275
o 136270
o 136264
o 136259
o 136242
o 136237
o 136049
o 136044
o 136018
o 136013
o 135832
o 135827
o 135801
o 135796
o 135666
o 135661
o 135635
o 135630
o 135449
o 135444
o 135418
o 135413
o 135407
o 135402
o 135353
o 135348
o 135322
o 135317
o 135311
o 135306
o 135136
o 135131
o 135125
o 135120
o 135105
o 135100
o 135094
o 135089
o 135086
o 135081
o 135066
o 135061
o 135055
o 135050
o 134930
o 134925
o 134919
o 134914
o 134899
o 134894
o 134888
o 134883
o 134798
o 134793
o 134605
o 134600
o 134574
o 134569
o 134388
o 134383
o 134357
o 134352
o 134346
o 134341
o 134329
o 134324
o 134136
o 134131
o 134105
o 134100
o 133934
o 133929
o 133903
o 133898
o 133744
o 133739
o 133551
o 133546
o 133520
o 133515
o 133334
o 133329
o 133303
o 133298
o 133292
o 133287
o 133267
o 133262
o 133256
o 133251
o 133081
o 133076
o 133070
o 133065
o 133050
o 133045
o 133039
o 133034
o 132905
o 132900
o 132712
o 132707
o 132681
o 132676
o 132670
o 132665
o 132495
o 132490
o 132484
o 132479
o 132464
o 132459
o 132453
o 132448
o 132436
o 132431
o 132243
o 132238
o 132212
o 132207
o 132041
o 132036
o 132010
o 132005
o 131851
o 131846
o 131658
o 131653
o 131627
o 131622
o 131441
o 131436
o 131410
o 131405
o 131399
o 131394
o 131377
o 131372
o 131184
o 131179
o 131153
o 131148
o 130967
o 130962
o 130936
o 130931
o 130801
o 130796
o 130770
o 130765
o 130584
o 130579
o 130553
o 130548
o 130542
o 130537
o 130373
o 130368
o 130342
o 130337
o 130156
o 130151
o 130125
o 130120
o 129990
o 129985
o 129959
o 129954
o 129773
o 129768
o 129742
o 129737
o 129731
o 129726
o 129709
o 129704
o 129516
o 129511
o 129485
o 129480
o 129299
o 129294
o 129268
o 129263
o 129133
o 129128
o 129102
o 129097
o 128916
o 128911
o 128885
o 128880
o 128874
o 128869
o 128852
o 128847
o 128821
o 128816
o 128810
o 128805
o 128635
o 128630
o 128624
o 128619
o 128604
o 128599
o 128593
o 128588
o 128585
o 128580
o 128565
o 128560
o 128554
o 128549
o 128429
o 128424
o 128418
o 128413
o 128398
o 128393
o 128387
o 128382
o 128297
o 128292
o 128104
o 128099
o 128073
o 128068
o 127887
o 127882
o 127856
o 127851
o 127845
o 127840
o 127828
o 127823
o 127635
o 127630
o 127604
o 127599
o 127433
o 127428
o 127402
o 127397
o 127243
o 127238
o 127050
o 127045
o 127019
o 127014
o 126833
o 126828
o 126802
o 126797
o 126791
o 126786
o 126766
o 126761
o 126755
o 126750
o 126580
o 126575
o 126569
o 126564
o 126549
o 126544
o 126538
o 126533
o 126404
o 126399
o 126211
o 126206
o 126180
o 126175
o 126169
o 126164
o 125994
o 125989
o 125983
o 125978
o 125963
o 125958
o 125952
o 125947
o 125935
o 125930
o 125742
o 125737
o 125711
o 125706
o 125540
o 125535
o 125509
o 125504
o 125350
o 125345
o 125157
o 125152
o 125126
o 125121
o 124940
o 124935
o 124909
o 124904
o 124898
o 124893
o 124876
o 124871
o 124683
o 124678
o 124652
o 124647
o 124466
o 124461
o 124435
o 124430
o 124300
o 124295
o 124269
o 124264
o 124083
o 124078
o 124052
o 124047
o 124041
o 124036
o 123937
o 123932
o 123906
o 123901
o 123747
o 123742
o 123554
o 123549
o 123523
o 123518
o 123512
o 123507
o 123337
o 123332
o 123326
o 123321
o 123306
o 123301
o 123295
o 123290
o 123273
o 123268
o 123080
o 123075
o 123049
o 123044
o 122863
o 122858
o 122832
o 122827
o 122697
o 122692
o 122666
o 122661
o 122480
o 122475
o 122449
o 122444
o 122438
o 122433
o 122281
o 122276
o 122250
o 122245
o 122079
o 122074
o 122048
o 122043
o 121889
o 121884
o 121696
o 121691
o 121665
o 121660
o 121479
o 121474
o 121448
o 121443
o 121437
o 121432
o 121415
o 121410
o 121222
o 121217
o 121191
o 121186
o 121005
o 121000
o 120974
o 120969
o 120839
o 120834
o 120808
o 120803
o 120622
o 120617
o 120591
o 120586
o 120580
o 120575
o 120523
o 120518
o 120492
o 120487
o 120306
o 120301
o 120275
o 120270
o 120264
o 120259
o 120242
o 120237
o 120049
o 120044
o 120018
o 120013
o 120007
o 120002
o 119832
o 119827
o 119821
o 119816
o 119801
o 119796
o 119790
o 119785
o 119666
o 119655
o 119650
o 119635
o 119630
o 119624
o 119619
o 119449
o 119444
o 119438
o 119433
o 119418
o 119413
o 119407
o 119402
o 119306
o 119301
o 119275
o 119270
o 119104
o 119099
o 119073
o 119068
o 118914
o 118909
o 118721
o 118716
o 118690
o 118685
o 118504
o 118499
o 118473
o 118468
o 118462
o 118457
o 118440
o 118435
o 118247
o 118242
o 118216
o 118211
o 118030
o 118025
o 117999
o 117994
o 117864
o 117859
o 117833
o 117828
o 117647
o 117642
o 117616
o 117611
o 117605
o 117600
o 117419
o 117414
o 117388
o 117383
o 117377
o 117372
o 117202
o 117197
o 117191
o 117186
o 117171
o 117166
o 117160
o 117155
o 117056
o 117051
o 117025
o 117020
o 116866
o 116861
o 116673
o 116668
o 116642
o 116637
o 116631
o 116626
o 116456
o 116451
o 116445
o 116440
o 116425
o 116420
o 116414
o 116409
o 116392
o 116387
o 116199
o 116194
o 116168
o 116163
o 115982
o 115977
o 115951
o 115946
o 115816
o 115811
o 115785
o 115780
o 115599
o 115594
o 115568
o 115563
o 115557
o 115552
o 115400
o 115395
o 115369
o 115364
o 115198
o 115193
o 115167
o 115162
o 115008
o 115003
o 114815
o 114810
o 114784
o 114779
o 114598
o 114593
o 114567
o 114562
o 114556
o 114551
o 114534
o 114529
o 114341
o 114336
o 114310
o 114305
o 114124
o 114119
o 114093
o 114088
o 113958
o 113953
o 113927
o 113922
o 113741
o 113736
o 113710
o 113705
o 113699
o 113694
o 113642
o 113637
o 113611
o 113606
o 113425
o 113420
o 113394
o 113389
o 113383
o 113378
o 113361
o 113356
o 113168
o 113163
o 113137
o 113132
o 113126
o 113121
o 112951
o 112946
o 112940
o 112935
o 112920
o 112915
o 112909
o 112904
o 112785
o 112774
o 112769
o 112754
o 112749
o 112743
o 112738
o 112568
o 112563
o 112557
o 112552
o 112537
o 112532
o 112526
o 112521
o 112425
o 112420
o 112394
o 112389
o 112223
o 112218
o 112192
o 112187
o 112033
o 112028
o 111840
o 111835
o 111809
o 111804
o 111623
o 111618
o 111592
o 111587
o 111581
o 111576
o 111559
o 111554
o 111366
o 111361
o 111335
o 111330
o 111149
o 111144
o 111118
o 111113
o 110983
o 110978
o 110952
o 110947
o 110766
o 110761
o 110735
o 110730
o 110724
o 110719
o 110707
o 110706
o 110702
o 110701
o 110696
o 110691
o 110690
o 110521
o 110520
o 110516
o 110515
o 110510
o 110509
o 110505
o 110504
o 110490
o 110489
o 110485
o 110484
o 110479
o 110478
o 110474
o 110473
o 110375
o 110374
o 110370
o 110369
o 110344
o 110343
o 110339
o 110338
o 110185
o 110180
o 109992
o 109987
o 109961
o 109956
o 109955
o 109950
o 109949
o 109945
o 109944
o 109775
o 109764
o 109759
o 109758
o 109744
o 109743
o 109739
o 109738
o 109733
o 109732
o 109728
o 109727
o 109711
o 109706
o 109518
o 109513
o 109487
o 109482
o 109481
o 109301
o 109300
o 109296
o 109295
o 109270
o 109269
o 109265
o 109264
o 109135
o 109130
o 109104
o 109099
o 109098
o 108918
o 108917
o 108913
o 108912
o 108887
o 108886
o 108882
o 108881
o 108876
o 108875
o 108871
o 108870
o 108719
o 108714
o 108713
o 108688
o 108687
o 108683
o 108682
o 108517
o 108512
o 108511
o 108486
o 108485
o 108481
o 108480
o 108327
o 108322
o 108134
o 108129
o 108103
o 108098
o 108097
o 107917
o 107912
o 107911
o 107886
o 107885
o 107881
o 107880
o 107875
o 107874
o 107870
o 107869
o 107853
o 107848
o 107660
o 107655
o 107629
o 107624
o 107623
o 107443
o 107442
o 107438
o 107437
o 107412
o 107411
o 107407
o 107406
o 107277
o 107272
o 107246
o 107241
o 107240
o 107060
o 107059
o 107055
o 107054
o 107029
o 107028
o 107024
o 107023
o 107018
o 107017
o 107013
o 107012
o 106961
o 106956
o 106930
o 106925
o 106924
o 106744
o 106739
o 106713
o 106708
o 106707
o 106702
o 106701
o 106697
o 106696
o 106680
o 106675
o 106487
o 106482
o 106456
o 106451
o 106445
o 106440
o 106439
o 106270
o 106269
o 106265
o 106264
o 106239
o 106238
o 106234
o 106233
o 106228
o 106227
o 106223
o 106222
o 106104
o 106093
o 106088
o 106073
o 106068
o 106062
o 106057
o 106056
o 105887
o 105886
o 105882
o 105881
o 105856
o 105855
o 105851
o 105850
o 105845
o 105844
o 105840
o 105839
o 105744
o 105743
o 105739
o 105738
o 105713
o 105712
o 105708
o 105707
o 105542
o 105537
o 105536
o 105511
o 105510
o 105506
o 105505
o 105352
o 105347
o 105159
o 105154
o 105128
o 105123
o 105122
o 104942
o 104937
o 104936
o 104911
o 104910
o 104906
o 104905
o 104900
o 104899
o 104895
o 104894
o 104878
o 104873
o 104685
o 104680
o 104654
o 104649
o 104648
o 104468
o 104467
o 104463
o 104462
o 104437
o 104436
o 104432
o 104431
o 104302
o 104297
o 104271
o 104266
o 104265
o 104085
o 104084
o 104080
o 104079
o 104054
o 104053
o 104049
o 104048
o 104043
o 104042
o 104038
o 104037
o 104032
o 104031
o 104027
o 104026
o 104001
o 104000
o 103996
o 103995
o 103990
o 103989
o 103985
o 103984
o 103833
o 103828
o 103822
o 103817
o 103802
o 103797
o 103791
o 103786
o 103785
o 103775
o 103774
o 103770
o 103769
o 103744
o 103743
o 103739
o 103738
o 103558
o 103557
o 103553
o 103552
o 103527
o 103526
o 103522
o 103521
o 103516
o 103515
o 103511
o 103510
o 103450
o 103439
o 103434
o 103419
o 103414
o 103408
o 103403
o 103402
o 103392
o 103391
o 103387
o 103386
o 103361
o 103360
o 103356
o 103355
o 103175
o 103174
o 103170
o 103169
o 103144
o 103143
o 103139
o 103138
o 103133
o 103132
o 103128
o 103127
o 103070
o 103069
o 103065
o 103064
o 103039
o 103038
o 103034
o 103033
o 103028
o 103023
o 103022
o 103012
o 103011
o 103001
o 103000
o 102996
o 102995
o 102981
o 102980
o 102976
o 102975
o 102970
o 102969
o 102965
o 102964
o 102795
o 102794
o 102790
o 102789
o 102784
o 102783
o 102779
o 102778
o 102764
o 102763
o 102759
o 102758
o 102753
o 102752
o 102748
o 102747
o 102722
o 102721
o 102717
o 102716
o 102691
o 102690
o 102686
o 102685
o 102680
o 102675
o 102674
o 102505
o 102504
o 102500
o 102499
o 102474
o 102473
o 102469
o 102468
o 102463
o 102462
o 102458
o 102457
o 102447
o 102442
o 102416
o 102411
o 102230
o 102225
o 102199
o 102194
o 102193
o 102188
o 102187
o 102183
o 102182
o 102031
o 102026
o 102020
o 102015
o 102000
o 101995
o 101989
o 101984
o 101983
o 101973
o 101972
o 101968
o 101967
o 101942
o 101941
o 101937
o 101936
o 101756
o 101755
o 101751
o 101750
o 101725
o 101724
o 101720
o 101719
o 101714
o 101713
o 101709
o 101708
o 101648
o 101637
o 101632
o 101617
o 101612
o 101606
o 101601
o 101600
o 101590
o 101589
o 101585
o 101584
o 101559
o 101558
o 101554
o 101553
o 101373
o 101372
o 101368
o 101367
o 101342
o 101341
o 101337
o 101336
o 101331
o 101330
o 101326
o 101325
o 101237
o 101232
o 101044
o 101039
o 101013
o 101008
o 101007
o 101002
o 101001
o 100997
o 100996
o 100827
o 100816
o 100811
o 100810
o 100796
o 100795
o 100791
o 100790
o 100785
o 100784
o 100780
o 100779
o 100723
o 100718
o 100692
o 100687
o 100686
o 100506
o 100505
o 100501
o 100500
o 100475
o 100474
o 100470
o 100469
o 100447
o 100442
o 100254
o 100249
o 100223
o 100218
o 100217
o 100052
o 100047
o 100046
o 100021
o 100020
o 100016
o 100015
o 99862
o 99857
o 99669
o 99664
o 99638
o 99633
o 99632
o 99452
o 99447
o 99446
o 99421
o 99420
o 99416
o 99415
o 99410
o 99409
o 99405
o 99404
o 99388
o 99383
o 99195
o 99190
o 99164
o 99159
o 99158
o 98978
o 98977
o 98973
o 98972
o 98947
o 98946
o 98942
o 98941
o 98812
o 98807
o 98781
o 98776
o 98775
o 98595
o 98594
o 98590
o 98589
o 98564
o 98563
o 98559
o 98558
o 98553
o 98552
o 98548
o 98547
o 98542
o 98541
o 98537
o 98536
o 98511
o 98510
o 98506
o 98505
o 98500
o 98499
o 98495
o 98494
o 98343
o 98338
o 98332
o 98327
o 98312
o 98307
o 98301
o 98296
o 98295
o 98285
o 98284
o 98280
o 98279
o 98254
o 98253
o 98249
o 98248
o 98068
o 98067
o 98063
o 98062
o 98037
o 98036
o 98032
o 98031
o 98026
o 98025
o 98021
o 98020
o 97960
o 97949
o 97944
o 97929
o 97924
o 97918
o 97913
o 97912
o 97902
o 97901
o 97897
o 97896
o 97871
o 97870
o 97866
o 97865
o 97685
o 97684
o 97680
o 97679
o 97654
o 97653
o 97649
o 97648
o 97643
o 97642
o 97638
o 97637
o 97580
o 97579
o 97575
o 97574
o 97549
o 97548
o 97544
o 97543
o 97538
o 97533
o 97532
o 97522
o 97521
o 97511
o 97510
o 97506
o 97505
o 97491
o 97490
o 97486
o 97485
o 97480
o 97479
o 97475
o 97474
o 97305
o 97304
o 97300
o 97299
o 97294
o 97293
o 97289
o 97288
o 97274
o 97273
o 97269
o 97268
o 97263
o 97262
o 97258
o 97257
o 97232
o 97231
o 97227
o 97226
o 97201
o 97200
o 97196
o 97195
o 97190
o 97185
o 97184
o 97015
o 97014
o 97010
o 97009
o 96984
o 96983
o 96979
o 96978
o 96973
o 96972
o 96968
o 96967
o 96957
o 96952
o 96926
o 96921
o 96740
o 96735
o 96709
o 96704
o 96703
o 96698
o 96697
o 96693
o 96692
o 96541
o 96536
o 96530
o 96525
o 96510
o 96505
o 96499
o 96494
o 96493
o 96483
o 96482
o 96478
o 96477
o 96452
o 96451
o 96447
o 96446
o 96266
o 96265
o 96261
o 96260
o 96235
o 96234
o 96230
o 96229
o 96224
o 96223
o 96219
o 96218
o 96158
o 96147
o 96142
o 96127
o 96122
o 96116
o 96111
o 96110
o 96100
o 96099
o 96095
o 96094
o 96069
o 96068
o 96064
o 96063
o 95883
o 95882
o 95878
o 95877
o 95852
o 95851
o 95847
o 95846
o 95841
o 95840
o 95836
o 95835
o 95772
o 95767
o 95579
o 95574
o 95548
o 95543
o 95537
o 95532
o 95531
o 95497
o 95492
o 95304
o 95299
o 95273
o 95268
o 95267
o 95262
o 95261
o 95257
o 95256
o 95087
o 95076
o 95071
o 95070
o 95056
o 95055
o 95051
o 95050
o 95045
o 95044
o 95040
o 95039
o 94923
o 94922
o 94918
o 94917
o 94892
o 94891
o 94887
o 94886
o 94881
o 94880
o 94876
o 94875
o 94830
o 94819
o 94814
o 94799
o 94794
o 94788
o 94783
o 94782
o 94772
o 94771
o 94767
o 94766
o 94741
o 94740
o 94736
o 94735
o 94555
o 94554
o 94550
o 94549
o 94524
o 94523
o 94519
o 94518
o 94513
o 94512
o 94508
o 94507
o 94467
o 94462
o 94436
o 94431
o 94430
o 94250
o 94249
o 94245
o 94244
o 94219
o 94218
o 94214
o 94213
o 94186
o 94181
o 93993
o 93988
o 93962
o 93957
o 93956
o 93776
o 93775
o 93771
o 93770
o 93745
o 93744
o 93740
o 93739
o 93718
o 93713
o 93687
o 93682
o 93681
o 93501
o 93500
o 93496
o 93495
o 93470
o 93469
o 93465
o 93464
o 93459
o 93458
o 93454
o 93453
o 93302
o 93297
o 93271
o 93266
o 93265
o 93244
o 93243
o 93239
o 93238
o 93213
o 93212
o 93208
o 93207
o 93027
o 93026
o 93022
o 93021
o 92996
o 92995
o 92991
o 92990
o 92919
o 92914
o 92888
o 92883
o 92882
o 92861
o 92860
o 92856
o 92855
o 92830
o 92829
o 92825
o 92824
o 92644
o 92643
o 92639
o 92638
o 92613
o 92612
o 92608
o 92607
o 92602
o 92601
o 92597
o 92596
o 92533
o 92528
o 92340
o 92335
o 92309
o 92304
o 92303
o 92258
o 92253
o 92065
o 92060
o 92034
o 92029
o 92028
o 91848
o 91843
o 91842
o 91817
o 91816
o 91812
o 91811
o 91806
o 91805
o 91801
o 91800
o 91633
o 91628
o 91627
o 91602
o 91597
o 91596
o 91591
o 91590
o 91586
o 91585
o 91524
o 91519
o 91331
o 91326
o 91300
o 91295
o 91294
o 91289
o 91288
o 91284
o 91283
o 91249
o 91244
o 91056
o 91051
o 91025
o 91020
o 91019
o 91014
o 91013
o 91009
o 91008
o 90993
o 90982
o 90981
o 90977
o 90976
o 90962
o 90961
o 90957
o 90956
o 90951
o 90950
o 90946
o 90945
o 90924
o 90913
o 90908
o 90907
o 90707
o 90702
o 90701
o 90696
o 90695
o 90691
o 90690
o 90649
o 90638
o 90633
o 90632
o 90432
o 90427
o 90426
o 90421
o 90420
o 90416
o 90415
o 90268
o 90267
o 90263
o 90262
o 90257
o 90256
o 90252
o 90251
o 90177
o 90176
o 90172
o 90171
o 90166
o 90165
o 90161
o 90160
o 89903
o 89898
o 89897
o 89892
o 89891
o 89887
o 89886
o 89628
o 89623
o 89622
o 89617
o 89616
o 89612
o 89611
o 89411
o 89406
o 89405
o 89400
o 89399
o 89395
o 89394
o 89338
o 89337
o 89333
o 89332
o 89327
o 89322
o 89321
o 89121
o 89116
o 89115
o 89110
o 89109
o 89105
o 89104
o 89063
o 89058
o 88846
o 88841
o 88840
o 88835
o 88834
o 88830
o 88829
o 88755
o 88754
o 88750
o 88749
o 88744
o 88743
o 88739
o 88738
o 88481
o 88476
o 88475
o 88470
o 88469
o 88465
o 88464
o 88206
o 88201
o 88200
o 88195
o 88194
o 88190
o 88189
o 87989
o 87984
o 87983
o 87978
o 87977
o 87973
o 87972
o 87964
o 87685
o 87680
o 87679
o 87410
o 87405
o 87404
o 87193
o 87188
o 87187
o 87182
o 87181
o 87177
o 87176
o 86978
o 86973
o 86972
o 86967
o 86966
o 86962
o 86961
o 86955
o 86676
o 86671
o 86670
o 86665
o 86664
o 86660
o 86659
o 86401
o 86396
o 86395
o 86390
o 86389
o 86385
o 86384
o 86338
o 86337
o 86333
o 86332
o 86327
o 86326
o 86322
o 86321
o 86131
o 86126
o 86120
o 86115
o 86114
o 86073
o 86072
o 86068
o 86067
o 85856
o 85851
o 85850
o 85845
o 85844
o 85840
o 85839
o 85795
o 85794
o 85790
o 85789
o 85784
o 85783
o 85779
o 85778
o 85770
o 85491
o 85486
o 85480
o 85475
o 85474
o 85216
o 85211
o 85210
o 85205
o 85204
o 85200
o 85199
o 84999
o 84994
o 84993
o 84988
o 84987
o 84983
o 84982
o 84784
o 84779
o 84778
o 84773
o 84772
o 84768
o 84767
o 84761
o 84482
o 84477
o 84476
o 84471
o 84470
o 84466
o 84465
o 84207
o 84202
o 84201
o 84196
o 84195
o 84191
o 84190
o 84144
o 84143
o 84139
o 84138
o 84133
o 84132
o 84128
o 84127
o 84121
o 84116
o 84115
o 84110
o 84109
o 84105
o 84104
o 84063
o 84062
o 84058
o 84057
o 84052
o 84051
o 84047
o 84046
o 83846
o 83841
o 83840
o 83835
o 83834
o 83830
o 83829
o 83631
o 83626
o 83625
o 83620
o 83619
o 83615
o 83614
o 83608
o 83329
o 83324
o 83323
o 83318
o 83317
o 83313
o 83312
o 83054
o 83049
o 83048
o 83043
o 83042
o 83038
o 83037
o 82991
o 82990
o 82986
o 82985
o 82980
o 82979
o 82975
o 82974
o 82784
o 82779
o 82773
o 82768
o 82767
o 82726
o 82725
o 82721
o 82720
o 82509
o 82504
o 82503
o 82498
o 82497
o 82493
o 82492
o 82448
o 82447
o 82443
o 82442
o 82437
o 82436
o 82432
o 82431
o 82423
o 82144
o 82139
o 82133
o 82128
o 82127
o 81869
o 81864
o 81863
o 81858
o 81857
o 81853
o 81852
o 81652
o 81647
o 81646
o 81641
o 81640
o 81636
o 81635
o 81437
o 81432
o 81431
o 81426
o 81425
o 81421
o 81420
o 81414
o 81135
o 81130
o 81129
o 81124
o 81123
o 81119
o 81118
o 80860
o 80855
o 80854
o 80849
o 80848
o 80844
o 80843
o 80797
o 80796
o 80792
o 80791
o 80786
o 80785
o 80781
o 80780
o 80738
o 80733
o 80634
o 80355
o 80350
o 80349
o 80344
o 80343
o 80339
o 80338
o 80292
o 80291
o 80287
o 80286
o 80281
o 80280
o 80276
o 80275
o 80122
o 80117
o 79841
o 79836
o 79835
o 79830
o 79829
o 79825
o 79824
o 79778
o 79777
o 79773
o 79772
o 79767
o 79766
o 79762
o 79761
o 79675
o 79674
o 79670
o 79669
o 79664
o 79663
o 79659
o 79658
o 79614
o 79613
o 79609
o 79608
o 79603
o 79602
o 79598
o 79597
o 79589
o 79310
o 79305
o 79299
o 79294
o 79293
o 79035
o 79030
o 79029
o 79024
o 79023
o 79019
o 79018
o 78818
o 78813
o 78812
o 78807
o 78806
o 78802
o 78801
o 78603
o 78598
o 78597
o 78592
o 78591
o 78587
o 78586
o 78580
o 78301
o 78296
o 78295
o 78290
o 78289
o 78285
o 78284
o 78026
o 78021
o 78020
o 78015
o 78014
o 78010
o 78009
o 77963
o 77962
o 77958
o 77957
o 77952
o 77951
o 77947
o 77946
o 77904
o 77899
o 77800
o 77521
o 77516
o 77515
o 77510
o 77509
o 77505
o 77504
o 77458
o 77457
o 77453
o 77452
o 77447
o 77446
o 77442
o 77441
o 77288
o 77283
o 77007
o 77002
o 77001
o 76996
o 76995
o 76991
o 76990
o 76944
o 76943
o 76939
o 76938
o 76933
o 76932
o 76928
o 76927
o 76679
o 76678
o 76668
o 76667
o 76616
o 76615
o 76605
o 76604
o 76398
o 76397
o 76387
o 76386
o 76335
o 76334
o 76324
o 76323
o 76303
o 76292
o 76287
o 76286
o 76240
o 76239
o 76235
o 76234
o 76229
o 76228
o 76224
o 76223
o 76142
o 76141
o 76137
o 76136
o 75948
o 75943
o 75942
o 75844
o 75565
o 75560
o 75559
o 75554
o 75553
o 75549
o 75548
o 75502
o 75501
o 75497
o 75496
o 75491
o 75490
o 75486
o 75485
o 75284
o 75279
o 75278
o 75273
o 75272
o 75268
o 75267
o 75221
o 75220
o 75216
o 75215
o 75210
o 75209
o 75205
o 75204
o 75118
o 75117
o 75113
o 75112
o 75107
o 75106
o 75102
o 75101
o 75057
o 75056
o 75052
o 75051
o 74861
o 74856
o 74855
o 74757
o 74478
o 74473
o 74472
o 74261
o 74256
o 74255
o 74250
o 74249
o 74245
o 74244
o 74046
o 74041
o 74040
o 74035
o 74034
o 74030
o 74029
o 73852
o 73847
o 73846
o 73748
o 73469
o 73464
o 73463
o 73458
o 73457
o 73453
o 73452
o 73406
o 73401
o 73400
o 73395
o 73394
o 73390
o 73389
o 73242
o 73241
o 73237
o 73236
o 73231
o 73230
o 73226
o 73225
o 73114
o 73113
o 73109
o 73108
o 73010
o 72731
o 72726
o 72725
o 72720
o 72719
o 72715
o 72714
o 72668
o 72667
o 72663
o 72662
o 72657
o 72656
o 72652
o 72651
o 72450
o 72445
o 72444
o 72439
o 72438
o 72434
o 72433
o 72387
o 72386
o 72382
o 72381
o 72376
o 72375
o 72371
o 72370
o 72224
o 72223
o 71841
o 71840
o 71830
o 71829
o 71778
o 71777
o 71767
o 71766
o 71542
o 71537
o 71536
o 71531
o 71530
o 71526
o 71525
o 71479
o 71478
o 71474
o 71473
o 71468
o 71467
o 71463
o 71462
o 71461
o 71460
o 71262
o 71257
o 71256
o 71251
o 71250
o 71246
o 71245
o 71242
o 71241
o 71068
o 71067
o 71063
o 71062
o 70964
o 70685
o 70680
o 70679
o 70674
o 70673
o 70669
o 70668
o 70622
o 70621
o 70617
o 70616
o 70611
o 70610
o 70606
o 70605
o 70497
o 70496
o 70492
o 70491
o 70486
o 70481
o 70480
o 70280
o 70275
o 70274
o 70269
o 70268
o 70264
o 70263
o 70251
o 70250
o 70246
o 70245
o 70240
o 70239
o 70235
o 70234
o 70065
o 70060
o 70059
o 70054
o 70053
o 70049
o 70048
o 69871
o 69866
o 69865
o 69767
o 69488
o 69483
o 69482
o 69477
o 69476
o 69472
o 69471
o 69459
o 69458
o 69454
o 69453
o 69448
o 69447
o 69443
o 69442
o 69425
o 69424
o 69420
o 69419
o 69414
o 69413
o 69409
o 69408
o 69396
o 69395
o 69391
o 69390
o 69385
o 69384
o 69380
o 69379
o 69261
o 69260
o 69256
o 69255
o 69250
o 69249
o 69245
o 69244
o 69232
o 69231
o 69227
o 69226
o 69221
o 69220
o 69216
o 69215
o 69046
o 69041
o 69040
o 69035
o 69034
o 69030
o 69029
o 68750
o 68745
o 68744
o 68469
o 68464
o 68463
o 68458
o 68457
o 68453
o 68452
o 68440
o 68439
o 68435
o 68434
o 68429
o 68428
o 68424
o 68423
o 68406
o 68405
o 68401
o 68400
o 68395
o 68394
o 68390
o 68389
o 68377
o 68376
o 68372
o 68371
o 68366
o 68365
o 68361
o 68360
o 67988
o 67987
o 67977
o 67976
o 67925
o 67924
o 67914
o 67913
o 67896
o 67895
o 67885
o 67884
o 67847
o 67568
o 67563
o 67562
o 67505
o 67504
o 67500
o 67499
o 67476
o 67471
o 67470
o 67341
o 67340
o 67336
o 67335
o 67312
o 67311
o 67307
o 67306
o 67126
o 67121
o 67120
o 67109
o 66830
o 66825
o 66824
o 66549
o 66544
o 66543
o 66520
o 66519
o 66515
o 66514
o 66486
o 66485
o 66481
o 66480
o 66457
o 66456
o 66452
o 66451
o 66068
o 66067
o 66005
o 66004
o 65976
o 65975
o 65926
o 65925
o 65863
o 65862
o 65834
o 65833
o 65824
o 65819
o 65818
o 65795
o 65790
o 65789
o 65406
o 65405
o 65343
o 65342
o 65314
o 65313
o 65264
o 65263
o 65201
o 65200
o 65172
o 65171
o 64892
o 64891
o 64829
o 64828
o 64800
o 64799
o 64750
o 64749
o 64687
o 64686
o 64658
o 64657
o 64656
o 64655
o 64593
o 64592
o 64564
o 64563
o 64514
o 64513
o 64451
o 64450
o 64422
o 64421
o 64409
o 64408
o 64404
o 64403
o 64380
o 64379
o 64375
o 64374
o 64194
o 64189
o 64188
o 64000
o 63995
o 63994
o 63898
o 63893
o 63892
o 63617
o 63612
o 63611
o 63588
o 63587
o 63583
o 63582
o 63554
o 63553
o 63549
o 63548
o 63525
o 63524
o 63520
o 63519
o 63136
o 63135
o 63073
o 63072
o 63044
o 63043
o 62994
o 62993
o 62931
o 62930
o 62902
o 62901
o 62622
o 62621
o 62559
o 62558
o 62530
o 62529
o 62480
o 62479
o 62417
o 62416
o 62388
o 62387
o 62207
o 62144
o 62115
o 62065
o 62002
o 61973
o 61693
o 61630
o 61601
o 61551
o 61488
o 61459
o 61384
o 61321
o 61292
o 61232
o 61169
o 61150
o 61090
o 61027
o 60981
o 60980
o 60952
o 60951
o 60918
o 60917
o 60889
o 60888
o 60708
o 60679
o 60645
o 60616
o 60566
o 60537
o 60503
o 60474
o 60194
o 60165
o 60131
o 60102
o 60052
o 60023
o 59989
o 59960
o 59885
o 59822
o 59793
o 59733
o 59670
o 59651
o 59591
o 59528
o 59316
o 59287
o 59253
o 59224
o 59174
o 59145
o 59111
o 59082
o 59007
o 58944
o 58915
o 58855
o 58792
o 58773
o 58713
o 58650
o 58623
o 58622
o 58594
o 58593
o 58560
o 58559
o 58531
o 58530
o 58376
o 58295
o 58266
o 58232
o 58203
o 58175
o 58170
o 58146
o 58141
o 58112
o 58107
o 58083
o 58078
o 58069
o 57975
o 57962
o 57788
o 57694
o 57665
o 57631
o 57602
o 57479
o 57385
o 57322
o 57293
o 57233
o 57170
o 57084
o 56910
o 56816
o 56787
o 56753
o 56724
o 56601
o 56507
o 56444
o 56415
o 56355
o 56292
o 56229
o 56169
o 56106
o 56087
o 56056
o 55993
o 55951
o 55817
o 55723
o 55660
o 55655
o 55624
o 55561
o 55508
o 55414
o 55351
o 55291
o 55228
o 55193
o 55130
o 55111
o 55017
o 54954
o 54925
o 54802
o 54708
o 54645
o 54616
o 54556
o 54493
o 54462
o 54422
o 54399
o 54351
o 54288
o 54257
o 54194
o 54152
o 54089
o 54018
o 53924
o 53861
o 53856
o 53825
o 53762
o 53709
o 53615
o 53552
o 53492
o 53429
o 53394
o 53331
s OPTIMUM FOUND
c Optimal Solution = 53331
v -1 -2 3 -4 5 -6 -7 -8 -9 10 -11 -12 -13 14 15 -16 17 -18 -19 -20 21 -22 23 -24 -25 -26 27 28 -29 -30 31 -32 -33 -34 35 -36 -37 -38 39 -40 -41 42 -43 44 -45 -46 -47 -48 49 -50 -51 52 -53 54 -55 -56 -57 58 -59 -60 61 -62 -63 64 -65 -66 67 68 -69 -70 -71 72 -73 -74 -75 -76 77 78 -79 80 -81 -82 83 -84 85 -86 87 -88 -89 90 -91 -92 93 -94 -95 -96 97 -98 99 -100 101 -102 103 104 -105 -106 107 -108 -109 -110 -111 112 -113 114 -115 116 -117 -118 -119 120 -121 122 -123 -124 -125 126 -127 128 -129 -130 -131 132 -133 -134 -135 -136 -137 138 139 -140 -141 142 -143 -144
c Program terminated in 302.530 seconds.
302.490u 0.034s 5:03.20 99.7%	0+0k 0+0io 0pf+0w