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