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