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_lo_file_rwpms_wcnf_L2_V150_C1500_H150_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_H150_0.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1336
o 1334
o 1327
o 1325
o 1315
o 1313
o 1306
o 1304
o 1303
o 1294
o 1286
o 1282
o 1279
o 1272
o 1270
o 1266
o 1265
o 1260
o 1252
o 1249
o 1246
o 1241
o 1237
o 1232
o 1224
o 1223
o 1221
o 1217
o 1212
o 1209
o 1204
o 1203
o 1198
o 1196
o 1195
o 1189
o 1184
o 1182
o 1181
o 1176
o 1175
o 1170
o 1160
o 1155
o 1145
o 1140
o 1135
o 1134
o 1130
o 1129
o 1125
o 1123
o 1121
c 405 branches 2415 propagates
c total generalized unit propagation = 3099, success = 9.00%
s OPTIMUM FOUND
c Optimal Solution = 1121
v -62 -27 47 126 94 66 83 135 -113 -9 -116 -68 -44 -71 -148 51 54 -25 100 147 -91 -46 -38 31 -37 64 -95 -61 -149 -12 -72 8 118 -65 -103 52 -123 -14 -129 -109 6 1 143 -63 -76 43 89 22 124 -23 19 -56 84 -139 -74 32 107 82 -146 42 101 -108 119 -117 96 -11 13 -70 106 -45 53 -59 26 80 -73 -86 -7 -90 75 -115 4 35 69 -10 -104 -24 16 48 -78 -128 -133 88 -114 -60 -92 18 102 -97 -140 28 34 85 -36 21 -39 -134 -145 5 -127 -136 67 30 111 -3 -144 130 -99 142 29 -33 79 49 105 -141 -137 -112 -81 -131 93 -122 50 138 120 110 -15 -125 -40 -77 -150 -58 -17 41 -132 87 98 20 -57 121 -2 -55
4.494u 0.002s 0:04.52 99.3%	0+0k 0+0io 0pf+0w