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-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-7.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2553
c lw 5010
c lw 7361
c lw 9251
c lw 11012
c lw 12768
c lw 14445
c lw 16117
c lw 17788
c lw 19452
c lw 21114
c lw 22727
c lw 24338
c lw 25933
c lw 27522
c lw 29087
c lw 30619
c lw 32135
c lw 33647
c lw 35154
c lw 36658
c lw 38156
c lw 39642
c lw 41114
c lw 42578
c lw 44021
c lw 45459
c lw 46896
c lw 48320
c lw 49743
c lw 51158
c lw 52568
c lw 53969
c lw 55370
c lw 56769
c lw 58165
c lw 59552
c lw 60938
c lw 62318
c lw 63691
c lw 65059
c lw 66427
c lw 67785
c lw 69141
c lw 70496
c lw 71826
c lw 73144
c lw 74451
c lw 75755
c lw 77055
c lw 78351
c lw 79636
c lw 80917
c lw 82193
c lw 83465
c lw 84728
c lw 85986
c lw 87243
c lw 88496
c lw 89744
c lw 90992
c lw 92232
c lw 93468
c lw 94683
c lw 95895
c lw 97102
c lw 98301
c lw 99496
c lw 100687
c lw 101864
c lw 103028
c lw 104190
c lw 105341
c lw 106492
c lw 107642
c lw 108779
c lw 109913
c lw 111046
c lw 112176
c lw 113296
c lw 114410
c lw 115523
c lw 116625
c lw 117718
c lw 118809
c lw 119894
c lw 120974
c lw 122050
c lw 123117
c lw 124183
c lw 125247
c lw 126310
c lw 127373
c lw 128433
c lw 129490
c lw 130540
c lw 131583
c lw 132621
c lw 133631
c lw 134631
c lw 135614