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_130_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_130_0006.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1212
c lw 2424
c lw 3636
c lw 4848
c lw 5998
c lw 7148
c lw 8298
c lw 9448
c lw 10561
c lw 11674
c lw 12787
c lw 13900
c lw 15001
c lw 16102
c lw 17203
c lw 18304
c lw 19355
c lw 20406
c lw 21457
c lw 22508
c lw 23559
c lw 24598
c lw 25637
c lw 26676
c lw 27715
c lw 28610
c lw 29505
c lw 30400
c lw 31295
c lw 32190
c lw 33083
c lw 33976
c lw 34869
c lw 35762
c lw 36643
c lw 37500
c lw 38357
c lw 39214
c lw 40071
c lw 40922
c lw 41748
c lw 42573
c lw 43398
c lw 44197
c lw 44996
c lw 45794
c lw 46592
c lw 47390
c lw 48188
c lw 48986
c lw 49780
c lw 50511
c lw 51242
c lw 51973
c lw 52704
c lw 53386
c lw 54057
c lw 54728
c lw 55399
c lw 56064
c lw 56729
c lw 57378
c lw 58027
c lw 58676
c lw 59325
c lw 59974
c lw 60620
c lw 61266
c lw 61897
c lw 62482
c lw 63055
c lw 63628
c lw 64198
c lw 64768
c lw 65338
c lw 65908
c lw 66478
c lw 67035
c lw 67592
c lw 68149
c lw 68668
c lw 69187
c lw 69706
c lw 70225
c lw 70744
c lw 71224