Trace number 37063

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-7 1783.03 1783.78

General information on the benchmark

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

Verifier Data (download as text)

OK	-7

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node6/watcher-37063-1149299632 -o ROOT/results/node6/solver-37063-1149299632 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node6/37063-1149299632/instance-37063-1149299632.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1522192/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=2572 CPUtime=0
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 251 0 0 0 0 0 0 0 18 0 1 0 195625317 2633728 222 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 643 227 193 16 0 84 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1502488/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=22032 CPUtime=9.99
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 5204 0 0 0 997 2 0 0 25 0 1 0 195625317 22560768 5127 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134556831 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 5508 5127 206 16 0 4949 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 22032

[startup+20.0094 s]
/proc/loadavg: 0.94 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1499544/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=25232 CPUtime=19.99
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 6252 0 0 0 1997 2 0 0 25 0 1 0 195625317 25837568 5909 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524026 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 6308 5909 206 16 0 5749 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 25232

[startup+30.0164 s]
/proc/loadavg: 0.95 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1493464/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=31396 CPUtime=29.99
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 7783 0 0 0 2996 3 0 0 25 0 1 0 195625317 32149504 7440 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523633 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 7849 7440 206 16 0 7290 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 31396

[startup+40.0224 s]
/proc/loadavg: 0.96 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1487640/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=37172 CPUtime=40
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 9248 0 0 0 3996 4 0 0 25 0 1 0 195625317 38064128 8905 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 9293 8905 206 16 0 8734 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 37172

[startup+50.0293 s]
/proc/loadavg: 0.96 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1481880/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=42964 CPUtime=50
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 10684 0 0 0 4995 5 0 0 25 0 1 0 195625317 43995136 10341 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 10741 10341 206 16 0 10182 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 42964

[startup+60.0353 s]
/proc/loadavg: 0.97 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1476504/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=48396 CPUtime=60.01
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 12041 0 0 0 5995 6 0 0 25 0 1 0 195625317 49557504 11698 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 12099 11698 206 16 0 11540 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 48396

[startup+70.0423 s]
/proc/loadavg: 0.97 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1470744/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=54080 CPUtime=70.01
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 13476 0 0 0 6994 7 0 0 25 0 1 0 195625317 55377920 13133 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 13520 13133 206 16 0 12961 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 54080

