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_min-enc_planning_driverlog04ac.wcsp.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/driverlog04ac.wcsp.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 25 c lw 70 c lw 120 c lw 125 c lw 130 c lw 245 c lw 250 c lw 255 c lw 260 c lw 270 c lw 275 c lw 350 c lw 355 c lw 360 c lw 365 c lw 370 c lw 375 c lw 380 c lw 385 c lw 390 c lw 395 c lw 400 c lw 405 c lw 410 c lw 415 c lw 420 c lw 425 c lw 430 c lw 475 c lw 485 c lw 520 c lw 525 c lw 530 c lw 535 c lw 540 c lw 545 c lw 550 c lw 555 c lw 560 c lw 565 c lw 570 c lw 575 c lw 580 c lw 585 c lw 590 c lw 595 c lw 600 c lw 605 c lw 610 c lw 615 c lw 620 c lw 625 c lw 630 c lw 635 c lw 640 c lw 645 c lw 650 c lw 655 c lw 660 c lw 670 c lw 685 c lw 710 c lw 715 c lw 725 c lw 730 c lw 735 c lw 740 c lw 745 c lw 750 c lw 755 c lw 760 c lw 765 c lw 770 c lw 775 c lw 780 c lw 785 c lw 790 c lw 795 c lw 800 c lw 805 c lw 810 c lw 815 c lw 820 c lw 825 c lw 830 c lw 835 c lw 840 c lw 845 c lw 850 c lw 855 Killed 1818.620u 1.147s 49:22.54 61.4% 0+0k 0+0io 0pf+0w