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_170_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_170_0000.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1281
c lw 2562
c lw 3843
c lw 5124
c lw 6405
c lw 7686
c lw 8967
c lw 10248
c lw 11529
c lw 12755
c lw 13981
c lw 15207
c lw 16433
c lw 17626
c lw 18819
c lw 20012
c lw 21153
c lw 22294
c lw 23435
c lw 24576
c lw 25675
c lw 26774
c lw 27873
c lw 28971
c lw 30069
c lw 31167
c lw 32265
c lw 33302
c lw 34339
c lw 35376
c lw 36386
c lw 37396
c lw 38393
c lw 39390
c lw 40387
c lw 41384
c lw 42374
c lw 43364
c lw 44354
c lw 45344
c lw 46334
c lw 47324
c lw 48314
c lw 49304
c lw 50294
c lw 51284
c lw 52271
c lw 53258
c lw 54245
c lw 55232
c lw 56219
c lw 57201
c lw 58183
c lw 59165
c lw 60147
c lw 61116
c lw 62080
c lw 63040
c lw 63995
c lw 64917
c lw 65839
c lw 66761
c lw 67683
c lw 68593
c lw 69503
c lw 70413
c lw 71323
c lw 72206
c lw 73089
c lw 73972
c lw 74855
c lw 75738
c lw 76621
c lw 77504
c lw 78387
c lw 79270
c lw 80153
c lw 81034
c lw 81915
c lw 82796
c lw 83677
c lw 84558
c lw 85410
c lw 86262
c lw 87114
c lw 87962
c lw 88810
c lw 89658
c lw 90506
c lw 91340
c lw 92174
c lw 93008