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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2418
c lw 4022
c lw 5551
c lw 7063
c lw 8557
c lw 10025
c lw 11485
c lw 12915
c lw 14330
c lw 15684
c lw 17023
c lw 18327
c lw 19625
c lw 20840
c lw 22045
c lw 23244
c lw 24440
c lw 25624
c lw 26805
c lw 27983
c lw 29154
c lw 30274
c lw 31338
c lw 32390
c lw 33429
c lw 34447
c lw 35461
c lw 36448
c lw 37427
c lw 38381
c lw 39316
c lw 40241
c lw 41154
c lw 42055
c lw 42946