Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-ms_random-_home_maxsat_benchmarks_ms_random_max2sat_140v_s2v140c1200-10.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/140v/s2v140c1200-10.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 149
o 147
o 146
o 145
o 144
o 143
o 142
o 141
o 140
c 15231 branches 7163 propagates
c total generalized unit propagation = 37608, success = 40.45%
s OPTIMUM FOUND
c Optimal Solution = 140
v -123 124 12 10 22 -32 -9 126 102 -121 -128 -140 96 -20 -91 -63 46 29 -38 94 105 125 -87 -114 -67 49 -58 37 36 -77 -98 35 -62 16 -81 115 27 -23 -53 -110 -90 34 -66 109 -116 56 -108 -28 48 72 -117 -137 -8 45 42 85 86 -30 -104 -136 41 52 55 -118 13 80 122 84 33 79 70 -40 88 95 -112 133 -69 -1 47 -2 106 -78 100 -74 132 -99 64 120 -25 -7 -127 139 -89 65 -43 101 113 -83 68 17 76 -19 -71 111 18 -135 44 -51 -134 138 130 -131 129 39 75 -5 -107 61 4 97 50 -26 -92 -14 -6 119 82 3 -11 103 -24 -59 54 93 31 -21 60 -57 -15 -73
24.979u 0.001s 0:25.14 99.3%	0+0k 0+0io 0pf+0w