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