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_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_0.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 5287
o 5280
o 5274
o 5270
o 5265
o 5262
o 5259
o 5254
o 5251
o 5245
o 5244
o 5242
o 5231
o 5224
o 5223
o 5218
o 5204
o 5203
o 5198
o 5196
o 5194
o 5193
o 5189
o 5188
o 5181
o 5179
o 5170
o 5168
o 5167
o 5165
o 5163
o 5158
o 5142
o 5134
o 5123
o 5121
o 5119
o 5116
o 5114
o 5112
o 5111
o 5098
o 5096
o 5094
o 5093
o 5091
o 5089
o 5085
o 5078
o 5068
o 5067
o 5064
o 5063
o 5059
o 5058
o 5055
o 5054
o 5042
o 5041
o 5040
o 5039
o 5035
o 5027
o 5019
o 5018
o 5006
o 4999
o 4993
o 4992
o 4986
o 4985
o 4980
o 4978
o 4976
o 4975
o 4967
o 4966
o 4963
o 4962
o 4956
o 4955
o 4953
o 4951
o 4945
o 4944
o 4934
o 4931
o 4930
o 4913
o 4898
o 4895
o 4890
o 4876
o 4870
o 4864
o 4863
o 4860
o 4857
o 4852
o 4851
o 4850
o 4833
o 4829
o 4823
o 4816
o 4814
o 4796
o 4793
o 4791
o 4789
o 4784
o 4779
o 4778
o 4769
o 4762
o 4756
o 4751
o 4750
o 4748
o 4735
o 4734
o 4731
o 4721
o 4719
o 4712
o 4711
o 4704
o 4701
o 4690
o 4688
o 4685
o 4684
o 4681
o 4678
o 4672
o 4669
o 4663
o 4660
o 4652
o 4650
o 4648
o 4642
o 4638
o 4636
o 4635
o 4629
o 4623
o 4621
o 4619
o 4618
o 4617
o 4609
o 4605
o 4601
o 4599
o 4596
o 4594
o 4588
o 4572
c 2421 branches 8930 propagates
c total generalized unit propagation = 13441, success = 15.55%
s OPTIMUM FOUND
c Optimal Solution = 4572
v -99 78 -3 117 113 -53 125 -86 65 -82 -10 -85 50 80 -51 -7 122 -129 88 91 136 -103 39 -97 -17 -5 107 89 -132 123 -94 105 -12 84 -148 -134 -110 55 -57 93 59 146 130 -77 -127 124 -83 -46 72 -139 22 -29 111 36 -41 -145 28 -13 38 -144 149 -71 -128 -18 -112 -60 -114 -126 -1 119 143 -24 137 70 87 -47 -11 -64 27 -104 142 -108 4 21 116 6 121 58 31 106 -26 35 120 16 -14 133 -44 9 8 74 -98 -115 -19 56 -81 135 15 95 45 -33 140 147 -68 -63 -96 40 20 -43 118 34 23 -141 69 -92 -2 -30 67 66 -109 -76 101 -61 -52 -25 -48 138 -90 -79 131 -73 102 150 62 -49 42 -32 -100 37 75 54
53.329u 0.003s 0:53.36 99.9%	0+0k 0+0io 0pf+0w