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-200-1_network-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-5.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1859
c lw 3616
c lw 5335
c lw 7025
c lw 8618
c lw 10209
c lw 11781
c lw 13333
c lw 14864
c lw 16374
c lw 17867
c lw 19359
c lw 20841
c lw 22322
c lw 23780
c lw 25236
c lw 26689
c lw 28132
c lw 29573
c lw 31001
c lw 32424
c lw 33825
c lw 35216
c lw 36603
c lw 37989
c lw 39372
c lw 40751
c lw 42123
c lw 43485
c lw 44847
c lw 46201
c lw 47543
c lw 48875
c lw 50190
c lw 51504
c lw 52804
c lw 54096
c lw 55383
c lw 56669
c lw 57955
c lw 59236
c lw 60508
c lw 61768
c lw 63014
c lw 64252
c lw 65487
c lw 66699
c lw 67904
c lw 69106
c lw 70307
c lw 71498
c lw 72686
c lw 73865
c lw 75031
c lw 76196
c lw 77360
c lw 78511
c lw 79656
c lw 80787
c lw 81910
c lw 83032
c lw 84140