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