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