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