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_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_H150_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 881
o 1475
o 1465
o 1455
o 1452
o 1449
o 1448
o 1447
o 1445
o 1443
o 1442
o 1438
o 1437
o 1436
o 1432
o 1429
o 1428
o 1427
o 1423
o 1417
o 1416
o 1411
o 1406
o 1401
o 1399
o 1395
o 1392
o 1387
o 1385
o 1383
o 1382
o 1374
o 1373
o 1371
o 1367
o 1364
o 1358
o 1356
o 1355
o 1347
o 1344
o 1341
o 1330
o 1327
o 1324
o 1313
o 1312
o 1310
o 1309
o 1305
o 1294
o 1293
o 1281
o 1279
o 1276
o 1274
o 1272
o 1265
o 1257
o 1255
o 1253
o 1241
o 1239
o 1235
o 1234
o 1230
o 1228
o 1226
o 1222
o 1220
o 1217
o 1213
o 1211
o 1209
o 1205
o 1193
o 1186
o 1182
o 1180
o 1176
o 1174
o 1170
o 1168
o 1162
o 1156
o 1154
o 1152
o 1150
o 1146
o 1145
c 466 branches 4663 propagates
c total generalized unit propagation = 2180, success = 9.40%
s OPTIMUM FOUND
c Optimal Solution = 1145
v 85 -3 107 73 14 23 84 15 -83 -118 89 81 -116 10 4 77 -105 12 62 -49 -37 36 -64 119 76 -35 -7 44 -51 -25 127 42 130 -137 57 66 -101 -124 26 123 9 -38 146 104 75 2 111 50 21 -72 -32 40 61 -46 -82 6 -143 100 -117 -95 -71 136 -138 -11 70 22 45 -126 -16 60 112 -65 79 -56 -55 13 19 -131 91 115 -68 94 59 -52 -114 -86 -80 30 88 -96 -5 -103 102 99 -28 -140 -27 -106 139 109 129 -93 -29 -69 -90 -142 -110 92 -78 -53 -98 -149 -125 -1 -48 8 148 63 -74 18 -150 108 58 -122 34 54 128 17 -132 147 145 135 141 33 134 -133 31 -24 144 -39 -67 -120 41 97 -47 -20 -121 -113 87 43
1.042u 0.001s 0:01.04 100.0%	0+0k 0+0io 0pf+0w