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_cap61.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap61.wcsp.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2033640
c lw 3274152
c lw 4173913
c lw 4743376
c lw 5133881
c lw 5477392
c lw 5762384
c lw 5970455
c lw 6171172
c lw 6321932
c lw 6458206
c lw 6584591
c lw 6698822
c lw 6810490
c lw 6911833
c lw 7012693
c lw 7106005
c lw 7187362
c lw 7267861
c lw 7346717
c lw 7421717
c lw 7496717
c lw 7571717
c lw 7646717
c lw 7721717
c lw 7796717
c lw 7871717
c lw 7946717
c lw 8021717
c lw 8096717
c lw 8169825
c lw 8234040
c lw 8297746
c lw 8356911
c lw 8413122
c lw 8467795
c lw 8520501
c lw 8572360
c lw 8621500
c lw 8670497
c lw 8719409
c lw 8768239
c lw 8808254
c lw 8846725
c lw 8883656
c lw 8920355
c lw 8955775
c lw 8988634
c lw 9021323
c lw 9047493
c lw 9073633
c lw 9099636
c lw 9125061
c lw 9149695
c lw 9173684
c lw 9195918
c lw 9215455
c lw 9233246
c lw 9250806
c lw 9266817
c lw 9278936
c lw 9288491
c lw 9296094
c lw 9303029
c lw 9309548
c lw 9315012
c lw 9318852
Killed
1976.878u 2.820s 33:11.83 99.3%	0+0k 0+0io 0pf+0w