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