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_driverlog05ac.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/driverlog05ac.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 25
c lw 55
c lw 90
c lw 130
c lw 255
c lw 380
c lw 385
c lw 410
c lw 425
c lw 430
c lw 450
c lw 470
c lw 485
c lw 490
c lw 495
c lw 530
c lw 560
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 665
c lw 670
c lw 675
c lw 680
c lw 685
c lw 690
c lw 695
c lw 700
c lw 705
c lw 710
c lw 715
c lw 720
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 820
c lw 830
c lw 835
c lw 840
c lw 845
c lw 850
c lw 865
c lw 870
c lw 875
c lw 880
c lw 885
c lw 890
c lw 895
c lw 900
c lw 905
c lw 910
c lw 915
c lw 920
c lw 925
c lw 930
c lw 935
c lw 940
c lw 945
c lw 950
c lw 955
c lw 960
c lw 965
c lw 970