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_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_H150_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1411
o 1409
o 1408
o 1407
o 1405
o 1404
o 1403
o 1402
o 1401
o 1400
o 1395
o 1393
o 1390
o 1389
o 1386
o 1384
o 1376
o 1374
o 1371
o 1366
o 1365
o 1363
o 1360
o 1358
o 1353
o 1349
o 1345
o 1341
o 1340
o 1336
o 1334
o 1332
o 1329
o 1327
o 1326
o 1325
o 1318
o 1316
o 1313
o 1311
o 1310
o 1308
o 1307
o 1306
o 1305
o 1304
o 1302
o 1301
o 1298
o 1286
o 1285
o 1280
o 1276
o 1271
o 1267
o 1266
o 1262
o 1259
o 1256
o 1242
o 1232
o 1227
o 1223
o 1218
o 1213
o 1208
o 1207
o 1204
o 1200
o 1195
o 1193
o 1188
o 1185
o 1180
o 1177
o 1175
o 1174
o 1173
o 1170
o 1166
o 1165
o 1163
o 1159
o 1154
o 1153
o 1152
o 1146
o 1143
o 1141
o 1140
o 1137
o 1135
c 563 branches 3261 propagates
c total generalized unit propagation = 4128, success = 7.36%
s OPTIMUM FOUND
c Optimal Solution = 1135
v 32 8 -53 112 -145 -77 -12 -29 97 -69 49 51 -98 16 88 119 22 86 -134 124 81 -135 -80 27 -132 -120 -147 -84 -127 149 126 139 -78 -99 37 11 -143 57 108 -73 85 -111 106 -34 61 30 -102 -113 -62 90 -25 -20 15 -101 -70 131 -56 -13 148 60 133 39 21 -109 -23 42 -40 43 -142 89 31 -75 28 72 136 59 17 36 9 63 138 -5 -125 -46 -54 91 -3 -82 128 -50 116 1 121 103 6 35 -100 123 -104 74 -67 -26 93 150 -64 47 141 -130 -118 -83 122 -14 76 -44 66 -4 -146 7 -10 110 -115 -105 -94 48 -2 144 137 52 -71 -38 -68 140 24 -92 -95 117 -79 -96 -41 55 -107 45 19 -65 -114 58 -18 -129 -87 33
3.181u 0.002s 0:03.20 99.3%	0+0k 0+0io 0pf+0w