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_150_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_150_0001.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1248
c lw 2496
c lw 3744
c lw 4992
c lw 6091
c lw 7190
c lw 8289
c lw 9388
c lw 10461
c lw 11534
c lw 12607
c lw 13680
c lw 14746
c lw 15812
c lw 16878
c lw 17944
c lw 19001
c lw 20058
c lw 21115
c lw 22172
c lw 23172
c lw 24106
c lw 25009
c lw 25912
c lw 26769
c lw 27626
c lw 28481
c lw 29336
c lw 30188
c lw 31040
c lw 31892
c lw 32744
c lw 33596
c lw 34446
c lw 35296
c lw 36138
c lw 36974
c lw 37810
c lw 38646
c lw 39482
c lw 40315
c lw 41148
c lw 41981
c lw 42814
c lw 43630
c lw 44446
c lw 45218
c lw 45990
c lw 46762
c lw 47534
c lw 48306
c lw 49075
c lw 49844
c lw 50613
c lw 51382
c lw 52145
c lw 52908
c lw 53671
c lw 54434
c lw 55197
c lw 55954
c lw 56711
c lw 57468
c lw 58223
c lw 58975
c lw 59727
c lw 60479
c lw 61226
c lw 61973
c lw 62720
c lw 63454
c lw 64188
c lw 64922
c lw 65656
c lw 66390
c lw 67119
c lw 67846
c lw 68573
c lw 69298
c lw 70023
c lw 70748
c lw 71473
c lw 72179
c lw 72885
c lw 73591
c lw 74297
c lw 75000
c lw 75691
c lw 76361
c lw 77022
c lw 77659
c lw 78205
c lw 78751
c lw 79297
c lw 79843
c lw 80389
c lw 80918
c lw 81447
c lw 81976