Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | SAT (TO) | 69 | 1800.06 | 1800.27 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-alu2.b.opb |
MD5SUM | a793af2f16b39bdc1dda733b5326bfb4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 60 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 60 |
Optimality of the best value was proved | NO |
Number of variables | 1266 |
Total number of constraints | 2888 |
Number of constraints which are clauses | 2888 |
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 | 183 |
Number of terms in the objective function | 1266 |
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 | 1266 |
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 | 1266 |
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.31 4.13 o 75 7.33 o 74 62.30 o 73 69.14 o 72 89.92 o 71 483.63 o 70 1265.43 o 69 1800.25 sh: line 1: 26796 Done pb2smodels ROOT/tmp/node19/51069-1154091703/instance-51069-1154091703.opb ROOT/tmp/node19/51069-1154091703 1800.25 26797 Terminated | smodels-2.31 0 -seed 241639890 1800.25 26798 Terminated | pbout.new.pl ROOT/tmp/node19/51069-1154091703/instance-51069-1154091703.opb ROOT/tmp/node19/51069-1154091703 1800.25 s SATISFIABLE 1800.25 v x71 x207 x228 x249 x256 x292 x294 x332 x336 x347 x351 x355 x401 x402 x429 x457 x517 x547 x560 x593 x600 x608 x612 x617 x618 x620 1800.25 v x646 x653 x667 x677 x684 x693 x712 x765 x768 x801 x805 x816 x859 x888 x902 x926 x931 x937 x950 x1011 x1043 x1060 x1079 x1105 1800.25 v x1114 x1119 x1121 x1128 x1135 x1145 x1152 x1165 x1170 x1201 x1204 x1210 x1229 x1240 x1243 x1247 x1248 x1252 x1253 -x1 -x2 1800.25 v -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1800.25 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1800.25 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1800.25 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1800.25 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1800.25 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1800.25 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1800.25 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1800.25 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x208 -x209 -x210 -x211 -x212 1800.25 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x229 -x230 -x231 -x232 -x233 -x234 1800.25 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x250 -x251 -x252 -x253 -x254 -x255 -x257 1800.25 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1800.25 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x293 -x295 -x296 -x297 -x298 -x299 -x300 -x301 1800.25 v -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 1800.25 v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x333 -x334 -x335 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 1800.25 v -x346 -x348 -x349 -x350 -x352 -x353 -x354 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 1800.25 v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 1800.25 v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 1800.25 v -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x430 -x431 -x432 -x433 -x434 -x435 1800.25 v -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 1800.25 v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 1800.25 v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 1800.25 v -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x518 -x519 -x520 -x521 1800.25 v -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 1800.25 v -x543 -x544 -x545 -x546 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x561 -x562 -x563 -x564 -x565 1800.25 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 1800.25 v -x587 -x588 -x589 -x590 -x591 -x592 -x594 -x595 -x596 -x597 -x598 -x599 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x609 -x610 1800.25 v -x611 -x613 -x614 -x615 -x616 -x619 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 1800.25 v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x654 -x655 -x656 -x657 -x658 1800.25 v -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x678 -x679 -x680 -x681 1800.25 v -x682 -x683 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 1800.25 v -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 1800.25 v -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 1800.25 v -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x766 -x767 -x769 -x770 1800.25 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 1800.25 v -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x802 -x803 -x804 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 1800.25 v -x815 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 1800.25 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 1800.25 v -x858 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 1800.25 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 1800.25 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.25 v -x924 -x925 -x927 -x928 -x929 -x930 -x932 -x933 -x934 -x935 -x936 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 1800.25 v -x948 -x949 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 1800.25 v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 1800.25 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 1800.25 v -x1010 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.25 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1044 -x1045 1800.25 v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1061 -x1062 -x1063 1800.25 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1080 -x1081 1800.25 v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 1800.25 v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1115 -x1116 -x1117 1800.25 v -x1118 -x1120 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1136 -x1137 -x1138 1800.25 v -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1153 -x1154 -x1155 -x1156 -x1157 1800.25 v -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1166 -x1167 -x1168 -x1169 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1800.25 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1800.25 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1202 -x1203 -x1205 -x1206 -x1207 -x1208 -x1209 -x1211 -x1212 -x1213 1800.25 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1230 -x1231 1800.25 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1241 -x1242 -x1244 -x1245 -x1246 -x1249 -x1250 -x1251 -x1254 1800.25 v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1800.26 c Somebody sent me a SIGTERM 1800.26 smodels-2.31: no process killed 1800.26 pb2smodels: no process killed
OK 69
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/node19/watcher-51069-1154091703 -o ROOT/results/node19/solver-51069-1154091703 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node19/51069-1154091703/instance-51069-1154091703.opb 241639890 ROOT/tmp/node19/51069-1154091703 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.01 1.01 0.98 3/64 26793 /proc/meminfo: memFree=1506328/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=2504 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) R 26793 26793 26744 0 -1 4194304 44 0 0 0 0 0 0 0 20 0 1 0 156030829 2564096 26 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255233947017 0 0 4096 0 0 0 0 17 1 0 0 /proc/26794/statm: 626 26 19 3 0 5 0 [startup+10.0019 s] /proc/loadavg: 1.08 1.02 0.99 2/68 26798 /proc/meminfo: memFree=1503032/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26795/statm: 1339 227 188 169 0 50 0 [pid=26797] ppid=26795 vsize=4024 CPUtime=9.48 /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 679 0 0 0 948 0 0 0 25 0 1 0 156030830 4120576 643 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532718 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 1006 643 213 21 0 442 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/26798/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 10.33 Current children cumulated vsize (Kb) 39276 [startup+20.009 s] /proc/loadavg: 1.07 1.02 0.99 2/68 26798 /proc/meminfo: memFree=1502968/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26795/statm: 1339 227 188 169 0 50 0 [pid=26797] ppid=26795 vsize=4288 CPUtime=19.48 /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 740 0 0 0 1948 0 0 0 25 0 1 0 156030830 4390912 704 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 1072 704 213 21 0 508 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/26798/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 20.33 Current children cumulated vsize (Kb) 39540 [startup+30.0161 s] /proc/loadavg: 1.06 1.02 0.99 2/68 26798 /proc/meminfo: memFree=1502776/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26795/statm: 1339 227 188 169 0 50 0 [pid=26797] ppid=26795 vsize=4420 CPUtime=29.48 /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 800 0 0 0 2948 0 0 0 25 0 1 0 156030830 4526080 764 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533169 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 1105 764 213 21 0 541 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/26798/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 30.33 Current children cumulated vsize (Kb) 39672 [startup+40.0221 s] /proc/loadavg: 1.05 1.02 0.99 2/68 26798 /proc/meminfo: memFree=1502520/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26795/statm: 1339 227 188 169 0 50 0 [pid=26797] ppid=26795 vsize=4684 CPUtime=39.49 /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 861 0 0 0 3948 1 0 0 25 0 1 0 156030830 4796416 825 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538547 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 1171 825 213 21 0 607 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/26798/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 40.34 Current children cumulated vsize (Kb) 39936 [startup+50.0292 s] /proc/loadavg: 1.04 1.02 0.99 2/68 26798 /proc/meminfo: memFree=1502328/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26795/statm: 1339 227 188 169 0 50 0 [pid=26797] ppid=26795 vsize=4948 CPUtime=49.49 /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 921 0 0 0 4948 1 0 0 25 0 1 0 156030830 5066752 885 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 1237 885 213 21 0 673 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/26798/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 50.34 Current children cumulated vsize (Kb) 40200 [startup+60.0353 s] /proc/loadavg: 1.03 1.02 0.99 2/68 26798 /proc/meminfo: memFree=1502072/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26795/statm: 1339 227 188 169 0 50 0 [pid=26797] ppid=26795 vsize=5212 CPUtime=59.5 /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 982 0 0 0 5949 1 0 0 25 0 1 0 156030830 5337088 946 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532956 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 1303 946 213 21 0 739 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 1 0 0 /proc/26798/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 60.35 Current children cumulated vsize (Kb) 40464 [startup+70.0414 s] /proc/loadavg: 1.03 1.02 0.99 2/68 26798 /proc/meminfo: memFree=1501816/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26795/statm: 1339 227 188 169 0 50 0 [pid=26797] ppid=26795 vsize=5476 CPUtime=69.5 /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 1042 0 0 0 6949 1 0 0 25 0 1 0 156030830 5607424 1006 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539248 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 1369 1006 213 21 0 805 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26798/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 70.35 Current children cumulated vsize (Kb) 40728 [startup+80.0475 s] /proc/loadavg: 1.02 1.02 0.99 2/68 26798 /proc/meminfo: memFree=1501624/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26795/statm: 1339 227 188 169 0 50 0 [pid=26797] ppid=26795 vsize=5740 CPUtime=79.5 /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 1101 0 0 0 7949 1 0 0 25 0 1 0 156030830 5877760 1065 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 1435 1065 213 21 0 871 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 472 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 432 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26798/statm: 3067 432 333 3 0 167 0 Current children cumulated CPU time (s) 80.35 Current children cumulated vsize (Kb) 40992 [startup+90.0536 s] /proc/loadavg: 1.02 1.01 0.99 2/68 26798 /proc/meminfo: memFree=1501368/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 ################ # More data... # ################ /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 3911 0 0 0 179213 4 0 0 25 0 1 0 156030830 17367040 3875 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533244 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 4240 3875 213 21 0 3676 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26798/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1793.02 Current children cumulated vsize (Kb) 52212 [startup+1794.21 s] /proc/loadavg: 1.00 1.00 0.99 2/68 26798 /proc/meminfo: memFree=1489912/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26795/statm: 1339 227 188 169 0 50 0 [pid=26797] ppid=26795 vsize=16960 CPUtime=1793.17 /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 3911 0 0 0 179313 4 0 0 25 0 1 0 156030830 17367040 3875 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539721 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 4240 3875 213 21 0 3676 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26798/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1794.02 Current children cumulated vsize (Kb) 52212 [startup+1795.21 s] /proc/loadavg: 1.00 1.00 0.99 2/68 26798 /proc/meminfo: memFree=1489912/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26795/statm: 1339 227 188 169 0 50 0 [pid=26797] ppid=26795 vsize=16960 CPUtime=1794.18 /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 3911 0 0 0 179414 4 0 0 25 0 1 0 156030830 17367040 3875 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134522190 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 4240 3875 213 21 0 3676 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26798/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1795.03 Current children cumulated vsize (Kb) 52212 [startup+1796.22 s] /proc/loadavg: 1.00 1.00 0.99 2/68 26798 /proc/meminfo: memFree=1489912/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26795/statm: 1339 227 188 169 0 50 0 [pid=26797] ppid=26795 vsize=16960 CPUtime=1795.18 /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 3911 0 0 0 179514 4 0 0 25 0 1 0 156030830 17367040 3875 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 4240 3875 213 21 0 3676 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26798/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1796.03 Current children cumulated vsize (Kb) 52212 [startup+1797.22 s] /proc/loadavg: 1.00 1.00 0.99 2/68 26798 /proc/meminfo: memFree=1489912/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26795/statm: 1339 227 188 169 0 50 0 [pid=26797] ppid=26795 vsize=16960 CPUtime=1796.19 /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 3911 0 0 0 179615 4 0 0 25 0 1 0 156030830 17367040 3875 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533223 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 4240 3875 213 21 0 3676 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26798/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (Kb) 52212 [startup+1798.23 s] /proc/loadavg: 1.00 1.00 0.99 2/68 26798 /proc/meminfo: memFree=1489912/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26795/statm: 1339 227 188 169 0 50 0 [pid=26797] ppid=26795 vsize=16960 CPUtime=1797.19 /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 3911 0 0 0 179715 4 0 0 25 0 1 0 156030830 17367040 3875 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539248 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 4240 3875 213 21 0 3676 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26798/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1798.04 Current children cumulated vsize (Kb) 52212 [startup+1799.23 s] /proc/loadavg: 1.00 1.00 0.99 2/68 26798 /proc/meminfo: memFree=1489912/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26795/statm: 1339 227 188 169 0 50 0 [pid=26797] ppid=26795 vsize=16960 CPUtime=1798.2 /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 3911 0 0 0 179816 4 0 0 25 0 1 0 156030830 17367040 3875 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539767 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 4240 3875 213 21 0 3676 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26798/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1799.05 Current children cumulated vsize (Kb) 52212 [startup+1800.24 s] /proc/loadavg: 1.00 1.00 0.99 2/68 26798 /proc/meminfo: memFree=1489912/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26795/statm: 1339 227 188 169 0 50 0 [pid=26797] ppid=26795 vsize=16960 CPUtime=1799.2 /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 3911 0 0 0 179916 4 0 0 25 0 1 0 156030830 17367040 3875 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532945 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 4240 3875 213 21 0 3676 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26798/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (Kb) 52212 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.24 s] /proc/loadavg: 1.00 1.00 0.99 2/68 26798 /proc/meminfo: memFree=1489912/2055920 swapFree=4183080/4192956 [pid=26793] ppid=26791 vsize=5360 CPUtime=0 /proc/26793/stat : 26793 (runpbsmodels) S 26791 26793 26744 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 156030828 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26793/statm: 1340 234 195 169 0 51 0 [pid=26794] ppid=26793 vsize=12268 CPUtime=0 /proc/26794/stat : 26794 (pbsmodels-v1.31) S 26793 26793 26744 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 156030829 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 255245467540 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/26794/statm: 3067 383 293 3 0 167 0 [pid=26795] ppid=26794 vsize=5356 CPUtime=0.85 /proc/26795/stat : 26795 (sh) S 26794 26793 26744 0 -1 4194304 309 606 0 0 0 0 85 0 16 0 1 0 156030829 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26795/statm: 1339 227 188 169 0 50 0 [pid=26797] ppid=26795 vsize=16960 CPUtime=1799.21 /proc/26797/stat : 26797 (smodels-2.31) R 26795 26793 26744 0 -1 4194304 3911 0 0 0 179917 4 0 0 25 0 1 0 156030830 17367040 3875 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539764 0 0 4096 0 0 0 0 17 1 0 0 /proc/26797/statm: 4240 3875 213 21 0 3676 0 [pid=26798] ppid=26795 vsize=12268 CPUtime=0 /proc/26798/stat : 26798 (pbout.new.pl) S 26795 26793 26744 0 -1 4194304 474 0 0 0 0 0 0 0 16 0 1 0 156030830 12562432 434 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 255245463650 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/26798/statm: 3067 434 333 3 0 167 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (Kb) 52212 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) !!! problem with CPU time !!! wait4(...,&childrusage) returns 26793 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=999 CPU time returned by wait4() is 0.001998 while last known CPU time is 1800.06 Solver probably didn't/couldn't wait for its children Using last known CPU time as value... Real time (s): 1800.27 CPU time (s): 1800.06 CPU user time (s): 1800.02 CPU system time (s): 0.04 CPU usage (%): 99.9885 Max. virtual memory (cumulated for all children) (Kb): 52212 The end
Begin job on node19 on Fri Jul 28 13:01:43 UTC 2006 FILE ID= 51069-1154091703 PBS_JOBID= 885701 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-alu2.b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node19/51069-1154091703/instance-51069-1154091703.opb 241639890 ROOT/tmp/node19/51069-1154091703 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-51069-1154091703 -o ROOT/results/node19/solver-51069-1154091703 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node19/51069-1154091703/instance-51069-1154091703.opb 241639890 ROOT/tmp/node19/51069-1154091703 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= a793af2f16b39bdc1dda733b5326bfb4 RANDOM SEED= 241639890 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.233 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.233 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: 1506536 kB Buffers: 24716 kB Cached: 466428 kB SwapCached: 3556 kB Active: 48680 kB Inactive: 450996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1506536 kB SwapTotal: 4192956 kB SwapFree: 4183080 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14508 kB Slab: 35652 kB Committed_AS: 763592 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node19 on Fri Jul 28 13:31:44 UTC 2006