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