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