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