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_JPT_75.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-test_chr10_JPT_75.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 16
o 21
o 20
o 19
o 18
o 17
c 1410 branches 7808 propagates
c total generalized unit propagation = 3197, success = 33.69%
s OPTIMUM FOUND
c Optimal Solution = 17
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 -32 -33 -34 -35 -36 -37 -38 -39 -41 40 42 -43 48 47 46 -45 44 49 -50 51 52 53 54 -55 -56 57 -58 59 66 65 -64 63 62 61 60 67 -68 69 70 71 72 -73 -74 75 -76 77 -78 81 80 -79 82 -83 84 87 86 -85 -88 89 -90 -91 -92 93 -94 99 98 97 96 95 -100 101 -102 103 104 105 -106 107 108 109 110 -111 -112 113 114 122 121 120 119 118 117 -116 115 -123 124 -125 -126 127 -128 -129 -130 -131 132 133 -134 -135 140 139 138 137 -136 -141 -142 143 144 145 -146 147 -148 -149 -150 -151 152 153 -154 -155 -163 162 161 160 159 158 157 156 164 -165 166 167 168 -169 -170 -171 -172 -173 174 175 -176 -177 178 179 180 190 189 188 187 186 185 184 -183 182 181 -191 -192 193 194 195 -196 197 -198 -199 -200 -201 202 203 204 -205 -206 215 214 -213 212 211 210 209 208 207 221 220 219 218 217 -216 222 -223 224 225 226 -227 228 229 -230 -231 232 -233 -234 -235 -236 237 238 -239 -240 249 248 247 246 245 244 243 242 -241 257 256 255 254 253 -252 251 250 258 -259 260 261 262 -263 264 265 -266 267 -268 269 -270 -271 -272 -273 274 275 -285 284 283 282 281 280 279 278 277 276 299 298 297 296 295 294 293 292 291 290 289 288 287 -286 300 -301 302 303 304 -305 306 307 -308 309 -310 311 -312 -313 -314 -315 316 317 -318 -319 -331 330 329 328 327 326 325 324 323 322 321 320 341 340 339 338 337 336 335 334 333 -332 349 348 347 346 345 344 343 -342 359 358 357 356 355 354 353 352 351 -350 373 372 371 370 369 368 367 366 365 364 363 362 361 -360 383 382 381 380 379 378 377 376 375 -374 387 386 385 -384 395 394 393 392 391 390 389 -388 399 398 397 -396 413 412 411 410 409 408 407 406 405 404 403 402 401 -400 424 423 422 421 420 419 418 417 416 415 -414 436 435 434 433 432 431 430 429 428 427 426 -425 444 443 442 441 440 439 438 -437 448 447 446 -445 454 453 452 451 450 -449 462 461 460 459 458 457 456 -455 468 467 466 465 464 -463 472 471 470 -469 474 -473
1.716u 0.004s 0:01.73 98.8%	0+0k 0+0io 0pf+0w