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-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1745
c lw 3414
c lw 5011
c lw 6607
c lw 8125
c lw 9627
c lw 11098
c lw 12517
c lw 13919
c lw 15290
c lw 16653
c lw 18008
c lw 19309
c lw 20610
c lw 21846
c lw 23079
c lw 24271
c lw 25461
c lw 26631
c lw 27715
c lw 28778
c lw 29831
c lw 30877
c lw 31920
c lw 32904
c lw 33870
Killed
1976.171u 3.557s 33:03.10 99.8%	0+0k 0+0io 0pf+0w