Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 73 | 1800.06 | 1800.81 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-apex7.b.opb |
MD5SUM | a226ce89d775a348c35d29e51d9044b6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 37 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 37 |
Optimality of the best value was proved | NO |
Number of variables | 1108 |
Total number of constraints | 2313 |
Number of constraints which are clauses | 2313 |
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 | 295 |
Number of terms in the objective function | 1108 |
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 | 1108 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1108 |
Number of bits of the biggest sum of numbers | 11 |
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/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459112-1178649169/instance-459112-1178649169.opb ...... 0.19/0.21 c done parsing opb. 0.19/0.21 o 1042 0.19/0.21 o 1033 0.19/0.22 o 1032 0.19/0.23 o 1031 0.19/0.23 o 1030 0.19/0.24 o 1029 0.19/0.25 o 1028 0.19/0.25 o 1027 0.19/0.26 o 1026 0.19/0.27 o 1025 0.19/0.27 o 1024 0.19/0.28 o 1023 0.19/0.29 o 1022 0.19/0.29 o 1021 0.29/0.30 o 1020 0.29/0.31 o 1019 0.29/0.31 o 1018 0.29/0.32 o 1017 0.29/0.33 o 1016 0.29/0.34 o 919 0.29/0.34 o 911 0.29/0.35 o 910 0.29/0.36 o 907 0.29/0.36 o 906 0.29/0.37 o 905 0.29/0.37 o 904 0.29/0.38 o 903 0.29/0.39 o 902 0.29/0.39 o 901 0.29/0.40 o 900 0.39/0.40 o 899 0.39/0.41 o 898 0.39/0.41 o 897 0.39/0.42 o 896 0.39/0.43 o 895 0.39/0.43 o 894 0.39/0.44 o 893 0.39/0.44 o 892 0.39/0.45 o 891 0.39/0.46 o 890 0.39/0.46 o 889 0.39/0.47 o 888 0.39/0.47 o 887 0.39/0.48 o 886 0.39/0.48 o 885 0.39/0.49 o 884 0.39/0.50 o 883 0.49/0.50 o 882 0.49/0.51 o 881 0.49/0.51 o 880 0.49/0.52 o 879 0.49/0.52 o 878 0.49/0.53 o 877 0.49/0.53 o 876 0.49/0.54 o 875 0.49/0.55 o 874 0.49/0.55 o 873 0.49/0.56 o 872 0.49/0.56 o 871 0.49/0.57 o 870 0.49/0.57 o 869 0.49/0.58 o 868 0.49/0.59 o 867 0.49/0.59 o 866 0.49/0.60 o 865 0.59/0.60 o 864 0.59/0.61 o 863 0.59/0.61 o 862 0.59/0.62 o 861 0.59/0.63 o 860 0.59/0.63 o 859 0.59/0.64 o 858 0.59/0.64 o 857 0.59/0.65 o 856 0.59/0.65 o 855 0.59/0.66 o 854 0.59/0.67 o 853 0.59/0.67 o 852 0.59/0.68 o 851 0.59/0.68 o 850 0.59/0.69 o 849 0.59/0.70 o 783 0.69/0.70 o 782 0.69/0.71 o 775 0.69/0.71 o 774 0.69/0.72 o 773 0.69/0.72 o 772 0.69/0.73 o 770 0.69/0.73 o 768 0.69/0.74 o 767 0.69/0.74 o 766 0.69/0.75 o 765 0.69/0.75 o 764 0.69/0.76 o 763 0.69/0.76 o 762 0.69/0.77 o 761 0.69/0.77 o 760 0.69/0.78 o 759 0.69/0.78 o 758 0.69/0.79 o 757 0.69/0.79 o 756 0.79/0.80 o 755 0.79/0.80 o 754 0.79/0.81 o 753 0.79/0.81 o 752 0.79/0.82 o 751 0.79/0.82 o 750 0.79/0.83 o 749 0.79/0.83 o 748 0.79/0.84 o 747 0.79/0.84 o 746 0.79/0.85 o 745 0.79/0.85 o 744 0.79/0.86 o 743 0.79/0.86 o 742 0.79/0.87 o 741 0.79/0.87 o 740 0.79/0.88 o 739 0.79/0.88 o 738 0.79/0.89 o 737 0.79/0.89 o 736 0.89/0.90 o 735 0.89/0.90 o 734 0.89/0.91 o 733 0.89/0.91 o 732 0.89/0.92 o 731 0.89/0.92 o 730 0.89/0.92 o 729 0.89/0.93 o 728 0.89/0.93 o 727 0.89/0.94 o 726 0.89/0.94 o 725 0.89/0.95 o 724 0.89/0.95 o 723 0.89/0.96 o 722 0.89/0.96 o 721 0.89/0.97 o 720 0.89/0.97 o 719 0.89/0.98 o 718 0.89/0.98 o 717 0.89/0.99 o 523 0.89/0.99 o 522 0.99/1.00 o 521 0.99/1.00 o 520 0.99/1.00 o 519 0.99/1.01 o 518 0.99/1.01 o 517 0.99/1.01 o 514 0.99/1.02 o 513 0.99/1.02 o 512 0.99/1.03 o 511 0.99/1.03 o 510 0.99/1.04 o 407 0.99/1.04 o 397 0.99/1.04 o 396 0.99/1.05 o 395 0.99/1.05 o 394 0.99/1.05 o 393 0.99/1.05 o 392 0.99/1.06 o 391 0.99/1.06 o 390 0.99/1.06 o 389 0.99/1.07 o 388 0.99/1.07 o 387 0.99/1.07 o 386 0.99/1.08 o 385 0.99/1.08 o 384 0.99/1.08 o 383 0.99/1.08 o 382 0.99/1.09 o 381 0.99/1.09 o 380 0.99/1.09 o 379 0.99/1.10 o 378 0.99/1.10 o 377 1.09/1.10 o 376 1.09/1.10 o 375 1.09/1.11 o 374 1.09/1.11 o 373 1.09/1.11 o 372 1.09/1.12 o 371 1.09/1.12 o 370 1.09/1.12 o 369 1.09/1.12 o 368 1.09/1.13 o 367 1.09/1.13 o 366 1.09/1.13 o 365 1.09/1.14 o 364 1.09/1.14 o 363 1.09/1.14 o 362 1.09/1.16 o 361 1.09/1.16 o 214 1.09/1.16 o 213 1.09/1.17 o 212 1.09/1.17 o 211 1.09/1.17 o 207 1.09/1.17 o 206 1.09/1.18 o 205 1.09/1.18 o 204 1.09/1.18 o 203 1.09/1.19 o 202 1.09/1.19 o 201 1.09/1.19 o 200 1.09/1.19 o 199 1.09/1.20 o 198 1.19/1.20 o 197 1.19/1.21 o 159 1.19/1.21 o 158 1.19/1.22 o 157 1.19/1.22 o 140 1.19/1.22 o 139 1.19/1.23 o 138 1.19/1.23 o 137 1.19/1.23 o 136 1.19/1.23 o 135 1.19/1.23 o 134 1.19/1.24 o 133 1.19/1.24 o 132 1.19/1.25 o 131 1.19/1.25 o 88 1.19/1.25 o 85 1.19/1.25 o 80 1.19/1.26 o 79 1.19/1.26 o 78 1.19/1.26 o 77 1.19/1.26 o 76 1.19/1.26 o 75 1.19/1.27 o 74 1.19/1.27 o 73 1800.04/1800.80 s SATISFIABLE 1800.04/1800.80 v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 x1009 -x101 -x1010 x1011 -x1012 -x1013 -x1014 1800.04/1800.80 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x103 -x1030 1800.04/1800.80 v -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.04/1800.80 v x1048 -x1049 -x105 -x1050 -x1051 x1052 -x1053 x1054 x1055 -x1056 -x1057 -x1058 x1059 -x106 -x1060 -x1061 -x1062 -x1063 1800.04/1800.80 v -x1064 -x1065 -x1066 -x1067 x1068 -x1069 -x107 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108 1800.04/1800.80 v -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 1800.04/1800.80 v -x1097 -x1098 -x1099 -x11 -x110 x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 x1107 x1108 -x111 -x112 -x113 -x114 -x115 1800.04/1800.80 v -x116 -x117 -x118 -x119 -x12 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x13 -x130 -x131 -x132 -x133 -x134 1800.04/1800.80 v -x135 -x136 -x137 -x138 -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153 1800.04/1800.80 v -x154 -x155 -x156 -x157 -x158 -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 1800.04/1800.80 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 1800.04/1800.80 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 1800.04/1800.80 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x22 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 1800.04/1800.80 v -x23 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 1800.04/1800.80 v -x249 -x25 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 1800.04/1800.80 v -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 1800.04/1800.80 v -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 1800.04/1800.80 v -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x32 -x320 -x321 -x322 -x323 1800.04/1800.80 v -x324 -x325 -x326 -x327 -x328 -x329 -x33 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 1800.04/1800.80 v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 1800.04/1800.80 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 1800.04/1800.80 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 1800.04/1800.80 v -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 1800.04/1800.80 v -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 1800.04/1800.80 v -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 x453 -x454 -x455 -x456 1800.04/1800.80 v -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x47 -x470 -x471 -x472 -x473 -x474 -x475 1800.04/1800.80 v -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 1800.04/1800.80 v -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 1800.04/1800.80 v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 x524 x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 1800.04/1800.80 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 1800.04/1800.80 v -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 1800.04/1800.80 v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1800.04/1800.80 v -x59 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 1800.04/1800.80 v -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 1800.04/1800.80 v -x628 -x629 -x63 x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 1800.04/1800.80 v -x647 x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 x662 -x663 -x664 -x665 1800.04/1800.80 v -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 1800.04/1800.80 v -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 x702 -x703 1800.04/1800.80 v -x704 x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 x722 -x723 1800.04/1800.80 v -x724 -x725 -x726 x727 x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 1800.04/1800.80 v -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x76 -x760 -x761 1800.04/1800.80 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 x778 -x779 -x78 -x780 -x781 1800.04/1800.80 v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 1800.04/1800.80 v x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x81 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1800.04/1800.80 v -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 1800.04/1800.80 v -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 x852 -x853 -x854 x855 -x856 -x857 1800.04/1800.80 v -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 1800.04/1800.80 v -x877 -x878 -x879 -x88 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 x893 -x894 -x895 1800.04/1800.80 v -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 x910 -x911 x912 -x913 x914 1800.04/1800.80 v -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 x931 -x932 -x933 1800.04/1800.80 v -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 x951 -x952 1800.04/1800.80 v -x953 -x954 -x955 -x956 x957 x958 -x959 -x96 -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 -x968 x969 -x97 -x970 -x971 -x972 1800.04/1800.80 v -x973 -x974 -x975 -x976 x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 1800.04/1800.80 v x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 73
/tmp/evaluation/459112-1178649169/instance-459112-1178649169.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-459112-1178649169 -o ROOT/results/node38/solver-459112-1178649169 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459112-1178649169/instance-459112-1178649169.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.97 3/77 32176 /proc/meminfo: memFree=1532304/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=1456 CPUtime=0 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 174 0 0 0 0 0 0 0 18 0 1 0 297083533 1490944 156 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135023068 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 364 156 84 219 0 141 0 [startup+0.103876 s] /proc/loadavg: 0.92 0.97 0.97 3/77 32176 /proc/meminfo: memFree=1532304/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=1848 CPUtime=0.1 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 275 0 0 0 10 0 0 0 18 0 1 0 297083533 1892352 257 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 462 257 86 219 0 239 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1848 [startup+0.202893 s] /proc/loadavg: 0.92 0.97 0.97 3/77 32176 /proc/meminfo: memFree=1532304/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=2564 CPUtime=0.19 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 370 0 0 0 19 0 0 0 18 0 1 0 297083533 2625536 352 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 641 352 86 219 0 418 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 2564 [startup+0.301913 s] /proc/loadavg: 0.92 0.97 0.97 3/77 32176 /proc/meminfo: memFree=1532304/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=2560 CPUtime=0.29 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 387 0 0 0 29 0 0 0 19 0 1 0 297083533 2621440 369 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 640 369 101 219 0 417 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2560 [startup+0.702989 s] /proc/loadavg: 0.92 0.97 0.97 3/77 32176 /proc/meminfo: memFree=1532304/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=2560 CPUtime=0.69 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 405 0 0 0 64 5 0 0 23 0 1 0 297083533 2621440 387 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 640 387 102 219 0 417 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2560 [startup+1.50114 s] /proc/loadavg: 0.93 0.97 0.97 2/78 32177 /proc/meminfo: memFree=1531016/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=2824 CPUtime=1.48 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 547 0 0 0 135 13 0 0 25 0 1 0 297083533 2891776 529 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 706 529 102 219 0 483 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 2824 [startup+3.10145 s] /proc/loadavg: 0.93 0.97 0.97 2/78 32177 /proc/meminfo: memFree=1529928/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=3980 CPUtime=3.08 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 750 0 0 0 295 13 0 0 25 0 1 0 297083533 4075520 732 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 995 732 102 219 0 772 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 3980 [startup+6.30106 s] /proc/loadavg: 0.93 0.97 0.97 2/78 32177 /proc/meminfo: memFree=1528328/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=6224 CPUtime=6.29 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 1105 0 0 0 615 14 0 0 25 0 1 0 297083533 6373376 1087 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 1556 1087 102 219 0 1333 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6224 [startup+12.7013 s] /proc/loadavg: 0.94 0.97 0.97 2/78 32177 /proc/meminfo: memFree=1525512/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=10644 CPUtime=12.69 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 1855 0 0 0 1254 15 0 0 25 0 1 0 297083533 10899456 1788 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 2661 1788 102 219 0 2438 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10644 [startup+25.5018 s] /proc/loadavg: 0.95 0.97 0.97 2/78 32177 /proc/meminfo: memFree=1524872/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=10772 CPUtime=25.48 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 1953 0 0 0 2533 15 0 0 25 0 1 0 297083533 11030528 1886 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 2693 1886 102 219 0 2470 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10772 [startup+51.1017 s] /proc/loadavg: 0.97 0.97 0.97 2/78 32177 /proc/meminfo: memFree=1524168/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=10904 CPUtime=51.07 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 2129 0 0 0 5092 15 0 0 25 0 1 0 297083533 11165696 2062 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 2726 2062 102 219 0 2503 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 10904 [startup+102.303 s] /proc/loadavg: 0.98 0.97 0.97 2/78 32177 /proc/meminfo: memFree=1521928/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=11312 CPUtime=102.25 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 2681 0 0 0 10208 17 0 0 25 0 1 0 297083533 11583488 2614 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 2828 2614 102 219 0 2605 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 11312 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32177 /proc/meminfo: memFree=1521480/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=11960 CPUtime=162.23 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 2881 0 0 0 16205 18 0 0 25 0 1 0 297083533 12247040 2717 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 2990 2717 102 219 0 2767 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 11960 [startup+222.306 s] /proc/loadavg: 0.99 0.97 0.97 2/78 32177 /proc/meminfo: memFree=1521032/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=12376 CPUtime=222.21 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3003 0 0 0 22202 19 0 0 25 0 1 0 297083533 12673024 2839 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 3094 2839 102 219 0 2871 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 12376 [startup+282.301 s] /proc/loadavg: 1.07 0.99 0.98 2/78 32177 /proc/meminfo: memFree=1520776/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=12504 CPUtime=282.18 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3046 0 0 0 28198 20 0 0 25 0 1 0 297083533 12804096 2882 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 3126 2882 102 219 0 2903 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 12504 [startup+342.302 s] /proc/loadavg: 1.06 1.00 0.98 2/78 32177 /proc/meminfo: memFree=1520520/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=12632 CPUtime=342.16 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3115 0 0 0 34195 21 0 0 25 0 1 0 297083533 12935168 2951 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 3158 2951 102 219 0 2935 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 12632 [startup+402.301 s] /proc/loadavg: 1.08 1.02 0.99 2/78 32177 /proc/meminfo: memFree=1520072/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=13648 CPUtime=402.14 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3369 0 0 0 40192 22 0 0 25 0 1 0 297083533 13975552 3012 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 3412 3012 102 219 0 3189 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 13648 [startup+462.302 s] /proc/loadavg: 1.08 1.03 0.99 2/78 32177 /proc/meminfo: memFree=1520072/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=13816 CPUtime=462.12 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3440 0 0 0 46189 23 0 0 25 0 1 0 297083533 14147584 3083 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 3454 3083 102 219 0 3231 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 13816 [startup+522.301 s] /proc/loadavg: 1.08 1.03 1.00 2/78 32177 /proc/meminfo: memFree=1519816/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=13816 CPUtime=522.1 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3486 0 0 0 52186 24 0 0 25 0 1 0 297083533 14147584 3129 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 3454 3129 102 219 0 3231 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 13816 [startup+582.302 s] /proc/loadavg: 1.08 1.04 1.00 2/78 32177 /proc/meminfo: memFree=1519624/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=13940 CPUtime=582.07 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3539 0 0 0 58183 24 0 0 25 0 1 0 297083533 14274560 3182 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 3485 3182 102 219 0 3262 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 13940 [startup+642.301 s] /proc/loadavg: 1.07 1.04 1.00 2/78 32177 /proc/meminfo: memFree=1519240/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=14204 CPUtime=642.05 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3630 0 0 0 64179 26 0 0 25 0 1 0 297083533 14544896 3273 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 3551 3273 102 219 0 3328 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 14204 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 1.13 1.07 1.01 2/78 32177 /proc/meminfo: memFree=1518664/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=14500 CPUtime=881.97 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 3794 0 0 0 88166 31 0 0 25 0 1 0 297083533 14848000 3437 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 3625 3437 102 219 0 3402 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 14500 [startup+942.301 s] /proc/loadavg: 1.32 1.13 1.03 2/78 32177 /proc/meminfo: memFree=1518408/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=16252 CPUtime=941.94 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4216 0 0 0 94161 33 0 0 25 0 1 0 297083533 16642048 3474 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4063 3474 102 219 0 3840 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 16252 [startup+1002.3 s] /proc/loadavg: 1.23 1.14 1.03 2/78 32177 /proc/meminfo: memFree=1518280/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=16392 CPUtime=1001.92 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4260 0 0 0 100158 34 0 0 25 0 1 0 297083533 16785408 3518 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4098 3518 102 219 0 3875 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 16392 [startup+1062.3 s] /proc/loadavg: 1.15 1.12 1.03 2/78 32177 /proc/meminfo: memFree=1518152/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=16392 CPUtime=1061.89 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4308 0 0 0 106154 35 0 0 25 0 1 0 297083533 16785408 3566 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4098 3566 102 219 0 3875 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 16392 [startup+1122.3 s] /proc/loadavg: 1.11 1.11 1.03 2/78 32177 /proc/meminfo: memFree=1517896/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=16584 CPUtime=1121.87 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4362 0 0 0 112151 36 0 0 25 0 1 0 297083533 16982016 3620 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4146 3620 102 219 0 3923 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 16584 [startup+1182.3 s] /proc/loadavg: 1.04 1.09 1.02 2/78 32177 /proc/meminfo: memFree=1517704/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=16704 CPUtime=1181.85 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4401 0 0 0 118148 37 0 0 25 0 1 0 297083533 17104896 3659 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4176 3659 102 219 0 3953 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 16704 [startup+1242.3 s] /proc/loadavg: 1.01 1.07 1.02 2/78 32177 /proc/meminfo: memFree=1517512/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=16852 CPUtime=1241.83 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4463 0 0 0 124144 39 0 0 25 0 1 0 297083533 17256448 3721 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4213 3721 102 219 0 3990 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 16852 [startup+1302.3 s] /proc/loadavg: 1.08 1.09 1.02 2/78 32177 /proc/meminfo: memFree=1517256/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=16984 CPUtime=1301.8 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4511 0 0 0 130140 40 0 0 25 0 1 0 297083533 17391616 3769 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4246 3769 102 219 0 4023 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 16984 [startup+1362.3 s] /proc/loadavg: 1.03 1.07 1.02 2/78 32177 /proc/meminfo: memFree=1517000/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=17108 CPUtime=1361.79 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4577 0 0 0 136136 43 0 0 25 0 1 0 297083533 17518592 3835 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4277 3835 102 219 0 4054 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 17108 [startup+1422.3 s] /proc/loadavg: 1.01 1.05 1.01 2/78 32177 /proc/meminfo: memFree=1516808/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=17248 CPUtime=1421.76 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4617 0 0 0 142132 44 0 0 25 0 1 0 297083533 17661952 3875 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4312 3875 102 219 0 4089 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 17248 [startup+1482.3 s] /proc/loadavg: 1.00 1.04 1.01 2/78 32177 /proc/meminfo: memFree=1516680/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=17248 CPUtime=1481.74 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4641 0 0 0 148129 45 0 0 25 0 1 0 297083533 17661952 3899 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4312 3899 102 219 0 4089 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 17248 [startup+1542.31 s] /proc/loadavg: 1.00 1.03 1.00 2/78 32177 /proc/meminfo: memFree=1516552/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=17400 CPUtime=1541.72 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4686 0 0 0 154125 47 0 0 25 0 1 0 297083533 17817600 3944 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4350 3944 102 219 0 4127 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 17400 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 32177 /proc/meminfo: memFree=1516360/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=17400 CPUtime=1601.69 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4723 0 0 0 160121 48 0 0 25 0 1 0 297083533 17817600 3981 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4350 3981 102 219 0 4127 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 17400 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 32177 /proc/meminfo: memFree=1516104/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=17560 CPUtime=1661.67 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4787 0 0 0 166118 49 0 0 25 0 1 0 297083533 17981440 4045 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4390 4045 102 219 0 4167 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 17560 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/84 32315 /proc/meminfo: memFree=1514704/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=17560 CPUtime=1721.59 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4815 0 0 0 172108 51 0 0 25 0 1 0 297083533 17981440 4073 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4390 4073 102 219 0 4167 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 17560 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 32375 /proc/meminfo: memFree=1515656/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=17728 CPUtime=1781.54 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4864 0 0 0 178101 53 0 0 25 0 1 0 297083533 18153472 4122 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4432 4122 102 219 0 4209 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 17728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32375 /proc/meminfo: memFree=1515592/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=17728 CPUtime=1800.04 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4880 0 0 0 179951 53 0 0 25 0 1 0 297083533 18153472 4138 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4432 4138 102 219 0 4209 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 17728 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32375 /proc/meminfo: memFree=1515592/2055920 swapFree=4154688/4192956 [pid=32176] ppid=32174 vsize=17728 CPUtime=1800.04 /proc/32176/stat : 32176 (PBS4_SAT07v2) R 32174 32176 31148 0 -1 4194304 4880 0 0 0 179951 53 0 0 25 0 1 0 297083533 18153472 4138 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32176/statm: 4432 4138 102 219 0 4209 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 17728 Child status: 0 Real time (s): 1800.81 CPU time (s): 1800.06 CPU user time (s): 1799.51 CPU system time (s): 0.540917 CPU usage (%): 99.9578 Max. virtual memory (cumulated for all children) (KiB): 17728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.540917 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4883 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 37830 runsolver used 1.34879 second user time and 3.9764 second system time The end
Begin job on node38 on Tue May 8 18:32:49 UTC 2007 IDJOB= 459112 IDBENCH= 2883 IDSOLVER= 200 FILE ID= node38/459112-1178649169 PBS_JOBID= 5218354 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex7.b.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459112-1178649169/instance-459112-1178649169.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node38/convwatcher-459112-1178649169 -o ROOT/results/node38/conversion-459112-1178649169 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459112-1178649169/instance-459112-1178649169.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-459112-1178649169 -o ROOT/results/node38/solver-459112-1178649169 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459112-1178649169/instance-459112-1178649169.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= a226ce89d775a348c35d29e51d9044b6 RANDOM SEED= 439002924 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.263 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.263 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: 1532712 kB Buffers: 41092 kB Cached: 358056 kB SwapCached: 6880 kB Active: 203932 kB Inactive: 218560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1532712 kB SwapTotal: 4192956 kB SwapFree: 4154688 kB Dirty: 2924 kB Writeback: 0 kB Mapped: 30440 kB Slab: 85940 kB Committed_AS: 4749900 kB PageTables: 2060 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node38 on Tue May 8 19:02:52 UTC 2007