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-scheduling_cat_sched_60_110_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-scheduling/cat_sched_60_110_0001.txt.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1495
c lw 2990
c lw 4485
c lw 5980
c lw 7475
c lw 8970
c lw 10465
c lw 11960
c lw 13455
c lw 14950
c lw 16445
c lw 17940
c lw 19435
c lw 20829
c lw 22223
c lw 23617
c lw 25011
c lw 26405
c lw 27799
c lw 29193
c lw 30587
c lw 31981
c lw 32889
c lw 33797
c lw 34479
c lw 35161
c lw 35843
c lw 36525
c lw 37207
c lw 37889
c lw 38571
c lw 39253
c lw 39935
c lw 40617
c lw 41299
c lw 41981
c lw 42663
c lw 43345
c lw 44027
c lw 44709
c lw 45391
c lw 46073
c lw 46755
c lw 47437
c lw 48119
c lw 48801
c lw 49483
c lw 50165
c lw 50651
c lw 51053
c lw 51455
c lw 51857
c lw 52259
c lw 52661
c lw 53063
c lw 53465
c lw 53867
c lw 54269
c lw 54671
c lw 55073
c lw 55475
c lw 55877
c lw 56279
c lw 56681
c lw 57083
c lw 57485
c lw 57887
c lw 58289
c lw 58691
c lw 59093
c lw 59495
c lw 59897
c lw 60299
c lw 60701
c lw 61103
c lw 61505
c lw 61907
c lw 62309
c lw 62711
c lw 63113
c lw 63515
c lw 63917
c lw 64319
c lw 64721
c lw 65123
c lw 65525
c lw 65927
c lw 66329
c lw 66731
c lw 67133
c lw 67535
c lw 67655
c lw 67775
c lw 67895
c lw 68015
c lw 68135
c lw 68255
c lw 68375
c lw 68495
c lw 68615
c lw 68735
c lw 68855
c lw 68975
c lw 69095
c lw 69215
c lw 69335
c lw 69455
c lw 69575
c lw 69695
c lw 69815
c lw 69935
c lw 70055
c lw 70175
c lw 70295
c lw 70415
c lw 70535
c lw 70655
c lw 70775
c lw 70895
c lw 71015
c lw 71135
c lw 71255
c lw 71375
c lw 71495
c lw 71615
c lw 71735
c lw 71855
c lw 71975
c lw 72095
c lw 72215
c lw 72335
c lw 72455
c lw 72575
c lw 72695