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-8.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-60-1_network-8.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/HanLin/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 929331
o 191145
o 190270
o 189124
o 189032
o 187886
o 187723
o 186848
o 185702
o 185688
o 185357
o 184661
o 184408
o 184368
o 184276
o 183130
o 182967
o 182092
o 180946
o 180932
o 180601
o 179905
o 178882
o 177865
o 177841
o 177520
o 176824
o 176370
o 175777
o 174754
o 173737
o 173713
o 173392
o 172696
o 172123
o 171994
o 170977
o 170953
o 170632
o 169936
o 169488
o 168885
o 168780
o 168756
o 168435
o 167739
o 167291
o 166981
o 166533
o 166509
o 165813
o 165708
o 165684
o 165363
o 164667
o 164219
o 163616
o 163511
o 163487
o 163166
o 162470
o 162022
o 161712
o 161264
o 161086
o 160981
o 160422
o 159940
o 159492
o 159216
o 159182
o 158734
o 158730
o 158728
o 158390
o 158032
o 157942
o 157584
o 157274
o 157184
o 156826
o 156648
o 156342
o 155860
o 155502
o 155412
o 155054
o 154744
o 154654
o 154296
o 154124
o 154019
o 153818
o 153460
o 153336
o 152978
o 152888
o 152530
o 152220
o 152130
o 151772
o 151755
o 151397
o 151292
o 151091
o 150733
o 150609
o 150251
o 150161
o 149803
o 149493
o 149403
o 149045
o 148930
o 148806
o 148448
o 148358
o 148000
o 147690
o 147600
o 147242
o 147020
o 146990
o 146632
o 146356
o 146322
o 146232
o 145874
o 145870
o 145780
o 145422
o 145388
o 145298
o 144940
o 144825
o 144701
o 144343
o 144253
o 143895
o 143585
o 143495
o 143137
o 142975
o 142885
o 142527
o 142217
o 142127
o 141769
o 141766
o 141676
o 141318
o 141156
o 141066
o 140708
o 140398
o 140308
o 139950
o 139891
o 139533
o 139197
o 139163
o 139073
o 138715
o 138562
o 138472
o 138114
o 137804
o 137714
o 137356
o 137134
o 137104
o 136746
o 136436
o 136346
o 135988
o 135985
o 135895
o 135537
o 135375
o 135285
o 134927
o 134617
o 134527
o 134169
o 134110
o 133752
o 133612
o 133578
o 133488
o 133130
o 132977
o 132887
o 132529
o 132219
o 132129
o 131771
o 131549
o 131519
o 131161
o 130851
o 130761
o 130403
o 130400
o 130310
o 129952
o 129790
o 129700
o 129342
o 129032
o 128942
o 128584
o 128525
o 128167
o 128031
o 127941
o 127583
o 127421
o 127331
o 126973
o 126663
o 126573
o 126215
o 126212
o 126122
o 125764
o 125602
o 125512
o 125154
o 124844
o 124754
o 124396
o 124337
o 123979
o 123766
o 123746
o 123712
o 123622
o 123264
o 123205
o 122847
o 122711
o 122621
o 122263
o 122209
o 122101
o 122011
o 121653
o 121343
o 121253
o 120895
o 120892
o 120802
o 120444
o 120390
o 120282
o 120192
o 119834
o 119524
o 119434
o 119076
o 119017
o 118659
o 118446
o 118294
o 118235
o 117877
o 117741
o 117651
o 117293
o 117239
o 117131
o 117041
o 116683
o 116373
o 116283
o 115925
o 115922
o 115832
o 115474
o 115420
o 115312
o 115222
o 114864
o 114554
o 114464
o 114106
o 114047
o 113689
o 113476
o 113425
o 113311
o 113115
o 113001
o 112667
o 112553
o 112454
o 112340
o 112250
o 112136
o 112037
o 111923
o 111885
o 111771
o 111468
o 111354
o 111332
o 111218
o 110884
o 110770
o 110722
o 110608
o 110274
o 110160
o 109964
o 109850
o 109516
o 109402
o 109399
o 109065
o 108951
o 108903
o 108789
o 108455
o 108341
o 108145
o 108031
o 107697
o 107583
o 107280
o 107166
o 107067
o 106953
o 106892
o 106778
o 106681
o 106582
o 106468
o 106437
o 106347
o 106233
o 106134
o 106020
o 105878
o 105764
o 105754
o 105396
o 105282
o 105183
o 105069
o 104979
o 104865
o 104766
o 104652
o 104573
o 104474
o 104360
o 104170
o 104056
o 103957
o 103843
o 103753
o 103639
o 103540
o 103426
o 103284
o 103170
o 103160
o 102802
o 102688
o 102589
o 102475
o 102385
o 102271
o 102172
o 102058
o 101898
o 101784
o 101774
o 101416
o 101302
o 101203
o 101089
o 100999
o 100885
o 100786
o 100672
o 100609
o 100510
o 100396
o 100306
o 100192
o 100093
o 99979
o 99893
o 99625
o 99511
o 99412
o 99298
o 99208
o 99094
o 98995
o 98881
o 98820
o 98706
o 98664
o 98609
o 98510
o 98396
o 98365
o 98275
o 98161
o 98062
o 97948
o 97806
o 97692
o 97682
o 97592
o 97324
o 97210
o 97111
o 96997
o 96907
o 96793
o 96694
o 96580
o 96556
o 96501
o 96402
o 96288
o 96098
o 95984
o 95885
o 95771
o 95681
o 95567
o 95468
o 95354
o 95212
o 95098
o 95088
o 94998
o 94730
o 94616
o 94517
o 94403
o 94313
o 94199
o 94100
o 93986
o 93797
o 93683
o 93595
o 93521
o 93487
o 93307
o 93039
o 92925
o 92826
o 92712
o 92622
o 92508
o 92409
o 92295
o 92214
o 92115
o 92001
o 91911
o 91797
o 91698
o 91584
o 91512
o 91349
o 91235
o 91135
o 90867
o 90753
o 90565
o 90451
o 90352
o 90238
o 90148
o 90034
o 89935
o 89821
o 89741
o 89711
o 89627
o 89612
o 89528
o 89498
o 89414
o 89342
o 89291
o 89177
o 89080
o 88981
o 88867
o 88746
o 88632
o 88533
o 88419
o 88347
o 88289
o 88175
o 88081
o 88050
o 87936
o 87837
o 87723
o 87568
o 87454
o 87355
o 87241
o 87232
o 87228
o 86984
o 86870
o 86770
o 86502
o 86388
o 86354
o 86200
o 86086
o 85987
o 85873
o 85763
o 85679
o 85664
o 85580
o 85550
o 85466
o 85394
o 85328
o 85214
o 85117
o 85033
o 85003
o 84933
o 84849
o 84819
o 84735
o 84732
o 84618
o 84616
o 84518
o 84250
o 84136
o 83975
o 83861
o 83777
o 83626
o 83512
o 83446
o 83332
o 83144
o 83030
o 82922
o 82808
o 82804
o 82560
o 82446
o 82444
o 82346
o 82078
o 81964
o 81930
o 81776
o 81662
o 81649
o 81381
o 81297
o 81267
o 81183
o 81154
o 81040
o 81038
o 81030
o 80672
o 80558
o 80529
o 80277
o 80163
o 80079
o 80050
o 79968
o 79938
o 79854
o 79847
o 79708
o 79624
o 79595
o 79594
o 79565
o 79510
o 79481
o 79399
o 79369
o 79285
o 79220
o 79190
o 79106
o 79099
o 78960
o 78876
o 78847
o 78846
o 78817
o 78762
o 78733
o 78651
o 78621
o 78537
o 78457
o 78427
o 78343
o 78314
o 78230
o 78062
o 77978
o 77948
o 77864
o 77835
o 77753
o 77723
o 77639
o 77632
o 77493
o 77409
o 77380
o 77379
o 77350
o 77295
o 77266
o 77184
o 77154
o 77070
o 77033
o 77026
o 77005
o 76921
o 76892
o 76773
o 76744
o 76689
o 76660
o 76548
o 76464
o 76354
o 76270
o 76241
o 76107
o 76078
o 76023
o 75994
o 75875
o 75791
o 75762
o 75650
o 75566
o 75559
o 75538
o 75454
o 75425
o 75306
o 75277
o 75222
o 75193
o 75081
o 74997
o 74955
o 74948
o 74845
o 74761
o 74732
o 74695
o 74666
o 74611
o 74582
o 74470
o 74386
o 74368
o 74339
o 74278
o 74249
o 74165
o 74115
o 73883
o 73799
o 73770
o 73658
o 73574
o 73532
o 73525
o 73422
o 73338
o 73309
o 73272
o 73243
o 73188
o 73159
o 73047
o 72963
o 72916
o 72887
o 72635
o 72521
o 72437
o 72408
o 72326
o 72296
o 72212
o 72175
o 72147
o 72118
o 71915
o 71886
o 71831
o 71802
o 71690
o 71606
o 71496
o 71412
o 71383
o 71249
o 71220
o 71165
o 71136
o 71017
o 70933
o 70904
o 70792
o 70708
o 70680
o 70651
o 70448
o 70419
o 70364
o 70335
o 70223
o 70139
o 70097
o 69987
o 69958
o 69837
o 69808
o 69753
o 69724
o 69612
o 69528
o 69510
o 69481
o 69420
o 69391
o 69257
o 69025
o 68941
o 68912
o 68800
o 68716
o 68674
o 68564
o 68535
o 68414
o 68385
o 68330
o 68301
o 68189
o 68105
o 68087
o 68058
o 67924
o 67895
o 67692
o 67663
o 67608
o 67579
o 67467
o 67383
o 67341
o 67231
o 67202
o 67081
o 67052
o 66997
o 66968
o 66856
o 66772
o 66754
o 66725
o 66664
o 66635
o 66501
o 66269
o 66185
o 66156
o 66044
o 65960
o 65918
o 65808
o 65779
o 65658
o 65629
o 65574
o 65545
o 65433
o 65349
o 65348
o 65264
o 65222
o 65112
o 65083
o 64962
o 64933
o 64878
o 64849
o 64737
o 64653
o 64600
o 64593
o 64571
o 64564
o 64516
o 64509
o 64487
o 64480
o 64375
o 64368
o 64291
o 64284
o 64283
o 64206
o 64199
o 64054
o 64047
o 64025
o 64018
o 63904
o 63897
o 63875
o 63868
o 63820
o 63813
o 63791
o 63784
o 63679
o 63672
o 63595
o 63588
o 63474
o 63467
o 63389
o 63382
o 63239
o 63232
o 63160
o 63153
o 62928
o 62921
o 62778
o 62771
o 62733
o 62726
o 62612
o 62605
o 62527
o 62520
o 62377
o 62370
o 62298
o 62291
o 62066
o 62059
o 61916
o 61909
o 61903
o 61896
o 61689
o 61682
o 61539
o 61532
o 61359
o 61352
o 61209
o 61202
s OPTIMUM FOUND
c Optimal Solution = 61202
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 -145 -146 147 -148 149 -150 -151
c Program terminated in 303.840 seconds.
303.800u 0.001s 5:04.46 99.7%	0+0k 0+0io 0pf+0w