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_hi_file_rwpms_wcnf_L2_V150_C4000_H150_4.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4000_H150_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 4460
o 4459
o 4449
o 4443
o 4432
o 4416
o 4414
o 4413
o 4406
o 4387
o 4375
o 4358
o 4357
o 4331
o 4330
o 4310
o 4300
o 4292
o 4291
o 4289
o 4288
o 4276
o 4272
o 4269
o 4253
o 4249
o 4248
o 4246
o 4240
o 4239
o 4238
o 4235
o 4234
o 4232
o 4231
o 4230
o 4228
o 4225
o 4215
o 4213
o 4209
o 4196
o 4194
o 4192
o 4184
o 4178
o 4177
o 4176
o 4170
o 4169
o 4166
o 4162
o 4161
o 4155
o 4154
o 4153
o 4152
o 4142
o 4140
o 4137
o 4136
o 4129
o 4127
o 4126
o 4113
o 4112
o 4111
o 4108
o 4107
o 4106
o 4105
o 4102
o 4089
o 4087
o 4086
o 4083
o 4078
o 4076
o 4074
o 4070
o 4068
o 4065
o 4057
o 4048
o 4047
o 4035
o 4031
c 1231 branches 5015 propagates
c total generalized unit propagation = 7284, success = 14.25%
s OPTIMUM FOUND
c Optimal Solution = 4031
v -127 22 -80 -11 -54 64 102 126 -56 55 57 -59 34 105 42 -53 121 76 -107 -50 -52 77 -114 -134 -113 -71 124 120 8 -45 -90 16 -32 -21 -106 -82 37 142 83 -112 29 -3 5 118 -63 9 -40 128 150 104 20 138 -48 -23 -27 -131 -101 -66 12 -4 31 -26 -36 93 -73 -15 -39 116 -143 -87 -97 109 14 -146 13 85 100 92 6 78 -25 119 -24 -115 -38 49 -135 -129 -141 -44 62 99 86 -139 46 10 122 -108 -132 -95 61 17 -136 7 -67 -130 88 -137 19 -140 -51 -133 28 -148 -75 -123 -30 81 -33 -1 -69 -18 -103 111 110 -149 -2 98 -60 43 -91 -147 96 -79 -84 -89 125 -35 47 58 -74 -94 117 -144 41 68 -65 145 -70 -72
20.103u 0.007s 0:20.12 99.9%	0+0k 0+0io 0pf+0w