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_s2v120c1600-10.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1600-10.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 174
o 255
o 254
o 252
o 251
o 250
o 249
o 248
o 247
o 246
o 245
o 244
o 243
o 242
o 241
o 240
o 238
o 237
o 236
o 234
o 233
c 68473 branches 14468 propagates
c total generalized unit propagation = 150427, success = 45.46%
s OPTIMUM FOUND
c Optimal Solution = 233
v 40 19 59 -49 -112 -7 -79 -14 -94 -20 -88 -13 -77 -3 63 -10 -8 43 2 -61 80 34 -81 6 48 -38 83 5 -44 17 86 -107 -9 47 31 -37 -46 -100 -106 -52 -21 28 -110 67 -72 -103 26 -87 -41 -4 -24 70 -30 89 -85 -97 -64 71 -11 -116 84 -69 33 54 -27 111 15 -115 118 60 74 56 -55 -98 -51 -76 25 75 108 -12 91 -90 58 -22 -101 -99 -82 -29 -36 104 -105 -42 68 -53 35 73 -57 -50 -93 32 117 45 -92 -95 18 96 -1 -120 -113 -102 -78 119 109 114 -62 16 -39 -23 -65 -66
92.571u 0.007s 1:33.24 99.2%	0+0k 0+0io 0pf+0w