Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wms_industrial-_home_maxsat_benchmarks_wms_industrial_aes_sbox_4.wcnf
Job file: /home/maxsat/benchmarks/wms_industrial/aes/sbox_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 23
o 23
c first lower bound: 15
o 22
c 2422557 branches 3427193 propagates
c total generalized unit propagation = 8048384, success = 30.10%
s OPTIMUM FOUND
c Optimal Solution = 22
v -1 3 -16 17 -37 -82 -93 -102 -105 -119 -120 -121 -123 131 -138 -140 -141 -143 -63 65 -71 -112 -145 -146 -147 -24 -27 -28 -31 -54 55 -57 -97 -98 133 73 -40 48 -49 79 -90 -107 -139 -110 -74 -114 -2 -4 11 -14 -15 19 -41 -42 -43 -47 -81 -89 -92 -106 116 -129 130 -137 -62 -64 -68 -69 -70 111 -144 -29 56 -135 -39 -91 -101 30 53 -99 -134 -75 77 -80 -88 -59 60 -18 -109 -128 -96 -50 -103 -122 -36 -76 -108 -52 5 -7 -20 -44 -45 -46 -83 -87 -95 104 -125 -142 -25 -32 -35 -51 -58 -136 -10 -23 -38 -85 -94 -117 -127 -66 -72 -118 -67 -113 -61 -115 -6 -8 -12 -22 -78 -86 -124 126 -132 -33 -34 -100 -9 -21 -84 -26 -13
1140.017u 0.055s 19:01.29 99.8%	0+0k 0+0io 0pf+0w