Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | No Cert. | 1602.9 | 1585.01 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-core2536-691.opb |
MD5SUM | 06a8ed91d04dd9c37cb8c92ab4f7d82f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 430 |
Best CPU time to get the best result obtained on this benchmark | 1800.67 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 386 |
Optimality of the best value was proved | NO |
Number of variables | 15284 |
Total number of constraints | 2537 |
Number of constraints which are clauses | 2536 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 13789 |
Number of terms in the objective function | 15284 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 15284 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 9256 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 23045 |
Number of bits of the biggest sum of numbers | 15 |
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-22.EL.rootsmp 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@1df073d 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.22 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 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/node23/42454-1149269653/instance-42454-1149269653.opb 0.22 c reading problem ... 2.59 c ... done. Time 2.376 ms. 2.59 c #vars 15284 2.59 c #constraints 2517 3.14 c SATISFIABLE 3.14 c OPTIMIZING... 3.14 c Got one! Ellapsed CPU time (in seconds):2.925 3.40 o 585 4.23 c Got one! Ellapsed CPU time (in seconds):4.017 4.45 o 584 5.69 c Got one! Ellapsed CPU time (in seconds):5.469 5.90 o 583 7.27 c Got one! Ellapsed CPU time (in seconds):7.048 7.48 o 581 10.18 c Got one! Ellapsed CPU time (in seconds):9.967 10.41 o 580 13.95 c Got one! Ellapsed CPU time (in seconds):13.733 14.17 o 579 20.39 c Got one! Ellapsed CPU time (in seconds):20.173 20.62 o 578 25.50 c Got one! Ellapsed CPU time (in seconds):25.285 25.73 o 577 30.93 c Got one! Ellapsed CPU time (in seconds):30.708 31.14 o 576 1536.21 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 1546.62 c starts : 15 1546.62 c conflicts : 2624 1546.62 c decisions : 206934 1546.62 c propagations : 1580642 1546.62 c inspects : 3656062 1546.62 c learnt literals : 0 1546.62 c learnt binary clauses : 0 1546.62 c learnt ternary clauses : 0 1546.62 c learnt clauses : 2623 1546.62 c root simplifications : 0 1546.62 c removed literals (reason simplification) : 0 1546.62 c reason swapping (by a shorter reason) : 0 1546.62 c Calls to reduceDB : 0 1546.62 c speed (decisions/second) : 136.5680137535514 1546.62 c non guided choices 0 1546.62 s SATISFIABLE 1584.72 Exception in thread "Thread-0" java.lang.OutOfMemoryError: Java heap space
ERROR: no interpretation found !
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/node23/watcher-42454-1149269653 -o ROOT/results/node23/solver-42454-1149269653 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node23/42454-1149269653/instance-42454-1149269653.opb 973978814 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.94 3/64 12980 /proc/meminfo: memFree=1163304/2055920 swapFree=4180892/4192956 [pid=12980] ppid=12978 vsize=1784 CPUtime=0 /proc/12980/stat : 12980 (java) R 12978 12980 12934 0 -1 0 170 0 0 0 0 0 0 0 18 0 1 0 192629007 1826816 141 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/12980/statm: 446 141 106 14 0 91 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.98 0.94 2/76 12996 /proc/meminfo: memFree=956432/2055920 swapFree=4180892/4192956 [pid=12980] ppid=12978 vsize=1712352 CPUtime=11.54 /proc/12980/stat : 12980 (java) R 12978 12980 12934 0 -1 0 57643 0 1 0 1128 26 0 0 25 0 13 0 192629007 1753448448 53509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071622281 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12980/statm: 428088 53509 1915 14 0 414835 0 [pid=12980/tid=12981] ppid=12978 vsize=1712352 CPUtime=0.39 /proc/12980/task/12981/stat : 12981 (java) S 12978 12980 12934 0 -1 64 8590 0 0 0 35 4 0 0 16 0 13 0 192629010 1753448448 53509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12982] ppid=12978 vsize=1712352 CPUtime=0.4 /proc/12980/task/12982/stat : 12982 (java) S 12978 12980 12934 0 -1 64 9546 0 0 0 36 4 0 0 16 0 13 0 192629010 1753448448 53509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12983] ppid=12978 vsize=1712352 CPUtime=0 /proc/12980/task/12983/stat : 12983 (java) S 12978 12980 12934 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 192629012 1753448448 53509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12984] ppid=12978 vsize=1712352 CPUtime=0 /proc/12980/task/12984/stat : 12984 (java) S 12978 12980 12934 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192629013 1753448448 53509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12985] ppid=12978 vsize=1712352 CPUtime=0 /proc/12980/task/12985/stat : 12985 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192629013 1753448448 53509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12986] ppid=12978 vsize=1712352 CPUtime=0 /proc/12980/task/12986/stat : 12986 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192629016 1753448448 53509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12987] ppid=12978 vsize=1712352 CPUtime=0 /proc/12980/task/12987/stat : 12987 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192629016 1753448448 53509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12988] ppid=12978 vsize=1712352 CPUtime=0.98 /proc/12980/task/12988/stat : 12988 (java) S 12978 12980 12934 0 -1 64 1664 0 0 0 97 1 0 0 16 0 13 0 192629016 1753448448 53509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12989] ppid=12978 vsize=1712352 CPUtime=0.78 /proc/12980/task/12989/stat : 12989 (java) S 12978 12980 12934 0 -1 64 427 0 0 0 78 0 0 0 16 0 13 0 192629016 1753448448 53509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12990] ppid=12978 vsize=1712352 CPUtime=0 /proc/12980/task/12990/stat : 12990 (java) S 12978 12980 12934 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192629016 1753448448 53509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12991] ppid=12978 vsize=1712352 CPUtime=0 /proc/12980/task/12991/stat : 12991 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192629016 1753448448 53509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12996] ppid=12978 vsize=1712352 CPUtime=0 /proc/12980/task/12996/stat : 12996 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 192629779 1753448448 53509 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.54 Current children cumulated vsize (Kb) 1712352 [startup+20.0099 s] /proc/loadavg: 0.94 0.98 0.94 2/76 12998 /proc/meminfo: memFree=836552/2055920 swapFree=4180892/4192956 [pid=12980] ppid=12978 vsize=1712668 CPUtime=22.68 /proc/12980/stat : 12980 (java) R 12978 12980 12934 0 -1 0 98239 0 1 0 2220 48 0 0 25 0 13 0 192629007 1753772032 83441 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071730657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12980/statm: 428167 83441 1915 14 0 414914 0 [pid=12980/tid=12981] ppid=12978 vsize=1712668 CPUtime=1.52 /proc/12980/task/12981/stat : 12981 (java) S 12978 12980 12934 0 -1 64 31206 0 0 0 136 16 0 0 16 0 13 0 192629010 1753772032 83441 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12982] ppid=12978 vsize=1712668 CPUtime=1.53 /proc/12980/task/12982/stat : 12982 (java) S 12978 12980 12934 0 -1 64 27507 0 0 0 139 14 0 0 16 0 13 0 192629010 1753772032 83441 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12983] ppid=12978 vsize=1712668 CPUtime=0 /proc/12980/task/12983/stat : 12983 (java) S 12978 12980 12934 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 192629012 1753772032 83441 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12984] ppid=12978 vsize=1712668 CPUtime=0 /proc/12980/task/12984/stat : 12984 (java) S 12978 12980 12934 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192629013 1753772032 83441 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12985] ppid=12978 vsize=1712668 CPUtime=0 /proc/12980/task/12985/stat : 12985 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192629013 1753772032 83441 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12986] ppid=12978 vsize=1712668 CPUtime=0 /proc/12980/task/12986/stat : 12986 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192629016 1753772032 83441 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12987] ppid=12978 vsize=1712668 CPUtime=0 /proc/12980/task/12987/stat : 12987 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192629016 1753772032 83441 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12988] ppid=12978 vsize=1712668 CPUtime=0.99 /proc/12980/task/12988/stat : 12988 (java) S 12978 12980 12934 0 -1 64 1665 0 0 0 98 1 0 0 17 0 13 0 192629016 1753772032 83441 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12989] ppid=12978 vsize=1712668 CPUtime=0.81 /proc/12980/task/12989/stat : 12989 (java) S 12978 12980 12934 0 -1 64 429 0 0 0 81 0 0 0 17 0 13 0 192629016 1753772032 83441 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12990] ppid=12978 vsize=1712668 CPUtime=0 /proc/12980/task/12990/stat : 12990 (java) S 12978 12980 12934 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192629016 1753772032 83441 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12991] ppid=12978 vsize=1712668 CPUtime=0 /proc/12980/task/12991/stat : 12991 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192629016 1753772032 83441 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12998] ppid=12978 vsize=1712668 CPUtime=0 /proc/12980/task/12998/stat : 12998 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 192630447 1753772032 83441 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 22.68 Current children cumulated vsize (Kb) 1712668 [startup+30.02 s] /proc/loadavg: 1.18 1.03 0.95 4/76 13000 /proc/meminfo: memFree=731264/2055920 swapFree=4180892/4192956 [pid=12980] ppid=12978 vsize=1713312 CPUtime=33.61 /proc/12980/stat : 12980 (java) R 12978 12980 12934 0 -1 0 134463 0 1 0 3295 66 0 0 21 0 13 0 192629007 1754431488 109925 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12980/statm: 428328 109925 1915 14 0 415075 0 [pid=12980/tid=12981] ppid=12978 vsize=1713312 CPUtime=2.45 /proc/12980/task/12981/stat : 12981 (java) R 12978 12980 12934 0 -1 64 47353 0 0 0 220 25 0 0 16 0 13 0 192629010 1754431488 109925 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4155256179 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12982] ppid=12978 vsize=1713312 CPUtime=2.45 /proc/12980/task/12982/stat : 12982 (java) R 12978 12980 12934 0 -1 64 47571 0 0 0 222 23 0 0 16 0 13 0 192629010 1754431488 109925 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154649085 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12983] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12983/stat : 12983 (java) S 12978 12980 12934 0 -1 64 33 0 0 0 0 0 0 0 15 0 13 0 192629012 1754431488 109925 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12984] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12984/stat : 12984 (java) S 12978 12980 12934 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192629013 1754431488 109925 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12985] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12985/stat : 12985 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192629013 1754431488 109925 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12986] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12986/stat : 12986 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192629016 1754431488 109925 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12987] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12987/stat : 12987 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192629016 1754431488 109925 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12988] ppid=12978 vsize=1713312 CPUtime=0.99 /proc/12980/task/12988/stat : 12988 (java) S 12978 12980 12934 0 -1 64 1665 0 0 0 98 1 0 0 16 0 13 0 192629016 1754431488 109925 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12989] ppid=12978 vsize=1713312 CPUtime=0.81 /proc/12980/task/12989/stat : 12989 (java) S 12978 12980 12934 0 -1 64 429 0 0 0 81 0 0 0 17 0 13 0 192629016 1754431488 109925 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12990] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12990/stat : 12990 (java) S 12978 12980 12934 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192629016 1754431488 109925 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12991] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12991/stat : 12991 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192629016 1754431488 109925 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=13000] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/13000/stat : 13000 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 192631605 1754431488 109925 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 33.61 Current children cumulated vsize (Kb) 1713312 [startup+40.0271 s] /proc/loadavg: 1.16 1.03 0.95 2/76 13001 /proc/meminfo: memFree=689528/2055920 swapFree=4180892/4192956 [pid=12980] ppid=12978 vsize=1713312 CPUtime=44.36 /proc/12980/stat : 12980 (java) R 12978 12980 12934 0 -1 0 147280 0 1 0 4363 73 0 0 25 0 13 0 192629007 1754431488 120106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071659427 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12980/statm: 428328 120106 1915 14 0 415075 0 [pid=12980/tid=12981] ppid=12978 vsize=1713312 CPUtime=3.08 /proc/12980/task/12981/stat : 12981 (java) S 12978 12980 12934 0 -1 64 53895 0 0 0 281 27 0 0 16 0 13 0 192629010 1754431488 120106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12982] ppid=12978 vsize=1713312 CPUtime=3.09 /proc/12980/task/12982/stat : 12982 (java) S 12978 12980 12934 0 -1 64 53703 0 0 0 283 26 0 0 17 0 13 0 192629010 1754431488 120106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12983] ppid=12978 vsize=1713312 CPUtime=0.01 /proc/12980/task/12983/stat : 12983 (java) S 12978 12980 12934 0 -1 64 39 0 0 0 1 0 0 0 16 0 13 0 192629012 1754431488 120106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12984] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12984/stat : 12984 (java) S 12978 12980 12934 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192629013 1754431488 120106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12985] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12985/stat : 12985 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192629013 1754431488 120106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12986] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12986/stat : 12986 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192629016 1754431488 120106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12987] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12987/stat : 12987 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192629016 1754431488 120106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12988] ppid=12978 vsize=1713312 CPUtime=1.06 /proc/12980/task/12988/stat : 12988 (java) S 12978 12980 12934 0 -1 64 1673 0 0 0 105 1 0 0 17 0 13 0 192629016 1754431488 120106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12989] ppid=12978 vsize=1713312 CPUtime=0.86 /proc/12980/task/12989/stat : 12989 (java) S 12978 12980 12934 0 -1 64 538 0 0 0 86 0 0 0 16 0 13 0 192629016 1754431488 120106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12990] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12990/stat : 12990 (java) S 12978 12980 12934 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192629016 1754431488 120106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12991] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12991/stat : 12991 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192629016 1754431488 120106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=13001] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/13001/stat : 13001 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 192632145 1754431488 120106 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 44.36 Current children cumulated vsize (Kb) 1713312 [startup+50.0343 s] /proc/loadavg: 1.13 1.02 0.95 2/76 13001 /proc/meminfo: memFree=697720/2055920 swapFree=4180892/4192956 [pid=12980] ppid=12978 vsize=1713312 CPUtime=54.49 /proc/12980/stat : 12980 (java) R 12978 12980 12934 0 -1 0 147308 0 1 0 5375 74 0 0 25 0 13 0 192629007 1754431488 117999 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071430549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12980/statm: 428328 117999 1915 14 0 415075 0 [pid=12980/tid=12981] ppid=12978 vsize=1713312 CPUtime=3.17 /proc/12980/task/12981/stat : 12981 (java) S 12978 12980 12934 0 -1 64 53895 0 0 0 290 27 0 0 15 0 13 0 192629010 1754431488 117999 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12982] ppid=12978 vsize=1713312 CPUtime=3.19 /proc/12980/task/12982/stat : 12982 (java) S 12978 12980 12934 0 -1 64 53703 0 0 0 293 26 0 0 16 0 13 0 192629010 1754431488 117999 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12983] ppid=12978 vsize=1713312 CPUtime=0.02 /proc/12980/task/12983/stat : 12983 (java) S 12978 12980 12934 0 -1 64 42 0 0 0 1 1 0 0 16 0 13 0 192629012 1754431488 117999 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12984] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12984/stat : 12984 (java) S 12978 12980 12934 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192629013 1754431488 117999 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12985] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12985/stat : 12985 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192629013 1754431488 117999 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12986] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12986/stat : 12986 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192629016 1754431488 117999 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12987] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12987/stat : 12987 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192629016 1754431488 117999 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12988] ppid=12978 vsize=1713312 CPUtime=1.07 /proc/12980/task/12988/stat : 12988 (java) S 12978 12980 12934 0 -1 64 1673 0 0 0 106 1 0 0 16 0 13 0 192629016 1754431488 117999 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12989] ppid=12978 vsize=1713312 CPUtime=0.89 /proc/12980/task/12989/stat : 12989 (java) S 12978 12980 12934 0 -1 64 540 0 0 0 89 0 0 0 16 0 13 0 192629016 1754431488 117999 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12990] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12990/stat : 12990 (java) S 12978 12980 12934 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192629016 1754431488 117999 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12991] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12991/stat : 12991 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192629016 1754431488 117999 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=13001] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/13001/stat : 13001 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 192632145 1754431488 117999 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 54.49 Current children cumulated vsize (Kb) 1713312 [startup+60.0414 s] /proc/loadavg: 1.11 1.02 0.95 2/76 13002 /proc/meminfo: memFree=711160/2055920 swapFree=4180892/4192956 [pid=12980] ppid=12978 vsize=1713312 CPUtime=64.59 /proc/12980/stat : 12980 (java) R 12978 12980 12934 0 -1 0 147331 0 1 0 6384 75 0 0 25 0 13 0 192629007 1754431488 114634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071390403 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12980/statm: 428328 114634 1915 14 0 415075 0 [pid=12980/tid=12981] ppid=12978 vsize=1713312 CPUtime=3.27 /proc/12980/task/12981/stat : 12981 (java) S 12978 12980 12934 0 -1 64 53895 0 0 0 299 28 0 0 16 0 13 0 192629010 1754431488 114634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12982] ppid=12978 vsize=1713312 CPUtime=3.27 /proc/12980/task/12982/stat : 12982 (java) S 12978 12980 12934 0 -1 64 53703 0 0 0 301 26 0 0 16 0 13 0 192629010 1754431488 114634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12983] ppid=12978 vsize=1713312 CPUtime=0.02 /proc/12980/task/12983/stat : 12983 (java) S 12978 12980 12934 0 -1 64 42 0 0 0 1 1 0 0 16 0 13 0 192629012 1754431488 114634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12984] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12984/stat : 12984 (java) S 12978 12980 12934 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192629013 1754431488 114634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12985] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12985/stat : 12985 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192629013 1754431488 114634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12986] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12986/stat : 12986 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192629016 1754431488 114634 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/12980/task/12985/stat : 12985 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192629013 1754431488 389326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12986] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12986/stat : 12986 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 192629016 1754431488 389326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12987] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12987/stat : 12987 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192629016 1754431488 389326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12988] ppid=12978 vsize=1713312 CPUtime=1.1 /proc/12980/task/12988/stat : 12988 (java) S 12978 12980 12934 0 -1 64 1677 0 0 0 109 1 0 0 16 0 13 0 192629016 1754431488 389326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12989] ppid=12978 vsize=1713312 CPUtime=0.91 /proc/12980/task/12989/stat : 12989 (java) S 12978 12980 12934 0 -1 64 543 0 0 0 91 0 0 0 17 0 13 0 192629016 1754431488 389326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12990] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12990/stat : 12990 (java) S 12978 12980 12934 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 192629016 1754431488 389326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12991] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/12991/stat : 12991 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192629016 1754431488 389326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=13001] ppid=12978 vsize=1713312 CPUtime=0 /proc/12980/task/13001/stat : 13001 (java) S 12978 12980 12934 0 -1 64 93 0 0 0 0 0 0 0 16 0 13 0 192632145 1754431488 389326 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1548.98 Current children cumulated vsize (Kb) 1713312 [startup+1541.1 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13004 /proc/meminfo: memFree=15600/2055920 swapFree=4180892/4192956 [pid=12980] ppid=12978 vsize=1713828 CPUtime=1558.98 /proc/12980/stat : 12980 (java) S 12978 12980 12934 0 -1 0 457907 0 1 0 155670 228 0 0 18 0 14 0 192629007 1754959872 389335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12980/statm: 428457 389335 1920 14 0 415204 0 [pid=12980/tid=12981] ppid=12978 vsize=1713828 CPUtime=17.28 /proc/12980/task/12981/stat : 12981 (java) S 12978 12980 12934 0 -1 64 203346 0 0 0 1630 98 0 0 17 0 14 0 192629010 1754959872 389335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12982] ppid=12978 vsize=1713828 CPUtime=17.27 /proc/12980/task/12982/stat : 12982 (java) S 12978 12980 12934 0 -1 64 207057 0 0 0 1624 103 0 0 17 0 14 0 192629010 1754959872 389335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12983] ppid=12978 vsize=1713828 CPUtime=851.7 /proc/12980/task/12983/stat : 12983 (java) R 12978 12980 12934 0 -1 64 1060 0 0 0 85165 5 0 0 25 0 14 0 192629012 1754959872 389335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154472604 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12984] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12984/stat : 12984 (java) S 12978 12980 12934 0 -1 64 9 0 0 0 0 0 0 0 16 0 14 0 192629013 1754959872 389335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12985] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12985/stat : 12985 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 0 0 0 0 16 0 14 0 192629013 1754959872 389335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12986] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12986/stat : 12986 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 23 0 14 0 192629016 1754959872 389335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12987] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12987/stat : 12987 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 16 0 14 0 192629016 1754959872 389335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12988] ppid=12978 vsize=1713828 CPUtime=1.1 /proc/12980/task/12988/stat : 12988 (java) S 12978 12980 12934 0 -1 64 1677 0 0 0 109 1 0 0 16 0 14 0 192629016 1754959872 389335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12989] ppid=12978 vsize=1713828 CPUtime=0.91 /proc/12980/task/12989/stat : 12989 (java) S 12978 12980 12934 0 -1 64 543 0 0 0 91 0 0 0 17 0 14 0 192629016 1754959872 389335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12990] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12990/stat : 12990 (java) S 12978 12980 12934 0 -1 64 1 0 0 0 0 0 0 0 24 0 14 0 192629016 1754959872 389335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12991] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12991/stat : 12991 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 15 0 14 0 192629016 1754959872 389335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=13001] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/13001/stat : 13001 (java) S 12978 12980 12934 0 -1 64 93 0 0 0 0 0 0 0 16 0 14 0 192632145 1754959872 389335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=13004] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/13004/stat : 13004 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 192782628 1754959872 389335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1558.98 Current children cumulated vsize (Kb) 1713828 [startup+1551.1 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13004 /proc/meminfo: memFree=15600/2055920 swapFree=4180892/4192956 [pid=12980] ppid=12978 vsize=1713828 CPUtime=1568.99 /proc/12980/stat : 12980 (java) S 12978 12980 12934 0 -1 0 457909 0 1 0 156671 228 0 0 18 0 14 0 192629007 1754959872 389336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12980/statm: 428457 389336 1921 14 0 415204 0 [pid=12980/tid=12981] ppid=12978 vsize=1713828 CPUtime=17.28 /proc/12980/task/12981/stat : 12981 (java) S 12978 12980 12934 0 -1 64 203346 0 0 0 1630 98 0 0 17 0 14 0 192629010 1754959872 389336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12982] ppid=12978 vsize=1713828 CPUtime=17.27 /proc/12980/task/12982/stat : 12982 (java) S 12978 12980 12934 0 -1 64 207057 0 0 0 1624 103 0 0 17 0 14 0 192629010 1754959872 389336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12983] ppid=12978 vsize=1713828 CPUtime=861.7 /proc/12980/task/12983/stat : 12983 (java) R 12978 12980 12934 0 -1 64 1061 0 0 0 86165 5 0 0 25 0 14 0 192629012 1754959872 389336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152716286 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12984] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12984/stat : 12984 (java) S 12978 12980 12934 0 -1 64 9 0 0 0 0 0 0 0 16 0 14 0 192629013 1754959872 389336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12985] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12985/stat : 12985 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 0 0 0 0 16 0 14 0 192629013 1754959872 389336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12986] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12986/stat : 12986 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 23 0 14 0 192629016 1754959872 389336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12987] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12987/stat : 12987 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 16 0 14 0 192629016 1754959872 389336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12988] ppid=12978 vsize=1713828 CPUtime=1.1 /proc/12980/task/12988/stat : 12988 (java) S 12978 12980 12934 0 -1 64 1677 0 0 0 109 1 0 0 16 0 14 0 192629016 1754959872 389336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12989] ppid=12978 vsize=1713828 CPUtime=0.91 /proc/12980/task/12989/stat : 12989 (java) S 12978 12980 12934 0 -1 64 543 0 0 0 91 0 0 0 17 0 14 0 192629016 1754959872 389336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12990] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12990/stat : 12990 (java) S 12978 12980 12934 0 -1 64 1 0 0 0 0 0 0 0 24 0 14 0 192629016 1754959872 389336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12991] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12991/stat : 12991 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 15 0 14 0 192629016 1754959872 389336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=13001] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/13001/stat : 13001 (java) S 12978 12980 12934 0 -1 64 94 0 0 0 0 0 0 0 16 0 14 0 192632145 1754959872 389336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=13004] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/13004/stat : 13004 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 0 0 0 0 17 0 14 0 192782628 1754959872 389336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1568.99 Current children cumulated vsize (Kb) 1713828 [startup+1561.11 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13004 /proc/meminfo: memFree=15600/2055920 swapFree=4180892/4192956 [pid=12980] ppid=12978 vsize=1713828 CPUtime=1578.99 /proc/12980/stat : 12980 (java) S 12978 12980 12934 0 -1 0 457912 0 1 0 157671 228 0 0 18 0 14 0 192629007 1754959872 389337 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12980/statm: 428457 389337 1921 14 0 415204 0 [pid=12980/tid=12981] ppid=12978 vsize=1713828 CPUtime=17.28 /proc/12980/task/12981/stat : 12981 (java) S 12978 12980 12934 0 -1 64 203346 0 0 0 1630 98 0 0 17 0 14 0 192629010 1754959872 389337 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12982] ppid=12978 vsize=1713828 CPUtime=17.27 /proc/12980/task/12982/stat : 12982 (java) S 12978 12980 12934 0 -1 64 207057 0 0 0 1624 103 0 0 17 0 14 0 192629010 1754959872 389337 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12983] ppid=12978 vsize=1713828 CPUtime=871.71 /proc/12980/task/12983/stat : 12983 (java) R 12978 12980 12934 0 -1 64 1062 0 0 0 87166 5 0 0 25 0 14 0 192629012 1754959872 389337 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152716174 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12984] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12984/stat : 12984 (java) S 12978 12980 12934 0 -1 64 9 0 0 0 0 0 0 0 16 0 14 0 192629013 1754959872 389337 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12985] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12985/stat : 12985 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 0 0 0 0 16 0 14 0 192629013 1754959872 389337 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12986] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12986/stat : 12986 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 23 0 14 0 192629016 1754959872 389337 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12987] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12987/stat : 12987 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 16 0 14 0 192629016 1754959872 389337 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12988] ppid=12978 vsize=1713828 CPUtime=1.1 /proc/12980/task/12988/stat : 12988 (java) S 12978 12980 12934 0 -1 64 1677 0 0 0 109 1 0 0 16 0 14 0 192629016 1754959872 389337 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12989] ppid=12978 vsize=1713828 CPUtime=0.91 /proc/12980/task/12989/stat : 12989 (java) S 12978 12980 12934 0 -1 64 543 0 0 0 91 0 0 0 17 0 14 0 192629016 1754959872 389337 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12990] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12990/stat : 12990 (java) S 12978 12980 12934 0 -1 64 1 0 0 0 0 0 0 0 24 0 14 0 192629016 1754959872 389337 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12991] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12991/stat : 12991 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 15 0 14 0 192629016 1754959872 389337 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=13001] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/13001/stat : 13001 (java) S 12978 12980 12934 0 -1 64 96 0 0 0 0 0 0 0 16 0 14 0 192632145 1754959872 389337 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=13004] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/13004/stat : 13004 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 0 0 0 0 16 0 14 0 192782628 1754959872 389337 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1578.99 Current children cumulated vsize (Kb) 1713828 [startup+1571.12 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13004 /proc/meminfo: memFree=15600/2055920 swapFree=4180892/4192956 [pid=12980] ppid=12978 vsize=1713828 CPUtime=1589.01 /proc/12980/stat : 12980 (java) S 12978 12980 12934 0 -1 0 457914 0 1 0 158673 228 0 0 18 0 14 0 192629007 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12980/statm: 428457 389338 1921 14 0 415204 0 [pid=12980/tid=12981] ppid=12978 vsize=1713828 CPUtime=17.28 /proc/12980/task/12981/stat : 12981 (java) S 12978 12980 12934 0 -1 64 203346 0 0 0 1630 98 0 0 17 0 14 0 192629010 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12982] ppid=12978 vsize=1713828 CPUtime=17.27 /proc/12980/task/12982/stat : 12982 (java) S 12978 12980 12934 0 -1 64 207057 0 0 0 1624 103 0 0 17 0 14 0 192629010 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12983] ppid=12978 vsize=1713828 CPUtime=881.68 /proc/12980/task/12983/stat : 12983 (java) R 12978 12980 12934 0 -1 64 1062 0 0 0 88163 5 0 0 25 0 14 0 192629012 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154642352 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12984] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12984/stat : 12984 (java) S 12978 12980 12934 0 -1 64 9 0 0 0 0 0 0 0 16 0 14 0 192629013 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12985] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12985/stat : 12985 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 0 0 0 0 16 0 14 0 192629013 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12986] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12986/stat : 12986 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 23 0 14 0 192629016 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12987] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12987/stat : 12987 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 16 0 14 0 192629016 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12988] ppid=12978 vsize=1713828 CPUtime=1.12 /proc/12980/task/12988/stat : 12988 (java) S 12978 12980 12934 0 -1 64 1677 0 0 0 111 1 0 0 17 0 14 0 192629016 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12989] ppid=12978 vsize=1713828 CPUtime=0.92 /proc/12980/task/12989/stat : 12989 (java) S 12978 12980 12934 0 -1 64 545 0 0 0 92 0 0 0 16 0 14 0 192629016 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12990] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12990/stat : 12990 (java) S 12978 12980 12934 0 -1 64 1 0 0 0 0 0 0 0 24 0 14 0 192629016 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12991] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12991/stat : 12991 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 15 0 14 0 192629016 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=13001] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/13001/stat : 13001 (java) S 12978 12980 12934 0 -1 64 96 0 0 0 0 0 0 0 16 0 14 0 192632145 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=13004] ppid=12978 vsize=1713828 CPUtime=0.02 /proc/12980/task/13004/stat : 13004 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 2 0 0 0 17 0 14 0 192782628 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1589.01 Current children cumulated vsize (Kb) 1713828 [startup+1581.12 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13004 /proc/meminfo: memFree=15600/2055920 swapFree=4180892/4192956 [pid=12980] ppid=12978 vsize=1713828 CPUtime=1599.02 /proc/12980/stat : 12980 (java) S 12978 12980 12934 0 -1 0 457915 0 1 0 159674 228 0 0 18 0 14 0 192629007 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12980/statm: 428457 389338 1921 14 0 415204 0 [pid=12980/tid=12981] ppid=12978 vsize=1713828 CPUtime=17.28 /proc/12980/task/12981/stat : 12981 (java) S 12978 12980 12934 0 -1 64 203346 0 0 0 1630 98 0 0 17 0 14 0 192629010 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12982] ppid=12978 vsize=1713828 CPUtime=17.27 /proc/12980/task/12982/stat : 12982 (java) S 12978 12980 12934 0 -1 64 207057 0 0 0 1624 103 0 0 17 0 14 0 192629010 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12983] ppid=12978 vsize=1713828 CPUtime=891.67 /proc/12980/task/12983/stat : 12983 (java) R 12978 12980 12934 0 -1 64 1062 0 0 0 89162 5 0 0 25 0 14 0 192629012 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152716337 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12984] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12984/stat : 12984 (java) S 12978 12980 12934 0 -1 64 9 0 0 0 0 0 0 0 16 0 14 0 192629013 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12985] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12985/stat : 12985 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 0 0 0 0 16 0 14 0 192629013 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12986] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12986/stat : 12986 (java) S 12978 12980 12934 0 -1 64 0 0 0 0 0 0 0 0 23 0 14 0 192629016 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12987] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12987/stat : 12987 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 16 0 14 0 192629016 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12988] ppid=12978 vsize=1713828 CPUtime=1.12 /proc/12980/task/12988/stat : 12988 (java) S 12978 12980 12934 0 -1 64 1677 0 0 0 111 1 0 0 17 0 14 0 192629016 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12989] ppid=12978 vsize=1713828 CPUtime=0.92 /proc/12980/task/12989/stat : 12989 (java) S 12978 12980 12934 0 -1 64 546 0 0 0 92 0 0 0 16 0 14 0 192629016 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12980/tid=12990] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12990/stat : 12990 (java) S 12978 12980 12934 0 -1 64 1 0 0 0 0 0 0 0 24 0 14 0 192629016 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=12991] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/12991/stat : 12991 (java) S 12978 12980 12934 0 -1 64 2 0 0 0 0 0 0 0 15 0 14 0 192629016 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=13001] ppid=12978 vsize=1713828 CPUtime=0 /proc/12980/task/13001/stat : 13001 (java) S 12978 12980 12934 0 -1 64 96 0 0 0 0 0 0 0 16 0 14 0 192632145 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12980/tid=13004] ppid=12978 vsize=1713828 CPUtime=0.02 /proc/12980/task/13004/stat : 13004 (java) S 12978 12980 12934 0 -1 64 5 0 0 0 2 0 0 0 16 0 14 0 192782628 1754959872 389338 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1599.02 Current children cumulated vsize (Kb) 1713828 Child status: 1 Real time (s): 1585.01 CPU time (s): 1602.9 CPU user time (s): 1600.38 CPU system time (s): 2.51462 CPU usage (%): 101.128 Max. virtual memory (cumulated for all children) (Kb): 1713828
Begin job on node23 on Fri Jun 2 17:34:13 UTC 2006 FILE ID= 42454-1149269653 PBS_JOBID= 298969 BENCH NAME= ROOT/tmp/node23/42454-1149269653/instance-42454-1149269653.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node23/42454-1149269653/instance-42454-1149269653.opb 973978814 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-42454-1149269653 -o ROOT/results/node23/solver-42454-1149269653 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node23/42454-1149269653/instance-42454-1149269653.opb 973978814 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 06a8ed91d04dd9c37cb8c92ab4f7d82f RANDOM SEED= 973978814 /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.213 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 : 5931.00 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.213 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: 1163512 kB Buffers: 42812 kB Cached: 772036 kB SwapCached: 3872 kB Active: 177752 kB Inactive: 645920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1163512 kB SwapTotal: 4192956 kB SwapFree: 4180892 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14708 kB Slab: 54844 kB Committed_AS: 278664 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node23 on Fri Jun 2 18:00:39 UTC 2006