Trace number 37065

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.95 1783.72

General information on the benchmark

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 3/68 17486
/proc/meminfo: memFree=1407816/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=2336 CPUtime=0
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 147 0 0 0 0 0 0 0 18 0 1 0 195650758 2392064 129 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11705240 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 584 129 110 16 0 11 0

[startup+10.0015 s]
/proc/loadavg: 1.01 0.97 0.91 2/73 17923
/proc/meminfo: memFree=1381544/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=22092 CPUtime=9.76
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 5167 0 0 0 973 3 0 0 25 0 1 0 195650758 22622208 5133 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519098 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 5523 5133 206 16 0 4963 0
Current children cumulated CPU time (s) 9.76
Current children cumulated vsize (Kb) 22092

[startup+20.0076 s]
/proc/loadavg: 1.16 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1343544/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=29284 CPUtime=19.76
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 7045 0 0 0 1965 11 0 0 25 0 1 0 195650758 29986816 6908 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 7321 6908 206 16 0 6761 0
Current children cumulated CPU time (s) 19.76
Current children cumulated vsize (Kb) 29284

[startup+30.0138 s]
/proc/loadavg: 1.13 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1335496/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=37524 CPUtime=29.75
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 9120 0 0 0 2964 11 0 0 25 0 1 0 195650758 38424576 8983 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 9381 8983 206 16 0 8821 0
Current children cumulated CPU time (s) 29.75
Current children cumulated vsize (Kb) 37524

[startup+40.02 s]
/proc/loadavg: 1.11 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1327560/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=45576 CPUtime=39.76
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 11127 0 0 0 3963 13 0 0 25 0 1 0 195650758 46669824 10990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 11394 10990 206 16 0 10834 0
Current children cumulated CPU time (s) 39.76
Current children cumulated vsize (Kb) 45576

[startup+50.0271 s]
/proc/loadavg: 1.10 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1318408/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=54760 CPUtime=49.76
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 13440 0 0 0 4963 13 0 0 25 0 1 0 195650758 56074240 13303 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519114 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 13690 13303 206 16 0 13130 0
Current children cumulated CPU time (s) 49.76
Current children cumulated vsize (Kb) 54760

[startup+60.0333 s]
/proc/loadavg: 1.08 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1310472/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=62784 CPUtime=59.76
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 15422 0 0 0 5962 14 0 0 25 0 1 0 195650758 64290816 15285 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522504 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 15696 15285 206 16 0 15136 0
Current children cumulated CPU time (s) 59.76
Current children cumulated vsize (Kb) 62784

[startup+70.0385 s]
/proc/loadavg: 1.07 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1302984/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=70304 CPUtime=69.77
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 17308 0 0 0 6961 16 0 0 25 0 1 0 195650758 71991296 17171 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 17576 17171 206 16 0 17016 0
Current children cumulated CPU time (s) 69.77
Current children cumulated vsize (Kb) 70304

[startup+80.0446 s]
/proc/loadavg: 1.06 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1295752/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=77576 CPUtime=79.77
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 19121 0 0 0 7961 16 0 0 25 0 1 0 195650758 79437824 18984 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519103 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 19394 18984 206 16 0 18834 0
Current children cumulated CPU time (s) 79.77
Current children cumulated vsize (Kb) 77576

[startup+90.0508 s]
/proc/loadavg: 1.05 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1287816/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=85536 CPUtime=89.77
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 21099 0 0 0 8960 17 0 0 25 0 1 0 195650758 87588864 20962 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519082 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 21384 20962 206 16 0 20824 0
Current children cumulated CPU time (s) 89.77
Current children cumulated vsize (Kb) 85536

[startup+100.057 s]
/proc/loadavg: 1.04 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1278984/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=94304 CPUtime=99.78
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 23303 0 0 0 9960 18 0 0 25 0 1 0 195650758 96567296 23166 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 23576 23166 206 16 0 23016 0
Current children cumulated CPU time (s) 99.78
Current children cumulated vsize (Kb) 94304

