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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-5.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2528
c lw 4595
c lw 6234
c lw 7867
c lw 9483
c lw 11098
c lw 12705
c lw 14311
c lw 15911
c lw 17496
c lw 19068
c lw 20639
c lw 22200
c lw 23736
c lw 25260
c lw 26778
c lw 28293
c lw 29794
c lw 31292
c lw 32783
c lw 34244
c lw 35702
c lw 37157
c lw 38610
c lw 40061
c lw 41506
c lw 42933
c lw 44356
c lw 45762
c lw 47162
c lw 48559
c lw 49942
c lw 51312
c lw 52673
c lw 54027
c lw 55377
c lw 56725
c lw 58066
c lw 59404
c lw 60736
c lw 62062
c lw 63379
c lw 64691
c lw 65996
c lw 67298
c lw 68593
c lw 69887
c lw 71178
c lw 72459
c lw 73737
c lw 75011
c lw 76279
c lw 77545
c lw 78809
c lw 80071
c lw 81329
c lw 82587
c lw 83844
c lw 85088
c lw 86331
c lw 87556
c lw 88781
c lw 89984
c lw 91184
c lw 92383
c lw 93578
c lw 94764
c lw 95943
c lw 97116
c lw 98285
c lw 99437
c lw 100589
c lw 101737
c lw 102880
c lw 104013
c lw 105139
c lw 106263
c lw 107384
c lw 108498
c lw 109603