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