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_driverlogs06.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/driverlogs06.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 20
c lw 300
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 655
c lw 660
c lw 665
c lw 720
c lw 725
c lw 730
c lw 735
c lw 740
c lw 745
c lw 750
c lw 825
c lw 830
c lw 835
c lw 840
c lw 845
c lw 850
c lw 855
c lw 900
c lw 905
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
c lw 975
c lw 980
c lw 985
c lw 990