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_150_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_150_0006.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1119
c lw 2238
c lw 3357
c lw 4476
c lw 5594
c lw 6712
c lw 7830
c lw 8948
c lw 9971
c lw 10994
c lw 12017
c lw 13040
c lw 14017
c lw 14994
c lw 15971
c lw 16948
c lw 17907
c lw 18866
c lw 19825
c lw 20784
c lw 21738
c lw 22692
c lw 23646
c lw 24600
c lw 25521
c lw 26442
c lw 27363
c lw 28214
c lw 29065
c lw 29916
c lw 30767
c lw 31615
c lw 32463
c lw 33311
c lw 34159
c lw 34970
c lw 35781
c lw 36592
c lw 37366
c lw 38140
c lw 38914
c lw 39676
c lw 40435
c lw 41180
c lw 41925
c lw 42670
c lw 43415
c lw 44155
c lw 44895
c lw 45631
c lw 46367
c lw 47103
c lw 47780
c lw 48457
c lw 49134
c lw 49811
c lw 50487
c lw 51135
c lw 51779
c lw 52423
c lw 53067
c lw 53711
c lw 54351
c lw 54991
c lw 55631
c lw 56271
c lw 56911
c lw 57547
c lw 58183
c lw 58814
c lw 59445
c lw 60076
c lw 60705
c lw 61323
c lw 61941
c lw 62559
c lw 63177
c lw 63794
c lw 64405
c lw 65016
c lw 65627
c lw 66238
c lw 66843
c lw 67448
c lw 68053
c lw 68658
c lw 69256
c lw 69831
c lw 70406
c lw 70981