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_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_H150_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 897
o 1295
o 1294
o 1282
o 1281
o 1279
o 1278
o 1277
o 1267
o 1265
o 1263
o 1261
o 1258
o 1256
o 1255
o 1253
o 1251
o 1250
o 1244
o 1240
o 1239
o 1236
o 1231
o 1229
o 1222
o 1218
o 1216
o 1214
o 1212
o 1211
o 1208
o 1201
o 1198
o 1195
o 1194
o 1193
o 1192
o 1191
o 1188
o 1186
o 1183
o 1181
o 1179
o 1175
c 147 branches 1650 propagates
c total generalized unit propagation = 756, success = 4.76%
s OPTIMUM FOUND
c Optimal Solution = 1175
v -117 -53 -74 -121 -22 88 35 37 -145 2 -5 7 -77 -59 40 146 127 47 70 69 -131 114 126 -49 94 -54 -21 116 39 -136 132 78 125 -138 64 29 10 -6 84 -28 81 150 -46 -61 100 -48 -112 107 -118 -68 65 148 96 18 120 38 111 -82 -9 57 8 91 41 143 83 110 12 142 1 25 -33 3 62 19 -27 -75 134 -122 -135 -55 -42 133 89 -92 -73 -85 45 -17 43 -52 -36 -99 67 108 -34 129 104 -50 124 -44 -119 76 72 149 80 -93 58 13 -86 105 -123 -115 -26 24 -97 14 63 -71 -109 -15 60 -101 -140 -23 20 79 66 56 128 -139 130 -90 -87 -141 147 -106 103 -144 95 102 11 -113 -98 -137 31 -32 51 -4 30 16
0.160u 0.000s 0:00.16 100.0%	0+0k 0+0io 0pf+0w