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
c first lower bound: 161
o 248
o 247
o 246
o 245
o 244
o 243
o 242
o 241
o 240
o 239
o 238
o 237
o 236
o 235
o 234
o 233
o 232
o 231
o 230
o 229
o 228
o 227
o 226
c 572602 branches 108625 propagates
c total generalized unit propagation = 1252320, success = 45.72%
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
825.966u 0.002s 13:46.77 99.9%	0+0k 0+0io 0pf+0w