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