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