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