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_4.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1600_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 1029
o 1435
o 1434
o 1433
o 1428
o 1427
o 1426
o 1425
o 1424
o 1423
o 1421
o 1419
o 1417
o 1416
o 1406
o 1405
o 1402
o 1401
o 1399
o 1397
o 1394
o 1386
o 1385
o 1381
o 1379
o 1376
o 1375
o 1372
o 1371
o 1370
o 1368
o 1367
o 1365
o 1363
o 1362
o 1361
o 1359
o 1358
o 1357
o 1353
o 1351
o 1347
o 1342
o 1341
o 1339
o 1338
o 1337
o 1332
o 1330
o 1327
o 1326
o 1324
o 1323
o 1320
o 1319
o 1317
o 1316
o 1315
o 1311
o 1310
o 1309
o 1307
o 1304
o 1301
o 1298
o 1297
o 1296
o 1293
o 1291
o 1285
o 1284
o 1281
o 1279
o 1276
o 1274
o 1273
o 1270
o 1268
o 1267
o 1265
o 1264
c 32915 branches 14713 propagates
c total generalized unit propagation = 76382, success = 42.75%
s OPTIMUM FOUND
c Optimal Solution = 1264
v 118 119 -115 120 -113 -117 112 114 -111 -110 108 -107 106 -105 -104 103 116 -102 101 100 109 99 98 97 95 94 -93 91 -92 90 -89 -88 87 86 -85 84 83 82 81 -80 -79 78 -77 -76 -75 74 73 -72 -71 70 69 -68 -67 -66 65 64 63 -62 61 -60 -59 58 57 96 -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.024u 0.008s 4:51.26 99.9%	0+0k 0+0io 0pf+0w