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-50-2_network-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1868
c lw 3534
c lw 5087
c lw 6627
c lw 8140
c lw 9612
c lw 11041
c lw 12426
c lw 13808
c lw 15145
c lw 16451
c lw 17752
c lw 19043
c lw 20281
c lw 21485
c lw 22657
c lw 23828
c lw 24929
c lw 25976
c lw 27009
c lw 28040
c lw 29064
c lw 30053
c lw 30990
c lw 31899
c lw 32770
c lw 33625