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