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