Trace number 38207

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-7 1782.92 1783.37

General information on the benchmark

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

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1788512/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=2408 CPUtime=0
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 233 0 0 0 0 0 0 0 18 0 1 0 195484421 2465792 204 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11405312 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 635 213 187 16 0 76 0

[startup+10.0024 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1714024/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=76996 CPUtime=9.99
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 18834 0 0 0 990 9 0 0 25 0 1 0 195484421 78843904 18806 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 19249 18806 206 16 0 18690 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 76996

[startup+20.0083 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1652712/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=138576 CPUtime=19.99
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 34158 0 0 0 1983 16 0 0 25 0 1 0 195484421 141901824 34129 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 34644 34129 206 16 0 34085 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 138576

[startup+30.0143 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1602536/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=188976 CPUtime=30
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 46686 0 0 0 2977 23 0 0 25 0 1 0 195484421 193511424 46657 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 47244 46657 206 16 0 46685 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 188976

[startup+40.0203 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1558696/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=232996 CPUtime=40.01
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 57627 0 0 0 3972 29 0 0 25 0 1 0 195484421 238587904 57598 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 58249 57598 206 16 0 57690 0
Current children cumulated CPU time (s) 40.01
Current children cumulated vsize (Kb) 232996

[startup+50.0262 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1525288/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=266700 CPUtime=50.01
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 65970 0 0 0 4967 34 0 0 25 0 1 0 195484421 273100800 65941 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 66675 65941 206 16 0 66116 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 266700

[startup+60.0322 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1493928/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=298112 CPUtime=60.01
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 73788 0 0 0 5962 39 0 0 25 0 1 0 195484421 305266688 73759 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11027405 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 74528 73759 206 16 0 73969 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 298112

[startup+70.0392 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1457960/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=333984 CPUtime=70.02
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 82775 0 0 0 6958 44 0 0 25 0 1 0 195484421 341999616 82746 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 83496 82746 206 16 0 82937 0
Current children cumulated CPU time (s) 70.02
Current children cumulated vsize (Kb) 333984

[startup+80.0451 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1396904/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=395200 CPUtime=80.01
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 98000 0 0 0 7951 50 0 0 25 0 1 0 195484421 404684800 97971 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 98800 97971 206 16 0 98241 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 395200

[startup+90.0511 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1344744/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=447600 CPUtime=90.02
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 111013 0 0 0 8944 58 0 0 25 0 1 0 195484421 458342400 110984 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 111900 110984 206 16 0 111341 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 447600

[startup+100.057 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1303080/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=489284 CPUtime=100.03
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 121415 0 0 0 9939 64 0 0 25 0 1 0 195484421 501026816 121386 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 122321 121386 206 16 0 121762 0
Current children cumulated CPU time (s) 100.03
Current children cumulated vsize (Kb) 489284

[startup+110.063 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1265512/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=527048 CPUtime=110.03
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 130789 0 0 0 10934 69 0 0 25 0 1 0 195484421 539697152 130760 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 131762 130760 206 16 0 131203 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 527048

[startup+120.069 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1237160/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=555200 CPUtime=120.03
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 137865 0 0 0 11930 73 0 0 25 0 1 0 195484421 568524800 137836 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 138800 137836 206 16 0 138241 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 555200

[startup+130.075 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1214568/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=577744 CPUtime=130.03
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 143502 0 0 0 12927 76 0 0 25 0 1 0 195484421 591609856 143473 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 144436 143473 206 16 0 143877 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 577744

[startup+140.081 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1193384/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=598800 CPUtime=140.03
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 148779 0 0 0 13924 79 0 0 25 0 1 0 195484421 613171200 148750 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 149700 148750 206 16 0 149141 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 598800

[startup+150.087 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1169256/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=622904 CPUtime=150.04
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 154801 0 0 0 14921 83 0 0 25 0 1 0 195484421 637853696 154772 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 155726 154772 206 16 0 155167 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 622904

[startup+160.093 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1144104/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=647988 CPUtime=160.04
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 161086 0 0 0 15917 87 0 0 25 0 1 0 195484421 663539712 161057 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11027405 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 161997 161057 206 16 0 161438 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 647988

[startup+170.099 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1119016/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=673472 CPUtime=170.05
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 167346 0 0 0 16914 91 0 0 25 0 1 0 195484421 689635328 167317 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 168368 167317 206 16 0 167809 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 673472

[startup+180.105 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1114728/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=677752 CPUtime=180.05
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 168402 0 0 0 17914 91 0 0 25 0 1 0 195484421 694018048 168373 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 169438 168373 206 16 0 168879 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 677752

[startup+190.111 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1114728/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=677752 CPUtime=190.05
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 168402 0 0 0 18913 92 0 0 25 0 1 0 195484421 694018048 168373 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 169438 168373 206 16 0 168879 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 677752

[startup+200.117 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1114728/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=677752 CPUtime=200.06
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 168402 0 0 0 19913 93 0 0 25 0 1 0 195484421 694018048 168373 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 169438 168373 206 16 0 168879 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 677752

[startup+210.123 s]
/proc/loadavg: 0.99 1.00 0.99 2/64 8055
/proc/meminfo: memFree=1114728/2055920 swapFree=4181448/4192956

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

/proc/8055/statm: 278853 277106 206 16 0 278294 0
Current children cumulated CPU time (s) 1590.53
Current children cumulated vsize (Kb) 1115412

[startup+1600.94 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1600.54
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 159838 216 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11024076 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277106 206 16 0 278294 0
Current children cumulated CPU time (s) 1600.54
Current children cumulated vsize (Kb) 1115412

[startup+1610.95 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1610.54
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 160838 216 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277106 206 16 0 278294 0
Current children cumulated CPU time (s) 1610.54
Current children cumulated vsize (Kb) 1115412

[startup+1620.96 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1620.54
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 161838 216 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277106 206 16 0 278294 0
Current children cumulated CPU time (s) 1620.54
Current children cumulated vsize (Kb) 1115412

[startup+1630.96 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1630.54
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 162838 216 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528554 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277106 206 16 0 278294 0
Current children cumulated CPU time (s) 1630.54
Current children cumulated vsize (Kb) 1115412

[startup+1640.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1640.55
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 163839 216 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277106 206 16 0 278294 0
Current children cumulated CPU time (s) 1640.55
Current children cumulated vsize (Kb) 1115412

[startup+1650.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1650.55
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 164838 217 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277106 206 16 0 278294 0
Current children cumulated CPU time (s) 1650.55
Current children cumulated vsize (Kb) 1115412

[startup+1660.98 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1660.56
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 165839 217 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277106 206 16 0 278294 0
Current children cumulated CPU time (s) 1660.56
Current children cumulated vsize (Kb) 1115412

[startup+1670.99 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1670.56
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 166839 217 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277106 206 16 0 278294 0
Current children cumulated CPU time (s) 1670.56
Current children cumulated vsize (Kb) 1115412

[startup+1680.99 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1680.57
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277167 0 0 0 167839 218 0 0 25 0 1 0 195484421 1142181888 277106 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277106 206 16 0 278294 0
Current children cumulated CPU time (s) 1680.57
Current children cumulated vsize (Kb) 1115412

[startup+1691 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1690.57
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277168 0 0 0 168839 218 0 0 25 0 1 0 195484421 1142181888 277107 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277107 206 16 0 278294 0
Current children cumulated CPU time (s) 1690.57
Current children cumulated vsize (Kb) 1115412

[startup+1701 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1700.57
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277168 0 0 0 169839 218 0 0 25 0 1 0 195484421 1142181888 277107 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277107 206 16 0 278294 0
Current children cumulated CPU time (s) 1700.57
Current children cumulated vsize (Kb) 1115412

[startup+1711.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1710.57
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277168 0 0 0 170839 218 0 0 25 0 1 0 195484421 1142181888 277107 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277107 206 16 0 278294 0
Current children cumulated CPU time (s) 1710.57
Current children cumulated vsize (Kb) 1115412

[startup+1721.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1720.58
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277168 0 0 0 171839 219 0 0 25 0 1 0 195484421 1142181888 277107 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277107 206 16 0 278294 0
Current children cumulated CPU time (s) 1720.58
Current children cumulated vsize (Kb) 1115412

[startup+1731.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1730.58
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277168 0 0 0 172839 219 0 0 25 0 1 0 195484421 1142181888 277107 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277107 206 16 0 278294 0
Current children cumulated CPU time (s) 1730.58
Current children cumulated vsize (Kb) 1115412

[startup+1741.03 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1740.58
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277168 0 0 0 173839 219 0 0 25 0 1 0 195484421 1142181888 277107 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277107 206 16 0 278294 0
Current children cumulated CPU time (s) 1740.58
Current children cumulated vsize (Kb) 1115412

[startup+1751.03 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678704/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1750.58
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277168 0 0 0 174839 219 0 0 25 0 1 0 195484421 1142181888 277107 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277107 206 16 0 278294 0
Current children cumulated CPU time (s) 1750.58
Current children cumulated vsize (Kb) 1115412

[startup+1761.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=678576/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1115412 CPUtime=1760.59
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 277198 0 0 0 175839 220 0 0 25 0 1 0 195484421 1142181888 277137 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 278853 277137 206 16 0 278294 0
Current children cumulated CPU time (s) 1760.59
Current children cumulated vsize (Kb) 1115412

[startup+1771.04 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=674608/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1119444 CPUtime=1770.6
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 278187 0 0 0 176839 221 0 0 25 0 1 0 195484421 1146310656 278126 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 279861 278126 206 16 0 279302 0
Current children cumulated CPU time (s) 1770.6
Current children cumulated vsize (Kb) 1119444

[startup+1781.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=658224/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1135692 CPUtime=1780.6
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 282270 0 0 0 177836 224 0 0 25 0 1 0 195484421 1162948608 282209 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 283923 282209 206 16 0 283364 0
Current children cumulated CPU time (s) 1780.6
Current children cumulated vsize (Kb) 1135692

[startup+1782.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=656432/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1137528 CPUtime=1781.6
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 282729 0 0 0 177936 224 0 0 25 0 1 0 195484421 1164828672 282668 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 11023995 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 284382 282668 206 16 0 283823 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (Kb) 1137528

[startup+1783.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 8057
/proc/meminfo: memFree=653680/2055920 swapFree=4181448/4192956
[pid=8055] ppid=8053 vsize=1140224 CPUtime=1782.6
/proc/8055/stat : 8055 (Pueblo13) R 8053 8055 8009 0 -1 4194304 283402 0 0 0 178035 225 0 0 25 0 1 0 195484421 1167589376 283341 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134519949 0 0 4096 0 0 0 0 17 1 0 0
/proc/8055/statm: 285056 283341 206 16 0 284497 0
Current children cumulated CPU time (s) 1782.6
Current children cumulated vsize (Kb) 1140224

Child status: 10
Real time (s): 1783.37
CPU time (s): 1782.92
CPU user time (s): 1780.48
CPU system time (s): 2.43463
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (Kb): 1140224

Launcher Data (download as text)

Begin job on node4 on Sat Jun  3 01:30:25 UTC 2006


FILE ID= 38207-1149298225

PBS_JOBID= 307207

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-1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node4/38207-1149298225/instance-38207-1149298225.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-38207-1149298225 -o ROOT/results/node4/solver-38207-1149298225 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node4/38207-1149298225/instance-38207-1149298225.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  604c6b786f56b09c749bc0d6b7c8f76d

RANDOM SEED= 811513456


/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.236
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.236
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:       1788720 kB
Buffers:         22164 kB
Cached:         184828 kB
SwapCached:       3264 kB
Active:          49384 kB
Inactive:       166312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1788720 kB
SwapTotal:     4192956 kB
SwapFree:      4181448 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14816 kB
Slab:            37472 kB
Committed_AS:   291780 kB
PageTables:       1500 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node4 on Sat Jun  3 02:00:09 UTC 2006