Trace number 38204

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 3/64 21272
/proc/meminfo: memFree=1771560/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=916 CPUtime=0
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 44 0 0 0 0 0 0 0 18 0 1 0 195326829 937984 28 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 6734628 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 229 28 20 16 0 8 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 21272
/proc/meminfo: memFree=1677168/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=96920 CPUtime=9.99
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 23766 0 0 0 989 10 0 0 25 0 1 0 195326829 99246080 23737 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 24230 23737 206 16 0 23671 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 96920

[startup+20.0095 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 21272
/proc/meminfo: memFree=1617336/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=157236 CPUtime=19.99
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 38729 0 0 0 1981 18 0 0 25 0 1 0 195326829 161009664 38700 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 39309 38700 206 16 0 38750 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 157236

[startup+30.0155 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 21272
/proc/meminfo: memFree=1554936/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=219780 CPUtime=29.99
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 54318 0 0 0 2974 25 0 0 25 0 1 0 195326829 225054720 54289 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 54945 54289 206 16 0 54386 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 219780

[startup+40.0215 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 21272
/proc/meminfo: memFree=1483000/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=291656 CPUtime=39.99
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 72256 0 0 0 3966 33 0 0 25 0 1 0 195326829 298655744 72227 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 72914 72227 206 16 0 72355 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 291656

[startup+50.0274 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 21272
/proc/meminfo: memFree=1414392/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=360332 CPUtime=50
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 89382 0 0 0 4959 41 0 0 25 0 1 0 195326829 368979968 89353 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 90083 89353 206 16 0 89524 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 360332

[startup+60.0334 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 21272
/proc/meminfo: memFree=1352632/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=422004 CPUtime=60
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 104809 0 0 0 5953 47 0 0 25 0 1 0 195326829 432132096 104781 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 105501 104781 206 16 0 104942 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 422004

[startup+70.0394 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 21272
/proc/meminfo: memFree=1300536/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=473948 CPUtime=70
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 117819 0 0 0 6947 53 0 0 25 0 1 0 195326829 485322752 117758 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7169659 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 118487 117758 206 16 0 117928 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 473948

[startup+80.0454 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 21272
/proc/meminfo: memFree=1244280/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=530204 CPUtime=80
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 131855 0 0 0 7940 60 0 0 25 0 1 0 195326829 542928896 131794 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 132551 131794 206 16 0 131992 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 530204

[startup+90.0514 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 21272
/proc/meminfo: memFree=1189240/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=585488 CPUtime=90
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 145595 0 0 0 8933 67 0 0 25 0 1 0 195326829 599539712 145534 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 146372 145534 206 16 0 145813 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 585488

[startup+100.057 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 21272
/proc/meminfo: memFree=1136056/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=638588 CPUtime=100.01
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 158891 0 0 0 9926 75 0 0 25 0 1 0 195326829 653914112 158798 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 159647 158798 206 16 0 159088 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 638588

[startup+110.063 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 21272
/proc/meminfo: memFree=1100472/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=674620 CPUtime=110.01
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167754 0 0 0 10922 79 0 0 25 0 1 0 195326829 690810880 167661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516700 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 168655 167661 206 16 0 168096 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 674620

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21272
/proc/meminfo: memFree=1100472/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=674620 CPUtime=120.01
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167754 0 0 0 11922 79 0 0 25 0 1 0 195326829 690810880 167661 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 168655 167661 206 16 0 168096 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 674620

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21272
/proc/meminfo: memFree=1100472/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=674620 CPUtime=130.02
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167761 0 0 0 12922 80 0 0 25 0 1 0 195326829 690810880 167668 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 168655 167668 206 16 0 168096 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 674620

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21272
/proc/meminfo: memFree=1100472/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=674620 CPUtime=140.01
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167761 0 0 0 13921 80 0 0 25 0 1 0 195326829 690810880 167668 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557270 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 168655 167668 206 16 0 168096 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 674620

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21272
/proc/meminfo: memFree=1100408/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=674620 CPUtime=150.02
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167761 0 0 0 14921 81 0 0 25 0 1 0 195326829 690810880 167668 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 168655 167668 206 16 0 168096 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 674620

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21272
/proc/meminfo: memFree=1100408/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=674620 CPUtime=160.02
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167761 0 0 0 15920 82 0 0 25 0 1 0 195326829 690810880 167668 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 168655 167668 206 16 0 168096 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 674620

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21272
/proc/meminfo: memFree=1100408/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=674620 CPUtime=170.03
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167761 0 0 0 16920 83 0 0 25 0 1 0 195326829 690810880 167668 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 168655 167668 206 16 0 168096 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 674620

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21272
/proc/meminfo: memFree=1100408/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=674620 CPUtime=180.03
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167761 0 0 0 17920 83 0 0 25 0 1 0 195326829 690810880 167668 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 168655 167668 206 16 0 168096 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 674620

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21272
/proc/meminfo: memFree=1100408/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=674620 CPUtime=190.03
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167764 0 0 0 18919 84 0 0 25 0 1 0 195326829 690810880 167671 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 168655 167671 206 16 0 168096 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 674620

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21272
/proc/meminfo: memFree=1100408/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=674620 CPUtime=200.03
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 167764 0 0 0 19918 85 0 0 25 0 1 0 195326829 690810880 167671 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 168655 167671 206 16 0 168096 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 674620

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 21272
/proc/meminfo: memFree=1100280/2055920 swapFree=4182500/4192956

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

/proc/21272/statm: 323743 321802 206 16 0 323184 0
Current children cumulated CPU time (s) 1590.37
Current children cumulated vsize (Kb) 1294972

[startup+1600.98 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=482488/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1294972 CPUtime=1600.36
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 159817 219 0 0 25 0 1 0 195326829 1326051328 321802 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528681 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 323743 321802 206 16 0 323184 0
Current children cumulated CPU time (s) 1600.36
Current children cumulated vsize (Kb) 1294972

[startup+1610.98 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=482488/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1294972 CPUtime=1610.36
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 160817 219 0 0 25 0 1 0 195326829 1326051328 321802 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 323743 321802 206 16 0 323184 0
Current children cumulated CPU time (s) 1610.36
Current children cumulated vsize (Kb) 1294972

[startup+1620.99 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=482488/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1294972 CPUtime=1620.37
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 161817 220 0 0 25 0 1 0 195326829 1326051328 321802 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134518196 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 323743 321802 206 16 0 323184 0
Current children cumulated CPU time (s) 1620.37
Current children cumulated vsize (Kb) 1294972

[startup+1631 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=482488/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1294972 CPUtime=1630.37
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 162817 220 0 0 25 0 1 0 195326829 1326051328 321802 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528319 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 323743 321802 206 16 0 323184 0
Current children cumulated CPU time (s) 1630.37
Current children cumulated vsize (Kb) 1294972

[startup+1641 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=482488/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1294972 CPUtime=1640.37
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 163817 220 0 0 25 0 1 0 195326829 1326051328 321802 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 323743 321802 206 16 0 323184 0
Current children cumulated CPU time (s) 1640.37
Current children cumulated vsize (Kb) 1294972

[startup+1651.01 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=482552/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1294972 CPUtime=1650.37
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 164817 220 0 0 25 0 1 0 195326829 1326051328 321802 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516734 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 323743 321802 206 16 0 323184 0
Current children cumulated CPU time (s) 1650.37
Current children cumulated vsize (Kb) 1294972

[startup+1661.01 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1223288 CPUtime=1660.38
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 165816 222 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516725 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 305822 303906 206 16 0 305263 0
Current children cumulated CPU time (s) 1660.38
Current children cumulated vsize (Kb) 1223288

[startup+1671.02 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1223288 CPUtime=1670.38
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 166816 222 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516696 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 305822 303906 206 16 0 305263 0
Current children cumulated CPU time (s) 1670.38
Current children cumulated vsize (Kb) 1223288

[startup+1681.03 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1223288 CPUtime=1680.38
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 167816 222 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 305822 303906 206 16 0 305263 0
Current children cumulated CPU time (s) 1680.38
Current children cumulated vsize (Kb) 1223288

[startup+1691.03 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1223288 CPUtime=1690.38
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 168815 223 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 305822 303906 206 16 0 305263 0
Current children cumulated CPU time (s) 1690.38
Current children cumulated vsize (Kb) 1223288

[startup+1701.04 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1223288 CPUtime=1700.38
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 169814 224 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 305822 303906 206 16 0 305263 0
Current children cumulated CPU time (s) 1700.38
Current children cumulated vsize (Kb) 1223288

[startup+1711.04 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1223288 CPUtime=1710.39
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 170814 225 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 305822 303906 206 16 0 305263 0
Current children cumulated CPU time (s) 1710.39
Current children cumulated vsize (Kb) 1223288

[startup+1721.05 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1223288 CPUtime=1720.39
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 171814 225 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520070 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 305822 303906 206 16 0 305263 0
Current children cumulated CPU time (s) 1720.39
Current children cumulated vsize (Kb) 1223288

[startup+1731.06 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1223288 CPUtime=1730.39
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 172813 226 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 305822 303906 206 16 0 305263 0
Current children cumulated CPU time (s) 1730.39
Current children cumulated vsize (Kb) 1223288

[startup+1741.06 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1223288 CPUtime=1740.4
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 173813 227 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 305822 303906 206 16 0 305263 0
Current children cumulated CPU time (s) 1740.4
Current children cumulated vsize (Kb) 1223288

[startup+1751.07 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1223288 CPUtime=1750.4
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 174812 228 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 305822 303906 206 16 0 305263 0
Current children cumulated CPU time (s) 1750.4
Current children cumulated vsize (Kb) 1223288

[startup+1761.07 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1223288 CPUtime=1760.4
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 175812 228 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557287 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 305822 303906 206 16 0 305263 0
Current children cumulated CPU time (s) 1760.4
Current children cumulated vsize (Kb) 1223288

[startup+1771.08 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1223288 CPUtime=1770.4
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 176812 228 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 305822 303906 206 16 0 305263 0
Current children cumulated CPU time (s) 1770.4
Current children cumulated vsize (Kb) 1223288

[startup+1781.09 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1223288 CPUtime=1780.41
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 177812 229 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 305822 303906 206 16 0 305263 0
Current children cumulated CPU time (s) 1780.41
Current children cumulated vsize (Kb) 1223288

[startup+1782.09 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1223288 CPUtime=1781.41
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 177912 229 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 305822 303906 206 16 0 305263 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (Kb) 1223288

[startup+1783.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 21272
/proc/meminfo: memFree=553912/2055920 swapFree=4182500/4192956
[pid=21272] ppid=21270 vsize=1223288 CPUtime=1782.42
/proc/21272/stat : 21272 (Pueblo13) R 21270 21272 21226 0 -1 4194304 321991 0 0 0 178013 229 0 0 25 0 1 0 195326829 1252646912 303906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/21272/statm: 305822 303906 206 16 0 305263 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (Kb) 1223288

Child status: 10
Real time (s): 1783.59
CPU time (s): 1782.91
CPU user time (s): 1780.44
CPU system time (s): 2.46962
CPU usage (%): 99.962
Max. virtual memory (cumulated for all children) (Kb): 1294972

Launcher Data (download as text)

Begin job on node75 on Sat Jun  3 01:03:54 UTC 2006


FILE ID= 38204-1149296634

PBS_JOBID= 307166

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

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  1a88750537364c45876077f809191628

RANDOM SEED= 397095182


/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.259
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.259
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1771704 kB
Buffers:         26484 kB
Cached:         193804 kB
SwapCached:       2072 kB
Active:          49036 kB
Inactive:       179896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1771704 kB
SwapTotal:     4192956 kB
SwapFree:      4182500 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          16032 kB
Slab:            41248 kB
Committed_AS:   317548 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node75 on Sat Jun  3 01:33:38 UTC 2006