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
o 1470
o 1465
o 1464
o 1455
o 1452
o 1449
o 1448
o 1445
o 1443
o 1442
o 1438
o 1437
o 1435
o 1434
o 1432
o 1430
o 1427
o 1423
o 1417
o 1408
o 1407
o 1405
o 1397
o 1395
o 1392
o 1391
o 1383
o 1382
o 1374
o 1372
o 1357
o 1356
o 1354
o 1347
o 1346
o 1344
o 1330
o 1329
o 1327
o 1324
o 1322
o 1318
o 1314
o 1313
o 1306
o 1302
o 1296
o 1289
o 1278
o 1274
o 1259
o 1255
o 1253
o 1243
o 1241
o 1237
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 1162
o 1156
o 1154
o 1152
o 1150
o 1146
o 1145
c 439 branches 3462 propagates
c total generalized unit propagation = 4128, success = 5.50%
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
2.764u 0.001s 0:02.77 99.6%	0+0k 0+0io 0pf+0w