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