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