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_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_160_0006.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1079
c lw 2158
c lw 3162
c lw 4135
c lw 5108
c lw 6081
c lw 7054
c lw 7980
c lw 8906
c lw 9832
c lw 10758
c lw 11674
c lw 12590
c lw 13506
c lw 14422
c lw 15338
c lw 16236
c lw 17134
c lw 18032
c lw 18930
c lw 19779
c lw 20628
c lw 21477
c lw 22326
c lw 23155
c lw 23984
c lw 24813
c lw 25642
c lw 26471
c lw 27300
c lw 28129
c lw 28958
c lw 29761
c lw 30564
c lw 31367
c lw 32170
c lw 32969
c lw 33768
c lw 34567
c lw 35366
c lw 36140
c lw 36914
c lw 37688
c lw 38462
c lw 39234
c lw 40006
c lw 40778
c lw 41550
c lw 42322
c lw 43094
c lw 43866
c lw 44638
c lw 45388
c lw 46138
c lw 46876
c lw 47614
c lw 48352
c lw 49070
c lw 49788
c lw 50496
c lw 51204
c lw 51912
c lw 52620
c lw 53328
c lw 54033
c lw 54734
c lw 55435
c lw 56136
c lw 56837
c lw 57524
c lw 58211
c lw 58888
c lw 59565
c lw 60242
c lw 60919
c lw 61595
c lw 62267
c lw 62938
c lw 63609
c lw 64277
c lw 64945
c lw 65613
c lw 66281
c lw 66949
c lw 67610
c lw 68271