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-300-1_network-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-6.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2031
c lw 3865
c lw 5669
c lw 7458
c lw 9216
c lw 10968
c lw 12705
c lw 14419
c lw 16126
c lw 17778
c lw 19419
c lw 20997
c lw 22568
c lw 24131
c lw 25688
c lw 27242
c lw 28796
c lw 30324
c lw 31842
c lw 33357
c lw 34866
c lw 36375
c lw 37872
c lw 39364
c lw 40849
c lw 42323
c lw 43796
c lw 45262
c lw 46686
c lw 48102
c lw 49510
c lw 50914
c lw 52311
c lw 53706
c lw 55100
c lw 56489
c lw 57866
c lw 59233
c lw 60594
c lw 61954
c lw 63296
c lw 64637
c lw 65973
c lw 67308
c lw 68641
c lw 69974
c lw 71293
c lw 72605
c lw 73912
c lw 75214
c lw 76512
c lw 77807
c lw 79090
c lw 80369
c lw 81641
c lw 82912
c lw 84179
c lw 85436
c lw 86690
c lw 87936
c lw 89176
c lw 90410
c lw 91639