Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-ms_crafted-_home_maxsat_benchmarks_ms_crafted_bipartite_maxcut-140-630-0.7_maxcut-140-630-0.7-50.cnf
Job file: /home/maxsat/benchmarks/ms_crafted/bipartite/maxcut-140-630-0.7/maxcut-140-630-0.7-50.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 199
o 195
o 194
o 193
o 192
o 191
o 190
o 189
o 188
o 187
o 186
o 185
o 184
o 183
o 182
o 181
o 180
o 179
o 178
o 177
o 176
o 174
o 173
o 172
o 171
o 170
o 169
o 168
o 167
c 106471 branches 13106 propagates
c total generalized unit propagation = 225947, success = 47.08%
s OPTIMUM FOUND
c Optimal Solution = 167
v 27 -90 83 28 -92 -40 -1 133 -10 78 -126 129 -9 122 -2 80 -96 75 86 -127 -18 -56 -25 101 -76 -103 -72 -106 41 19 -52 -110 -26 108 -125 -29 131 -50 32 77 -139 7 -63 57 24 -69 118 -87 64 123 -121 65 132 -120 47 91 -38 -70 13 -61 51 -3 5 -79 -31 -46 112 -21 58 81 -128 124 100 -136 138 -43 95 -116 6 117 -94 -49 74 -68 -45 -135 -48 71 -85 59 -4 -11 20 114 -16 66 -109 8 67 -73 36 137 -35 -97 111 -39 105 55 140 -14 42 15 -84 -62 -119 -115 88 33 12 -54 82 34 -98 134 -60 -30 53 93 -22 107 -23 -17 102 -99 130 104 89 -37 113 -44
161.882u 0.001s 2:42.15 99.8%	0+0k 0+0io 0pf+0w