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_s2v120c1600-8.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1600-8.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 181
o 272
o 271
o 268
o 267
o 266
o 265
o 264
o 263
o 262
o 261
o 260
o 259
o 258
o 257
o 256
o 255
o 254
o 253
o 252
o 251
o 250
o 249
o 248
o 247
o 246
o 245
o 244
o 243
o 242
o 241
o 240
o 239
o 238
o 237
c 28671 branches 8829 propagates
c total generalized unit propagation = 64491, success = 44.29%
s OPTIMUM FOUND
c Optimal Solution = 237
v 112 91 6 -4 -31 26 70 -19 -11 -106 87 117 114 -57 -74 -44 109 -27 -52 61 -50 -60 -86 81 -82 33 42 14 118 41 -110 64 105 -83 -85 40 -66 89 79 -63 -77 -101 -54 18 111 56 10 119 98 -62 -23 -115 -37 -32 -25 28 -35 -38 36 -97 94 -34 -95 -120 -102 -20 -5 107 73 -116 -80 58 -24 -51 2 39 71 -65 59 29 -43 78 -3 -100 22 -48 -12 -92 76 -67 9 55 -93 53 -45 -69 96 99 -103 15 -49 -30 46 -7 84 -1 68 90 16 17 104 8 -21 75 108 -13 88 -113 47 -72
39.996u 0.002s 0:40.29 99.2%	0+0k 0+0io 0pf+0w