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