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_cap131.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap131.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 4517603
c lw 4633086
c lw 4747317
c lw 4858985
c lw 4961612
c lw 5042969
c lw 5123951
c lw 5204450
c lw 5279450
c lw 5354450
c lw 5429450
c lw 5504450
c lw 5579450
c lw 5654450
c lw 5729450
c lw 5804450
c lw 5879450
c lw 5954450
c lw 6029450
c lw 6104450
c lw 6179450
c lw 6254450
c lw 6329450
c lw 6404450
c lw 6479450
c lw 6552200
c lw 6616415
c lw 6677171
c lw 6733087
c lw 6788379
c lw 6843052
c lw 6895758
Killed
1978.255u 1.481s 33:30.12 98.4%	0+0k 0+0io 12pf+0w