Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_hi_file_rwpms_wcnf_L2_V150_C4500_H150_1.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 5372
o 5369
o 5366
o 5358
o 5347
o 5338
o 5333
o 5327
o 5322
o 5311
o 5310
o 5306
o 5301
o 5298
o 5294
o 5293
o 5291
o 5290
o 5286
o 5270
o 5269
o 5267
o 5265
o 5260
o 5255
o 5250
o 5236
o 5235
o 5229
o 5225
o 5220
o 5219
o 5216
o 5213
o 5211
o 5208
o 5207
o 5203
o 5202
o 5199
o 5195
o 5189
o 5186
o 5183
o 5179
o 5178
o 5177
o 5175
o 5169
o 5168
o 5167
o 5164
o 5151
o 5150
o 5144
o 5143
o 5137
o 5136
o 5133
o 5131
o 5128
o 5127
o 5126
o 5123
o 5118
o 5114
o 5113
o 5112
o 5111
o 5110
o 5104
o 5103
o 5102
o 5099
o 5094
o 5086
o 5073
o 5070
o 5069
o 5068
o 5066
o 5065
o 5058
o 5057
o 5055
o 5045
o 5044
o 5043
o 5035
o 5032
o 5024
o 5022
o 5021
o 5020
o 5018
o 5016
o 5014
o 5009
o 4998
o 4995
o 4990
o 4988
o 4987
o 4986
o 4982
o 4977
o 4975
o 4967
c 2164 branches 7542 propagates
c total generalized unit propagation = 11657, success = 16.74%
s OPTIMUM FOUND
c Optimal Solution = 4967
v -96 86 -56 51 -97 -74 121 8 49 -68 -76 9 31 89 148 -103 132 33 -12 70 -82 -77 -131 -21 15 -136 78 -124 60 115 -135 62 -35 143 -55 150 -72 -57 -45 -109 -26 -54 -44 29 32 -24 120 73 59 46 -112 -140 4 -122 -106 -58 -92 -10 11 144 -52 -145 7 -38 75 28 48 114 -61 149 -123 -43 118 110 98 53 34 129 146 69 -128 -100 137 -91 -126 -87 -95 13 -18 -139 -66 108 104 39 -102 -88 -130 -107 40 79 142 -3 -111 -119 99 -14 113 -117 -125 -1 138 84 42 -71 41 83 -93 67 37 85 -27 -16 -65 -81 -25 5 -30 -101 -47 50 -127 134 6 90 -105 64 94 -20 17 -2 -133 -22 -19 -147 -36 63 116 -141 23 80
61.872u 0.009s 1:02.27 99.3%	0+0k 0+0io 0pf+0w