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