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