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
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 143544 branches 20647 propagates
c total generalized unit propagation = 307718, success = 46.64%
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
213.088u 0.001s 3:33.47 99.8%	0+0k 0+0io 0pf+0w