Trace number 353763

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.48

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

Verifier Data (download as text)

OK	-8

Conversion Script Data (download as text)

/tmp/evaluation/353763-1176675165/instance-353763-1176675165.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node71/watcher-353763-1176675165 -o ROOT/results/node71/solver-353763-1176675165 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353763-1176675165/instance-353763-1176675165.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 3233
/proc/meminfo: memFree=1772336/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=2552 CPUtime=0
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 143505866 2613248 228 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7671511 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 638 230 193 16 0 77 0

[startup+0.0861181 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 3233
/proc/meminfo: memFree=1772336/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=3748 CPUtime=0.08
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 569 0 0 0 8 0 0 0 18 0 1 0 143505866 3837952 539 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7671511 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 937 539 199 16 0 376 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3748

[startup+0.10112 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 3233
/proc/meminfo: memFree=1772336/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=4016 CPUtime=0.09
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 622 0 0 0 9 0 0 0 18 0 1 0 143505866 4112384 592 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7671511 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 1004 592 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301147 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 3233
/proc/meminfo: memFree=1772336/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=6680 CPUtime=0.29
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 1306 0 0 0 29 0 0 0 19 0 1 0 143505866 6840320 1276 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 1670 1276 199 16 0 1109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6680

[startup+0.701202 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 3233
/proc/meminfo: memFree=1772336/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=12144 CPUtime=0.69
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 2654 0 0 0 69 0 0 0 22 0 1 0 143505866 12435456 2624 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7671511 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 3036 2624 199 16 0 2475 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12144

[startup+1.50231 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3234
/proc/meminfo: memFree=1758568/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=19140 CPUtime=1.49
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 4397 0 0 0 148 1 0 0 25 0 1 0 143505866 19599360 4367 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134555831 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 4785 4367 204 16 0 4224 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19140

[startup+3.10153 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3234
/proc/meminfo: memFree=1753960/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=21468 CPUtime=3.09
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 4983 0 0 0 307 2 0 0 25 0 1 0 143505866 21983232 4953 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523628 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 5367 4953 206 16 0 4806 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21468

[startup+6.30196 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1752808/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=21828 CPUtime=6.29
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 5088 0 0 0 627 2 0 0 25 0 1 0 143505866 22351872 5058 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 5457 5058 206 16 0 4896 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21828

[startup+12.7018 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1752368/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=22220 CPUtime=12.68
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 5288 0 0 0 1266 2 0 0 25 0 1 0 143505866 22753280 5149 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524593 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 5555 5149 206 16 0 4994 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22220

[startup+25.5016 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1742192/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=32408 CPUtime=25.48
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 7855 0 0 0 2545 3 0 0 25 0 1 0 143505866 33185792 7716 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523276 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 8102 7716 206 16 0 7541 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32408

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1722992/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=52144 CPUtime=51.07
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 12776 0 0 0 5102 5 0 0 25 0 1 0 143505866 53395456 12637 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 13036 12637 206 16 0 12475 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 52144

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1684784/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=89920 CPUtime=102.26
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 22197 0 0 0 10216 10 0 0 25 0 1 0 143505866 92078080 22058 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517721 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 22480 22058 206 16 0 21919 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 89920

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1635312/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=139688 CPUtime=162.23
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 34593 0 0 0 16206 17 0 0 25 0 1 0 143505866 143040512 34454 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 34922 34454 206 16 0 34361 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 139688

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1588784/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=186428 CPUtime=222.21
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 46190 0 0 0 22198 23 0 0 25 0 1 0 143505866 190902272 46051 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519077 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 46607 46051 206 16 0 46046 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 186428

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1550256/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=224668 CPUtime=282.2
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 55737 0 0 0 28191 29 0 0 25 0 1 0 143505866 230060032 55598 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 56167 55598 206 16 0 55606 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 224668

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1511216/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=264400 CPUtime=342.18
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 65619 0 0 0 34185 33 0 0 25 0 1 0 143505866 270745600 65480 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7644109 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 66100 65481 206 16 0 65539 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 264400

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1472432/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=304048 CPUtime=402.16
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 75487 0 0 0 40177 39 0 0 25 0 1 0 143505866 311345152 75348 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 76012 75348 206 16 0 75451 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 304048

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1430192/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=345536 CPUtime=462.14
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 85802 0 0 0 46168 46 0 0 25 0 1 0 143505866 353828864 85663 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 86384 85663 206 16 0 85823 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 345536

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1390000/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=385956 CPUtime=522.13
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 95868 0 0 0 52163 50 0 0 25 0 1 0 143505866 395218944 95729 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 96489 95729 206 16 0 95928 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 385956

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1343088/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=432808 CPUtime=582.1
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 107532 0 0 0 58153 57 0 0 25 0 1 0 143505866 443195392 107393 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 108202 107393 206 16 0 107641 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 432808

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1302320/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=473072 CPUtime=642.09
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 117563 0 0 0 64146 63 0 0 25 0 1 0 143505866 484425728 117424 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523674 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 118268 117424 206 16 0 117707 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 473072


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

/proc/meminfo: memFree=1170736/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=604972 CPUtime=882.01
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 150521 0 0 0 88123 78 0 0 25 0 1 0 143505866 619491328 150382 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 151243 150382 206 16 0 150682 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 604972

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1139696/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=636468 CPUtime=941.99
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 158427 0 0 0 94117 82 0 0 25 0 1 0 143505866 651743232 158288 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 159117 158288 206 16 0 158556 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 636468

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1110384/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=664840 CPUtime=1001.97
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 165508 0 0 0 100110 87 0 0 25 0 1 0 143505866 680796160 165369 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7639391 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 166210 165369 206 16 0 165649 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 664840

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1081968/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=693560 CPUtime=1061.95
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 172632 0 0 0 106104 91 0 0 25 0 1 0 143505866 710205440 172493 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 173390 172493 206 16 0 172829 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 693560

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1049200/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=726544 CPUtime=1121.93
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 180879 0 0 0 112097 96 0 0 25 0 1 0 143505866 743981056 180740 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532856 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 181636 180740 206 16 0 181075 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 726544

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=1019248/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=755752 CPUtime=1181.92
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 188189 0 0 0 118091 101 0 0 25 0 1 0 143505866 773890048 188050 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 188938 188050 206 16 0 188377 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 755752

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=991920/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=783232 CPUtime=1241.9
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 195008 0 0 0 124084 106 0 0 25 0 1 0 143505866 802029568 194869 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7639391 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 195808 194869 206 16 0 195247 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 783232

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=962864/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=812400 CPUtime=1301.88
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 202272 0 0 0 130078 110 0 0 25 0 1 0 143505866 831897600 202133 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7640645 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 203100 202133 206 16 0 202539 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 812400

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=935984/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=839584 CPUtime=1361.86
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 208961 0 0 0 136070 116 0 0 25 0 1 0 143505866 859734016 208822 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519885 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 209896 208822 206 16 0 209335 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 839584

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 3234
/proc/meminfo: memFree=908784/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=867172 CPUtime=1421.85
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 215775 0 0 0 142064 121 0 0 25 0 1 0 143505866 887984128 215636 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7639391 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 216793 215636 206 16 0 216232 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 867172

[startup+1482.3 s]
/proc/loadavg: 1.10 1.03 1.00 2/65 3234
/proc/meminfo: memFree=889776/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=886956 CPUtime=1481.82
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 220658 0 0 0 148058 124 0 0 25 0 1 0 143505866 908242944 220519 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7639391 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 221739 220519 206 16 0 221178 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 886956

[startup+1542.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 3234
/proc/meminfo: memFree=871216/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=905216 CPUtime=1541.8
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 225147 0 0 0 154053 127 0 0 25 0 1 0 143505866 926941184 225008 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7640732 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 226304 225008 206 16 0 225743 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 905216

[startup+1602.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/65 3234
/proc/meminfo: memFree=853488/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=923356 CPUtime=1601.78
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 229613 0 0 0 160047 131 0 0 25 0 1 0 143505866 945516544 229474 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7640726 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 230839 229474 206 16 0 230278 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 923356

[startup+1662.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/65 3236
/proc/meminfo: memFree=831408/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=945440 CPUtime=1661.77
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 235092 0 0 0 166042 135 0 0 25 0 1 0 143505866 968130560 234953 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 236360 234953 206 16 0 235799 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 945440

[startup+1722.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 3236
/proc/meminfo: memFree=808368/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=968048 CPUtime=1721.75
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 240788 0 0 0 172035 140 0 0 25 0 1 0 143505866 991281152 240649 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7640732 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 242012 240649 206 16 0 241451 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 968048

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3236
/proc/meminfo: memFree=784432/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=992048 CPUtime=1781.73
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 246781 0 0 0 178030 143 0 0 25 0 1 0 143505866 1015857152 246642 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7640732 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 248012 246642 206 16 0 247451 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 992048

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3236
/proc/meminfo: memFree=784432/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=992048 CPUtime=1782.53
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 246781 0 0 0 178110 143 0 0 25 0 1 0 143505866 1015857152 246642 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 7639379 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 248012 246642 206 16 0 247451 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (KiB) 992048

[startup+1783.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3236
/proc/meminfo: memFree=784432/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=992048 CPUtime=1782.73
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194304 246781 0 0 0 178130 143 0 0 25 0 1 0 143505866 1015857152 246642 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 248012 246642 206 16 0 247451 0
Current children cumulated CPU time (s) 1782.73
Current children cumulated vsize (KiB) 992048

[startup+1783.4 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3236
/proc/meminfo: memFree=784432/2055920 swapFree=4184248/4192956
[pid=3233] ppid=3231 vsize=0 CPUtime=1782.83
/proc/3233/stat : 3233 (Pueblo) R 3231 3233 2272 0 -1 4194308 246788 0 0 0 178132 151 0 0 17 0 1 0 143505866 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/3233/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.83
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.48
CPU time (s): 1782.92
CPU user time (s): 1781.33
CPU system time (s): 1.59076
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 992080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.33
system time used= 1.59076
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246788
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 2531

runsolver used 1.20182 second user time and 3.67644 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Sun Apr 15 22:12:45 UTC 2007

IDJOB= 353763
IDBENCH= 2267
IDSOLVER= 165
FILE ID= node71/353763-1176675165

PBS_JOBID= 4559950

Free space on /tmp= 66558 MiB

SOLVER NAME= Pueblo 1.4
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= Pueblo /tmp/evaluation/353763-1176675165/instance-353763-1176675165.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node71/convwatcher-353763-1176675165 -o ROOT/results/node71/conversion-353763-1176675165 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353763-1176675165/instance-353763-1176675165.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-353763-1176675165 -o ROOT/results/node71/solver-353763-1176675165 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/353763-1176675165/instance-353763-1176675165.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  36a19a7aeba117287b60c4673ad89664

RANDOM SEED= 317840330

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1772744 kB
Buffers:         46244 kB
Cached:         155320 kB
SwapCached:       2640 kB
Active:         126836 kB
Inactive:        85532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1772744 kB
SwapTotal:     4192956 kB
SwapFree:      4184248 kB
Dirty:            5344 kB
Writeback:           0 kB
Mapped:          16428 kB
Slab:            56824 kB
Committed_AS:  2441620 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node71 on Sun Apr 15 22:42:29 UTC 2007