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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1707
c lw 3333
c lw 4857
c lw 6346
c lw 7835
c lw 9262
c lw 10653
c lw 12027
c lw 13382
c lw 14731
c lw 16021
c lw 17275
c lw 18520
c lw 19759
c lw 20982
c lw 22181
c lw 23326
c lw 24468
c lw 25606
c lw 26698
c lw 27754
c lw 28801
c lw 29819
c lw 30815
c lw 31811
c lw 32752
c lw 33693
c lw 34596