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