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