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-280-1_network-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-280-1_network-4.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2251
c lw 4364
c lw 6298
c lw 8213
c lw 10092
c lw 11930
c lw 13593
c lw 15244
c lw 16884
c lw 18512
c lw 20138
c lw 21761
c lw 23369
c lw 24965
c lw 26555
c lw 28129
c lw 29701
c lw 31250
c lw 32788
c lw 34310
c lw 35831
c lw 37346
c lw 38860
c lw 40372
c lw 41883
c lw 43392
c lw 44868
c lw 46336
c lw 47801
c lw 49258
c lw 50707
c lw 52153
c lw 53590
c lw 55000
c lw 56403
c lw 57797
c lw 59190
c lw 60573
c lw 61956
c lw 63329
c lw 64691
c lw 66053
c lw 67413
c lw 68772
c lw 70118
c lw 71447
c lw 72759
c lw 74069
c lw 75369
c lw 76666
c lw 77958
c lw 79249
c lw 80537
c lw 81822
c lw 83099
c lw 84364
c lw 85629
c lw 86890
c lw 88151
c lw 89408
c lw 90657
c lw 91893
c lw 93100
c lw 94303
c lw 95503
c lw 96700
c lw 97895
c lw 99085
c lw 100270
c lw 101451
c lw 102628
c lw 103799
c lw 104970
c lw 106137
c lw 107304
c lw 108456
c lw 109608
c lw 110756
c lw 111899
c lw 113041
c lw 114178
c lw 115300
c lw 116415
c lw 117529
c lw 118639
c lw 119746
c lw 120847
c lw 121931
c lw 123013
c lw 124092
c lw 125161
c lw 126230
c lw 127298
c lw 128361
c lw 129405
c lw 130445
c lw 131484
c lw 132520
c lw 133556
c lw 134582
Killed
1975.960u 3.743s 33:09.95 99.4%	0+0k 0+0io 0pf+0w