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
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 239
o 238
o 237
o 236
o 235
o 234
o 233
c 115949 branches 14339 propagates
c total generalized unit propagation = 246194, success = 47.08%
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
174.119u 0.012s 2:55.24 99.3%	0+0k 0+0io 0pf+0w