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_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 3939
o 5290
o 5286
o 5273
o 5269
o 5243
o 5240
o 5228
o 5226
o 5225
o 5222
o 5198
o 5195
o 5193
o 5190
o 5172
o 5169
o 5168
o 5165
o 5162
o 5159
o 5157
o 5151
o 5146
o 5143
o 5140
o 5138
o 5128
o 5127
o 5126
o 5125
o 5112
o 5103
o 5087
o 5082
o 5072
o 5071
o 5070
o 5057
o 5047
o 5044
o 5043
o 5037
o 5031
o 5025
o 5020
o 5019
o 5011
o 5001
o 4996
o 4994
o 4993
o 4990
o 4987
o 4985
o 4980
o 4977
o 4976
o 4967
o 4966
o 4965
o 4958
o 4953
o 4947
o 4935
o 4925
o 4917
o 4897
o 4890
o 4887
o 4884
o 4878
o 4863
o 4862
o 4854
o 4852
o 4848
o 4846
o 4843
o 4842
o 4839
o 4834
o 4830
o 4828
o 4825
o 4823
o 4817
o 4814
o 4807
o 4806
o 4800
o 4789
o 4782
o 4776
o 4773
o 4771
o 4765
o 4759
o 4752
o 4749
o 4739
o 4736
o 4734
o 4717
o 4712
o 4710
c 1190 branches 7864 propagates
c total generalized unit propagation = 3952, success = 22.01%
s OPTIMUM FOUND
c Optimal Solution = 4710
v -109 36 103 -100 -59 28 11 131 98 8 58 88 65 -68 79 112 -9 147 111 -125 -140 -3 1 14 16 -139 73 130 56 -40 91 48 64 -38 63 -124 -22 138 -37 34 23 -101 -84 15 -75 87 49 96 -118 133 -17 132 -105 -60 31 81 115 -95 -85 10 -70 -93 -78 -20 129 -143 50 -107 -120 80 44 -55 141 89 -116 -66 52 -41 -92 45 -114 123 -62 -47 -144 18 128 -150 43 76 -145 137 51 -35 -142 -53 -25 69 108 102 110 -61 -106 7 -90 -6 67 97 127 54 42 13 57 -134 -39 119 121 72 27 -135 30 33 -122 99 148 -32 -94 -126 71 -19 -77 -2 12 149 -26 -21 146 83 104 -5 29 4 -24 113 -46 -74 -86 136 -117 82
13.709u 0.007s 0:13.72 99.8%	0+0k 0+0io 0pf+0w