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_random-net_random-net-80-2_network-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1679
c lw 3233
c lw 4684
c lw 6110
c lw 7535
c lw 8938
c lw 10338
c lw 11730
c lw 13072
c lw 14408
c lw 15711
c lw 17010
c lw 18283
c lw 19546
c lw 20785
c lw 22006
c lw 23189
c lw 24334
c lw 25463
c lw 26558
c lw 27641
c lw 28721
c lw 29760
c lw 30796
c lw 31802
c lw 32799
c lw 33795