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