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-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-4.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2362
c lw 4585
c lw 6735
c lw 8621
c lw 10502
c lw 12381
c lw 14205
c lw 15952
c lw 17643
c lw 19322
c lw 20999
c lw 22658
c lw 24313
c lw 25967
c lw 27617
c lw 29266
c lw 30911
c lw 32551
c lw 34177
c lw 35790
c lw 37401
c lw 38998
c lw 40593
c lw 42174
c lw 43736
c lw 45295
c lw 46853
c lw 48410
c lw 49963
c lw 51499
c lw 53034
c lw 54567
c lw 56060
c lw 57551
c lw 59041
c lw 60514
c lw 61984
c lw 63451
c lw 64914
c lw 66371
c lw 67825
c lw 69266
c lw 70702
c lw 72135
c lw 73549
c lw 74961
c lw 76365
c lw 77758
c lw 79119
c lw 80475
c lw 81829
c lw 83175
c lw 84509
c lw 85840
c lw 87171
c lw 88501
c lw 89830
c lw 91143
c lw 92454
c lw 93763
c lw 95070
c lw 96376
c lw 97682
c lw 98977
c lw 100272
c lw 101541
c lw 102809
c lw 104070
c lw 105331
c lw 106580
c lw 107820
c lw 109060
c lw 110296
c lw 111530
c lw 112755
c lw 113976
c lw 115188
c lw 116397
c lw 117605
c lw 118813
c lw 120013
c lw 121212
c lw 122399
c lw 123576
c lw 124742
c lw 125899
c lw 127044
c lw 128175
c lw 129299
c lw 130417
c lw 131535
c lw 132649
c lw 133761
c lw 134872
c lw 135976
c lw 137079
c lw 138179
c lw 139277
c lw 140374
c lw 141460
c lw 142537
c lw 143604
c lw 144670
c lw 145733
c lw 146796
c lw 147856
c lw 148908
c lw 149949
c lw 150979
c lw 152009
c lw 153038
c lw 154067
c lw 155094
c lw 156115
c lw 157134
c lw 158145
c lw 159155
c lw 160160
c lw 161164
c lw 162168
c lw 163171
c lw 164172
c lw 165173
c lw 166169
c lw 167163
c lw 168152
c lw 169139
c lw 170122
c lw 171105
c lw 172087
c lw 173055
c lw 174016
c lw 174975
c lw 175934
c lw 176885
c lw 177835
c lw 178777
c lw 179718
c lw 180655
c lw 181586
c lw 182515
Killed
1975.062u 4.646s 33:06.26 99.6%	0+0k 0+0io 0pf+0w