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_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4500_H150_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 5314
o 5301
o 5290
o 5286
o 5275
o 5270
o 5263
o 5262
o 5245
o 5244
o 5242
o 5237
o 5235
o 5233
o 5230
o 5216
o 5212
o 5202
o 5201
o 5194
o 5193
o 5190
o 5180
o 5160
o 5154
o 5152
o 5142
o 5141
o 5129
o 5120
o 5119
o 5101
o 5093
o 5085
o 5064
o 5062
o 5049
o 5048
o 5044
o 5042
o 5037
o 5024
o 5022
o 5018
o 5016
o 5014
o 5000
o 4995
o 4994
o 4990
o 4985
o 4970
o 4967
o 4963
o 4962
o 4953
o 4952
o 4951
o 4945
o 4939
o 4927
o 4923
o 4918
o 4913
o 4912
o 4901
o 4896
o 4895
o 4889
o 4886
o 4883
o 4882
o 4872
o 4868
o 4863
o 4855
o 4854
o 4846
o 4842
o 4836
o 4830
o 4826
o 4820
o 4819
o 4818
o 4815
o 4814
o 4801
o 4800
o 4799
o 4798
o 4794
o 4784
o 4782
o 4779
o 4777
o 4767
o 4762
o 4757
o 4756
o 4747
o 4739
o 4732
o 4728
o 4723
o 4710
o 4708
o 4704
o 4702
o 4699
o 4695
o 4684
o 4678
o 4668
o 4662
o 4653
o 4651
o 4644
o 4642
o 4637
o 4611
o 4605
c 1808 branches 7150 propagates
c total generalized unit propagation = 10476, success = 14.49%
s OPTIMUM FOUND
c Optimal Solution = 4605
v 6 -115 9 46 -138 -51 92 107 36 24 -14 112 142 -140 -90 -33 -78 96 73 87 123 -82 41 -64 68 81 84 -130 129 57 63 58 -50 -137 143 71 -3 -31 104 -53 -45 23 -106 -70 -120 -28 -100 30 131 101 -54 44 -114 7 22 39 -69 4 80 -47 -74 102 150 132 -35 128 66 145 -136 98 -49 147 32 95 122 -37 -94 79 -56 -126 -52 -42 -13 118 -110 61 -16 -83 86 93 -8 12 -134 99 -135 20 127 75 -21 117 -2 55 -65 -85 -72 -146 15 -133 149 10 113 29 -76 97 88 -124 -108 62 60 11 121 119 -91 34 -139 1 125 -43 -48 17 105 141 -67 144 111 -89 -25 -38 -103 -109 5 148 40 26 18 -19 59 27 -116 -77
34.304u 0.003s 0:34.36 99.8%	0+0k 0+0io 0pf+0w