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_zenotravel04bc.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/zenotravel04bc.wcsp.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 20
c lw 25
c lw 45
c lw 50
c lw 65
c lw 80
c lw 90
c lw 105
c lw 115
c lw 750
c lw 775
c lw 800
c lw 890
c lw 1425
c lw 1440
c lw 1540
c lw 1555
c lw 1565
c lw 1640
c lw 1655
c lw 1740
c lw 1815
c lw 1915
c lw 2025
c lw 2040
c lw 2050
c lw 2065
c lw 2090
c lw 2115
c lw 2125
c lw 2140
c lw 2150
c lw 2155
c lw 2165
c lw 2175
c lw 2190
c lw 2200
c lw 2215
c lw 2225
c lw 2235
c lw 2240
c lw 2250
c lw 2260
c lw 2265
c lw 2275
c lw 2290
c lw 2315
c lw 2340
c lw 2490
c lw 2690
c lw 2705
c lw 2710
c lw 2715
c lw 2730
c lw 2735
c lw 2740
c lw 2745
c lw 2750
c lw 2755
c lw 2760
c lw 2765
c lw 2770
c lw 2780
c lw 2785
c lw 2790
c lw 2795
c lw 2810
c lw 2815
c lw 2825
c lw 2835
c lw 2840
c lw 2845
c lw 2850
c lw 2860
c lw 2870
c lw 2875
c lw 2880
c lw 2885
c lw 2890
c lw 2895
c lw 2900
c lw 2905
c lw 2910
c lw 2915
c lw 2920
c lw 2925
c lw 2930
c lw 2935
c lw 2940
c lw 2945
c lw 2950
c lw 2955
c lw 2960
c lw 2965
c lw 2970
c lw 2975
c lw 2980
c lw 2985
c lw 2990
c lw 2995
c lw 3000
c lw 3005
c lw 3010
c lw 3015
c lw 3020
c lw 3025
c lw 3030
c lw 3035
c lw 3040
c lw 3045
c lw 3050
c lw 3055
c lw 3060
c lw 3065
c lw 3070
c lw 3075
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 3120
c lw 3125
c lw 3130
c lw 3140
c lw 3145
c lw 3150
c lw 3155
c lw 3160
c lw 3165
c lw 3170
c lw 3175
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 3360
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