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_130_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_130_0007.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1299
c lw 2598
c lw 3897
c lw 5129
c lw 6361
c lw 7593
c lw 8825
c lw 9927
c lw 11029
c lw 12131
c lw 13233
c lw 14277
c lw 15321
c lw 16365
c lw 17409
c lw 18422
c lw 19435
c lw 20448
c lw 21461
c lw 22474
c lw 23487
c lw 24500
c lw 25513
c lw 26491
c lw 27469
c lw 28447
c lw 29425
c lw 30291
c lw 31157
c lw 31975
c lw 32793
c lw 33611
c lw 34429
c lw 35204
c lw 35979
c lw 36745
c lw 37475
c lw 38200
c lw 38916
c lw 39632
c lw 40348
c lw 41064
c lw 41746
c lw 42428
c lw 43110
c lw 43792
c lw 44474
c lw 45156
c lw 45838
c lw 46520
c lw 47186
c lw 47847
c lw 48508
c lw 49169
c lw 49789
c lw 50401
c lw 51013
c lw 51625
c lw 52237
c lw 52849
c lw 53449
c lw 54049
c lw 54649
c lw 55234
c lw 55819
c lw 56403
c lw 56987
c lw 57571
c lw 58155
c lw 58739
c lw 59323
c lw 59907
c lw 60486
c lw 61065
c lw 61644
c lw 62223
c lw 62765
c lw 63279
c lw 63759
c lw 64239
c lw 64719
c lw 65176
c lw 65633
c lw 66090
c lw 66506
c lw 66919
c lw 67332
c lw 67741