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_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_130_0004.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1199
c lw 2398
c lw 3597
c lw 4796
c lw 5940
c lw 7084
c lw 8228
c lw 9372
c lw 10509
c lw 11646
c lw 12783
c lw 13919
c lw 15055
c lw 16191
c lw 17327
c lw 18429
c lw 19531
c lw 20633
c lw 21735
c lw 22837
c lw 23928
c lw 25019
c lw 26110
c lw 27201
c lw 28240
c lw 29279
c lw 30318
c lw 31357
c lw 32396
c lw 33424
c lw 34452
c lw 35480
c lw 36487
c lw 37494
c lw 38489
c lw 39484
c lw 40479
c lw 41474
c lw 42467
c lw 43460
c lw 44453
c lw 45446
c lw 46439
c lw 47407
c lw 48375
c lw 49343
c lw 50311
c lw 51265
c lw 52219
c lw 53173
c lw 54127
c lw 55081
c lw 56020
c lw 56959
c lw 57898
c lw 58837
c lw 59776
c lw 60712
c lw 61648
c lw 62584
c lw 63520
c lw 64410
c lw 65267
c lw 66124
c lw 66981
c lw 67838
c lw 68695
c lw 69488
c lw 70266
c lw 71020
c lw 71774
c lw 72528
c lw 73282
c lw 74011
c lw 74703
c lw 75395
c lw 76075
c lw 76747
c lw 77402
c lw 78055
c lw 78708
c lw 79349
c lw 79990