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-100-2_network-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1980
c lw 3778
c lw 5549
c lw 7265
c lw 8935
c lw 10469
c lw 11951
c lw 13383
c lw 14814
c lw 16238
c lw 17640
c lw 19028
c lw 20376
c lw 21712
c lw 23011
c lw 24305
c lw 25583
c lw 26855
c lw 28097
c lw 29326
c lw 30547
c lw 31748
c lw 32946
c lw 34121
c lw 35275
c lw 36396
c lw 37504
c lw 38588
c lw 39663
c lw 40728
c lw 41767
c lw 42804
c lw 43834
c lw 44851
c lw 45820
c lw 46781
c lw 47725
c lw 48661
c lw 49594
c lw 50487
c lw 51347
c lw 52182
c lw 53008
c lw 53826
c lw 54638
c lw 55449
c lw 56259
c lw 57069
c lw 57873
c lw 58666
c lw 59454
c lw 60235
Killed
1978.057u 1.655s 33:01.30 99.9%	0+0k 0+0io 0pf+0w