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
c first lower bound: 130
o 211
o 209
o 208
o 207
o 206
o 205
o 204
o 203
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 371920 branches 127685 propagates
c total generalized unit propagation = 870304, success = 42.73%
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
539.436u 0.002s 8:59.55 99.9%	0+0k 0+0io 0pf+0w