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