Trace number 37045

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.94 1783.51

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

Verifier Data (download as text)

OK	-11

Watcher Data (download as text)

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

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.91 2/64 4975
/proc/meminfo: memFree=1432328/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=2328 CPUtime=0
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 79 0 0 0 0 0 0 0 18 0 1 0 109630569 2383872 63 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11682400 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 582 79 65 16 0 11 0

[startup+10.003 s]
/proc/loadavg: 0.93 0.95 0.91 2/64 4975
/proc/meminfo: memFree=1413768/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=21052 CPUtime=9.99
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 4917 0 0 0 997 2 0 0 25 0 1 0 109630569 21557248 4839 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522504 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 5263 4839 206 16 0 4704 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 21052

[startup+20.0091 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 4975
/proc/meminfo: memFree=1405448/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=29524 CPUtime=19.99
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 7041 0 0 0 1996 3 0 0 25 0 1 0 109630569 30232576 6963 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 7381 6963 206 16 0 6822 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 29524

[startup+30.0152 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 4975
/proc/meminfo: memFree=1397320/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=37604 CPUtime=30
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 9058 0 0 0 2996 4 0 0 25 0 1 0 109630569 38506496 8980 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 9401 8980 206 16 0 8842 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 37604

[startup+40.0212 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 4975
/proc/meminfo: memFree=1389576/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=45408 CPUtime=40
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 11008 0 0 0 3994 6 0 0 25 0 1 0 109630569 46497792 10930 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519120 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 11352 10930 206 16 0 10793 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 45408

[startup+50.0273 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 4975
/proc/meminfo: memFree=1382280/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=52728 CPUtime=50.01
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 12829 0 0 0 4994 7 0 0 25 0 1 0 109630569 53993472 12751 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12149709 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 13182 12751 206 16 0 12623 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 52728

[startup+60.0333 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 4975
/proc/meminfo: memFree=1375304/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=59700 CPUtime=60.01
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 14579 0 0 0 5993 8 0 0 25 0 1 0 109630569 61132800 14501 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519120 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 14925 14501 206 16 0 14366 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 59700

[startup+70.0394 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 4975
/proc/meminfo: memFree=1367624/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=67300 CPUtime=70.01
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 16489 0 0 0 6992 9 0 0 25 0 1 0 109630569 68915200 16411 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517879 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 16825 16411 206 16 0 16266 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 67300

[startup+80.0455 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 4975
/proc/meminfo: memFree=1360456/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=74548 CPUtime=80.01
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 18294 0 0 0 7992 9 0 0 25 0 1 0 109630569 76337152 18216 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 18637 18216 206 16 0 18078 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 74548

[startup+90.0515 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 4975
/proc/meminfo: memFree=1352264/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=82796 CPUtime=90.02
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 20335 0 0 0 8991 11 0 0 25 0 1 0 109630569 84783104 20257 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 20699 20257 206 16 0 20140 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 82796

[startup+100.058 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 4975
/proc/meminfo: memFree=1344328/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=90676 CPUtime=100.01
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 22313 0 0 0 9990 11 0 0 25 0 1 0 109630569 92852224 22235 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 22669 22235 206 16 0 22110 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 90676

[startup+110.064 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 4975
/proc/meminfo: memFree=1335048/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=99928 CPUtime=110.02
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 24622 0 0 0 10990 12 0 0 25 0 1 0 109630569 102326272 24544 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 24982 24544 206 16 0 24423 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 99928

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=1327432/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=107532 CPUtime=120.02
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 26522 0 0 0 11989 13 0 0 25 0 1 0 109630569 110112768 26444 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 26883 26444 206 16 0 26324 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 107532

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=1320904/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=114000 CPUtime=130.03
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 28144 0 0 0 12988 15 0 0 25 0 1 0 109630569 116736000 28066 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532840 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 28500 28066 206 16 0 27941 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 114000

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=1313416/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=121592 CPUtime=140.03
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 30010 0 0 0 13988 15 0 0 25 0 1 0 109630569 124510208 29932 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532044 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 30398 29932 206 16 0 29839 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 121592

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=1306760/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=128232 CPUtime=150.04
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 31678 0 0 0 14988 16 0 0 25 0 1 0 109630569 131309568 31600 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522731 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 32058 31600 206 16 0 31499 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 128232

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=1298632/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=136384 CPUtime=160.03
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 33706 0 0 0 15987 16 0 0 25 0 1 0 109630569 139657216 33628 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 34096 33628 206 16 0 33537 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 136384

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=1291528/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=143572 CPUtime=170.04
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 35491 0 0 0 16987 17 0 0 25 0 1 0 109630569 147017728 35413 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 35893 35413 206 16 0 35334 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 143572

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=1285576/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=149476 CPUtime=180.04
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 36966 0 0 0 17986 18 0 0 25 0 1 0 109630569 153063424 36888 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 37369 36888 206 16 0 36810 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 149476

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=1278984/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=156064 CPUtime=190.05
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 38621 0 0 0 18986 19 0 0 25 0 1 0 109630569 159809536 38543 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 39016 38543 206 16 0 38457 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 156064

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=1272008/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=163108 CPUtime=200.05
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 40358 0 0 0 19985 20 0 0 25 0 1 0 109630569 167022592 40280 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 40777 40280 206 16 0 40218 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 163108

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=1264712/2055920 swapFree=4183160/4192956

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

/proc/4975/statm: 243545 241989 206 16 0 242986 0
Current children cumulated CPU time (s) 1590.5
Current children cumulated vsize (Kb) 974180

[startup+1600.96 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=462792/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=974708 CPUtime=1600.5
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 242210 0 0 0 159922 128 0 0 25 0 1 0 109630569 998100992 242132 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529214 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 243677 242132 206 16 0 243118 0
Current children cumulated CPU time (s) 1600.5
Current children cumulated vsize (Kb) 974708

[startup+1610.97 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=456392/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=981076 CPUtime=1610.5
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 243810 0 0 0 160921 129 0 0 25 0 1 0 109630569 1004621824 243732 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 245269 243732 206 16 0 244710 0
Current children cumulated CPU time (s) 1610.5
Current children cumulated vsize (Kb) 981076

[startup+1620.98 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=451592/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=986036 CPUtime=1620.5
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 245012 0 0 0 161921 129 0 0 25 0 1 0 109630569 1009700864 244934 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 246509 244934 206 16 0 245950 0
Current children cumulated CPU time (s) 1620.5
Current children cumulated vsize (Kb) 986036

[startup+1630.98 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=447176/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=990432 CPUtime=1630.5
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 246107 0 0 0 162920 130 0 0 25 0 1 0 109630569 1014202368 246029 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 247608 246029 206 16 0 247049 0
Current children cumulated CPU time (s) 1630.5
Current children cumulated vsize (Kb) 990432

[startup+1640.99 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=443592/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=994148 CPUtime=1640.51
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 247008 0 0 0 163920 131 0 0 25 0 1 0 109630569 1018007552 246930 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 248537 246930 206 16 0 247978 0
Current children cumulated CPU time (s) 1640.51
Current children cumulated vsize (Kb) 994148

[startup+1650.99 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=438344/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=999256 CPUtime=1650.51
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 248306 0 0 0 164919 132 0 0 25 0 1 0 109630569 1023238144 248228 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 249814 248228 206 16 0 249255 0
Current children cumulated CPU time (s) 1650.51
Current children cumulated vsize (Kb) 999256

[startup+1661 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=436808/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=1000684 CPUtime=1660.51
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 248687 0 0 0 165919 132 0 0 25 0 1 0 109630569 1024700416 248609 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 250171 248609 206 16 0 249612 0
Current children cumulated CPU time (s) 1660.51
Current children cumulated vsize (Kb) 1000684

[startup+1671.01 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=431240/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=1006268 CPUtime=1670.52
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 250080 0 0 0 166919 133 0 0 25 0 1 0 109630569 1030418432 250002 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12144991 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 251567 250002 206 16 0 251008 0
Current children cumulated CPU time (s) 1670.52
Current children cumulated vsize (Kb) 1006268

[startup+1681.01 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=427976/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=1009608 CPUtime=1680.53
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 250886 0 0 0 167919 134 0 0 25 0 1 0 109630569 1033838592 250808 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 252402 250808 206 16 0 251843 0
Current children cumulated CPU time (s) 1680.53
Current children cumulated vsize (Kb) 1009608

[startup+1691.02 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=425800/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=1012124 CPUtime=1690.53
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 251434 0 0 0 168919 134 0 0 25 0 1 0 109630569 1036414976 251356 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 253031 251356 206 16 0 252472 0
Current children cumulated CPU time (s) 1690.53
Current children cumulated vsize (Kb) 1012124

[startup+1701.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=423560/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=1014368 CPUtime=1700.53
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 251998 0 0 0 169919 134 0 0 25 0 1 0 109630569 1038712832 251920 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 253592 251920 206 16 0 253033 0
Current children cumulated CPU time (s) 1700.53
Current children cumulated vsize (Kb) 1014368

[startup+1711.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=418952/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=1018924 CPUtime=1710.54
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 253133 0 0 0 170919 135 0 0 25 0 1 0 109630569 1043378176 253055 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 254731 253055 206 16 0 254172 0
Current children cumulated CPU time (s) 1710.54
Current children cumulated vsize (Kb) 1018924

[startup+1721.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4975
/proc/meminfo: memFree=415816/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=1021968 CPUtime=1720.54
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 253918 0 0 0 171919 135 0 0 25 0 1 0 109630569 1046495232 253840 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 255492 253840 206 16 0 254933 0
Current children cumulated CPU time (s) 1720.54
Current children cumulated vsize (Kb) 1021968

[startup+1731.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/70 5038
/proc/meminfo: memFree=411160/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=1025580 CPUtime=1730.54
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 254810 0 0 0 172915 139 0 0 25 0 1 0 109630569 1050193920 254732 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 256395 254732 206 16 0 255836 0
Current children cumulated CPU time (s) 1730.54
Current children cumulated vsize (Kb) 1025580

[startup+1741.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/70 5096
/proc/meminfo: memFree=407576/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=1029140 CPUtime=1740.53
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 255688 0 0 0 173911 142 0 0 25 0 1 0 109630569 1053839360 255610 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12146332 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 257285 255610 206 16 0 256726 0
Current children cumulated CPU time (s) 1740.53
Current children cumulated vsize (Kb) 1029140

[startup+1751.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 5170
/proc/meminfo: memFree=404288/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=1033288 CPUtime=1750.49
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 256722 0 0 0 174907 142 0 0 25 0 1 0 109630569 1058086912 256644 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12146332 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 258322 256644 206 16 0 257763 0
Current children cumulated CPU time (s) 1750.49
Current children cumulated vsize (Kb) 1033288

[startup+1761.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 5170
/proc/meminfo: memFree=401224/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=1036360 CPUtime=1760.5
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 257502 0 0 0 175907 143 0 0 25 0 1 0 109630569 1061232640 257424 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 12144991 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 259090 257424 206 16 0 258531 0
Current children cumulated CPU time (s) 1760.5
Current children cumulated vsize (Kb) 1036360

[startup+1771.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 5170
/proc/meminfo: memFree=398408/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=1039232 CPUtime=1770.51
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 258204 0 0 0 176908 143 0 0 25 0 1 0 109630569 1064173568 258126 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522755 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 259808 258126 206 16 0 259249 0
Current children cumulated CPU time (s) 1770.51
Current children cumulated vsize (Kb) 1039232

[startup+1781.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 5170
/proc/meminfo: memFree=395400/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=1042256 CPUtime=1780.5
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 258969 0 0 0 177907 143 0 0 25 0 1 0 109630569 1067270144 258891 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 260564 258891 206 16 0 260005 0
Current children cumulated CPU time (s) 1780.5
Current children cumulated vsize (Kb) 1042256

[startup+1782.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 5170
/proc/meminfo: memFree=394888/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=1042796 CPUtime=1781.51
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 259109 0 0 0 178008 143 0 0 25 0 1 0 109630569 1067823104 259031 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528351 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 260699 259031 206 16 0 260140 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (Kb) 1042796

[startup+1783.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 5170
/proc/meminfo: memFree=394184/2055920 swapFree=4183160/4192956
[pid=4975] ppid=4973 vsize=1043468 CPUtime=1782.52
/proc/4975/stat : 4975 (Pueblo) R 4973 4975 4929 0 -1 4194304 259276 0 0 0 178108 144 0 0 25 0 1 0 109630569 1068511232 259198 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/4975/statm: 260867 259198 206 16 0 260308 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (Kb) 1043468

Child status: 10
Real time (s): 1783.51
CPU time (s): 1782.94
CPU user time (s): 1781.34
CPU system time (s): 1.60376
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (Kb): 1043468

Launcher Data (download as text)

Begin job on node46 on Sat Jun  3 00:32:17 UTC 2006


FILE ID= 37045-1149294737

PBS_JOBID= 307050

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  98c81efbf429745622d6705fab70d2ee

RANDOM SEED= 628630220


/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.223
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.223
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:       1432600 kB
Buffers:         28012 kB
Cached:         526068 kB
SwapCached:       4064 kB
Active:          55104 kB
Inactive:       507884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1432600 kB
SwapTotal:     4192956 kB
SwapFree:      4183160 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          15064 kB
Slab:            46436 kB
Committed_AS:   280696 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node46 on Sat Jun  3 01:02:01 UTC 2006