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