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