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-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1558
c lw 3110
c lw 4531
c lw 5946
c lw 7353
c lw 8718
c lw 10035
c lw 11339
c lw 12613
c lw 13873
c lw 15062
c lw 16205
c lw 17336
c lw 18466
c lw 19568
c lw 20662
c lw 21739
c lw 22805
c lw 23851
c lw 24847
c lw 25829
c lw 26811
c lw 27737
c lw 28648
c lw 29502
c lw 30347
c lw 31188
c lw 31965