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_170_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_170_0003.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1245
c lw 2490
c lw 3735
c lw 4980
c lw 6192
c lw 7404
c lw 8616
c lw 9828
c lw 10895
c lw 11962
c lw 13029
c lw 14096
c lw 15163
c lw 16230
c lw 17297
c lw 18364
c lw 19413
c lw 20462
c lw 21511
c lw 22560
c lw 23604
c lw 24648
c lw 25692
c lw 26736
c lw 27776
c lw 28816
c lw 29856
c lw 30896
c lw 31921
c lw 32946
c lw 33971
c lw 34996
c lw 36020
c lw 37044
c lw 38068
c lw 39092
c lw 40116
c lw 41137
c lw 42158
c lw 43179
c lw 44200
c lw 45221
c lw 46241
c lw 47261
c lw 48281
c lw 49301
c lw 50321
c lw 51341
c lw 52361
c lw 53381
c lw 54401
c lw 55421
c lw 56437
c lw 57453
c lw 58469
c lw 59485
c lw 60460
c lw 61435
c lw 62410
c lw 63384
c lw 64358
c lw 65332
c lw 66306
c lw 67261
c lw 68216
c lw 69171
c lw 70126
c lw 71081
c lw 72014
c lw 72947
c lw 73880
c lw 74813
c lw 75746
c lw 76679
c lw 77612
c lw 78545
c lw 79452
c lw 80359
c lw 81262
c lw 82165
c lw 83068
c lw 83971
c lw 84820
c lw 85652
c lw 86484
c lw 87316
c lw 88148
c lw 88971
c lw 89740
c lw 90509
c lw 91278
c lw 92047
c lw 92800
c lw 93551
c lw 94302
c lw 95053
c lw 95804
c lw 96555
c lw 97280
c lw 98005
c lw 98699