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