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