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-6.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1400-6.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 148
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 199
o 198
o 197
o 196
c 31588 branches 8081 propagates
c total generalized unit propagation = 69639, success = 45.23%
s OPTIMUM FOUND
c Optimal Solution = 196
v -20 72 -51 85 -111 14 -17 -81 18 91 -92 33 90 41 -70 -120 -95 22 -59 101 114 106 -3 -107 -102 -77 74 -25 48 118 7 57 -83 -96 27 -78 79 -15 -47 115 -8 -112 75 -100 65 -23 1 45 56 -50 -98 89 -110 117 -61 -86 49 -80 21 -12 -53 103 -46 62 24 69 -34 -5 -68 63 -39 -71 42 -76 37 73 -40 -113 10 -44 -13 116 35 60 -38 30 36 -52 -16 54 108 11 -32 88 99 -104 82 -66 109 105 -94 -84 29 28 97 93 -19 -2 119 55 6 4 9 -87 -26 -58 67 64 -31 -43
39.490u 0.000s 0:39.77 99.2%	0+0k 0+0io 0pf+0w