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