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_C4500_H150_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 4103
o 5371
o 5369
o 5367
o 5363
o 5362
o 5359
o 5356
o 5355
o 5350
o 5347
o 5346
o 5340
o 5322
o 5321
o 5320
o 5318
o 5317
o 5312
o 5302
o 5301
o 5297
o 5290
o 5286
o 5285
o 5284
o 5282
o 5275
o 5273
o 5267
o 5263
o 5262
o 5259
o 5256
o 5250
o 5248
o 5245
o 5241
o 5240
o 5234
o 5228
o 5218
o 5215
o 5209
o 5208
o 5204
o 5201
o 5200
o 5194
o 5193
o 5192
o 5185
o 5183
o 5180
o 5174
o 5163
o 5162
o 5159
o 5153
o 5150
o 5149
o 5148
o 5143
o 5137
o 5135
o 5132
o 5130
o 5129
o 5124
o 5120
o 5119
o 5116
o 5114
o 5109
o 5108
o 5107
o 5099
o 5094
o 5089
o 5086
o 5081
o 5073
o 5070
o 5067
o 5065
o 5063
o 5061
o 5060
o 5058
o 5050
o 5049
o 5043
o 5033
o 5024
o 5023
o 5015
o 5009
o 5005
o 5004
o 5001
o 5000
o 4999
o 4996
o 4990
o 4989
o 4988
o 4986
o 4983
o 4981
o 4977
o 4974
o 4960
o 4959
o 4958
o 4957
o 4954
o 4952
o 4945
c 1796 branches 7984 propagates
c total generalized unit propagation = 5683, success = 24.67%
s OPTIMUM FOUND
c Optimal Solution = 4945
v 54 -129 114 -96 -45 52 125 74 -57 94 -2 -80 -71 -32 -133 26 -58 4 -10 -124 -55 -98 20 -68 -113 148 -73 119 -27 -8 141 -91 118 -35 106 -131 -136 -59 -49 3 1 -41 -16 110 111 -77 -61 -122 108 95 -5 24 103 143 -86 -40 146 109 -81 22 -25 -30 76 116 78 -128 115 -140 -56 -102 -12 14 33 60 -15 -23 -64 112 -37 -100 -104 149 -13 50 -43 -147 -101 -134 -150 -145 6 84 39 44 -69 -28 21 75 -29 -47 51 -65 7 18 97 139 142 -144 -63 70 -17 34 -79 -42 -72 19 -67 -82 31 48 89 -99 83 -66 -90 88 -123 -138 -87 -62 92 -107 -127 126 -53 130 -36 11 121 117 38 120 137 85 132 46 9 105 -93 135
9.890u 0.003s 0:09.91 99.7%	0+0k 0+0io 0pf+0w