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_140_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_140_0003.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1177
c lw 2354
c lw 3531
c lw 4708
c lw 5812
c lw 6916
c lw 8020
c lw 9124
c lw 10219
c lw 11314
c lw 12409
c lw 13504
c lw 14597
c lw 15690
c lw 16783
c lw 17790
c lw 18797
c lw 19804
c lw 20809
c lw 21814
c lw 22819
c lw 23824
c lw 24815
c lw 25806
c lw 26797
c lw 27788
c lw 28779
c lw 29758
c lw 30737
c lw 31716
c lw 32695
c lw 33640
c lw 34585
c lw 35530
c lw 36475
c lw 37420
c lw 38350
c lw 39280
c lw 40210
c lw 41085
c lw 41960
c lw 42835
c lw 43710
c lw 44585
c lw 45432
c lw 46279
c lw 47126
c lw 47973
c lw 48814
c lw 49651
c lw 50468
c lw 51285
c lw 52102
c lw 52919
c lw 53736
c lw 54553
c lw 55370
c lw 56187
c lw 57004
c lw 57821
c lw 58629
c lw 59437
c lw 60244
c lw 61051
c lw 61857
c lw 62663
c lw 63452
c lw 64241
c lw 65030
c lw 65781
c lw 66532
c lw 67283
c lw 68034
c lw 68785
c lw 69536
c lw 70283
c lw 71030
c lw 71738
c lw 72446
c lw 73150
c lw 73854
c lw 74558
c lw 75262
c lw 75952
c lw 76642
c lw 77332
c lw 78022
c lw 78675
c lw 79326
c lw 79970
c lw 80614
c lw 81244
c lw 81866
c lw 82488
c lw 83110
c lw 83728
c lw 84346
c lw 84964
c lw 85581
c lw 86198
c lw 86684
c lw 87165
c lw 87627