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