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_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_120_0000.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1224
c lw 2448
c lw 3672
c lw 4890
c lw 6108
c lw 7238
c lw 8368
c lw 9498
c lw 10575
c lw 11652
c lw 12729
c lw 13806
c lw 14840
c lw 15874
c lw 16897
c lw 17920
c lw 18943
c lw 19966
c lw 20978
c lw 21990
c lw 23002
c lw 24014
c lw 25007
c lw 26000
c lw 26993
c lw 27956
c lw 28919
c lw 29882
c lw 30845
c lw 31780
c lw 32715
c lw 33650
c lw 34580
c lw 35510
c lw 36440
c lw 37370
c lw 38293
c lw 39216
c lw 40129
c lw 41042
c lw 41955
c lw 42857
c lw 43759
c lw 44661
c lw 45563
c lw 46447
c lw 47331
c lw 48215
c lw 49099
c lw 49968
c lw 50837
c lw 51698
c lw 52559
c lw 53420
c lw 54260
c lw 55044
c lw 55828
c lw 56612
c lw 57371
c lw 58130
c lw 58889
c lw 59648
c lw 60403