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_driverlog02cc.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/driverlog02cc.wcsp.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 280
c lw 530
c lw 736
c lw 942
c lw 1145
c lw 1342
c lw 1531
c lw 1645
c lw 1754
c lw 1858
c lw 1935
c lw 1992
c lw 2045
c lw 2086
c lw 2127
c lw 2168
c lw 2209
c lw 2245
c lw 2280