Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-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/akmaxsat
c first lower bound: 16
o 16
c 11 branches 220 propagates
c total generalized unit propagation = 134, success = 3.73%
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.015u 0.000s 0:00.03 33.3%	0+0k 0+0io 0pf+0w