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