Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wpm1-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_SCHEDULING_cat_sched_60_80_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_80_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 383
c lw 766
c lw 1149
c lw 1532
c lw 1915
c lw 2298
c lw 2681
c lw 3064
c lw 3447
c lw 3830
c lw 4213
c lw 4596
c lw 4979
c lw 5362
c lw 5745
c lw 6128
c lw 6511
c lw 6894
c lw 7277
c lw 7660
c lw 8043
c lw 8426
c lw 8540
c lw 8809
c lw 8923
c lw 9037
c lw 9151
c lw 9265
c lw 9379
c lw 9493
c lw 9607
c lw 9721
c lw 9835
c lw 9949
c lw 10063
c lw 10177
c lw 10291
c lw 10405
c lw 10519
c lw 10633
c lw 10747
c lw 10861
c lw 10975
c lw 11089
c lw 11203
c lw 11317
c lw 11431
c lw 11545
c lw 11586
c lw 11700
c lw 11814
c lw 11855
c lw 12197
c lw 12238
c lw 12311
c lw 12580
c lw 12621
c lw 12963
c lw 13004
c lw 13346
c lw 13387
c lw 13729
c lw 13770
c lw 14112
c lw 14153
c lw 14495
c lw 14536
c lw 14878
c lw 14919
c lw 15261
c lw 15302
c lw 15644
c lw 15685
c lw 16027
c lw 16141
c lw 16255
c lw 16369
c lw 16483
c lw 16597
c lw 16711
c lw 16825
c lw 16939
c lw 17053
c lw 17167
c lw 17208
c lw 17550
c lw 17591
c lw 17933
c lw 17974
c lw 18316
c lw 18357
c lw 18699
c lw 18740
c lw 19009
c lw 19082
c lw 19123
c lw 19237
c lw 19278
c lw 19310
c lw 19342
c lw 19351
c lw 19392
c lw 19465
c lw 19506
c lw 19579
c lw 19620
c lw 19693
c lw 19734
c lw 19807
c lw 19848
c lw 19921
c lw 19962
c lw 19994
c lw 20026
c lw 20035
c lw 20044
c lw 20058
c lw 20067
c lw 20072
c lw 20076
c lw 20117
c lw 20121
c lw 20122
c lw 20126
c lw 20127
c lw 20128
c lw 20129
c lw 20130
c lw 20131
c lw 20132
c lw 20133
c lw 20134
c lw 20155
c lw 20156
c lw 20157
c lw 20206