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