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_120_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_120_0007.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1376
c lw 2752
c lw 4128
c lw 5504
c lw 6713
c lw 7922
c lw 9046
c lw 10170
c lw 11294
c lw 12418
c lw 13531
c lw 14644
c lw 15757
c lw 16870
c lw 17914
c lw 18886
c lw 19832
c lw 20778
c lw 21724
c lw 22670
c lw 23616
c lw 24559
c lw 25502
c lw 26445
c lw 27388
c lw 28315
c lw 29242
c lw 30169
c lw 31096
c lw 32022
c lw 32948
c lw 33874
c lw 34800
c lw 35714
c lw 36628
c lw 37541
c lw 38453
c lw 39365
c lw 40276
c lw 41187
c lw 42098
c lw 43009
c lw 43920
c lw 44816
c lw 45711
c lw 46581
c lw 47451
c lw 48291
c lw 49108
c lw 49925
c lw 50742
c lw 51559
c lw 52367
c lw 53175
c lw 53972
c lw 54769
c lw 55566
c lw 56363
c lw 57154
c lw 57943
c lw 58732
c lw 59521
c lw 60310
c lw 61075
c lw 61833
c lw 62591
c lw 63316
c lw 63995
c lw 64659
c lw 65254
c lw 65849