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-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2232
c lw 4162
c lw 5944
c lw 7588
c lw 9231
c lw 10684
c lw 12136
c lw 13569
c lw 14982
c lw 16364
c lw 17742
c lw 18996
c lw 20235
c lw 21461
c lw 22667
c lw 23808
c lw 24909
c lw 25999
c lw 27071
c lw 28089
c lw 29099
c lw 30075
c lw 31004
c lw 31909
c lw 32780
c lw 33623
c lw 34437
c lw 35245
c lw 35983
Killed
1976.265u 3.449s 33:09.72 99.4%	0+0k 0+0io 0pf+0w