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