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