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_4.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 3279
o 3275
o 3274
o 3273
o 3265
o 3253
o 3246
o 3244
o 3230
o 3221
o 3220
o 3217
o 3213
o 3212
o 3208
o 3197
o 3189
o 3179
o 3178
o 3166
o 3152
o 3151
o 3145
o 3141
o 3134
o 3131
o 3115
o 3110
o 3108
o 3100
o 3096
o 3092
o 3090
o 3080
o 3074
o 3065
o 3062
o 3059
o 3058
o 3050
o 3049
o 3048
o 3047
o 3046
o 3045
o 3044
o 3042
o 3035
o 3030
o 3029
o 3025
o 3024
o 3021
c 493 branches 2328 propagates
c total generalized unit propagation = 3159, success = 10.70%
s OPTIMUM FOUND
c Optimal Solution = 3021
v 89 -132 -67 -77 44 51 78 129 101 -62 -90 79 -15 96 6 111 138 -56 37 -136 -100 -64 73 -135 -149 71 -94 -1 -7 -128 -110 -146 25 69 -123 14 121 115 -75 116 -61 -148 -10 -21 -5 58 83 91 118 27 105 -142 -106 22 -20 -18 16 109 -114 140 147 -120 19 107 52 70 17 -130 -72 -38 139 49 -97 -131 108 33 -125 -40 -24 -46 68 119 -76 34 -126 -35 -84 -54 32 -3 -45 -80 -59 -23 -55 -127 88 103 50 143 11 86 2 -48 -133 -4 -104 -117 145 -141 26 99 43 -124 -39 95 66 -81 144 65 -150 98 -102 12 87 36 113 -63 -9 31 134 57 -60 -93 -137 -28 85 -74 30 -122 42 41 -53 92 -8 -82 13 47 29 -112
5.948u 0.003s 0:05.95 99.8%	0+0k 0+0io 0pf+0w