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-80-2_network-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1790
c lw 3381
c lw 4878
c lw 6317
c lw 7755
c lw 9182
c lw 10603
c lw 11993
c lw 13372
c lw 14739
c lw 16099
c lw 17413
c lw 18690
c lw 19964
c lw 21210
c lw 22442
c lw 23673
c lw 24859
c lw 26030
c lw 27189
c lw 28348
c lw 29451
c lw 30551
c lw 31650
c lw 32730
c lw 33774
c lw 34791
c lw 35803
c lw 36814
c lw 37824
c lw 38814
c lw 39796
c lw 40723
c lw 41649
c lw 42561
c lw 43443