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_100_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_100_0007.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1126
c lw 2252
c lw 3378
c lw 4504
c lw 5574
c lw 6644
c lw 7714
c lw 8784
c lw 9854
c lw 10924
c lw 11994
c lw 13064
c lw 14118
c lw 15172
c lw 16226
c lw 17280
c lw 18246
c lw 19212
c lw 20178
c lw 21144
c lw 22105
c lw 23066
c lw 24027
c lw 24988
c lw 25949
c lw 26900
c lw 27851
c lw 28802
c lw 29753
c lw 30670
c lw 31587
c lw 32504
c lw 33421
c lw 34326
c lw 35217
c lw 36108
c lw 36999
c lw 37890
c lw 38781
c lw 39551
c lw 40321
c lw 41091
c lw 41861
c lw 42621
c lw 43353
c lw 44085
c lw 44817
c lw 45545
c lw 46273
c lw 47001
c lw 47729
c lw 48336
c lw 48943
c lw 49546
c lw 50148
c lw 50750
c lw 51348
c lw 51943
c lw 52538
c lw 53133
c lw 53728
c lw 54323
c lw 54902
c lw 55481
c lw 56050
c lw 56619
c lw 57188
c lw 57757
c lw 58326
c lw 58891
c lw 59456
c lw 59975
c lw 60449