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