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