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_5.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 5184
o 5175
o 5163
o 5162
o 5160
o 5154
o 5149
o 5146
o 5143
o 5134
o 5130
o 5129
o 5128
o 5121
o 5120
o 5119
o 5118
o 5117
o 5115
o 5110
o 5108
o 5107
o 5100
o 5094
o 5086
o 5085
o 5080
o 5079
o 5067
o 5065
o 5059
o 5054
o 5051
o 5041
o 5039
o 5038
o 5037
o 5033
o 5027
o 5025
o 5011
o 5006
o 5004
o 5002
o 4988
o 4986
o 4973
o 4961
o 4948
o 4946
o 4944
o 4943
o 4941
o 4937
o 4935
o 4929
o 4927
o 4912
o 4906
o 4904
o 4902
o 4900
o 4899
o 4892
o 4885
o 4884
o 4877
o 4875
o 4871
o 4868
o 4866
o 4863
o 4853
o 4850
o 4848
o 4845
o 4840
o 4838
o 4835
o 4831
o 4822
o 4817
o 4812
o 4811
o 4810
o 4805
o 4797
o 4796
o 4787
o 4782
o 4780
o 4777
o 4773
o 4771
o 4770
o 4759
o 4758
o 4754
o 4752
o 4743
o 4742
o 4740
o 4736
o 4733
o 4721
o 4718
o 4716
o 4706
o 4704
o 4703
o 4693
o 4687
c 1121 branches 5049 propagates
c total generalized unit propagation = 7036, success = 12.31%
s OPTIMUM FOUND
c Optimal Solution = 4687
v -40 -49 -90 69 -145 118 -61 117 9 7 -89 -47 -132 101 71 29 119 52 -97 149 -81 -115 -70 116 15 -53 -85 6 -57 -8 -123 -86 -24 -72 95 126 10 37 -131 44 18 51 -140 113 137 -54 -125 1 99 96 -43 -114 -107 120 -31 -84 98 -50 -56 -4 83 -19 39 -12 26 -42 25 122 -138 -103 -36 87 -127 -65 105 -76 -75 62 -124 104 -134 -27 33 -64 -80 128 28 112 -73 -66 -67 32 30 -60 -142 -17 59 -48 16 23 -45 135 21 129 144 93 108 82 -13 11 150 -106 91 94 143 -139 2 -74 147 100 -63 58 130 68 92 -110 -77 133 -148 79 -88 22 -121 -14 38 146 141 -3 136 -20 111 -34 5 78 46 35 109 102 -55 -41
29.108u 0.004s 0:29.31 99.2%	0+0k 0+0io 0pf+0w