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_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_150_0003.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1174
c lw 2348
c lw 3522
c lw 4696
c lw 5870
c lw 7044
c lw 8218
c lw 9392
c lw 10563
c lw 11734
c lw 12905
c lw 14076
c lw 15245
c lw 16414
c lw 17583
c lw 18752
c lw 19921
c lw 21090
c lw 22259
c lw 23428
c lw 24597
c lw 25744
c lw 26891
c lw 28038
c lw 29185
c lw 30312
c lw 31439
c lw 32566
c lw 33693
c lw 34817
c lw 35941
c lw 37065
c lw 38189
c lw 39313
c lw 40421
c lw 41529
c lw 42608
c lw 43687
c lw 44675
c lw 45663
c lw 46651
c lw 47598
c lw 48542
c lw 49486
c lw 50430
c lw 51374
c lw 52300
c lw 53226
c lw 54152
c lw 55078
c lw 55996
c lw 56914
c lw 57832
c lw 58750
c lw 59668
c lw 60559
c lw 61450
c lw 62337
c lw 63224
c lw 64111
c lw 64998
c lw 65885
c lw 66745
c lw 67599
c lw 68453
c lw 69304
c lw 70151
c lw 70951
c lw 71744
c lw 72537
c lw 73330
c lw 74123
c lw 74916
c lw 75691
c lw 76466
c lw 77241
c lw 78016
c lw 78784
c lw 79552