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_120_0005.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_120_0005.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1274
c lw 2548
c lw 3822
c lw 5096
c lw 6350
c lw 7604
c lw 8858
c lw 10112
c lw 11365
c lw 12618
c lw 13871
c lw 15124
c lw 16337
c lw 17550
c lw 18763
c lw 19976
c lw 21180
c lw 22384
c lw 23588
c lw 24792
c lw 25958
c lw 27124
c lw 28290
c lw 29456
c lw 30613
c lw 31770
c lw 32927
c lw 34060
c lw 35105
c lw 36150
c lw 37195
c lw 38240
c lw 39282
c lw 40324
c lw 41358
c lw 42351
c lw 43340
c lw 44329
c lw 45318
c lw 46304
c lw 47290
c lw 48276
c lw 49189
c lw 50087
c lw 50985
c lw 51863
c lw 52704
c lw 53545
c lw 54386
c lw 55227
c lw 56068
c lw 56885
c lw 57702
c lw 58519
c lw 59336
c lw 60149
c lw 60950
c lw 61703
c lw 62456
c lw 63209
c lw 63927
c lw 64622
c lw 65291
c lw 65960
c lw 66629
c lw 67298
c lw 67957
c lw 68584