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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1953
c lw 3651
c lw 5160
c lw 6641
c lw 8120
c lw 9581
c lw 11028
c lw 12469
c lw 13894
c lw 15316
c lw 16725
c lw 18129
c lw 19528
c lw 20919
c lw 22293
c lw 23638
c lw 24949
c lw 26232
c lw 27501
c lw 28765
c lw 29978
c lw 31189
c lw 32394
c lw 33596
c lw 34765
c lw 35933
c lw 37065
c lw 38168
c lw 39271