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