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_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_0.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 3252
o 3251
o 3249
o 3248
o 3243
o 3242
o 3240
o 3239
o 3233
o 3232
o 3229
o 3228
o 3226
o 3218
o 3216
o 3213
o 3211
o 3210
o 3205
o 3201
o 3200
o 3196
o 3195
o 3194
o 3192
o 3183
o 3181
o 3180
o 3179
o 3178
o 3176
o 3175
o 3173
o 3168
o 3165
o 3162
o 3159
o 3158
o 3157
o 3154
o 3149
o 3146
o 3145
o 3144
o 3142
o 3141
o 3138
o 3137
o 3135
o 3133
o 3131
o 3126
o 3122
o 3116
o 3114
o 3105
o 3101
o 3100
o 3099
o 3098
o 3096
o 3094
o 3092
o 3091
o 3087
o 3085
o 3084
o 3083
o 3080
o 3079
o 3075
o 3073
o 3070
o 3068
o 3064
o 3060
o 3059
o 3055
o 3042
o 3038
o 3036
o 3030
o 3028
o 3024
o 3022
o 3018
o 3011
o 3009
o 3008
o 3001
o 3000
o 2996
o 2995
o 2992
o 2985
o 2983
o 2982
o 2981
o 2980
o 2977
o 2976
o 2964
o 2953
o 2951
o 2943
o 2939
o 2938
o 2937
o 2936
o 2933
o 2932
o 2929
o 2928
o 2922
o 2921
o 2920
o 2919
o 2917
o 2910
o 2907
o 2904
o 2903
o 2899
o 2895
o 2889
o 2885
c 1974 branches 7193 propagates
c total generalized unit propagation = 10859, success = 15.58%
s OPTIMUM FOUND
c Optimal Solution = 2885
v 105 92 -54 39 -35 49 1 -93 78 131 -130 14 -45 22 85 -88 62 -43 55 115 103 50 124 8 -52 21 139 -116 11 53 -4 65 -95 149 -101 98 -87 -72 -89 -94 -148 -26 113 29 -135 150 37 97 47 -133 17 106 145 142 -3 -77 -6 38 61 -99 146 143 -137 -96 48 126 -56 42 -68 -5 -63 32 -44 127 100 -141 -82 114 -138 -41 84 36 28 -15 112 33 -76 -34 122 64 -125 -51 121 25 66 -80 118 -7 -136 -79 -110 90 70 -91 -74 -144 73 -18 123 12 75 16 -58 -27 9 30 -69 104 -60 -120 10 -132 -19 23 -147 -46 -128 -20 -134 59 86 119 -71 -108 117 -111 -107 81 -13 -67 57 -24 -129 31 83 -140 -40 109 102 -2
30.442u 0.002s 0:30.70 99.1%	0+0k 0+0io 0pf+0w