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-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1793
c lw 3386
c lw 4881
c lw 6330
c lw 7760
c lw 9171
c lw 10533
c lw 11885
c lw 13229
c lw 14558
c lw 15865
c lw 17170
c lw 18442
c lw 19705
c lw 20937
c lw 22159
c lw 23345
c lw 24531
c lw 25707
c lw 26861
c lw 28008
c lw 29154
c lw 30280
c lw 31350
c lw 32416
c lw 33470
c lw 34511
c lw 35549
c lw 36571
c lw 37562
c lw 38535