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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1707
c lw 3361
c lw 4914
c lw 6425
c lw 7898
c lw 9367
c lw 10805
c lw 12237
c lw 13669
c lw 15071
c lw 16440
c lw 17773
c lw 19083
c lw 20358
c lw 21597
c lw 22824
c lw 24019
c lw 25197
c lw 26361
c lw 27502
c lw 28631
c lw 29746
c lw 30857
c lw 31912
c lw 32962
c lw 34003
c lw 35023
c lw 36022