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