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