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_warehouses_cap132.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap132.wcsp.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1308954
c lw 2549466
c lw 3229889
c lw 3559820
c lw 3844812
c lw 4058691
c lw 4271719
c lw 4398104
c lw 4523104
c lw 4648104
c lw 4773104
c lw 4898104
c lw 5023104
c lw 5148104
c lw 5273104
c lw 5398104
c lw 5523104
c lw 5648104
c lw 5773104
c lw 5898104
c lw 6023104
c lw 6144938
c lw 6260421
c lw 6374652
c lw 6486351
c lw 6591764
c lw 6695226
c lw 6793506
c lw 6886818