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_me_file_rwpms_wcnf_L2_V150_C3000_H150_1.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 3216
o 3203
o 3195
o 3194
o 3190
o 3187
o 3183
o 3182
o 3176
o 3175
o 3174
o 3173
o 3170
o 3169
o 3153
o 3151
o 3148
o 3147
o 3134
o 3133
o 3127
o 3125
o 3115
o 3112
o 3107
o 3105
o 3104
o 3101
o 3099
o 3098
o 3090
o 3089
o 3088
o 3087
o 3084
o 3080
o 3078
o 3076
o 3075
o 3074
o 3072
o 3068
o 3061
o 3058
o 3056
o 3051
o 3048
o 3047
o 3039
o 3037
o 3028
o 3026
o 3025
o 3024
o 3023
o 3010
o 3008
o 3005
o 2998
o 2997
o 2994
o 2990
o 2984
o 2981
o 2976
o 2969
o 2962
o 2960
o 2958
o 2953
o 2945
o 2944
o 2938
o 2937
o 2935
o 2928
o 2924
o 2918
c 1219 branches 4304 propagates
c total generalized unit propagation = 6526, success = 15.37%
s OPTIMUM FOUND
c Optimal Solution = 2918
v 96 -44 -17 47 -106 -64 -111 -18 -36 -81 -134 126 22 -1 -33 41 9 129 -25 -87 128 -105 4 -39 133 -117 102 -66 -122 -98 -130 92 114 -51 138 -132 -88 135 86 150 -65 108 49 38 -89 -32 10 145 -123 -107 -60 118 -104 29 -116 -97 7 67 -23 54 -139 119 -100 76 -113 -93 94 -45 74 84 37 -103 21 -46 -125 -68 -137 -71 79 -144 -112 61 55 110 -11 -127 20 91 -13 142 3 26 -90 109 -53 -62 -80 34 59 -70 -85 149 -140 52 -56 -136 31 -43 -16 42 83 2 141 -30 -115 95 27 35 -147 -78 -15 121 -19 -28 -12 -24 -77 -63 73 14 58 -101 72 -120 -50 69 124 143 75 82 -148 -131 -6 -146 57 -40 8 48 -5 99
23.699u 0.004s 0:23.71 99.9%	0+0k 0+0io 0pf+0w