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