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-100-2_network-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2192
c lw 3728
c lw 5248
c lw 6763
c lw 8267
c lw 9770
c lw 11266
c lw 12754
c lw 14190
c lw 15586
c lw 16934
c lw 18256
c lw 19527
c lw 20786
c lw 22045
c lw 23298
c lw 24548
c lw 25753
c lw 26954
c lw 28137
c lw 29275
c lw 30408
c lw 31539
c lw 32660
c lw 33743
c lw 34819
c lw 35879
c lw 36933
c lw 37985
c lw 39016
c lw 40028
c lw 40986
c lw 41932
c lw 42858
c lw 43771
Killed
1974.944u 4.773s 33:15.52 99.2%	0+0k 0+0io 0pf+0w