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_160_0005.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_160_0005.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1405
c lw 2810
c lw 4215
c lw 5620
c lw 6948
c lw 8276
c lw 9604
c lw 10932
c lw 12195
c lw 13458
c lw 14721
c lw 15984
c lw 17190
c lw 18328
c lw 19466
c lw 20604
c lw 21742
c lw 22854
c lw 23966
c lw 25078
c lw 26190
c lw 27281
c lw 28372
c lw 29438
c lw 30492
c lw 31546
c lw 32600
c lw 33654
c lw 34703
c lw 35752
c lw 36801
c lw 37817
c lw 38833
c lw 39849
c lw 40865
c lw 41880
c lw 42895
c lw 43910
c lw 44925
c lw 45940
c lw 46954
c lw 47968
c lw 48982
c lw 49990
c lw 50998
c lw 52006
c lw 53014
c lw 54022
c lw 55029
c lw 56036
c lw 57017
c lw 57998
c lw 58979
c lw 59960
c lw 60929
c lw 61898
c lw 62867
c lw 63836
c lw 64801
c lw 65766
c lw 66731
c lw 67696
c lw 68648
c lw 69600
c lw 70550
c lw 71500
c lw 72450
c lw 73398
c lw 74334
c lw 75270
c lw 76206