Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -11 | 1782.94 | 1783.51 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb |
MD5SUM | 98c81efbf429745622d6705fab70d2ee |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -54 |
Best CPU time to get the best result obtained on this benchmark | 1800.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -54 |
Optimality of the best value was proved | NO |
Number of variables | 1400 |
Total number of constraints | 109601 |
Number of constraints which are clauses | 109601 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1400 |
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 | 1400 |
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 | 1400 |
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 Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 1.33 c starting to Solve 1.33 c #variables read: 1400 - #constraints read: 109602 1.33 o 0 1.33 o 1 1.34 o 2 1.96 o 3 4.70 o 4 9.44 o 5 51.44 o 6 78.64 o 7 161.68 o 8 241.25 o 9 265.08 o 10 601.94 o 11 1783.34 c total time : 1783.04 s 1783.34 s SATISFIABLE 1783.34 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 1783.34 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 1783.34 v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 1783.34 v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 1783.34 v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 1783.34 v -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 1783.34 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 1783.34 v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 1783.34 v -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 1783.34 v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 1783.34 v -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 1783.34 v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 1783.34 v -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 1783.34 v -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 1783.34 v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 1783.34 v -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 1783.34 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 1783.34 v -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 1783.34 v -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 1783.34 v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 1783.34 v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 1783.34 v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 1783.34 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 1783.34 v -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 1783.34 v -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 1783.34 v -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 1783.34 v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 1783.34 v -x927 -x926 -x925 -x924 -x923 x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 1783.34 v -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 1783.34 v -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 1783.34 v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 1783.34 v -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 1783.34 v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 1783.34 v -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 1783.34 v -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 1783.34 v -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 1783.34 v -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 1783.34 v -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 1783.34 v -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 1783.34 v -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 1783.34 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 1783.34 v -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 1783.34 v -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 1783.34 v -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 1783.34 v -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 1783.34 v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 1783.34 v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 1783.34 v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 1783.34 v -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 1783.34 v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 1783.34 v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 1783.34 v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 1783.34 v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 1783.34 v -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 1783.34 v -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 1783.34 v -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 1783.34 v -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 1783.34 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 1783.34 v -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 1783.34 v -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 1783.34 v -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 1783.34 v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 1783.34 v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 1783.34 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 1783.34 v -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 1783.34 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 1783.34 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 1783.34 v -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 1783.34 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 1783.34 v -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 1783.34 v -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -11
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/node46/watcher-37045-1149294737 -o ROOT/results/node46/solver-37045-1149294737 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node46/37045-1149294737/instance-37045-1149294737.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.91 2/64 4975 /proc/meminfo: memFree=1432328/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=2328 CPUtime=0 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 79 0 0 0 0 0 0 0 18 0 1 0 109630569 2383872 63 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11682400 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 582 79 65 16 0 11 0 [startup+10.003 s] /proc/loadavg: 0.93 0.95 0.91 2/64 4975 /proc/meminfo: memFree=1413768/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=21052 CPUtime=9.99 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 4917 0 0 0 997 2 0 0 25 0 1 0 109630569 21557248 4839 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522504 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 5263 4839 206 16 0 4704 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 21052 [startup+20.0091 s] /proc/loadavg: 0.94 0.96 0.91 2/64 4975 /proc/meminfo: memFree=1405448/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=29524 CPUtime=19.99 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 7041 0 0 0 1996 3 0 0 25 0 1 0 109630569 30232576 6963 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 7381 6963 206 16 0 6822 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 29524 [startup+30.0152 s] /proc/loadavg: 0.95 0.96 0.91 2/64 4975 /proc/meminfo: memFree=1397320/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=37604 CPUtime=30 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 9058 0 0 0 2996 4 0 0 25 0 1 0 109630569 38506496 8980 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 9401 8980 206 16 0 8842 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 37604 [startup+40.0212 s] /proc/loadavg: 0.95 0.96 0.91 2/64 4975 /proc/meminfo: memFree=1389576/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=45408 CPUtime=40 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 11008 0 0 0 3994 6 0 0 25 0 1 0 109630569 46497792 10930 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519120 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 11352 10930 206 16 0 10793 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 45408 [startup+50.0273 s] /proc/loadavg: 0.96 0.96 0.91 2/64 4975 /proc/meminfo: memFree=1382280/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=52728 CPUtime=50.01 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 12829 0 0 0 4994 7 0 0 25 0 1 0 109630569 53993472 12751 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12149709 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 13182 12751 206 16 0 12623 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 52728 [startup+60.0333 s] /proc/loadavg: 0.97 0.96 0.91 2/64 4975 /proc/meminfo: memFree=1375304/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=59700 CPUtime=60.01 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 14579 0 0 0 5993 8 0 0 25 0 1 0 109630569 61132800 14501 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519120 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 14925 14501 206 16 0 14366 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 59700 [startup+70.0394 s] /proc/loadavg: 0.97 0.96 0.91 2/64 4975 /proc/meminfo: memFree=1367624/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=67300 CPUtime=70.01 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 16489 0 0 0 6992 9 0 0 25 0 1 0 109630569 68915200 16411 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517879 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 16825 16411 206 16 0 16266 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 67300 [startup+80.0455 s] /proc/loadavg: 0.98 0.96 0.91 2/64 4975 /proc/meminfo: memFree=1360456/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=74548 CPUtime=80.01 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 18294 0 0 0 7992 9 0 0 25 0 1 0 109630569 76337152 18216 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 18637 18216 206 16 0 18078 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 74548 [startup+90.0515 s] /proc/loadavg: 0.98 0.96 0.91 2/64 4975 /proc/meminfo: memFree=1352264/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=82796 CPUtime=90.02 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 20335 0 0 0 8991 11 0 0 25 0 1 0 109630569 84783104 20257 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 20699 20257 206 16 0 20140 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 82796 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.91 2/64 4975 /proc/meminfo: memFree=1344328/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=90676 CPUtime=100.01 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 22313 0 0 0 9990 11 0 0 25 0 1 0 109630569 92852224 22235 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 22669 22235 206 16 0 22110 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 90676 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.91 2/64 4975 /proc/meminfo: memFree=1335048/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=99928 CPUtime=110.02 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 24622 0 0 0 10990 12 0 0 25 0 1 0 109630569 102326272 24544 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 24982 24544 206 16 0 24423 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 99928 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=1327432/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=107532 CPUtime=120.02 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 26522 0 0 0 11989 13 0 0 25 0 1 0 109630569 110112768 26444 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 26883 26444 206 16 0 26324 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 107532 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=1320904/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=114000 CPUtime=130.03 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 28144 0 0 0 12988 15 0 0 25 0 1 0 109630569 116736000 28066 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532840 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 28500 28066 206 16 0 27941 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 114000 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=1313416/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=121592 CPUtime=140.03 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 30010 0 0 0 13988 15 0 0 25 0 1 0 109630569 124510208 29932 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532044 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 30398 29932 206 16 0 29839 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 121592 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=1306760/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=128232 CPUtime=150.04 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 31678 0 0 0 14988 16 0 0 25 0 1 0 109630569 131309568 31600 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 32058 31600 206 16 0 31499 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 128232 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=1298632/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=136384 CPUtime=160.03 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 33706 0 0 0 15987 16 0 0 25 0 1 0 109630569 139657216 33628 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 34096 33628 206 16 0 33537 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 136384 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=1291528/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=143572 CPUtime=170.04 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 35491 0 0 0 16987 17 0 0 25 0 1 0 109630569 147017728 35413 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 35893 35413 206 16 0 35334 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 143572 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=1285576/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=149476 CPUtime=180.04 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 36966 0 0 0 17986 18 0 0 25 0 1 0 109630569 153063424 36888 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 37369 36888 206 16 0 36810 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 149476 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=1278984/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=156064 CPUtime=190.05 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 38621 0 0 0 18986 19 0 0 25 0 1 0 109630569 159809536 38543 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 39016 38543 206 16 0 38457 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 156064 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=1272008/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=163108 CPUtime=200.05 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 40358 0 0 0 19985 20 0 0 25 0 1 0 109630569 167022592 40280 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 40777 40280 206 16 0 40218 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 163108 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=1264712/2055920 swapFree=4183160/4192956 ################ # More data... # ################ /proc/4975/statm: 243545 241989 206 16 0 242986 0 Current children cumulated CPU time (s) 1590.5 Current children cumulated vsize (Kb) 974180 [startup+1600.96 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=462792/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=974708 CPUtime=1600.5 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 242210 0 0 0 159922 128 0 0 25 0 1 0 109630569 998100992 242132 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529214 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 243677 242132 206 16 0 243118 0 Current children cumulated CPU time (s) 1600.5 Current children cumulated vsize (Kb) 974708 [startup+1610.97 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=456392/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=981076 CPUtime=1610.5 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 243810 0 0 0 160921 129 0 0 25 0 1 0 109630569 1004621824 243732 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 245269 243732 206 16 0 244710 0 Current children cumulated CPU time (s) 1610.5 Current children cumulated vsize (Kb) 981076 [startup+1620.98 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=451592/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=986036 CPUtime=1620.5 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 245012 0 0 0 161921 129 0 0 25 0 1 0 109630569 1009700864 244934 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 246509 244934 206 16 0 245950 0 Current children cumulated CPU time (s) 1620.5 Current children cumulated vsize (Kb) 986036 [startup+1630.98 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=447176/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=990432 CPUtime=1630.5 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 246107 0 0 0 162920 130 0 0 25 0 1 0 109630569 1014202368 246029 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 247608 246029 206 16 0 247049 0 Current children cumulated CPU time (s) 1630.5 Current children cumulated vsize (Kb) 990432 [startup+1640.99 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=443592/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=994148 CPUtime=1640.51 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 247008 0 0 0 163920 131 0 0 25 0 1 0 109630569 1018007552 246930 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 248537 246930 206 16 0 247978 0 Current children cumulated CPU time (s) 1640.51 Current children cumulated vsize (Kb) 994148 [startup+1650.99 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=438344/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=999256 CPUtime=1650.51 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 248306 0 0 0 164919 132 0 0 25 0 1 0 109630569 1023238144 248228 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 249814 248228 206 16 0 249255 0 Current children cumulated CPU time (s) 1650.51 Current children cumulated vsize (Kb) 999256 [startup+1661 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=436808/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=1000684 CPUtime=1660.51 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 248687 0 0 0 165919 132 0 0 25 0 1 0 109630569 1024700416 248609 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 250171 248609 206 16 0 249612 0 Current children cumulated CPU time (s) 1660.51 Current children cumulated vsize (Kb) 1000684 [startup+1671.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=431240/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=1006268 CPUtime=1670.52 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 250080 0 0 0 166919 133 0 0 25 0 1 0 109630569 1030418432 250002 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12144991 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 251567 250002 206 16 0 251008 0 Current children cumulated CPU time (s) 1670.52 Current children cumulated vsize (Kb) 1006268 [startup+1681.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=427976/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=1009608 CPUtime=1680.53 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 250886 0 0 0 167919 134 0 0 25 0 1 0 109630569 1033838592 250808 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 252402 250808 206 16 0 251843 0 Current children cumulated CPU time (s) 1680.53 Current children cumulated vsize (Kb) 1009608 [startup+1691.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=425800/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=1012124 CPUtime=1690.53 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 251434 0 0 0 168919 134 0 0 25 0 1 0 109630569 1036414976 251356 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 253031 251356 206 16 0 252472 0 Current children cumulated CPU time (s) 1690.53 Current children cumulated vsize (Kb) 1012124 [startup+1701.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=423560/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=1014368 CPUtime=1700.53 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 251998 0 0 0 169919 134 0 0 25 0 1 0 109630569 1038712832 251920 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 253592 251920 206 16 0 253033 0 Current children cumulated CPU time (s) 1700.53 Current children cumulated vsize (Kb) 1014368 [startup+1711.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=418952/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=1018924 CPUtime=1710.54 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 253133 0 0 0 170919 135 0 0 25 0 1 0 109630569 1043378176 253055 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 254731 253055 206 16 0 254172 0 Current children cumulated CPU time (s) 1710.54 Current children cumulated vsize (Kb) 1018924 [startup+1721.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4975 /proc/meminfo: memFree=415816/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=1021968 CPUtime=1720.54 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 253918 0 0 0 171919 135 0 0 25 0 1 0 109630569 1046495232 253840 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 255492 253840 206 16 0 254933 0 Current children cumulated CPU time (s) 1720.54 Current children cumulated vsize (Kb) 1021968 [startup+1731.04 s] /proc/loadavg: 0.99 0.97 0.91 2/70 5038 /proc/meminfo: memFree=411160/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=1025580 CPUtime=1730.54 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 254810 0 0 0 172915 139 0 0 25 0 1 0 109630569 1050193920 254732 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 256395 254732 206 16 0 255836 0 Current children cumulated CPU time (s) 1730.54 Current children cumulated vsize (Kb) 1025580 [startup+1741.05 s] /proc/loadavg: 0.99 0.97 0.91 2/70 5096 /proc/meminfo: memFree=407576/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=1029140 CPUtime=1740.53 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 255688 0 0 0 173911 142 0 0 25 0 1 0 109630569 1053839360 255610 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12146332 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 257285 255610 206 16 0 256726 0 Current children cumulated CPU time (s) 1740.53 Current children cumulated vsize (Kb) 1029140 [startup+1751.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 5170 /proc/meminfo: memFree=404288/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=1033288 CPUtime=1750.49 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 256722 0 0 0 174907 142 0 0 25 0 1 0 109630569 1058086912 256644 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12146332 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 258322 256644 206 16 0 257763 0 Current children cumulated CPU time (s) 1750.49 Current children cumulated vsize (Kb) 1033288 [startup+1761.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 5170 /proc/meminfo: memFree=401224/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=1036360 CPUtime=1760.5 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 257502 0 0 0 175907 143 0 0 25 0 1 0 109630569 1061232640 257424 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12144991 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 259090 257424 206 16 0 258531 0 Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (Kb) 1036360 [startup+1771.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 5170 /proc/meminfo: memFree=398408/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=1039232 CPUtime=1770.51 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 258204 0 0 0 176908 143 0 0 25 0 1 0 109630569 1064173568 258126 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 259808 258126 206 16 0 259249 0 Current children cumulated CPU time (s) 1770.51 Current children cumulated vsize (Kb) 1039232 [startup+1781.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 5170 /proc/meminfo: memFree=395400/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=1042256 CPUtime=1780.5 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 258969 0 0 0 177907 143 0 0 25 0 1 0 109630569 1067270144 258891 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 260564 258891 206 16 0 260005 0 Current children cumulated CPU time (s) 1780.5 Current children cumulated vsize (Kb) 1042256 [startup+1782.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 5170 /proc/meminfo: memFree=394888/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=1042796 CPUtime=1781.51 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 259109 0 0 0 178008 143 0 0 25 0 1 0 109630569 1067823104 259031 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528351 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 260699 259031 206 16 0 260140 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 1042796 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 5170 /proc/meminfo: memFree=394184/2055920 swapFree=4183160/4192956 [pid=4975] ppid=4973 vsize=1043468 CPUtime=1782.52 /proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 259276 0 0 0 178108 144 0 0 25 0 1 0 109630569 1068511232 259198 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/4975/statm: 260867 259198 206 16 0 260308 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 1043468 Child status: 10 Real time (s): 1783.51 CPU time (s): 1782.94 CPU user time (s): 1781.34 CPU system time (s): 1.60376 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (Kb): 1043468
Begin job on node46 on Sat Jun 3 00:32:17 UTC 2006 FILE ID= 37045-1149294737 PBS_JOBID= 307050 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node46/37045-1149294737/instance-37045-1149294737.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-37045-1149294737 -o ROOT/results/node46/solver-37045-1149294737 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node46/37045-1149294737/instance-37045-1149294737.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee RANDOM SEED= 628630220 /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.223 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.223 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: 1432600 kB Buffers: 28012 kB Cached: 526068 kB SwapCached: 4064 kB Active: 55104 kB Inactive: 507884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1432600 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 164 kB Writeback: 0 kB Mapped: 15064 kB Slab: 46436 kB Committed_AS: 280696 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node46 on Sat Jun 3 01:02:01 UTC 2006