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