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