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_driverlog02c.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/driverlog02c.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 30
c lw 35
c lw 75
c lw 110
c lw 230
c lw 235
c lw 365
c lw 370
c lw 395
c lw 405
c lw 410
c lw 415
c lw 425
c lw 430
c lw 435
c lw 445
c lw 465
c lw 470
c lw 485
c lw 490
c lw 495
c lw 500
c lw 505
c lw 525
c lw 555
c lw 560
c lw 565
c lw 570
c lw 575
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 695
c lw 710
c lw 715
c lw 725
c lw 740
c lw 745
c lw 750
c lw 755
c lw 760
c lw 765
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
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
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