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-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-6.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1803
c lw 3600
c lw 5367
c lw 7119
c lw 8816
c lw 10310
c lw 11739
c lw 13166
c lw 14530
c lw 15874
c lw 17209
c lw 18536
c lw 19789
c lw 20995
c lw 22166
c lw 23321
c lw 24473
c lw 25614
c lw 26707
c lw 27793
c lw 28872
c lw 29939
c lw 30991
c lw 31978
c lw 32939
c lw 33892
c lw 34835
c lw 35748
c lw 36607
c lw 37437
c lw 38199
c lw 38933
c lw 39666
c lw 40375
c lw 41060
c lw 41742
c lw 42422
c lw 43070
c lw 43637
c lw 44201
c lw 44753
c lw 45288
c lw 45814
c lw 46304
c lw 46768
c lw 47230
c lw 47669
c lw 48096
c lw 48481
c lw 48858
c lw 49227
c lw 49583
c lw 49931
c lw 50229
c lw 50514
c lw 50794
Killed
1976.666u 3.082s 33:03.15 99.8%	0+0k 0+0io 0pf+0w