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