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_cap72.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap72.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 6709591
c lw 6834591
c lw 6959591
c lw 7084591
c lw 7209591
c lw 7334591
c lw 7459591
c lw 7584591
c lw 7709591
c lw 7821290
c lw 7926703
c lw 8030422
c lw 8133884
c lw 8235227
c lw 8336087
c lw 8434367
c lw 8527679
c lw 8609036
c lw 8682144
c lw 8746359
c lw 8810065
c lw 8868760
c lw 8924971
c lw 8977677
c lw 9029536
c lw 9078676
c lw 9127673
c lw 9176585
c lw 9225392
c lw 9265407
c lw 9303878
c lw 9339876
c lw 9375296
c lw 9410082