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-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-6.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2247
c lw 4335
c lw 6390
c lw 8415
c lw 10242
c lw 12057
c lw 13799
c lw 15517
c lw 17217
c lw 18913
c lw 20609
c lw 22229
c lw 23819
c lw 25387
c lw 26941
c lw 28488
c lw 30035
c lw 31574
c lw 33108
c lw 34633
c lw 36153
c lw 37673
c lw 39188
c lw 40703
c lw 42207
c lw 43710
c lw 45208
c lw 46701
c lw 48181
c lw 49629
c lw 51070
c lw 52495
c lw 53917
c lw 55321
c lw 56725
c lw 58124
c lw 59519
c lw 60898
c lw 62276
c lw 63640
c lw 65003
c lw 66364
c lw 67696
c lw 69019
c lw 70338
c lw 71652
c lw 72954
c lw 74251
c lw 75547
c lw 76842
c lw 78091
c lw 79331
c lw 80569
c lw 81806
c lw 83040
c lw 84254
c lw 85462
c lw 86667
c lw 87866
c lw 89062
c lw 90255
c lw 91442
c lw 92623
c lw 93802
c lw 94980
c lw 96157
c lw 97310
c lw 98463
c lw 99614
c lw 100756
c lw 101893
c lw 103028
c lw 104161
c lw 105291
c lw 106415
c lw 107527
c lw 108625
c lw 109721
c lw 110815
c lw 111896
c lw 112965