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-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-280-1_network-3.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2461
c lw 4519
c lw 6540
c lw 8471
c lw 10242
c lw 11900
c lw 13552
c lw 15198
c lw 16837
c lw 18464
c lw 20089
c lw 21697
c lw 23291
c lw 24872
c lw 26436
c lw 27996
c lw 29541
c lw 31066
c lw 32580
c lw 34093
c lw 35604
c lw 37109
c lw 38611
c lw 40111
c lw 41606
c lw 43080
c lw 44548
c lw 46011
c lw 47468
c lw 48924
c lw 50374
c lw 51817
c lw 53243
c lw 54667
c lw 56085
c lw 57494
c lw 58896
c lw 60284
c lw 61666
c lw 63030
c lw 64388
c lw 65745
c lw 67099
c lw 68433
c lw 69767
c lw 71082
c lw 72389
c lw 73683
c lw 74976
c lw 76246
c lw 77513
c lw 78770
c lw 80021
c lw 81268
c lw 82505
c lw 83738
c lw 84967
c lw 86184
c lw 87395
c lw 88605
c lw 89806
c lw 91000
c lw 92188
c lw 93376
c lw 94552
c lw 95723
c lw 96889
c lw 98051
c lw 99213
c lw 100374
c lw 101529
c lw 102683
c lw 103830
c lw 104970
c lw 106104
c lw 107218