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_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_130_0000.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1209
c lw 2390
c lw 3571
c lw 4752
c lw 5933
c lw 6961
c lw 7989
c lw 9017
c lw 10023
c lw 11029
c lw 12035
c lw 13041
c lw 14037
c lw 15033
c lw 16029
c lw 17025
c lw 18005
c lw 18985
c lw 19965
c lw 20945
c lw 21925
c lw 22905
c lw 23885
c lw 24865
c lw 25845
c lw 26825
c lw 27805
c lw 28785
c lw 29765
c lw 30720
c lw 31675
c lw 32630
c lw 33585
c lw 34532
c lw 35479
c lw 36426
c lw 37373
c lw 38309
c lw 39183
c lw 40057
c lw 40931
c lw 41805
c lw 42679
c lw 43543
c lw 44407
c lw 45251
c lw 46095
c lw 46939
c lw 47783
c lw 48612
c lw 49441
c lw 50270
c lw 51099
c lw 51911
c lw 52716
c lw 53521
c lw 54302
c lw 55070
c lw 55838
c lw 56606
c lw 57374
c lw 58134
c lw 58894
c lw 59553
c lw 60212
c lw 60867
c lw 61495
c lw 62123
c lw 62751
c lw 63372
c lw 63993
c lw 64582
c lw 65171
c lw 65760
c lw 66344
c lw 66908
c lw 67472