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