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
c first lower bound: 2363
o 3370
o 3367
o 3363
o 3351
o 3346
o 3334
o 3319
o 3315
o 3308
o 3300
o 3260
o 3259
o 3258
o 3256
o 3254
o 3249
o 3245
o 3244
o 3241
o 3240
o 3237
o 3235
o 3233
o 3229
o 3228
o 3226
o 3222
o 3220
o 3219
o 3214
o 3209
o 3206
o 3202
o 3201
o 3199
o 3197
o 3196
o 3194
o 3190
o 3185
o 3184
o 3174
o 3172
o 3169
o 3156
o 3150
o 3147
o 3146
o 3142
o 3141
o 3137
o 3131
o 3128
o 3125
o 3124
o 3123
o 3122
o 3118
o 3110
o 3099
o 3089
o 3087
o 3085
o 3082
o 3081
o 3076
o 3073
o 3071
o 3067
o 3065
o 3062
o 3061
o 3056
o 3055
o 3054
o 3051
o 3048
o 3043
o 3040
o 3038
o 3037
o 3035
o 3033
o 3030
o 3029
o 3026
o 3022
o 3010
o 3004
o 3000
o 2995
o 2993
o 2992
o 2987
o 2985
o 2983
o 2975
o 2974
o 2972
o 2966
o 2964
o 2963
o 2959
o 2951
o 2950
o 2949
o 2942
o 2941
o 2938
o 2932
o 2930
o 2923
o 2919
o 2917
o 2911
o 2910
o 2907
o 2905
o 2900
o 2899
o 2893
o 2892
o 2889
o 2883
o 2882
o 2879
o 2878
c 1468 branches 8689 propagates
c total generalized unit propagation = 5135, success = 19.94%
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
6.051u 0.001s 0:06.06 99.8%	0+0k 0+0io 0pf+0w