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