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_cap82.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap82.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 4081780
c lw 4294808
c lw 4421193
c lw 4546193
c lw 4671193
c lw 4796193
c lw 4921193
c lw 5046193
c lw 5171193
c lw 5296193
c lw 5421193
c lw 5546193
c lw 5671193
c lw 5796193
c lw 5921193
c lw 6046193
c lw 6168027
c lw 6287526
c lw 6401757
c lw 6513456
c lw 6618869
c lw 6722331
c lw 6820611
c lw 6913923