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