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
c first lower bound: 160
o 246
o 245
o 243
o 242
o 240
o 239
o 238
o 237
o 236
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
c 123555 branches 27855 propagates
c total generalized unit propagation = 273559, success = 45.12%
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
153.955u 0.000s 2:34.09 99.9%	0+0k 0+0io 0pf+0w