Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-ms_crafted-_home_maxsat_benchmarks_ms_crafted_bipartite_maxcut-140-630-0.7_maxcut-140-630-0.7-27.cnf
Job file: /home/maxsat/benchmarks/ms_crafted/bipartite/maxcut-140-630-0.7/maxcut-140-630-0.7-27.cnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 165
o 165
c first lower bound: 124
c 67913 branches 5806 propagates
c total generalized unit propagation = 141633, success = 47.95%
s OPTIMUM FOUND
c Optimal Solution = 165
v 77 -92 28 -91 59 -116 75 -83 -125 67 -123 14 44 -96 -112 104 134 35 -105 -36 120 -4 84 -57 -49 100 132 33 -103 1 -126 138 -45 74 -34 -37 -56 69 73 -11 40 -29 -12 -18 -48 76 -70 25 -122 -23 42 130 -85 -13 43 26 -51 -8 62 -140 71 -16 86 114 -61 65 64 137 88 128 93 -121 3 -5 79 -31 -24 -81 10 -58 -118 82 -63 -50 -131 89 -124 -9 78 87 97 -19 2 -52 54 -38 -90 53 15 -107 41 47 -108 -17 -21 20 -55 -136 -135 110 27 -22 -102 66 6 106 7 101 -111 30 94 99 60 -46 98 -127 -139 115 117 -32 133 -119 113 80 39 -68 -72 -109 129 95
103.084u 0.013s 1:43.66 99.4%	0+0k 0+0io 0pf+0w