Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-skc 0.8.0 | SAT (TO) | 46478 | 1800.44 | 1801.21 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data8_3.opb |
MD5SUM | c3720ea5d84e92b781414b36064971fe |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 46478 |
Best CPU time to get the best result obtained on this benchmark | 1800.44 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 46478 |
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 | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 279536 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 279536 |
Number of bits of the biggest sum of numbers | 19 |
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/node80/33135-1149399991/instance-33135-1149399991.opb 573396008 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 573396008 0.00 c Noise: 0.1 (10 : 100) 0.31 c Starting searching: 0.31 c Phase 1 ... 65.82 c trying 279536: xvc 65.82 o 59569 458.13 c trying 39712: xxxxxxxxxxc 458.13 c Phase 2 ... 477.26 c trying 59568: vc 477.26 o 55487 497.15 c trying 55486: vc 497.15 o 52292 620.77 c trying 52291: vc 620.77 o 49485 981.82 c trying 49484: xvc 981.82 o 47806 1410.82 c trying 47805: xvc 1410.82 o 46478 1801.18 c trying 46477: xc 1801.18 c Phase 3 ... 1801.18 c trying 46477 again: c 1801.18 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.19 c Total Number of Positive Atoms : 200 1801.19 c 1801.19 c During searching: 1410.51 seconds elapsed. 1801.19 c CPU time spent: 1410.09 seconds. 1801.19 c 1801.19 c =================================== END ===================================== 1801.19 c
OK 46478
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/node80/watcher-33135-1149399991 -o ROOT/results/node80/solver-33135-1149399991 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node80/33135-1149399991/instance-33135-1149399991.opb 573396008 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1831760/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=6000 CPUtime=0 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 154 0 0 0 0 0 0 0 20 0 1 0 205637704 6144000 139 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135002082 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 1500 139 105 226 0 1271 0 [startup+10.0025 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714832/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=9.99 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 986 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 127812 [startup+20.0086 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714896/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=19.99 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 1986 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 127812 [startup+30.0147 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714960/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=29.99 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 2986 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 127812 [startup+40.0208 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714896/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=39.99 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 3986 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 127812 [startup+50.0268 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714896/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=49.99 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 4986 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598348 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 127812 [startup+60.0329 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714896/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=60 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 5987 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601144 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 127812 [startup+70.039 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714960/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=70 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 6987 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 127812 [startup+80.045 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714960/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=80 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 7987 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 127812 [startup+90.0511 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714960/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=90 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 8987 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134551202 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 127812 [startup+100.057 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714960/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=100 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 9987 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134516775 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 127812 [startup+110.063 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714960/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=110.01 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 10988 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 127812 [startup+120.069 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714896/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=120.01 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 11988 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 127812 [startup+130.075 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714896/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=130.01 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 12988 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134549924 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/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 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714896/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=140.01 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 13988 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 127812 [startup+150.088 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714896/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=150.02 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 14989 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 127812 [startup+160.094 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714896/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=160.02 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 15989 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598354 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 127812 [startup+170.1 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714896/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=170.02 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 16989 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 127812 [startup+180.106 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714896/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=180.02 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 17989 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 127812 [startup+190.111 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714896/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=190.02 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 18989 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 127812 [startup+200.118 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714896/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=200.03 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 19990 13 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134543876 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 127812 [startup+210.124 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17099 /proc/meminfo: memFree=1714896/2055888 swapFree=4085432/4096564 ################ # More data... # ################ [pid=17099] ppid=17097 vsize=127812 CPUtime=1781.32 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 178118 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1781.32 Current children cumulated vsize (Kb) 127812 [startup+1783.09 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1782.32 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 178218 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134549924 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (Kb) 127812 [startup+1784.1 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1783.33 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 178319 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1783.33 Current children cumulated vsize (Kb) 127812 [startup+1785.1 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1784.33 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 178419 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1784.33 Current children cumulated vsize (Kb) 127812 [startup+1786.11 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1785.33 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 178519 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1785.33 Current children cumulated vsize (Kb) 127812 [startup+1787.11 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1786.34 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 178620 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1786.34 Current children cumulated vsize (Kb) 127812 [startup+1788.12 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1787.34 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 178720 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1787.34 Current children cumulated vsize (Kb) 127812 [startup+1789.12 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1788.35 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 178821 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1788.35 Current children cumulated vsize (Kb) 127812 [startup+1790.13 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1789.35 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 178921 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1789.35 Current children cumulated vsize (Kb) 127812 [startup+1791.13 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1790.36 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 179022 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1790.36 Current children cumulated vsize (Kb) 127812 [startup+1792.14 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1791.36 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 179122 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (Kb) 127812 [startup+1793.14 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1792.37 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 179223 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1792.37 Current children cumulated vsize (Kb) 127812 [startup+1794.15 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1793.37 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 179323 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1793.37 Current children cumulated vsize (Kb) 127812 [startup+1795.15 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1794.38 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 179424 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1794.38 Current children cumulated vsize (Kb) 127812 [startup+1796.16 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1795.38 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 179524 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1795.38 Current children cumulated vsize (Kb) 127812 [startup+1797.16 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1796.38 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 179624 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (Kb) 127812 [startup+1798.17 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1797.39 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 179725 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1797.39 Current children cumulated vsize (Kb) 127812 [startup+1799.17 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1798.39 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 179825 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601378 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1798.39 Current children cumulated vsize (Kb) 127812 [startup+1800.18 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1799.4 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 179926 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1799.4 Current children cumulated vsize (Kb) 127812 [startup+1801.18 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1800.4 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 180026 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1800.4 Current children cumulated vsize (Kb) 127812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 1.00 0.99 0.99 2/67 17294 /proc/meminfo: memFree=1714384/2055888 swapFree=4085432/4096564 [pid=17099] ppid=17097 vsize=127812 CPUtime=1800.41 /proc/17099/stat : 17099 (wildcat-skc) R 17097 17099 17053 0 -1 4194304 29351 0 0 0 180027 14 0 0 25 0 1 0 205637704 130879488 29328 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17099/statm: 31953 29328 117 226 0 31724 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (Kb) 127812 Sending SIGTERM to -17099 Sleeping 2 seconds Child status: 0 Real time (s): 1801.21 CPU time (s): 1800.44 CPU user time (s): 1800.27 CPU system time (s): 0.163975 CPU usage (%): 99.957 Max. virtual memory (cumulated for all children) (Kb): 127812
Begin job on node80 on Sun Jun 4 05:46:31 UTC 2006 FILE ID= 33135-1149399991 PBS_JOBID= 313938 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node80/33135-1149399991/instance-33135-1149399991.opb 573396008 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node80/watcher-33135-1149399991 -o ROOT/results/node80/solver-33135-1149399991 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node80/33135-1149399991/instance-33135-1149399991.opb 573396008 MD5SUM SOLVER= e3d27fcb27e96c4c5fdaee74465b047d MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe RANDOM SEED= 573396008 /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.264 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.16 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.264 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.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1832160 kB Buffers: 13116 kB Cached: 145772 kB SwapCached: 2340 kB Active: 35348 kB Inactive: 132272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1832160 kB SwapTotal: 4096564 kB SwapFree: 4085432 kB Dirty: 148 kB Writeback: 0 kB Mapped: 16648 kB Slab: 42784 kB Committed_AS: 429816 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node80 on Sun Jun 4 06:16:33 UTC 2006