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