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_auctions_auc-paths_cat_paths_60_140_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_140_0007.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1290
c lw 2580
c lw 3747
c lw 4914
c lw 6081
c lw 7248
c lw 8379
c lw 9510
c lw 10641
c lw 11772
c lw 12893
c lw 14014
c lw 15135
c lw 16242
c lw 17349
c lw 18456
c lw 19563
c lw 20569
c lw 21575
c lw 22581
c lw 23587
c lw 24570
c lw 25553
c lw 26536
c lw 27513
c lw 28490
c lw 29435
c lw 30380
c lw 31325
c lw 32270
c lw 33178
c lw 34086
c lw 34994
c lw 35897
c lw 36800
c lw 37703
c lw 38606
c lw 39509
c lw 40412
c lw 41315
c lw 42218
c lw 43116
c lw 44014
c lw 44912
c lw 45810
c lw 46708
c lw 47581
c lw 48453
c lw 49325
c lw 50197
c lw 51069
c lw 51911
c lw 52748
c lw 53585
c lw 54387
c lw 55189
c lw 55971
c lw 56735
c lw 57499
c lw 58247
c lw 58995
c lw 59743
c lw 60491
c lw 61204
c lw 61917
c lw 62630
c lw 63343
c lw 64056
c lw 64769
c lw 65482
c lw 66195
c lw 66908
c lw 67617
c lw 68326
c lw 69029