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-280-1_network-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-280-1_network-7.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1835
c lw 3655
c lw 5458
c lw 7244
c lw 8997
c lw 10749
c lw 12478
c lw 14187
c lw 15892
c lw 17564
c lw 19225
c lw 20823
c lw 22419
c lw 24009
c lw 25567
c lw 27113
c lw 28646
c lw 30159
c lw 31657
c lw 33151
c lw 34642
c lw 36117
c lw 37590
c lw 39048
c lw 40491
c lw 41927
c lw 43359
c lw 44790
c lw 46220
c lw 47643
c lw 49066
c lw 50474
c lw 51876
c lw 53265
c lw 54639
c lw 56013
c lw 57385
c lw 58738
c lw 60090
c lw 61426
c lw 62761
c lw 64082
c lw 65398
c lw 66708
c lw 68016
c lw 69324
c lw 70628
c lw 71925
c lw 73210
c lw 74495
c lw 75776
c lw 77057
c lw 78337
c lw 79607
c lw 80875
c lw 82137
c lw 83395
c lw 84639
c lw 85881
c lw 87120
c lw 88358
c lw 89592
c lw 90796
c lw 91999
c lw 93201
c lw 94402