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-100-2_network-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1723
c lw 3394
c lw 5003
c lw 6607
c lw 8135
c lw 9637
c lw 11126
c lw 12598
c lw 14063
c lw 15510
c lw 16956
c lw 18378
c lw 19797
c lw 21188
c lw 22577
c lw 23964
c lw 25349
c lw 26678
c lw 27991
c lw 29280
c lw 30563
c lw 31841
c lw 33102
c lw 34360
c lw 35601
c lw 36823
c lw 38037
c lw 39226
c lw 40395
c lw 41553
c lw 42704
c lw 43837
c lw 44935
c lw 45987
c lw 47021
c lw 48047
c lw 49064
c lw 50065
c lw 51042
c lw 52006
c lw 52956
c lw 53905
c lw 54854
c lw 55782
c lw 56708
c lw 57627
c lw 58544
c lw 59454
c lw 60357