Trace number 353529

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.9 1783.39

General information on the benchmark

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

Verifier Data (download as text)

OK	-8

Conversion Script Data (download as text)

/tmp/evaluation/353529-1176668446/instance-353529-1176668446.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/node6/watcher-353529-1176668446 -o ROOT/results/node6/solver-353529-1176668446 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353529-1176668446/instance-353529-1176668446.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: 1.00 0.99 0.97 3/77 13839
/proc/meminfo: memFree=1790960/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=2552 CPUtime=0
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 142882297 2613248 230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2653911 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 638 230 193 16 0 77 0

[startup+0.044746 s]
/proc/loadavg: 1.00 0.99 0.97 3/77 13839
/proc/meminfo: memFree=1790960/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=3216 CPUtime=0.04
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 426 0 0 0 4 0 0 0 18 0 1 0 142882297 3293184 396 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2653911 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 804 396 199 16 0 243 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3216

[startup+0.101751 s]
/proc/loadavg: 1.00 0.99 0.97 3/77 13839
/proc/meminfo: memFree=1790960/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=4016 CPUtime=0.09
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 622 0 0 0 9 0 0 0 18 0 1 0 142882297 4112384 592 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 1004 592 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301776 s]
/proc/loadavg: 1.00 0.99 0.97 3/77 13839
/proc/meminfo: memFree=1790960/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=6680 CPUtime=0.28
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 1312 0 0 0 28 0 0 0 19 0 1 0 142882297 6840320 1282 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2653911 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 1670 1284 199 16 0 1109 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6680

[startup+0.701822 s]
/proc/loadavg: 1.00 0.99 0.97 3/77 13839
/proc/meminfo: memFree=1790960/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=12144 CPUtime=0.69
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 2671 0 0 0 68 1 0 0 22 0 1 0 142882297 12435456 2641 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2653911 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 3036 2641 199 16 0 2475 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12144

