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-300-1_network-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-5.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2432
c lw 4747
c lw 6624
c lw 8425
c lw 10179
c lw 11918
c lw 13647
c lw 15303
c lw 16922
c lw 18523
c lw 20118
c lw 21711
c lw 23302
c lw 24879
c lw 26455
c lw 28009
c lw 29561
c lw 31100
c lw 32635
c lw 34163
c lw 35684
c lw 37179
c lw 38667
c lw 40121
c lw 41568
c lw 43005
c lw 44429
c lw 45840
c lw 47251
c lw 48662
c lw 50072
c lw 51473
c lw 52873
c lw 54263
c lw 55632
c lw 56999
c lw 58357
c lw 59715
c lw 61069
c lw 62419
c lw 63769
c lw 65113
c lw 66453
c lw 67791
c lw 69125
c lw 70456
c lw 71778
c lw 73097
c lw 74413
c lw 75724
c lw 77035
c lw 78336
c lw 79621
c lw 80897
c lw 82170
c lw 83413
c lw 84655
c lw 85897
c lw 87137
c lw 88375
c lw 89602
c lw 90829
c lw 92056
c lw 93270
c lw 94475
c lw 95677
c lw 96876
c lw 98070
c lw 99263
c lw 100445
c lw 101621
c lw 102790
c lw 103952
c lw 105111
c lw 106269
c lw 107426
c lw 108582
c lw 109733
c lw 110873
c lw 112011
c lw 113146
c lw 114255
c lw 115362
c lw 116464
c lw 117561
c lw 118656
c lw 119748
c lw 120835
c lw 121919
c lw 123003
c lw 124086
c lw 125165
c lw 126240
c lw 127315
c lw 128379
c lw 129435
c lw 130477
c lw 131518
c lw 132557