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