Trace number 37066

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-8 1782.92 1783.4

General information on the benchmark

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

Verifier Data (download as text)

OK	-8

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.03 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1346736/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=2336 CPUtime=0
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 83 0 0 0 0 0 0 0 18 0 1 0 195653338 2392064 68 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2567169 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 584 86 72 16 0 11 0

[startup+10.0028 s]
/proc/loadavg: 1.03 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1327360/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=21808 CPUtime=9.98
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 5138 0 0 0 996 2 0 0 25 0 1 0 195653338 22331392 5069 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 5452 5069 206 16 0 4892 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 21808

[startup+20.0089 s]
/proc/loadavg: 1.02 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1319040/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=30188 CPUtime=19.99
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 7231 0 0 0 1995 4 0 0 25 0 1 0 195653338 30912512 7162 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523652 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 7547 7162 206 16 0 6987 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 30188

[startup+30.015 s]
/proc/loadavg: 1.02 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1308672/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=40736 CPUtime=29.99
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 9855 0 0 0 2993 6 0 0 25 0 1 0 195653338 41713664 9786 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 10184 9786 206 16 0 9624 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 40736

[startup+40.0211 s]
/proc/loadavg: 1.02 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1301824/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=47712 CPUtime=40
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 11597 0 0 0 3993 7 0 0 25 0 1 0 195653338 48857088 11528 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 11928 11528 206 16 0 11368 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 47712

[startup+50.0272 s]
/proc/loadavg: 1.01 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1292032/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=57392 CPUtime=50
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 14027 0 0 0 4992 8 0 0 25 0 1 0 195653338 58769408 13958 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522748 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 14348 13958 206 16 0 13788 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 57392

[startup+60.0332 s]
/proc/loadavg: 1.01 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1277504/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=71984 CPUtime=60
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 17665 0 0 0 5991 9 0 0 25 0 1 0 195653338 73711616 17596 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 17996 17596 206 16 0 17436 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 71984

[startup+70.0393 s]
/proc/loadavg: 1.01 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1255168/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=94348 CPUtime=70.01
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 23233 0 0 0 6990 11 0 0 25 0 1 0 195653338 96612352 23164 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 23587 23164 206 16 0 23027 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 94348

[startup+80.0454 s]
/proc/loadavg: 1.01 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1247936/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=101684 CPUtime=80.01
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 25043 0 0 0 7990 11 0 0 25 0 1 0 195653338 104124416 24974 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3033077 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 25421 24974 206 16 0 24861 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 101684

[startup+90.0505 s]
/proc/loadavg: 1.01 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1241024/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=108460 CPUtime=90.01
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 26755 0 0 0 8989 12 0 0 25 0 1 0 195653338 111063040 26686 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 27115 26686 206 16 0 26555 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 108460

