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