Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 1169 | 1800.7 | 1783.42 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb |
MD5SUM | 9b4418c5c34f37121cd9ad7732df64ff |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1120 |
Best CPU time to get the best result obtained on this benchmark | 8.58769 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | YES |
Number of variables | 89 |
Total number of constraints | 28 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 47 |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-34.ELsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.22 c Cutting planes based inference 0.22 c --- Begin Solver configuration --- 0.22 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.22 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.22 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.22 c VSIDS like heuristics from MiniSAT using a heap 0.22 c No reason simplification 0.22 c --- End Solver configuration --- 0.22 c solving ROOT/tmp/node89/44126-1149369536/instance-44126-1149369536.opb 0.22 c reading problem ... 0.26 c ... done. Time 0.046 ms. 0.26 c #vars 89 0.26 c #constraints 28 0.97 c SATISFIABLE 0.97 c OPTIMIZING... 0.97 c Got one! Ellapsed CPU time (in seconds):0.753 0.97 o 5415 1.05 c Got one! Ellapsed CPU time (in seconds):0.836 1.05 o 2174 2.20 c Got one! Ellapsed CPU time (in seconds):1.979 2.20 o 2007 3.06 c Got one! Ellapsed CPU time (in seconds):2.847 3.06 o 1993 4.81 c Got one! Ellapsed CPU time (in seconds):4.599 4.81 o 1953 7.33 c Got one! Ellapsed CPU time (in seconds):7.111 7.33 o 1950 9.09 c Got one! Ellapsed CPU time (in seconds):8.879 9.09 o 1910 12.37 c Got one! Ellapsed CPU time (in seconds):12.151 12.37 o 1878 14.27 c Got one! Ellapsed CPU time (in seconds):14.056 14.27 o 1818 23.29 c Got one! Ellapsed CPU time (in seconds):23.071 23.29 o 1734 26.63 c Got one! Ellapsed CPU time (in seconds):26.41 26.63 o 1677 49.78 c Got one! Ellapsed CPU time (in seconds):49.563 49.78 o 1653 54.65 c Got one! Ellapsed CPU time (in seconds):54.434 54.65 o 1546 76.65 c Got one! Ellapsed CPU time (in seconds):76.436 76.65 o 1474 81.58 c Got one! Ellapsed CPU time (in seconds):81.364 81.58 o 1472 162.83 c Got one! Ellapsed CPU time (in seconds):162.609 162.83 o 1433 219.83 c Got one! Ellapsed CPU time (in seconds):219.618 219.83 o 1426 282.21 c Got one! Ellapsed CPU time (in seconds):281.992 282.21 o 1413 286.40 c Got one! Ellapsed CPU time (in seconds):286.189 286.40 o 1404 547.13 c Got one! Ellapsed CPU time (in seconds):546.909 547.13 o 1374 571.43 c Got one! Ellapsed CPU time (in seconds):571.218 571.43 o 1358 1137.83 c Got one! Ellapsed CPU time (in seconds):1137.614 1137.83 o 1299 1408.12 c Got one! Ellapsed CPU time (in seconds):1407.904 1408.12 o 1278 1525.93 c Got one! Ellapsed CPU time (in seconds):1525.715 1525.93 o 1222 1604.72 c Got one! Ellapsed CPU time (in seconds):1604.505 1604.72 o 1169 1783.32 c starts : 119 1783.32 c conflicts : 37086 1783.32 c decisions : 91183 1783.32 c propagations : 551471 1783.32 c inspects : 602034560 1783.32 c learnt literals : 0 1783.33 c learnt binary clauses : 0 1783.33 c learnt ternary clauses : 0 1783.33 c learnt clauses : 37085 1783.33 c root simplifications : 0 1783.33 c removed literals (reason simplification) : 0 1783.33 c reason swapping (by a shorter reason) : 0 1783.33 c Calls to reduceDB : 0 1783.33 c speed (decisions/second) : 510.5316790217464 1783.33 c non guided choices 1367 1783.33 s SATISFIABLE 1783.33 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 1783.33 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 x53 -x54 -x55 -x56 1783.33 v -x57 -x58 -x59 -x60 -x61 -x62 x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1783.33 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 1783.33 c objective function=1169 1783.33 c Total wall clock time (ms): 1783.111
OK 1169
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/node89/watcher-44126-1149369536 -o ROOT/results/node89/solver-44126-1149369536 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node89/44126-1149369536/instance-44126-1149369536.opb 488419196 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.98 1.00 0.93 2/68 30362 /proc/meminfo: memFree=1771480/2055892 swapFree=4085352/4096564 [pid=30362] ppid=30360 vsize=168 CPUtime=0 /proc/30362/stat : 30362 (java) R 30360 30362 30316 0 -1 0 40 0 0 0 0 0 0 0 19 0 1 0 202592691 172032 23 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 9405364 0 0 4096 0 0 0 0 17 1 0 0 /proc/30362/statm: 42 23 18 14 0 2 0 [startup+10.002 s] /proc/loadavg: 0.98 1.00 0.93 2/80 30381 /proc/meminfo: memFree=1584376/2055892 swapFree=4085352/4096564 [pid=30362] ppid=30360 vsize=1715068 CPUtime=11.27 /proc/30362/stat : 30362 (java) R 30360 30362 30316 0 -1 0 53978 0 1 0 1103 24 0 0 25 0 13 0 202592691 1756229632 48546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071348610 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30362/statm: 428767 48546 1905 14 0 415513 0 [pid=30362/tid=30363] ppid=30360 vsize=1715068 CPUtime=0.16 /proc/30362/task/30363/stat : 30363 (java) S 30360 30362 30316 0 -1 64 5110 0 0 0 14 2 0 0 16 0 13 0 202592694 1756229632 48546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30364] ppid=30360 vsize=1715068 CPUtime=0.17 /proc/30362/task/30364/stat : 30364 (java) S 30360 30362 30316 0 -1 64 4834 0 0 0 15 2 0 0 16 0 13 0 202592694 1756229632 48546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30365] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30365/stat : 30365 (java) S 30360 30362 30316 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 48546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30366] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30366/stat : 30366 (java) S 30360 30362 30316 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 48546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30367] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30367/stat : 30367 (java) S 30360 30362 30316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 48546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30368] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30368/stat : 30368 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202592701 1756229632 48546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30369] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30369/stat : 30369 (java) S 30360 30362 30316 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202592701 1756229632 48546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30370] ppid=30360 vsize=1715068 CPUtime=0.72 /proc/30362/task/30370/stat : 30370 (java) S 30360 30362 30316 0 -1 64 3012 0 0 0 71 1 0 0 16 0 13 0 202592701 1756229632 48546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30371] ppid=30360 vsize=1715068 CPUtime=0.81 /proc/30362/task/30371/stat : 30371 (java) S 30360 30362 30316 0 -1 64 2244 0 0 0 81 0 0 0 17 0 13 0 202592701 1756229632 48546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30372] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30372/stat : 30372 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202592701 1756229632 48546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30373] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30373/stat : 30373 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202592701 1756229632 48546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30381] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30381/stat : 30381 (java) S 30360 30362 30316 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202593601 1756229632 48546 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.27 Current children cumulated vsize (Kb) 1715068 [startup+20.0089 s] /proc/loadavg: 0.99 1.00 0.93 2/80 30383 /proc/meminfo: memFree=1574896/2055892 swapFree=4085352/4096564 [pid=30362] ppid=30360 vsize=1715068 CPUtime=21.32 /proc/30362/stat : 30362 (java) R 30360 30362 30316 0 -1 0 56615 0 1 0 2108 24 0 0 25 0 13 0 202592691 1756229632 50874 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071471248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30362/statm: 428767 50874 1906 14 0 415513 0 [pid=30362/tid=30363] ppid=30360 vsize=1715068 CPUtime=0.21 /proc/30362/task/30363/stat : 30363 (java) S 30360 30362 30316 0 -1 64 6394 0 0 0 19 2 0 0 17 0 13 0 202592694 1756229632 50874 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30364] ppid=30360 vsize=1715068 CPUtime=0.22 /proc/30362/task/30364/stat : 30364 (java) S 30360 30362 30316 0 -1 64 6176 0 0 0 20 2 0 0 16 0 13 0 202592694 1756229632 50874 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30365] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30365/stat : 30365 (java) S 30360 30362 30316 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 50874 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30366] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30366/stat : 30366 (java) S 30360 30362 30316 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 50874 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30367] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30367/stat : 30367 (java) S 30360 30362 30316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 50874 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30368] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30368/stat : 30368 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202592701 1756229632 50874 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30369] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30369/stat : 30369 (java) S 30360 30362 30316 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202592701 1756229632 50874 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30370] ppid=30360 vsize=1715068 CPUtime=0.72 /proc/30362/task/30370/stat : 30370 (java) S 30360 30362 30316 0 -1 64 3012 0 0 0 71 1 0 0 16 0 13 0 202592701 1756229632 50874 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30371] ppid=30360 vsize=1715068 CPUtime=0.82 /proc/30362/task/30371/stat : 30371 (java) S 30360 30362 30316 0 -1 64 2244 0 0 0 82 0 0 0 16 0 13 0 202592701 1756229632 50874 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30372] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30372/stat : 30372 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202592701 1756229632 50874 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30373] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30373/stat : 30373 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202592701 1756229632 50874 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30383] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30383/stat : 30383 (java) S 30360 30362 30316 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202594118 1756229632 50874 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.32 Current children cumulated vsize (Kb) 1715068 [startup+30.0158 s] /proc/loadavg: 0.99 1.00 0.93 2/80 30385 /proc/meminfo: memFree=1576552/2055892 swapFree=4085352/4096564 [pid=30362] ppid=30360 vsize=1715068 CPUtime=31.38 /proc/30362/stat : 30362 (java) R 30360 30362 30316 0 -1 0 58247 0 1 0 3113 25 0 0 25 0 13 0 202592691 1756229632 50475 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071408869 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30362/statm: 428767 50475 1906 14 0 415513 0 [pid=30362/tid=30363] ppid=30360 vsize=1715068 CPUtime=0.26 /proc/30362/task/30363/stat : 30363 (java) S 30360 30362 30316 0 -1 64 7186 0 0 0 24 2 0 0 16 0 13 0 202592694 1756229632 50475 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30364] ppid=30360 vsize=1715068 CPUtime=0.27 /proc/30362/task/30364/stat : 30364 (java) S 30360 30362 30316 0 -1 64 7005 0 0 0 25 2 0 0 16 0 13 0 202592694 1756229632 50475 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30365] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30365/stat : 30365 (java) S 30360 30362 30316 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 50475 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30366] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30366/stat : 30366 (java) S 30360 30362 30316 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 50475 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30367] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30367/stat : 30367 (java) S 30360 30362 30316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 50475 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30368] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30368/stat : 30368 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202592701 1756229632 50475 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30369] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30369/stat : 30369 (java) S 30360 30362 30316 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202592701 1756229632 50475 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30370] ppid=30360 vsize=1715068 CPUtime=0.72 /proc/30362/task/30370/stat : 30370 (java) S 30360 30362 30316 0 -1 64 3012 0 0 0 71 1 0 0 16 0 13 0 202592701 1756229632 50475 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30371] ppid=30360 vsize=1715068 CPUtime=0.83 /proc/30362/task/30371/stat : 30371 (java) S 30360 30362 30316 0 -1 64 2245 0 0 0 83 0 0 0 16 0 13 0 202592701 1756229632 50475 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30372] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30372/stat : 30372 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202592701 1756229632 50475 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30373] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30373/stat : 30373 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202592701 1756229632 50475 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30385] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30385/stat : 30385 (java) S 30360 30362 30316 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202595354 1756229632 50475 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.38 Current children cumulated vsize (Kb) 1715068 [startup+40.0226 s] /proc/loadavg: 0.99 1.00 0.93 2/80 30385 /proc/meminfo: memFree=1581096/2055892 swapFree=4085352/4096564 [pid=30362] ppid=30360 vsize=1715068 CPUtime=41.43 /proc/30362/stat : 30362 (java) R 30360 30362 30316 0 -1 0 59358 0 1 0 4117 26 0 0 24 0 13 0 202592691 1756229632 49348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071355639 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30362/statm: 428767 49348 1906 14 0 415513 0 [pid=30362/tid=30363] ppid=30360 vsize=1715068 CPUtime=0.31 /proc/30362/task/30363/stat : 30363 (java) S 30360 30362 30316 0 -1 64 7765 0 0 0 28 3 0 0 16 0 13 0 202592694 1756229632 49348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30364] ppid=30360 vsize=1715068 CPUtime=0.32 /proc/30362/task/30364/stat : 30364 (java) S 30360 30362 30316 0 -1 64 7527 0 0 0 30 2 0 0 16 0 13 0 202592694 1756229632 49348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30365] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30365/stat : 30365 (java) S 30360 30362 30316 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 49348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30366] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30366/stat : 30366 (java) S 30360 30362 30316 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 49348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30367] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30367/stat : 30367 (java) S 30360 30362 30316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 49348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30368] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30368/stat : 30368 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202592701 1756229632 49348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30369] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30369/stat : 30369 (java) S 30360 30362 30316 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202592701 1756229632 49348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30370] ppid=30360 vsize=1715068 CPUtime=0.72 /proc/30362/task/30370/stat : 30370 (java) S 30360 30362 30316 0 -1 64 3012 0 0 0 71 1 0 0 16 0 13 0 202592701 1756229632 49348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30371] ppid=30360 vsize=1715068 CPUtime=0.84 /proc/30362/task/30371/stat : 30371 (java) S 30360 30362 30316 0 -1 64 2246 0 0 0 84 0 0 0 16 0 13 0 202592701 1756229632 49348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30372] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30372/stat : 30372 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202592701 1756229632 49348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30373] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30373/stat : 30373 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202592701 1756229632 49348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30385] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30385/stat : 30385 (java) S 30360 30362 30316 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202595354 1756229632 49348 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.43 Current children cumulated vsize (Kb) 1715068 [startup+50.0295 s] /proc/loadavg: 0.99 1.00 0.93 2/80 30386 /proc/meminfo: memFree=1584032/2055892 swapFree=4085352/4096564 [pid=30362] ppid=30360 vsize=1715068 CPUtime=51.48 /proc/30362/stat : 30362 (java) R 30360 30362 30316 0 -1 0 60270 0 1 0 5120 28 0 0 25 0 13 0 202592691 1756229632 48604 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071408802 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30362/statm: 428767 48604 1906 14 0 415513 0 [pid=30362/tid=30363] ppid=30360 vsize=1715068 CPUtime=0.36 /proc/30362/task/30363/stat : 30363 (java) S 30360 30362 30316 0 -1 64 8266 0 0 0 32 4 0 0 16 0 13 0 202592694 1756229632 48604 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30364] ppid=30360 vsize=1715068 CPUtime=0.36 /proc/30362/task/30364/stat : 30364 (java) S 30360 30362 30316 0 -1 64 7931 0 0 0 33 3 0 0 16 0 13 0 202592694 1756229632 48604 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30365] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30365/stat : 30365 (java) S 30360 30362 30316 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 48604 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30366] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30366/stat : 30366 (java) S 30360 30362 30316 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 48604 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30367] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30367/stat : 30367 (java) S 30360 30362 30316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 48604 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30368] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30368/stat : 30368 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202592701 1756229632 48604 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30369] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30369/stat : 30369 (java) S 30360 30362 30316 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202592701 1756229632 48604 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30370] ppid=30360 vsize=1715068 CPUtime=0.72 /proc/30362/task/30370/stat : 30370 (java) S 30360 30362 30316 0 -1 64 3012 0 0 0 71 1 0 0 16 0 13 0 202592701 1756229632 48604 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30371] ppid=30360 vsize=1715068 CPUtime=0.84 /proc/30362/task/30371/stat : 30371 (java) S 30360 30362 30316 0 -1 64 2246 0 0 0 84 0 0 0 16 0 13 0 202592701 1756229632 48604 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30372] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30372/stat : 30372 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202592701 1756229632 48604 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30373] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30373/stat : 30373 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202592701 1756229632 48604 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30386] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30386/stat : 30386 (java) S 30360 30362 30316 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 202597669 1756229632 48604 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.48 Current children cumulated vsize (Kb) 1715068 [startup+60.0364 s] /proc/loadavg: 0.99 1.00 0.93 2/80 30387 /proc/meminfo: memFree=1586712/2055892 swapFree=4085352/4096564 [pid=30362] ppid=30360 vsize=1715068 CPUtime=61.52 /proc/30362/stat : 30362 (java) R 30360 30362 30316 0 -1 0 61196 0 1 0 6124 28 0 0 19 0 13 0 202592691 1756229632 47947 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071471218 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30362/statm: 428767 47947 1906 14 0 415513 0 [pid=30362/tid=30363] ppid=30360 vsize=1715068 CPUtime=0.4 /proc/30362/task/30363/stat : 30363 (java) S 30360 30362 30316 0 -1 64 8939 0 0 0 36 4 0 0 16 0 13 0 202592694 1756229632 47947 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30364] ppid=30360 vsize=1715068 CPUtime=0.41 /proc/30362/task/30364/stat : 30364 (java) S 30360 30362 30316 0 -1 64 8176 0 0 0 38 3 0 0 17 0 13 0 202592694 1756229632 47947 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30365] ppid=30360 vsize=1715068 CPUtime=0.01 /proc/30362/task/30365/stat : 30365 (java) S 30360 30362 30316 0 -1 64 31 0 0 0 1 0 0 0 15 0 13 0 202592697 1756229632 47947 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30366] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30366/stat : 30366 (java) S 30360 30362 30316 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 47947 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30367] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30367/stat : 30367 (java) S 30360 30362 30316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 47947 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30368] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30368/stat : 30368 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202592701 1756229632 47947 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=30362/tid=30366] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30366/stat : 30366 (java) S 30360 30362 30316 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30367] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30367/stat : 30367 (java) S 30360 30362 30316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30368] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30368/stat : 30368 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202592701 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30369] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30369/stat : 30369 (java) S 30360 30362 30316 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202592701 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30370] ppid=30360 vsize=1715068 CPUtime=0.75 /proc/30362/task/30370/stat : 30370 (java) S 30360 30362 30316 0 -1 64 3014 0 0 0 74 1 0 0 16 0 13 0 202592701 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30371] ppid=30360 vsize=1715068 CPUtime=0.85 /proc/30362/task/30371/stat : 30371 (java) S 30360 30362 30316 0 -1 64 2247 0 0 0 85 0 0 0 16 0 13 0 202592701 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30372] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30372/stat : 30372 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202592701 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30373] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30373/stat : 30373 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202592701 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30401] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30401/stat : 30401 (java) S 30360 30362 30316 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 202753163 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (Kb) 1715068 [startup+1780.3 s] /proc/loadavg: 1.05 1.01 0.94 2/80 30401 /proc/meminfo: memFree=1289728/2055892 swapFree=4085352/4096564 [pid=30362] ppid=30360 vsize=1715068 CPUtime=1797.56 /proc/30362/stat : 30362 (java) R 30360 30362 30316 0 -1 0 211362 0 1 0 179641 115 0 0 25 0 13 0 202592691 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071059477 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30362/statm: 428767 121885 1906 14 0 415513 0 [pid=30362/tid=30363] ppid=30360 vsize=1715068 CPUtime=17.07 /proc/30362/task/30363/stat : 30363 (java) S 30360 30362 30316 0 -1 64 57686 0 0 0 1677 30 0 0 16 0 13 0 202592694 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30364] ppid=30360 vsize=1715068 CPUtime=17.04 /proc/30362/task/30364/stat : 30364 (java) S 30360 30362 30316 0 -1 64 54409 0 0 0 1677 27 0 0 16 0 13 0 202592694 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30365] ppid=30360 vsize=1715068 CPUtime=0.33 /proc/30362/task/30365/stat : 30365 (java) S 30360 30362 30316 0 -1 64 256 0 0 0 17 16 0 0 16 0 13 0 202592697 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30366] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30366/stat : 30366 (java) S 30360 30362 30316 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30367] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30367/stat : 30367 (java) S 30360 30362 30316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30368] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30368/stat : 30368 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202592701 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30369] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30369/stat : 30369 (java) S 30360 30362 30316 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202592701 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30370] ppid=30360 vsize=1715068 CPUtime=0.75 /proc/30362/task/30370/stat : 30370 (java) S 30360 30362 30316 0 -1 64 3014 0 0 0 74 1 0 0 16 0 13 0 202592701 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30371] ppid=30360 vsize=1715068 CPUtime=0.85 /proc/30362/task/30371/stat : 30371 (java) S 30360 30362 30316 0 -1 64 2247 0 0 0 85 0 0 0 16 0 13 0 202592701 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30372] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30372/stat : 30372 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202592701 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30373] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30373/stat : 30373 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202592701 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30401] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30401/stat : 30401 (java) S 30360 30362 30316 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 202753163 1756229632 121885 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 1715068 [startup+1781.31 s] /proc/loadavg: 1.05 1.01 0.94 2/80 30401 /proc/meminfo: memFree=1289408/2055892 swapFree=4085352/4096564 [pid=30362] ppid=30360 vsize=1715068 CPUtime=1798.59 /proc/30362/stat : 30362 (java) R 30360 30362 30316 0 -1 0 211418 0 1 0 179744 115 0 0 25 0 13 0 202592691 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071331851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30362/statm: 428767 121923 1906 14 0 415513 0 [pid=30362/tid=30363] ppid=30360 vsize=1715068 CPUtime=17.1 /proc/30362/task/30363/stat : 30363 (java) S 30360 30362 30316 0 -1 64 57706 0 0 0 1680 30 0 0 16 0 13 0 202592694 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30364] ppid=30360 vsize=1715068 CPUtime=17.07 /proc/30362/task/30364/stat : 30364 (java) S 30360 30362 30316 0 -1 64 54444 0 0 0 1680 27 0 0 17 0 13 0 202592694 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30365] ppid=30360 vsize=1715068 CPUtime=0.33 /proc/30362/task/30365/stat : 30365 (java) S 30360 30362 30316 0 -1 64 256 0 0 0 17 16 0 0 16 0 13 0 202592697 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30366] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30366/stat : 30366 (java) S 30360 30362 30316 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30367] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30367/stat : 30367 (java) S 30360 30362 30316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30368] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30368/stat : 30368 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30369] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30369/stat : 30369 (java) S 30360 30362 30316 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30370] ppid=30360 vsize=1715068 CPUtime=0.75 /proc/30362/task/30370/stat : 30370 (java) S 30360 30362 30316 0 -1 64 3014 0 0 0 74 1 0 0 16 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30371] ppid=30360 vsize=1715068 CPUtime=0.85 /proc/30362/task/30371/stat : 30371 (java) S 30360 30362 30316 0 -1 64 2247 0 0 0 85 0 0 0 16 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30372] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30372/stat : 30372 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30373] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30373/stat : 30373 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30401] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30401/stat : 30401 (java) S 30360 30362 30316 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 202753163 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 1715068 [startup+1782.31 s] /proc/loadavg: 1.05 1.01 0.94 2/80 30401 /proc/meminfo: memFree=1289408/2055892 swapFree=4085352/4096564 [pid=30362] ppid=30360 vsize=1715068 CPUtime=1799.59 /proc/30362/stat : 30362 (java) R 30360 30362 30316 0 -1 0 211418 0 1 0 179844 115 0 0 25 0 13 0 202592691 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071335082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30362/statm: 428767 121923 1906 14 0 415513 0 [pid=30362/tid=30363] ppid=30360 vsize=1715068 CPUtime=17.1 /proc/30362/task/30363/stat : 30363 (java) S 30360 30362 30316 0 -1 64 57706 0 0 0 1680 30 0 0 16 0 13 0 202592694 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30364] ppid=30360 vsize=1715068 CPUtime=17.07 /proc/30362/task/30364/stat : 30364 (java) S 30360 30362 30316 0 -1 64 54444 0 0 0 1680 27 0 0 17 0 13 0 202592694 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30365] ppid=30360 vsize=1715068 CPUtime=0.33 /proc/30362/task/30365/stat : 30365 (java) S 30360 30362 30316 0 -1 64 256 0 0 0 17 16 0 0 16 0 13 0 202592697 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30366] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30366/stat : 30366 (java) S 30360 30362 30316 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30367] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30367/stat : 30367 (java) S 30360 30362 30316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30368] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30368/stat : 30368 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30369] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30369/stat : 30369 (java) S 30360 30362 30316 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30370] ppid=30360 vsize=1715068 CPUtime=0.75 /proc/30362/task/30370/stat : 30370 (java) S 30360 30362 30316 0 -1 64 3014 0 0 0 74 1 0 0 16 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30371] ppid=30360 vsize=1715068 CPUtime=0.85 /proc/30362/task/30371/stat : 30371 (java) S 30360 30362 30316 0 -1 64 2247 0 0 0 85 0 0 0 16 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30372] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30372/stat : 30372 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30373] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30373/stat : 30373 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30401] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30401/stat : 30401 (java) S 30360 30362 30316 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 202753163 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (Kb) 1715068 [startup+1783.32 s] /proc/loadavg: 1.05 1.01 0.94 2/80 30401 /proc/meminfo: memFree=1289408/2055892 swapFree=4085352/4096564 [pid=30362] ppid=30360 vsize=1715068 CPUtime=1800.6 /proc/30362/stat : 30362 (java) R 30360 30362 30316 0 -1 0 211418 0 1 0 179945 115 0 0 25 0 13 0 202592691 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071348724 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30362/statm: 428767 121923 1906 14 0 415513 0 [pid=30362/tid=30363] ppid=30360 vsize=1715068 CPUtime=17.1 /proc/30362/task/30363/stat : 30363 (java) S 30360 30362 30316 0 -1 64 57706 0 0 0 1680 30 0 0 16 0 13 0 202592694 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30364] ppid=30360 vsize=1715068 CPUtime=17.07 /proc/30362/task/30364/stat : 30364 (java) S 30360 30362 30316 0 -1 64 54444 0 0 0 1680 27 0 0 17 0 13 0 202592694 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30365] ppid=30360 vsize=1715068 CPUtime=0.33 /proc/30362/task/30365/stat : 30365 (java) S 30360 30362 30316 0 -1 64 256 0 0 0 17 16 0 0 16 0 13 0 202592697 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30366] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30366/stat : 30366 (java) S 30360 30362 30316 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30367] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30367/stat : 30367 (java) S 30360 30362 30316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30368] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30368/stat : 30368 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30369] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30369/stat : 30369 (java) S 30360 30362 30316 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30370] ppid=30360 vsize=1715068 CPUtime=0.75 /proc/30362/task/30370/stat : 30370 (java) S 30360 30362 30316 0 -1 64 3014 0 0 0 74 1 0 0 16 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30371] ppid=30360 vsize=1715068 CPUtime=0.85 /proc/30362/task/30371/stat : 30371 (java) S 30360 30362 30316 0 -1 64 2247 0 0 0 85 0 0 0 16 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30372] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30372/stat : 30372 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30373] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30373/stat : 30373 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30401] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30401/stat : 30401 (java) S 30360 30362 30316 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 202753163 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 1715068 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783.32 s] /proc/loadavg: 1.05 1.01 0.94 2/80 30401 /proc/meminfo: memFree=1289408/2055892 swapFree=4085352/4096564 [pid=30362] ppid=30360 vsize=1715068 CPUtime=1800.6 /proc/30362/stat : 30362 (java) R 30360 30362 30316 0 -1 0 211418 0 1 0 179945 115 0 0 25 0 13 0 202592691 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071348703 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30362/statm: 428767 121923 1906 14 0 415513 0 [pid=30362/tid=30363] ppid=30360 vsize=1715068 CPUtime=17.1 /proc/30362/task/30363/stat : 30363 (java) S 30360 30362 30316 0 -1 64 57706 0 0 0 1680 30 0 0 16 0 13 0 202592694 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30364] ppid=30360 vsize=1715068 CPUtime=17.07 /proc/30362/task/30364/stat : 30364 (java) S 30360 30362 30316 0 -1 64 54444 0 0 0 1680 27 0 0 17 0 13 0 202592694 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30365] ppid=30360 vsize=1715068 CPUtime=0.33 /proc/30362/task/30365/stat : 30365 (java) S 30360 30362 30316 0 -1 64 256 0 0 0 17 16 0 0 16 0 13 0 202592697 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30366] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30366/stat : 30366 (java) S 30360 30362 30316 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30367] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30367/stat : 30367 (java) S 30360 30362 30316 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202592697 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30368] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30368/stat : 30368 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30369] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30369/stat : 30369 (java) S 30360 30362 30316 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30362/tid=30370] ppid=30360 vsize=1715068 CPUtime=0.75 /proc/30362/task/30370/stat : 30370 (java) S 30360 30362 30316 0 -1 64 3014 0 0 0 74 1 0 0 16 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30371] ppid=30360 vsize=1715068 CPUtime=0.85 /proc/30362/task/30371/stat : 30371 (java) S 30360 30362 30316 0 -1 64 2247 0 0 0 85 0 0 0 16 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30372] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30372/stat : 30372 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30373] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30373/stat : 30373 (java) S 30360 30362 30316 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202592701 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30362/tid=30401] ppid=30360 vsize=1715068 CPUtime=0 /proc/30362/task/30401/stat : 30401 (java) S 30360 30362 30316 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 202753163 1756229632 121923 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 1715068 Sending SIGTERM to -30362 Sleeping 2 seconds Child status: 143 Real time (s): 1783.42 CPU time (s): 1800.7 CPU user time (s): 1799.47 CPU system time (s): 1.22681 CPU usage (%): 100.969 Max. virtual memory (cumulated for all children) (Kb): 1715068
Begin job on node89 on Sat Jun 3 21:18:56 UTC 2006 FILE ID= 44126-1149369536 PBS_JOBID= 312121 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node89/44126-1149369536/instance-44126-1149369536.opb 488419196 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node89/watcher-44126-1149369536 -o ROOT/results/node89/solver-44126-1149369536 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node89/44126-1149369536/instance-44126-1149369536.opb 488419196 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 9b4418c5c34f37121cd9ad7732df64ff RANDOM SEED= 488419196 /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.265 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 : 6006.16 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.265 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1771624 kB Buffers: 28548 kB Cached: 194420 kB SwapCached: 2384 kB Active: 52748 kB Inactive: 178888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1771624 kB SwapTotal: 4096564 kB SwapFree: 4085352 kB Dirty: 168 kB Writeback: 0 kB Mapped: 16524 kB Slab: 39148 kB Committed_AS: 378344 kB PageTables: 1300 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node89 on Sat Jun 3 21:48:40 UTC 2006