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_zenotravel04c.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/zenotravel04c.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 20
c lw 40
c lw 60
c lw 75
c lw 90
c lw 600
c lw 615
c lw 630
c lw 705
c lw 1315
c lw 1405
c lw 1415
c lw 1420
c lw 1495
c lw 1500
c lw 1505
c lw 1595
c lw 1800
c lw 1915
c lw 1930
c lw 2000
c lw 2020
c lw 2115
c lw 2120
c lw 2130
c lw 2135
c lw 2140
c lw 2160
c lw 2165
c lw 2190
c lw 2200
c lw 2205
c lw 2210
c lw 2215
c lw 2220
c lw 2280
c lw 2290
c lw 2300
c lw 2315
c lw 2340
c lw 2350
c lw 2365
c lw 2405
c lw 2420
c lw 2425
c lw 2450
c lw 2525
c lw 2535
c lw 2625
c lw 2645
c lw 2725
c lw 2730
c lw 2735
c lw 2770
c lw 2805
c lw 2820
c lw 2825
c lw 2835
c lw 2845
c lw 2895
c lw 2900
c lw 2905
c lw 2910
c lw 2915
c lw 2945
c lw 2960
c lw 2980
c lw 2985
c lw 2990
c lw 3050
c lw 3070
c lw 3080
c lw 3085
c lw 3090
c lw 3095
c lw 3100
c lw 3105
c lw 3110
c lw 3115
c lw 3125
c lw 3130
c lw 3135
c lw 3140
c lw 3145
c lw 3150
c lw 3155
c lw 3160
c lw 3165
c lw 3180
c lw 3185
c lw 3190
c lw 3195
c lw 3200
c lw 3205
c lw 3210
c lw 3215
c lw 3220
c lw 3225
c lw 3230
c lw 3235
c lw 3240
c lw 3245
c lw 3250
c lw 3255
c lw 3260
c lw 3265
c lw 3270
c lw 3275
c lw 3280
c lw 3285
c lw 3290
c lw 3295
c lw 3300
c lw 3305
c lw 3310
c lw 3315
c lw 3320
c lw 3325
c lw 3330
c lw 3335
c lw 3340
c lw 3345
c lw 3350
c lw 3355
c lw 3365
c lw 3370
c lw 3375
c lw 3380
c lw 3385
c lw 3390
c lw 3395
c lw 3400
c lw 3405
c lw 3410
c lw 3415
c lw 3420
c lw 3425
c lw 3430
c lw 3435
c lw 3440
c lw 3445
c lw 3450
c lw 3455
c lw 3460
c lw 3465
c lw 3470
c lw 3475
c lw 3480
c lw 3485
c lw 3490
c lw 3495
c lw 3500
c lw 3505
c lw 3510
c lw 3515
c lw 3520
c lw 3525
c lw 3530
c lw 3535
c lw 3540
c lw 3545
c lw 3550
c lw 3555
c lw 3560
c lw 3565
c lw 3570
c lw 3575
c lw 3580
c lw 3585
c lw 3590
c lw 3595
c lw 3600
c lw 3605
c lw 3610
c lw 3615
c lw 3620
c lw 3625
c lw 3630
c lw 3635
c lw 3640
c lw 3645
c lw 3650
c lw 3655
c lw 3660
c lw 3665
c lw 3670
c lw 3675
c lw 3680
c lw 3685
c lw 3690
c lw 3695
c lw 3700
c lw 3705
c lw 3710
c lw 3715
c lw 3720
c lw 3725
c lw 3730
c lw 3735
c lw 3740
c lw 3745
c lw 3750
c lw 3755
c lw 3760
c lw 3765
c lw 3770
c lw 3775
c lw 3780
c lw 3785
c lw 3790
c lw 3795
c lw 3800
c lw 3805
c lw 3810
c lw 3815
c lw 3820
c lw 3825
c lw 3830
c lw 3835
c lw 3840
c lw 3845
c lw 3850
c lw 3855
c lw 3860
c lw 3865
c lw 3870