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