Trace number 353503

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-11 1782.97 1783.6

General information on the benchmark

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

Verifier Data (download as text)

OK	-11

Conversion Script Data (download as text)

/tmp/evaluation/353503-1176667794/instance-353503-1176667794.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/node66/watcher-353503-1176667794 -o ROOT/results/node66/solver-353503-1176667794 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353503-1176667794/instance-353503-1176667794.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.91 0.95 0.96 3/64 6126
/proc/meminfo: memFree=1647928/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=2552 CPUtime=0
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 142769028 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10305239 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 638 230 193 16 0 77 0

[startup+0.0857461 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 6126
/proc/meminfo: memFree=1647928/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=3748 CPUtime=0.08
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 565 0 0 0 8 0 0 0 18 0 1 0 142769028 3837952 535 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 937 535 199 16 0 376 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3748

[startup+0.101747 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 6126
/proc/meminfo: memFree=1647928/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=4016 CPUtime=0.09
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 622 0 0 0 9 0 0 0 18 0 1 0 142769028 4112384 592 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10305239 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 1004 592 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301788 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 6126
/proc/meminfo: memFree=1647928/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=6680 CPUtime=0.29
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 1306 0 0 0 29 0 0 0 19 0 1 0 142769028 6840320 1276 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10305239 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 1670 1276 199 16 0 1109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6680

[startup+0.701868 s]
/proc/loadavg: 0.91 0.95 0.96 3/64 6126
/proc/meminfo: memFree=1647928/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=12008 CPUtime=0.69
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 2652 0 0 0 68 1 0 0 22 0 1 0 142769028 12296192 2622 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10305239 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 3002 2622 199 16 0 2441 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12008

[startup+1.50303 s]
/proc/loadavg: 0.91 0.95 0.96 2/65 6127
/proc/meminfo: memFree=1634352/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=17860 CPUtime=1.49
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 4090 0 0 0 148 1 0 0 25 0 1 0 142769028 18288640 4060 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 4465 4060 206 16 0 3904 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17860

[startup+3.10135 s]
/proc/loadavg: 0.91 0.95 0.96 2/65 6127
/proc/meminfo: memFree=1631344/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=19232 CPUtime=3.09
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 4406 0 0 0 307 2 0 0 25 0 1 0 142769028 19693568 4376 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523636 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 4808 4376 206 16 0 4247 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19232

[startup+6.30199 s]
/proc/loadavg: 0.92 0.95 0.96 2/65 6127
/proc/meminfo: memFree=1630576/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=19780 CPUtime=6.28
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 4573 0 0 0 626 2 0 0 25 0 1 0 142769028 20254720 4513 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 4945 4513 206 16 0 4384 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19780

[startup+12.7013 s]
/proc/loadavg: 0.93 0.95 0.96 2/65 6127
/proc/meminfo: memFree=1627760/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=22936 CPUtime=12.69
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 5405 0 0 0 1266 3 0 0 25 0 1 0 142769028 23486464 5326 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 5734 5326 206 16 0 5173 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22936

[startup+25.5018 s]
/proc/loadavg: 0.94 0.96 0.96 2/65 6127
/proc/meminfo: memFree=1616880/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=33404 CPUtime=25.48
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 8019 0 0 0 2545 3 0 0 25 0 1 0 142769028 34205696 7940 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 8351 7940 206 16 0 7790 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33404

[startup+51.1019 s]
/proc/loadavg: 0.96 0.96 0.96 2/65 6127
/proc/meminfo: memFree=1597744/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=53092 CPUtime=51.07
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 12931 0 0 0 5102 5 0 0 25 0 1 0 142769028 54366208 12852 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134518919 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 13273 12852 206 16 0 12712 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 53092

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.96 2/65 6127
/proc/meminfo: memFree=1558640/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=91380 CPUtime=102.26
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 22487 0 0 0 10215 11 0 0 25 0 1 0 142769028 93573120 22408 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 22845 22408 206 16 0 22284 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 91380

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=1514992/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=135948 CPUtime=162.24
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 33584 0 0 0 16207 17 0 0 25 0 1 0 142769028 139210752 33505 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523616 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 33987 33505 206 16 0 33426 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 135948

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=1474160/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=176124 CPUtime=222.21
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 43636 0 0 0 22200 21 0 0 25 0 1 0 142769028 180350976 43557 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134557325 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 44031 43557 206 16 0 43470 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 176124

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=1428464/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=221596 CPUtime=282.19
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 54961 0 0 0 28192 27 0 0 25 0 1 0 142769028 226914304 54882 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523616 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 55399 54882 206 16 0 54838 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 221596

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=1385072/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=265536 CPUtime=342.17
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 65944 0 0 0 34184 33 0 0 25 0 1 0 142769028 271908864 65865 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 66384 65865 206 16 0 65823 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 265536

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=1345520/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=305204 CPUtime=402.15
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 75789 0 0 0 40176 39 0 0 25 0 1 0 142769028 312528896 75710 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 76301 75710 206 16 0 75740 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 305204

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=1308400/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=342064 CPUtime=462.13
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 84914 0 0 0 46170 43 0 0 25 0 1 0 142769028 350273536 84835 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 85516 84835 206 16 0 84955 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 342064

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=1271024/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=379684 CPUtime=522.11
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 94232 0 0 0 52163 48 0 0 25 0 1 0 142769028 388796416 94153 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519066 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 94921 94153 206 16 0 94360 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 379684

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=1233392/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=418596 CPUtime=582.09
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 103844 0 0 0 58155 54 0 0 25 0 1 0 142769028 428642304 103765 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 104649 103765 206 16 0 104088 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 418596

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=1197232/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=454520 CPUtime=642.07
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 112636 0 0 0 64148 59 0 0 25 0 1 0 142769028 465428480 112557 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 113630 112557 206 16 0 113069 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 454520


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

/proc/meminfo: memFree=1085424/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=566396 CPUtime=822
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 140521 0 0 0 82126 74 0 0 25 0 1 0 142769028 579989504 140442 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 141599 140442 206 16 0 141038 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 566396

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=1045424/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=606352 CPUtime=881.98
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 150503 0 0 0 88120 78 0 0 25 0 1 0 142769028 620904448 150424 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 151588 150424 206 16 0 151027 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 606352

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=1009712/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=642104 CPUtime=941.96
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 159441 0 0 0 94113 83 0 0 25 0 1 0 142769028 657514496 159362 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522546 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 160526 159362 206 16 0 159965 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 642104

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=972272/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=679516 CPUtime=1001.94
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 168748 0 0 0 100106 88 0 0 25 0 1 0 142769028 695824384 168669 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10273119 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 169879 168669 206 16 0 169318 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 679516

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=934704/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=716956 CPUtime=1061.92
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 178129 0 0 0 106100 92 0 0 25 0 1 0 142769028 734162944 178050 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 179239 178050 206 16 0 178678 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 716956

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=898864/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=753444 CPUtime=1121.9
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 187216 0 0 0 112095 95 0 0 25 0 1 0 142769028 771526656 187137 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10274460 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 188361 187137 206 16 0 187800 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 753444

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=865776/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=786404 CPUtime=1181.88
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 195393 0 0 0 118088 100 0 0 25 0 1 0 142769028 805277696 195314 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 196601 195314 206 16 0 196040 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 786404

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=831216/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=820444 CPUtime=1241.85
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 203937 0 0 0 124081 104 0 0 25 0 1 0 142769028 840134656 203858 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10274460 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 205111 203858 206 16 0 204550 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 820444

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=799216/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=852884 CPUtime=1301.83
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 211919 0 0 0 130075 108 0 0 25 0 1 0 142769028 873353216 211840 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 213221 211840 206 16 0 212660 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 852884

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=772016/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=880540 CPUtime=1361.81
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 218699 0 0 0 136069 112 0 0 25 0 1 0 142769028 901672960 218620 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523652 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 220135 218620 206 16 0 219574 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 880540

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=739056/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=913360 CPUtime=1421.8
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 226922 0 0 0 142062 118 0 0 25 0 1 0 142769028 935280640 226843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10273119 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 228340 226843 206 16 0 227779 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 913360

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=715120/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=937376 CPUtime=1481.77
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 232933 0 0 0 148056 121 0 0 25 0 1 0 142769028 959873024 232854 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 234344 232854 206 16 0 233783 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 937376

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=698480/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=954084 CPUtime=1541.75
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 237031 0 0 0 154051 124 0 0 25 0 1 0 142769028 976982016 236952 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10273119 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 238521 236952 206 16 0 237960 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 954084

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=680368/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=972116 CPUtime=1601.73
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 241547 0 0 0 160046 127 0 0 25 0 1 0 142769028 995446784 241468 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10274460 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 243029 241468 206 16 0 242468 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 972116

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=656560/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=996100 CPUtime=1661.71
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 247521 0 0 0 166039 132 0 0 25 0 1 0 142769028 1020006400 247442 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 249025 247442 206 16 0 248464 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 996100

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=636208/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=1017108 CPUtime=1721.69
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 252680 0 0 0 172033 136 0 0 25 0 1 0 142769028 1041518592 252601 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 254277 252601 206 16 0 253716 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1017108

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=614192/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=1039076 CPUtime=1781.67
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 258172 0 0 0 178027 140 0 0 25 0 1 0 142769028 1064013824 258093 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 259769 258093 206 16 0 259208 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1039076

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

[startup+1783.11 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=613616/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=1039212 CPUtime=1782.47
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194304 258197 0 0 0 178107 140 0 0 25 0 1 0 142769028 1064153088 258118 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 259803 258118 206 16 0 259242 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (KiB) 1039212

[startup+1783.5 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 6127
/proc/meminfo: memFree=613616/2055920 swapFree=4184568/4192956
[pid=6126] ppid=6124 vsize=0 CPUtime=1782.86
/proc/6126/stat : 6126 (Pueblo) R 6124 6126 5746 0 -1 4194308 258204 0 0 0 178140 146 0 0 17 0 1 0 142769028 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/6126/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.86
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.6
CPU time (s): 1782.97
CPU user time (s): 1781.41
CPU system time (s): 1.56176
CPU usage (%): 99.9647
Max. virtual memory (cumulated for all children) (KiB): 1039212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.41
system time used= 1.56176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258204
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= 14
involuntary context switches= 2243

runsolver used 1.20182 second user time and 3.67244 second system time

The end

Launcher Data (download as text)

Begin job on node66 on Sun Apr 15 20:09:55 UTC 2007

IDJOB= 353503
IDBENCH= 2247
IDSOLVER= 165
FILE ID= node66/353503-1176667794

PBS_JOBID= 4559917

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/frb56-25-opb/normalized-frb56-25-5.opb
COMMAND LINE= Pueblo /tmp/evaluation/353503-1176667794/instance-353503-1176667794.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node66/convwatcher-353503-1176667794 -o ROOT/results/node66/conversion-353503-1176667794 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353503-1176667794/instance-353503-1176667794.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  98c81efbf429745622d6705fab70d2ee

RANDOM SEED= 886967122

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node66.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.281
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.281
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:       1648272 kB
Buffers:         23952 kB
Cached:         293832 kB
SwapCached:       2156 kB
Active:          77448 kB
Inactive:       249700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1648272 kB
SwapTotal:     4192956 kB
SwapFree:      4184568 kB
Dirty:            4904 kB
Writeback:           0 kB
Mapped:          16316 kB
Slab:            66528 kB
Committed_AS:   302144 kB
PageTables:       1376 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 node66 on Sun Apr 15 20:39:38 UTC 2007