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