Trace number 37390

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 NameAnswerCPU timeWall clock time
Pueblo 1.3SAT 1103.59 1103.92

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
MD5SUM30ece871aa3028bf4a3db0aa3daf115a
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.021996
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1260
Total number of constraints926
Number of constraints which are clauses868
Number of constraints which are cardinality constraints (but not clauses)58
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint30
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 31
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 30065
/proc/meminfo: memFree=1402456/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=172 CPUtime=0
/proc/30065/stat : 30065 (Pueblo13) D 30063 30065 30020 0 -1 4194304 38 0 0 0 0 0 0 0 19 0 1 0 189066135 176128 23 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7918372 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/30065/statm: 43 23 18 16 0 2 0

[startup+10.003 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 30065
/proc/meminfo: memFree=1398048/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=6760 CPUtime=9.93
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1315 0 0 0 993 0 0 0 25 0 1 0 189066135 6922240 1286 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 1690 1286 205 16 0 1131 0
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (Kb) 6760

[startup+20.0089 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 30065
/proc/meminfo: memFree=1397536/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=7400 CPUtime=19.93
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1474 0 0 0 1993 0 0 0 25 0 1 0 189066135 7577600 1445 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 1850 1445 205 16 0 1291 0
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 7400

[startup+30.0148 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 30065
/proc/meminfo: memFree=1397408/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=7400 CPUtime=29.94
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1490 0 0 0 2993 1 0 0 25 0 1 0 189066135 7577600 1461 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 1850 1461 205 16 0 1291 0
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 7400

[startup+40.0207 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 30065
/proc/meminfo: memFree=1397216/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=7664 CPUtime=39.94
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1558 0 0 0 3993 1 0 0 25 0 1 0 189066135 7847936 1529 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 1916 1529 205 16 0 1357 0
Current children cumulated CPU time (s) 39.94
Current children cumulated vsize (Kb) 7664

[startup+50.0266 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 30065
/proc/meminfo: memFree=1397152/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=7668 CPUtime=49.95
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1566 0 0 0 4994 1 0 0 25 0 1 0 189066135 7852032 1536 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 1917 1536 205 16 0 1358 0
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (Kb) 7668

[startup+60.0325 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 30065
/proc/meminfo: memFree=1396832/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=8120 CPUtime=59.95
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1682 0 0 0 5994 1 0 0 25 0 1 0 189066135 8314880 1636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134563552 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 2030 1636 205 16 0 1471 0
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (Kb) 8120

[startup+70.0394 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 30065
/proc/meminfo: memFree=1396832/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=8120 CPUtime=69.96
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1682 0 0 0 6995 1 0 0 25 0 1 0 189066135 8314880 1636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 2030 1636 205 16 0 1471 0
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 8120

[startup+80.0453 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 30065
/proc/meminfo: memFree=1396768/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=8248 CPUtime=79.96
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1698 0 0 0 7995 1 0 0 25 0 1 0 189066135 8445952 1652 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517896 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 2062 1652 205 16 0 1503 0
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 8248

[startup+90.0511 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 30065
/proc/meminfo: memFree=1396704/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=8240 CPUtime=89.96
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1715 0 0 0 8995 1 0 0 25 0 1 0 189066135 8437760 1669 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 2060 1669 205 16 0 1501 0
Current children cumulated CPU time (s) 89.96
Current children cumulated vsize (Kb) 8240

[startup+100.057 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 30065
/proc/meminfo: memFree=1396768/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=8208 CPUtime=99.96
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1720 0 0 0 9995 1 0 0 25 0 1 0 189066135 8404992 1665 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 2052 1665 205 16 0 1493 0
Current children cumulated CPU time (s) 99.96
Current children cumulated vsize (Kb) 8208

[startup+110.063 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 30065
/proc/meminfo: memFree=1396768/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=8144 CPUtime=109.97
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1720 0 0 0 10996 1 0 0 25 0 1 0 189066135 8339456 1655 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 2036 1655 205 16 0 1477 0
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 8144

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1396320/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=8732 CPUtime=119.97
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1847 0 0 0 11996 1 0 0 25 0 1 0 189066135 8941568 1782 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 2183 1782 205 16 0 1624 0
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 8732

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1396256/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=8572 CPUtime=129.97
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1847 0 0 0 12996 1 0 0 25 0 1 0 189066135 8777728 1762 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 2143 1762 205 16 0 1584 0
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 8572

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1396384/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=8608 CPUtime=139.97
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1901 0 0 0 13996 1 0 0 25 0 1 0 189066135 8814592 1759 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 2152 1759 205 16 0 1593 0
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 8608

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1396384/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=8380 CPUtime=149.98
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 1901 0 0 0 14997 1 0 0 25 0 1 0 189066135 8581120 1714 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517721 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 2095 1714 205 16 0 1536 0
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 8380

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1395872/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=9160 CPUtime=159.98
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 2072 0 0 0 15997 1 0 0 25 0 1 0 189066135 9379840 1885 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 2290 1885 205 16 0 1731 0
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 9160

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1395744/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=9236 CPUtime=169.98
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 2102 0 0 0 16997 1 0 0 25 0 1 0 189066135 9457664 1915 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 2309 1915 205 16 0 1750 0
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 9236

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1395552/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=9440 CPUtime=179.99
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 2149 0 0 0 17998 1 0 0 25 0 1 0 189066135 9666560 1962 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 2360 1962 205 16 0 1801 0
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 9440

[startup+190.109 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1395104/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=9900 CPUtime=190
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 2290 0 0 0 18998 2 0 0 25 0 1 0 189066135 10137600 2071 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 2475 2071 205 16 0 1916 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 9900

[startup+200.115 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1395104/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=9864 CPUtime=200
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 2290 0 0 0 19998 2 0 0 25 0 1 0 189066135 10100736 2071 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 2466 2071 205 16 0 1907 0
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 9864

[startup+210.121 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1395104/2055920 swapFree=4181340/4192956

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

/proc/30065/statm: 3297 2898 205 16 0 2738 0
Current children cumulated CPU time (s) 890.23
Current children cumulated vsize (Kb) 13188

[startup+900.52 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1391648/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=13080 CPUtime=900.24
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3425 0 0 0 90021 3 0 0 25 0 1 0 189066135 13393920 2889 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134554355 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3270 2889 205 16 0 2711 0
Current children cumulated CPU time (s) 900.24
Current children cumulated vsize (Kb) 13080

[startup+910.526 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1391648/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=13080 CPUtime=910.24
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3425 0 0 0 91021 3 0 0 25 0 1 0 189066135 13393920 2889 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3270 2889 205 16 0 2711 0
Current children cumulated CPU time (s) 910.24
Current children cumulated vsize (Kb) 13080

[startup+920.532 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1391648/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=13080 CPUtime=920.24
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3425 0 0 0 92021 3 0 0 25 0 1 0 189066135 13393920 2889 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3270 2889 205 16 0 2711 0
Current children cumulated CPU time (s) 920.24
Current children cumulated vsize (Kb) 13080

[startup+930.538 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1391584/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=13212 CPUtime=930.25
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3452 0 0 0 93022 3 0 0 25 0 1 0 189066135 13529088 2916 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3303 2916 205 16 0 2744 0
Current children cumulated CPU time (s) 930.25
Current children cumulated vsize (Kb) 13212

[startup+940.544 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1391584/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=13080 CPUtime=940.25
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3452 0 0 0 94022 3 0 0 25 0 1 0 189066135 13393920 2889 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3270 2889 205 16 0 2711 0
Current children cumulated CPU time (s) 940.25
Current children cumulated vsize (Kb) 13080

[startup+950.55 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1391584/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=13080 CPUtime=950.25
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3452 0 0 0 95022 3 0 0 25 0 1 0 189066135 13393920 2889 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517803 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3270 2889 205 16 0 2711 0
Current children cumulated CPU time (s) 950.25
Current children cumulated vsize (Kb) 13080

[startup+960.556 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1391328/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=13472 CPUtime=960.26
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3547 0 0 0 96023 3 0 0 25 0 1 0 189066135 13795328 2984 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3368 2984 205 16 0 2809 0
Current children cumulated CPU time (s) 960.26
Current children cumulated vsize (Kb) 13472

[startup+970.562 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1391520/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=13080 CPUtime=970.26
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3547 0 0 0 97023 3 0 0 25 0 1 0 189066135 13393920 2889 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3270 2889 205 16 0 2711 0
Current children cumulated CPU time (s) 970.26
Current children cumulated vsize (Kb) 13080

[startup+980.567 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1391520/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=13080 CPUtime=980.26
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3547 0 0 0 98023 3 0 0 25 0 1 0 189066135 13393920 2889 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3270 2889 205 16 0 2711 0
Current children cumulated CPU time (s) 980.26
Current children cumulated vsize (Kb) 13080

[startup+990.573 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1391456/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=13344 CPUtime=990.27
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3601 0 0 0 99024 3 0 0 25 0 1 0 189066135 13664256 2943 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134558762 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3336 2943 205 16 0 2777 0
Current children cumulated CPU time (s) 990.27
Current children cumulated vsize (Kb) 13344

[startup+1000.58 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1391136/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=13712 CPUtime=1000.27
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3691 0 0 0 100024 3 0 0 25 0 1 0 189066135 14041088 3030 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3428 3030 205 16 0 2869 0
Current children cumulated CPU time (s) 1000.27
Current children cumulated vsize (Kb) 13712

[startup+1010.59 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1391136/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=13576 CPUtime=1010.27
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3691 0 0 0 101024 3 0 0 25 0 1 0 189066135 13901824 3012 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517879 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3394 3012 205 16 0 2835 0
Current children cumulated CPU time (s) 1010.27
Current children cumulated vsize (Kb) 13576

[startup+1020.59 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1391200/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=13400 CPUtime=1020.28
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3691 0 0 0 102025 3 0 0 25 0 1 0 189066135 13721600 2968 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3350 2968 205 16 0 2791 0
Current children cumulated CPU time (s) 1020.28
Current children cumulated vsize (Kb) 13400

[startup+1030.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1391200/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=13400 CPUtime=1030.28
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3691 0 0 0 103025 3 0 0 25 0 1 0 189066135 13721600 2968 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134561378 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3350 2968 205 16 0 2791 0
Current children cumulated CPU time (s) 1030.28
Current children cumulated vsize (Kb) 13400

[startup+1040.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1391200/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=13664 CPUtime=1040.28
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3730 0 0 0 104025 3 0 0 25 0 1 0 189066135 13991936 3007 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3416 3007 205 16 0 2857 0
Current children cumulated CPU time (s) 1040.28
Current children cumulated vsize (Kb) 13664

[startup+1050.61 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1390368/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=14448 CPUtime=1050.29
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3939 0 0 0 105026 3 0 0 25 0 1 0 189066135 14794752 3211 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517916 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3612 3211 205 16 0 3053 0
Current children cumulated CPU time (s) 1050.29
Current children cumulated vsize (Kb) 14448

[startup+1060.61 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1390432/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=14156 CPUtime=1060.29
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 3939 0 0 0 106026 3 0 0 25 0 1 0 189066135 14495744 3157 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3539 3157 205 16 0 2980 0
Current children cumulated CPU time (s) 1060.29
Current children cumulated vsize (Kb) 14156

[startup+1070.62 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1390304/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=14416 CPUtime=1070.29
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 4004 0 0 0 107026 3 0 0 25 0 1 0 189066135 14761984 3222 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3604 3222 205 16 0 3045 0
Current children cumulated CPU time (s) 1070.29
Current children cumulated vsize (Kb) 14416

[startup+1080.62 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1390304/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=14416 CPUtime=1080.3
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 4004 0 0 0 108027 3 0 0 25 0 1 0 189066135 14761984 3222 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557675 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3604 3222 205 16 0 3045 0
Current children cumulated CPU time (s) 1080.3
Current children cumulated vsize (Kb) 14416

[startup+1090.63 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1390304/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=14416 CPUtime=1090.3
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 4004 0 0 0 109027 3 0 0 25 0 1 0 189066135 14761984 3222 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3604 3222 205 16 0 3045 0
Current children cumulated CPU time (s) 1090.3
Current children cumulated vsize (Kb) 14416

[startup+1100.64 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 30065
/proc/meminfo: memFree=1390304/2055920 swapFree=4181340/4192956
[pid=30065] ppid=30063 vsize=14416 CPUtime=1100.3
/proc/30065/stat : 30065 (Pueblo13) R 30063 30065 30020 0 -1 4194304 4004 0 0 0 110027 3 0 0 25 0 1 0 189066135 14761984 3222 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134516700 0 0 4096 0 0 0 0 17 1 0 0
/proc/30065/statm: 3604 3222 205 16 0 3045 0
Current children cumulated CPU time (s) 1100.3
Current children cumulated vsize (Kb) 14416

Child status: 10
Real time (s): 1103.92
CPU time (s): 1103.59
CPU user time (s): 1103.55
CPU system time (s): 0.034994
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (Kb): 14448

Launcher Data (download as text)

Begin job on node50 on Fri Jun  2 07:39:50 UTC 2006


FILE ID= 37390-1149233990

PBS_JOBID= 296724

BENCH NAME= ROOT/tmp/node50/37390-1149233990/instance-37390-1149233990.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node50/37390-1149233990/instance-37390-1149233990.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-37390-1149233990 -o ROOT/results/node50/solver-37390-1149233990 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node50/37390-1149233990/instance-37390-1149233990.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  30ece871aa3028bf4a3db0aa3daf115a

RANDOM SEED= 721133651


/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.238
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.238
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:       1402664 kB
Buffers:         28124 kB
Cached:         552768 kB
SwapCached:       3432 kB
Active:          51052 kB
Inactive:       538812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1402664 kB
SwapTotal:     4192956 kB
SwapFree:      4181340 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          14916 kB
Slab:            49364 kB
Committed_AS:   211272 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node50 on Fri Jun  2 07:58:14 UTC 2006