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