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_driverlogs03.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/driverlogs03.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 20
c lw 40
c lw 60
c lw 65
c lw 85
c lw 105
c lw 110
c lw 130
c lw 370
c lw 375
c lw 395
c lw 405
c lw 410
c lw 415
c lw 420
c lw 425
c lw 435
c lw 505
c lw 515
c lw 530
c lw 550
c lw 570
c lw 590
c lw 670
c lw 675
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 775
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
c lw 860
c lw 865
c lw 870
c lw 875
c lw 880
c lw 885
c lw 890
c lw 895
c lw 900