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