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_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_160_0007.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1144
c lw 2288
c lw 3432
c lw 4576
c lw 5620
c lw 6664
c lw 7708
c lw 8752
c lw 9763
c lw 10774
c lw 11773
c lw 12772
c lw 13771
c lw 14770
c lw 15742
c lw 16714
c lw 17686
c lw 18658
c lw 19630
c lw 20586
c lw 21542
c lw 22498
c lw 23454
c lw 24408
c lw 25359
c lw 26310
c lw 27261
c lw 28212
c lw 29149
c lw 30086
c lw 31023
c lw 31960
c lw 32873
c lw 33786
c lw 34691
c lw 35596
c lw 36501
c lw 37406
c lw 38310
c lw 39210
c lw 40110
c lw 41007
c lw 41904
c lw 42801
c lw 43698
c lw 44584
c lw 45470
c lw 46356
c lw 47242
c lw 48108
c lw 48974
c lw 49840
c lw 50706
c lw 51536
c lw 52366
c lw 53196
c lw 54026
c lw 54848
c lw 55670
c lw 56492
c lw 57314
c lw 58136
c lw 58953
c lw 59770
c lw 60586
c lw 61402
c lw 62218
c lw 63034
c lw 63850
c lw 64648
c lw 65446
c lw 66244
c lw 67042
c lw 67840
c lw 68638
c lw 69436
c lw 70234
c lw 71032
c lw 71824
c lw 72616
c lw 73408
c lw 74200
c lw 74991
c lw 75782
c lw 76570
c lw 77358
c lw 78146
c lw 78934
c lw 79718
c lw 80502
c lw 81286
c lw 82070
c lw 82848
c lw 83626
c lw 84403
c lw 85180
c lw 85957
c lw 86734
c lw 87457
c lw 88180
c lw 88903