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_min-enc_planning_logistics01cc.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/logistics01cc.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 36
c lw 275
c lw 388
c lw 479
c lw 624
c lw 942
c lw 1107
c lw 1148
c lw 1189
c lw 1342
c lw 1460
c lw 1573
c lw 1700
c lw 1708
c lw 1778
c lw 2057
c lw 2098
c lw 2213
c lw 2490
c lw 2630
c lw 2650
c lw 2658
c lw 2662
c lw 2670
c lw 2815
c lw 2928
c lw 2941
c lw 2953
c lw 2965
c lw 2970
c lw 2973
c lw 2977
c lw 2999
c lw 3013
c lw 3209
c lw 3218
c lw 3235
c lw 3255
c lw 3261
c lw 3273
c lw 3322
c lw 3326
c lw 3345
c lw 3523
c lw 3580
c lw 3584
c lw 3596
c lw 3609
c lw 3629
c lw 3635
c lw 3638
c lw 3641
c lw 3643
c lw 3655
c lw 3658
c lw 3664
c lw 3667
c lw 3668
c lw 3763
c lw 3807
c lw 3815
c lw 3831
c lw 3834
c lw 3836
c lw 3840
c lw 3852
c lw 3854
c lw 3857
c lw 3860
c lw 3866
c lw 3869
c lw 3872
c lw 3881
c lw 3885
c lw 3926
c lw 3930
c lw 3933
c lw 3942
c lw 3944
c lw 3945
c lw 3946
c lw 3947
c lw 3948
c lw 3949
c lw 3950
c lw 3951
c lw 3953
c lw 3954
c lw 3956
c lw 3957
c lw 3958
c lw 3959
c lw 3960
c lw 3961
c lw 3963
c lw 3964
c lw 3965
c lw 3987
c lw 3994
c lw 3995
c lw 3996
c lw 3997
c lw 3998
c lw 3999
c lw 4000
c lw 4097
c lw 4140
c lw 4141
c lw 4142
c lw 4143
c lw 4144
c lw 4145
c lw 4146
c lw 4147
c lw 4148
c lw 4149
c lw 4150
c lw 4151
c lw 4152
c lw 4153
c lw 4154
c lw 4155
c lw 4156
c lw 4157
c lw 4158
c lw 4159
c lw 4160
c lw 4161
c lw 4162
c lw 4163
c lw 4164
c lw 4165
c lw 4166
c lw 4167
c lw 4168
c lw 4169
c lw 4170
c lw 4171
c lw 4172
c lw 4173
c lw 4174
c lw 4175