Trace number 38217

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.3SAT-7 1783.02 1783.46

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
MD5SUM2295cbab79cf702b6a93f1d0b8bae876
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-57
Best CPU time to get the best result obtained on this benchmark1800.48
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -58
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints125982
Number of constraints which are clauses125982
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1534
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 1534
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 1534
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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.53	c starting to Solve
1.53	c #variables read: 1534 - #constraints read: 125983
1.53	o 0
1.53	o 1
1.54	o 2
1.57	o 3
2.64	o 4
8.39	o 5
59.48	o 6
347.14	o 7
1783.19	c total time              : 1783.03 s
1783.19	s SATISFIABLE
1783.19	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518
1783.19	v -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501
1783.19	v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484
1783.19	v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467
1783.19	v -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450
1783.19	v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433
1783.19	v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416
1783.19	v -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399
1783.19	v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382
1783.19	v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365
1783.19	v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348
1783.19	v -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331
1783.19	v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314
1783.19	v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297
1783.19	v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280
1783.19	v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263
1783.19	v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246
1783.19	v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229
1783.19	v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212
1783.19	v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195
1783.19	v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178
1783.19	v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161
1783.19	v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144
1783.19	v -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127
1783.19	v -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110
1783.19	v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093
1783.19	v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076
1783.19	v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059
1783.19	v -x1058 -x1057 -x1056 x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042
1783.19	v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025
1783.19	v -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 x1010 -x1009 -x1008
1783.19	v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989
1783.19	v -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968
1783.19	v -x967 -x966 -x965 -x964 x963 x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947
1783.19	v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926
1783.19	v -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905
1783.19	v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884
1783.19	v -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863
1783.19	v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842
1783.19	v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821
1783.19	v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800
1783.19	v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779
1783.19	v -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758
1783.19	v -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737
1783.19	v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716
1783.19	v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695
1783.19	v -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674
1783.19	v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653
1783.19	v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632
1783.19	v -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611
1783.19	v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590
1783.19	v -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569
1783.19	v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548
1783.19	v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527
1783.19	v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506
1783.19	v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485
1783.19	v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464
1783.19	v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443
1783.19	v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422
1783.19	v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401
1783.19	v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380
1783.19	v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359
1783.19	v -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338
1783.19	v -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317
1783.19	v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296
1783.19	v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275
1783.19	v -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254
1783.19	v -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233
1783.19	v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212
1783.19	v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191
1783.19	v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170
1783.19	v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149
1783.19	v -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128
1783.19	v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107
1783.19	v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83
1783.19	v -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1783.19	v -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31
1783.19	v -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3
1783.19	v -x2 -x1

Verifier Data (download as text)

OK	-7

Watcher Data (download as text)

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/node49/watcher-38217-1149300238 -o ROOT/results/node49/solver-38217-1149300238 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node49/38217-1149300238/instance-38217-1149300238.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.88 0.98 0.92 3/64 9418
/proc/meminfo: memFree=1722712/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=2328 CPUtime=0
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 140 0 0 0 0 0 0 0 18 0 1 0 195690947 2383872 123 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 2519128 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 582 123 108 16 0 11 0

[startup+10.0026 s]
/proc/loadavg: 0.90 0.98 0.92 2/64 9418
/proc/meminfo: memFree=1646744/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=78272 CPUtime=9.99
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 19211 0 0 0 988 11 0 0 25 0 1 0 195690947 80150528 19150 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 19568 19150 205 16 0 19009 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 78272

[startup+20.0095 s]
/proc/loadavg: 0.91 0.98 0.92 2/64 9418
/proc/meminfo: memFree=1587288/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=138060 CPUtime=19.99
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 34090 0 0 0 1981 18 0 0 25 0 1 0 195690947 141373440 34029 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 34515 34029 205 16 0 33956 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 138060

[startup+30.0153 s]
/proc/loadavg: 0.93 0.98 0.92 2/64 9418
/proc/meminfo: memFree=1530840/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=194684 CPUtime=29.99
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 48196 0 0 0 2974 25 0 0 25 0 1 0 195690947 199356416 48135 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 48671 48135 205 16 0 48112 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 194684

[startup+40.0211 s]
/proc/loadavg: 0.94 0.98 0.92 2/64 9418
/proc/meminfo: memFree=1480664/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=245512 CPUtime=40
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 60725 0 0 0 3968 32 0 0 25 0 1 0 195690947 251404288 60664 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 61378 60664 205 16 0 60819 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 245512

