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