Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT | 1464.15 | 1460.47 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977464.opb |
MD5SUM | b0491ed63ac891b703b860682674b01c |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.083986 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 169 |
Total number of constraints | 101 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1205 |
Number of bits of the biggest sum of numbers | 11 |
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/node1/43465-1149208803/instance-43465-1149208803.opb 0.20 c reading problem ... 0.34 c ... done. Time 0.138 ms. 0.34 c #vars 169 0.34 c #constraints 101 1460.38 c starts : 9 1460.38 c conflicts : 6650 1460.38 c decisions : 32131 1460.38 c propagations : 153089 1460.38 c inspects : 35984311 1460.38 c learnt literals : 0 1460.38 c learnt binary clauses : 0 1460.38 c learnt ternary clauses : 0 1460.38 c learnt clauses : 6650 1460.38 c root simplifications : 0 1460.38 c removed literals (reason simplification) : 0 1460.38 c reason swapping (by a shorter reason) : 0 1460.38 c Calls to reduceDB : 0 1460.38 c speed (decisions/second) : 22.006976535526153 1460.38 c non guided choices 43 1460.38 s SATISFIABLE 1460.38 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 1460.38 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 1460.38 v -x55 -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 1460.38 v x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1460.38 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 1460.38 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 1460.38 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 1460.38 v -x169 1460.38 c Total wall clock time (ms): 1460.178
OK 0
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/node1/watcher-43465-1149208803 -o ROOT/results/node1/solver-43465-1149208803 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node1/43465-1149208803/instance-43465-1149208803.opb 474239435 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.57 0.80 0.85 3/64 20132 /proc/meminfo: memFree=1370304/2055920 swapFree=4181380/4192956 [pid=20132] ppid=20130 vsize=1452 CPUtime=0 /proc/20132/stat : 20132 (java) R 20130 20132 20087 0 -1 0 108 0 0 0 0 0 0 0 19 0 1 0 186541923 1486848 80 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 134517360 0 0 4096 0 0 0 0 17 1 0 0 /proc/20132/statm: 365 95 75 14 0 10 0 [startup+10.0022 s] /proc/loadavg: 0.78 0.83 0.86 2/76 20144 /proc/meminfo: memFree=1179632/2055920 swapFree=4181380/4192956 [pid=20132] ppid=20130 vsize=1712176 CPUtime=11.31 /proc/20132/stat : 20132 (java) R 20130 20132 20087 0 -1 0 53146 0 1 0 1106 25 0 0 21 0 13 0 186541923 1753268224 49449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071374191 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20132/statm: 428044 49449 1909 14 0 414791 0 [pid=20132/tid=20133] ppid=20130 vsize=1712176 CPUtime=0.21 /proc/20132/task/20133/stat : 20133 (java) S 20130 20132 20087 0 -1 64 6329 0 0 0 18 3 0 0 16 0 13 0 186541926 1753268224 49449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20134] ppid=20130 vsize=1712176 CPUtime=0.22 /proc/20132/task/20134/stat : 20134 (java) S 20130 20132 20087 0 -1 64 5710 0 0 0 19 3 0 0 16 0 13 0 186541926 1753268224 49449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20135] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20135/stat : 20135 (java) S 20130 20132 20087 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 49449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20136] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20136/stat : 20136 (java) S 20130 20132 20087 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 49449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20137] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20137/stat : 20137 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 49449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20138] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20138/stat : 20138 (java) S 20130 20132 20087 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186541933 1753268224 49449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20139] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20139/stat : 20139 (java) S 20130 20132 20087 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186541933 1753268224 49449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20140] ppid=20130 vsize=1712176 CPUtime=0.77 /proc/20132/task/20140/stat : 20140 (java) S 20130 20132 20087 0 -1 64 1947 0 0 0 77 0 0 0 16 0 13 0 186541933 1753268224 49449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20141] ppid=20130 vsize=1712176 CPUtime=0.79 /proc/20132/task/20141/stat : 20141 (java) S 20130 20132 20087 0 -1 64 1113 0 0 0 79 0 0 0 17 0 13 0 186541933 1753268224 49449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20142] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20142/stat : 20142 (java) S 20130 20132 20087 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186541933 1753268224 49449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20143] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20143/stat : 20143 (java) S 20130 20132 20087 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186541933 1753268224 49449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20144] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20144/stat : 20144 (java) S 20130 20132 20087 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 186541958 1753268224 49449 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.31 Current children cumulated vsize (Kb) 1712176 [startup+20.0103 s] /proc/loadavg: 0.82 0.84 0.86 2/76 20144 /proc/meminfo: memFree=1171376/2055920 swapFree=4181380/4192956 [pid=20132] ppid=20130 vsize=1712176 CPUtime=21.38 /proc/20132/stat : 20132 (java) R 20130 20132 20087 0 -1 0 55652 0 1 0 2111 27 0 0 25 0 13 0 186541923 1753268224 51447 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071390630 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20132/statm: 428044 51447 1910 14 0 414791 0 [pid=20132/tid=20133] ppid=20130 vsize=1712176 CPUtime=0.28 /proc/20132/task/20133/stat : 20133 (java) S 20130 20132 20087 0 -1 64 7518 0 0 0 25 3 0 0 17 0 13 0 186541926 1753268224 51447 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20134] ppid=20130 vsize=1712176 CPUtime=0.29 /proc/20132/task/20134/stat : 20134 (java) S 20130 20132 20087 0 -1 64 7015 0 0 0 26 3 0 0 16 0 13 0 186541926 1753268224 51447 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20135] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20135/stat : 20135 (java) S 20130 20132 20087 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 51447 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20136] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20136/stat : 20136 (java) S 20130 20132 20087 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 51447 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20137] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20137/stat : 20137 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 51447 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20138] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20138/stat : 20138 (java) S 20130 20132 20087 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186541933 1753268224 51447 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20139] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20139/stat : 20139 (java) S 20130 20132 20087 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186541933 1753268224 51447 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20140] ppid=20130 vsize=1712176 CPUtime=0.77 /proc/20132/task/20140/stat : 20140 (java) S 20130 20132 20087 0 -1 64 1947 0 0 0 77 0 0 0 17 0 13 0 186541933 1753268224 51447 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20141] ppid=20130 vsize=1712176 CPUtime=0.8 /proc/20132/task/20141/stat : 20141 (java) S 20130 20132 20087 0 -1 64 1114 0 0 0 80 0 0 0 17 0 13 0 186541933 1753268224 51447 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20142] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20142/stat : 20142 (java) S 20130 20132 20087 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186541933 1753268224 51447 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20143] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20143/stat : 20143 (java) S 20130 20132 20087 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186541933 1753268224 51447 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20144] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20144/stat : 20144 (java) S 20130 20132 20087 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 186541958 1753268224 51447 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.38 Current children cumulated vsize (Kb) 1712176 [startup+30.0185 s] /proc/loadavg: 0.84 0.84 0.87 2/76 20144 /proc/meminfo: memFree=1170224/2055920 swapFree=4181380/4192956 [pid=20132] ppid=20130 vsize=1712176 CPUtime=31.46 /proc/20132/stat : 20132 (java) R 20130 20132 20087 0 -1 0 58489 0 1 0 3118 28 0 0 25 0 13 0 186541923 1753268224 51754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071519019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20132/statm: 428044 51754 1910 14 0 414791 0 [pid=20132/tid=20133] ppid=20130 vsize=1712176 CPUtime=0.36 /proc/20132/task/20133/stat : 20133 (java) S 20130 20132 20087 0 -1 64 8832 0 0 0 32 4 0 0 16 0 13 0 186541926 1753268224 51754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20134] ppid=20130 vsize=1712176 CPUtime=0.37 /proc/20132/task/20134/stat : 20134 (java) S 20130 20132 20087 0 -1 64 8528 0 0 0 33 4 0 0 16 0 13 0 186541926 1753268224 51754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20135] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20135/stat : 20135 (java) S 20130 20132 20087 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 51754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20136] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20136/stat : 20136 (java) S 20130 20132 20087 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 51754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20137] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20137/stat : 20137 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 51754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20138] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20138/stat : 20138 (java) S 20130 20132 20087 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186541933 1753268224 51754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20139] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20139/stat : 20139 (java) S 20130 20132 20087 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186541933 1753268224 51754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20140] ppid=20130 vsize=1712176 CPUtime=0.77 /proc/20132/task/20140/stat : 20140 (java) S 20130 20132 20087 0 -1 64 1947 0 0 0 77 0 0 0 17 0 13 0 186541933 1753268224 51754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20141] ppid=20130 vsize=1712176 CPUtime=0.8 /proc/20132/task/20141/stat : 20141 (java) S 20130 20132 20087 0 -1 64 1114 0 0 0 80 0 0 0 16 0 13 0 186541933 1753268224 51754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20142] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20142/stat : 20142 (java) S 20130 20132 20087 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186541933 1753268224 51754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20143] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20143/stat : 20143 (java) S 20130 20132 20087 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186541933 1753268224 51754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20144] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20144/stat : 20144 (java) S 20130 20132 20087 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 186541958 1753268224 51754 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.46 Current children cumulated vsize (Kb) 1712176 [startup+40.0257 s] /proc/loadavg: 0.87 0.85 0.87 2/76 20144 /proc/meminfo: memFree=1174704/2055920 swapFree=4181380/4192956 [pid=20132] ppid=20130 vsize=1712176 CPUtime=41.51 /proc/20132/stat : 20132 (java) R 20130 20132 20087 0 -1 0 59595 0 1 0 4122 29 0 0 25 0 13 0 186541923 1753268224 50633 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071398056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20132/statm: 428044 50633 1910 14 0 414791 0 [pid=20132/tid=20133] ppid=20130 vsize=1712176 CPUtime=0.4 /proc/20132/task/20133/stat : 20133 (java) S 20130 20132 20087 0 -1 64 9272 0 0 0 36 4 0 0 17 0 13 0 186541926 1753268224 50633 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20134] ppid=20130 vsize=1712176 CPUtime=0.41 /proc/20132/task/20134/stat : 20134 (java) S 20130 20132 20087 0 -1 64 9186 0 0 0 37 4 0 0 16 0 13 0 186541926 1753268224 50633 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20135] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20135/stat : 20135 (java) S 20130 20132 20087 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 186541929 1753268224 50633 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20136] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20136/stat : 20136 (java) S 20130 20132 20087 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 50633 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20137] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20137/stat : 20137 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 50633 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20138] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20138/stat : 20138 (java) S 20130 20132 20087 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186541933 1753268224 50633 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20139] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20139/stat : 20139 (java) S 20130 20132 20087 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186541933 1753268224 50633 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20140] ppid=20130 vsize=1712176 CPUtime=0.77 /proc/20132/task/20140/stat : 20140 (java) S 20130 20132 20087 0 -1 64 1947 0 0 0 77 0 0 0 16 0 13 0 186541933 1753268224 50633 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20141] ppid=20130 vsize=1712176 CPUtime=0.8 /proc/20132/task/20141/stat : 20141 (java) S 20130 20132 20087 0 -1 64 1114 0 0 0 80 0 0 0 16 0 13 0 186541933 1753268224 50633 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20142] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20142/stat : 20142 (java) S 20130 20132 20087 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186541933 1753268224 50633 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20143] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20143/stat : 20143 (java) S 20130 20132 20087 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186541933 1753268224 50633 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20144] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20144/stat : 20144 (java) S 20130 20132 20087 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186541958 1753268224 50633 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.51 Current children cumulated vsize (Kb) 1712176 [startup+50.0329 s] /proc/loadavg: 0.89 0.85 0.87 2/76 20144 /proc/meminfo: memFree=1176176/2055920 swapFree=4181380/4192956 [pid=20132] ppid=20130 vsize=1712176 CPUtime=51.56 /proc/20132/stat : 20132 (java) R 20130 20132 20087 0 -1 0 61024 0 1 0 5127 29 0 0 17 0 13 0 186541923 1753268224 50261 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071375832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20132/statm: 428044 50261 1910 14 0 414791 0 [pid=20132/tid=20133] ppid=20130 vsize=1712176 CPUtime=0.45 /proc/20132/task/20133/stat : 20133 (java) S 20130 20132 20087 0 -1 64 9807 0 0 0 41 4 0 0 17 0 13 0 186541926 1753268224 50261 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20134] ppid=20130 vsize=1712176 CPUtime=0.48 /proc/20132/task/20134/stat : 20134 (java) S 20130 20132 20087 0 -1 64 10071 0 0 0 43 5 0 0 16 0 13 0 186541926 1753268224 50261 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20135] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20135/stat : 20135 (java) S 20130 20132 20087 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 186541929 1753268224 50261 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20136] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20136/stat : 20136 (java) S 20130 20132 20087 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 50261 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20137] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20137/stat : 20137 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 50261 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20138] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20138/stat : 20138 (java) S 20130 20132 20087 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186541933 1753268224 50261 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20139] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20139/stat : 20139 (java) S 20130 20132 20087 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186541933 1753268224 50261 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20140] ppid=20130 vsize=1712176 CPUtime=0.77 /proc/20132/task/20140/stat : 20140 (java) S 20130 20132 20087 0 -1 64 1947 0 0 0 77 0 0 0 16 0 13 0 186541933 1753268224 50261 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20141] ppid=20130 vsize=1712176 CPUtime=0.8 /proc/20132/task/20141/stat : 20141 (java) S 20130 20132 20087 0 -1 64 1114 0 0 0 80 0 0 0 16 0 13 0 186541933 1753268224 50261 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20142] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20142/stat : 20142 (java) S 20130 20132 20087 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186541933 1753268224 50261 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20143] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20143/stat : 20143 (java) S 20130 20132 20087 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186541933 1753268224 50261 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20144] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20144/stat : 20144 (java) S 20130 20132 20087 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186541958 1753268224 50261 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.56 Current children cumulated vsize (Kb) 1712176 [startup+60.04 s] /proc/loadavg: 0.90 0.86 0.87 2/76 20144 /proc/meminfo: memFree=1176432/2055920 swapFree=4181380/4192956 [pid=20132] ppid=20130 vsize=1712176 CPUtime=61.61 /proc/20132/stat : 20132 (java) R 20130 20132 20087 0 -1 0 62247 0 1 0 6131 30 0 0 25 0 13 0 186541923 1753268224 50187 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071390832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20132/statm: 428044 50187 1910 14 0 414791 0 [pid=20132/tid=20133] ppid=20130 vsize=1712176 CPUtime=0.49 /proc/20132/task/20133/stat : 20133 (java) S 20130 20132 20087 0 -1 64 10328 0 0 0 45 4 0 0 16 0 13 0 186541926 1753268224 50187 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20134] ppid=20130 vsize=1712176 CPUtime=0.52 /proc/20132/task/20134/stat : 20134 (java) S 20130 20132 20087 0 -1 64 10766 0 0 0 47 5 0 0 16 0 13 0 186541926 1753268224 50187 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20135] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20135/stat : 20135 (java) S 20130 20132 20087 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 50187 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20136] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20136/stat : 20136 (java) S 20130 20132 20087 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 50187 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20137] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20137/stat : 20137 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 50187 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20138] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20138/stat : 20138 (java) S 20130 20132 20087 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186541933 1753268224 50187 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/20132/statm: 428044 106652 1910 14 0 414791 0 [pid=20132/tid=20133] ppid=20130 vsize=1712176 CPUtime=3.08 /proc/20132/task/20133/stat : 20133 (java) S 20130 20132 20087 0 -1 64 57412 0 0 0 284 24 0 0 16 0 13 0 186541926 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20134] ppid=20130 vsize=1712176 CPUtime=3.04 /proc/20132/task/20134/stat : 20134 (java) S 20130 20132 20087 0 -1 64 48683 0 0 0 280 24 0 0 16 0 13 0 186541926 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20135] ppid=20130 vsize=1712176 CPUtime=0.12 /proc/20132/task/20135/stat : 20135 (java) S 20130 20132 20087 0 -1 64 137 0 0 0 6 6 0 0 16 0 13 0 186541929 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20136] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20136/stat : 20136 (java) S 20130 20132 20087 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20137] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20137/stat : 20137 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20138] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20138/stat : 20138 (java) S 20130 20132 20087 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186541933 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20139] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20139/stat : 20139 (java) S 20130 20132 20087 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186541933 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20140] ppid=20130 vsize=1712176 CPUtime=0.77 /proc/20132/task/20140/stat : 20140 (java) S 20130 20132 20087 0 -1 64 1947 0 0 0 77 0 0 0 16 0 13 0 186541933 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20141] ppid=20130 vsize=1712176 CPUtime=0.81 /proc/20132/task/20141/stat : 20141 (java) S 20130 20132 20087 0 -1 64 1114 0 0 0 81 0 0 0 16 0 13 0 186541933 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20142] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20142/stat : 20142 (java) S 20130 20132 20087 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186541933 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20143] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20143/stat : 20143 (java) S 20130 20132 20087 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186541933 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20144] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20144/stat : 20144 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541958 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1404.54 Current children cumulated vsize (Kb) 1712176 [startup+1410.99 s] /proc/loadavg: 1.03 1.01 0.93 2/76 20339 /proc/meminfo: memFree=948976/2055920 swapFree=4181380/4192956 [pid=20132] ppid=20130 vsize=1712176 CPUtime=1414.54 /proc/20132/stat : 20132 (java) R 20130 20132 20087 0 -1 0 173256 0 1 0 141364 90 0 0 25 0 13 0 186541923 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071443161 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20132/statm: 428044 106652 1910 14 0 414791 0 [pid=20132/tid=20133] ppid=20130 vsize=1712176 CPUtime=3.08 /proc/20132/task/20133/stat : 20133 (java) S 20130 20132 20087 0 -1 64 57412 0 0 0 284 24 0 0 16 0 13 0 186541926 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20134] ppid=20130 vsize=1712176 CPUtime=3.04 /proc/20132/task/20134/stat : 20134 (java) S 20130 20132 20087 0 -1 64 48683 0 0 0 280 24 0 0 16 0 13 0 186541926 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20135] ppid=20130 vsize=1712176 CPUtime=0.12 /proc/20132/task/20135/stat : 20135 (java) S 20130 20132 20087 0 -1 64 137 0 0 0 6 6 0 0 16 0 13 0 186541929 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20136] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20136/stat : 20136 (java) S 20130 20132 20087 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20137] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20137/stat : 20137 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20138] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20138/stat : 20138 (java) S 20130 20132 20087 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186541933 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20139] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20139/stat : 20139 (java) S 20130 20132 20087 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186541933 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20140] ppid=20130 vsize=1712176 CPUtime=0.77 /proc/20132/task/20140/stat : 20140 (java) S 20130 20132 20087 0 -1 64 1947 0 0 0 77 0 0 0 16 0 13 0 186541933 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20141] ppid=20130 vsize=1712176 CPUtime=0.81 /proc/20132/task/20141/stat : 20141 (java) S 20130 20132 20087 0 -1 64 1114 0 0 0 81 0 0 0 16 0 13 0 186541933 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20142] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20142/stat : 20142 (java) S 20130 20132 20087 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186541933 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20143] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20143/stat : 20143 (java) S 20130 20132 20087 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186541933 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20144] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20144/stat : 20144 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541958 1753268224 106652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1414.54 Current children cumulated vsize (Kb) 1712176 [startup+1421 s] /proc/loadavg: 1.02 1.01 0.93 2/76 20339 /proc/meminfo: memFree=949552/2055920 swapFree=4181380/4192956 [pid=20132] ppid=20130 vsize=1712176 CPUtime=1424.56 /proc/20132/stat : 20132 (java) R 20130 20132 20087 0 -1 0 173457 0 1 0 142365 91 0 0 25 0 13 0 186541923 1753268224 106534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071418481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20132/statm: 428044 106534 1910 14 0 414791 0 [pid=20132/tid=20133] ppid=20130 vsize=1712176 CPUtime=3.1 /proc/20132/task/20133/stat : 20133 (java) S 20130 20132 20087 0 -1 64 57486 0 0 0 285 25 0 0 16 0 13 0 186541926 1753268224 106534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20134] ppid=20130 vsize=1712176 CPUtime=3.05 /proc/20132/task/20134/stat : 20134 (java) S 20130 20132 20087 0 -1 64 48808 0 0 0 281 24 0 0 16 0 13 0 186541926 1753268224 106534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20135] ppid=20130 vsize=1712176 CPUtime=0.12 /proc/20132/task/20135/stat : 20135 (java) S 20130 20132 20087 0 -1 64 137 0 0 0 6 6 0 0 16 0 13 0 186541929 1753268224 106534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20136] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20136/stat : 20136 (java) S 20130 20132 20087 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 106534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20137] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20137/stat : 20137 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 106534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20138] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20138/stat : 20138 (java) S 20130 20132 20087 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186541933 1753268224 106534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20139] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20139/stat : 20139 (java) S 20130 20132 20087 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186541933 1753268224 106534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20140] ppid=20130 vsize=1712176 CPUtime=0.77 /proc/20132/task/20140/stat : 20140 (java) S 20130 20132 20087 0 -1 64 1947 0 0 0 77 0 0 0 16 0 13 0 186541933 1753268224 106534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20141] ppid=20130 vsize=1712176 CPUtime=0.81 /proc/20132/task/20141/stat : 20141 (java) S 20130 20132 20087 0 -1 64 1114 0 0 0 81 0 0 0 16 0 13 0 186541933 1753268224 106534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20142] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20142/stat : 20142 (java) S 20130 20132 20087 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186541933 1753268224 106534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20143] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20143/stat : 20143 (java) S 20130 20132 20087 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186541933 1753268224 106534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20144] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20144/stat : 20144 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541958 1753268224 106534 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1424.56 Current children cumulated vsize (Kb) 1712176 [startup+1431.01 s] /proc/loadavg: 1.02 1.01 0.93 2/76 20339 /proc/meminfo: memFree=948464/2055920 swapFree=4181380/4192956 [pid=20132] ppid=20130 vsize=1712176 CPUtime=1434.59 /proc/20132/stat : 20132 (java) R 20130 20132 20087 0 -1 0 173966 0 1 0 143368 91 0 0 16 0 13 0 186541923 1753268224 106870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071507602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20132/statm: 428044 106870 1910 14 0 414791 0 [pid=20132/tid=20133] ppid=20130 vsize=1712176 CPUtime=3.13 /proc/20132/task/20133/stat : 20133 (java) S 20130 20132 20087 0 -1 64 57729 0 0 0 288 25 0 0 16 0 13 0 186541926 1753268224 106870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20134] ppid=20130 vsize=1712176 CPUtime=3.08 /proc/20132/task/20134/stat : 20134 (java) S 20130 20132 20087 0 -1 64 49071 0 0 0 284 24 0 0 16 0 13 0 186541926 1753268224 106870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20135] ppid=20130 vsize=1712176 CPUtime=0.12 /proc/20132/task/20135/stat : 20135 (java) S 20130 20132 20087 0 -1 64 137 0 0 0 6 6 0 0 16 0 13 0 186541929 1753268224 106870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20136] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20136/stat : 20136 (java) S 20130 20132 20087 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 106870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20137] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20137/stat : 20137 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 106870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20138] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20138/stat : 20138 (java) S 20130 20132 20087 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186541933 1753268224 106870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20139] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20139/stat : 20139 (java) S 20130 20132 20087 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186541933 1753268224 106870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20140] ppid=20130 vsize=1712176 CPUtime=0.77 /proc/20132/task/20140/stat : 20140 (java) S 20130 20132 20087 0 -1 64 1947 0 0 0 77 0 0 0 16 0 13 0 186541933 1753268224 106870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20141] ppid=20130 vsize=1712176 CPUtime=0.81 /proc/20132/task/20141/stat : 20141 (java) S 20130 20132 20087 0 -1 64 1114 0 0 0 81 0 0 0 16 0 13 0 186541933 1753268224 106870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20142] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20142/stat : 20142 (java) S 20130 20132 20087 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186541933 1753268224 106870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20143] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20143/stat : 20143 (java) S 20130 20132 20087 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186541933 1753268224 106870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20144] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20144/stat : 20144 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541958 1753268224 106870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1434.59 Current children cumulated vsize (Kb) 1712176 [startup+1441.01 s] /proc/loadavg: 1.02 1.01 0.93 2/76 20339 /proc/meminfo: memFree=948592/2055920 swapFree=4181380/4192956 [pid=20132] ppid=20130 vsize=1712176 CPUtime=1444.61 /proc/20132/stat : 20132 (java) R 20130 20132 20087 0 -1 0 174169 0 1 0 144370 91 0 0 25 0 13 0 186541923 1753268224 106804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071443210 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20132/statm: 428044 106804 1910 14 0 414791 0 [pid=20132/tid=20133] ppid=20130 vsize=1712176 CPUtime=3.14 /proc/20132/task/20133/stat : 20133 (java) S 20130 20132 20087 0 -1 64 57815 0 0 0 289 25 0 0 16 0 13 0 186541926 1753268224 106804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20134] ppid=20130 vsize=1712176 CPUtime=3.09 /proc/20132/task/20134/stat : 20134 (java) S 20130 20132 20087 0 -1 64 49187 0 0 0 285 24 0 0 16 0 13 0 186541926 1753268224 106804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20135] ppid=20130 vsize=1712176 CPUtime=0.12 /proc/20132/task/20135/stat : 20135 (java) S 20130 20132 20087 0 -1 64 137 0 0 0 6 6 0 0 16 0 13 0 186541929 1753268224 106804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20136] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20136/stat : 20136 (java) S 20130 20132 20087 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 106804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20137] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20137/stat : 20137 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 106804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20138] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20138/stat : 20138 (java) S 20130 20132 20087 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186541933 1753268224 106804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20139] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20139/stat : 20139 (java) S 20130 20132 20087 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186541933 1753268224 106804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20140] ppid=20130 vsize=1712176 CPUtime=0.77 /proc/20132/task/20140/stat : 20140 (java) S 20130 20132 20087 0 -1 64 1947 0 0 0 77 0 0 0 16 0 13 0 186541933 1753268224 106804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20141] ppid=20130 vsize=1712176 CPUtime=0.81 /proc/20132/task/20141/stat : 20141 (java) S 20130 20132 20087 0 -1 64 1114 0 0 0 81 0 0 0 16 0 13 0 186541933 1753268224 106804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20142] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20142/stat : 20142 (java) S 20130 20132 20087 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186541933 1753268224 106804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20143] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20143/stat : 20143 (java) S 20130 20132 20087 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186541933 1753268224 106804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20144] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20144/stat : 20144 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541958 1753268224 106804 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1444.61 Current children cumulated vsize (Kb) 1712176 [startup+1451.02 s] /proc/loadavg: 1.01 1.01 0.93 2/76 20339 /proc/meminfo: memFree=948976/2055920 swapFree=4181380/4192956 [pid=20132] ppid=20130 vsize=1712176 CPUtime=1454.62 /proc/20132/stat : 20132 (java) R 20130 20132 20087 0 -1 0 174224 0 1 0 145371 91 0 0 19 0 13 0 186541923 1753268224 106714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071374428 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/20132/statm: 428044 106714 1910 14 0 414791 0 [pid=20132/tid=20133] ppid=20130 vsize=1712176 CPUtime=3.15 /proc/20132/task/20133/stat : 20133 (java) S 20130 20132 20087 0 -1 64 57816 0 0 0 290 25 0 0 16 0 13 0 186541926 1753268224 106714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=20132/tid=20134] ppid=20130 vsize=1712176 CPUtime=3.1 /proc/20132/task/20134/stat : 20134 (java) S 20130 20132 20087 0 -1 64 49240 0 0 0 286 24 0 0 16 0 13 0 186541926 1753268224 106714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20135] ppid=20130 vsize=1712176 CPUtime=0.12 /proc/20132/task/20135/stat : 20135 (java) S 20130 20132 20087 0 -1 64 137 0 0 0 6 6 0 0 15 0 13 0 186541929 1753268224 106714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20136] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20136/stat : 20136 (java) S 20130 20132 20087 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 106714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20137] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20137/stat : 20137 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541929 1753268224 106714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20138] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20138/stat : 20138 (java) S 20130 20132 20087 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186541933 1753268224 106714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20139] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20139/stat : 20139 (java) S 20130 20132 20087 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186541933 1753268224 106714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20140] ppid=20130 vsize=1712176 CPUtime=0.77 /proc/20132/task/20140/stat : 20140 (java) S 20130 20132 20087 0 -1 64 1947 0 0 0 77 0 0 0 16 0 13 0 186541933 1753268224 106714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20141] ppid=20130 vsize=1712176 CPUtime=0.81 /proc/20132/task/20141/stat : 20141 (java) S 20130 20132 20087 0 -1 64 1114 0 0 0 81 0 0 0 16 0 13 0 186541933 1753268224 106714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20142] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20142/stat : 20142 (java) S 20130 20132 20087 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186541933 1753268224 106714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20143] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20143/stat : 20143 (java) S 20130 20132 20087 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186541933 1753268224 106714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=20132/tid=20144] ppid=20130 vsize=1712176 CPUtime=0 /proc/20132/task/20144/stat : 20144 (java) S 20130 20132 20087 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186541958 1753268224 106714 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1454.62 Current children cumulated vsize (Kb) 1712176 Child status: 10 Real time (s): 1460.47 CPU time (s): 1464.15 CPU user time (s): 1463.17 CPU system time (s): 0.98385 CPU usage (%): 100.252 Max. virtual memory (cumulated for all children) (Kb): 1712176
Begin job on node1 on Fri Jun 2 00:40:03 UTC 2006 FILE ID= 43465-1149208803 PBS_JOBID= 293660 BENCH NAME= ROOT/tmp/node1/43465-1149208803/instance-43465-1149208803.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node1/43465-1149208803/instance-43465-1149208803.opb 474239435 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-43465-1149208803 -o ROOT/results/node1/solver-43465-1149208803 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node1/43465-1149208803/instance-43465-1149208803.opb 474239435 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= b0491ed63ac891b703b860682674b01c RANDOM SEED= 474239435 /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.231 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.231 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: 1370512 kB Buffers: 28804 kB Cached: 583000 kB SwapCached: 3596 kB Active: 222272 kB Inactive: 398572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1370512 kB SwapTotal: 4192956 kB SwapFree: 4181380 kB Dirty: 344 kB Writeback: 0 kB Mapped: 14948 kB Slab: 50552 kB Committed_AS: 174460 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node1 on Fri Jun 2 01:04:24 UTC 2006