[startup+50.027 s]
/proc/loadavg: 0.95 0.98 0.92 2/64 9418
/proc/meminfo: memFree=1449176/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=277452 CPUtime=50.01
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 68593 0 0 0 4965 36 0 0 25 0 1 0 195690947 284110848 68532 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557231 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 69363 68532 205 16 0 68804 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 277452

[startup+60.0328 s]
/proc/loadavg: 0.95 0.98 0.92 2/64 9418
/proc/meminfo: memFree=1407320/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=319412 CPUtime=60
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 79029 0 0 0 5958 42 0 0 25 0 1 0 195690947 327077888 78968 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 2954189 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 79853 78968 205 16 0 79294 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 319412

[startup+70.0386 s]
/proc/loadavg: 0.96 0.98 0.92 2/64 9418
/proc/meminfo: memFree=1360536/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=366032 CPUtime=70.01
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 90696 0 0 0 6953 48 0 0 25 0 1 0 195690947 374816768 90635 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 91508 90635 205 16 0 90949 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 366032

[startup+80.0445 s]
/proc/loadavg: 0.97 0.98 0.92 2/64 9418
/proc/meminfo: memFree=1330648/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=395808 CPUtime=80.01
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 98149 0 0 0 7949 52 0 0 25 0 1 0 195690947 405307392 98088 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 98952 98088 205 16 0 98393 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 395808

[startup+90.0493 s]
/proc/loadavg: 0.97 0.98 0.92 2/64 9418
/proc/meminfo: memFree=1280472/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=446152 CPUtime=90.02
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 110680 0 0 0 8944 58 0 0 25 0 1 0 195690947 456859648 110619 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 2954189 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 111538 110619 206 16 0 110979 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 446152

[startup+100.055 s]
/proc/loadavg: 0.97 0.98 0.92 2/64 9418
/proc/meminfo: memFree=1238680/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=488120 CPUtime=100.02
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 121103 0 0 0 9939 63 0 0 25 0 1 0 195690947 499834880 121042 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559516 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 122030 121042 206 16 0 121471 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 488120

[startup+110.061 s]
/proc/loadavg: 0.98 0.98 0.92 2/64 9418
/proc/meminfo: memFree=1187480/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=539652 CPUtime=110.02
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 133877 0 0 0 10932 70 0 0 25 0 1 0 195690947 552603648 133816 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 134913 133816 206 16 0 134354 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 539652

[startup+120.067 s]
/proc/loadavg: 0.98 0.98 0.92 2/64 9418
/proc/meminfo: memFree=1154200/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=572856 CPUtime=120.02
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 142183 0 0 0 11927 75 0 0 25 0 1 0 195690947 586604544 142122 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 143214 142122 206 16 0 142655 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 572856

[startup+130.073 s]
/proc/loadavg: 0.98 0.98 0.92 2/64 9418
/proc/meminfo: memFree=1138328/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=588648 CPUtime=130.03
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 146146 0 0 0 12925 78 0 0 25 0 1 0 195690947 602775552 146085 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 147162 146085 206 16 0 146603 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 588648

