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