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_110_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_110_0004.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1020
c lw 2040
c lw 2984
c lw 3928
c lw 4872
c lw 5816
c lw 6747
c lw 7678
c lw 8609
c lw 9522
c lw 10435
c lw 11348
c lw 12251
c lw 13154
c lw 14040
c lw 14926
c lw 15812
c lw 16698
c lw 17576
c lw 18454
c lw 19332
c lw 20210
c lw 21033
c lw 21829
c lw 22609
c lw 23368
c lw 24127
c lw 24886
c lw 25645
c lw 26402
c lw 27159
c lw 27916
c lw 28673
c lw 29430
c lw 30187
c lw 30921
c lw 31630
c lw 32339
c lw 33047
c lw 33755
c lw 34463
c lw 35171
c lw 35877
c lw 36583
c lw 37289
c lw 37995
c lw 38695
c lw 39395
c lw 40084
c lw 40773
c lw 41462
c lw 42151
c lw 42821
c lw 43463
c lw 44082
c lw 44679
c lw 45262
c lw 45803
c lw 46344
c lw 46885
c lw 47426
c lw 47967
c lw 48508
c lw 49049
c lw 49590
c lw 50103
c lw 50592
c lw 51064
c lw 51535
c lw 52006
c lw 52465
c lw 52893
c lw 53298
c lw 53685
c lw 54063
c lw 54414
c lw 54663
c lw 54902
c lw 55140
c lw 55375