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