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_C4000_H150_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4000_H150_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 4403
o 4392
o 4386
o 4377
o 4369
o 4361
o 4355
o 4352
o 4350
o 4348
o 4344
o 4333
o 4323
o 4310
o 4299
o 4296
o 4294
o 4293
o 4290
o 4287
o 4283
o 4280
o 4276
o 4274
o 4273
o 4264
o 4260
o 4257
o 4247
o 4243
o 4236
o 4232
o 4230
o 4227
o 4226
o 4223
o 4222
o 4219
o 4218
o 4214
o 4213
o 4207
o 4202
o 4197
o 4195
o 4193
o 4192
o 4190
o 4187
o 4185
o 4180
o 4177
o 4167
o 4164
o 4160
o 4157
o 4155
o 4150
o 4148
o 4145
o 4138
o 4131
o 4128
o 4120
o 4119
o 4103
o 4095
o 4088
o 4085
o 4083
o 4080
o 4078
c 2349 branches 6851 propagates
c total generalized unit propagation = 11364, success = 19.04%
s OPTIMUM FOUND
c Optimal Solution = 4078
v 53 108 -37 114 -35 -32 -138 58 106 -111 28 36 -57 6 -105 -76 -98 -112 -133 -39 -97 21 -107 -8 15 134 -31 71 68 -143 -2 -13 29 -100 148 88 5 59 -49 85 14 127 51 75 63 128 126 -70 -17 119 -64 44 -115 -90 -16 65 -60 144 103 -74 120 135 84 -132 -46 95 -92 80 -147 -47 40 54 77 -18 -91 -25 4 82 3 -67 141 20 89 124 -102 52 -86 43 -33 81 1 26 -12 45 66 101 109 79 -30 -9 -38 -93 -116 19 -150 34 10 -117 -48 131 -145 7 -55 -24 61 -104 -94 -118 -96 -83 136 -11 -146 -50 -72 139 129 125 -56 121 69 62 122 -42 41 99 113 130 23 149 142 137 -73 -87 -110 -140 22 -78 -27 -123
65.486u 0.009s 1:05.58 99.8%	0+0k 0+0io 0pf+0w