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-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-9.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1828
c lw 3604
c lw 5298
c lw 6987
c lw 8660
c lw 10271
c lw 11837
c lw 13401
c lw 14945
c lw 16471
c lw 17985
c lw 19483
c lw 20980
c lw 22473
c lw 23965
c lw 25449
c lw 26929
c lw 28408
c lw 29881
c lw 31342
c lw 32801
c lw 34239
c lw 35657
c lw 37070
c lw 38477
c lw 39884
c lw 41263
c lw 42630
c lw 43993
c lw 45354
c lw 46712
c lw 48069
c lw 49415
c lw 50750
c lw 52078
c lw 53405
c lw 54732
c lw 56041
c lw 57343
c lw 58643
c lw 59930
c lw 61206
c lw 62461
c lw 63716
c lw 64970
c lw 66221
c lw 67458
c lw 68694
c lw 69924
c lw 71148
c lw 72366
c lw 73578
c lw 74781
c lw 75975
c lw 77168
c lw 78345
c lw 79514