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_120v_s2v120c1400-1.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1400-1.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 146
o 234
o 232
o 231
o 230
o 229
o 228
o 227
o 226
o 224
o 223
o 222
o 221
o 220
o 219
o 218
o 217
o 216
o 215
o 214
o 213
o 212
o 211
o 210
o 209
o 208
o 207
o 206
o 205
o 204
o 203
o 202
o 201
o 200
o 199
o 198
o 197
c 62013 branches 9517 propagates
c total generalized unit propagation = 131618, success = 47.02%
s OPTIMUM FOUND
c Optimal Solution = 197
v -60 -16 83 113 -36 45 -30 -19 96 20 115 -7 -29 117 -77 17 -63 -56 25 91 107 -105 -72 -111 48 110 70 67 -12 64 -120 -76 5 112 109 -90 -78 -10 -28 85 -9 -79 -62 -66 87 -114 -53 -102 -100 -58 -37 75 81 74 -89 -31 32 106 44 14 -80 -35 -40 -23 116 -15 33 22 73 27 -41 13 -11 -71 -59 -88 108 93 94 104 119 -55 -54 -21 43 -98 24 38 -49 47 2 -46 82 1 -69 61 39 92 57 -18 -50 65 -68 -26 -52 -97 103 99 42 -95 -34 84 8 6 4 3 -51 -118 -101 86
74.688u 0.007s 1:15.06 99.4%	0+0k 0+0io 0pf+0w