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