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_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 3409
o 3408
o 3407
o 3384
o 3383
o 3378
o 3374
o 3358
o 3357
o 3354
o 3341
o 3340
o 3338
o 3322
o 3319
o 3313
o 3312
o 3310
o 3309
o 3308
o 3304
o 3303
o 3301
o 3299
o 3297
o 3296
o 3295
o 3291
o 3290
o 3281
o 3273
o 3272
o 3271
o 3268
o 3267
o 3265
o 3264
o 3258
o 3254
o 3250
o 3247
o 3246
o 3243
o 3239
o 3233
o 3232
o 3226
o 3224
o 3223
o 3222
o 3221
o 3220
o 3214
o 3208
o 3206
o 3205
o 3199
o 3197
o 3196
o 3192
o 3191
o 3186
o 3181
o 3178
o 3174
o 3173
o 3172
o 3165
o 3163
o 3162
o 3160
o 3154
o 3150
o 3149
o 3148
o 3144
o 3143
o 3141
o 3140
o 3137
o 3125
o 3124
o 3122
o 3121
o 3118
o 3115
o 3110
o 3109
o 3107
o 3105
o 3104
o 3103
o 3099
o 3094
o 3091
o 3088
o 3087
o 3078
o 3076
o 3074
o 3072
o 3071
o 3069
o 3060
o 3058
o 3053
o 3050
o 3044
o 3043
o 3035
o 3034
o 3031
o 3026
o 3024
o 3021
o 3020
o 3019
o 3009
o 3004
o 3000
o 2993
o 2982
o 2977
o 2976
o 2975
o 2973
o 2967
o 2966
o 2959
o 2956
o 2949
o 2948
o 2945
o 2939
o 2938
o 2937
o 2936
o 2934
o 2931
o 2916
o 2913
o 2906
o 2904
o 2903
o 2902
o 2892
o 2890
o 2886
o 2884
o 2881
o 2875
o 2865
o 2858
o 2854
o 2850
o 2849
o 2842
o 2838
o 2831
o 2829
o 2820
o 2818
o 2815
c 1484 branches 6960 propagates
c total generalized unit propagation = 9534, success = 11.43%
s OPTIMUM FOUND
c Optimal Solution = 2815
v 13 133 8 127 111 -72 -91 92 -69 128 -60 136 -62 141 -34 42 -132 -139 74 16 145 -106 75 46 52 -124 -32 102 -55 88 83 130 -53 112 -109 95 -33 -140 -115 -68 -101 122 19 47 -131 -94 -147 -138 66 -49 134 27 150 93 37 44 -5 39 61 -113 -125 -57 144 143 -71 -10 -56 25 -114 -110 -48 -2 22 -103 116 -4 -129 -65 -6 -28 17 90 1 -59 11 41 23 -142 -14 -70 98 -3 -12 104 -43 -81 30 100 -15 -31 117 126 -121 -107 84 148 -89 -40 120 -50 73 85 64 -20 36 58 137 108 -63 54 67 -118 149 119 82 86 -96 -18 105 -135 87 45 79 -146 97 -7 -9 123 21 -76 78 35 26 -99 -80 -38 -77 51 -29 24
10.117u 0.000s 0:10.12 99.9%	0+0k 0+0io 0pf+0w