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