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