Trace number 37067

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.4SAT-6 1782.85 1783.34

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

Verifier Data (download as text)

OK	-6

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.86 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1570336/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=2328 CPUtime=0
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 1 0 39227336 2383872 130 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8076152 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 582 130 111 16 0 11 0

[startup+10.0023 s]
/proc/loadavg: 0.88 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1551080/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=21680 CPUtime=9.99
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 5111 0 0 0 996 3 0 0 25 0 1 0 39227336 22200320 5037 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 5420 5037 205 16 0 4861 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 21680

[startup+20.0085 s]
/proc/loadavg: 0.90 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1544616/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=28436 CPUtime=19.99
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 6794 0 0 0 1996 3 0 0 25 0 1 0 39227336 29118464 6707 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519125 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 7109 6707 205 16 0 6550 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 28436

[startup+30.0147 s]
/proc/loadavg: 0.91 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1536616/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=36504 CPUtime=30
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 8808 0 0 0 2995 5 0 0 25 0 1 0 39227336 37380096 8721 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 9126 8721 205 16 0 8567 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 36504

[startup+40.0208 s]
/proc/loadavg: 0.93 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1529064/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=43980 CPUtime=40
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 10700 0 0 0 3995 5 0 0 25 0 1 0 39227336 45035520 10613 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519120 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 10995 10613 205 16 0 10436 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 43980

[startup+50.027 s]
/proc/loadavg: 0.94 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1521384/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=51760 CPUtime=50.01
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 12626 0 0 0 4995 6 0 0 25 0 1 0 39227336 53002240 12539 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 12940 12539 205 16 0 12381 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 51760

[startup+60.0332 s]
/proc/loadavg: 0.95 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1514472/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=58776 CPUtime=60.01
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 14368 0 0 0 5994 7 0 0 25 0 1 0 39227336 60186624 14281 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519066 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 14694 14281 205 16 0 14135 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 58776

[startup+70.0394 s]
/proc/loadavg: 0.95 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1507496/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=65632 CPUtime=70.11
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 16095 0 0 0 7003 8 0 0 25 0 1 0 39227336 67207168 16008 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 16408 16008 205 16 0 15849 0
Current children cumulated CPU time (s) 70.11
Current children cumulated vsize (Kb) 65632

[startup+80.1456 s]
/proc/loadavg: 0.96 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1501032/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=72168 CPUtime=80.11
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 17710 0 0 0 8003 8 0 0 25 0 1 0 39227336 73900032 17623 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 18042 17623 205 16 0 17483 0
Current children cumulated CPU time (s) 80.11
Current children cumulated vsize (Kb) 72168

[startup+90.1508 s]
/proc/loadavg: 0.97 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1494568/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=78640 CPUtime=90.12
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 19325 0 0 0 9003 9 0 0 25 0 1 0 39227336 80527360 19238 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134556250 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 19660 19238 205 16 0 19101 0
Current children cumulated CPU time (s) 90.12
Current children cumulated vsize (Kb) 78640

[startup+100.156 s]
/proc/loadavg: 0.97 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1489064/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=84060 CPUtime=100.12
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 20704 0 0 0 10002 10 0 0 25 0 1 0 39227336 86077440 20617 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 21015 20617 205 16 0 20456 0
Current children cumulated CPU time (s) 100.12
Current children cumulated vsize (Kb) 84060

[startup+110.162 s]
/proc/loadavg: 0.97 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1483368/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=89804 CPUtime=110.12
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 22115 0 0 0 11002 10 0 0 25 0 1 0 39227336 91959296 22028 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 22451 22028 205 16 0 21892 0
Current children cumulated CPU time (s) 110.12
Current children cumulated vsize (Kb) 89804

[startup+120.168 s]
/proc/loadavg: 0.98 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1477416/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=95696 CPUtime=120.13
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 23608 0 0 0 12001 12 0 0 25 0 1 0 39227336 97992704 23521 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 23924 23521 205 16 0 23365 0
Current children cumulated CPU time (s) 120.13
Current children cumulated vsize (Kb) 95696

[startup+130.175 s]
/proc/loadavg: 0.98 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1473320/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=99868 CPUtime=130.13
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 24630 0 0 0 13001 12 0 0 25 0 1 0 39227336 102264832 24543 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 24967 24543 205 16 0 24408 0
Current children cumulated CPU time (s) 130.13
Current children cumulated vsize (Kb) 99868

[startup+140.181 s]
/proc/loadavg: 0.98 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1469032/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=104096 CPUtime=140.13
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 25687 0 0 0 14001 12 0 0 25 0 1 0 39227336 106594304 25600 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 26024 25600 205 16 0 25465 0
Current children cumulated CPU time (s) 140.13
Current children cumulated vsize (Kb) 104096

