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_140_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_140_0006.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1087
c lw 2153
c lw 3219
c lw 4285
c lw 5351
c lw 6393
c lw 7435
c lw 8477
c lw 9490
c lw 10503
c lw 11516
c lw 12529
c lw 13523
c lw 14517
c lw 15511
c lw 16505
c lw 17492
c lw 18479
c lw 19466
c lw 20453
c lw 21426
c lw 22399
c lw 23372
c lw 24345
c lw 25313
c lw 26281
c lw 27249
c lw 28217
c lw 29166
c lw 30115
c lw 31064
c lw 32013
c lw 32962
c lw 33911
c lw 34860
c lw 35809
c lw 36758
c lw 37694
c lw 38630
c lw 39566
c lw 40498
c lw 41430
c lw 42362
c lw 43294
c lw 44212
c lw 45130
c lw 46048
c lw 46966
c lw 47877
c lw 48788
c lw 49699
c lw 50610
c lw 51511
c lw 52412
c lw 53313
c lw 54214
c lw 55115
c lw 55999
c lw 56883
c lw 57767
c lw 58651
c lw 59535
c lw 60394
c lw 61253
c lw 62112
c lw 62971
c lw 63825
c lw 64679
c lw 65533
c lw 66387
c lw 67241
c lw 68094
c lw 68947
c lw 69800
c lw 70645
c lw 71490
c lw 72335
c lw 73156
c lw 73970
c lw 74742
c lw 75514
c lw 76273
c lw 77032
c lw 77791
c lw 78550
c lw 79286
c lw 79993
c lw 80700
c lw 81407