0.00/0.00 c solving HOME/instance-4494233-1751153564.opb (Picat 3.9b6)
72.18/72.41 s SATISFIABLE
72.18/72.41 v ~x2991 ~x1923 ~x3836 ~x1077 ~x231 ~x2992 ~x1924 ~x3837 ~x1078 ~x232
72.18/72.41 v ~x2993 ~x1925 ~x3838 ~x1079 ~x233 ~x2994 ~x1926 ~x3839 ~x1080 ~x234
72.18/72.41 v ~x2995 ~x1927 ~x3840 x1081 ~x235 ~x2996 ~x1928 ~x3841 ~x1082 ~x236
72.18/72.41 v ~x2997 ~x1929 ~x3842 ~x1083 ~x237 ~x2998 ~x1930 ~x3843 ~x1084 ~x238
72.18/72.41 v ~x2999 ~x1931 ~x3844 ~x1085 x239 ~x3000 ~x1932 ~x3845 ~x1086 ~x240
72.18/72.41 v ~x3001 ~x1933 ~x3846 ~x1087 ~x241 ~x3002 ~x1934 ~x3847 ~x1088 ~x242
72.18/72.41 v ~x3003 ~x1935 ~x3848 ~x1089 ~x243 ~x3004 ~x1936 ~x3849 ~x1090 ~x244
72.18/72.41 v ~x3005 ~x1937 ~x3850 ~x1091 ~x245 ~x3006 ~x1938 ~x3851 ~x1092 ~x246
72.18/72.41 v ~x3007 ~x1939 ~x3852 ~x1093 ~x247 ~x3008 ~x1940 ~x3853 ~x1094 ~x248
72.18/72.41 v ~x3009 ~x1941 ~x3854 ~x1095 ~x249 ~x3010 ~x1942 ~x3855 ~x1096 ~x250
72.18/72.41 v ~x3011 ~x1943 ~x3856 ~x1097 ~x251 ~x3012 ~x1944 ~x3857 ~x1098 ~x252
72.18/72.41 v x3013 ~x1945 ~x3858 ~x1099 ~x253 ~x3014 ~x1946 ~x3859 ~x1100 ~x254
72.18/72.41 v ~x3015 ~x1947 ~x3860 ~x1101 ~x255 ~x3016 ~x1948 ~x3861 ~x1102 ~x256
72.18/72.41 v ~x3017 ~x1949 ~x3862 ~x1103 ~x257 ~x3018 x1950 ~x3863 ~x1104 ~x258
72.18/72.41 v x3019 ~x1951 ~x3864 ~x1105 ~x259 ~x3020 ~x1952 ~x3865 ~x1106 ~x260
72.18/72.41 v ~x3021 ~x1953 ~x3866 ~x1107 ~x261 ~x3022 ~x1954 ~x3867 ~x1108 ~x262
72.18/72.41 v ~x3023 ~x1955 ~x3868 ~x1109 ~x263 ~x3024 ~x1956 ~x3869 ~x1110 ~x264
72.18/72.41 v x3025 ~x1957 ~x3870 ~x1111 ~x265 ~x3026 ~x1958 ~x3871 ~x1112 ~x266
72.18/72.41 v ~x3027 ~x1959 ~x3872 ~x1113 ~x267 ~x3028 ~x1960 ~x3873 ~x1114 ~x268
72.18/72.41 v ~x3029 ~x1961 ~x3874 ~x1115 ~x269 ~x3030 ~x1962 ~x3875 ~x1116 x270
72.18/72.41 v ~x3031 ~x1963 ~x3876 ~x1117 ~x271 ~x3032 ~x1964 ~x3877 ~x1118 ~x272
72.18/72.41 v ~x3033 ~x1965 ~x3878 ~x1119 ~x273 ~x3034 ~x1966 ~x3879 ~x1120 ~x274
72.18/72.41 v ~x3035 ~x1967 ~x3880 ~x1121 ~x275 ~x3036 ~x1968 ~x3881 ~x1122 ~x276
72.18/72.41 v ~x3037 ~x1969 ~x3882 ~x1123 ~x277 ~x3038 ~x1970 ~x3883 ~x1124 ~x278
72.18/72.41 v ~x3039 ~x1971 ~x3884 ~x1125 ~x279 ~x3040 ~x1972 ~x3885 ~x1126 ~x280
72.18/72.41 v ~x3041 ~x1973 ~x3886 ~x1127 ~x281 ~x3042 ~x1974 ~x3887 ~x1128 ~x282
72.18/72.41 v ~x3043 ~x1975 ~x3888 ~x1129 ~x283 ~x3044 ~x1976 ~x3889 ~x1130 ~x284
72.18/72.41 v ~x3045 ~x1977 ~x3890 ~x1131 ~x285 ~x3046 ~x1978 ~x3891 ~x1132 ~x286
72.18/72.41 v ~x3047 ~x1979 ~x3892 ~x1133 ~x287 ~x3048 ~x1980 ~x3893 ~x1134 ~x288
72.18/72.41 v ~x3049 ~x1981 ~x3894 ~x1135 ~x289 ~x3050 ~x1982 ~x3895 ~x1136 ~x290
72.18/72.41 v ~x3051 ~x1983 ~x3896 ~x1137 ~x291 ~x3052 ~x1984 ~x3897 ~x1138 ~x292
72.18/72.41 v ~x3053 ~x1985 ~x3898 ~x1139 ~x293 ~x3054 ~x1986 ~x3899 ~x1140 ~x294
72.18/72.41 v ~x3055 ~x1987 ~x3900 x1141 ~x295 ~x3056 ~x1988 ~x3901 ~x1142 ~x296
72.18/72.41 v ~x3057 ~x1989 ~x3902 ~x1143 ~x297 ~x3058 ~x1990 ~x3903 ~x1144 ~x298
72.18/72.41 v ~x3059 ~x1991 x3904 ~x1145 ~x299 ~x3060 x1992 ~x3905 ~x1146 ~x300
72.18/72.41 v ~x3061 ~x1993 ~x3906 ~x1147 ~x301 ~x3062 ~x1994 ~x3907 ~x1148 ~x302
72.18/72.41 v ~x3063 ~x1995 ~x3908 ~x1149 ~x303 ~x3064 ~x1996 ~x3909 ~x1150 ~x304
72.18/72.41 v ~x3065 ~x1997 ~x3910 ~x1151 ~x305 ~x3066 ~x1998 ~x3911 ~x1152 ~x306
72.18/72.41 v ~x3067 ~x1999 ~x3912 ~x1153 ~x307 ~x3068 ~x2000 ~x3913 ~x1154 ~x308
72.18/72.41 v ~x3069 ~x2001 ~x3914 ~x1155 ~x309 ~x3070 ~x2002 ~x3915 ~x1156 ~x310
72.18/72.41 v ~x3071 ~x2003 ~x3916 ~x1157 ~x311 ~x3072 ~x2004 ~x3917 ~x1158 ~x312
72.18/72.41 v ~x3073 ~x2005 ~x3918 ~x1159 ~x313 ~x2006 ~x3074 ~x1160 ~x3919 ~x314
72.18/72.41 v ~x3075 ~x2007 ~x3920 ~x1161 ~x315 ~x3076 ~x2008 ~x3921 ~x1162 ~x316
72.18/72.41 v ~x3077 x2009 ~x3922 ~x1163 ~x317 ~x3078 ~x2010 ~x3923 ~x1164 ~x318
72.18/72.41 v ~x3079 ~x2011 ~x3924 ~x1165 ~x319 ~x3080 ~x2012 ~x3925 ~x1166 ~x320
72.18/72.41 v ~x3081 ~x2013 ~x3926 ~x1167 ~x321 ~x3082 ~x2014 ~x3927 ~x1168 ~x322
72.18/72.41 v ~x3083 ~x2015 ~x3928 ~x1169 ~x323 ~x3084 ~x2016 ~x3929 ~x1170 ~x324
72.18/72.42 v ~x3085 ~x2017 ~x3930 ~x1171 ~x325 ~x3086 ~x2018 ~x3931 ~x1172 ~x326
72.18/72.42 v ~x3087 ~x2019 ~x3932 ~x1173 ~x327 ~x3088 ~x2020 ~x3933 ~x1174 ~x328
72.18/72.42 v ~x3089 ~x2021 ~x3934 ~x1175 ~x329 ~x3090 ~x2022 ~x3935 ~x1176 ~x330
72.18/72.42 v ~x3091 ~x2023 ~x3936 x1177 ~x331 ~x3092 ~x2024 ~x3937 ~x1178 ~x332
72.18/72.42 v ~x3093 ~x2025 ~x3938 ~x1179 ~x333 ~x3094 ~x2026 ~x3939 ~x1180 ~x334
72.18/72.42 v ~x3095 ~x2027 ~x3940 ~x1181 ~x335 ~x3096 ~x2028 ~x3941 ~x1182 ~x336
72.18/72.42 v ~x3097 ~x2029 ~x3942 ~x1183 x337 ~x3098 ~x2030 ~x3943 ~x1184 ~x338
72.18/72.42 v ~x3099 ~x2031 ~x3944 ~x1185 ~x339 ~x3100 ~x2032 ~x3945 ~x1186 ~x340
72.18/72.42 v ~x3101 ~x2033 ~x3946 ~x1187 ~x341 ~x3102 ~x2034 ~x3947 ~x1188 ~x342
72.18/72.42 v ~x3103 ~x2035 ~x3948 ~x1189 ~x343 ~x3104 ~x2036 ~x3949 ~x1190 ~x344
72.18/72.42 v ~x3105 ~x2037 ~x3950 ~x1191 ~x345 ~x3106 ~x2038 ~x3951 ~x1192 ~x346
72.18/72.42 v ~x3107 ~x2039 ~x3952 ~x1193 ~x347 ~x3108 ~x2040 ~x3953 ~x1194 ~x348
72.18/72.42 v ~x3109 ~x2041 ~x3954 ~x1195 ~x349 ~x3110 ~x2042 x3955 ~x1196 ~x350
72.18/72.42 v ~x3111 ~x2043 ~x3956 ~x1197 ~x351 ~x3112 ~x2044 ~x3957 ~x1198 ~x352
72.18/72.42 v ~x3113 ~x2045 ~x3958 ~x1199 ~x353 ~x3114 ~x2046 ~x3959 ~x1200 ~x354
72.18/72.42 v ~x3115 ~x2047 ~x3960 ~x1201 ~x355 ~x3116 ~x2048 ~x3961 ~x1202 ~x356
72.18/72.42 v ~x3117 ~x2049 ~x3962 ~x1203 ~x357 ~x3118 ~x2050 ~x3963 ~x1204 ~x358
72.18/72.42 v ~x3119 ~x2051 ~x3964 ~x1205 ~x359 ~x3120 ~x2052 ~x3965 ~x1206 ~x360
72.18/72.42 v ~x3121 ~x2053 ~x3966 ~x1207 ~x361 ~x3122 ~x2054 ~x3967 ~x1208 ~x362
72.18/72.42 v ~x3123 ~x2055 ~x3968 ~x1209 ~x363 ~x3124 ~x2056 ~x3969 ~x1210 ~x364
72.18/72.42 v ~x3125 ~x2057 ~x3970 ~x1211 ~x365 ~x3126 ~x2058 ~x3971 ~x1212 ~x366
72.18/72.42 v ~x3127 ~x2059 ~x3972 ~x1213 ~x367 ~x3128 ~x2060 ~x3973 ~x1214 ~x368
72.18/72.42 v ~x3129 ~x2061 ~x3974 ~x1215 ~x369 ~x3130 ~x2062 ~x3975 x1216 ~x370
72.18/72.42 v ~x3131 ~x2063 x3976 ~x1217 ~x371 ~x3132 ~x2064 ~x3977 ~x1218 ~x372
72.18/72.42 v ~x3133 ~x2065 ~x3978 ~x1219 ~x373 ~x3134 ~x2066 ~x3979 ~x1220 ~x374
72.18/72.42 v ~x3135 ~x2067 ~x3980 ~x1221 ~x375 ~x3136 ~x2068 ~x3981 ~x1222 ~x376
72.18/72.42 v ~x3137 ~x2069 ~x3982 ~x1223 ~x377 ~x3138 ~x2070 ~x3983 ~x1224 ~x378
72.18/72.42 v ~x3139 ~x2071 ~x3984 ~x1225 ~x379 ~x3140 ~x2072 ~x3985 ~x1226 ~x380
72.18/72.42 v ~x3141 ~x2073 ~x3986 ~x1227 ~x381 ~x3142 ~x2074 ~x3987 ~x1228 ~x382
72.18/72.42 v ~x3143 ~x2075 ~x3988 ~x1229 ~x383 ~x3144 ~x2076 ~x3989 ~x1230 ~x384
72.18/72.42 v ~x3145 ~x2077 ~x3990 ~x1231 ~x385 ~x3146 ~x2078 ~x3991 ~x1232 ~x386
72.18/72.42 v ~x3147 ~x2079 ~x3992 ~x1233 ~x387 ~x3148 ~x2080 ~x3993 ~x1234 ~x388
72.18/72.42 v ~x3149 ~x2081 ~x3994 ~x1235 ~x389 ~x3150 x2082 ~x3995 ~x1236 ~x390
72.18/72.42 v ~x3151 ~x2083 ~x3996 ~x1237 ~x391 ~x3152 ~x2084 ~x3997 ~x1238 ~x392
72.18/72.42 v ~x3153 ~x2085 ~x3998 ~x1239 ~x393 ~x3154 ~x2086 ~x3999 ~x1240 ~x394
72.18/72.42 v ~x3155 ~x2087 ~x4000 ~x1241 ~x395 ~x3156 ~x2088 ~x4001 ~x1242 ~x396
72.18/72.42 v ~x3157 ~x2089 ~x4002 ~x1243 ~x397 ~x3158 ~x2090 ~x4003 ~x1244 ~x398
72.18/72.42 v ~x3159 ~x2091 ~x4004 ~x1245 x399 ~x3160 ~x2092 ~x4005 ~x1246 ~x400
72.18/72.42 v ~x3161 ~x2093 ~x4006 ~x1247 ~x401 ~x3162 ~x2094 ~x4007 ~x1248 ~x402
72.18/72.42 v ~x3163 ~x2095 ~x4008 ~x1249 ~x403 ~x3164 ~x2096 ~x4009 ~x1250 ~x404
72.18/72.42 v ~x3165 ~x2097 ~x4010 ~x1251 ~x405 ~x3166 ~x2098 ~x4011 ~x1252 ~x406
72.18/72.42 v ~x3167 ~x2099 ~x4012 ~x1253 ~x407 ~x3168 ~x2100 ~x4013 ~x1254 ~x408
72.18/72.42 v ~x3169 ~x2101 ~x4014 ~x1255 ~x409 ~x3170 ~x2102 ~x4015 ~x1256 ~x410
72.18/72.42 v ~x3171 ~x2103 ~x4016 ~x1257 ~x411 x3172 ~x2104 ~x4017 ~x1258 ~x412
72.18/72.42 v ~x3173 ~x2105 ~x4018 ~x1259 ~x413 ~x3174 ~x2106 ~x4019 ~x1260 ~x414
72.18/72.42 v ~x3175 ~x2107 ~x4020 ~x1261 ~x415 ~x3176 ~x2108 ~x4021 ~x1262 ~x416
72.18/72.42 v ~x3177 ~x2109 ~x4022 ~x1263 ~x417 ~x3178 ~x2110 ~x4023 ~x1264 ~x418
72.18/72.42 v ~x3179 ~x2111 ~x4024 ~x1265 ~x419 ~x3180 ~x2112 ~x4025 ~x1266 ~x420
72.18/72.42 v ~x3181 ~x2113 ~x4026 ~x1267 ~x421 ~x3182 ~x2114 ~x4027 ~x1268 ~x422
72.18/72.42 v ~x3183 ~x2115 ~x4028 ~x1269 ~x423 ~x3184 ~x2116 ~x4029 ~x1270 ~x424
72.18/72.42 v ~x3185 ~x2117 ~x4030 ~x1271 ~x425 ~x3186 ~x2118 ~x4031 ~x1272 ~x426
72.18/72.42 v ~x3187 ~x2119 ~x4032 ~x1273 ~x427 ~x3188 ~x2120 ~x4033 ~x1274 ~x428
72.18/72.42 v ~x3189 ~x2121 ~x4034 ~x1275 ~x429 ~x3190 ~x2122 ~x4035 ~x1276 ~x430
72.18/72.42 v ~x3191 ~x2123 ~x4036 ~x1277 ~x431 ~x3192 ~x2124 ~x4037 ~x1278 ~x432
72.18/72.42 v ~x3193 ~x2125 x4038 ~x1279 ~x433 ~x3194 ~x2126 ~x4039 ~x1280 ~x434
72.18/72.42 v ~x3195 ~x2127 ~x4040 ~x1281 ~x435 ~x3196 ~x2128 ~x4041 ~x1282 x436
72.18/72.42 v ~x3197 ~x2129 ~x4042 ~x1283 ~x437 ~x3198 x2130 ~x4043 ~x1284 ~x438
72.18/72.42 v ~x3199 ~x2131 ~x4044 ~x1285 ~x439 ~x3200 ~x2132 ~x4045 ~x1286 ~x440
72.18/72.42 v ~x3201 ~x2133 ~x4046 ~x1287 ~x441 ~x3202 ~x2134 ~x4047 ~x1288 ~x442
72.18/72.42 v ~x3203 ~x2135 ~x4048 ~x1289 ~x443 ~x3204 ~x2136 ~x4049 ~x1290 ~x444
72.18/72.42 v ~x3205 ~x2137 ~x4050 ~x1291 ~x445 ~x3206 ~x2138 ~x4051 ~x1292 ~x446
72.18/72.42 v ~x3207 ~x2139 ~x4052 ~x1293 ~x447 ~x3208 ~x2140 ~x4053 ~x1294 ~x448
72.18/72.42 v ~x3209 ~x2141 ~x4054 ~x1295 ~x449 ~x3210 ~x2142 ~x4055 x1296 ~x450
72.18/72.42 v ~x3211 ~x2143 ~x4056 ~x1297 ~x451 ~x3212 ~x2144 ~x4057 ~x1298 ~x452
72.18/72.42 v ~x3213 ~x2145 ~x4058 ~x1299 ~x453 ~x3214 ~x2146 ~x4059 ~x1300 ~x454
72.18/72.42 v ~x3215 ~x2147 ~x4060 ~x1301 ~x455 ~x3216 ~x2148 ~x4061 ~x1302 ~x456
72.18/72.42 v ~x3217 ~x2149 ~x4062 ~x1303 ~x457 ~x3218 ~x2150 ~x4063 ~x1304 ~x458
72.18/72.42 v ~x3219 x2151 ~x4064 ~x1305 ~x459 ~x3220 ~x2152 ~x4065 ~x1306 ~x460
72.18/72.42 v ~x3221 ~x2153 ~x4066 ~x1307 ~x461 ~x3222 ~x2154 ~x4067 ~x1308 ~x462
72.18/72.42 v ~x3223 ~x2155 ~x4068 ~x1309 ~x463 ~x3224 ~x2156 ~x4069 ~x1310 ~x464
72.18/72.42 v ~x3225 ~x2157 ~x4070 ~x1311 ~x465 ~x3226 ~x2158 ~x4071 ~x1312 ~x466
72.18/72.42 v ~x3227 ~x2159 ~x4072 ~x1313 ~x467 ~x3228 ~x2160 ~x4073 ~x1314 ~x468
72.18/72.42 v ~x3229 ~x2161 ~x4074 ~x1315 ~x469 ~x3230 ~x2162 ~x4075 ~x1316 ~x470
72.18/72.42 v ~x3231 ~x2163 ~x4076 ~x1317 ~x471 ~x3232 ~x2164 ~x4077 ~x1318 ~x472
72.18/72.42 v ~x3233 ~x2165 ~x4078 ~x1319 x473 ~x3234 ~x2166 ~x4079 ~x1320 ~x474
72.18/72.42 v ~x3235 ~x2167 ~x4080 ~x1321 ~x475 ~x3236 ~x2168 ~x4081 ~x1322 ~x476
72.18/72.42 v ~x3237 ~x2169 ~x4082 ~x1323 ~x477 ~x3238 ~x2170 ~x4083 ~x1324 ~x478
72.18/72.42 v ~x3239 ~x2171 ~x4084 ~x1325 ~x479 ~x3240 ~x2172 ~x4085 ~x1326 ~x480
72.18/72.42 v ~x3241 ~x2173 ~x4086 ~x1327 ~x481 ~x3242 ~x2174 ~x4087 ~x1328 ~x482
72.18/72.42 v ~x3243 ~x2175 ~x4088 x1329 ~x483 ~x3244 ~x2176 ~x4089 ~x1330 ~x484
72.18/72.42 v ~x3245 ~x2177 ~x4090 ~x1331 ~x485 ~x3246 ~x2178 ~x4091 ~x1332 ~x486
72.18/72.42 v ~x3247 ~x2179 ~x4092 ~x1333 ~x487 ~x3248 ~x2180 ~x4093 ~x1334 ~x488
72.18/72.42 v ~x3249 ~x2181 ~x4094 ~x1335 ~x489 ~x3250 ~x2182 ~x4095 ~x1336 ~x490
72.18/72.42 v ~x3251 ~x2183 ~x4096 ~x1337 ~x491 ~x3252 ~x2184 ~x4097 ~x1338 ~x492
72.18/72.42 v ~x3253 ~x2185 ~x4098 ~x1339 ~x493 ~x3254 ~x2186 ~x4099 ~x1340 ~x494
72.18/72.42 v ~x3255 ~x2187 ~x4100 ~x1341 ~x495 ~x3256 ~x2188 ~x4101 ~x1342 ~x496
72.18/72.42 v ~x3257 ~x2189 ~x4102 ~x1343 ~x497 ~x3258 ~x2190 ~x4103 ~x1344 ~x498
72.18/72.42 v ~x3259 ~x2191 ~x4104 ~x1345 ~x499 ~x3260 ~x2192 ~x4105 ~x1346 ~x500
72.18/72.42 v ~x3261 ~x2193 ~x4106 ~x1347 ~x501 ~x3262 ~x2194 ~x4107 ~x1348 ~x502
72.18/72.42 v ~x3263 ~x2195 ~x4108 ~x1349 ~x503 ~x3264 ~x2196 ~x4109 ~x1350 ~x504
72.18/72.42 v ~x3265 ~x2197 ~x4110 ~x1351 ~x505 ~x3266 ~x2198 ~x4111 ~x1352 ~x506
72.18/72.42 v ~x3267 ~x2199 ~x4112 ~x1353 ~x507 ~x3268 ~x2200 ~x4113 ~x1354 ~x508
72.18/72.42 v ~x3269 ~x2201 ~x4114 ~x1355 ~x509 ~x3270 ~x2202 ~x4115 ~x1356 ~x510
72.18/72.42 v ~x3271 ~x2203 ~x4116 ~x1357 ~x511 ~x3272 ~x2204 ~x4117 ~x1358 ~x512
72.18/72.42 v ~x3273 ~x2205 ~x4118 ~x1359 ~x513 ~x3274 ~x2206 ~x4119 ~x1360 ~x514
72.18/72.42 v ~x3275 ~x2207 ~x4120 ~x1361 ~x515 ~x3276 ~x2208 ~x4121 ~x1362 ~x516
72.18/72.42 v ~x3277 ~x2209 ~x4122 ~x1363 ~x517 ~x3278 ~x2210 ~x4123 ~x1364 x518
72.18/72.42 v ~x3279 ~x2211 ~x4124 ~x1365 ~x519 ~x3280 ~x2212 ~x4125 ~x1366 ~x520
72.18/72.42 v ~x3281 ~x2213 ~x4126 ~x1367 ~x521 ~x3282 ~x2214 ~x4127 ~x1368 ~x522
72.18/72.42 v ~x3283 ~x2215 ~x4128 ~x1369 ~x523 ~x3284 ~x2216 ~x4129 ~x1370 ~x524
72.18/72.42 v ~x3285 ~x2217 x4130 ~x1371 ~x525 ~x3286 ~x2218 ~x4131 ~x1372 ~x526
72.18/72.42 v ~x3287 ~x2219 ~x4132 ~x1373 ~x527 ~x3288 ~x2220 ~x4133 ~x1374 ~x528
72.18/72.42 v ~x2 ~x3289 ~x2221 ~x4134 ~x1375 ~x529 ~x2501 ~x3290 ~x2222 ~x4135
72.18/72.42 v ~x1376 ~x530 ~x3291 ~x2223 ~x4136 ~x1377 ~x531 ~x3 ~x3292 ~x2224
72.18/72.42 v ~x4137 ~x1378 ~x532 ~x2502 ~x3293 ~x2225 ~x4138 ~x1379 ~x533 ~x4
72.18/72.42 v ~x3294 ~x2226 ~x4139 ~x1380 ~x534 ~x2503 ~x3295 ~x2227 ~x4140 ~x1381
72.18/72.42 v ~x535 ~x5 ~x3296 ~x2228 ~x4141 ~x1382 ~x536 ~x2504 ~x3297 ~x2229
72.18/72.42 v ~x4142 ~x1383 ~x537 ~x6 x3298 ~x2230 ~x4143 ~x1384 ~x538 ~x2505
72.18/72.42 v ~x3299 ~x2231 ~x4144 ~x1385 ~x539 ~x7 ~x3300 ~x4145 ~x1386 ~x540
72.18/72.42 v ~x2506 ~x3301 ~x4146 ~x1387 ~x541 ~x2232 ~x8 ~x3302 ~x4147 x1388
72.18/72.42 v ~x542 ~x2233 ~x2507 ~x3303 ~x4148 ~x1389 ~x543 ~x2234 ~x3304 ~x4149
72.18/72.42 v ~x1390 ~x544 ~x2235 ~x3305 ~x9 ~x4150 ~x1391 ~x545 ~x2236 ~x3306
72.18/72.42 v ~x2508 ~x4151 ~x1392 ~x546 ~x2237 ~x3307 ~x10 ~x4152 ~x1393 ~x547
72.18/72.42 v ~x2238 ~x3308 ~x2509 ~x4153 ~x1394 ~x548 ~x2239 ~x3309 ~x11 ~x4154
72.18/72.42 v ~x1395 ~x549 ~x2240 ~x3310 ~x2510 x4155 ~x1396 ~x550 ~x2241 ~x3311
72.18/72.42 v ~x12 ~x4156 ~x1397 ~x551 ~x2242 ~x3312 ~x2511 ~x4157 ~x1398 ~x552
72.18/72.42 v x2243 ~x3313 ~x14 ~x4158 ~x1399 ~x553 ~x2244 ~x3314 ~x2512 ~x4159
72.18/72.42 v ~x1400 ~x554 ~x2245 ~x3315 ~x15 ~x4160 ~x1401 ~x555 ~x2246 ~x3316
72.18/72.42 v ~x2513 ~x4161 ~x1402 ~x556 ~x2247 ~x3317 ~x16 ~x4162 ~x1403 x557
72.18/72.42 v ~x2248 ~x3318 ~x2514 ~x4163 ~x1404 ~x558 ~x2249 ~x3319 ~x17 ~x4164
72.18/72.42 v ~x1405 ~x559 ~x2250 ~x3320 ~x2515 ~x4165 ~x1406 ~x560 ~x2251 ~x3321
72.18/72.42 v ~x18 ~x4166 ~x1407 ~x561 ~x2252 ~x3322 ~x2516 ~x4167 ~x1408 ~x562
72.18/72.42 v x2253 ~x3323 ~x4168 ~x1409 ~x563 ~x2254 ~x3324 ~x4169 ~x1410 ~x564
72.18/72.42 v ~x2255 ~x19 ~x3325 ~x4170 ~x1411 ~x565 ~x2256 ~x2517 ~x3326 ~x4171
72.18/72.42 v ~x1412 ~x566 ~x2257 ~x21 ~x3327 ~x4172 ~x1413 ~x567 ~x2258 ~x2518
72.18/72.42 v ~x3328 ~x4173 ~x1414 ~x568 ~x2259 ~x23 ~x3329 ~x4174 ~x1415 ~x569
72.18/72.42 v ~x2260 ~x2519 ~x3330 ~x4175 ~x1416 ~x570 ~x2261 ~x24 ~x3331 ~x4176
72.18/72.42 v ~x1417 ~x571 ~x2262 ~x2520 ~x3332 ~x4177 ~x1418 ~x572 ~x2263 x25
72.18/72.42 v ~x3333 ~x4178 ~x1419 ~x573 ~x2264 ~x2521 ~x3334 ~x4179 ~x1420 ~x574
72.18/72.42 v ~x2265 ~x26 ~x3335 ~x4180 ~x1421 ~x575 ~x2266 ~x2522 ~x3336 ~x4181
72.18/72.42 v ~x1422 ~x576 ~x2267 ~x27 ~x3337 ~x4182 ~x1423 ~x577 ~x2268 ~x2523
72.18/72.42 v ~x3338 ~x4183 ~x1424 ~x578 ~x2269 ~x29 ~x3339 ~x4184 ~x1425 ~x579
72.18/72.42 v ~x2270 ~x2524 ~x3340 ~x4185 ~x1426 ~x580 ~x2271 ~x32 ~x3341 ~x4186
72.18/72.42 v ~x1427 ~x581 ~x2272 ~x2525 ~x3342 ~x4187 ~x1428 ~x582 ~x2273 ~x33
72.18/72.42 v x3343 ~x4188 ~x1429 ~x583 ~x2274 ~x2526 ~x3344 ~x4189 ~x1430 ~x584
72.18/72.42 v ~x2275 ~x34 ~x3345 ~x4190 ~x1431 ~x585 ~x2276 ~x2527 ~x3346 ~x4191
72.18/72.42 v ~x1432 ~x586 ~x2277 ~x36 ~x3347 ~x4192 ~x1433 ~x587 ~x2278 ~x2528
72.18/72.42 v ~x3348 ~x4193 x1434 ~x588 ~x2279 ~x37 ~x3349 ~x4194 ~x1435 ~x589
72.18/72.42 v ~x2280 ~x2529 ~x3350 ~x4195 ~x1436 ~x590 ~x2281 ~x38 ~x3351 ~x4196
72.18/72.42 v ~x1437 ~x591 ~x2282 ~x2530 ~x3352 ~x4197 ~x1438 ~x592 ~x2283 ~x40
72.18/72.42 v ~x3353 ~x4198 ~x1439 ~x593 ~x2284 ~x2531 ~x3354 ~x4199 ~x1440 ~x594
72.18/72.42 v ~x2285 ~x41 ~x3355 ~x4200 ~x1441 ~x595 ~x2286 ~x2532 ~x3356 ~x4201
72.18/72.42 v ~x1442 ~x596 ~x2287 ~x3357 ~x4202 ~x1443 ~x597 ~x2288 ~x42 ~x3358
72.18/72.42 v ~x4203 ~x1444 ~x598 ~x2289 ~x2533 ~x3359 ~x4204 ~x1445 ~x599 ~x2290
72.18/72.42 v ~x43 x3360 ~x4205 ~x1446 ~x600 ~x2291 ~x2534 ~x3361 ~x4206 ~x1447
72.18/72.42 v ~x601 ~x2292 ~x45 ~x3362 ~x4207 ~x1448 ~x602 ~x2293 ~x2535 ~x3363
72.18/72.42 v ~x4208 ~x1449 ~x603 ~x2294 ~x46 ~x3364 ~x4209 ~x1450 ~x604 ~x2295
72.18/72.42 v ~x2536 x3365 ~x4210 ~x1451 ~x605 ~x2296 ~x49 ~x3366 ~x4211 ~x1452
72.18/72.42 v ~x606 ~x2297 ~x2537 ~x3367 ~x4212 ~x1453 ~x607 ~x2298 ~x50 ~x3368
72.18/72.42 v ~x4213 x1454 ~x608 ~x2299 ~x2538 ~x3369 ~x4214 ~x1455 ~x609 ~x2300
72.18/72.42 v ~x1 ~x3370 ~x4215 ~x1456 ~x610 ~x2301 ~x2539 ~x3371 ~x4216 ~x1457
72.18/72.42 v ~x611 ~x2302 ~x2540 ~x3372 ~x4217 ~x1458 ~x612 ~x2303 ~x2541 ~x3373
72.18/72.42 v ~x4218 ~x1459 ~x613 ~x2304 ~x2542 ~x3374 ~x4219 ~x1460 ~x614 ~x2305
72.18/72.42 v ~x2543 ~x3375 ~x4220 ~x1461 ~x615 ~x2306 ~x2544 ~x3376 ~x4221 ~x1462
72.18/72.42 v ~x616 ~x2307 ~x2545 ~x3377 ~x4222 ~x1463 ~x617 ~x2308 ~x2546 ~x3378
72.18/72.42 v ~x4223 ~x1464 ~x618 ~x2309 ~x2547 ~x3379 ~x4224 ~x1465 ~x619 ~x2310
72.18/72.42 v ~x2548 ~x3380 ~x4225 ~x1466 ~x620 ~x2311 ~x2549 ~x3381 ~x4226 ~x1467
72.18/72.42 v ~x621 ~x2312 ~x13 ~x3382 ~x4227 ~x1468 ~x622 x2313 ~x2550 ~x3383
72.18/72.42 v ~x4228 ~x1469 ~x623 ~x2314 ~x2551 x3384 ~x4229 ~x1470 ~x624 ~x2315
72.18/72.42 v ~x2552 ~x3385 ~x4230 ~x1471 ~x625 ~x2316 ~x2553 ~x3386 ~x4231 ~x1472
72.18/72.42 v ~x626 ~x2317 ~x2554 ~x3387 ~x4232 ~x1473 ~x627 ~x2318 ~x2555 ~x3388
72.18/72.42 v ~x4233 ~x1474 ~x628 ~x2319 ~x22 ~x3389 ~x4234 ~x1475 ~x629 ~x2320
72.18/72.42 v ~x2556 ~x3390 ~x4235 ~x1476 ~x630 ~x2321 ~x2557 ~x3391 ~x4236 ~x1477
72.18/72.42 v ~x631 ~x2322 ~x2558 ~x3392 ~x4237 ~x1478 ~x632 ~x2323 ~x28 ~x3393
72.18/72.42 v ~x4238 ~x1479 ~x633 ~x2324 ~x2559 ~x3394 ~x4239 ~x1480 ~x634 ~x2325
72.18/72.42 v ~x2560 ~x3395 ~x4240 ~x1481 ~x635 ~x2326 ~x31 ~x3396 ~x4241 ~x1482
72.18/72.42 v ~x636 ~x2327 ~x2561 ~x3397 ~x4242 ~x1483 ~x637 ~x2328 ~x2562 ~x3398
72.18/72.42 v ~x4243 ~x1484 ~x638 ~x2329 ~x35 ~x3399 ~x4244 ~x1485 ~x639 ~x2330
72.18/72.42 v ~x2563 ~x3400 ~x4245 ~x1486 ~x640 ~x2331 ~x2564 ~x3401 ~x4246 ~x1487
72.18/72.42 v ~x641 ~x2332 ~x2565 ~x3402 x4247 ~x1488 ~x642 ~x2333 ~x2566 ~x3403
72.18/72.42 v ~x4248 ~x1489 ~x643 ~x2334 ~x2567 ~x3404 ~x4249 ~x1490 ~x644 ~x2335
72.18/72.42 v ~x2568 ~x3405 ~x4250 ~x1491 ~x645 ~x2336 ~x2569 ~x3406 ~x4251 ~x1492
72.18/72.42 v ~x646 ~x2337 ~x44 ~x3407 ~x4252 ~x1493 x647 ~x2338 ~x2570 ~x3408
72.18/72.42 v ~x4253 ~x1494 ~x648 ~x2339 ~x2571 x3409 ~x4254 ~x1495 ~x649 ~x2340
72.18/72.42 v ~x2572 ~x3410 ~x4255 ~x1496 ~x650 ~x2341 ~x47 ~x3411 ~x4256 ~x1497
72.18/72.42 v ~x651 ~x2342 ~x2573 ~x3412 ~x4257 ~x1498 ~x652 ~x2343 ~x2574 ~x3413
72.18/72.42 v ~x4258 ~x1499 ~x653 ~x2344 ~x2575 ~x3414 ~x4259 ~x1500 ~x654 ~x2345
72.18/72.42 v ~x2576 ~x3415 ~x4260 ~x1501 ~x655 ~x2346 ~x2577 ~x3416 ~x4261 ~x1502
72.18/72.42 v x656 ~x2347 ~x2578 ~x3417 ~x4262 ~x1503 ~x657 ~x2348 ~x2579 ~x3418
72.18/72.42 v ~x4263 ~x1504 ~x658 ~x2349 ~x2580 ~x3419 ~x4264 ~x1505 ~x659 ~x2350
72.18/72.42 v ~x2581 ~x3420 ~x4265 ~x1506 ~x660 ~x2351 ~x2582 ~x3421 ~x4266 ~x1507
72.18/72.42 v ~x661 ~x2352 ~x2583 ~x3422 ~x4267 ~x1508 ~x662 ~x2353 ~x3423 ~x4268
72.18/72.42 v ~x1509 ~x663 ~x2354 ~x2584 ~x3424 ~x4269 ~x1510 ~x664 ~x2355 ~x2585
72.18/72.42 v ~x3425 ~x4270 ~x1511 ~x665 ~x2356 ~x2586 ~x3426 ~x4271 ~x1512 ~x666
72.18/72.42 v ~x2357 ~x2587 ~x3427 ~x4272 ~x1513 ~x667 ~x2358 ~x2588 ~x3428 ~x4273
72.18/72.42 v ~x1514 ~x668 ~x2359 ~x2589 ~x3429 ~x4274 ~x1515 ~x669 ~x2360 ~x2590
72.18/72.42 v ~x3430 ~x4275 ~x1516 ~x670 ~x2361 ~x20 ~x3431 ~x4276 x1517 ~x671
72.18/72.42 v ~x2362 ~x2591 ~x3432 ~x4277 ~x1518 ~x672 ~x2363 ~x2592 ~x3433 ~x4278
72.18/72.42 v ~x1519 ~x673 ~x2364 ~x2593 ~x3434 ~x4279 ~x1520 ~x674 ~x2365 ~x2594
72.18/72.42 v ~x3435 ~x4280 ~x1521 ~x675 ~x2366 ~x2595 ~x3436 ~x4281 ~x1522 ~x676
72.18/72.42 v ~x2367 ~x30 ~x3437 ~x4282 ~x1523 ~x677 ~x2368 ~x2596 ~x3438 ~x4283
72.18/72.42 v ~x1524 ~x678 ~x2369 ~x2597 ~x3439 ~x4284 ~x1525 ~x679 ~x2370 ~x2598
72.18/72.42 v ~x3440 ~x4285 ~x1526 ~x680 ~x2371 ~x2599 ~x3441 ~x4286 ~x1527 ~x681
72.18/72.42 v ~x2372 ~x2600 ~x3442 ~x4287 ~x1528 ~x682 ~x2373 ~x2601 ~x3443 ~x4288
72.18/72.42 v ~x1529 ~x683 ~x2374 ~x2602 ~x3444 ~x4289 ~x1530 ~x684 ~x2375 ~x2603
72.18/72.42 v ~x3445 ~x4290 ~x1531 ~x685 ~x2376 ~x2604 ~x3446 ~x4291 ~x1532 ~x686
72.18/72.42 v ~x2377 ~x2605 ~x3447 ~x4292 ~x1533 ~x687 x2378 ~x2606 ~x3448 ~x4293
72.18/72.42 v ~x1534 ~x688 ~x2379 ~x2607 ~x3449 ~x4294 ~x1535 ~x689 ~x2380 ~x2608
72.18/72.42 v ~x3450 ~x4295 ~x1536 ~x690 ~x2381 ~x48 ~x3451 ~x4296 ~x1537 ~x691
72.18/72.42 v ~x2382 ~x2609 ~x3452 ~x4297 ~x1538 ~x692 ~x2383 ~x2610 ~x3453 ~x4298
72.18/72.42 v ~x1539 ~x693 ~x2384 ~x2611 ~x3454 ~x4299 ~x1540 ~x694 ~x2385 ~x2612
72.18/72.42 v ~x3455 ~x4300 ~x1541 ~x695 ~x2386 ~x2613 ~x3456 ~x4301 ~x1542 ~x696
72.18/72.42 v ~x2387 ~x2614 ~x3457 ~x4302 ~x1543 ~x697 ~x2388 ~x2615 ~x3458 ~x4303
72.18/72.42 v ~x1544 ~x698 ~x2389 ~x2616 ~x3459 ~x4304 ~x1545 ~x699 ~x2390 ~x2617
72.18/72.42 v ~x3460 ~x4305 ~x1546 ~x700 ~x2391 ~x2618 ~x3461 ~x4306 ~x1547 ~x701
72.18/72.42 v ~x2392 ~x2619 ~x3462 ~x4307 ~x1548 ~x702 ~x2393 ~x2620 ~x3463 ~x4308
72.18/72.42 v ~x1549 ~x703 ~x2394 ~x2621 ~x3464 ~x4309 ~x1550 ~x704 ~x2395 ~x2622
72.18/72.42 v ~x3465 ~x4310 ~x1551 ~x705 ~x2396 ~x2623 ~x3466 ~x4311 ~x1552 ~x706
72.18/72.42 v ~x2397 ~x2624 ~x3467 ~x4312 ~x1553 ~x707 ~x2398 ~x2625 ~x3468 ~x4313
72.18/72.42 v ~x1554 ~x708 ~x2399 ~x2626 ~x3469 ~x4314 ~x1555 ~x709 ~x2400 ~x2627
72.18/72.42 v ~x3470 ~x4315 ~x1556 ~x710 ~x2401 ~x2628 x3471 ~x4316 ~x1557 ~x711
72.18/72.42 v ~x2402 ~x2629 ~x3472 ~x4317 ~x1558 ~x712 ~x2403 ~x2630 x3473 ~x4318
72.18/72.42 v ~x1559 ~x713 ~x2404 ~x2631 ~x3474 ~x4319 ~x1560 ~x714 x2405 ~x2632
72.18/72.42 v ~x3475 ~x4320 ~x1561 ~x715 ~x2406 ~x2633 ~x3476 ~x4321 ~x1562 ~x716
72.18/72.42 v ~x2407 ~x2634 ~x3477 ~x4322 ~x1563 ~x717 ~x2408 ~x2635 x3478 ~x4323
72.18/72.42 v ~x1564 ~x718 ~x2409 ~x2636 ~x3479 ~x4324 ~x1565 x719 ~x2410 ~x2637
72.18/72.42 v ~x3480 ~x4325 ~x1566 ~x720 ~x2411 ~x2638 ~x3481 ~x4326 ~x1567 ~x721
72.18/72.42 v ~x2412 ~x2639 ~x3482 ~x4327 ~x1568 ~x722 ~x2413 ~x2640 ~x3483 ~x4328
72.18/72.42 v ~x1569 ~x723 ~x2414 ~x2641 x3484 ~x4329 ~x1570 ~x724 ~x2415 ~x39
72.18/72.42 v x3485 x4330 ~x1571 ~x725 ~x2416 ~x2642 ~x3486 ~x4331 ~x1572 ~x726
72.18/72.42 v ~x2417 ~x2643 ~x3487 ~x4332 ~x1573 ~x727 ~x2418 ~x2644 ~x3488 ~x4333
72.18/72.42 v ~x1574 ~x728 ~x2419 ~x2645 ~x3489 ~x4334 ~x1575 ~x729 ~x2420 ~x2646
72.18/72.42 v ~x3490 ~x4335 ~x1576 ~x730 ~x2421 ~x2647 ~x3491 ~x4336 ~x1577 ~x731
72.18/72.42 v ~x2422 ~x2648 ~x3492 ~x4337 ~x1578 ~x732 ~x2423 ~x2649 ~x3493 ~x4338
72.18/72.42 v ~x1579 ~x733 ~x2424 ~x2650 ~x3494 ~x4339 ~x1580 ~x734 ~x2425 ~x2651
72.18/72.42 v x3495 ~x4340 ~x1581 ~x735 ~x2426 ~x2652 ~x3496 ~x4341 ~x1582 ~x736
72.18/72.42 v ~x2427 ~x2653 ~x3497 x1583 ~x4342 ~x737 ~x2428 ~x2654 ~x3498 ~x4343
72.18/72.42 v ~x1584 ~x738 ~x2429 ~x2655 ~x3499 ~x4344 ~x1585 ~x739 ~x2430 ~x2656
72.18/72.42 v ~x3500 ~x4345 ~x1586 ~x740 ~x2431 ~x2657 ~x3501 ~x4346 ~x1587 ~x741
72.18/72.42 v ~x2432 ~x2658 ~x4347 ~x1588 ~x742 ~x2433 ~x2659 ~x4348 ~x1589 ~x3502
72.18/72.42 v ~x743 ~x2434 ~x2660 ~x4349 ~x1590 ~x3503 ~x744 ~x2435 ~x2661 ~x4350
72.18/72.42 v ~x1591 ~x3504 ~x745 ~x2436 ~x2662 x4351 ~x1592 ~x3505 ~x746 ~x2437
72.18/72.42 v ~x2663 ~x4352 ~x1593 ~x3506 ~x747 ~x2438 ~x2664 ~x4353 ~x1594 ~x3507
72.18/72.42 v ~x748 ~x2439 ~x2665 ~x4354 ~x1595 ~x3508 ~x749 ~x2440 ~x2666 ~x4355
72.18/72.42 v ~x1596 ~x3509 ~x750 ~x2441 ~x2667 ~x4356 ~x1597 ~x3510 ~x751 ~x2442
72.18/72.42 v ~x2668 ~x4357 ~x1598 ~x3511 ~x752 ~x2443 ~x2669 ~x4358 ~x1599 ~x3512
72.18/72.42 v ~x753 ~x2444 ~x2670 ~x4359 ~x1600 ~x3513 ~x754 ~x2445 ~x2671 ~x4360
72.18/72.42 v ~x1601 ~x3514 ~x755 ~x2446 ~x2672 ~x4361 ~x1602 ~x3515 ~x756 ~x2447
72.18/72.42 v ~x2673 ~x4362 ~x1603 ~x3516 ~x757 ~x2448 ~x2674 ~x4363 ~x1604 ~x3517
72.18/72.42 v ~x758 ~x2449 ~x2675 ~x4364 ~x1605 ~x3518 ~x759 ~x2450 ~x2676 ~x4365
72.18/72.42 v ~x1606 ~x3519 ~x760 ~x2451 ~x2677 ~x4366 ~x1607 ~x3520 ~x761 ~x2452
72.18/72.42 v ~x2678 ~x4367 ~x1608 ~x3521 ~x762 ~x2453 ~x2679 ~x4368 ~x1609 ~x3522
72.18/72.42 v ~x763 ~x2454 ~x2680 ~x4369 ~x1610 ~x3523 ~x764 ~x2455 ~x2681 ~x4370
72.18/72.42 v ~x1611 ~x3524 ~x765 ~x2456 ~x2682 ~x4371 ~x1612 ~x3525 ~x766 ~x2457
72.18/72.42 v ~x2683 ~x4372 ~x1613 ~x3526 ~x767 ~x2458 ~x2684 ~x4373 ~x1614 ~x3527
72.18/72.42 v ~x768 ~x2459 ~x2685 x4374 x1615 ~x3528 ~x769 ~x2460 ~x2686 ~x4375
72.18/72.42 v ~x1616 ~x3529 ~x770 ~x2461 ~x2687 ~x4376 ~x1617 ~x3530 ~x771 ~x2462
72.18/72.42 v ~x2688 ~x4377 ~x1618 ~x3531 ~x772 ~x2463 ~x2689 ~x4378 ~x1619 ~x3532
72.18/72.42 v ~x773 ~x2464 ~x2690 ~x4379 ~x1620 ~x3533 ~x774 ~x2465 ~x2691 ~x4380
72.18/72.42 v ~x1621 ~x3534 ~x775 ~x2466 ~x2692 ~x4381 ~x1622 ~x3535 ~x776 ~x2467
72.18/72.42 v ~x2693 ~x4382 ~x1623 ~x3536 ~x777 ~x2468 ~x2694 ~x4383 ~x1624 ~x3537
72.18/72.42 v ~x778 ~x2469 ~x2695 ~x4384 ~x1625 ~x3538 ~x779 ~x2470 ~x2696 ~x4385
72.18/72.42 v ~x1626 ~x3539 ~x780 ~x2471 ~x2697 ~x4386 ~x1627 ~x3540 ~x781 ~x2472
72.18/72.42 v ~x2698 ~x4387 ~x1628 ~x3541 ~x782 ~x2473 ~x2699 ~x4388 ~x1629 ~x3542
72.18/72.42 v ~x783 ~x2474 ~x2700 ~x4389 ~x1630 ~x3543 ~x784 ~x2475 ~x2701 ~x4390
72.18/72.42 v ~x1631 ~x3544 ~x785 x2476 ~x2702 ~x4391 ~x1632 ~x3545 ~x786 ~x2477
72.18/72.42 v ~x2703 ~x4392 ~x1633 ~x3546 ~x787 ~x2478 ~x2704 ~x4393 ~x1634 ~x3547
72.18/72.42 v ~x788 ~x2479 ~x2705 ~x4394 ~x1635 ~x3548 ~x789 ~x2480 ~x2706 ~x4395
72.18/72.42 v ~x1636 ~x3549 ~x790 ~x2481 ~x2707 ~x4396 ~x1637 ~x3550 ~x791 ~x2482
72.18/72.42 v ~x2708 ~x4397 ~x1638 ~x3551 ~x792 ~x2483 ~x2709 ~x4398 ~x1639 ~x3552
72.18/72.42 v ~x793 ~x2484 ~x4399 ~x1640 ~x3553 x794 ~x2485 ~x2710 ~x4400 ~x1641
72.18/72.42 v ~x3554 ~x795 ~x2486 ~x2711 ~x4401 ~x1642 ~x3555 ~x796 ~x2487 ~x2712
72.18/72.42 v ~x4402 ~x1643 ~x3556 ~x797 ~x2488 ~x2713 ~x4403 ~x1644 ~x3557 ~x798
72.18/72.42 v ~x2489 ~x2714 ~x4404 ~x1645 ~x3558 ~x799 ~x2490 ~x2715 ~x4405 ~x1646
72.18/72.42 v ~x3559 ~x800 ~x2491 ~x2716 ~x4406 ~x1647 ~x3560 ~x801 ~x2492 ~x2717
72.18/72.42 v ~x4407 ~x1648 ~x3561 ~x802 ~x2493 ~x2718 ~x4408 ~x1649 ~x3562 ~x803
72.18/72.42 v ~x2494 ~x2719 ~x4409 ~x1650 ~x3563 ~x804 ~x2495 ~x2720 ~x4410 ~x1651
72.18/72.42 v ~x3564 ~x805 ~x2496 ~x2721 ~x4411 x1652 ~x3565 ~x806 ~x2497 ~x2722
72.18/72.42 v ~x4412 ~x1653 ~x3566 ~x807 ~x2498 ~x2723 ~x4413 ~x1654 ~x3567 ~x808
72.18/72.42 v ~x2499 ~x2724 ~x4414 ~x1655 ~x3568 ~x809 ~x2500 ~x2725 ~x4415 ~x1656
72.18/72.42 v x3569 ~x810 ~x2726 ~x4416 ~x1657 ~x3570 ~x811 ~x2727 ~x4417 ~x1658
72.18/72.42 v ~x3571 ~x812 ~x2728 ~x4418 ~x1659 ~x3572 ~x813 ~x2729 ~x4419 ~x1660
72.18/72.42 v ~x3573 ~x814 ~x2730 ~x4420 ~x1661 ~x3574 ~x815 ~x2731 ~x4421 ~x1662
72.18/72.42 v ~x3575 ~x816 ~x2732 ~x4422 ~x1663 ~x3576 ~x817 ~x2733 ~x4423 ~x1664
72.18/72.42 v ~x3577 ~x818 ~x2734 ~x4424 ~x1665 x3578 ~x819 ~x2735 ~x4425 ~x1666
72.18/72.42 v ~x3579 ~x820 ~x2736 x4426 ~x1667 ~x3580 ~x821 x2737 ~x4427 ~x1668
72.18/72.42 v ~x3581 ~x822 ~x2738 ~x4428 ~x1669 ~x3582 ~x823 ~x2739 ~x4429 ~x1670
72.18/72.42 v ~x3583 ~x824 ~x2740 ~x4430 ~x1671 ~x3584 ~x825 ~x2741 ~x4431 ~x1672
72.18/72.42 v ~x3585 ~x826 ~x2742 ~x4432 ~x1673 ~x3586 ~x827 ~x2743 ~x4433 ~x1674
72.18/72.42 v ~x3587 ~x828 ~x2744 ~x4434 ~x1675 ~x3588 ~x829 ~x2745 x4435 ~x1676
72.18/72.42 v ~x3589 ~x830 ~x2746 ~x4436 ~x1677 ~x3590 ~x831 x2747 ~x4437 ~x1678
72.18/72.42 v ~x3591 ~x832 ~x2748 ~x4438 ~x1679 ~x3592 ~x833 ~x2749 ~x4439 ~x1680
72.18/72.42 v ~x3593 ~x834 ~x2750 ~x4440 ~x1681 ~x3594 x835 ~x2751 ~x4441 ~x1682
72.18/72.42 v ~x3595 ~x836 ~x2752 ~x4442 ~x1683 ~x3596 ~x837 x2753 ~x4443 ~x1684
72.18/72.42 v ~x3597 ~x838 ~x2754 ~x4444 ~x1685 ~x3598 ~x839 ~x2755 ~x4445 ~x1686
72.18/72.42 v ~x3599 ~x840 ~x2756 ~x4446 ~x1687 ~x3600 ~x841 ~x2757 ~x4447 ~x1688
72.18/72.42 v ~x3601 ~x842 ~x2758 ~x4448 ~x1689 ~x3602 ~x843 ~x2759 ~x4449 ~x1690
72.18/72.42 v ~x3603 ~x844 ~x2760 ~x4450 ~x1691 ~x3604 ~x845 ~x2761 ~x4451 ~x1692
72.18/72.42 v ~x3605 ~x846 ~x2762 ~x4452 ~x1693 ~x3606 ~x847 ~x2763 ~x4453 ~x1694
72.18/72.42 v ~x3607 ~x848 ~x2764 ~x4454 ~x1695 ~x3608 ~x849 x2765 ~x4455 ~x1696
72.18/72.42 v ~x3609 ~x850 ~x2766 ~x4456 ~x1697 ~x3610 ~x851 ~x2767 ~x4457 ~x1698
72.18/72.42 v ~x3611 ~x852 ~x2768 ~x4458 ~x1699 ~x3612 ~x853 ~x2769 ~x4459 ~x1700
72.18/72.42 v ~x3613 ~x854 ~x2770 ~x4460 ~x1701 ~x3614 ~x855 ~x2771 x4461 ~x1702
72.18/72.42 v ~x3615 ~x856 ~x2772 ~x4462 ~x1703 ~x3616 ~x857 ~x2773 ~x4463 ~x1704
72.18/72.42 v ~x3617 ~x858 ~x2774 ~x4464 ~x1705 ~x3618 ~x859 ~x2775 ~x4465 ~x1706
72.18/72.42 v ~x3619 ~x860 ~x2776 ~x4466 ~x1707 ~x3620 ~x861 ~x2777 ~x4467 ~x1708
72.18/72.42 v x3621 ~x862 ~x2778 ~x4468 ~x1709 ~x3622 ~x863 ~x2779 ~x4469 x1710
72.18/72.42 v ~x3623 ~x864 ~x2780 ~x4470 ~x1711 ~x3624 ~x865 ~x2781 ~x4471 ~x1712
72.18/72.42 v ~x3625 ~x866 ~x2782 ~x4472 ~x1713 ~x3626 ~x867 ~x2783 ~x4473 ~x1714
72.18/72.42 v ~x3627 ~x868 ~x2784 ~x4474 ~x1715 ~x3628 ~x869 ~x2785 ~x4475 ~x1716
72.18/72.42 v ~x3629 ~x870 ~x2786 ~x4476 ~x1717 ~x3630 ~x871 ~x2787 ~x4477 ~x1718
72.18/72.42 v ~x3631 ~x872 ~x2788 ~x4478 ~x1719 ~x3632 ~x873 ~x2789 ~x4479 ~x1720
72.18/72.42 v ~x3633 ~x874 ~x2790 ~x4480 ~x1721 ~x3634 ~x875 ~x2791 ~x4481 ~x1722
72.18/72.42 v ~x3635 ~x876 ~x2792 ~x4482 ~x1723 ~x3636 ~x877 ~x2793 ~x4483 ~x1724
72.18/72.42 v ~x3637 ~x878 ~x2794 ~x4484 ~x1725 ~x3638 ~x879 ~x2795 ~x4485 ~x1726
72.18/72.42 v ~x3639 ~x880 ~x2796 ~x4486 ~x1727 ~x3640 ~x881 ~x2797 ~x4487 ~x1728
72.18/72.42 v ~x3641 ~x882 x2798 ~x4488 ~x1729 ~x3642 ~x883 ~x2799 ~x4489 ~x1730
72.18/72.42 v ~x3643 ~x884 ~x2800 ~x4490 ~x1731 ~x3644 ~x885 ~x2801 ~x4491 ~x1732
72.18/72.42 v ~x3645 ~x886 ~x2802 ~x4492 ~x1733 ~x3646 ~x887 ~x2803 ~x4493 ~x1734
72.18/72.42 v ~x3647 ~x888 ~x2804 ~x4494 ~x1735 ~x3648 ~x889 ~x2805 ~x4495 ~x1736
72.18/72.42 v ~x3649 ~x890 ~x2806 ~x4496 ~x1737 ~x3650 ~x891 ~x2807 ~x4497 ~x1738
72.18/72.42 v ~x3651 ~x892 ~x2808 ~x4498 ~x1739 ~x3652 ~x893 ~x2809 ~x4499 ~x1740
72.18/72.42 v ~x3653 ~x894 ~x2810 ~x4500 ~x1741 ~x3654 ~x895 ~x2811 ~x51 ~x1742
72.18/72.42 v ~x3655 ~x896 ~x2812 ~x52 ~x1743 ~x3656 ~x897 ~x2813 ~x53 ~x1744
72.18/72.42 v ~x3657 x898 ~x2814 ~x54 ~x1745 ~x3658 ~x899 ~x2815 ~x55 ~x1746
72.18/72.42 v ~x3659 ~x900 ~x2816 ~x56 ~x1747 ~x3660 ~x901 ~x2817 ~x57 ~x1748
72.18/72.42 v ~x3661 ~x902 ~x2818 ~x58 ~x1749 ~x3662 ~x903 ~x2819 ~x59 ~x1750
72.18/72.42 v ~x3663 ~x904 ~x2820 ~x60 ~x1751 ~x3664 ~x905 ~x2821 ~x61 ~x1752
72.18/72.42 v ~x3665 ~x906 ~x2822 ~x62 ~x1753 ~x3666 ~x907 ~x2823 ~x63 ~x1754
72.18/72.42 v ~x3667 ~x908 ~x2824 ~x64 ~x1755 ~x3668 ~x909 ~x2825 ~x65 ~x1756
72.18/72.42 v ~x3669 ~x910 ~x2826 ~x66 ~x1757 ~x3670 ~x911 ~x2827 ~x67 ~x1758
72.18/72.42 v ~x3671 ~x912 ~x2828 ~x68 ~x1759 ~x3672 ~x913 ~x2829 ~x69 ~x1760
72.18/72.42 v ~x3673 ~x914 ~x2830 ~x70 ~x1761 ~x3674 ~x915 ~x2831 x71 ~x1762
72.18/72.42 v ~x3675 ~x916 ~x2832 ~x72 ~x1763 ~x3676 ~x917 ~x2833 ~x73 ~x1764
72.18/72.42 v ~x3677 ~x918 ~x2834 ~x74 ~x1765 ~x3678 ~x919 ~x2835 ~x75 ~x1766
72.18/72.42 v ~x3679 ~x920 ~x2836 ~x76 ~x1767 ~x3680 ~x921 ~x2837 ~x77 ~x1768
72.18/72.42 v ~x3681 ~x922 ~x2838 ~x78 ~x1769 ~x3682 ~x923 ~x2839 ~x79 ~x1770
72.18/72.42 v ~x3683 x924 ~x2840 ~x80 ~x1771 ~x3684 ~x925 ~x2841 ~x81 ~x1772
72.18/72.42 v ~x3685 ~x926 ~x2842 ~x82 ~x1773 ~x3686 ~x927 ~x2843 ~x83 ~x1774
72.18/72.42 v ~x3687 ~x928 ~x2844 ~x84 ~x1775 ~x3688 ~x929 ~x2845 ~x85 ~x1776
72.18/72.42 v ~x3689 ~x930 ~x2846 ~x86 ~x1777 ~x3690 ~x931 ~x2847 ~x87 ~x1778
72.18/72.42 v ~x3691 ~x932 ~x2848 ~x88 ~x1779 ~x3692 ~x933 ~x2849 ~x89 ~x1780
72.18/72.42 v ~x3693 ~x934 ~x2850 ~x90 ~x1781 ~x3694 ~x935 ~x2851 ~x91 ~x1782
72.18/72.42 v ~x3695 ~x936 ~x2852 ~x92 ~x1783 ~x3696 ~x937 ~x2853 ~x93 ~x1784
72.18/72.42 v ~x3697 ~x938 ~x2854 ~x94 ~x1785 ~x3698 ~x939 ~x2855 ~x95 ~x1786
72.18/72.42 v ~x3699 ~x940 ~x2856 ~x96 ~x1787 ~x3700 ~x941 ~x2857 ~x97 ~x1788
72.18/72.42 v ~x3701 ~x942 ~x2858 ~x98 ~x1789 ~x3702 ~x943 ~x2859 ~x99 ~x1790
72.18/72.42 v ~x3703 ~x944 ~x2860 ~x100 ~x1791 ~x3704 ~x945 ~x2861 ~x101 ~x1792
72.18/72.42 v ~x3705 ~x946 ~x2862 ~x102 ~x1793 ~x3706 ~x947 ~x2863 ~x103 ~x1794
72.18/72.42 v ~x3707 ~x948 ~x2864 ~x104 x1795 ~x3708 ~x949 ~x2865 ~x105 ~x1796
72.18/72.42 v ~x3709 ~x950 ~x2866 ~x106 ~x1797 ~x3710 ~x951 ~x2867 ~x107 ~x1798
72.18/72.42 v ~x3711 ~x952 ~x2868 ~x108 ~x1799 ~x3712 ~x953 ~x2869 ~x109 ~x1800
72.18/72.42 v ~x3713 ~x954 ~x2870 ~x110 ~x1801 ~x3714 ~x955 ~x2871 ~x111 ~x1802
72.18/72.42 v ~x3715 ~x956 ~x2872 ~x112 ~x1803 ~x3716 ~x957 ~x2873 ~x113 ~x1804
72.18/72.42 v ~x3717 ~x958 ~x2874 ~x1805 ~x3718 ~x959 ~x2875 ~x1806 ~x3719 ~x960
72.18/72.42 v x114 ~x2876 ~x1807 ~x3720 x961 ~x115 ~x2877 ~x1808 ~x3721 ~x962
72.18/72.42 v ~x116 ~x2878 ~x1809 ~x3722 ~x963 ~x117 ~x2879 ~x1810 ~x3723 ~x964
72.18/72.42 v ~x118 ~x2880 ~x1811 ~x3724 ~x965 ~x119 ~x2881 ~x1812 ~x3725 ~x966
72.18/72.42 v ~x120 x2882 ~x1813 ~x3726 ~x967 ~x121 ~x2883 ~x1814 ~x3727 ~x968
72.18/72.42 v ~x122 ~x2884 ~x1815 ~x3728 ~x969 ~x123 ~x2885 ~x1816 ~x3729 ~x970
72.18/72.42 v ~x124 ~x2886 ~x1817 ~x3730 ~x971 ~x125 ~x2887 ~x1818 x3731 ~x972
72.18/72.42 v ~x126 ~x2888 ~x1819 ~x3732 ~x973 ~x127 ~x2889 ~x1820 ~x3733 ~x974
72.18/72.42 v ~x128 ~x2890 ~x1821 ~x3734 ~x975 ~x129 ~x2891 ~x1822 ~x3735 ~x976
72.18/72.42 v ~x130 ~x2892 ~x1823 ~x3736 ~x977 ~x131 ~x2893 ~x1824 ~x3737 ~x978
72.18/72.42 v ~x132 ~x2894 ~x1825 ~x3738 ~x979 ~x133 ~x2895 ~x1826 ~x3739 ~x980
72.18/72.42 v ~x134 ~x2896 ~x1827 ~x3740 ~x981 ~x135 x2897 ~x1828 ~x3741 ~x982
72.18/72.42 v ~x136 ~x2898 ~x1829 ~x3742 ~x983 ~x137 ~x2899 ~x1830 ~x3743 ~x984
72.18/72.42 v ~x138 ~x2900 ~x1831 ~x3744 ~x985 ~x139 ~x2901 ~x1832 ~x3745 ~x986
72.18/72.42 v ~x140 ~x2902 ~x1833 ~x3746 ~x987 ~x141 ~x2903 ~x1834 ~x3747 ~x988
72.18/72.42 v ~x142 ~x2904 ~x1835 ~x3748 ~x989 ~x143 ~x2905 ~x1836 ~x3749 ~x990
72.18/72.42 v ~x144 ~x2906 ~x1837 ~x3750 ~x991 ~x145 x2907 ~x1838 ~x3751 ~x992
72.18/72.42 v ~x146 ~x2908 ~x1839 ~x3752 ~x993 ~x147 ~x2909 x1840 ~x3753 ~x994
72.18/72.42 v ~x148 ~x2910 ~x1841 ~x3754 ~x995 ~x149 ~x2911 ~x1842 ~x3755 ~x996
72.18/72.42 v ~x150 x2912 ~x1843 ~x3756 ~x997 ~x151 ~x2913 ~x1844 ~x3757 ~x998
72.18/72.42 v ~x152 x2914 ~x1845 ~x3758 ~x999 ~x153 ~x2915 ~x1846 ~x3759 ~x1000
72.18/72.42 v ~x154 ~x2916 ~x1847 ~x3760 ~x1001 ~x155 ~x2917 ~x1848 ~x3761 ~x1002
72.18/72.42 v ~x156 ~x2918 ~x1849 ~x3762 ~x1003 ~x157 ~x2919 ~x1850 ~x3763 ~x1004
72.18/72.42 v ~x158 ~x2920 ~x1851 ~x3764 ~x1005 ~x159 ~x2921 ~x1852 ~x3765 ~x1006
72.18/72.42 v ~x160 ~x2922 ~x1853 ~x3766 ~x1007 ~x161 ~x2923 ~x1854 ~x3767 x1008
72.18/72.42 v ~x162 ~x2924 ~x1855 ~x3768 ~x1009 ~x163 ~x2925 ~x1856 ~x3769 ~x1010
72.18/72.42 v ~x164 ~x2926 ~x1857 ~x3770 ~x1011 ~x165 ~x2927 ~x1858 ~x3771 ~x1012
72.18/72.42 v ~x166 ~x2928 ~x1859 ~x3772 ~x1013 ~x167 ~x2929 ~x1860 ~x3773 ~x1014
72.18/72.42 v ~x168 ~x2930 ~x1861 ~x3774 ~x1015 ~x169 ~x2931 x1862 ~x3775 ~x1016
72.18/72.42 v ~x170 ~x2932 ~x1863 ~x3776 ~x1017 ~x171 ~x2933 ~x1864 ~x3777 ~x1018
72.18/72.42 v x172 ~x2934 ~x1865 ~x3778 ~x1019 ~x173 ~x2935 ~x1866 ~x3779 ~x1020
72.18/72.42 v ~x174 ~x2936 ~x1867 ~x3780 ~x1021 ~x175 ~x2937 ~x1868 ~x3781 ~x1022
72.18/72.42 v ~x176 ~x2938 ~x1869 ~x3782 ~x1023 ~x177 ~x2939 ~x1870 ~x3783 ~x1024
72.18/72.42 v ~x178 ~x2940 ~x1871 ~x3784 ~x1025 ~x179 ~x2941 ~x1872 ~x3785 ~x1026
72.18/72.42 v ~x180 ~x2942 ~x1873 ~x3786 ~x1027 ~x181 ~x2943 ~x1874 ~x3787 ~x1028
72.18/72.42 v ~x182 ~x2944 ~x1875 ~x3788 ~x1029 ~x183 ~x2945 ~x1876 ~x3789 ~x1030
72.18/72.42 v ~x184 ~x2946 ~x1877 ~x3790 ~x1031 ~x185 ~x2947 ~x1878 ~x3791 ~x1032
72.18/72.42 v ~x186 ~x2948 ~x1879 ~x3792 ~x1033 ~x187 ~x2949 ~x1880 x3793 ~x1034
72.18/72.42 v ~x188 ~x2950 ~x1881 ~x3794 ~x1035 ~x189 x2951 ~x1882 ~x3795 ~x1036
72.18/72.42 v ~x190 ~x2952 ~x1883 ~x3796 ~x1037 ~x191 ~x2953 ~x1884 ~x3797 ~x1038
72.18/72.42 v ~x192 ~x2954 ~x1885 ~x3798 ~x1039 ~x193 ~x2955 ~x1886 x3799 ~x1040
72.18/72.42 v ~x194 ~x2956 ~x1887 ~x3800 ~x1041 ~x195 ~x2957 ~x1888 ~x3801 ~x1042
72.18/72.42 v ~x196 ~x2958 ~x1889 ~x3802 ~x1043 ~x197 ~x2959 ~x1890 ~x3803 ~x1044
72.18/72.42 v ~x198 ~x2960 ~x1891 ~x3804 ~x1045 ~x199 ~x2961 ~x1892 ~x3805 ~x1046
72.18/72.42 v ~x200 ~x2962 ~x1893 ~x3806 ~x1047 ~x201 ~x2963 ~x1894 ~x3807 ~x1048
72.18/72.42 v ~x202 ~x2964 ~x1895 ~x3808 ~x1049 ~x203 ~x2965 ~x1896 ~x3809 ~x1050
72.18/72.42 v ~x204 ~x2966 ~x1897 ~x3810 ~x1051 ~x205 ~x2967 ~x1898 ~x3811 ~x1052
72.18/72.42 v ~x206 ~x2968 ~x1899 ~x3812 ~x1053 ~x207 ~x2969 ~x1900 ~x3813 ~x1054
72.18/72.42 v ~x208 ~x2970 ~x1901 ~x3814 ~x1055 ~x209 ~x2971 ~x1902 ~x3815 ~x1056
72.18/72.42 v ~x210 ~x2972 ~x1903 ~x3816 ~x1057 ~x211 ~x2973 ~x1904 ~x3817 ~x1058
72.18/72.42 v ~x212 ~x1905 ~x3818 ~x1059 ~x213 ~x2974 ~x1906 ~x3819 ~x1060 ~x214
72.18/72.42 v ~x2975 ~x1907 x3820 ~x1061 ~x215 ~x2976 ~x1908 ~x3821 ~x1062 ~x216
72.18/72.42 v ~x2977 ~x1909 ~x3822 ~x1063 ~x217 ~x2978 ~x1910 ~x3823 ~x1064 ~x218
72.18/72.42 v ~x2979 ~x1911 ~x3824 ~x1065 ~x219 ~x2980 ~x1912 ~x3825 ~x1066 ~x220
72.18/72.42 v ~x2981 ~x1913 ~x3826 ~x1067 ~x221 ~x2982 ~x1914 ~x3827 ~x1068 ~x222
72.18/72.42 v ~x2983 ~x1915 ~x3828 ~x1069 ~x223 ~x2984 ~x1916 ~x3829 ~x1070 ~x224
72.18/72.42 v ~x2985 ~x1917 ~x3830 ~x1071 ~x225 ~x2986 ~x1918 ~x3831 ~x1072 ~x226
72.18/72.42 v ~x2987 ~x1919 x3832 ~x1073 ~x227 ~x2988 ~x1920 x3833 ~x1074 ~x228
72.18/72.42 v ~x2989 ~x1921 ~x3834 ~x1075 ~x229 ~x2990 ~x1922 ~x3835 ~x1076 ~x230
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (63020 MiB free)
memory of node 1: 64507 MiB (61743 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494233-1751153564/watcher-4494233-1751153564 -o /tmp/evaluation-result-4494233-1751153564/solver-4494233-1751153564 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751146126-15228 --watchdog 3760 pb_picat HOME/instance-4494233-1751153564.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17367, runsolver pid=17364
[startup+0.100059 s]*
/proc/loadavg: 4.16 4.12 4.09 5/263 17368
/proc/meminfo: memFree=127704924/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=2027148 memory=36476 CPUtime=0.08 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 1111 0 0 0 8 0 0 0 20 0 1 0 31036716 2075799552 9119 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 506787 9119 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36476 KiB
[startup+0.204597 s]*
/proc/loadavg: 4.16 4.12 4.09 5/263 17368
/proc/meminfo: memFree=127668060/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=2027148 memory=54912 CPUtime=0.19 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 1121 0 0 0 18 1 0 0 20 0 1 0 31036716 2075799552 13728 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 506787 13728 1536 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 54912 KiB
[startup+0.304453 s]*
/proc/loadavg: 4.16 4.12 4.09 5/263 17368
/proc/meminfo: memFree=127631196/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=2027148 memory=73344 CPUtime=0.29 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 1130 0 0 0 28 1 0 0 20 0 1 0 31036716 2075799552 18336 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 506787 18336 1536 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 73344 KiB
[startup+0.700121 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 17368
/proc/meminfo: memFree=127557468/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=2027148 memory=147076 CPUtime=0.68 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 1167 0 0 0 66 2 0 0 20 0 1 0 31036716 2075799552 36769 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 506787 36769 1536 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 147076 KiB
[startup+1.50013 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 17368
/proc/meminfo: memFree=127377936/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=2027148 memory=298632 CPUtime=1.48 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 1242 0 0 0 143 5 0 0 20 0 1 0 31036716 2075799552 74658 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 506787 74658 1536 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 298632 KiB
[startup+3.10456 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 17368
/proc/meminfo: memFree=126574044/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=2027148 memory=601740 CPUtime=3.08 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 1424 0 0 0 296 12 0 0 20 0 1 0 31036716 2075799552 150435 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 506787 150435 1536 343 0 503851 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 601740 KiB
[startup+6.30015 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 17399
/proc/meminfo: memFree=125070828/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=2027148 memory=1195668 CPUtime=6.26 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 1729 0 0 0 602 24 0 0 20 0 1 0 31036716 2075799552 298917 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 506787 298917 1536 343 0 503851 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 1195668 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 17399
/proc/meminfo: memFree=122910688/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=2027148 memory=1912476 CPUtime=12.65 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 2280 0 0 0 1228 37 0 0 20 0 1 0 31036716 2075799552 478119 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 506787 478119 1536 343 0 503851 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 1912476 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.10 4.08 5/264 17444
/proc/meminfo: memFree=119428224/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=8224004 memory=4568724 CPUtime=25.42 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 7206 0 0 0 2444 98 0 0 20 0 1 0 31036716 8421380096 1142181 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 2056001 1142181 1568 343 0 2053065 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 8224004 KiB
Current children cumulated memory: 4568724 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 17489
/proc/meminfo: memFree=117008128/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=7527280 memory=4361460 CPUtime=50.95 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 45663 0 0 0 4854 241 0 0 20 0 1 0 31036716 7707934720 1090365 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 1881820 1090365 1696 343 0 1878884 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 7527280 KiB
Current children cumulated memory: 4361460 KiB
[startup+72.4444 s]
# the end of solver process 17367 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=69.6199 s, system=2.61912 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 17489
/proc/meminfo: memFree=117008128/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=7527280 memory=4361460 CPUtime=51.05 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 45663 0 0 0 4864 241 0 0 20 0 1 0 31036716 7707934720 1090365 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 1881820 1090365 1696 343 0 1878884 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 7527280 KiB
Current children cumulated memory: 4361460 KiB
[startup+64.0001 s]*
/proc/loadavg: 4.07 4.10 4.09 5/264 17490
/proc/meminfo: memFree=115953784/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=7547896 memory=4474236 CPUtime=63.81 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 60952 0 0 0 6127 254 0 0 20 0 1 0 31036716 7729045504 1118559 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 1886974 1118559 1696 343 0 1884038 0
Current children cumulated CPU time: 63.81 s
Current children cumulated vsize: 7547896 KiB
Current children cumulated memory: 4474236 KiB
[startup+67.2001 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 17490
/proc/meminfo: memFree=115845976/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=7551016 memory=4342188 CPUtime=67 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 63182 0 0 0 6441 259 0 0 20 0 1 0 31036716 7732240384 1085547 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 1887754 1085547 1696 343 0 1884818 0
Current children cumulated CPU time: 67 s
Current children cumulated vsize: 7551016 KiB
Current children cumulated memory: 4342188 KiB
[startup+70.4001 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 17490
/proc/meminfo: memFree=115426888/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=7551016 memory=4364716 CPUtime=70.19 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 63193 0 0 0 6760 259 0 0 20 0 1 0 31036716 7732240384 1091179 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 1887754 1091179 1696 343 0 1884818 0
Current children cumulated CPU time: 70.19 s
Current children cumulated vsize: 7551016 KiB
Current children cumulated memory: 4364716 KiB
[startup+71.2001 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 17490
/proc/meminfo: memFree=115411200/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=7551016 memory=4366764 CPUtime=70.98 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 63194 0 0 0 6839 259 0 0 20 0 1 0 31036716 7732240384 1091691 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 1887754 1091691 1696 343 0 1884818 0
Current children cumulated CPU time: 70.98 s
Current children cumulated vsize: 7551016 KiB
Current children cumulated memory: 4366764 KiB
[startup+72.0001 s]*
/proc/loadavg: 4.06 4.10 4.09 5/264 17490
/proc/meminfo: memFree=115411200/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=7551016 memory=4366764 CPUtime=71.79 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 63194 0 0 0 6920 259 0 0 20 0 1 0 31036716 7732240384 1091691 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 1887754 1091691 1696 343 0 1884818 0
Current children cumulated CPU time: 71.79 s
Current children cumulated vsize: 7551016 KiB
Current children cumulated memory: 4366764 KiB
[startup+72.4001 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 17490
/proc/meminfo: memFree=115411200/131250000 swapFree=33010684/33010684
[pid=17367] ppid=17364 vsize=7551016 memory=4366764 CPUtime=72.18 cores=0,2
/proc/17367/stat : 17367 (pb_picat) R 17364 17367 15215 0 -1 4194304 63194 0 0 0 6959 259 0 0 20 0 1 0 31036716 7732240384 1091691 18446744073709551615 94825614143488 94825615545069 140731166730400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94825615816496 94825617690800 94825643036672 140731166734750 140731166734826 140731166734826 140731166740428 0
/proc/17367/statm: 1887754 1091691 1696 343 0 1884818 0
Current children cumulated CPU time: 72.18 s
Current children cumulated vsize: 7551016 KiB
Current children cumulated memory: 4366764 KiB
Child status: 0
Real time (s): 72.4444
CPU time (s): 72.2391
CPU user time (s): 69.6199
CPU system time (s): 2.61912
CPU usage (%): 99.7165
Max. virtual memory (cumulated for all children) (KiB): 8224004
Max. memory (cumulated for all children) (KiB): 4592332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.6199
system time used= 2.61912
maximum resident set size= 4592332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63199
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 94
# summary of solver processes directly reported to runsolver:
# pid: 17367
# total CPU time (s): 72.2391
# total CPU user time (s): 69.6199
# total CPU system time (s): 2.61912
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.148939 second user time and 0.314014 second system time
The end
Begin job on nodeC013 at 2025-06-29 01:32:45
IDJOB=4494233
IDBENCH=147885
IDSOLVER=3346
FILE ID=nodeC013/4494233-1751153564
RUNJOBID= nodeC013-1751146126-15228
SLURM_JOB_ID= 9587455
Free space on /tmp= 432840 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494233-1751153564/watcher-4494233-1751153564 -o /tmp/evaluation-result-4494233-1751153564/solver-4494233-1751153564 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751146126-15228 --watchdog 3760 pb_picat HOME/instance-4494233-1751153564.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3386577d1309ab251b8359303cc2b582
RANDOM SEED=624675309
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.813
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.829
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.038
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.198
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.651
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.764
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.784
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127767804 kB
MemAvailable: 127513928 kB
Buffers: 3280 kB
Cached: 552404 kB
SwapCached: 0 kB
Active: 2542968 kB
Inactive: 358712 kB
Active(anon): 2359280 kB
Inactive(anon): 0 kB
Active(file): 183688 kB
Inactive(file): 358712 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 222788 kB
Writeback: 0 kB
AnonPages: 2349072 kB
Mapped: 104544 kB
Shmem: 13284 kB
KReclaimable: 85524 kB
Slab: 167768 kB
SReclaimable: 85524 kB
SUnreclaim: 82244 kB
KernelStack: 4224 kB
PageTables: 7504 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 6690360 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1449984 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432784 MiB
End job on nodeC013 at 2025-06-29 01:33:57