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