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-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-8.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2241
c lw 4476
c lw 6416
c lw 8219
c lw 9980
c lw 11740
c lw 13463
c lw 15177
c lw 16878
c lw 18569
c lw 20260
c lw 21930
c lw 23600
c lw 25224
c lw 26841
c lw 28457
c lw 30043
c lw 31608
c lw 33172
c lw 34710
c lw 36242
c lw 37770
c lw 39289
c lw 40806
c lw 42323
c lw 43835
c lw 45346
c lw 46854
c lw 48345
c lw 49824
c lw 51297
c lw 52759
c lw 54220
c lw 55659
c lw 57089
c lw 58517
c lw 59945
c lw 61371
c lw 62787
c lw 64200
c lw 65612
c lw 67024
c lw 68435
c lw 69846
c lw 71235
c lw 72608
c lw 73968
c lw 75326
c lw 76675
c lw 77999
c lw 79321
c lw 80642
c lw 81956
c lw 83265
c lw 84569
c lw 85872
c lw 87174
c lw 88473
c lw 89762
c lw 91042
c lw 92322
c lw 93595
c lw 94857
c lw 96101
c lw 97343
c lw 98565
c lw 99781
c lw 100985
c lw 102181
c lw 103377
c lw 104570
c lw 105759
c lw 106944
c lw 108118
c lw 109290
c lw 110461
c lw 111630
c lw 112798
c lw 113966
c lw 115129
c lw 116278
c lw 117423
Killed
1978.287u 1.457s 33:09.82 99.4%	0+0k 0+0io 0pf+0w