[startup+140.079 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 9418
/proc/meminfo: memFree=1112792/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=614172 CPUtime=140.04
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 152515 0 0 0 13923 81 0 0 25 0 1 0 195690947 628912128 152454 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 153543 152454 206 16 0 152984 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 614172

[startup+150.084 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 9418
/proc/meminfo: memFree=1068952/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=658036 CPUtime=150.04
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 163473 0 0 0 14918 86 0 0 25 0 1 0 195690947 673828864 163380 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 164509 163380 206 16 0 163950 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 658036

[startup+160.09 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 9418
/proc/meminfo: memFree=1022104/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=704740 CPUtime=160.04
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 175203 0 0 0 15912 92 0 0 25 0 1 0 195690947 721653760 175078 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517612 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 176185 175078 206 16 0 175626 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 704740

[startup+170.096 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 9418
/proc/meminfo: memFree=974936/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=751824 CPUtime=170.04
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 186978 0 0 0 16907 97 0 0 25 0 1 0 195690947 769867776 186853 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 187956 186853 206 16 0 187397 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 751824

[startup+180.102 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 9418
/proc/meminfo: memFree=952216/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=774436 CPUtime=180.05
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 192644 0 0 0 17905 100 0 0 25 0 1 0 195690947 793022464 192519 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 193609 192519 206 16 0 193050 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 774436

[startup+190.108 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 9418
/proc/meminfo: memFree=933024/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=793516 CPUtime=190.05
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 197433 0 0 0 18902 103 0 0 25 0 1 0 195690947 812560384 197308 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 198379 197308 206 16 0 197820 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 793516

[startup+200.113 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 9418
/proc/meminfo: memFree=911264/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=815752 CPUtime=200.06
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 202860 0 0 0 19900 106 0 0 25 0 1 0 195690947 835330048 202735 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559537 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 203938 202735 206 16 0 203379 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 815752

[startup+210.119 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 9418
/proc/meminfo: memFree=890272/2055920 swapFree=4181416/4192956

################
# More data... #
################

/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1590.53
Current children cumulated vsize (Kb) 1626616

[startup+1600.92 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1600.53
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 159797 256 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516706 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1600.53
Current children cumulated vsize (Kb) 1626616

[startup+1610.93 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1610.53
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 160797 256 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1610.53
Current children cumulated vsize (Kb) 1626616

[startup+1620.93 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1620.54
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 161797 257 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1620.54
Current children cumulated vsize (Kb) 1626616

[startup+1630.94 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1630.55
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 162797 258 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1630.55
Current children cumulated vsize (Kb) 1626616

[startup+1640.94 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1640.54
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 163796 258 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1640.54
Current children cumulated vsize (Kb) 1626616

[startup+1650.95 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1650.55
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 164796 259 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1650.55
Current children cumulated vsize (Kb) 1626616

[startup+1660.96 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1660.55
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 165796 259 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1660.55
Current children cumulated vsize (Kb) 1626616

[startup+1670.96 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1670.56
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 166796 260 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1670.56
Current children cumulated vsize (Kb) 1626616

[startup+1680.97 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1680.56
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 167796 260 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1680.56
Current children cumulated vsize (Kb) 1626616

[startup+1690.97 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1690.56
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 168795 261 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1690.56
Current children cumulated vsize (Kb) 1626616

[startup+1700.98 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1700.57
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 169795 262 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1700.57
Current children cumulated vsize (Kb) 1626616

[startup+1710.99 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1710.57
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 170795 262 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1710.57
Current children cumulated vsize (Kb) 1626616

[startup+1720.99 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1720.58
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 171795 263 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1720.58
Current children cumulated vsize (Kb) 1626616

[startup+1731 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111456/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1730.58
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 172795 263 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1730.58
Current children cumulated vsize (Kb) 1626616

[startup+1741 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111392/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1740.58
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 173795 263 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1740.58
Current children cumulated vsize (Kb) 1626616

[startup+1751.01 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111392/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1750.58
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 174795 263 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519884 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1750.58
Current children cumulated vsize (Kb) 1626616

[startup+1761.02 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111392/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1760.59
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 175795 264 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1760.59
Current children cumulated vsize (Kb) 1626616

[startup+1771.02 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9418
/proc/meminfo: memFree=111392/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1770.59
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 176795 264 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1770.59
Current children cumulated vsize (Kb) 1626616

[startup+1781.03 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9420
/proc/meminfo: memFree=111200/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1780.6
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 177796 264 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1780.6
Current children cumulated vsize (Kb) 1626616

[startup+1782.03 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9420
/proc/meminfo: memFree=111200/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1781.6
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 177896 264 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (Kb) 1626616

[startup+1783.04 s]
/proc/loadavg: 1.00 0.99 0.93 2/64 9420
/proc/meminfo: memFree=111200/2055920 swapFree=4181416/4192956
[pid=9418] ppid=9416 vsize=1626616 CPUtime=1782.6
/proc/9418/stat : 9418 (Pueblo13) R 9416 9418 9372 0 -1 4194304 402815 0 0 0 177996 264 0 0 25 0 1 0 195690947 1665654784 402275 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/9418/statm: 406654 402275 206 16 0 406095 0
Current children cumulated CPU time (s) 1782.6
Current children cumulated vsize (Kb) 1626616

Child status: 10
Real time (s): 1783.46
CPU time (s): 1783.02
CPU user time (s): 1780.12
CPU system time (s): 2.89756
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (Kb): 1626616

Launcher Data (download as text)

Begin job on node49 on Sat Jun  3 02:03:58 UTC 2006


FILE ID= 38217-1149300238

PBS_JOBID= 307337

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node49/38217-1149300238/instance-38217-1149300238.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node49/watcher-38217-1149300238 -o ROOT/results/node49/solver-38217-1149300238 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node49/38217-1149300238/instance-38217-1149300238.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  2295cbab79cf702b6a93f1d0b8bae876

RANDOM SEED= 371198075


/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.216
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.216
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:       1722920 kB
Buffers:         19716 kB
Cached:         251720 kB
SwapCached:       3284 kB
Active:          52368 kB
Inactive:       227868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1722920 kB
SwapTotal:     4192956 kB
SwapFree:      4181416 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14908 kB
Slab:            38712 kB
Committed_AS:   298592 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node49 on Sat Jun  3 02:33:42 UTC 2006