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_0002.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_160_0002.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1117
c lw 2234
c lw 3351
c lw 4440
c lw 5529
c lw 6618
c lw 7707
c lw 8796
c lw 9885
c lw 10974
c lw 12051
c lw 13128
c lw 14205
c lw 15282
c lw 16319
c lw 17356
c lw 18393
c lw 19430
c lw 20467
c lw 21504
c lw 22528
c lw 23544
c lw 24560
c lw 25576
c lw 26592
c lw 27599
c lw 28606
c lw 29613
c lw 30611
c lw 31609
c lw 32599
c lw 33589
c lw 34579
c lw 35569
c lw 36555
c lw 37523
c lw 38480
c lw 39437
c lw 40394
c lw 41351
c lw 42271
c lw 43191
c lw 44111
c lw 45031
c lw 45951
c lw 46871
c lw 47791
c lw 48705
c lw 49606
c lw 50507
c lw 51408
c lw 52309
c lw 53197
c lw 54085
c lw 54973
c lw 55846
c lw 56696
c lw 57546
c lw 58396
c lw 59246
c lw 60096
c lw 60946
c lw 61796
c lw 62646
c lw 63496
c lw 64345
c lw 65194
c lw 66043
c lw 66871
c lw 67699
c lw 68527
c lw 69347
c lw 70167
c lw 70987