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_cap91.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap91.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 4543027
c lw 4662526
c lw 4776757
c lw 4888425
c lw 4991052
c lw 5084364
c lw 5166087
c lw 5247444
c lw 5328426
c lw 5408925
c lw 5483925
c lw 5558925
c lw 5633925
c lw 5708925
c lw 5783925
c lw 5858925
c lw 5933925
c lw 6008925
c lw 6083925
c lw 6158925
c lw 6233925
c lw 6308925
c lw 6383925
c lw 6458925
c lw 6533925
c lw 6608925
c lw 6682033
c lw 6746248
c lw 6807004
c lw 6865699
c lw 6920991
c lw 6973697
c lw 7025556
c lw 7076768
c lw 7125908
c lw 7174820
c lw 7223650
c lw 7268488
c lw 7308503
c lw 7346974