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_PSEUDO_miplib_normalized-mps-v2-20-10-mod010.opb.msat.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/PSEUDO/miplib/normalized-mps-v2-20-10-mod010.opb.msat.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 52
c lw 92
c lw 104
c lw 284
c lw 305
c lw 327
c lw 351
c lw 374
c lw 399
c lw 427
c lw 455
c lw 480
c lw 504
c lw 689
c lw 711
c lw 742
c lw 769
c lw 798
c lw 982
c lw 1009
c lw 1042
c lw 1226
c lw 1281
c lw 1321
c lw 1505
c lw 1692
c lw 1727
c lw 1913
c lw 1938
c lw 1970
c lw 1996
c lw 2033
c lw 2200
c lw 2352
c lw 2507
c lw 2512
c lw 2663
c lw 2670
c lw 2678
c lw 2680
c lw 2682
c lw 2684
c lw 2685
c lw 2686
c lw 2689
c lw 2693
c lw 2697
c lw 2702
c lw 2709
c lw 2717
c lw 2728
c lw 2730
c lw 2732
c lw 2745
c lw 2749
c lw 2797
c lw 2837
c lw 2841
c lw 2842
c lw 2885
c lw 2925
c lw 2926
c lw 2929
c lw 2930
c lw 2931
c lw 2932
c lw 2936
c lw 2937
c lw 2938
c lw 2952
c lw 2954
c lw 2995
c lw 2996
c lw 2997
c lw 3001
c lw 3002
c lw 3003
c lw 3037
c lw 3040
c lw 3041
c lw 3046
c lw 3049
c lw 3050
c lw 3051
c lw 3055
c lw 3057
c lw 3058
c lw 3059
c lw 3060
c lw 3061
c lw 3062
c lw 3063
c lw 3065
c lw 3066
c lw 3067
c lw 3068
c lw 3069
c lw 3070
c lw 3071
c lw 3072
c lw 3073
c lw 3074
c lw 3075
c lw 3076
c lw 3077
c lw 3078
c lw 3079
c lw 3080
c lw 3081
c lw 3082
c lw 3083
c lw 3084
c lw 3085
c lw 3086
c lw 3087
c lw 3088
c lw 3089
c lw 3090
c lw 3091
c lw 3092
c lw 3093
c lw 3094
c lw 3095
c lw 3096
c lw 3097
c lw 3098
c lw 3099
c lw 3100
c lw 3101
c lw 3102
c lw 3103
c lw 3104
c lw 3105
c lw 3106
c lw 3107
c lw 3108
c lw 3109
c lw 3110
c lw 3111
c lw 3112
c lw 3113
c lw 3114
c lw 3115
c lw 3116
c lw 3117
c lw 3118
c lw 3119
c lw 3120
c lw 3121
c lw 3122
c lw 3123
c lw 3124
c lw 3125
c lw 3126
c lw 3127
c lw 3128
c lw 3129
c lw 3130
c lw 3131
c lw 3132
c lw 3133
c lw 3134
c lw 3135
c lw 3136
c lw 3137
c lw 3138
c lw 3139
c lw 3140
c lw 3141
c lw 3142
c lw 3143
c lw 3144
c lw 3145
c lw 3146
c lw 3147
c lw 3148
c lw 3149
c lw 3150
c lw 3151
c lw 3152
c lw 3153
c lw 3154
c lw 3155
c lw 3156
c lw 3157
c lw 3158
c lw 3159
c lw 3160
c lw 3161
c lw 3162
c lw 3163
c lw 3164
c lw 3165
c lw 3166
c lw 3167
c lw 3168
c lw 3169
c lw 3170
c lw 3171
c lw 3172
c lw 3173
c lw 3174
c lw 3175
c lw 3176
c lw 3177
c lw 3178
c lw 3179
c lw 3180
c lw 3181
c lw 3182
c lw 3183
c lw 3184
c lw 3185
c lw 3186
c lw 3187
c lw 3188
c lw 3189
c lw 3190
c lw 3197
c lw 3198
c lw 3199
c lw 3200
c lw 3201
c lw 3202
c lw 3203
c lw 3204
c lw 3205
c lw 3206
c lw 3207
c lw 3208
c lw 3209
c lw 3210
c lw 3211
c lw 3212
c lw 3213
c lw 3214
c lw 3215
c lw 3216
c lw 3217
c lw 3218
c lw 3219
c lw 3220
c lw 3221
c lw 3222
c lw 3223
c lw 3224
c lw 3225
c lw 3226
c lw 3227
c lw 3228
c lw 3229
c lw 3230
c lw 3231
c lw 3232
c lw 3233
c lw 3234
c lw 3235
c lw 3236
c lw 3237
Killed
1813.369u 6.395s 30:20.51 99.9%	0+0k 0+0io 0pf+0w