[startup+110.063 s]
/proc/loadavg: 1.03 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1270792/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=102588 CPUtime=109.79
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 25350 0 0 0 10959 20 0 0 25 0 1 0 195650758 105050112 25213 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 25647 25213 206 16 0 25087 0
Current children cumulated CPU time (s) 109.79
Current children cumulated vsize (Kb) 102588

[startup+120.069 s]
/proc/loadavg: 1.03 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1261832/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=111424 CPUtime=119.79
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 27590 0 0 0 11958 21 0 0 25 0 1 0 195650758 114098176 27453 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519120 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 27856 27453 206 16 0 27296 0
Current children cumulated CPU time (s) 119.79
Current children cumulated vsize (Kb) 111424

[startup+130.074 s]
/proc/loadavg: 1.02 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1252488/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=120904 CPUtime=129.79
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 29926 0 0 0 12957 22 0 0 25 0 1 0 195650758 123805696 29789 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 30226 29789 206 16 0 29666 0
Current children cumulated CPU time (s) 129.79
Current children cumulated vsize (Kb) 120904

[startup+140.081 s]
/proc/loadavg: 1.02 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1243080/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=130284 CPUtime=139.79
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 32269 0 0 0 13956 23 0 0 25 0 1 0 195650758 133410816 32132 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 32571 32132 206 16 0 32011 0
Current children cumulated CPU time (s) 139.79
Current children cumulated vsize (Kb) 130284

[startup+150.087 s]
/proc/loadavg: 1.02 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1235144/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=138260 CPUtime=149.8
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 34247 0 0 0 14956 24 0 0 25 0 1 0 195650758 141578240 34110 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 34565 34110 206 16 0 34005 0
Current children cumulated CPU time (s) 149.8
Current children cumulated vsize (Kb) 138260

[startup+160.093 s]
/proc/loadavg: 1.01 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1226696/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=146816 CPUtime=159.8
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 36359 0 0 0 15955 25 0 0 25 0 1 0 195650758 150339584 36222 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12171307 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 36704 36222 206 16 0 36144 0
Current children cumulated CPU time (s) 159.8
Current children cumulated vsize (Kb) 146816

[startup+170.099 s]
/proc/loadavg: 1.01 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1214536/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=158952 CPUtime=169.81
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 39387 0 0 0 16954 27 0 0 25 0 1 0 195650758 162766848 39250 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 39738 39250 206 16 0 39178 0
Current children cumulated CPU time (s) 169.81
Current children cumulated vsize (Kb) 158952

[startup+180.106 s]
/proc/loadavg: 1.01 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1205512/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=167980 CPUtime=179.81
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 41645 0 0 0 17953 28 0 0 25 0 1 0 195650758 172011520 41508 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12169999 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 41995 41508 206 16 0 41435 0
Current children cumulated CPU time (s) 179.81
Current children cumulated vsize (Kb) 167980

[startup+190.111 s]
/proc/loadavg: 1.01 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1199112/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=174504 CPUtime=189.8
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 43238 0 0 0 18952 28 0 0 25 0 1 0 195650758 178692096 43101 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519098 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 43626 43101 206 16 0 43066 0
Current children cumulated CPU time (s) 189.8
Current children cumulated vsize (Kb) 174504

