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_warehouse1.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/warehouse1.wcsp.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 138176
c lw 245169
c lw 300955
c lw 350955
c lw 400955
c lw 448870
c lw 478120
c lw 505900
c lw 530424
c lw 554724
c lw 576257
c lw 597007
c lw 614632
c lw 631479