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-50-2_network-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1794
c lw 3583
c lw 5201
c lw 6766
c lw 8265
c lw 9696
c lw 11062
c lw 12393
c lw 13720
c lw 15040
c lw 16315
c lw 17549
c lw 18764
c lw 19960
c lw 21125
c lw 22244
c lw 23317
c lw 24347
c lw 25352
c lw 26309
c lw 27233
c lw 28150
c lw 29044
c lw 29893
c lw 30741
c lw 31578
c lw 32357
c lw 33084
c lw 33773
Killed
1974.586u 5.120s 33:08.22 99.5%	0+0k 0+0io 0pf+0w