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