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
c first lower bound: 159
o 237
o 235
o 231
o 230
o 228
o 227
o 226
o 225
o 224
o 223
o 222
o 221
o 220
o 218
o 217
o 216
o 215
o 214
o 213
c 69550 branches 4528 propagates
c total generalized unit propagation = 142492, success = 48.76%
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
88.387u 0.004s 1:28.93 99.3%	0+0k 0+0io 0pf+0w