Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 15 | 1800.94 | 1784.44 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_1.opb |
MD5SUM | fb11ff2665aef67f0842a460a5ea3114 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 97.3102 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 94 |
Total number of constraints | 8 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 45 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 64 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 2040 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 851 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 3063 |
Number of bits of the biggest sum of numbers | 12 |
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.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node36/50898-1154107995/instance-50898-1154107995.opb 0.20 c reading problem ... 0.25 c ... done. Time 0.044 ms. 0.25 c #vars 94 0.25 c #constraints 8 0.26 c SATISFIABLE 0.26 c OPTIMIZING... 0.26 c Got one! Ellapsed CPU time (in seconds):0.054 0.26 o 922 0.56 c Got one! Ellapsed CPU time (in seconds):0.354 0.56 o 802 0.58 c Got one! Ellapsed CPU time (in seconds):0.376 0.58 o 776 0.62 c Got one! Ellapsed CPU time (in seconds):0.413 0.62 o 768 0.68 c Got one! Ellapsed CPU time (in seconds):0.474 0.68 o 686 0.89 c Got one! Ellapsed CPU time (in seconds):0.689 0.89 o 602 1.00 c Got one! Ellapsed CPU time (in seconds):0.793 1.00 o 598 1.05 c Got one! Ellapsed CPU time (in seconds):0.849 1.05 o 594 1.06 c Got one! Ellapsed CPU time (in seconds):0.86 1.06 o 535 1.10 c Got one! Ellapsed CPU time (in seconds):0.892 1.10 o 487 1.10 c Got one! Ellapsed CPU time (in seconds):0.896 1.10 o 473 1.11 c Got one! Ellapsed CPU time (in seconds):0.906 1.11 o 471 1.13 c Got one! Ellapsed CPU time (in seconds):0.924 1.13 o 467 1.15 c Got one! Ellapsed CPU time (in seconds):0.942 1.15 o 390 1.60 c Got one! Ellapsed CPU time (in seconds):1.392 1.60 o 367 1.66 c Got one! Ellapsed CPU time (in seconds):1.46 1.66 o 343 1.71 c Got one! Ellapsed CPU time (in seconds):1.51 1.71 o 294 1.73 c Got one! Ellapsed CPU time (in seconds):1.53 1.73 o 265 1.76 c Got one! Ellapsed CPU time (in seconds):1.555 1.76 o 263 1.92 c Got one! Ellapsed CPU time (in seconds):1.713 1.92 o 228 1.95 c Got one! Ellapsed CPU time (in seconds):1.742 1.95 o 150 2.05 c Got one! Ellapsed CPU time (in seconds):1.843 2.05 o 89 2.08 c Got one! Ellapsed CPU time (in seconds):1.873 2.08 o 75 2.12 c Got one! Ellapsed CPU time (in seconds):1.921 2.12 o 71 2.22 c Got one! Ellapsed CPU time (in seconds):2.021 2.22 o 38 2.24 c Got one! Ellapsed CPU time (in seconds):2.038 2.24 o 35 2.38 c Got one! Ellapsed CPU time (in seconds):2.18 2.38 o 27 2.41 c Got one! Ellapsed CPU time (in seconds):2.201 2.41 o 25 2.64 c Got one! Ellapsed CPU time (in seconds):2.441 2.65 o 22 47.36 c Got one! Ellapsed CPU time (in seconds):47.153 47.36 o 17 1770.38 c Got one! Ellapsed CPU time (in seconds):1770.175 1770.38 o 15 1784.35 c starts : 55 1784.35 c conflicts : 36431 1784.35 c decisions : 76250 1784.35 c propagations : 378868 1784.35 c inspects : 579664593 1784.35 c learnt literals : 0 1784.35 c learnt binary clauses : 0 1784.35 c learnt ternary clauses : 0 1784.35 c learnt clauses : 36430 1784.35 c root simplifications : 0 1784.35 c removed literals (reason simplification) : 0 1784.35 c reason swapping (by a shorter reason) : 0 1784.35 c Calls to reduceDB : 0 1784.35 c speed (decisions/second) : 5457.343257944461 1784.35 c non guided choices 599 1784.35 s SATISFIABLE 1784.35 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 1784.35 v -x29 -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 1784.35 v -x56 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 -x83 1784.35 v x84 -x85 x86 x87 x88 -x89 -x90 -x91 x92 x93 -x94 1784.35 c objective function=15 1784.35 c Total wall clock time (ms): 1784.149
OK 15
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node36/watcher-50898-1154107995 -o ROOT/results/node36/solver-50898-1154107995 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node36/50898-1154107995/instance-50898-1154107995.opb 870889697 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.98 2/64 25754 /proc/meminfo: memFree=1519496/2055920 swapFree=4183160/4192956 [pid=25754] ppid=25752 vsize=1784 CPUtime=0 /proc/25754/stat : 25754 (java) D 25752 25754 25705 0 -1 0 167 0 0 0 0 0 0 0 19 0 1 0 157670915 1826816 137 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/25754/statm: 446 137 102 14 0 91 0 [startup+10.0024 s] /proc/loadavg: 0.99 0.97 0.98 2/76 25795 /proc/meminfo: memFree=1333192/2055920 swapFree=4183160/4192956 [pid=25754] ppid=25752 vsize=1712264 CPUtime=11.17 /proc/25754/stat : 25754 (java) R 25752 25754 25705 0 -1 0 52491 0 1 0 1092 25 0 0 18 0 13 0 157670915 1753358336 48353 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071332865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25754/statm: 428066 48353 1908 14 0 414813 0 [pid=25754/tid=25755] ppid=25752 vsize=1712264 CPUtime=0.16 /proc/25754/task/25755/stat : 25755 (java) S 25752 25754 25705 0 -1 64 4629 0 0 0 14 2 0 0 16 0 13 0 157670919 1753358336 48353 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25756] ppid=25752 vsize=1712264 CPUtime=0.15 /proc/25754/task/25756/stat : 25756 (java) S 25752 25754 25705 0 -1 64 4066 0 0 0 14 1 0 0 16 0 13 0 157670919 1753358336 48353 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25757] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25757/stat : 25757 (java) S 25752 25754 25705 0 -1 64 36 0 0 0 0 0 0 0 17 0 13 0 157670921 1753358336 48353 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25758] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25758/stat : 25758 (java) S 25752 25754 25705 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157670922 1753358336 48353 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25759] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25759/stat : 25759 (java) S 25752 25754 25705 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 157670922 1753358336 48353 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25760] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25760/stat : 25760 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 157670925 1753358336 48353 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25761] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25761/stat : 25761 (java) S 25752 25754 25705 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 157670925 1753358336 48353 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25762] ppid=25752 vsize=1712264 CPUtime=0.72 /proc/25754/task/25762/stat : 25762 (java) S 25752 25754 25705 0 -1 64 2241 0 0 0 71 1 0 0 16 0 13 0 157670925 1753358336 48353 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25763] ppid=25752 vsize=1712264 CPUtime=0.74 /proc/25754/task/25763/stat : 25763 (java) S 25752 25754 25705 0 -1 64 1332 0 0 0 74 0 0 0 17 0 13 0 157670925 1753358336 48353 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25764] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25764/stat : 25764 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157670925 1753358336 48353 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25765] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25765/stat : 25765 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157670925 1753358336 48353 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25795] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25795/stat : 25795 (java) S 25752 25754 25705 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157671180 1753358336 48353 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.17 Current children cumulated vsize (Kb) 1712264 [startup+20.0105 s] /proc/loadavg: 0.99 0.97 0.98 2/76 25795 /proc/meminfo: memFree=1328328/2055920 swapFree=4183160/4192956 [pid=25754] ppid=25752 vsize=1712264 CPUtime=21.25 /proc/25754/stat : 25754 (java) R 25752 25754 25705 0 -1 0 54825 0 1 0 2098 27 0 0 25 0 13 0 157670915 1753358336 49526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071349369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25754/statm: 428066 49526 1909 14 0 414813 0 [pid=25754/tid=25755] ppid=25752 vsize=1712264 CPUtime=0.21 /proc/25754/task/25755/stat : 25755 (java) S 25752 25754 25705 0 -1 64 5839 0 0 0 19 2 0 0 16 0 13 0 157670919 1753358336 49526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25756] ppid=25752 vsize=1712264 CPUtime=0.21 /proc/25754/task/25756/stat : 25756 (java) S 25752 25754 25705 0 -1 64 5176 0 0 0 19 2 0 0 16 0 13 0 157670919 1753358336 49526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25757] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25757/stat : 25757 (java) S 25752 25754 25705 0 -1 64 36 0 0 0 0 0 0 0 16 0 13 0 157670921 1753358336 49526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25758] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25758/stat : 25758 (java) S 25752 25754 25705 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157670922 1753358336 49526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25759] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25759/stat : 25759 (java) S 25752 25754 25705 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 157670922 1753358336 49526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25760] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25760/stat : 25760 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 157670925 1753358336 49526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25761] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25761/stat : 25761 (java) S 25752 25754 25705 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 157670925 1753358336 49526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25762] ppid=25752 vsize=1712264 CPUtime=0.72 /proc/25754/task/25762/stat : 25762 (java) S 25752 25754 25705 0 -1 64 2241 0 0 0 71 1 0 0 17 0 13 0 157670925 1753358336 49526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25763] ppid=25752 vsize=1712264 CPUtime=0.76 /proc/25754/task/25763/stat : 25763 (java) S 25752 25754 25705 0 -1 64 1334 0 0 0 76 0 0 0 17 0 13 0 157670925 1753358336 49526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25764] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25764/stat : 25764 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157670925 1753358336 49526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25765] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25765/stat : 25765 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157670925 1753358336 49526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25795] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25795/stat : 25795 (java) S 25752 25754 25705 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157671180 1753358336 49526 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.25 Current children cumulated vsize (Kb) 1712264 [startup+30.0185 s] /proc/loadavg: 0.99 0.97 0.98 2/76 25795 /proc/meminfo: memFree=1331464/2055920 swapFree=4183160/4192956 [pid=25754] ppid=25752 vsize=1712264 CPUtime=31.3 /proc/25754/stat : 25754 (java) R 25752 25754 25705 0 -1 0 56013 0 1 0 3103 27 0 0 25 0 13 0 157670915 1753358336 48779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071393497 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25754/statm: 428066 48779 1909 14 0 414813 0 [pid=25754/tid=25755] ppid=25752 vsize=1712264 CPUtime=0.27 /proc/25754/task/25755/stat : 25755 (java) S 25752 25754 25705 0 -1 64 6485 0 0 0 24 3 0 0 16 0 13 0 157670919 1753358336 48779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25756] ppid=25752 vsize=1712264 CPUtime=0.25 /proc/25754/task/25756/stat : 25756 (java) S 25752 25754 25705 0 -1 64 5707 0 0 0 23 2 0 0 16 0 13 0 157670919 1753358336 48779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25757] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25757/stat : 25757 (java) S 25752 25754 25705 0 -1 64 36 0 0 0 0 0 0 0 16 0 13 0 157670921 1753358336 48779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25758] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25758/stat : 25758 (java) S 25752 25754 25705 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157670922 1753358336 48779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25759] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25759/stat : 25759 (java) S 25752 25754 25705 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 157670922 1753358336 48779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25760] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25760/stat : 25760 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 157670925 1753358336 48779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25761] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25761/stat : 25761 (java) S 25752 25754 25705 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 157670925 1753358336 48779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25762] ppid=25752 vsize=1712264 CPUtime=0.72 /proc/25754/task/25762/stat : 25762 (java) S 25752 25754 25705 0 -1 64 2241 0 0 0 71 1 0 0 17 0 13 0 157670925 1753358336 48779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25763] ppid=25752 vsize=1712264 CPUtime=0.77 /proc/25754/task/25763/stat : 25763 (java) S 25752 25754 25705 0 -1 64 1336 0 0 0 77 0 0 0 16 0 13 0 157670925 1753358336 48779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25764] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25764/stat : 25764 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157670925 1753358336 48779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25765] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25765/stat : 25765 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157670925 1753358336 48779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25795] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25795/stat : 25795 (java) S 25752 25754 25705 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157671180 1753358336 48779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.3 Current children cumulated vsize (Kb) 1712264 [startup+40.0255 s] /proc/loadavg: 0.99 0.97 0.98 2/76 25795 /proc/meminfo: memFree=1335368/2055920 swapFree=4183160/4192956 [pid=25754] ppid=25752 vsize=1712264 CPUtime=41.35 /proc/25754/stat : 25754 (java) R 25752 25754 25705 0 -1 0 57075 0 1 0 4107 28 0 0 25 0 13 0 157670915 1753358336 47806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071482226 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25754/statm: 428066 47806 1909 14 0 414813 0 [pid=25754/tid=25755] ppid=25752 vsize=1712264 CPUtime=0.31 /proc/25754/task/25755/stat : 25755 (java) S 25752 25754 25705 0 -1 64 6971 0 0 0 28 3 0 0 16 0 13 0 157670919 1753358336 47806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25756] ppid=25752 vsize=1712264 CPUtime=0.3 /proc/25754/task/25756/stat : 25756 (java) S 25752 25754 25705 0 -1 64 6275 0 0 0 27 3 0 0 16 0 13 0 157670919 1753358336 47806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25757] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25757/stat : 25757 (java) S 25752 25754 25705 0 -1 64 36 0 0 0 0 0 0 0 16 0 13 0 157670921 1753358336 47806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25758] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25758/stat : 25758 (java) S 25752 25754 25705 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157670922 1753358336 47806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25759] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25759/stat : 25759 (java) S 25752 25754 25705 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 157670922 1753358336 47806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25760] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25760/stat : 25760 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 157670925 1753358336 47806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25761] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25761/stat : 25761 (java) S 25752 25754 25705 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 157670925 1753358336 47806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25762] ppid=25752 vsize=1712264 CPUtime=0.72 /proc/25754/task/25762/stat : 25762 (java) S 25752 25754 25705 0 -1 64 2241 0 0 0 71 1 0 0 17 0 13 0 157670925 1753358336 47806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25763] ppid=25752 vsize=1712264 CPUtime=0.78 /proc/25754/task/25763/stat : 25763 (java) S 25752 25754 25705 0 -1 64 1336 0 0 0 78 0 0 0 16 0 13 0 157670925 1753358336 47806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25764] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25764/stat : 25764 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157670925 1753358336 47806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25765] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25765/stat : 25765 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157670925 1753358336 47806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25795] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25795/stat : 25795 (java) S 25752 25754 25705 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 157671180 1753358336 47806 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.35 Current children cumulated vsize (Kb) 1712264 [startup+50.0325 s] /proc/loadavg: 0.99 0.97 0.98 2/76 25796 /proc/meminfo: memFree=1337728/2055920 swapFree=4183160/4192956 [pid=25754] ppid=25752 vsize=1712264 CPUtime=51.4 /proc/25754/stat : 25754 (java) R 25752 25754 25705 0 -1 0 58128 0 1 0 5111 29 0 0 25 0 13 0 157670915 1753358336 47209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071349986 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25754/statm: 428066 47209 1909 14 0 414813 0 [pid=25754/tid=25755] ppid=25752 vsize=1712264 CPUtime=0.36 /proc/25754/task/25755/stat : 25755 (java) S 25752 25754 25705 0 -1 64 7626 0 0 0 33 3 0 0 16 0 13 0 157670919 1753358336 47209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25756] ppid=25752 vsize=1712264 CPUtime=0.34 /proc/25754/task/25756/stat : 25756 (java) S 25752 25754 25705 0 -1 64 6665 0 0 0 31 3 0 0 16 0 13 0 157670919 1753358336 47209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25757] ppid=25752 vsize=1712264 CPUtime=0.02 /proc/25754/task/25757/stat : 25757 (java) S 25752 25754 25705 0 -1 64 36 0 0 0 1 1 0 0 16 0 13 0 157670921 1753358336 47209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25758] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25758/stat : 25758 (java) S 25752 25754 25705 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157670922 1753358336 47209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25759] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25759/stat : 25759 (java) S 25752 25754 25705 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 157670922 1753358336 47209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25760] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25760/stat : 25760 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 157670925 1753358336 47209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25761] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25761/stat : 25761 (java) S 25752 25754 25705 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 157670925 1753358336 47209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25762] ppid=25752 vsize=1712264 CPUtime=0.72 /proc/25754/task/25762/stat : 25762 (java) S 25752 25754 25705 0 -1 64 2241 0 0 0 71 1 0 0 17 0 13 0 157670925 1753358336 47209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25763] ppid=25752 vsize=1712264 CPUtime=0.78 /proc/25754/task/25763/stat : 25763 (java) S 25752 25754 25705 0 -1 64 1336 0 0 0 78 0 0 0 16 0 13 0 157670925 1753358336 47209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25764] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25764/stat : 25764 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157670925 1753358336 47209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25765] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25765/stat : 25765 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157670925 1753358336 47209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25796] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25796/stat : 25796 (java) S 25752 25754 25705 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 157675651 1753358336 47209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.4 Current children cumulated vsize (Kb) 1712264 [startup+60.0395 s] /proc/loadavg: 0.99 0.97 0.98 2/76 25796 /proc/meminfo: memFree=1339712/2055920 swapFree=4183160/4192956 [pid=25754] ppid=25752 vsize=1712264 CPUtime=61.44 /proc/25754/stat : 25754 (java) R 25752 25754 25705 0 -1 0 58858 0 1 0 6114 30 0 0 24 0 13 0 157670915 1753358336 46724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071351461 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25754/statm: 428066 46724 1909 14 0 414813 0 [pid=25754/tid=25755] ppid=25752 vsize=1712264 CPUtime=0.4 /proc/25754/task/25755/stat : 25755 (java) S 25752 25754 25705 0 -1 64 7895 0 0 0 37 3 0 0 17 0 13 0 157670919 1753358336 46724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25756] ppid=25752 vsize=1712264 CPUtime=0.38 /proc/25754/task/25756/stat : 25756 (java) S 25752 25754 25705 0 -1 64 7119 0 0 0 35 3 0 0 16 0 13 0 157670919 1753358336 46724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25757] ppid=25752 vsize=1712264 CPUtime=0.02 /proc/25754/task/25757/stat : 25757 (java) S 25752 25754 25705 0 -1 64 36 0 0 0 1 1 0 0 15 0 13 0 157670921 1753358336 46724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25758] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25758/stat : 25758 (java) S 25752 25754 25705 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157670922 1753358336 46724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25759] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25759/stat : 25759 (java) S 25752 25754 25705 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 157670922 1753358336 46724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25760] ppid=25752 vsize=1712264 CPUtime=0 ################ # More data... # ################ /proc/25754/task/25758/stat : 25758 (java) S 25752 25754 25705 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157670922 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25759] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25759/stat : 25759 (java) S 25752 25754 25705 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 157670922 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25760] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25760/stat : 25760 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 157670925 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25761] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25761/stat : 25761 (java) S 25752 25754 25705 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 157670925 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25762] ppid=25752 vsize=1712264 CPUtime=0.74 /proc/25754/task/25762/stat : 25762 (java) S 25752 25754 25705 0 -1 64 2241 0 0 0 73 1 0 0 17 0 13 0 157670925 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25763] ppid=25752 vsize=1712264 CPUtime=0.79 /proc/25754/task/25763/stat : 25763 (java) S 25752 25754 25705 0 -1 64 1338 0 0 0 79 0 0 0 17 0 13 0 157670925 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25764] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25764/stat : 25764 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157670925 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25765] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25765/stat : 25765 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157670925 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25997] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25997/stat : 25997 (java) S 25752 25754 25705 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157847954 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (Kb) 1712264 [startup+1781.32 s] /proc/loadavg: 1.00 1.00 1.00 2/76 25997 /proc/meminfo: memFree=1036608/2055920 swapFree=4183160/4192956 [pid=25754] ppid=25752 vsize=1712264 CPUtime=1797.75 /proc/25754/stat : 25754 (java) R 25752 25754 25705 0 -1 0 222737 0 1 0 179638 137 0 0 25 0 13 0 157670915 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071339182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25754/statm: 428066 122128 1909 14 0 414813 0 [pid=25754/tid=25755] ppid=25752 vsize=1712264 CPUtime=16.29 /proc/25754/task/25755/stat : 25755 (java) S 25752 25754 25705 0 -1 64 55735 0 0 0 1599 30 0 0 16 0 13 0 157670919 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25756] ppid=25752 vsize=1712264 CPUtime=16.23 /proc/25754/task/25756/stat : 25756 (java) S 25752 25754 25705 0 -1 64 50122 0 0 0 1596 27 0 0 17 0 13 0 157670919 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25757] ppid=25752 vsize=1712264 CPUtime=0.32 /proc/25754/task/25757/stat : 25757 (java) S 25752 25754 25705 0 -1 64 283 0 0 0 15 17 0 0 16 0 13 0 157670921 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25758] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25758/stat : 25758 (java) S 25752 25754 25705 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157670922 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25759] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25759/stat : 25759 (java) S 25752 25754 25705 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 157670922 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25760] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25760/stat : 25760 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 157670925 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25761] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25761/stat : 25761 (java) S 25752 25754 25705 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 157670925 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25762] ppid=25752 vsize=1712264 CPUtime=0.74 /proc/25754/task/25762/stat : 25762 (java) S 25752 25754 25705 0 -1 64 2241 0 0 0 73 1 0 0 17 0 13 0 157670925 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25763] ppid=25752 vsize=1712264 CPUtime=0.79 /proc/25754/task/25763/stat : 25763 (java) S 25752 25754 25705 0 -1 64 1338 0 0 0 79 0 0 0 17 0 13 0 157670925 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25764] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25764/stat : 25764 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157670925 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25765] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25765/stat : 25765 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157670925 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25997] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25997/stat : 25997 (java) S 25752 25754 25705 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157847954 1753358336 122128 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (Kb) 1712264 [startup+1782.33 s] /proc/loadavg: 1.00 1.00 1.00 2/76 25997 /proc/meminfo: memFree=1036480/2055920 swapFree=4183160/4192956 [pid=25754] ppid=25752 vsize=1712264 CPUtime=1798.79 /proc/25754/stat : 25754 (java) R 25752 25754 25705 0 -1 0 222775 0 1 0 179742 137 0 0 21 0 13 0 157670915 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071482151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25754/statm: 428066 122165 1909 14 0 414813 0 [pid=25754/tid=25755] ppid=25752 vsize=1712264 CPUtime=16.32 /proc/25754/task/25755/stat : 25755 (java) S 25752 25754 25705 0 -1 64 55761 0 0 0 1602 30 0 0 16 0 13 0 157670919 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25756] ppid=25752 vsize=1712264 CPUtime=16.26 /proc/25754/task/25756/stat : 25756 (java) S 25752 25754 25705 0 -1 64 50133 0 0 0 1599 27 0 0 17 0 13 0 157670919 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25757] ppid=25752 vsize=1712264 CPUtime=0.32 /proc/25754/task/25757/stat : 25757 (java) S 25752 25754 25705 0 -1 64 283 0 0 0 15 17 0 0 16 0 13 0 157670921 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25758] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25758/stat : 25758 (java) S 25752 25754 25705 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157670922 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25759] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25759/stat : 25759 (java) S 25752 25754 25705 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 157670922 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25760] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25760/stat : 25760 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 157670925 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25761] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25761/stat : 25761 (java) S 25752 25754 25705 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 157670925 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25762] ppid=25752 vsize=1712264 CPUtime=0.74 /proc/25754/task/25762/stat : 25762 (java) S 25752 25754 25705 0 -1 64 2241 0 0 0 73 1 0 0 17 0 13 0 157670925 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25763] ppid=25752 vsize=1712264 CPUtime=0.79 /proc/25754/task/25763/stat : 25763 (java) S 25752 25754 25705 0 -1 64 1338 0 0 0 79 0 0 0 17 0 13 0 157670925 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25764] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25764/stat : 25764 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157670925 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25765] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25765/stat : 25765 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157670925 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25997] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25997/stat : 25997 (java) S 25752 25754 25705 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157847954 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.79 Current children cumulated vsize (Kb) 1712264 [startup+1783.33 s] /proc/loadavg: 1.00 1.00 1.00 2/76 25997 /proc/meminfo: memFree=1036480/2055920 swapFree=4183160/4192956 [pid=25754] ppid=25752 vsize=1712264 CPUtime=1799.79 /proc/25754/stat : 25754 (java) R 25752 25754 25705 0 -1 0 222775 0 1 0 179842 137 0 0 25 0 13 0 157670915 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071333564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25754/statm: 428066 122165 1909 14 0 414813 0 [pid=25754/tid=25755] ppid=25752 vsize=1712264 CPUtime=16.32 /proc/25754/task/25755/stat : 25755 (java) S 25752 25754 25705 0 -1 64 55761 0 0 0 1602 30 0 0 16 0 13 0 157670919 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25756] ppid=25752 vsize=1712264 CPUtime=16.26 /proc/25754/task/25756/stat : 25756 (java) S 25752 25754 25705 0 -1 64 50133 0 0 0 1599 27 0 0 17 0 13 0 157670919 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25757] ppid=25752 vsize=1712264 CPUtime=0.32 /proc/25754/task/25757/stat : 25757 (java) S 25752 25754 25705 0 -1 64 283 0 0 0 15 17 0 0 16 0 13 0 157670921 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25758] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25758/stat : 25758 (java) S 25752 25754 25705 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157670922 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25759] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25759/stat : 25759 (java) S 25752 25754 25705 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 157670922 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25760] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25760/stat : 25760 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 157670925 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25761] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25761/stat : 25761 (java) S 25752 25754 25705 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 157670925 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25762] ppid=25752 vsize=1712264 CPUtime=0.74 /proc/25754/task/25762/stat : 25762 (java) S 25752 25754 25705 0 -1 64 2241 0 0 0 73 1 0 0 17 0 13 0 157670925 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25763] ppid=25752 vsize=1712264 CPUtime=0.79 /proc/25754/task/25763/stat : 25763 (java) S 25752 25754 25705 0 -1 64 1338 0 0 0 79 0 0 0 17 0 13 0 157670925 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25764] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25764/stat : 25764 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157670925 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25765] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25765/stat : 25765 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157670925 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25997] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25997/stat : 25997 (java) S 25752 25754 25705 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157847954 1753358336 122165 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.79 Current children cumulated vsize (Kb) 1712264 [startup+1784.34 s] /proc/loadavg: 1.00 1.00 1.00 2/76 25997 /proc/meminfo: memFree=1036352/2055920 swapFree=4183160/4192956 [pid=25754] ppid=25752 vsize=1712264 CPUtime=1800.83 /proc/25754/stat : 25754 (java) R 25752 25754 25705 0 -1 0 222817 0 1 0 179946 137 0 0 25 0 13 0 157670915 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071482151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25754/statm: 428066 122206 1909 14 0 414813 0 [pid=25754/tid=25755] ppid=25752 vsize=1712264 CPUtime=16.34 /proc/25754/task/25755/stat : 25755 (java) S 25752 25754 25705 0 -1 64 55788 0 0 0 1604 30 0 0 16 0 13 0 157670919 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25756] ppid=25752 vsize=1712264 CPUtime=16.29 /proc/25754/task/25756/stat : 25756 (java) S 25752 25754 25705 0 -1 64 50147 0 0 0 1602 27 0 0 17 0 13 0 157670919 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25757] ppid=25752 vsize=1712264 CPUtime=0.32 /proc/25754/task/25757/stat : 25757 (java) S 25752 25754 25705 0 -1 64 283 0 0 0 15 17 0 0 16 0 13 0 157670921 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25758] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25758/stat : 25758 (java) S 25752 25754 25705 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157670922 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25759] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25759/stat : 25759 (java) S 25752 25754 25705 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 157670922 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25760] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25760/stat : 25760 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 157670925 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25761] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25761/stat : 25761 (java) S 25752 25754 25705 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 157670925 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25762] ppid=25752 vsize=1712264 CPUtime=0.74 /proc/25754/task/25762/stat : 25762 (java) S 25752 25754 25705 0 -1 64 2241 0 0 0 73 1 0 0 17 0 13 0 157670925 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25763] ppid=25752 vsize=1712264 CPUtime=0.79 /proc/25754/task/25763/stat : 25763 (java) S 25752 25754 25705 0 -1 64 1338 0 0 0 79 0 0 0 17 0 13 0 157670925 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25764] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25764/stat : 25764 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157670925 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25765] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25765/stat : 25765 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157670925 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25997] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25997/stat : 25997 (java) S 25752 25754 25705 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157847954 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (Kb) 1712264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.34 s] /proc/loadavg: 1.00 1.00 1.00 2/76 25997 /proc/meminfo: memFree=1036352/2055920 swapFree=4183160/4192956 [pid=25754] ppid=25752 vsize=1712264 CPUtime=1800.83 /proc/25754/stat : 25754 (java) R 25752 25754 25705 0 -1 0 222817 0 1 0 179946 137 0 0 25 0 13 0 157670915 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071482274 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25754/statm: 428066 122206 1909 14 0 414813 0 [pid=25754/tid=25755] ppid=25752 vsize=1712264 CPUtime=16.34 /proc/25754/task/25755/stat : 25755 (java) S 25752 25754 25705 0 -1 64 55788 0 0 0 1604 30 0 0 16 0 13 0 157670919 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25756] ppid=25752 vsize=1712264 CPUtime=16.29 /proc/25754/task/25756/stat : 25756 (java) S 25752 25754 25705 0 -1 64 50147 0 0 0 1602 27 0 0 17 0 13 0 157670919 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25757] ppid=25752 vsize=1712264 CPUtime=0.32 /proc/25754/task/25757/stat : 25757 (java) S 25752 25754 25705 0 -1 64 283 0 0 0 15 17 0 0 16 0 13 0 157670921 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25758] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25758/stat : 25758 (java) S 25752 25754 25705 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 157670922 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25759] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25759/stat : 25759 (java) S 25752 25754 25705 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 157670922 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25760] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25760/stat : 25760 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 157670925 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25761] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25761/stat : 25761 (java) S 25752 25754 25705 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 157670925 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25762] ppid=25752 vsize=1712264 CPUtime=0.74 /proc/25754/task/25762/stat : 25762 (java) S 25752 25754 25705 0 -1 64 2241 0 0 0 73 1 0 0 17 0 13 0 157670925 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25763] ppid=25752 vsize=1712264 CPUtime=0.79 /proc/25754/task/25763/stat : 25763 (java) S 25752 25754 25705 0 -1 64 1338 0 0 0 79 0 0 0 17 0 13 0 157670925 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25754/tid=25764] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25764/stat : 25764 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 157670925 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25765] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25765/stat : 25765 (java) S 25752 25754 25705 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 157670925 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25754/tid=25997] ppid=25752 vsize=1712264 CPUtime=0 /proc/25754/task/25997/stat : 25997 (java) S 25752 25754 25705 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 157847954 1753358336 122206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (Kb) 1712264 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1784.44 CPU time (s): 1800.94 CPU user time (s): 1799.48 CPU system time (s): 1.45578 CPU usage (%): 100.924 Max. virtual memory (cumulated for all children) (Kb): 1712264 The end
Begin job on node36 on Fri Jul 28 17:33:15 UTC 2006 FILE ID= 50898-1154107995 PBS_JOBID= 886365 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node36/50898-1154107995/instance-50898-1154107995.opb 870889697 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-50898-1154107995 -o ROOT/results/node36/solver-50898-1154107995 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node36/50898-1154107995/instance-50898-1154107995.opb 870889697 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114 RANDOM SEED= 870889697 TIMEOUT= 1800 seconds /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.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 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: 1519704 kB Buffers: 26528 kB Cached: 431280 kB SwapCached: 3640 kB Active: 46388 kB Inactive: 420016 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1519704 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14728 kB Slab: 55876 kB Committed_AS: 594776 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 node36 on Fri Jul 28 18:03:00 UTC 2006