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