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_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_120_0004.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1073
c lw 2146
c lw 3219
c lw 4292
c lw 5353
c lw 6414
c lw 7475
c lw 8536
c lw 9575
c lw 10614
c lw 11653
c lw 12692
c lw 13731
c lw 14770
c lw 15809
c lw 16848
c lw 17820
c lw 18792
c lw 19764
c lw 20731
c lw 21698
c lw 22665
c lw 23632
c lw 24596
c lw 25560
c lw 26524
c lw 27488
c lw 28418
c lw 29348
c lw 30278
c lw 31190
c lw 32102
c lw 33014
c lw 33926
c lw 34829
c lw 35729
c lw 36629
c lw 37529
c lw 38413
c lw 39296
c lw 40179
c lw 41059
c lw 41939
c lw 42819
c lw 43699
c lw 44579
c lw 45459
c lw 46339
c lw 47219
c lw 48099
c lw 48965
c lw 49772
c lw 50579
c lw 51386
c lw 52193
c lw 52937
c lw 53676
c lw 54415
c lw 55142
c lw 55868
c lw 56594
c lw 57320
c lw 58040
c lw 58760
c lw 59480
c lw 60139
c lw 60798
c lw 61457
c lw 62103
c lw 62732
c lw 63361
c lw 63987
c lw 64564
c lw 65099
c lw 65634
c lw 66169
c lw 66704
c lw 67230
c lw 67725
c lw 68201
c lw 68626
c lw 69021
c lw 69395