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