[startup+200.118 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1192456/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=181192 CPUtime=199.81
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 44889 0 0 0 19951 30 0 0 25 0 1 0 195650758 185540608 44752 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 45298 44752 206 16 0 44738 0
Current children cumulated CPU time (s) 199.81
Current children cumulated vsize (Kb) 181192

[startup+210.124 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=1185928/2055892 swapFree=4085348/4096564

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

/proc/17486/statm: 237177 235767 206 16 0 236617 0
Current children cumulated CPU time (s) 1590.24
Current children cumulated vsize (Kb) 948708

[startup+1600.96 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=422472/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=953028 CPUtime=1600.25
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 237018 0 0 0 159891 134 0 0 25 0 1 0 195650758 975900672 236881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 238257 236881 206 16 0 237697 0
Current children cumulated CPU time (s) 1600.25
Current children cumulated vsize (Kb) 953028

[startup+1610.97 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=417672/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=957820 CPUtime=1610.24
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 238207 0 0 0 160890 134 0 0 25 0 1 0 195650758 980807680 238070 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12169999 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 239455 238070 206 16 0 238895 0
Current children cumulated CPU time (s) 1610.24
Current children cumulated vsize (Kb) 957820

[startup+1620.97 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=412936/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=962496 CPUtime=1620.25
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 239387 0 0 0 161890 135 0 0 25 0 1 0 195650758 985595904 239250 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 240624 239250 206 16 0 240064 0
Current children cumulated CPU time (s) 1620.25
Current children cumulated vsize (Kb) 962496

[startup+1630.98 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=409544/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=965908 CPUtime=1630.25
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 240240 0 0 0 162890 135 0 0 25 0 1 0 195650758 989089792 240103 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 241477 240103 206 16 0 240917 0
Current children cumulated CPU time (s) 1630.25
Current children cumulated vsize (Kb) 965908

[startup+1640.99 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=405000/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=970428 CPUtime=1640.25
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 241364 0 0 0 163890 135 0 0 25 0 1 0 195650758 993718272 241227 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12171340 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 242607 241227 206 16 0 242047 0
Current children cumulated CPU time (s) 1640.25
Current children cumulated vsize (Kb) 970428

[startup+1650.99 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=400200/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=975212 CPUtime=1650.26
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 242561 0 0 0 164890 136 0 0 25 0 1 0 195650758 998617088 242424 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12171340 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 243803 242424 206 16 0 243243 0
Current children cumulated CPU time (s) 1650.26
Current children cumulated vsize (Kb) 975212

[startup+1661 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=396360/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=978992 CPUtime=1660.26
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 243525 0 0 0 165889 137 0 0 25 0 1 0 195650758 1002487808 243388 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 244748 243388 206 16 0 244188 0
Current children cumulated CPU time (s) 1660.26
Current children cumulated vsize (Kb) 978992

[startup+1671 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=391496/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=983824 CPUtime=1670.27
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 244723 0 0 0 166889 138 0 0 25 0 1 0 195650758 1007435776 244586 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 245956 244586 206 16 0 245396 0
Current children cumulated CPU time (s) 1670.27
Current children cumulated vsize (Kb) 983824

[startup+1681.01 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=388104/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=987344 CPUtime=1680.26
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 245596 0 0 0 167888 138 0 0 25 0 1 0 195650758 1011040256 245459 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 246836 245459 206 16 0 246276 0
Current children cumulated CPU time (s) 1680.26
Current children cumulated vsize (Kb) 987344

[startup+1691.02 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=384136/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=991324 CPUtime=1690.27
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 246586 0 0 0 168888 139 0 0 25 0 1 0 195650758 1015115776 246449 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12171340 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 247831 246449 206 16 0 247271 0
Current children cumulated CPU time (s) 1690.27
Current children cumulated vsize (Kb) 991324

[startup+1701.02 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=379656/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=995732 CPUtime=1700.28
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 247699 0 0 0 169888 140 0 0 25 0 1 0 195650758 1019629568 247562 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 248933 247562 206 16 0 248373 0
Current children cumulated CPU time (s) 1700.28
Current children cumulated vsize (Kb) 995732

[startup+1711.03 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=376392/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=998892 CPUtime=1710.28
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 248504 0 0 0 170888 140 0 0 25 0 1 0 195650758 1022865408 248367 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12171340 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 249723 248367 206 16 0 249163 0
Current children cumulated CPU time (s) 1710.28
Current children cumulated vsize (Kb) 998892

[startup+1721.03 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=372360/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=1003268 CPUtime=1720.28
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 249511 0 0 0 171888 140 0 0 25 0 1 0 195650758 1027346432 249374 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 250817 249374 206 16 0 250257 0
Current children cumulated CPU time (s) 1720.28
Current children cumulated vsize (Kb) 1003268

[startup+1731.04 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=368520/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=1007140 CPUtime=1730.28
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 250476 0 0 0 172887 141 0 0 25 0 1 0 195650758 1031311360 250339 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12169999 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 251785 250339 206 16 0 251225 0
Current children cumulated CPU time (s) 1730.28
Current children cumulated vsize (Kb) 1007140

[startup+1741.05 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=365064/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=1010556 CPUtime=1740.28
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 251338 0 0 0 173887 141 0 0 25 0 1 0 195650758 1034809344 251201 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12171340 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 252639 251201 206 16 0 252079 0
Current children cumulated CPU time (s) 1740.28
Current children cumulated vsize (Kb) 1010556

[startup+1751.05 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=361160/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=1014392 CPUtime=1750.29
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 252313 0 0 0 174887 142 0 0 25 0 1 0 195650758 1038737408 252176 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 253598 252176 206 16 0 253038 0
Current children cumulated CPU time (s) 1750.29
Current children cumulated vsize (Kb) 1014392

[startup+1761.06 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=356104/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=1019416 CPUtime=1760.3
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 253564 0 0 0 175887 143 0 0 25 0 1 0 195650758 1043881984 253427 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 254854 253427 206 16 0 254294 0
Current children cumulated CPU time (s) 1760.3
Current children cumulated vsize (Kb) 1019416

[startup+1771.06 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=351816/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=1023616 CPUtime=1770.3
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 254634 0 0 0 176887 143 0 0 25 0 1 0 195650758 1048182784 254497 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 255904 254497 206 16 0 255344 0
Current children cumulated CPU time (s) 1770.3
Current children cumulated vsize (Kb) 1023616

[startup+1781.07 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=346760/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=1028832 CPUtime=1780.3
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 255907 0 0 0 177887 143 0 0 25 0 1 0 195650758 1053523968 255770 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12169999 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 257208 255770 206 16 0 256648 0
Current children cumulated CPU time (s) 1780.3
Current children cumulated vsize (Kb) 1028832

[startup+1782.07 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=346248/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=1029216 CPUtime=1781.3
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 256030 0 0 0 177987 143 0 0 25 0 1 0 195650758 1053917184 255893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557266 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 257304 255893 206 16 0 256744 0
Current children cumulated CPU time (s) 1781.3
Current children cumulated vsize (Kb) 1029216

[startup+1783.08 s]
/proc/loadavg: 1.00 1.00 0.92 2/68 17978
/proc/meminfo: memFree=346248/2055892 swapFree=4085348/4096564
[pid=17486] ppid=17484 vsize=1029216 CPUtime=1782.31
/proc/17486/stat : 17486 (Pueblo) R 17484 17486 17440 0 -1 4194304 256031 0 0 0 178088 143 0 0 25 0 1 0 195650758 1053917184 255894 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12169999 0 0 4096 0 0 0 0 17 1 0 0
/proc/17486/statm: 257304 255894 206 16 0 256744 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (Kb) 1029216

Child status: 10
Real time (s): 1783.72
CPU time (s): 1782.95
CPU user time (s): 1781.37
CPU system time (s): 1.58376
CPU usage (%): 99.957
Max. virtual memory (cumulated for all children) (Kb): 1029216

Launcher Data (download as text)

Begin job on node85 on Sat Jun  3 02:01:55 UTC 2006


FILE ID= 37065-1149300115

PBS_JOBID= 307307

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  36a19a7aeba117287b60c4673ad89664

RANDOM SEED= 298858652


/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.218
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.218
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.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1408088 kB
Buffers:         34004 kB
Cached:         537680 kB
SwapCached:       2508 kB
Active:          63092 kB
Inactive:       517360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1408088 kB
SwapTotal:     4096564 kB
SwapFree:      4085348 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          16760 kB
Slab:            53928 kB
Committed_AS:   308736 kB
PageTables:       1292 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node85 on Sat Jun  3 02:31:39 UTC 2006