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-60-2_network-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1744
c lw 3484
c lw 4939
c lw 6382
c lw 7825
c lw 9247
c lw 10643
c lw 12036
c lw 13397
c lw 14698
c lw 15957
c lw 17112
c lw 18260
c lw 19396
c lw 20531
c lw 21655
c lw 22770
c lw 23839
c lw 24904
c lw 25961
c lw 27006
c lw 28041
c lw 29068
c lw 30065
c lw 31014
c lw 31959