Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_120v_s2v120c1600_3.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1600_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1377
o 1376
o 1372
o 1364
o 1363
o 1358
o 1356
o 1354
o 1353
o 1351
o 1344
o 1343
o 1340
o 1339
o 1337
o 1336
o 1331
o 1330
o 1328
o 1327
o 1324
o 1319
o 1315
o 1314
o 1312
o 1310
o 1309
o 1308
o 1307
o 1304
o 1301
o 1299
o 1298
o 1297
o 1294
o 1289
o 1288
o 1287
o 1285
o 1284
o 1282
o 1277
o 1276
o 1275
o 1272
o 1269
o 1268
o 1265
o 1262
o 1259
o 1256
o 1253
o 1252
o 1251
o 1250
o 1249
o 1245
o 1244
o 1240
o 1239
o 1238
o 1236
o 1233
o 1232
o 1229
o 1227
o 1224
c 31310 branches 5428 propagates
c total generalized unit propagation = 67869, success = 45.87%
s OPTIMUM FOUND
c Optimal Solution = 1224
v -120 119 -116 -113 114 -115 111 117 -110 109 -108 -105 104 106 -103 -118 102 -101 100 -112 -99 98 97 -96 -95 -107 -94 -93 92 -91 -90 -89 88 -87 86 -85 -84 83 82 -81 80 79 -78 77 -76 75 73 74 -72 -71 -70 69 -68 -67 -66 -65 -64 63 62 -61 -60 -59 -58 57 -56 55 54 -53 52 51 50 49 48 47 -46 45 44 -43 42 -41 40 39 -38 37 -36 -35 -34 -33 -32 -31 30 29 -28 27 26 25 -24 23 22 -21 -20 -19 -18 17 -16 15 -14 13 12 -11 10 9 8 -7 6 5 -4 3 -2 1
291.925u 0.005s 4:53.73 99.3%	0+0k 0+0io 0pf+0w