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-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-280-1_network-8.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2156
c lw 4128
c lw 6053
c lw 7958
c lw 9736
c lw 11513
c lw 13216
c lw 14901
c lw 16574
c lw 18231
c lw 19863
c lw 21490
c lw 23114
c lw 24725
c lw 26335
c lw 27942
c lw 29522
c lw 31096
c lw 32645
c lw 34190
c lw 35726
c lw 37259
c lw 38787
c lw 40315
c lw 41834
c lw 43350
c lw 44859
c lw 46359
c lw 47832
c lw 49295
c lw 50754
c lw 52198
c lw 53626
c lw 55039
c lw 56450
c lw 57852
c lw 59249
c lw 60643
c lw 62033
c lw 63417
c lw 64800
c lw 66180
c lw 67556
c lw 68923
c lw 70289
c lw 71646
c lw 72982
c lw 74312
c lw 75625
c lw 76930
c lw 78227
c lw 79523
c lw 80817
c lw 82107
c lw 83396
c lw 84680
c lw 85963
c lw 87243
c lw 88517
c lw 89790
c lw 91062
c lw 92334
c lw 93600
c lw 94862
c lw 96123
c lw 97384
c lw 98639
c lw 99892
c lw 101144
c lw 102393
c lw 103639
c lw 104867
c lw 106093
c lw 107313
c lw 108528
c lw 109741
c lw 110954
c lw 112164
c lw 113373
c lw 114573
c lw 115772
c lw 116969
c lw 118165
c lw 119342
c lw 120519
c lw 121691
c lw 122857
c lw 124023
c lw 125181
c lw 126318
c lw 127448
c lw 128568
c lw 129686
c lw 130803
c lw 131919
c lw 133026
c lw 134132
c lw 135238
c lw 136342
c lw 137444