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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1721
c lw 3401
c lw 5023
c lw 6582
c lw 8135
c lw 9672
c lw 11156
c lw 12583
c lw 13979
c lw 15365
c lw 16695
c lw 18013
c lw 19311
c lw 20601
c lw 21815
c lw 22984
c lw 24099
c lw 25142
c lw 26171
c lw 27193
c lw 28162
c lw 29127
c lw 30088