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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1673
c lw 3249
c lw 4775
c lw 6297
c lw 7794
c lw 9246
c lw 10681
c lw 12092
c lw 13468
c lw 14807
c lw 16142
c lw 17440
c lw 18716
c lw 19938
c lw 21157
c lw 22347
c lw 23479
c lw 24604
c lw 25682
c lw 26755
c lw 27816
c lw 28846
c lw 29873
c lw 30880
c lw 31883
c lw 32876
c lw 33858
c lw 34796
c lw 35729
c lw 36637
c lw 37517
c lw 38392
c lw 39260
c lw 40128
c lw 40986
c lw 41831
c lw 42666
c lw 43469
c lw 44266
c lw 45057
c lw 45845