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