[startup+80.0483 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1464920/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=60008 CPUtime=80.01
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 14936 0 0 0 7994 7 0 0 25 0 1 0 195625317 61448192 14593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 15002 14593 206 16 0 14443 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 60008

[startup+90.0543 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1458840/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=65924 CPUtime=90.01
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 16437 0 0 0 8993 8 0 0 25 0 1 0 195625317 67506176 16094 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 16481 16094 206 16 0 15922 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 65924

[startup+100.06 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1453848/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=71004 CPUtime=100.01
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 17684 0 0 0 9993 8 0 0 25 0 1 0 195625317 72708096 17341 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 17751 17341 206 16 0 17192 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 71004

[startup+110.066 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1448856/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=75992 CPUtime=110.01
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 18932 0 0 0 10992 9 0 0 25 0 1 0 195625317 77815808 18589 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 18998 18589 206 16 0 18439 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 75992

[startup+120.072 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1443608/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=81224 CPUtime=120.02
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 20251 0 0 0 11992 10 0 0 25 0 1 0 195625317 83173376 19908 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559594 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 20306 19908 206 16 0 19747 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 81224

[startup+130.078 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1438552/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=86240 CPUtime=130.02
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 21514 0 0 0 12992 10 0 0 25 0 1 0 195625317 88309760 21171 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523636 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 21560 21171 206 16 0 21001 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 86240

[startup+140.084 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1433496/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=91392 CPUtime=140.02
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 22771 0 0 0 13991 11 0 0 25 0 1 0 195625317 93585408 22428 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519066 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 22848 22428 206 16 0 22289 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 91392

[startup+150.09 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1428568/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=96344 CPUtime=150.02
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 24010 0 0 0 14991 11 0 0 25 0 1 0 195625317 98656256 23667 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 24086 23667 206 16 0 23527 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 96344

[startup+160.096 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1423704/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=101144 CPUtime=160.03
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 25211 0 0 0 15991 12 0 0 25 0 1 0 195625317 103571456 24868 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 25286 24868 206 16 0 24727 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 101144

[startup+170.102 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1418200/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=106652 CPUtime=170.03
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 26582 0 0 0 16990 13 0 0 25 0 1 0 195625317 109211648 26239 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557359 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 26663 26239 206 16 0 26104 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 106652

[startup+180.108 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1413144/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=111736 CPUtime=180.03
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 27855 0 0 0 17990 13 0 0 25 0 1 0 195625317 114417664 27512 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 27934 27512 206 16 0 27375 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 111736

[startup+190.114 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1408216/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=116512 CPUtime=190.03
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 29072 0 0 0 18990 13 0 0 25 0 1 0 195625317 119308288 28729 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528256 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 29128 28729 206 16 0 28569 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 116512

[startup+200.12 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1402584/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=122252 CPUtime=200.04
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 30472 0 0 0 19990 14 0 0 25 0 1 0 195625317 125186048 30129 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 30563 30129 206 16 0 30004 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 122252

[startup+210.126 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 11985
/proc/meminfo: memFree=1397336/2055924 swapFree=4181416/4192956

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

/proc/11985/statm: 212769 211594 206 16 0 212210 0
Current children cumulated CPU time (s) 1590.37
Current children cumulated vsize (Kb) 851076

[startup+1601.06 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=668248/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=856304 CPUtime=1600.37
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 213237 0 0 0 159914 123 0 0 25 0 1 0 195625317 876855296 212894 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 214076 212894 206 16 0 213517 0
Current children cumulated CPU time (s) 1600.37
Current children cumulated vsize (Kb) 856304

[startup+1611.06 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=664088/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=860352 CPUtime=1610.37
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 214269 0 0 0 160914 123 0 0 25 0 1 0 195625317 881000448 213926 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 215088 213926 206 16 0 214529 0
Current children cumulated CPU time (s) 1610.37
Current children cumulated vsize (Kb) 860352

[startup+1621.07 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=660184/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=864272 CPUtime=1620.37
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 215245 0 0 0 161914 123 0 0 25 0 1 0 195625317 885014528 214902 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 216068 214902 206 16 0 215509 0
Current children cumulated CPU time (s) 1620.37
Current children cumulated vsize (Kb) 864272

[startup+1631.08 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=655832/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=869140 CPUtime=1630.38
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 216327 0 0 0 162914 124 0 0 25 0 1 0 195625317 889999360 215984 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 217285 215984 206 16 0 216726 0
Current children cumulated CPU time (s) 1630.38
Current children cumulated vsize (Kb) 869140

[startup+1641.08 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=650456/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=874504 CPUtime=1640.38
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 217681 0 0 0 163914 124 0 0 25 0 1 0 195625317 895492096 217338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 218626 217338 206 16 0 218067 0
Current children cumulated CPU time (s) 1640.38
Current children cumulated vsize (Kb) 874504

[startup+1651.09 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=646040/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=878892 CPUtime=1650.39
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 218776 0 0 0 164914 125 0 0 25 0 1 0 195625317 899985408 218433 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527821 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 219723 218433 206 16 0 219164 0
Current children cumulated CPU time (s) 1650.39
Current children cumulated vsize (Kb) 878892

[startup+1661.1 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=642136/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=882812 CPUtime=1660.39
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 219747 0 0 0 165914 125 0 0 25 0 1 0 195625317 903999488 219404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 220703 219404 206 16 0 220144 0
Current children cumulated CPU time (s) 1660.39
Current children cumulated vsize (Kb) 882812

[startup+1671.1 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=637720/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=887240 CPUtime=1670.39
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 220846 0 0 0 166913 126 0 0 25 0 1 0 195625317 908533760 220503 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2621791 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 221810 220503 206 16 0 221251 0
Current children cumulated CPU time (s) 1670.39
Current children cumulated vsize (Kb) 887240

[startup+1681.11 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=632344/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=892504 CPUtime=1680.39
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 222187 0 0 0 167913 126 0 0 25 0 1 0 195625317 913924096 221844 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523657 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 223126 221844 206 16 0 222567 0
Current children cumulated CPU time (s) 1680.39
Current children cumulated vsize (Kb) 892504

[startup+1691.12 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=627800/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=897120 CPUtime=1690.39
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 223319 0 0 0 168912 127 0 0 25 0 1 0 195625317 918650880 222976 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2621791 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 224280 222976 206 16 0 223721 0
Current children cumulated CPU time (s) 1690.39
Current children cumulated vsize (Kb) 897120

[startup+1701.12 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=623768/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=901096 CPUtime=1700.4
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 224333 0 0 0 169912 128 0 0 25 0 1 0 195625317 922722304 223990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532911 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 225274 223990 206 16 0 224715 0
Current children cumulated CPU time (s) 1700.4
Current children cumulated vsize (Kb) 901096

[startup+1711.13 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=618904/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=905916 CPUtime=1710.4
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 225538 0 0 0 170912 128 0 0 25 0 1 0 195625317 927657984 225195 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134523647 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 226479 225195 206 16 0 225920 0
Current children cumulated CPU time (s) 1710.4
Current children cumulated vsize (Kb) 905916

[startup+1721.13 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=614296/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=910520 CPUtime=1720.4
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 226684 0 0 0 171912 128 0 0 25 0 1 0 195625317 932372480 226341 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 227630 226341 206 16 0 227071 0
Current children cumulated CPU time (s) 1720.4
Current children cumulated vsize (Kb) 910520

[startup+1731.14 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=609304/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=915512 CPUtime=1730.4
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 227931 0 0 0 172911 129 0 0 25 0 1 0 195625317 937484288 227588 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2623132 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 228878 227588 206 16 0 228319 0
Current children cumulated CPU time (s) 1730.4
Current children cumulated vsize (Kb) 915512

[startup+1741.15 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=604568/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=920228 CPUtime=1740.41
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 229115 0 0 0 173911 130 0 0 25 0 1 0 195625317 942313472 228772 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 230057 228772 206 16 0 229498 0
Current children cumulated CPU time (s) 1740.41
Current children cumulated vsize (Kb) 920228

[startup+1751.15 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=600408/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=924372 CPUtime=1750.4
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 230150 0 0 0 174910 130 0 0 25 0 1 0 195625317 946556928 229807 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 231093 229807 206 16 0 230534 0
Current children cumulated CPU time (s) 1750.4
Current children cumulated vsize (Kb) 924372

[startup+1761.16 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=595672/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=929184 CPUtime=1760.41
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 231338 0 0 0 175910 131 0 0 25 0 1 0 195625317 951484416 230995 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 232296 230995 206 16 0 231737 0
Current children cumulated CPU time (s) 1760.41
Current children cumulated vsize (Kb) 929184

[startup+1771.16 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=590872/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=933956 CPUtime=1770.41
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 232532 0 0 0 176909 132 0 0 25 0 1 0 195625317 956370944 232189 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 233489 232189 206 16 0 232930 0
Current children cumulated CPU time (s) 1770.41
Current children cumulated vsize (Kb) 933956

[startup+1781.17 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=585624/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=939136 CPUtime=1780.42
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 233846 0 0 0 177909 133 0 0 25 0 1 0 195625317 961675264 233503 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2623132 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 234784 233503 206 16 0 234225 0
Current children cumulated CPU time (s) 1780.42
Current children cumulated vsize (Kb) 939136

[startup+1782.18 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=584600/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=940148 CPUtime=1781.42
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 234103 0 0 0 178009 133 0 0 25 0 1 0 195625317 962711552 233760 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2623132 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 235037 233760 206 16 0 234478 0
Current children cumulated CPU time (s) 1781.42
Current children cumulated vsize (Kb) 940148

[startup+1783.18 s]
/proc/loadavg: 1.00 0.99 0.97 2/64 12656
/proc/meminfo: memFree=584600/2055924 swapFree=4181416/4192956
[pid=11985] ppid=11983 vsize=940148 CPUtime=1782.43
/proc/11985/stat : 11985 (Pueblo) R 11983 11985 11939 0 -1 4194304 234104 0 0 0 178110 133 0 0 25 0 1 0 195625317 962711552 233761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11985/statm: 235037 233761 206 16 0 234478 0
Current children cumulated CPU time (s) 1782.43
Current children cumulated vsize (Kb) 940148

Child status: 10
Real time (s): 1783.78
CPU time (s): 1783.03
CPU user time (s): 1781.55
CPU system time (s): 1.47678
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (Kb): 940148

Launcher Data (download as text)

Begin job on node6 on Sat Jun  3 01:53:52 UTC 2006


FILE ID= 37063-1149299632

PBS_JOBID= 307283

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  a2418d45f4247bab260506429e96e746

RANDOM SEED= 598701210


/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.268
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.268
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:      2055924 kB
MemFree:       1522400 kB
Buffers:         24440 kB
Cached:         437208 kB
SwapCached:       3472 kB
Active:          34524 kB
Inactive:       436092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1522400 kB
SwapTotal:     4192956 kB
SwapFree:      4181416 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14924 kB
Slab:            48952 kB
Committed_AS:   254108 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 node6 on Sat Jun  3 02:23:36 UTC 2006