[startup+1.50192 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13840
/proc/meminfo: memFree=1777448/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=17864 CPUtime=1.49
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 4092 0 0 0 147 2 0 0 25 0 1 0 142882297 18292736 4062 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519125 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 4466 4062 206 16 0 3905 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17864

[startup+3.1011 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13840
/proc/meminfo: memFree=1774504/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=19348 CPUtime=3.09
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 4442 0 0 0 307 2 0 0 25 0 1 0 142882297 19812352 4412 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134533058 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 4837 4412 206 16 0 4276 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19348

[startup+6.30148 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13840
/proc/meminfo: memFree=1773672/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=19648 CPUtime=6.28
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 4540 0 0 0 626 2 0 0 25 0 1 0 142882297 20119552 4507 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 4912 4507 206 16 0 4351 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19648

[startup+12.7012 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13840
/proc/meminfo: memFree=1771816/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=21752 CPUtime=12.69
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 5079 0 0 0 1266 3 0 0 25 0 1 0 142882297 22274048 5017 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 5438 5017 206 16 0 4877 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21752

[startup+25.5017 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13840
/proc/meminfo: memFree=1761192/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=31968 CPUtime=25.49
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 7634 0 0 0 2545 4 0 0 25 0 1 0 142882297 32735232 7572 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523633 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 7992 7572 206 16 0 7431 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31968

[startup+51.1017 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13840
/proc/meminfo: memFree=1741800/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=51580 CPUtime=51.07
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 12543 0 0 0 5101 6 0 0 25 0 1 0 142882297 52817920 12481 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519103 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 12895 12481 206 16 0 12334 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 51580

[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13840
/proc/meminfo: memFree=1704552/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=88644 CPUtime=102.26
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 21779 0 0 0 10217 9 0 0 25 0 1 0 142882297 90771456 21717 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519098 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 22161 21717 206 16 0 21600 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 88644

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13840
/proc/meminfo: memFree=1657448/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=135968 CPUtime=162.24
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 33586 0 0 0 16210 14 0 0 25 0 1 0 142882297 139231232 33524 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2623099 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 33992 33524 206 16 0 33431 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 135968

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13840
/proc/meminfo: memFree=1604328/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=189208 CPUtime=222.22
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 46871 0 0 0 22201 21 0 0 25 0 1 0 142882297 193748992 46809 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519132 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 47302 46809 206 16 0 46741 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 189208

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13840
/proc/meminfo: memFree=1567272/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=226708 CPUtime=282.21
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 56209 0 0 0 28194 27 0 0 25 0 1 0 142882297 232148992 56147 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 56677 56147 206 16 0 56116 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 226708

[startup+342.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13840
/proc/meminfo: memFree=1528936/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=264636 CPUtime=342.19
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 65685 0 0 0 34188 31 0 0 25 0 1 0 142882297 270987264 65623 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134532882 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 66159 65623 206 16 0 65598 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 264636

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13840
/proc/meminfo: memFree=1490024/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=304028 CPUtime=402.17
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 75288 0 0 0 40182 35 0 0 25 0 1 0 142882297 311324672 75226 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523649 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 76007 75226 206 16 0 75446 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 304028

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13840
/proc/meminfo: memFree=1452008/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=342576 CPUtime=462.17
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 84737 0 0 0 46177 40 0 0 25 0 1 0 142882297 350797824 84675 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2621791 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 85644 84675 206 16 0 85083 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 342576

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13840
/proc/meminfo: memFree=1413416/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=380972 CPUtime=522.15
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 94357 0 0 0 52170 45 0 0 25 0 1 0 142882297 390115328 94295 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 95243 94295 206 16 0 94682 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 380972

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13840
/proc/meminfo: memFree=1372968/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=421728 CPUtime=582.13
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 104559 0 0 0 58163 50 0 0 25 0 1 0 142882297 431849472 104497 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 105432 104497 206 16 0 104871 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 421728

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=1339176/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=455332 CPUtime=642.12
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 112860 0 0 0 64157 55 0 0 25 0 1 0 142882297 466259968 112798 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523671 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 113833 112798 206 16 0 113272 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 455332


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

/proc/meminfo: memFree=1246504/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=549184 CPUtime=822.06
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 136226 0 0 0 82138 68 0 0 25 0 1 0 142882297 562364416 136164 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134524568 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 137296 136164 206 16 0 136735 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 549184

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=1219432/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=575272 CPUtime=882.05
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 142714 0 0 0 88133 72 0 0 25 0 1 0 142882297 589078528 142652 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 143818 142652 206 16 0 143257 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 575272

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=1193064/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=602500 CPUtime=942.03
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 149428 0 0 0 94126 77 0 0 25 0 1 0 142882297 616960000 149366 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 150625 149366 206 16 0 150064 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 602500

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=1163304/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=632072 CPUtime=1002.01
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 156815 0 0 0 100120 81 0 0 25 0 1 0 142882297 647241728 156753 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519111 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 158018 156753 206 16 0 157457 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 632072

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=1132520/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=662788 CPUtime=1062
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 164489 0 0 0 106114 86 0 0 25 0 1 0 142882297 678694912 164427 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519082 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 165697 164427 206 16 0 165136 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 662788

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=1096040/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=699236 CPUtime=1121.98
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 173578 0 0 0 112107 91 0 0 25 0 1 0 142882297 716017664 173516 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134556267 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 174809 173516 206 16 0 174248 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 699236

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=1062376/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=733392 CPUtime=1181.96
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 182063 0 0 0 118099 97 0 0 25 0 1 0 142882297 750993408 182001 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 183348 182001 206 16 0 182787 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 733392

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=1025640/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=769856 CPUtime=1241.95
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 191205 0 0 0 124093 102 0 0 25 0 1 0 142882297 788332544 191143 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 2621791 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 192464 191143 206 16 0 191903 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 769856

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=989672/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=805044 CPUtime=1301.93
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 200010 0 0 0 130086 107 0 0 25 0 1 0 142882297 824365056 199948 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 201261 199948 206 16 0 200700 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 805044

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=952808/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=842508 CPUtime=1361.92
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 209195 0 0 0 136079 113 0 0 25 0 1 0 142882297 862728192 209133 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134556390 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 210627 209133 206 16 0 210066 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 842508

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=918888/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=876420 CPUtime=1421.9
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 217677 0 0 0 142073 117 0 0 25 0 1 0 142882297 897454080 217615 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 219105 217615 206 16 0 218544 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 876420

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=888104/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=908228 CPUtime=1481.88
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 225636 0 0 0 148067 121 0 0 25 0 1 0 142882297 930025472 225574 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 227057 225574 206 16 0 226496 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 908228

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=855208/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=939864 CPUtime=1541.87
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 233551 0 0 0 154062 125 0 0 25 0 1 0 142882297 962420736 233489 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 234966 233489 206 16 0 234405 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 939864

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=831976/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=962976 CPUtime=1601.85
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 239337 0 0 0 160057 128 0 0 25 0 1 0 142882297 986087424 239275 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 240744 239275 206 16 0 240183 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 962976

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=831912/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=962976 CPUtime=1661.83
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 239337 0 0 0 166054 129 0 0 25 0 1 0 142882297 986087424 239275 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 240744 239275 206 16 0 240183 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 962976

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=831912/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=962976 CPUtime=1721.82
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 239337 0 0 0 172051 131 0 0 25 0 1 0 142882297 986087424 239275 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134523674 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 240744 239275 206 16 0 240183 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 962976

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=831848/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=962976 CPUtime=1781.8
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 239347 0 0 0 178049 131 0 0 25 0 1 0 142882297 986087424 239285 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 240744 239285 206 16 0 240183 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 962976

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

[startup+1783.11 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=831848/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=962976 CPUtime=1782.6
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194304 239347 0 0 0 178129 131 0 0 25 0 1 0 142882297 986087424 239285 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 240744 239285 206 16 0 240183 0
Current children cumulated CPU time (s) 1782.6
Current children cumulated vsize (KiB) 962976

[startup+1783.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 13842
/proc/meminfo: memFree=831848/2055924 swapFree=4158476/4192956
[pid=13839] ppid=13837 vsize=0 CPUtime=1782.8
/proc/13839/stat : 13839 (Pueblo) R 13837 13839 13161 0 -1 4194308 239354 0 0 0 178143 137 0 0 17 0 1 0 142882297 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/13839/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.8
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.39
CPU time (s): 1782.9
CPU user time (s): 1781.44
CPU system time (s): 1.46878
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 962976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.44
system time used= 1.46878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239354
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= 1783

runsolver used 2.21466 second user time and 4.19936 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Sun Apr 15 20:20:46 UTC 2007

IDJOB= 353529
IDBENCH= 2249
IDSOLVER= 165
FILE ID= node6/353529-1176668446

PBS_JOBID= 4559382

Free space on /tmp= 66553 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/frb56-25-opb/normalized-frb56-25-1.opb
COMMAND LINE= Pueblo /tmp/evaluation/353529-1176668446/instance-353529-1176668446.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-353529-1176668446 -o ROOT/results/node6/conversion-353529-1176668446 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353529-1176668446/instance-353529-1176668446.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  b8b0df75c0f0dbb89ae9601b9070a445

RANDOM SEED= 12127857

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.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.232
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.232
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:       1791432 kB
Buffers:         36776 kB
Cached:         141544 kB
SwapCached:       2628 kB
Active:         105572 kB
Inactive:        96976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1791432 kB
SwapTotal:     4192956 kB
SwapFree:      4158476 kB
Dirty:            4992 kB
Writeback:           0 kB
Mapped:          31544 kB
Slab:            47544 kB
Committed_AS:  6284172 kB
PageTables:       1788 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= 66553 MiB

End job on node6 on Sun Apr 15 20:50:30 UTC 2007