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_140v_s2v140c1600-7.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/140v/s2v140c1600-7.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 159
o 235
o 234
o 231
o 230
o 229
o 228
o 227
o 226
o 225
o 224
o 223
o 222
o 221
o 220
o 219
o 218
c 300228 branches 45309 propagates
c total generalized unit propagation = 644563, success = 46.57%
s OPTIMUM FOUND
c Optimal Solution = 218
v -119 33 129 -72 -20 94 -47 -1 112 138 128 98 -26 -67 36 52 31 78 -9 7 100 21 -18 68 -130 -70 65 -126 -91 37 124 -61 105 -111 -49 88 -84 -24 -56 -89 -113 99 80 -10 44 77 -115 59 -23 3 136 -81 -106 -14 -11 -93 4 95 19 73 60 140 -133 -34 -54 131 -63 -27 -86 -66 -12 -5 120 110 -39 104 71 46 118 116 92 -75 74 22 -132 137 -55 -45 82 -121 -42 62 135 2 83 -53 114 64 127 -109 -16 15 123 25 43 97 17 -69 40 -28 117 -87 -58 90 -101 -107 50 38 79 -6 35 29 122 8 48 -32 85 76 108 -102 -134 125 -57 96 139 -30 -103 41 -13 51
485.350u 0.013s 8:05.60 99.9%	0+0k 0+0io 0pf+0w