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_150_0005.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_150_0005.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1300
c lw 2600
c lw 3900
c lw 5200
c lw 6422
c lw 7644
c lw 8866
c lw 10088
c lw 11302
c lw 12516
c lw 13730
c lw 14944
c lw 16125
c lw 17306
c lw 18487
c lw 19668
c lw 20849
c lw 22030
c lw 23211
c lw 24392
c lw 25572
c lw 26752
c lw 27932
c lw 29112
c lw 30168
c lw 31222
c lw 32276
c lw 33330
c lw 34384
c lw 35434
c lw 36484
c lw 37534
c lw 38566
c lw 39598
c lw 40630
c lw 41662
c lw 42682
c lw 43702
c lw 44722
c lw 45742
c lw 46752
c lw 47762
c lw 48766
c lw 49770
c lw 50774
c lw 51778
c lw 52779
c lw 53780
c lw 54781
c lw 55782
c lw 56783
c lw 57769
c lw 58753
c lw 59737
c lw 60693
c lw 61649
c lw 62605
c lw 63561
c lw 64513
c lw 65465
c lw 66417
c lw 67369
c lw 68315
c lw 69261
c lw 70207
c lw 71138
c lw 72069
c lw 73000
c lw 73931
c lw 74849
c lw 75745
c lw 76641
c lw 77534
c lw 78426
c lw 79318
c lw 80203
c lw 81088
c lw 81973
c lw 82824
c lw 83675
c lw 84526
c lw 85377
c lw 86228
c lw 87070
c lw 87912
c lw 88754
c lw 89590
c lw 90426
c lw 91262
c lw 92098
c lw 92934
c lw 93763
c lw 94539
c lw 95296
c lw 96053
c lw 96810
c lw 97567
c lw 98279
c lw 98991