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_s2v140c1200-7.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/140v/s2v140c1200-7.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 168
o 167
o 166
o 164
o 163
o 162
o 161
o 160
o 159
o 158
o 157
o 156
o 155
o 154
o 153
o 152
o 151
o 150
o 149
o 148
c 122341 branches 74382 propagates
c total generalized unit propagation = 319029, success = 38.34%
s OPTIMUM FOUND
c Optimal Solution = 148
v 110 -53 -20 -5 -80 96 -8 16 81 69 -126 -47 56 -136 -54 83 -124 39 128 118 64 -23 130 -109 -18 52 -3 66 -41 -75 132 -13 -101 -131 22 68 21 88 -127 9 82 86 -14 -139 -114 122 27 -49 -137 -115 45 -59 24 -19 73 87 -62 57 48 -93 135 -133 71 43 85 -33 -106 -58 -40 -36 -94 105 -25 7 -92 119 72 -98 -2 91 -95 30 -134 -67 26 -138 116 -97 -79 -61 -44 38 -129 60 104 -35 -55 -111 102 112 103 -90 -17 84 -78 34 -65 125 -1 123 12 99 -117 10 107 29 37 -108 -51 -4 -42 63 100 120 15 -28 140 -31 -89 32 46 50 -11 76 77 113 -74 -6 70 -121
183.275u 0.003s 3:04.42 99.3%	0+0k 0+0io 0pf+0w