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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1625
c lw 3145
c lw 4657
c lw 6142
c lw 7608
c lw 9054
c lw 10448
c lw 11836
c lw 13176
c lw 14506
c lw 15808
c lw 17043
c lw 18264
c lw 19381
c lw 20435
c lw 21397
c lw 22347
c lw 23290
c lw 24219