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