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-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-9.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1931
c lw 3805
c lw 5588
c lw 7334
c lw 8986
c lw 10626
c lw 12263
c lw 13898
c lw 15517
c lw 17128
c lw 18737
c lw 20345
c lw 21942
c lw 23515
c lw 25080
c lw 26617
c lw 28131
c lw 29632
c lw 31122
c lw 32603
c lw 34079
c lw 35554
c lw 37011
c lw 38458
c lw 39898
c lw 41331
c lw 42761
c lw 44188
c lw 45609
c lw 47024
c lw 48439
c lw 49854
c lw 51249
c lw 52642
c lw 54031
c lw 55411
c lw 56784
c lw 58156
c lw 59527
c lw 60875
c lw 62220
c lw 63564
c lw 64900
c lw 66235
c lw 67566
c lw 68895
c lw 70224
c lw 71552
c lw 72876
c lw 74194
c lw 75511
c lw 76820
c lw 78125
c lw 79421
c lw 80717
c lw 82010
c lw 83277
c lw 84540
c lw 85794
c lw 87045
c lw 88296
c lw 89545
c lw 90784
c lw 92021
c lw 93255
c lw 94489
c lw 95718
c lw 96940
c lw 98149
c lw 99358
c lw 100539
c lw 101715
c lw 102887
c lw 104042
c lw 105191
c lw 106339
c lw 107485
c lw 108629
c lw 109772
c lw 110910
c lw 112044
c lw 113177
c lw 114295
c lw 115412
c lw 116527
c lw 117642
c lw 118750
c lw 119857
c lw 120950
c lw 122041
c lw 123127
c lw 124212
c lw 125295
c lw 126374
c lw 127448
c lw 128516
c lw 129581
c lw 130643
c lw 131704
c lw 132758
c lw 133811
c lw 134863