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_160_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_160_0004.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1248
c lw 2496
c lw 3744
c lw 4992
c lw 6190
c lw 7388
c lw 8586
c lw 9784
c lw 10913
c lw 12042
c lw 13171
c lw 14300
c lw 15403
c lw 16506
c lw 17609
c lw 18712
c lw 19805
c lw 20898
c lw 21991
c lw 23084
c lw 24134
c lw 25148
c lw 26155
c lw 27162
c lw 28169
c lw 29176
c lw 30183
c lw 31162
c lw 32141
c lw 33120
c lw 34099
c lw 35016
c lw 35933
c lw 36850
c lw 37767
c lw 38684
c lw 39538
c lw 40392
c lw 41246
c lw 42100
c lw 42936
c lw 43772
c lw 44608
c lw 45444
c lw 46266
c lw 47084
c lw 47902
c lw 48720
c lw 49538
c lw 50356
c lw 51168
c lw 51980
c lw 52792
c lw 53604
c lw 54416
c lw 55214
c lw 56012
c lw 56810
c lw 57608
c lw 58380
c lw 59152
c lw 59924
c lw 60696
c lw 61468
c lw 62240
c lw 63012
c lw 63784
c lw 64556
c lw 65328
c lw 66100
c lw 66872
c lw 67644
c lw 68361
c lw 69074
c lw 69787
c lw 70500
c lw 71213
c lw 71919
c lw 72598
c lw 73277
c lw 73956
c lw 74621
c lw 75286
c lw 75951
c lw 76616
c lw 77281
c lw 77936
c lw 78591
c lw 79246
c lw 79885
c lw 80524
c lw 81163
c lw 81802
c lw 82441
c lw 83078
c lw 83715
c lw 84345
c lw 84939
c lw 85533
c lw 86127
c lw 86721
c lw 87264
c lw 87807
c lw 88350
c lw 88893
c lw 89435
c lw 89969
c lw 90481
c lw 90993
c lw 91505
c lw 92017
c lw 92520
c lw 93023
c lw 93526
c lw 94029
c lw 94532
c lw 95008
c lw 95484
c lw 95958
c lw 96432
c lw 96906
c lw 97380
c lw 97833
c lw 98284
c lw 98735
c lw 99115
c lw 99495
c lw 99849
c lw 100203
c lw 100557
c lw 100911
c lw 101230
c lw 101536
c lw 101748