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