[startup+100.056 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1234176/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=115312 CPUtime=100.01
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 28468 0 0 0 9988 13 0 0 25 0 1 0 195653338 118079488 28399 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134556363 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 28828 28399 206 16 0 28268 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 115312

[startup+110.062 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1226624/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=122960 CPUtime=110.02
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 30354 0 0 0 10988 14 0 0 25 0 1 0 195653338 125911040 30285 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 30740 30285 206 16 0 30180 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 122960

[startup+120.068 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1219328/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=130208 CPUtime=120.02
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 32169 0 0 0 11987 15 0 0 25 0 1 0 195653338 133332992 32100 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2714737 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 32552 32100 206 16 0 31992 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 130208

[startup+130.074 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1204736/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=144972 CPUtime=130.02
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 35803 0 0 0 12986 16 0 0 25 0 1 0 195653338 148451328 35734 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 36243 35734 206 16 0 35683 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 144972

[startup+140.08 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1190720/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=159328 CPUtime=140.03
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 39311 0 0 0 13985 18 0 0 25 0 1 0 195653338 163151872 39242 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 39832 39242 206 16 0 39272 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 159328

[startup+150.086 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1175488/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=174772 CPUtime=150.03
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 43103 0 0 0 14984 19 0 0 25 0 1 0 195653338 178966528 43034 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519068 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 43693 43034 206 16 0 43133 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 174772

[startup+160.091 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1165248/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=184996 CPUtime=160.03
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 45667 0 0 0 15983 20 0 0 25 0 1 0 195653338 189435904 45598 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 46249 45598 206 16 0 45689 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 184996

[startup+170.097 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1154816/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=195448 CPUtime=170.04
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 48272 0 0 0 16982 22 0 0 25 0 1 0 195653338 200138752 48203 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523647 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 48862 48203 206 16 0 48302 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 195448

[startup+180.103 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1145152/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=205040 CPUtime=180.04
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 50682 0 0 0 17981 23 0 0 25 0 1 0 195653338 209960960 50613 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 51260 50613 206 16 0 50700 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 205040

[startup+190.109 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1133632/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=216528 CPUtime=190.04
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 53554 0 0 0 18980 24 0 0 25 0 1 0 195653338 221724672 53485 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 54132 53485 206 16 0 53572 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 216528

[startup+200.115 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1125504/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=224692 CPUtime=200.05
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 55583 0 0 0 19980 25 0 0 25 0 1 0 195653338 230084608 55514 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523674 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 56173 55514 206 16 0 55613 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 224692

[startup+210.121 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=1117440/2055892 swapFree=4085424/4096564

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

/proc/32592/statm: 218847 217357 206 16 0 218287 0
Current children cumulated CPU time (s) 1590.51
Current children cumulated vsize (Kb) 875388

[startup+1600.94 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=473216/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=879096 CPUtime=1600.51
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 218414 0 0 0 159948 103 0 0 25 0 1 0 195653338 900194304 218281 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3033164 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 219774 218281 206 16 0 219214 0
Current children cumulated CPU time (s) 1600.51
Current children cumulated vsize (Kb) 879096

[startup+1610.94 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=468992/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=883208 CPUtime=1610.51
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 219462 0 0 0 160948 103 0 0 25 0 1 0 195653338 904404992 219329 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519098 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 220802 219329 206 16 0 220242 0
Current children cumulated CPU time (s) 1610.51
Current children cumulated vsize (Kb) 883208

[startup+1620.95 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=465856/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=886472 CPUtime=1620.51
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 220248 0 0 0 161947 104 0 0 25 0 1 0 195653338 907747328 220115 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524544 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 221618 220115 206 16 0 221058 0
Current children cumulated CPU time (s) 1620.51
Current children cumulated vsize (Kb) 886472

[startup+1630.95 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=462784/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=889404 CPUtime=1630.51
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 221002 0 0 0 162947 104 0 0 25 0 1 0 195653338 910749696 220869 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3033164 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 222351 220869 206 16 0 221791 0
Current children cumulated CPU time (s) 1630.51
Current children cumulated vsize (Kb) 889404

[startup+1640.96 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=457920/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=894264 CPUtime=1640.52
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 222217 0 0 0 163947 105 0 0 25 0 1 0 195653338 915726336 222084 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3031823 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 223566 222084 206 16 0 223006 0
Current children cumulated CPU time (s) 1640.52
Current children cumulated vsize (Kb) 894264

[startup+1650.96 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=454208/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=897960 CPUtime=1650.52
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 223151 0 0 0 164947 105 0 0 25 0 1 0 195653338 919511040 223018 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3031823 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 224490 223018 206 16 0 223930 0
Current children cumulated CPU time (s) 1650.52
Current children cumulated vsize (Kb) 897960

[startup+1660.97 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=450496/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=901616 CPUtime=1660.52
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 224066 0 0 0 165946 106 0 0 25 0 1 0 195653338 923254784 223933 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3031823 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 225404 223933 206 16 0 224844 0
Current children cumulated CPU time (s) 1660.52
Current children cumulated vsize (Kb) 901616

[startup+1670.98 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=445824/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=906404 CPUtime=1670.53
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 225233 0 0 0 166946 107 0 0 25 0 1 0 195653338 928157696 225100 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3033164 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 226601 225100 206 16 0 226041 0
Current children cumulated CPU time (s) 1670.53
Current children cumulated vsize (Kb) 906404

[startup+1680.98 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=442560/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=909720 CPUtime=1680.53
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 226060 0 0 0 167946 107 0 0 25 0 1 0 195653338 931553280 225927 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 227430 225927 206 16 0 226870 0
Current children cumulated CPU time (s) 1680.53
Current children cumulated vsize (Kb) 909720

[startup+1690.99 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=438272/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=913932 CPUtime=1690.53
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 227130 0 0 0 168945 108 0 0 25 0 1 0 195653338 935866368 226997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 228483 226997 206 16 0 227923 0
Current children cumulated CPU time (s) 1690.53
Current children cumulated vsize (Kb) 913932

[startup+1700.99 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=435840/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=916576 CPUtime=1700.54
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 227734 0 0 0 169946 108 0 0 25 0 1 0 195653338 938573824 227601 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 229144 227601 206 16 0 228584 0
Current children cumulated CPU time (s) 1700.54
Current children cumulated vsize (Kb) 916576

[startup+1711 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=432576/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=919868 CPUtime=1710.54
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 228546 0 0 0 170946 108 0 0 25 0 1 0 195653338 941944832 228413 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532856 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 229967 228413 206 16 0 229407 0
Current children cumulated CPU time (s) 1710.54
Current children cumulated vsize (Kb) 919868

[startup+1721.01 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=428224/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=924220 CPUtime=1720.54
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 229622 0 0 0 171945 109 0 0 25 0 1 0 195653338 946401280 229489 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3033164 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 231055 229489 206 16 0 230495 0
Current children cumulated CPU time (s) 1720.54
Current children cumulated vsize (Kb) 924220

[startup+1731.01 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=425408/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=927036 CPUtime=1730.55
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 230337 0 0 0 172946 109 0 0 25 0 1 0 195653338 949284864 230204 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 231759 230204 206 16 0 231199 0
Current children cumulated CPU time (s) 1730.55
Current children cumulated vsize (Kb) 927036

[startup+1741.02 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=420480/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=931848 CPUtime=1740.55
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 231562 0 0 0 173945 110 0 0 25 0 1 0 195653338 954212352 231429 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 3033164 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 232962 231429 206 16 0 232402 0
Current children cumulated CPU time (s) 1740.55
Current children cumulated vsize (Kb) 931848

[startup+1751.02 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=417856/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=934536 CPUtime=1750.55
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 232210 0 0 0 174945 110 0 0 25 0 1 0 195653338 956964864 232077 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 233634 232077 206 16 0 233074 0
Current children cumulated CPU time (s) 1750.55
Current children cumulated vsize (Kb) 934536

[startup+1761.03 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=415232/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=937036 CPUtime=1760.55
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 232872 0 0 0 175945 110 0 0 25 0 1 0 195653338 959524864 232739 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 234259 232739 206 16 0 233699 0
Current children cumulated CPU time (s) 1760.55
Current children cumulated vsize (Kb) 937036

[startup+1771.03 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=411584/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=940716 CPUtime=1770.56
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 233776 0 0 0 176945 111 0 0 25 0 1 0 195653338 963293184 233643 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 235179 233643 206 16 0 234619 0
Current children cumulated CPU time (s) 1770.56
Current children cumulated vsize (Kb) 940716

[startup+1781.04 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=409600/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=942636 CPUtime=1780.57
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 234273 0 0 0 177946 111 0 0 25 0 1 0 195653338 965259264 234140 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 235659 234140 206 16 0 235099 0
Current children cumulated CPU time (s) 1780.57
Current children cumulated vsize (Kb) 942636

[startup+1782.05 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=408768/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=943500 CPUtime=1781.57
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 234473 0 0 0 178046 111 0 0 25 0 1 0 195653338 966144000 234340 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527883 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 235875 234340 206 16 0 235315 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (Kb) 943500

[startup+1783.05 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 32592
/proc/meminfo: memFree=407936/2055892 swapFree=4085424/4096564
[pid=32592] ppid=32590 vsize=944232 CPUtime=1782.57
/proc/32592/stat : 32592 (Pueblo) R 32590 32592 32546 0 -1 4194304 234681 0 0 0 178146 111 0 0 25 0 1 0 195653338 966893568 234548 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/32592/statm: 236058 234548 206 16 0 235498 0
Current children cumulated CPU time (s) 1782.57
Current children cumulated vsize (Kb) 944232

Child status: 10
Real time (s): 1783.4
CPU time (s): 1782.92
CPU user time (s): 1781.67
CPU system time (s): 1.24981
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (Kb): 944232

Launcher Data (download as text)

Begin job on node79 on Sat Jun  3 02:02:27 UTC 2006


FILE ID= 37066-1149300147

PBS_JOBID= 307316

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  f7a936a02ddf18c17dc27b7b53733ab1

RANDOM SEED= 455379592


/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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.18
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1346944 kB
Buffers:         37636 kB
Cached:         599156 kB
SwapCached:       2612 kB
Active:         108392 kB
Inactive:       537372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1346944 kB
SwapTotal:     4096564 kB
SwapFree:      4085424 kB
Dirty:            4232 kB
Writeback:           0 kB
Mapped:          16684 kB
Slab:            49784 kB
Committed_AS:   287716 kB
PageTables:       1304 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node79 on Sat Jun  3 02:32:11 UTC 2006