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-200-1_network-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-3.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2115
c lw 3943
c lw 5579
c lw 7208
c lw 8822
c lw 10421
c lw 12002
c lw 13573
c lw 15131
c lw 16680
c lw 18208
c lw 19734
c lw 21235
c lw 22735
c lw 24233
c lw 25717
c lw 27196
c lw 28667
c lw 30122
c lw 31565
c lw 33008
c lw 34443
c lw 35878
c lw 37274
c lw 38658
c lw 40030
c lw 41398
c lw 42754
c lw 44091
c lw 45368
c lw 46643
c lw 47901
c lw 49147
c lw 50393
c lw 51635
c lw 52869