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