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