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_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_H150_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1271
o 1268
o 1264
o 1263
o 1260
o 1258
o 1254
o 1253
o 1243
o 1238
o 1237
o 1236
o 1227
o 1219
o 1218
o 1209
o 1208
o 1203
o 1198
o 1196
o 1194
o 1189
o 1188
o 1186
o 1183
o 1181
o 1179
o 1175
c 123 branches 1024 propagates
c total generalized unit propagation = 1198, success = 4.26%
s OPTIMUM FOUND
c Optimal Solution = 1175
v -117 -53 -74 -121 -22 88 35 37 -145 2 -5 7 -77 -59 40 146 127 47 70 69 -131 114 126 -49 94 -54 -21 116 39 -136 132 78 125 -138 64 29 10 -6 84 -28 81 150 -46 -61 100 -48 -112 107 -118 -68 65 148 96 18 120 38 111 -82 -9 57 8 91 41 143 83 110 12 142 1 25 -33 3 62 19 -27 -75 134 -122 -135 -55 -42 133 89 -92 -73 -85 45 -17 43 -52 -36 -99 67 108 -34 129 104 -50 124 -44 -119 76 72 149 80 -93 58 13 -86 105 -123 -115 -26 24 -97 14 63 -71 -109 -15 60 -101 -140 -23 20 79 66 56 128 -139 130 -90 -87 -141 147 -106 103 -144 95 102 11 -113 -98 -137 31 -32 51 -4 30 16
0.740u 0.000s 0:00.74 100.0%	0+0k 0+0io 0pf+0w