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