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_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_H150_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1337
o 1333
o 1332
o 1327
o 1322
o 1318
o 1310
o 1305
o 1299
o 1294
o 1290
o 1289
o 1288
o 1287
o 1285
o 1283
o 1280
o 1274
o 1271
o 1267
o 1264
o 1262
o 1261
o 1257
o 1256
o 1252
c 268 branches 1661 propagates
c total generalized unit propagation = 2126, success = 9.27%
s OPTIMUM FOUND
c Optimal Solution = 1252
v -114 22 -146 -33 -111 -145 107 54 18 116 72 -35 -133 -76 -16 43 6 -19 -52 -17 148 104 13 -88 109 10 34 128 -20 -21 -120 -39 -141 -100 -97 30 -26 -131 125 89 -137 103 8 -77 -25 -118 -1 -92 -98 -117 -91 -62 4 -49 -38 -29 27 -55 147 79 -134 -149 -64 101 46 -60 130 47 51 -99 123 28 -31 -102 94 -32 -83 -42 -140 -110 -3 105 53 136 -90 -132 93 2 75 58 108 5 71 -15 -70 59 138 143 129 144 12 63 -95 57 121 115 -11 122 -135 37 -78 7 65 48 -86 9 -139 -61 -41 85 -23 -87 24 106 -36 40 150 -44 -69 45 14 126 -67 127 -80 -73 -84 96 50 -81 82 -112 56 68 -142 -119 66 113 74 -124
2.828u 0.002s 0:02.85 98.9%	0+0k 0+0io 0pf+0w