[startup+150.186 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1464040/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=109020 CPUtime=150.14
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 26933 0 0 0 15001 13 0 0 25 0 1 0 39227336 111636480 26846 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519103 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 27255 26846 205 16 0 26696 0
Current children cumulated CPU time (s) 150.14
Current children cumulated vsize (Kb) 109020

[startup+160.192 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1459304/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=113740 CPUtime=160.21
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 28112 0 0 0 16008 13 0 0 25 0 1 0 39227336 116469760 28025 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8541852 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 28435 28025 205 16 0 27876 0
Current children cumulated CPU time (s) 160.21
Current children cumulated vsize (Kb) 113740

[startup+170.272 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1454376/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=118788 CPUtime=170.22
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 29343 0 0 0 17008 14 0 0 25 0 1 0 39227336 121638912 29256 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522744 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 29697 29256 205 16 0 29138 0
Current children cumulated CPU time (s) 170.22
Current children cumulated vsize (Kb) 118788

[startup+180.279 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1448552/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=124676 CPUtime=180.22
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 30798 0 0 0 18007 15 0 0 25 0 1 0 39227336 127668224 30711 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8540511 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 31169 30711 205 16 0 30610 0
Current children cumulated CPU time (s) 180.22
Current children cumulated vsize (Kb) 124676

[startup+190.285 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1442728/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=130512 CPUtime=190.22
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 32255 0 0 0 19007 15 0 0 25 0 1 0 39227336 133644288 32168 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 32628 32168 205 16 0 32069 0
Current children cumulated CPU time (s) 190.22
Current children cumulated vsize (Kb) 130512

[startup+200.291 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1437544/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=135684 CPUtime=200.23
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 33538 0 0 0 20007 16 0 0 25 0 1 0 39227336 138940416 33451 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 33921 33451 205 16 0 33362 0
Current children cumulated CPU time (s) 200.23
Current children cumulated vsize (Kb) 135684

[startup+210.296 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9402
/proc/meminfo: memFree=1432296/2055920 swapFree=4191908/4192956

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

/proc/9402/statm: 163467 162303 206 16 0 162908 0
Current children cumulated CPU time (s) 1590.7
Current children cumulated vsize (Kb) 653868

[startup+1601.15 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=920104/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=654668 CPUtime=1600.71
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 162605 0 0 0 159985 86 0 0 25 0 1 0 39227336 670380032 162518 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 163667 162518 206 16 0 163108 0
Current children cumulated CPU time (s) 1600.71
Current children cumulated vsize (Kb) 654668

[startup+1611.15 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=918184/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=656692 CPUtime=1610.71
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 163094 0 0 0 160985 86 0 0 25 0 1 0 39227336 672452608 163007 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 164173 163007 206 16 0 163614 0
Current children cumulated CPU time (s) 1610.71
Current children cumulated vsize (Kb) 656692

[startup+1621.16 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=914664/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=660216 CPUtime=1620.71
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 163987 0 0 0 161985 86 0 0 25 0 1 0 39227336 676061184 163900 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134533596 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 165054 163900 206 16 0 164495 0
Current children cumulated CPU time (s) 1620.71
Current children cumulated vsize (Kb) 660216

[startup+1631.16 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=910120/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=664720 CPUtime=1630.72
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 165114 0 0 0 162985 87 0 0 25 0 1 0 39227336 680673280 165027 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 166180 165027 206 16 0 165621 0
Current children cumulated CPU time (s) 1630.72
Current children cumulated vsize (Kb) 664720

[startup+1641.17 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=907560/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=667332 CPUtime=1640.72
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 165754 0 0 0 163985 87 0 0 25 0 1 0 39227336 683347968 165667 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 166833 165667 206 16 0 166274 0
Current children cumulated CPU time (s) 1640.72
Current children cumulated vsize (Kb) 667332

[startup+1651.18 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=905256/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=669572 CPUtime=1650.72
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 166323 0 0 0 164985 87 0 0 25 0 1 0 39227336 685641728 166236 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 167393 166236 206 16 0 166834 0
Current children cumulated CPU time (s) 1650.72
Current children cumulated vsize (Kb) 669572

[startup+1661.18 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=901480/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=673572 CPUtime=1660.72
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 167273 0 0 0 165984 88 0 0 25 0 1 0 39227336 689737728 167186 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 168393 167186 206 16 0 167834 0
Current children cumulated CPU time (s) 1660.72
Current children cumulated vsize (Kb) 673572

[startup+1671.19 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=897384/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=677600 CPUtime=1670.72
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 168281 0 0 0 166984 88 0 0 25 0 1 0 39227336 693862400 168194 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 169400 168194 206 16 0 168841 0
Current children cumulated CPU time (s) 1670.72
Current children cumulated vsize (Kb) 677600

[startup+1681.2 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=894376/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=680604 CPUtime=1680.73
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 169037 0 0 0 167984 89 0 0 25 0 1 0 39227336 696938496 168950 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 170151 168950 206 16 0 169592 0
Current children cumulated CPU time (s) 1680.73
Current children cumulated vsize (Kb) 680604

[startup+1691.2 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=891368/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=683664 CPUtime=1690.74
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 169788 0 0 0 168985 89 0 0 25 0 1 0 39227336 700071936 169701 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 170916 169701 206 16 0 170357 0
Current children cumulated CPU time (s) 1690.74
Current children cumulated vsize (Kb) 683664

[startup+1701.21 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=888488/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=686428 CPUtime=1700.73
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 170506 0 0 0 169984 89 0 0 25 0 1 0 39227336 702902272 170419 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 171607 170419 206 16 0 171048 0
Current children cumulated CPU time (s) 1700.73
Current children cumulated vsize (Kb) 686428

[startup+1711.21 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=885480/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=689440 CPUtime=1710.74
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 171253 0 0 0 170984 90 0 0 25 0 1 0 39227336 705986560 171166 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 172360 171166 206 16 0 171801 0
Current children cumulated CPU time (s) 1710.74
Current children cumulated vsize (Kb) 689440

[startup+1721.22 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=882408/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=692520 CPUtime=1720.74
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 172016 0 0 0 171984 90 0 0 25 0 1 0 39227336 709140480 171929 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 173130 171929 206 16 0 172571 0
Current children cumulated CPU time (s) 1720.74
Current children cumulated vsize (Kb) 692520

[startup+1731.23 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=879720/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=695288 CPUtime=1730.75
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 172696 0 0 0 172984 91 0 0 25 0 1 0 39227336 711974912 172609 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519085 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 173822 172609 206 16 0 173263 0
Current children cumulated CPU time (s) 1730.75
Current children cumulated vsize (Kb) 695288

[startup+1741.23 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=876520/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=699040 CPUtime=1740.76
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 173493 0 0 0 173984 92 0 0 25 0 1 0 39227336 715816960 173406 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8540443 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 174760 173406 206 16 0 174201 0
Current children cumulated CPU time (s) 1740.76
Current children cumulated vsize (Kb) 699040

[startup+1751.24 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=873384/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=702124 CPUtime=1750.75
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 174270 0 0 0 174983 92 0 0 25 0 1 0 39227336 718974976 174183 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8540511 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 175531 174183 206 16 0 174972 0
Current children cumulated CPU time (s) 1750.75
Current children cumulated vsize (Kb) 702124

[startup+1761.24 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=869928/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=705416 CPUtime=1760.76
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 175125 0 0 0 175983 93 0 0 25 0 1 0 39227336 722345984 175038 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 176354 175038 206 16 0 175795 0
Current children cumulated CPU time (s) 1760.76
Current children cumulated vsize (Kb) 705416

[startup+1771.25 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=866920/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=708544 CPUtime=1770.76
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 175881 0 0 0 176983 93 0 0 25 0 1 0 39227336 725549056 175794 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522504 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 177136 175794 206 16 0 176577 0
Current children cumulated CPU time (s) 1770.76
Current children cumulated vsize (Kb) 708544

[startup+1781.26 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=862888/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=712484 CPUtime=1780.77
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 176892 0 0 0 177983 94 0 0 25 0 1 0 39227336 729583616 176805 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519082 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 178121 176805 206 16 0 177562 0
Current children cumulated CPU time (s) 1780.77
Current children cumulated vsize (Kb) 712484

[startup+1782.26 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=862888/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=712484 CPUtime=1781.77
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194304 176893 0 0 0 178083 94 0 0 25 0 1 0 39227336 729583616 176806 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8540511 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 178121 176806 206 16 0 177562 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (Kb) 712484

[startup+1783.27 s]
/proc/loadavg: 0.99 0.98 0.93 2/64 9404
/proc/meminfo: memFree=1103208/2055920 swapFree=4191908/4192956
[pid=9402] ppid=9400 vsize=0 CPUtime=1782.77
/proc/9402/stat : 9402 (Pueblo) R 9400 9402 9356 0 -1 4194308 176941 0 0 0 178179 98 0 0 17 0 1 0 39227336 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/9402/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.77
Current children cumulated vsize (Kb) 0

Child status: 10
Real time (s): 1783.34
CPU time (s): 1782.85
CPU user time (s): 1781.8
CPU system time (s): 1.05584
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (Kb): 712484

Launcher Data (download as text)

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


FILE ID= 37067-1149300238

PBS_JOBID= 307336

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/Pueblo ROOT/tmp/node62/37067-1149300238/instance-37067-1149300238.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-37067-1149300238 -o ROOT/results/node62/solver-37067-1149300238 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node62/37067-1149300238/instance-37067-1149300238.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  2295cbab79cf702b6a93f1d0b8bae876

RANDOM SEED= 977764234


/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.225
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.225
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:       1570672 kB
Buffers:         32044 kB
Cached:         374772 kB
SwapCached:        572 kB
Active:          44140 kB
Inactive:       376892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1570672 kB
SwapTotal:     4192956 kB
SwapFree:      4191908 kB
Dirty:             240 kB
Writeback:           0 kB
Mapped:          23728 kB
Slab:            50224 kB
Committed_AS:   244968 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 node62 on Sat Jun  3 02:33:42 UTC 2006