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-80-2_network-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1784
c lw 3549
c lw 5223
c lw 6749
c lw 8229
c lw 9698
c lw 11160
c lw 12621
c lw 14058
c lw 15490
c lw 16911
c lw 18296
c lw 19635
c lw 20969
c lw 22246
c lw 23499
c lw 24751
c lw 26000
c lw 27244
c lw 28486
c lw 29704
c lw 30886
c lw 32048
c lw 33208