Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WPM1-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_min-enc_planning_driverlog08cc.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/driverlog08cc.wcsp.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 294
c lw 574
c lw 849
c lw 1117
c lw 1337
c lw 1555
c lw 1770
c lw 1975
c lw 2166
c lw 2355
c lw 2535
c lw 2705
c lw 2873
c lw 3027
c lw 3166
c lw 3302
c lw 3437
c lw 3546
c lw 3644