Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-wpm1-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_SCHEDULING_cat_sched_60_80_0004.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_80_0004.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 96 c lw 192 c lw 288 c lw 384 c lw 480 c lw 576 c lw 672 c lw 768 c lw 864 c lw 960 c lw 1056 c lw 1152 c lw 1248 c lw 1344 c lw 1440 c lw 1536 c lw 1632 c lw 1728 c lw 1870 c lw 1920 c lw 2012 c lw 2112 c lw 2154 c lw 2296 c lw 2304 c lw 2438 c lw 2496 c lw 2580 c lw 2688 c lw 2722 c lw 2864 c lw 2880 c lw 3006 c lw 3072 c lw 3148 c lw 3264 c lw 3340 c lw 3456 c lw 3532 c lw 3648 c lw 3724 c lw 3840 c lw 3916 c lw 3939 c lw 4032 c lw 4055 c lw 4154 c lw 4177 c lw 4200 c lw 4221 c lw 4242 c lw 4263 c lw 4284 c lw 4307 c lw 4330 c lw 4353 c lw 4376 c lw 4377 c lw 4399 c lw 4422 c lw 4445 c lw 4468 c lw 4491 c lw 4514 c lw 4537 c lw 4554 c lw 4560 c lw 4583 c lw 4606 c lw 4629 c lw 4652 c lw 4675 c lw 4698 c lw 4721 c lw 4731 c lw 4744 c lw 4767 c lw 4790 c lw 4813 c lw 4836 c lw 4859 c lw 4882 c lw 4905 c lw 4908 c lw 4928 c lw 4951 c lw 4974 c lw 4997 c lw 5020 c lw 5043 c lw 5066 c lw 5085 c lw 5089 c lw 5112 c lw 5135 c lw 5158 c lw 5181 c lw 5204 c lw 5227 c lw 5250 c lw 5262 c lw 5273 c lw 5296 c lw 5320 c lw 5332 c lw 5355 c lw 5378 c lw 5401 c lw 5424 c lw 5447 c lw 5463 c lw 5470 c lw 5474 c lw 5486 c lw 5497 c lw 5502 c lw 5505 c lw 5520 c lw 5525 c lw 5528 c lw 5543 c lw 5548 c lw 5551 c lw 5560 c lw 5566 c lw 5569 c lw 5574 c lw 5589 c lw 5592 c lw 5597 c lw 5612 c lw 5615 c lw 5617 c lw 5627 c lw 5638 c lw 5640 c lw 5650 c lw 5661 c lw 5663 c lw 5673 c lw 5676 c lw 5684 c lw 5696 c lw 5701 c lw 5707 c lw 5719 c lw 5724 c lw 5730 c lw 5736 c lw 5742 c lw 5743 c lw 5747 c lw 5765 c lw 5766 c lw 5770 c lw 5788 c lw 5789 c lw 5793 c lw 5810 c lw 5812 c lw 5833 c lw 5854 c lw 5856 c lw 5875 c lw 5879 c lw 5974 c lw 5975 c lw 5998 c lw 6018 c lw 6071 c lw 6094 c lw 6167 c lw 6210 c lw 6221 c lw 6263 c lw 6286 c lw 6359 c lw 6402 c lw 6455 c lw 6474 c lw 6551 c lw 6590 c lw 6647 c lw 6648 c lw 6666 c lw 6671 c lw 6737 c lw 6747 c lw 6782 c lw 6798 c lw 6863 c lw 6897 c lw 6924 c lw 6971 c lw 6974 c lw 7055 c lw 7066 c lw 7113 c lw 7162 c lw 7170 c lw 7212 c lw 7247 c lw 7304 c lw 7306 c lw 7325 c lw 7346 c lw 7347 c lw 7348 c lw 7367 c lw 7371 c lw 7417 c lw 7460 c lw 7483 c lw 7494 c lw 7513 c lw 7532 c lw 7537 c lw 7560 c lw 7565 c lw 7579 c lw 7599 c lw 7609 c lw 7614 c lw 7619 c lw 7623 c lw 7628 c lw 7633 c lw 7634 c lw 7648 c lw 7656 c lw 7671 c lw 7679 c lw 7706 c lw 7707 c lw 7720 c lw 7728 c lw 7732 c lw 7733 c lw 7752 c lw 7784 c lw 7785 c lw 7792 c lw 7809 c lw 7821 c lw 7836 c lw 7843 c lw 7868 c lw 7894 c lw 7901 c lw 7905 c lw 7909 c lw 7913 c lw 7914 c lw 7928 c lw 7947 c lw 7958 c lw 7971 c lw 7982 c lw 8024 c lw 8060 c lw 8063 c lw 8066 c lw 8093 c lw 8113 c lw 8138 c lw 8141 c lw 8142 c lw 8143 c lw 8144 c lw 8147 c lw 8167 c lw 8170 c lw 8171 c lw 8172 c lw 8175 c lw 8178 c lw 8184 c lw 8185 c lw 8198 c lw 8211 c lw 8221 c lw 8222 c lw 8244 c lw 8246 c lw 8266 c lw 8270 c lw 8281 c lw 8284 c lw 8288 c lw 8293 c lw 8308 c lw 8312 c lw 8315 c lw 8318 c lw 8321 c lw 8326 c lw 8328 c lw 8330 c lw 8332 c lw 8345 c lw 8347 c lw 8349 c lw 8353 c lw 8354 c lw 8355 c lw 8356 c lw 8357 c lw 8358 c lw 8359 c lw 8360 c lw 8361 c lw 8362 c lw 8363 c lw 8364 c lw 8365 c lw 8366 c lw 8367 c lw 8368 c lw 8369 c lw 8377 c lw 8382 c lw 8386 c lw 8387 c lw 8390 c lw 8394 c lw 8396 c lw 8402 c lw 8407 c lw 8409 c lw 8410 c lw 8419 c lw 8423 c lw 8428 c lw 8430 c lw 8432 c lw 8433 c lw 8434 c lw 8435 c lw 8436 c lw 8438 c lw 8439 c lw 8440 c lw 8441 c lw 8442 c lw 8445 c lw 8447 c lw 8448 c lw 8449 c lw 8454 c lw 8455 c lw 8456 c lw 8458 c lw 8459 c lw 8460 c lw 8462 c lw 8466 c lw 8467 c lw 8468 c lw 8469 c lw 8470 c lw 8472 c lw 8473 c lw 8474 c lw 8475 c lw 8476 c lw 8477 c lw 8478 c lw 8479 c lw 8480 c lw 8481 c lw 8485 c lw 8487 c lw 8496 c lw 8498 c lw 8501 c lw 8503 c lw 8504 c lw 8511 c lw 8512 c lw 8513 c lw 8514 c lw 8515 c lw 8516 c lw 8517 c lw 8518 c lw 8519 c lw 8520 c lw 8521 c lw 8522 c lw 8523 c lw 8524 c lw 8525 c lw 8526 c lw 8528 c lw 8530 c lw 8531 c lw 8532 c lw 8534 c lw 8535 c lw 8539 c lw 8541 c lw 8542 c lw 8544 c lw 8545 c lw 8546 c lw 8547 c lw 8548 c lw 8549 c lw 8550 c lw 8551 c lw 8552 c lw 8553 c lw 8554 c lw 8555 c lw 8556 c lw 8557 c lw 8560 c lw 8563 c lw 8565 c lw 8566 c lw 8568 c lw 8569 c lw 8570 c lw 8571 c lw 8572 c lw 8573 c lw 8574 c lw 8575 c lw 8576 c lw 8577 c lw 8578 c lw 8579 c lw 8580 c lw 8581 c lw 8582 c lw 8583 c lw 8584 c lw 8585 c lw 8586 c lw 8587 c lw 8588 c lw 8589 c lw 8590 c lw 8591 c lw 8592 c lw 8593 c lw 8594 c lw 8595 c lw 8596 c lw 8597 c lw 8598 c lw 8599 c lw 8600 c lw 8601 c lw 8602 c lw 8603 c lw 8604 c lw 8605 c lw 8606 c lw 8607 c lw 8608 c lw 8609 c lw 8610 c lw 8611 c lw 8612 c lw 8613 c lw 8614 c lw 8615 c lw 8616 c lw 8617 c lw 8618 c lw 8619 c lw 8620 c lw 8621 c lw 8622 c lw 8623 c lw 8624 c lw 8625 c lw 8626 c lw 8627 c lw 8628 c lw 8629 c lw 8630 c lw 8631 c lw 8632 c lw 8633 c lw 8634 c lw 8635 c lw 8636 c lw 8637 c lw 8638 c lw 8639 c lw 8640 c lw 8641 c lw 8642 c lw 8643 c lw 8644 c lw 8645 c lw 8646 c lw 8647 Abort 410.821u 1.194s 6:52.91 99.7% 0+0k 0+0io 0pf+0w