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