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_90_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_90_0007.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1302
c lw 2604
c lw 3906
c lw 5208
c lw 6407
c lw 7606
c lw 8805
c lw 10004
c lw 11071
c lw 12138
c lw 13205
c lw 14272
c lw 15339
c lw 16406
c lw 17473
c lw 18540
c lw 19527
c lw 20514
c lw 21501
c lw 22488
c lw 23459
c lw 24430
c lw 25401
c lw 26354
c lw 27307
c lw 28260
c lw 29213
c lw 30162
c lw 31111
c lw 32060
c lw 33009
c lw 33861
c lw 34713
c lw 35565
c lw 36417
c lw 37269
c lw 38100
c lw 38931
c lw 39762
c lw 40593
c lw 41388
c lw 42179
c lw 42970
c lw 43761
c lw 44551
c lw 45278
c lw 46005
c lw 46732
c lw 47375
c lw 48018
c lw 48661
c lw 49289
c lw 49905
c lw 50521
c lw 51098
c lw 51675
c lw 52246
c lw 52808
c lw 53370
c lw 53918
c lw 54466
c lw 55014
c lw 55562
c lw 56042