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