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