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