Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.28 | SAT (TO) | -33 | 1800.07 | 1798.23 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb |
MD5SUM | 32f273c48805c1e726044ae006778010 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -49 |
Best CPU time to get the best result obtained on this benchmark | 1800.2 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 80035 |
Number of constraints which are clauses | 80035 |
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 | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1150 |
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 | 1150 |
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 | 1150 |
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 c Running pbsmodels-v1.28 1499.13 o -32 1543.37 o -33 1798.21 sh: line 1: 25398 Done pbsmodels.trans ROOT/tmp/node3/34492-1154052133/instance-34492-1154052133.opb ROOT/tmp/node3/34492-1154052133 1798.21 25399 Terminated | smodels -seed 696991060 1798.21 25400 Terminated | pbout.pl ROOT/tmp/node3/34492-1154052133/instance-34492-1154052133.opb ROOT/tmp/node3/34492-1154052133 1798.21 s SATISFIABLE 1798.21 v x1136 x1119 x1063 x1047 x1016 x1010 x970 x954 x943 x898 x884 x786 x751 x730 x691 x646 x600 x566 x534 x498 x480 x443 x401 x378 1798.21 v x323 x309 x216 x195 x162 x153 x114 x33 x17 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 1798.21 v -x1138 -x1137 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 1798.21 v -x1120 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 1798.21 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 1798.21 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 1798.21 v -x1068 -x1067 -x1066 -x1065 -x1064 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 1798.21 v -x1050 -x1049 -x1048 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 1798.21 v -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1015 1798.21 v -x1014 -x1013 -x1012 -x1011 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 1798.21 v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 1798.21 v -x974 -x973 -x972 -x971 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x953 -x952 1798.21 v -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 1798.21 v -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 1798.21 v -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 1798.21 v -x886 -x885 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 1798.21 v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 1798.21 v -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 1798.21 v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 1798.21 v -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x785 -x784 -x783 -x782 -x781 -x780 1798.21 v -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 1798.21 v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 1798.21 v -x736 -x735 -x734 -x733 -x732 -x731 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 1798.21 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 1798.21 v -x693 -x692 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 1798.21 v -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 1798.21 v -x650 -x649 -x648 -x647 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 1798.21 v -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 1798.21 v -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 1798.21 v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x565 -x564 1798.21 v -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 1798.21 v -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 1798.21 v -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 1798.21 v -x499 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x479 -x478 -x477 1798.21 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 1798.21 v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 1798.21 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 1798.21 v -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 1798.21 v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 1798.21 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 1798.21 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 1798.21 v -x326 -x325 -x324 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x308 -x307 -x306 -x305 -x304 1798.21 v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 1798.21 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 1798.21 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 1798.21 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 1798.21 v -x219 -x218 -x217 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 1798.21 v -x197 -x196 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 1798.21 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 1798.21 v -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 1798.21 v -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x113 -x112 -x111 -x110 1798.21 v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 1798.21 v -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 1798.21 v -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 1798.21 v -x34 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 1798.21 v -x6 -x5 -x4 -x3 -x2 -x1
OK -33
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/node3/watcher-34492-1154052133 -o ROOT/results/node3/solver-34492-1154052133 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node3/34492-1154052133/instance-34492-1154052133.opb 696991060 ROOT/tmp/node3/34492-1154052133 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.12 1.02 1.00 3/64 25395 /proc/meminfo: memFree=800160/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=3672 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) R 25395 25395 25346 0 -1 4194304 56 0 0 0 0 0 0 0 20 0 1 0 152074887 3760128 38 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233630135689 0 0 4096 0 0 0 0 17 1 0 0 /proc/25396/statm: 918 40 31 3 0 8 0 [startup+10.0023 s] /proc/loadavg: 1.10 1.01 1.00 2/68 25400 /proc/meminfo: memFree=783896/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=7.35 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3943 0 0 0 733 2 0 0 25 0 1 0 152074888 17465344 3907 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3907 209 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 12.24 Current children cumulated vsize (Kb) 52308 [startup+20.0091 s] /proc/loadavg: 1.09 1.01 1.00 2/68 25400 /proc/meminfo: memFree=784024/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=17.36 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3943 0 0 0 1733 3 0 0 25 0 1 0 152074888 17465344 3907 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3907 209 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 22.25 Current children cumulated vsize (Kb) 52308 [startup+30.0159 s] /proc/loadavg: 1.07 1.01 1.00 2/68 25400 /proc/meminfo: memFree=784088/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=27.36 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3943 0 0 0 2733 3 0 0 25 0 1 0 152074888 17465344 3907 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3907 209 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 32.25 Current children cumulated vsize (Kb) 52308 [startup+40.0227 s] /proc/loadavg: 1.06 1.01 1.00 2/68 25400 /proc/meminfo: memFree=784216/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=37.36 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3943 0 0 0 3733 3 0 0 25 0 1 0 152074888 17465344 3907 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531538 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3907 209 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 42.25 Current children cumulated vsize (Kb) 52308 [startup+50.0286 s] /proc/loadavg: 1.05 1.01 1.00 2/68 25400 /proc/meminfo: memFree=784344/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=47.37 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3943 0 0 0 4734 3 0 0 25 0 1 0 152074888 17465344 3907 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551021 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3907 209 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 52.26 Current children cumulated vsize (Kb) 52308 [startup+60.0344 s] /proc/loadavg: 1.04 1.01 1.00 2/68 25400 /proc/meminfo: memFree=784408/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=57.37 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3943 0 0 0 5734 3 0 0 25 0 1 0 152074888 17465344 3907 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548896 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3907 209 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 62.26 Current children cumulated vsize (Kb) 52308 [startup+70.0402 s] /proc/loadavg: 1.04 1.01 1.00 2/68 25400 /proc/meminfo: memFree=784408/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=67.37 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3943 0 0 0 6734 3 0 0 25 0 1 0 152074888 17465344 3907 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3907 209 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 72.26 Current children cumulated vsize (Kb) 52308 [startup+80.047 s] /proc/loadavg: 1.03 1.01 1.00 2/68 25400 /proc/meminfo: memFree=784408/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=77.38 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3943 0 0 0 7735 3 0 0 25 0 1 0 152074888 17465344 3907 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551091 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3907 209 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 430 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 389 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 82.27 Current children cumulated vsize (Kb) 52308 [startup+90.0539 s] /proc/loadavg: 1.02 1.01 1.00 2/68 25400 /proc/meminfo: memFree=784472/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 ################ # More data... # ################ [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=1788.09 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3945 0 0 0 178804 5 0 0 25 0 1 0 152074888 17465344 3909 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134549872 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3909 211 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 433 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 433 333 3 0 167 0 Current children cumulated CPU time (s) 1792.98 Current children cumulated vsize (Kb) 52308 [startup+1792.17 s] /proc/loadavg: 1.00 1.00 1.00 2/68 25400 /proc/meminfo: memFree=783768/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=1789.1 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3945 0 0 0 178905 5 0 0 25 0 1 0 152074888 17465344 3909 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548934 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3909 211 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 433 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 433 333 3 0 167 0 Current children cumulated CPU time (s) 1793.99 Current children cumulated vsize (Kb) 52308 [startup+1793.18 s] /proc/loadavg: 1.00 1.00 1.00 2/68 25400 /proc/meminfo: memFree=783768/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=1790.1 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3945 0 0 0 179005 5 0 0 25 0 1 0 152074888 17465344 3909 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548917 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3909 211 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 433 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 433 333 3 0 167 0 Current children cumulated CPU time (s) 1794.99 Current children cumulated vsize (Kb) 52308 [startup+1794.18 s] /proc/loadavg: 1.00 1.00 1.00 2/68 25400 /proc/meminfo: memFree=783768/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=1791.11 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3945 0 0 0 179106 5 0 0 25 0 1 0 152074888 17465344 3909 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3909 211 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 433 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 433 333 3 0 167 0 Current children cumulated CPU time (s) 1796 Current children cumulated vsize (Kb) 52308 [startup+1795.19 s] /proc/loadavg: 1.00 1.00 1.00 2/68 25400 /proc/meminfo: memFree=783768/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=1792.11 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3945 0 0 0 179206 5 0 0 25 0 1 0 152074888 17465344 3909 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531159 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3909 211 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 433 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 433 333 3 0 167 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (Kb) 52308 [startup+1796.19 s] /proc/loadavg: 1.00 1.00 1.00 2/68 25400 /proc/meminfo: memFree=783768/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=1793.12 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3945 0 0 0 179307 5 0 0 25 0 1 0 152074888 17465344 3909 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531169 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3909 211 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 433 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 433 333 3 0 167 0 Current children cumulated CPU time (s) 1798.01 Current children cumulated vsize (Kb) 52308 [startup+1797.2 s] /proc/loadavg: 1.00 1.00 1.00 2/68 25400 /proc/meminfo: memFree=783768/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=1794.12 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3945 0 0 0 179407 5 0 0 25 0 1 0 152074888 17465344 3909 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134531543 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3909 211 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 433 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 433 333 3 0 167 0 Current children cumulated CPU time (s) 1799.01 Current children cumulated vsize (Kb) 52308 [startup+1798.2 s] /proc/loadavg: 1.00 1.00 1.00 2/68 25400 /proc/meminfo: memFree=783768/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=1795.13 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3945 0 0 0 179508 5 0 0 25 0 1 0 152074888 17465344 3909 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134551013 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3909 211 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 433 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 433 333 3 0 167 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (Kb) 52308 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.21 s] /proc/loadavg: 1.00 1.00 1.00 2/68 25400 /proc/meminfo: memFree=783768/2055920 swapFree=4171872/4192956 [pid=25395] ppid=25393 vsize=5360 CPUtime=0 /proc/25395/stat : 25395 (runpbsmodels) S 25393 25395 25346 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 152074886 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25395/statm: 1340 234 195 169 0 51 0 [pid=25396] ppid=25395 vsize=12268 CPUtime=0 /proc/25396/stat : 25396 (pbsmodels-v1.28) S 25395 25395 25346 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 152074887 12562432 383 18446744073709551615 4194304 4206940 548682069008 18446744073709551615 233641656212 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25396/statm: 3067 383 293 3 0 167 0 [pid=25397] ppid=25396 vsize=5356 CPUtime=4.89 /proc/25397/stat : 25397 (sh) S 25396 25395 25346 0 -1 4194304 311 601 0 0 0 0 489 0 16 0 1 0 152074887 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 233632752452 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/25397/statm: 1339 227 188 169 0 50 0 [pid=25399] ppid=25397 vsize=17056 CPUtime=1795.13 /proc/25399/stat : 25399 (smodels) R 25397 25395 25346 0 -1 4194304 3945 0 0 0 179508 5 0 0 25 0 1 0 152074888 17465344 3909 18446744073709551615 134512640 134595782 4294956656 18446744073709551615 134548896 0 0 4096 0 0 0 0 17 1 0 0 /proc/25399/statm: 4264 3909 211 20 0 3701 0 [pid=25400] ppid=25397 vsize=12268 CPUtime=0 /proc/25400/stat : 25400 (pbout.pl) S 25397 25395 25346 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 152074888 12562432 433 18446744073709551615 4194304 4206940 548682069040 18446744073709551615 233641652322 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/25400/statm: 3067 433 333 3 0 167 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (Kb) 52308 Sending SIGTERM to process tree (bottom up) Child status: 0 Real time (s): 1798.23 CPU time (s): 1800.07 CPU user time (s): 1799.99 CPU system time (s): 0.078987 CPU usage (%): 100.102 Max. virtual memory (cumulated for all children) (Kb): 52308 The end
Begin job on node3 on Fri Jul 28 02:02:13 UTC 2006 FILE ID= 34492-1154052133 PBS_JOBID= 881890 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node3/34492-1154052133/instance-34492-1154052133.opb 696991060 ROOT/tmp/node3/34492-1154052133 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-34492-1154052133 -o ROOT/results/node3/solver-34492-1154052133 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels_solver-v1.28/runpbsmodels ROOT/tmp/node3/34492-1154052133/instance-34492-1154052133.opb 696991060 ROOT/tmp/node3/34492-1154052133 MD5SUM SOLVER= f639f6b7f53e3afd14340f75c0e271ee 82c14a26114306e436bf36ef1d1c85a0 c893ceb51a2aaa4ab2f96d97b043cdf0 8c810dcfce02286b111d075d14837741 79b233270d136fcdcf9d8f80d20efef0 MD5SUM BENCH= 32f273c48805c1e726044ae006778010 RANDOM SEED= 696991060 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.231 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.231 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: 800368 kB Buffers: 20064 kB Cached: 1152720 kB SwapCached: 14904 kB Active: 463656 kB Inactive: 729084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 800368 kB SwapTotal: 4192956 kB SwapFree: 4171872 kB Dirty: 2620 kB Writeback: 0 kB Mapped: 14508 kB Slab: 48880 kB Committed_AS: 545132 kB PageTables: 1404 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node3 on Fri Jul 28 02:32:11 UTC 2006