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_s2v120c1400-3.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1400-3.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 141
o 215
o 213
o 211
o 208
o 207
o 206
o 204
o 203
o 202
o 201
o 200
o 199
o 198
o 196
o 195
o 194
o 193
o 192
o 191
o 190
o 189
c 34597 branches 9093 propagates
c total generalized unit propagation = 77117, success = 44.77%
s OPTIMUM FOUND
c Optimal Solution = 189
v 44 78 -83 -74 -27 -20 9 2 59 117 103 18 70 106 -23 64 -58 -40 -77 26 46 -19 8 -12 -101 -17 41 85 38 -55 105 -119 -112 11 -53 76 -93 109 24 65 -42 -87 -54 -32 -22 -7 -4 97 -91 114 -86 -5 37 -34 72 21 110 -60 -108 -95 33 10 111 79 -81 -89 -68 3 100 28 -16 -94 1 56 118 -96 -102 47 63 39 51 -99 107 -82 -90 -52 -84 -25 -13 14 -80 -73 29 -61 75 -43 -15 -71 -120 31 69 35 104 -6 -62 57 48 36 -115 -113 -116 -45 -49 88 -30 98 -92 66 50 -67
41.892u 0.002s 0:41.92 99.9%	0+0k 0+0io 0pf+0w