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