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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-280-1_network-5.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1923
c lw 3836
c lw 5617
c lw 7385
c lw 9028
c lw 10670
c lw 12306
c lw 13903
c lw 15486
c lw 17068
c lw 18639
c lw 20201
c lw 21760
c lw 23311
c lw 24855
c lw 26375
c lw 27885
c lw 29394
c lw 30899
c lw 32403
c lw 33907
c lw 35390
c lw 36873
c lw 38353
c lw 39827
c lw 41299
c lw 42770
c lw 44222
c lw 45672
c lw 47121
c lw 48570
c lw 50015
c lw 51452
c lw 52889
c lw 54319
c lw 55747
c lw 57173
c lw 58599
c lw 60014
c lw 61419
c lw 62819
c lw 64197
c lw 65569
c lw 66936
c lw 68295
c lw 69648
c lw 71000
c lw 72352
c lw 73703
c lw 75016
c lw 76315
c lw 77609
c lw 78896
c lw 80170
c lw 81432
c lw 82691
c lw 83949
c lw 85198
c lw 86445
c lw 87680
c lw 88912
c lw 90135
c lw 91347
c lw 92552
c lw 93755
c lw 94956
c lw 96154
c lw 97343
c lw 98529
c lw 99714
c lw 100897
c lw 102080
c lw 103261
c lw 104432
c lw 105601
c lw 106768
c lw 107935
c lw 109080
c lw 110218
c lw 111355
c lw 112491
c lw 113607
c lw 114721
c lw 115834
c lw 116943
c lw 118048
c lw 119153
c lw 120252
c lw 121339
c lw 122414
c lw 123478
c lw 124541
c lw 125603
c lw 126649
c lw 127687
c lw 128724
c lw 129758
c lw 130790
c lw 131816
c lw 132838