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-240-1_network-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-2.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 2222
c lw 4361
c lw 6459
c lw 8451
c lw 10428
c lw 12389
c lw 14253
c lw 15997
c lw 17726
c lw 19439
c lw 21139
c lw 22823
c lw 24479
c lw 26133
c lw 27771
c lw 29381
c lw 30957
c lw 32517
c lw 34071
c lw 35625
c lw 37169
c lw 38700
c lw 40203
c lw 41673
c lw 43124
c lw 44567
c lw 46009
c lw 47449
c lw 48869
c lw 50281
c lw 51668
c lw 53046
c lw 54420
c lw 55793
c lw 57163
c lw 58521
c lw 59877
c lw 61224
c lw 62570
c lw 63912
c lw 65250
c lw 66586
c lw 67918
c lw 69238
c lw 70553
c lw 71856
c lw 73138
c lw 74420
c lw 75701
c lw 76966
c lw 78227
c lw 79484
c lw 80730
c lw 81974
c lw 83216
c lw 84457
c lw 85692
c lw 86921
c lw 88150
c lw 89378
c lw 90605
c lw 91819
c lw 93033
c lw 94233
c lw 95423
c lw 96610
c lw 97796
c lw 98980
c lw 100152
c lw 101308
c lw 102459
c lw 103596
c lw 104724
c lw 105851
c lw 106975
c lw 108099
c lw 109204
c lw 110307
c lw 111355
c lw 112396
c lw 113433
c lw 114468
c lw 115496
c lw 116511
c lw 117520
c lw 118526
c lw 119526
c lw 120524
c lw 121516
Killed
1659.187u 7.659s 28:14.45 98.3%	0+0k 0+0io 7pf+0w