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