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