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