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