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