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-240-1_network-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-4.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1932
c lw 3826
c lw 5691
c lw 7494
c lw 9266
c lw 11031
c lw 12791
c lw 14516
c lw 16215
c lw 17890
c lw 19563
c lw 21186
c lw 22800
c lw 24407
c lw 25994
c lw 27580
c lw 29158
c lw 30724
c lw 32289
c lw 33852
c lw 35408
c lw 36956
c lw 38495
c lw 40034
c lw 41562
c lw 43077
c lw 44569
c lw 46058
c lw 47535
c lw 48979
c lw 50412
c lw 51804
c lw 53191
c lw 54575
c lw 55957
c lw 57339
c lw 58719
c lw 60096
c lw 61467
c lw 62833
c lw 64193
c lw 65552
c lw 66904
c lw 68251
c lw 69594
c lw 70928
c lw 72259
c lw 73588
c lw 74913
c lw 76238
c lw 77560
c lw 78879
c lw 80187
c lw 81485
c lw 82775
c lw 84064
c lw 85350
c lw 86627
c lw 87896
c lw 89157
c lw 90418
c lw 91673
c lw 92916
c lw 94159
c lw 95400
c lw 96623