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