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-p0033.opb.msat.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/PSEUDO/miplib/normalized-mps-v2-20-10-p0033.opb.msat.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 163
c lw 325
c lw 334
c lw 505
c lw 619
c lw 802
c lw 871
c lw 965
c lw 1025
c lw 1112
c lw 1191
c lw 1346
c lw 1517
c lw 1541
c lw 1545
c lw 1578
c lw 1594
c lw 1618
c lw 1624
c lw 1685
c lw 1699
c lw 1716
c lw 1725
c lw 1786
c lw 1791
c lw 1809
c lw 1825
c lw 1842
c lw 1846
c lw 1851
c lw 1903
c lw 1910
c lw 1917
c lw 1920
c lw 1921
c lw 1926
c lw 1934
c lw 1936
c lw 1937
c lw 1938
c lw 1942
c lw 1946
c lw 1948
c lw 1960
c lw 1973
c lw 1980
c lw 1987
c lw 1990
c lw 1994
c lw 1998
c lw 1999
c lw 2000
c lw 2008
c lw 2009
c lw 2013
c lw 2014
c lw 2019
c lw 2025
c lw 2027
c lw 2029
c lw 2032
c lw 2039
c lw 2040
c lw 2041
c lw 2043
c lw 2046
c lw 2050
c lw 2052
c lw 2053
c lw 2054
c lw 2058
c lw 2075
c lw 2076
c lw 2078
c lw 2079
c lw 2081
c lw 2082
c lw 2085
c lw 2086
c lw 2087
c lw 2093
c lw 2094
c lw 2096
c lw 2097
c lw 2098
c lw 2099
c lw 2100
c lw 2101
c lw 2102
c lw 2103
c lw 2105
c lw 2106
c lw 2107
c lw 2108
c lw 2109
c lw 2110
c lw 2111
c lw 2112
c lw 2113
c lw 2114
c lw 2115
c lw 2116
c lw 2117
c lw 2118
c lw 2119
c lw 2120
c lw 2121
c lw 2122
c lw 2123
c lw 2125
c lw 2127
c lw 2128
c lw 2129
c lw 2130
c lw 2131
c lw 2132
c lw 2133
c lw 2134
c lw 2135
c lw 2136
c lw 2137
c lw 2138
c lw 2139
c lw 2140
c lw 2141
c lw 2142
c lw 2143
c lw 2144
c lw 2145
c lw 2146
c lw 2147
c lw 2148
c lw 2149
c lw 2150
c lw 2151
c lw 2152
c lw 2153
c lw 2154
c lw 2155
c lw 2156
c lw 2157
c lw 2158
c lw 2159
c lw 2160
c lw 2161
c lw 2162
c lw 2163
c lw 2164
c lw 2165
c lw 2166
c lw 2167
c lw 2168
c lw 2169
c lw 2170
c lw 2171
c lw 2172
c lw 2173
c lw 2174
c lw 2175
c lw 2176
c lw 2177
c lw 2178
c lw 2179
c lw 2180
c lw 2181
c lw 2182
c lw 2183
c lw 2184
c lw 2185
c lw 2186
c lw 2187
c lw 2188
c lw 2189
c lw 2190
c lw 2191
c lw 2192
c lw 2193
c lw 2194
c lw 2195
c lw 2196
c lw 2197
c lw 2198
c lw 2199
c lw 2200
c lw 2201
c lw 2202
c lw 2203
c lw 2204
c lw 2205
c lw 2206
c lw 2207
c lw 2208
c lw 2209
c lw 2210
c lw 2211
c lw 2212
c lw 2213
c lw 2214
c lw 2215
c lw 2216
c lw 2217
c lw 2218
c lw 2219
c lw 2220
c lw 2221
c lw 2222
c lw 2223
c lw 2224
c lw 2225
c lw 2226
c lw 2227
c lw 2228
c lw 2229
c lw 2230
c lw 2231
c lw 2232
c lw 2233