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_driverlog09.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/driverlog09.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 20
c lw 40
c lw 50
c lw 60
c lw 110
c lw 150
c lw 200
c lw 240
c lw 250
c lw 260
c lw 280
c lw 290
c lw 300
c lw 310
c lw 320
c lw 330
c lw 340
c lw 350
c lw 360
c lw 370
c lw 380
c lw 390
c lw 400
c lw 410
c lw 420
c lw 430
c lw 440
c lw 450
c lw 460
c lw 470
c lw 480
c lw 490
c lw 500
c lw 510
c lw 520
c lw 530