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