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