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_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 5386
o 5382
o 5378
o 5374
o 5371
o 5370
o 5357
o 5356
o 5353
o 5352
o 5351
o 5347
o 5341
o 5339
o 5338
o 5334
o 5333
o 5331
o 5330
o 5329
o 5328
o 5321
o 5318
o 5313
o 5311
o 5308
o 5304
o 5303
o 5296
o 5291
o 5281
o 5280
o 5272
o 5269
o 5261
o 5259
o 5258
o 5257
o 5256
o 5254
o 5239
o 5237
o 5236
o 5228
o 5225
o 5223
o 5220
o 5219
o 5216
o 5205
o 5202
o 5200
o 5197
o 5195
o 5194
o 5189
o 5188
o 5185
o 5182
o 5179
o 5178
o 5173
o 5171
o 5168
o 5161
o 5159
o 5155
o 5154
o 5152
o 5140
o 5138
o 5135
o 5125
o 5122
o 5119
o 5117
o 5105
o 5102
o 5100
o 5099
o 5096
o 5094
o 5087
o 5084
o 5083
o 5080
o 5078
o 5074
o 5073
o 5072
o 5063
o 5062
o 5060
o 5058
o 5050
o 5049
o 5043
o 5033
o 5030
o 5024
o 5023
o 5009
o 5005
o 5001
o 5000
o 4999
o 4996
o 4990
o 4989
o 4988
o 4986
o 4983
o 4981
o 4980
o 4977
o 4974
o 4960
o 4959
o 4958
o 4957
o 4954
o 4952
o 4945
c 1671 branches 5996 propagates
c total generalized unit propagation = 9008, success = 14.89%
s OPTIMUM FOUND
c Optimal Solution = 4945
v 54 -129 114 -96 -45 52 125 74 -57 94 -2 -80 -71 -32 -133 26 -58 4 -10 -124 -55 -98 20 -68 -113 148 -73 119 -27 -8 141 -91 118 -35 106 -131 -136 -59 -49 3 1 -41 -16 110 111 -77 -61 -122 108 95 -5 24 103 143 -86 -40 146 109 -81 22 -25 -30 76 116 78 -128 115 -140 -56 -102 -12 14 33 60 -15 -23 -64 112 -37 -100 -104 149 -13 50 -43 -147 -101 -134 -150 -145 6 84 39 44 -69 -28 21 75 -29 -47 51 -65 7 18 97 139 142 -144 -63 70 -17 34 -79 -42 -72 19 -67 -82 31 48 89 -99 83 -66 -90 88 -123 -138 -87 -62 92 -107 -127 126 -53 130 -36 11 121 117 38 120 137 85 132 46 9 105 -93 135
22.107u 0.003s 0:22.16 99.7%	0+0k 0+0io 0pf+0w