Trace number 38203

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.3SAT-6 1783.14 1783.59

General information on the benchmark

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

Verifier Data (download as text)

OK	-6

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/node61/watcher-38203-1149296593 -o ROOT/results/node61/solver-38203-1149296593 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node61/38203-1149296593/instance-38203-1149296593.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.95 2/64 2458
/proc/meminfo: memFree=1565216/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=2328 CPUtime=0
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 108 0 0 0 0 0 0 0 18 0 1 0 195327199 2383872 91 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10387544 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 582 103 89 16 0 11 0

[startup+10.0019 s]
/proc/loadavg: 0.93 0.98 0.95 2/64 2458
/proc/meminfo: memFree=1490736/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=78092 CPUtime=9.99
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 18850 0 0 0 989 10 0 0 25 0 1 0 195327199 79966208 18821 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10822605 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 19523 18821 206 16 0 18964 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 78092

[startup+20.0079 s]
/proc/loadavg: 0.94 0.98 0.95 2/64 2458
/proc/meminfo: memFree=1429360/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=139764 CPUtime=20
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 34194 0 0 0 1982 18 0 0 25 0 1 0 195327199 143118336 34165 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 34941 34165 206 16 0 34382 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 139764

[startup+30.0218 s]
/proc/loadavg: 0.95 0.98 0.95 3/64 2458
/proc/meminfo: memFree=1390256/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=178820 CPUtime=30.01
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 43956 0 0 0 2978 23 0 0 25 0 1 0 195327199 183111680 43927 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 44705 43927 206 16 0 44146 0
Current children cumulated CPU time (s) 30.01
Current children cumulated vsize (Kb) 178820

[startup+40.0278 s]
/proc/loadavg: 0.96 0.98 0.95 2/64 2458
/proc/meminfo: memFree=1359664/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=209888 CPUtime=40.01
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 51602 0 0 0 3973 28 0 0 25 0 1 0 195327199 214925312 51573 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 52472 51573 206 16 0 51913 0
Current children cumulated CPU time (s) 40.01
Current children cumulated vsize (Kb) 209888

[startup+50.0348 s]
/proc/loadavg: 0.96 0.98 0.95 2/64 2458
/proc/meminfo: memFree=1327408/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=242428 CPUtime=50.02
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 59660 0 0 0 4968 34 0 0 25 0 1 0 195327199 248246272 59631 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 60607 59631 206 16 0 60048 0
Current children cumulated CPU time (s) 50.02
Current children cumulated vsize (Kb) 242428

[startup+60.0408 s]
/proc/loadavg: 0.97 0.98 0.95 2/64 2458
/proc/meminfo: memFree=1293552/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=276612 CPUtime=60.02
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 68112 0 0 0 5963 39 0 0 25 0 1 0 195327199 283250688 68083 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520229 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 69153 68083 206 16 0 68594 0
Current children cumulated CPU time (s) 60.02
Current children cumulated vsize (Kb) 276612

[startup+70.0467 s]
/proc/loadavg: 0.97 0.98 0.95 2/64 2458
/proc/meminfo: memFree=1231344/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=338672 CPUtime=70.02
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 83625 0 0 0 6956 46 0 0 25 0 1 0 195327199 346800128 83596 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 84668 83596 206 16 0 84109 0
Current children cumulated CPU time (s) 70.02
Current children cumulated vsize (Kb) 338672

[startup+80.0527 s]
/proc/loadavg: 0.98 0.98 0.95 3/64 2458
/proc/meminfo: memFree=1174192/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=396440 CPUtime=80.02
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 97913 0 0 0 7948 54 0 0 25 0 1 0 195327199 405954560 97852 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 99110 97852 206 16 0 98551 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 396440

[startup+90.0587 s]
/proc/loadavg: 0.98 0.98 0.95 2/64 2458
/proc/meminfo: memFree=1139952/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=430968 CPUtime=90.02
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 106448 0 0 0 8944 58 0 0 25 0 1 0 195327199 441311232 106387 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 107742 106387 206 16 0 107183 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 430968

