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_s2v140c1600-10.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/140v/s2v140c1600-10.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 246
o 245
o 244
o 243
o 242
o 241
o 240
o 239
o 238
o 237
o 235
o 234
o 233
o 232
o 231
o 230
o 229
o 228
o 227
o 226
c 734285 branches 111696 propagates
c total generalized unit propagation = 1580224, success = 46.46%
s OPTIMUM FOUND
c Optimal Solution = 226
v -124 -78 -17 -100 -97 -134 7 -131 -138 -125 -32 -48 22 -101 -11 70 -39 86 81 -57 65 64 -28 -115 128 59 -9 94 -25 55 88 -31 -29 -117 -126 -93 -14 -54 -80 -8 83 -107 120 -105 -68 -135 -61 15 -26 46 118 84 -113 -116 -96 -24 50 34 -137 -42 121 3 -123 62 -19 69 -44 -40 85 67 -104 51 -43 129 63 82 20 -71 16 -58 -108 87 -89 37 -66 53 -95 98 74 -111 -21 -109 56 49 33 112 -2 -140 52 -47 102 110 5 -132 36 -60 79 -4 41 119 -91 114 -127 -73 38 -133 99 -75 72 -18 6 -130 -139 -23 -27 103 -13 92 -1 -76 -136 -30 -35 -90 106 -77 -122 -12 -45 -10
1205.572u 0.022s 20:08.76 99.7%	0+0k 0+0io 0pf+0w