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