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_170_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_170_0006.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1339
c lw 2678
c lw 4017
c lw 5356
c lw 6432
c lw 7508
c lw 8584
c lw 9660
c lw 10690
c lw 11720
c lw 12750
c lw 13780
c lw 14788
c lw 15796
c lw 16804
c lw 17812
c lw 18820
c lw 19828
c lw 20836
c lw 21844
c lw 22852
c lw 23860
c lw 24868
c lw 25876
c lw 26884
c lw 27892
c lw 28895
c lw 29898
c lw 30901
c lw 31904
c lw 32906
c lw 33908
c lw 34910
c lw 35912
c lw 36894
c lw 37876
c lw 38858
c lw 39840
c lw 40807
c lw 41774
c lw 42674
c lw 43565
c lw 44456
c lw 45347
c lw 46238
c lw 47129
c lw 47954
c lw 48779
c lw 49604
c lw 50429
c lw 51240
c lw 52042
c lw 52823
c lw 53604
c lw 54385
c lw 55154
c lw 55923
c lw 56692
c lw 57461
c lw 58223
c lw 58985
c lw 59747
c lw 60509
c lw 61271
c lw 62005
c lw 62739
c lw 63446
c lw 64153
c lw 64860
c lw 65567
c lw 66267
c lw 66961
c lw 67637
c lw 68307
c lw 68977
c lw 69647
c lw 70317
c lw 70973
c lw 71629
c lw 72285
c lw 72941
c lw 73597
c lw 74216
c lw 74835
c lw 75454
c lw 76069
c lw 76662
c lw 77255
c lw 77848
c lw 78425
c lw 79002
c lw 79579
c lw 80156
c lw 80724
c lw 81292
c lw 81860
c lw 82428
c lw 82996
c lw 83564
c lw 84105
c lw 84646
c lw 85176
c lw 85706