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-240-1_network-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-1.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2352
c lw 4254
c lw 6059
c lw 7757
c lw 9418
c lw 11053
c lw 12635
c lw 14215
c lw 15790
c lw 17358
c lw 18906
c lw 20437
c lw 21946
c lw 23432
c lw 24906
c lw 26379
c lw 27843
c lw 29306
c lw 30768
c lw 32223
c lw 33673
c lw 35119
c lw 36557
c lw 37995
c lw 39433
c lw 40866
c lw 42298
c lw 43715
c lw 45128
c lw 46532
c lw 47933
c lw 49329
c lw 50723
c lw 52112
c lw 53497
c lw 54870
c lw 56241
c lw 57609
c lw 58974
c lw 60338
c lw 61698
c lw 63057
c lw 64410
c lw 65758
c lw 67105
c lw 68437
c lw 69767
c lw 71093
c lw 72406
c lw 73718
c lw 75026
c lw 76329
c lw 77629
c lw 78927
c lw 80223
c lw 81511
c lw 82799
c lw 84084
c lw 85361
c lw 86636
c lw 87909
c lw 89180
c lw 90444
c lw 91704
c lw 92959
c lw 94201
c lw 95417
c lw 96631
c lw 97843
c lw 99046
c lw 100244
c lw 101428
c lw 102608
c lw 103779
c lw 104946
c lw 106109
c lw 107259
c lw 108409
c lw 109553
c lw 110686
c lw 111813
c lw 112920
c lw 114027
c lw 115127
c lw 116223
c lw 117315
c lw 118379
c lw 119442
c lw 120492
c lw 121531
c lw 122567
c lw 123598
c lw 124625
c lw 125651
c lw 126672
c lw 127691
c lw 128704
c lw 129716
c lw 130728
c lw 131722
c lw 132708