Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-skc 0.8.0 | SAT (TO) | 162 | 1800.43 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ8_3.opb |
MD5SUM | d431323968e1ca4dc95d181076d01437 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 162 |
Best CPU time to get the best result obtained on this benchmark | 1800.43 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 154 |
Optimality of the best value was proved | NO |
Number of variables | 1344 |
Total number of constraints | 16096 |
Number of constraints which are clauses | 8208 |
Number of constraints which are cardinality constraints (but not clauses) | 496 |
Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 28 |
Number of terms in the objective function | 448 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 1024 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 24 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 1024 |
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 0.00 c wildcat-skc (VERSION 0.8.0-lite-skc-devel) 0.00 c Developed by L. Liuand M. Truszczynski 0.00 c Last built on Tue 23 May 2006 09:27:47 PM EDT 0.00 c 0.00 c ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node91/33133-1149399318/instance-33133-1149399318.opb 452837991 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 452837991 0.00 c Noise: 0.1 (10 : 100) 0.31 c Starting searching: 0.31 c Phase 1 ... 37.34 c trying 1024: vc 37.34 o 216 438.03 c trying 143: xxxxxxxxxxc 438.03 c Phase 2 ... 458.94 c trying 215: vc 458.94 o 200 756.88 c trying 199: xvc 756.88 o 184 827.09 c trying 183: vc 827.09 o 180 1127.51 c trying 179: xvc 1127.51 o 176 1430.24 c trying 175: xvc 1430.24 o 168 1504.35 c trying 167: vc 1504.35 o 164 1576.36 c trying 163: vc 1576.36 o 162 1801.17 c trying 161: xc 1801.17 c Phase 3 ... 1801.17 c trying 161 again: c 1801.17 s SATISFIABLE 1801.18 v x1 -x2 -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 1801.18 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 1801.18 v -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 1801.18 v -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 1801.18 v x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1801.18 v x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1801.18 v x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 1801.18 v -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1801.18 v x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1801.18 v -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 1801.18 v -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 1801.18 v -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1801.18 v -x275 -x276 -x277 -x278 -x279 x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 1801.18 v -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1801.18 v -x317 -x318 -x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1801.18 v -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 1801.18 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 1801.18 v -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 1801.18 v -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 1801.18 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 1801.18 v -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 1801.18 v -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 1801.18 v x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 1801.18 v -x506 -x507 -x508 x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 1801.18 v -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 x546 -x547 1801.18 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 1801.18 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 1801.18 v -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 x609 -x610 1801.18 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 1801.18 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1801.18 v -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 1801.18 v -x674 -x675 -x676 x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 1801.18 v x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 1801.18 v -x716 -x717 x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 1801.18 v -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 1801.18 v -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 1801.18 v -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 1801.18 v -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 x820 1801.18 v -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 1801.18 v x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 1801.18 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 x883 1801.18 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 x898 -x899 x900 -x901 x902 -x903 x904 -x905 1801.18 v -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 1801.18 v -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 1801.18 v -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 x960 -x961 x962 -x963 -x964 -x965 x966 -x967 x968 -x969 1801.18 v -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 1801.18 v -x991 x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 x1009 1801.18 v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 x1023 -x1024 x1025 x1026 -x1027 1801.18 v -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 1801.18 v -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 1801.18 v -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 1801.18 v -x1082 -x1083 -x1084 -x1085 x1086 x1087 x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 1801.18 v -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 1801.18 v x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 1801.18 v -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 x1150 x1151 x1152 x1153 1801.18 v x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 1801.18 v -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 1801.18 v -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 1801.18 v -x1208 x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 x1216 -x1217 x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 1801.18 v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1801.18 v -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1801.18 v -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 x1275 -x1276 -x1277 -x1278 x1279 1801.18 v x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 1801.18 v -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 1801.18 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 x1332 -x1333 1801.18 v -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 x1341 -x1342 x1343 x1344 1801.18 c Total Number of Positive Atoms : 196 1801.18 c 1801.18 c During searching: 1576.05 seconds elapsed. 1801.18 c CPU time spent: 1575.58 seconds. 1801.18 c 1801.18 c =================================== END ===================================== 1801.18 c
OK 162
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node91/watcher-33133-1149399318 -o ROOT/results/node91/solver-33133-1149399318 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node91/33133-1149399318/instance-33133-1149399318.opb 452837991 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1564584/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=5964 CPUtime=0 /proc/20709/stat : 20709 (wildcat-skc) D 20707 20709 20663 0 -1 4194304 125 0 0 0 0 0 0 0 19 0 1 0 205570786 6107136 110 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135054477 0 2147483391 4096 16386 18446744072100015398 0 0 17 1 0 0 /proc/20709/statm: 1499 114 101 226 0 1270 0 [startup+10.0017 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447528/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=9.99 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 988 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 127812 [startup+20.0077 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447528/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=19.99 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 1988 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 127812 [startup+30.0137 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447528/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=29.99 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 2988 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 127812 [startup+40.0196 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447528/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=39.99 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 3988 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 127812 [startup+50.0256 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447592/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=50 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 4989 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601117 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 127812 [startup+60.0316 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447592/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=60 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 5989 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 127812 [startup+70.0365 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447592/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=70 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 6989 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 127812 [startup+80.0435 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447592/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=80 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 7989 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 127812 [startup+90.0495 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447592/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=90 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 8989 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 127812 [startup+100.055 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447592/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=100.01 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 9990 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 127812 [startup+110.062 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447592/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=110.01 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 10990 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 127812 [startup+120.068 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447592/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=120.01 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 11990 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 127812 [startup+130.074 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447592/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=130.01 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 12990 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 127812 [startup+140.081 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447528/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=140.02 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 13991 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 127812 [startup+150.087 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447528/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=150.02 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 14991 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 127812 [startup+160.093 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447528/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=160.02 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 15991 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 127812 [startup+170.099 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447528/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=170.02 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 16991 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 127812 [startup+180.105 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447528/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=180.03 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 17992 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 127812 [startup+190.111 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447528/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=190.03 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 18992 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 127812 [startup+200.117 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20709 /proc/meminfo: memFree=1447528/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=200.03 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 19992 11 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 127812 [startup+210.123 s] /proc/loadavg: 1.00 1.00 1.00 3/68 20709 /proc/meminfo: memFree=1447528/2055892 swapFree=4085372/4096564 ################ # More data... # ################ [pid=20709] ppid=20707 vsize=127812 CPUtime=1781.3 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 178116 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1781.3 Current children cumulated vsize (Kb) 127812 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1782.31 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 178217 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (Kb) 127812 [startup+1784.09 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1783.31 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 178317 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1783.31 Current children cumulated vsize (Kb) 127812 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1784.32 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 178418 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1784.32 Current children cumulated vsize (Kb) 127812 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1785.32 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 178518 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1785.32 Current children cumulated vsize (Kb) 127812 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1786.33 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 178619 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134516837 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1786.33 Current children cumulated vsize (Kb) 127812 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1787.33 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 178719 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134550116 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1787.33 Current children cumulated vsize (Kb) 127812 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1788.34 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 178820 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1788.34 Current children cumulated vsize (Kb) 127812 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1789.34 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 178920 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134549924 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1789.34 Current children cumulated vsize (Kb) 127812 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1790.34 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 179020 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1790.34 Current children cumulated vsize (Kb) 127812 [startup+1792.13 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1791.35 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 179121 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (Kb) 127812 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1792.35 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 179221 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1792.35 Current children cumulated vsize (Kb) 127812 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1793.36 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 179322 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1793.36 Current children cumulated vsize (Kb) 127812 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1794.36 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 179422 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1794.36 Current children cumulated vsize (Kb) 127812 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1795.37 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 179523 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1795.37 Current children cumulated vsize (Kb) 127812 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1796.37 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 179623 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1796.37 Current children cumulated vsize (Kb) 127812 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1797.38 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 179724 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1797.38 Current children cumulated vsize (Kb) 127812 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1798.38 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 179824 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1798.38 Current children cumulated vsize (Kb) 127812 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1799.39 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 179925 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1799.39 Current children cumulated vsize (Kb) 127812 [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1800.39 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 180025 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (Kb) 127812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/68 20906 /proc/meminfo: memFree=1447080/2055892 swapFree=4085372/4096564 [pid=20709] ppid=20707 vsize=127812 CPUtime=1800.39 /proc/20709/stat : 20709 (wildcat-skc) R 20707 20709 20663 0 -1 4194304 29351 0 0 0 180025 14 0 0 25 0 1 0 205570786 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/20709/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (Kb) 127812 Sending SIGTERM to -20709 Sleeping 2 seconds Child status: 0 Real time (s): 1801.2 CPU time (s): 1800.43 CPU user time (s): 1800.26 CPU system time (s): 0.167974 CPU usage (%): 99.9571 Max. virtual memory (cumulated for all children) (Kb): 127812
Begin job on node91 on Sun Jun 4 05:35:18 UTC 2006 FILE ID= 33133-1149399318 PBS_JOBID= 313913 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node91/33133-1149399318/instance-33133-1149399318.opb 452837991 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node91/watcher-33133-1149399318 -o ROOT/results/node91/solver-33133-1149399318 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node91/33133-1149399318/instance-33133-1149399318.opb 452837991 MD5SUM SOLVER= e3d27fcb27e96c4c5fdaee74465b047d MD5SUM BENCH= d431323968e1ca4dc95d181076d01437 RANDOM SEED= 452837991 /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.279 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 : 6006.18 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.279 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 : 5999.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1564792 kB Buffers: 26952 kB Cached: 398212 kB SwapCached: 2352 kB Active: 24956 kB Inactive: 408784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1564792 kB SwapTotal: 4096564 kB SwapFree: 4085372 kB Dirty: 160 kB Writeback: 0 kB Mapped: 16592 kB Slab: 43928 kB Committed_AS: 482656 kB PageTables: 1284 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node91 on Sun Jun 4 06:05:20 UTC 2006