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