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_1.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_H150_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1372
o 1370
o 1369
o 1368
o 1366
o 1358
o 1356
o 1355
o 1353
o 1352
o 1351
o 1349
o 1344
o 1343
o 1342
o 1341
o 1337
o 1335
o 1333
o 1319
o 1316
o 1315
o 1312
o 1308
o 1301
o 1299
o 1297
o 1292
o 1291
o 1284
o 1283
o 1282
o 1281
o 1267
o 1265
o 1255
o 1247
o 1240
o 1239
o 1235
o 1233
o 1229
o 1228
o 1227
o 1224
o 1222
o 1216
o 1214
o 1210
o 1207
o 1205
o 1201
o 1197
o 1192
o 1191
o 1189
o 1186
o 1185
o 1184
o 1182
o 1179
o 1174
o 1172
o 1168
o 1167
o 1166
o 1165
o 1162
o 1151
o 1146
o 1142
c 385 branches 2964 propagates
c total generalized unit propagation = 3590, success = 6.71%
s OPTIMUM FOUND
c Optimal Solution = 1142
v 31 21 134 -148 -18 -108 -128 -140 149 -144 -142 -96 1 3 56 76 121 -118 -113 -41 131 106 81 105 72 -93 40 11 -10 124 2 137 -107 -129 -54 -9 109 -114 102 -74 -85 -6 -67 -68 77 -50 -48 -26 101 127 90 55 -24 -92 -30 -61 145 -42 -36 -70 44 51 -5 -28 -120 -53 87 -4 -39 65 132 91 84 -112 111 103 -115 35 136 135 -14 -89 -125 46 -126 33 -38 146 -88 117 19 45 -130 110 -83 32 -78 8 -98 -143 17 34 122 116 57 -147 37 -119 -79 99 97 -73 25 12 -71 -58 -75 64 -104 -52 -29 69 59 123 82 -49 27 -139 -23 43 -94 16 80 66 138 20 60 -47 -150 133 62 7 13 -95 -86 22 -63 -15 100 -141
1.886u 0.002s 0:01.89 99.4%	0+0k 0+0io 0pf+0w