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_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_110_0007.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1049
c lw 2098
c lw 3140
c lw 4182
c lw 5224
c lw 6266
c lw 7242
c lw 8218
c lw 9194
c lw 10170
c lw 11127
c lw 12084
c lw 13041
c lw 13998
c lw 14955
c lw 15912
c lw 16869
c lw 17826
c lw 18745
c lw 19649
c lw 20553
c lw 21457
c lw 22361
c lw 23250
c lw 24131
c lw 25012
c lw 25893
c lw 26774
c lw 27653
c lw 28532
c lw 29411
c lw 30290
c lw 31154
c lw 32018
c lw 32882
c lw 33693
c lw 34488
c lw 35283
c lw 36078
c lw 36817
c lw 37556
c lw 38295
c lw 39034
c lw 39762
c lw 40490
c lw 41218
c lw 41946
c lw 42619
c lw 43292
c lw 43932
c lw 44572
c lw 45212
c lw 45852
c lw 46433
c lw 46995
c lw 47513
c lw 48031
c lw 48549
c lw 49067
c lw 49579
c lw 50091
c lw 50591
c lw 51091
c lw 51555
c lw 52005
c lw 52455
c lw 52905
c lw 53355
c lw 53767
c lw 54179
c lw 54591
c lw 55003
c lw 55415
c lw 55793
c lw 56171
c lw 56547
c lw 56921
c lw 57275
c lw 57629
c lw 57972