Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_140v_s2v140c1600_8.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/140v/s2v140c1600_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 1180
o 1180
c first lower bound: 940
c 14799 branches 2811 propagates
c total generalized unit propagation = 32410, success = 45.66%
s OPTIMUM FOUND
c Optimal Solution = 1180
v 135 -140 -131 -134 -130 -129 128 -126 127 125 132 -137 124 -139 -123 -121 -138 -119 -117 -116 120 115 113 133 112 -111 -110 109 -108 -107 106 -105 104 102 103 -101 -100 99 98 -97 96 -94 -93 -92 -91 -122 90 -89 118 88 114 87 86 -85 84 83 -82 -81 -80 -79 -95 -78 -77 -76 75 74 73 136 72 71 70 -69 68 67 66 65 -64 63 -62 -61 -60 -59 -58 -57 -56 -55 -54 -53 -52 51 50 49 -48 47 -46 45 -44 -43 -42 41 -40 39 38 37 -36 35 34 -33 -32 31 30 -29 -28 27 26 -25 -24 23 22 -21 -20 19 18 17 16 15 -14 -13 -12 11 -10 -9 -8 -7 -6 -5 -4 -3 2 -1
158.148u 0.017s 2:38.32 99.8%	0+0k 0+0io 0pf+0w