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