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