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-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-9.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2780
c lw 4720
c lw 6557
c lw 8341
c lw 10043
c lw 11714
c lw 13377
c lw 15013
c lw 16624
c lw 18234
c lw 19832
c lw 21412
c lw 22957
c lw 24479
c lw 25980
c lw 27469
c lw 28958
c lw 30437
c lw 31913
c lw 33383
c lw 34838
c lw 36292
c lw 37742
c lw 39171
c lw 40586
c lw 41999
c lw 43405
c lw 44808
c lw 46199
c lw 47589
c lw 48967
c lw 50339
c lw 51698
c lw 53048
c lw 54397
c lw 55743
c lw 57066
c lw 58389
c lw 59707
c lw 61018
c lw 62329
c lw 63624
c lw 64918
c lw 66205
c lw 67480
c lw 68747
c lw 70012
c lw 71273
c lw 72532
c lw 73790
c lw 75040
c lw 76280
c lw 77505
c lw 78722
c lw 79921
c lw 81119
c lw 82311