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_4.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 5192
o 5190
o 5180
o 5179
o 5169
o 5167
o 5166
o 5160
o 5158
o 5156
o 5128
o 5124
o 5109
o 5104
o 5091
o 5090
o 5089
o 5083
o 5080
o 5073
o 5070
o 5066
o 5061
o 5057
o 5056
o 5055
o 5051
o 5041
o 5037
o 5036
o 5028
o 5025
o 5024
o 5018
o 5014
o 4991
o 4987
o 4986
o 4984
o 4972
o 4966
o 4959
o 4955
o 4949
o 4947
o 4945
o 4943
o 4942
o 4938
o 4936
o 4934
o 4931
o 4929
o 4927
o 4923
o 4919
o 4913
o 4910
o 4904
o 4903
o 4899
o 4892
o 4890
o 4889
o 4887
o 4883
o 4881
o 4880
o 4866
o 4859
o 4854
o 4837
o 4829
o 4824
o 4822
o 4805
o 4800
o 4797
o 4794
c 2229 branches 6948 propagates
c total generalized unit propagation = 11246, success = 18.40%
s OPTIMUM FOUND
c Optimal Solution = 4794
v 37 -60 -122 -87 -29 -34 -133 116 -52 -96 130 7 84 -66 -79 25 121 -136 58 105 14 44 111 -118 36 90 123 -94 124 141 -109 -95 137 30 145 -114 10 24 -31 -101 -61 -48 -142 -81 100 -74 64 22 115 63 -75 57 -97 -88 51 -110 -12 117 33 -23 -17 46 -85 103 -4 21 42 8 -112 134 -129 -54 18 -27 120 108 -149 -125 98 132 -26 5 -77 1 -82 -91 144 -71 -11 107 41 72 -6 80 76 -139 68 -15 -89 49 19 -28 62 -2 55 83 -119 131 -35 147 148 59 -40 138 -106 65 56 -70 128 -47 69 -13 -50 150 -67 39 92 93 45 102 -3 -9 43 -53 -16 -99 140 -126 -104 -135 -32 86 78 73 146 127 38 20 143 -113
87.248u 0.008s 1:27.35 99.8%	0+0k 0+0io 0pf+0w