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-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1970
c lw 3560
c lw 5124
c lw 6634
c lw 8091
c lw 9544
c lw 10990
c lw 12429
c lw 13866
c lw 15196
c lw 16522
c lw 17834
c lw 19132
c lw 20418
c lw 21686
c lw 22932
c lw 24177
c lw 25367
c lw 26521
c lw 27594
c lw 28648
c lw 29701
c lw 30754
c lw 31807
c lw 32847
c lw 33805
c lw 34752