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