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-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1606
c lw 3208
c lw 4804
c lw 6353
c lw 7896
c lw 9294
c lw 10681
c lw 12047
c lw 13352
c lw 14643
c lw 15931
c lw 17179
c lw 18385
c lw 19538
c lw 20680
c lw 21812
c lw 22929
c lw 23962
c lw 24982
c lw 25996
c lw 26999
c lw 27998
c lw 28986
c lw 29966
c lw 30934
c lw 31875
c lw 32807
c lw 33730
c lw 34635
c lw 35533
c lw 36415
c lw 37239
c lw 38058
c lw 38810
c lw 39552