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_160_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_160_0001.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1218
c lw 2436
c lw 3654
c lw 4872
c lw 5990
c lw 7108
c lw 8226
c lw 9344
c lw 10396
c lw 11448
c lw 12500
c lw 13552
c lw 14584
c lw 15616
c lw 16648
c lw 17680
c lw 18712
c lw 19714
c lw 20716
c lw 21671
c lw 22626
c lw 23581
c lw 24536
c lw 25489
c lw 26442
c lw 27395
c lw 28348
c lw 29301
c lw 30235
c lw 31169
c lw 32103
c lw 33037
c lw 33967
c lw 34897
c lw 35827
c lw 36757
c lw 37664
c lw 38571
c lw 39478
c lw 40385
c lw 41290
c lw 42195
c lw 43100
c lw 44005
c lw 44910
c lw 45815
c lw 46720
c lw 47625
c lw 48494
c lw 49363
c lw 50232
c lw 51101
c lw 51960
c lw 52819
c lw 53668
c lw 54509
c lw 55350
c lw 56191
c lw 57032
c lw 57873
c lw 58686
c lw 59491
c lw 60296
c lw 61101
c lw 61906
c lw 62702
c lw 63498
c lw 64294
c lw 65090
c lw 65884
c lw 66678
c lw 67452
c lw 68226
c lw 69000
c lw 69774
c lw 70548
c lw 71302
c lw 72056
c lw 72810
c lw 73564
c lw 74318
c lw 75072
c lw 75826
c lw 76580
c lw 77313
c lw 78046
c lw 78779
c lw 79512
c lw 80243
c lw 80974
c lw 81678
c lw 82382
c lw 83086
c lw 83718
c lw 84338
c lw 84958
c lw 85578
c lw 86198
c lw 86818
c lw 87438
c lw 88058