[startup+100.065 s]
/proc/loadavg: 0.98 0.98 0.95 2/64 2458
/proc/meminfo: memFree=1088944/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=482180 CPUtime=100.03
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 119245 0 0 0 9938 65 0 0 25 0 1 0 195327199 493752320 119120 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 120545 119120 206 16 0 119986 0
Current children cumulated CPU time (s) 100.03
Current children cumulated vsize (Kb) 482180

[startup+110.072 s]
/proc/loadavg: 0.98 0.98 0.95 2/64 2458
/proc/meminfo: memFree=1042416/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=528808 CPUtime=110.03
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 130918 0 0 0 10933 70 0 0 25 0 1 0 195327199 541499392 130729 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 132202 130729 206 16 0 131643 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 528808

[startup+120.078 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=995760/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=575428 CPUtime=120.03
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 142603 0 0 0 11926 77 0 0 25 0 1 0 195327199 589238272 142383 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 143857 142383 206 16 0 143298 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 575428

[startup+130.084 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=947184/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=623972 CPUtime=130.04
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 154712 0 0 0 12921 83 0 0 25 0 1 0 195327199 638947328 154492 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 155993 154492 206 16 0 155434 0
Current children cumulated CPU time (s) 130.04
Current children cumulated vsize (Kb) 623972

[startup+140.09 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=931440/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=639752 CPUtime=140.04
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 158650 0 0 0 13918 86 0 0 25 0 1 0 195327199 655106048 158430 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 159938 158430 206 16 0 159379 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 639752

[startup+150.095 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=916720/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=654352 CPUtime=150.04
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 162319 0 0 0 14916 88 0 0 25 0 1 0 195327199 670056448 162099 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10819195 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 163588 162099 206 16 0 163029 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 654352

[startup+160.101 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=890672/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=680908 CPUtime=160.05
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 168806 0 0 0 15913 92 0 0 25 0 1 0 195327199 697249792 168586 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520161 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 170227 168586 206 16 0 169668 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 680908

[startup+170.108 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=887408/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=684620 CPUtime=170.06
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 169619 0 0 0 16913 93 0 0 25 0 1 0 195327199 701050880 169399 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516722 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 171155 169399 206 16 0 170596 0
Current children cumulated CPU time (s) 170.06
Current children cumulated vsize (Kb) 684620

[startup+180.114 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=887408/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=684620 CPUtime=180.06
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 169619 0 0 0 17912 94 0 0 25 0 1 0 195327199 701050880 169399 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 171155 169399 206 16 0 170596 0
Current children cumulated CPU time (s) 180.06
Current children cumulated vsize (Kb) 684620

[startup+190.12 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=887408/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=684620 CPUtime=190.06
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 169619 0 0 0 18911 95 0 0 25 0 1 0 195327199 701050880 169399 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 171155 169399 206 16 0 170596 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 684620

[startup+200.126 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=887408/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=684620 CPUtime=200.07
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 169619 0 0 0 19911 96 0 0 25 0 1 0 195327199 701050880 169399 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 171155 169399 206 16 0 170596 0
Current children cumulated CPU time (s) 200.07
Current children cumulated vsize (Kb) 684620

[startup+210.132 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=887472/2055920 swapFree=4180908/4192956

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

/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1590.54
Current children cumulated vsize (Kb) 1210588

[startup+1600.95 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360688/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1600.55
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 159803 252 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1600.55
Current children cumulated vsize (Kb) 1210588

[startup+1610.96 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360688/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1610.54
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 160802 252 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1610.54
Current children cumulated vsize (Kb) 1210588

[startup+1620.96 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360688/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1620.56
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 161803 253 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557243 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1620.56
Current children cumulated vsize (Kb) 1210588

[startup+1630.97 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360688/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1630.55
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 162802 253 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527934 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1630.55
Current children cumulated vsize (Kb) 1210588

[startup+1640.98 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360688/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1640.55
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 163802 253 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1640.55
Current children cumulated vsize (Kb) 1210588

[startup+1650.98 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360688/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1650.56
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 164802 254 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1650.56
Current children cumulated vsize (Kb) 1210588

[startup+1660.99 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1660.57
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 165802 255 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1660.57
Current children cumulated vsize (Kb) 1210588

[startup+1670.99 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1670.57
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 166801 256 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1670.57
Current children cumulated vsize (Kb) 1210588

[startup+1681 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1680.57
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 167801 256 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1680.57
Current children cumulated vsize (Kb) 1210588

[startup+1691 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1690.57
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 168801 256 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517790 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1690.57
Current children cumulated vsize (Kb) 1210588

[startup+1701.01 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1700.58
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 169801 257 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1700.58
Current children cumulated vsize (Kb) 1210588

[startup+1711.02 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360688/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1710.58
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 170801 257 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1710.58
Current children cumulated vsize (Kb) 1210588

[startup+1721.02 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360688/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1720.58
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 171801 257 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519989 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1720.58
Current children cumulated vsize (Kb) 1210588

[startup+1731.03 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1730.59
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 172801 258 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1730.59
Current children cumulated vsize (Kb) 1210588

[startup+1741.03 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1740.59
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 173801 258 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517594 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1740.59
Current children cumulated vsize (Kb) 1210588

[startup+1751.04 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1750.59
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 174801 258 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1750.59
Current children cumulated vsize (Kb) 1210588

[startup+1761.05 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1760.6
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 175801 259 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528672 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1760.6
Current children cumulated vsize (Kb) 1210588

[startup+1771.05 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1770.6
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301111 0 0 0 176801 259 0 0 25 0 1 0 195327199 1239642112 300827 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300827 206 16 0 302088 0
Current children cumulated CPU time (s) 1770.6
Current children cumulated vsize (Kb) 1210588

[startup+1781.06 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1780.6
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301114 0 0 0 177801 259 0 0 25 0 1 0 195327199 1239642112 300830 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300830 206 16 0 302088 0
Current children cumulated CPU time (s) 1780.6
Current children cumulated vsize (Kb) 1210588

[startup+1782.06 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1781.61
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301114 0 0 0 177902 259 0 0 25 0 1 0 195327199 1239642112 300830 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520078 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300830 206 16 0 302088 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (Kb) 1210588

[startup+1783.07 s]
/proc/loadavg: 0.99 0.98 0.95 2/64 2458
/proc/meminfo: memFree=360624/2055920 swapFree=4180908/4192956
[pid=2458] ppid=2456 vsize=1210588 CPUtime=1782.61
/proc/2458/stat : 2458 (Pueblo13) R 2456 2458 2412 0 -1 4194304 301114 0 0 0 178002 259 0 0 25 0 1 0 195327199 1239642112 300830 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/2458/statm: 302647 300830 206 16 0 302088 0
Current children cumulated CPU time (s) 1782.61
Current children cumulated vsize (Kb) 1210588

Child status: 10
Real time (s): 1783.59
CPU time (s): 1783.14
CPU user time (s): 1780.36
CPU system time (s): 2.78558
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (Kb): 1210588

Launcher Data (download as text)

Begin job on node61 on Sat Jun  3 01:03:13 UTC 2006


FILE ID= 38203-1149296593

PBS_JOBID= 307152

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node61/38203-1149296593/instance-38203-1149296593.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-38203-1149296593 -o ROOT/results/node61/solver-38203-1149296593 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node61/38203-1149296593/instance-38203-1149296593.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  1925793f412227c60146f261684ef7c1

RANDOM SEED= 700591557


/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:      2055920 kB
MemFree:       1565424 kB
Buffers:         35736 kB
Cached:         382120 kB
SwapCached:       3880 kB
Active:          34336 kB
Inactive:       392328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1565424 kB
SwapTotal:     4192956 kB
SwapFree:      4180908 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14724 kB
Slab:            49912 kB
Committed_AS:   317580 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node61 on Sat Jun  3 01:32:57 UTC 2006