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