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