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_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_170_0007.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1077
c lw 2154
c lw 3231
c lw 4308
c lw 5298
c lw 6288
c lw 7278
c lw 8268
c lw 9237
c lw 10206
c lw 11175
c lw 12144
c lw 13101
c lw 14058
c lw 15015
c lw 15972
c lw 16924
c lw 17876
c lw 18828
c lw 19780
c lw 20729
c lw 21631
c lw 22532
c lw 23433
c lw 24334
c lw 25235
c lw 26130
c lw 27025
c lw 27920
c lw 28815
c lw 29708
c lw 30601
c lw 31490
c lw 32379
c lw 33268
c lw 34157
c lw 35031
c lw 35905
c lw 36771
c lw 37637
c lw 38503
c lw 39369
c lw 40235
c lw 41058
c lw 41854
c lw 42650
c lw 43446
c lw 44242
c lw 45038
c lw 45818
c lw 46598
c lw 47359
c lw 48120
c lw 48881
c lw 49642
c lw 50372
c lw 51093
c lw 51814
c lw 52535
c lw 53256
c lw 53977
c lw 54687
c lw 55397
c lw 56102
c lw 56807
c lw 57512
c lw 58173
c lw 58834
c lw 59494
c lw 60154
c lw 60792
c lw 61430
c lw 62068
c lw 62706
c lw 63344
c lw 63982
c lw 64620
c lw 65258
c lw 65896
c lw 66534
c lw 67172
c lw 67810
c lw 68448
c lw 69086
c lw 69724
c lw 70322
c lw 70920
c lw 71518
c lw 72116
c lw 72714
c lw 73311
c lw 73882
c lw 74453
c lw 75024
c lw 75579
c lw 76134
c lw 76689
c lw 77244
c lw 77757
c lw 78268
c lw 78779
c lw 79282
c lw 79782
c lw 80269