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