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