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
c first lower bound: 122
o 195
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 175
o 174
o 173
o 172
o 171
o 170
o 169
o 168
o 167
c 280968 branches 63477 propagates
c total generalized unit propagation = 622757, success = 45.10%
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
392.052u 0.010s 6:34.37 99.4%	0+0k 0+0io 0pf+0w