Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_hi_file_rwpms_wcnf_L2_V150_C5000_H150_1.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C5000_H150_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 5338
o 5338
c 52 branches 195 propagates
c total generalized unit propagation = 300, success = 17.67%
s OPTIMUM FOUND
c Optimal Solution = 5338
v 108 -106 -65 146 -4 78 -98 56 -75 25 -57 -109 -90 67 55 118 125 76 -41 85 -83 142 22 -51 107 -144 99 -88 74 62 133 58 -138 -130 20 -16 70 36 134 -13 47 23 104 -121 10 35 8 -86 -30 43 105 -94 -5 141 68 37 -95 91 46 116 34 -115 -63 -27 124 -72 117 -73 84 -40 14 32 3 100 -11 -53 92 -136 -29 -60 131 9 -24 18 -21 -140 -19 -143 -15 -148 69 103 61 -77 -113 -132 -127 -2 -64 135 -26 7 -82 128 -147 38 149 50 97 59 -45 -145 -6 87 120 -112 -71 -137 -150 -111 80 -44 1 79 66 33 96 -49 39 -102 52 42 -129 81 -93 -114 -126 -139 89 31 119 -17 28 -122 54 -123 110 -101 48 -12
7.556u 0.010s 0:07.58 99.7%	0+0k 0+0io 0pf+0w