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_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 3339
o 3327
o 3326
o 3323
o 3308
o 3307
o 3304
o 3294
o 3290
o 3289
o 3287
o 3285
o 3283
o 3282
o 3280
o 3276
o 3275
o 3274
o 3272
o 3264
o 3263
o 3262
o 3259
o 3256
o 3248
o 3244
o 3240
o 3235
o 3225
o 3220
o 3219
o 3214
o 3209
o 3206
o 3202
o 3201
o 3200
o 3199
o 3192
o 3186
o 3181
o 3179
o 3175
o 3174
o 3171
o 3170
o 3169
o 3167
o 3153
o 3142
o 3137
o 3132
o 3124
o 3120
o 3118
o 3112
o 3110
o 3107
o 3099
o 3097
o 3096
o 3083
o 3082
o 3081
o 3076
o 3073
o 3071
o 3069
o 3068
o 3067
o 3062
o 3060
o 3056
o 3055
o 3054
o 3051
o 3048
o 3043
o 3040
o 3037
o 3035
o 3033
o 3030
o 3029
o 3026
o 3019
o 3017
o 3016
o 3013
o 3004
o 3000
o 2995
o 2989
o 2987
o 2984
o 2983
o 2981
o 2980
o 2978
o 2975
o 2974
o 2950
o 2949
o 2942
o 2941
o 2938
o 2932
o 2930
o 2923
o 2920
o 2919
o 2917
o 2910
o 2907
o 2905
o 2900
o 2899
o 2893
o 2891
o 2889
o 2888
o 2883
o 2879
o 2878
c 1389 branches 6110 propagates
c total generalized unit propagation = 8562, success = 12.42%
s OPTIMUM FOUND
c Optimal Solution = 2878
v -67 -36 39 -82 -112 -147 62 101 -18 -3 -113 56 -68 -13 8 15 -83 -50 -120 -122 -128 -131 105 -10 -79 146 7 -21 -99 32 -116 29 60 -37 63 -65 49 144 55 -5 -104 -72 -108 -119 -70 -114 -33 -61 107 -57 -95 -30 -89 -109 -124 136 -123 45 -87 -27 -143 -88 53 -110 148 140 86 111 84 12 -73 24 64 -74 -48 132 129 -47 25 -149 -78 -34 -35 -41 -54 -130 -69 -103 -44 121 -75 142 59 -135 66 98 -11 -102 19 26 -23 -80 134 1 71 81 -46 -6 -51 77 31 -28 -139 -58 -4 43 -38 -90 42 -118 -100 -97 138 -125 9 93 -141 76 -96 91 14 150 115 -92 -94 145 16 -126 20 17 22 -2 -133 40 137 52 85 106 127 -117
12.726u 0.001s 0:12.73 99.9%	0+0k 0+0io 0pf+0w