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