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_0002.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_130_0002.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 983
c lw 1966
c lw 2949
c lw 3932
c lw 4915
c lw 5898
c lw 6881
c lw 7864
c lw 8816
c lw 9768
c lw 10720
c lw 11672
c lw 12624
c lw 13556
c lw 14488
c lw 15420
c lw 16352
c lw 17256
c lw 18160
c lw 19064
c lw 19968
c lw 20854
c lw 21740
c lw 22626
c lw 23512
c lw 24398
c lw 25246
c lw 26094
c lw 26942
c lw 27790
c lw 28621
c lw 29452
c lw 30283
c lw 31075
c lw 31867
c lw 32647
c lw 33419
c lw 34191
c lw 34963
c lw 35735
c lw 36478
c lw 37221
c lw 37964
c lw 38707
c lw 39447
c lw 40187
c lw 40927
c lw 41667
c lw 42393
c lw 43119
c lw 43845
c lw 44571
c lw 45288
c lw 46005
c lw 46705
c lw 47405
c lw 48105
c lw 48805
c lw 49505
c lw 50188
c lw 50871
c lw 51554
c lw 52237
c lw 52916
c lw 53595
c lw 54262
c lw 54929
c lw 55596
c lw 56263
c lw 56885
c lw 57507
c lw 58122
c lw 58720
c lw 59318
c lw 59901
c lw 60464
c lw 60943
c lw 61420
c lw 61877
c lw 62334
c lw 62782
c lw 63230
c lw 63678
c lw 64126
c lw 64574
c lw 65000
c lw 65400
c lw 65793
c lw 66186
c lw 66571