Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT | 773.086 | 766.478 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army9.12bt.opb |
MD5SUM | b789f830862c22cea2a920d3cb2b89b5 |
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 | 1.23281 |
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 | 266 |
Total number of constraints | 573 |
Number of constraints which are clauses | 402 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 169 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 81 |
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 | 12 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 93 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 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@1df073d 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.20 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 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/node13/41992-1149205398/instance-41992-1149205398.opb 0.20 c reading problem ... 0.42 c ... done. Time 0.216 ms. 0.42 c #vars 266 0.42 c #constraints 572 766.38 c starts : 12 766.38 c conflicts : 18597 766.38 c decisions : 20668 766.38 c propagations : 542557 766.38 c inspects : 254888773 766.38 c learnt literals : 0 766.38 c learnt binary clauses : 0 766.38 c learnt ternary clauses : 0 766.38 c learnt clauses : 18597 766.38 c root simplifications : 0 766.38 c removed literals (reason simplification) : 0 766.38 c reason swapping (by a shorter reason) : 0 766.38 c Calls to reduceDB : 0 766.38 c speed (decisions/second) : 26.98313227844796 766.38 c non guided choices 21 766.38 s SATISFIABLE 766.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 -x29 766.38 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 x53 -x54 -x55 766.38 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 766.38 v -x83 x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 766.38 v -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 766.38 v -x129 -x130 -x131 x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 766.38 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 x161 -x162 -x163 x164 x165 -x166 -x167 x168 x169 -x170 x171 766.38 v -x172 x173 -x174 -x175 x176 x177 -x178 -x179 x180 -x181 x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 x191 -x192 -x193 x194 766.38 v x195 -x196 -x197 x198 -x199 x200 x201 -x202 -x203 x204 x205 -x206 -x207 -x208 x209 -x210 -x211 x212 -x213 -x214 -x215 x216 766.38 v -x217 x218 -x219 -x220 -x221 x222 x223 -x224 -x225 -x226 x227 -x228 -x229 x230 x231 -x232 -x233 x234 x235 -x236 -x237 x238 766.38 v x239 -x240 -x241 x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 x250 -x251 x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 x260 766.38 v x261 -x262 -x263 x264 x265 -x266 766.38 c Total wall clock time (ms): 766.18
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/node13/watcher-41992-1149205398 -o ROOT/results/node13/solver-41992-1149205398 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node13/41992-1149205398/instance-41992-1149205398.opb 124777957 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.69 0.70 0.47 3/64 5868 /proc/meminfo: memFree=1408992/2055920 swapFree=4181416/4192956 [pid=5868] ppid=5866 vsize=1784 CPUtime=0 /proc/5868/stat : 5868 (java) D 5866 5868 5823 0 -1 0 166 0 0 0 0 0 0 0 18 0 1 0 186202377 1826816 137 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/5868/statm: 446 137 102 14 0 91 0 [startup+10.0026 s] /proc/loadavg: 0.88 0.74 0.49 2/76 5880 /proc/meminfo: memFree=1225992/2055920 swapFree=4181416/4192956 [pid=5868] ppid=5866 vsize=1713632 CPUtime=11.24 /proc/5868/stat : 5868 (java) R 5866 5868 5823 0 -1 0 51392 0 1 0 1103 21 0 0 24 0 13 0 186202377 1754759168 47521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071409630 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5868/statm: 428408 47521 1909 14 0 415155 0 [pid=5868/tid=5869] ppid=5866 vsize=1713632 CPUtime=0.24 /proc/5868/task/5869/stat : 5869 (java) S 5866 5868 5823 0 -1 64 6084 0 0 0 22 2 0 0 16 0 13 0 186202381 1754759168 47521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5870] ppid=5866 vsize=1713632 CPUtime=0.24 /proc/5868/task/5870/stat : 5870 (java) S 5866 5868 5823 0 -1 64 4977 0 0 0 23 1 0 0 16 0 13 0 186202381 1754759168 47521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5871] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5871/stat : 5871 (java) S 5866 5868 5823 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 186202383 1754759168 47521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5872] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5872/stat : 5872 (java) S 5866 5868 5823 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 186202384 1754759168 47521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5873] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5873/stat : 5873 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202384 1754759168 47521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5874] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5874/stat : 5874 (java) S 5866 5868 5823 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186202387 1754759168 47521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5875] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5875/stat : 5875 (java) S 5866 5868 5823 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186202387 1754759168 47521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5876] ppid=5866 vsize=1713632 CPUtime=0.71 /proc/5868/task/5876/stat : 5876 (java) S 5866 5868 5823 0 -1 64 1402 0 0 0 71 0 0 0 17 0 13 0 186202387 1754759168 47521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5877] ppid=5866 vsize=1713632 CPUtime=0.79 /proc/5868/task/5877/stat : 5877 (java) S 5866 5868 5823 0 -1 64 2352 0 0 0 79 0 0 0 17 0 13 0 186202387 1754759168 47521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5878] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5878/stat : 5878 (java) S 5866 5868 5823 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186202387 1754759168 47521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5879] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5879/stat : 5879 (java) S 5866 5868 5823 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186202387 1754759168 47521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5880] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5880/stat : 5880 (java) S 5866 5868 5823 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 186202420 1754759168 47521 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.24 Current children cumulated vsize (Kb) 1713632 [startup+20.0099 s] /proc/loadavg: 0.90 0.75 0.49 2/76 5880 /proc/meminfo: memFree=1211152/2055920 swapFree=4181416/4192956 [pid=5868] ppid=5866 vsize=1713632 CPUtime=21.34 /proc/5868/stat : 5868 (java) R 5866 5868 5823 0 -1 0 55501 0 1 0 2111 23 0 0 25 0 13 0 186202377 1754759168 51230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071418283 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5868/statm: 428408 51230 1909 14 0 415155 0 [pid=5868/tid=5869] ppid=5866 vsize=1713632 CPUtime=0.34 /proc/5868/task/5869/stat : 5869 (java) S 5866 5868 5823 0 -1 64 8222 0 0 0 31 3 0 0 16 0 13 0 186202381 1754759168 51230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5870] ppid=5866 vsize=1713632 CPUtime=0.33 /proc/5868/task/5870/stat : 5870 (java) S 5866 5868 5823 0 -1 64 6404 0 0 0 31 2 0 0 16 0 13 0 186202381 1754759168 51230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5871] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5871/stat : 5871 (java) S 5866 5868 5823 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 186202383 1754759168 51230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5872] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5872/stat : 5872 (java) S 5866 5868 5823 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 186202384 1754759168 51230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5873] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5873/stat : 5873 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202384 1754759168 51230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5874] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5874/stat : 5874 (java) S 5866 5868 5823 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186202387 1754759168 51230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5875] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5875/stat : 5875 (java) S 5866 5868 5823 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186202387 1754759168 51230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5876] ppid=5866 vsize=1713632 CPUtime=0.71 /proc/5868/task/5876/stat : 5876 (java) S 5866 5868 5823 0 -1 64 1402 0 0 0 71 0 0 0 17 0 13 0 186202387 1754759168 51230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5877] ppid=5866 vsize=1713632 CPUtime=0.79 /proc/5868/task/5877/stat : 5877 (java) S 5866 5868 5823 0 -1 64 2352 0 0 0 79 0 0 0 17 0 13 0 186202387 1754759168 51230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5878] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5878/stat : 5878 (java) S 5866 5868 5823 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186202387 1754759168 51230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5879] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5879/stat : 5879 (java) S 5866 5868 5823 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186202387 1754759168 51230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5880] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5880/stat : 5880 (java) S 5866 5868 5823 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 186202420 1754759168 51230 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.34 Current children cumulated vsize (Kb) 1713632 [startup+30.0173 s] /proc/loadavg: 0.92 0.76 0.50 2/76 5880 /proc/meminfo: memFree=1203920/2055920 swapFree=4181416/4192956 [pid=5868] ppid=5866 vsize=1713632 CPUtime=31.4 /proc/5868/stat : 5868 (java) R 5866 5868 5823 0 -1 0 57533 0 1 0 3117 23 0 0 18 0 13 0 186202377 1754759168 53017 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071409644 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5868/statm: 428408 53017 1909 14 0 415155 0 [pid=5868/tid=5869] ppid=5866 vsize=1713632 CPUtime=0.4 /proc/5868/task/5869/stat : 5869 (java) S 5866 5868 5823 0 -1 64 9267 0 0 0 37 3 0 0 16 0 13 0 186202381 1754759168 53017 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5870] ppid=5866 vsize=1713632 CPUtime=0.39 /proc/5868/task/5870/stat : 5870 (java) S 5866 5868 5823 0 -1 64 7383 0 0 0 37 2 0 0 16 0 13 0 186202381 1754759168 53017 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5871] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5871/stat : 5871 (java) S 5866 5868 5823 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 186202383 1754759168 53017 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5872] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5872/stat : 5872 (java) S 5866 5868 5823 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 186202384 1754759168 53017 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5873] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5873/stat : 5873 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202384 1754759168 53017 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5874] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5874/stat : 5874 (java) S 5866 5868 5823 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186202387 1754759168 53017 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5875] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5875/stat : 5875 (java) S 5866 5868 5823 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186202387 1754759168 53017 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5876] ppid=5866 vsize=1713632 CPUtime=0.71 /proc/5868/task/5876/stat : 5876 (java) S 5866 5868 5823 0 -1 64 1402 0 0 0 71 0 0 0 17 0 13 0 186202387 1754759168 53017 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5877] ppid=5866 vsize=1713632 CPUtime=0.79 /proc/5868/task/5877/stat : 5877 (java) S 5866 5868 5823 0 -1 64 2352 0 0 0 79 0 0 0 17 0 13 0 186202387 1754759168 53017 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5878] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5878/stat : 5878 (java) S 5866 5868 5823 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186202387 1754759168 53017 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5879] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5879/stat : 5879 (java) S 5866 5868 5823 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186202387 1754759168 53017 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5880] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5880/stat : 5880 (java) S 5866 5868 5823 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 186202420 1754759168 53017 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.4 Current children cumulated vsize (Kb) 1713632 [startup+40.0246 s] /proc/loadavg: 0.93 0.77 0.50 2/76 5880 /proc/meminfo: memFree=1206032/2055920 swapFree=4181416/4192956 [pid=5868] ppid=5866 vsize=1713632 CPUtime=41.46 /proc/5868/stat : 5868 (java) R 5866 5868 5823 0 -1 0 58811 0 1 0 4122 24 0 0 25 0 13 0 186202377 1754759168 52484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071394269 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5868/statm: 428408 52484 1909 14 0 415155 0 [pid=5868/tid=5869] ppid=5866 vsize=1713632 CPUtime=0.44 /proc/5868/task/5869/stat : 5869 (java) S 5866 5868 5823 0 -1 64 9834 0 0 0 41 3 0 0 16 0 13 0 186202381 1754759168 52484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5870] ppid=5866 vsize=1713632 CPUtime=0.44 /proc/5868/task/5870/stat : 5870 (java) S 5866 5868 5823 0 -1 64 8089 0 0 0 41 3 0 0 16 0 13 0 186202381 1754759168 52484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5871] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5871/stat : 5871 (java) S 5866 5868 5823 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 186202383 1754759168 52484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5872] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5872/stat : 5872 (java) S 5866 5868 5823 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 186202384 1754759168 52484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5873] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5873/stat : 5873 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202384 1754759168 52484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5874] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5874/stat : 5874 (java) S 5866 5868 5823 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186202387 1754759168 52484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5875] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5875/stat : 5875 (java) S 5866 5868 5823 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186202387 1754759168 52484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5876] ppid=5866 vsize=1713632 CPUtime=0.71 /proc/5868/task/5876/stat : 5876 (java) S 5866 5868 5823 0 -1 64 1402 0 0 0 71 0 0 0 17 0 13 0 186202387 1754759168 52484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5877] ppid=5866 vsize=1713632 CPUtime=0.79 /proc/5868/task/5877/stat : 5877 (java) S 5866 5868 5823 0 -1 64 2352 0 0 0 79 0 0 0 17 0 13 0 186202387 1754759168 52484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5878] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5878/stat : 5878 (java) S 5866 5868 5823 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186202387 1754759168 52484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5879] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5879/stat : 5879 (java) S 5866 5868 5823 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186202387 1754759168 52484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5880] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5880/stat : 5880 (java) S 5866 5868 5823 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186202420 1754759168 52484 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.46 Current children cumulated vsize (Kb) 1713632 [startup+50.0329 s] /proc/loadavg: 0.94 0.77 0.51 2/76 5880 /proc/meminfo: memFree=1209744/2055920 swapFree=4181416/4192956 [pid=5868] ppid=5866 vsize=1713632 CPUtime=51.51 /proc/5868/stat : 5868 (java) R 5866 5868 5823 0 -1 0 60145 0 1 0 5126 25 0 0 25 0 13 0 186202377 1754759168 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071409630 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5868/statm: 428408 51554 1909 14 0 415155 0 [pid=5868/tid=5869] ppid=5866 vsize=1713632 CPUtime=0.49 /proc/5868/task/5869/stat : 5869 (java) S 5866 5868 5823 0 -1 64 10425 0 0 0 46 3 0 0 16 0 13 0 186202381 1754759168 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5870] ppid=5866 vsize=1713632 CPUtime=0.49 /proc/5868/task/5870/stat : 5870 (java) S 5866 5868 5823 0 -1 64 8826 0 0 0 46 3 0 0 16 0 13 0 186202381 1754759168 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5871] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5871/stat : 5871 (java) S 5866 5868 5823 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 186202383 1754759168 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5872] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5872/stat : 5872 (java) S 5866 5868 5823 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 186202384 1754759168 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5873] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5873/stat : 5873 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202384 1754759168 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5874] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5874/stat : 5874 (java) S 5866 5868 5823 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186202387 1754759168 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5875] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5875/stat : 5875 (java) S 5866 5868 5823 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186202387 1754759168 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5876] ppid=5866 vsize=1713632 CPUtime=0.71 /proc/5868/task/5876/stat : 5876 (java) S 5866 5868 5823 0 -1 64 1402 0 0 0 71 0 0 0 17 0 13 0 186202387 1754759168 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5877] ppid=5866 vsize=1713632 CPUtime=0.79 /proc/5868/task/5877/stat : 5877 (java) S 5866 5868 5823 0 -1 64 2352 0 0 0 79 0 0 0 17 0 13 0 186202387 1754759168 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5878] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5878/stat : 5878 (java) S 5866 5868 5823 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186202387 1754759168 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5879] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5879/stat : 5879 (java) S 5866 5868 5823 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186202387 1754759168 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5880] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5880/stat : 5880 (java) S 5866 5868 5823 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186202420 1754759168 51554 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.51 Current children cumulated vsize (Kb) 1713632 [startup+60.0402 s] /proc/loadavg: 0.95 0.78 0.51 2/76 5880 /proc/meminfo: memFree=1212240/2055920 swapFree=4181416/4192956 [pid=5868] ppid=5866 vsize=1713632 CPUtime=61.55 /proc/5868/stat : 5868 (java) R 5866 5868 5823 0 -1 0 61104 0 1 0 6130 25 0 0 21 0 13 0 186202377 1754759168 50921 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071442104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5868/statm: 428408 50921 1909 14 0 415155 0 [pid=5868/tid=5869] ppid=5866 vsize=1713632 CPUtime=0.53 /proc/5868/task/5869/stat : 5869 (java) S 5866 5868 5823 0 -1 64 10913 0 0 0 50 3 0 0 16 0 13 0 186202381 1754759168 50921 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5870] ppid=5866 vsize=1713632 CPUtime=0.53 /proc/5868/task/5870/stat : 5870 (java) S 5866 5868 5823 0 -1 64 9292 0 0 0 50 3 0 0 16 0 13 0 186202381 1754759168 50921 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5871] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5871/stat : 5871 (java) S 5866 5868 5823 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 186202383 1754759168 50921 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5872] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5872/stat : 5872 (java) S 5866 5868 5823 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 186202384 1754759168 50921 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5873] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5873/stat : 5873 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202384 1754759168 50921 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5874] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5874/stat : 5874 (java) S 5866 5868 5823 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186202387 1754759168 50921 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/5868/statm: 428408 64231 1909 14 0 415155 0 [pid=5868/tid=5869] ppid=5866 vsize=1713632 CPUtime=5.46 /proc/5868/task/5869/stat : 5869 (java) S 5866 5868 5823 0 -1 64 28801 0 0 0 534 12 0 0 16 0 13 0 186202381 1754759168 64231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5870] ppid=5866 vsize=1713632 CPUtime=5.46 /proc/5868/task/5870/stat : 5870 (java) S 5866 5868 5823 0 -1 64 26682 0 0 0 534 12 0 0 16 0 13 0 186202381 1754759168 64231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5871] ppid=5866 vsize=1713632 CPUtime=0.14 /proc/5868/task/5871/stat : 5871 (java) S 5866 5868 5823 0 -1 64 66 0 0 0 8 6 0 0 15 0 13 0 186202383 1754759168 64231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5872] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5872/stat : 5872 (java) S 5866 5868 5823 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 186202384 1754759168 64231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5873] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5873/stat : 5873 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202384 1754759168 64231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5874] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5874/stat : 5874 (java) S 5866 5868 5823 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186202387 1754759168 64231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5875] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5875/stat : 5875 (java) S 5866 5868 5823 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186202387 1754759168 64231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5876] ppid=5866 vsize=1713632 CPUtime=0.72 /proc/5868/task/5876/stat : 5876 (java) S 5866 5868 5823 0 -1 64 1403 0 0 0 72 0 0 0 16 0 13 0 186202387 1754759168 64231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5877] ppid=5866 vsize=1713632 CPUtime=0.88 /proc/5868/task/5877/stat : 5877 (java) S 5866 5868 5823 0 -1 64 2358 0 0 0 88 0 0 0 17 0 13 0 186202387 1754759168 64231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5878] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5878/stat : 5878 (java) S 5866 5868 5823 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186202387 1754759168 64231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5879] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5879/stat : 5879 (java) S 5866 5868 5823 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186202387 1754759168 64231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5880] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5880/stat : 5880 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202420 1754759168 64231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 716.71 Current children cumulated vsize (Kb) 1713632 [startup+720.55 s] /proc/loadavg: 1.00 0.97 0.74 2/76 5880 /proc/meminfo: memFree=1142736/2055920 swapFree=4181416/4192956 [pid=5868] ppid=5866 vsize=1713632 CPUtime=726.81 /proc/5868/stat : 5868 (java) R 5866 5868 5823 0 -1 0 109401 0 1 0 72625 56 0 0 25 0 13 0 186202377 1754759168 68197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071409577 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5868/statm: 428408 68197 1909 14 0 415155 0 [pid=5868/tid=5869] ppid=5866 vsize=1713632 CPUtime=5.57 /proc/5868/task/5869/stat : 5869 (java) S 5866 5868 5823 0 -1 64 29214 0 0 0 544 13 0 0 16 0 13 0 186202381 1754759168 68197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5870] ppid=5866 vsize=1713632 CPUtime=5.56 /proc/5868/task/5870/stat : 5870 (java) S 5866 5868 5823 0 -1 64 27065 0 0 0 544 12 0 0 16 0 13 0 186202381 1754759168 68197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5871] ppid=5866 vsize=1713632 CPUtime=0.14 /proc/5868/task/5871/stat : 5871 (java) S 5866 5868 5823 0 -1 64 73 0 0 0 8 6 0 0 16 0 13 0 186202383 1754759168 68197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5872] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5872/stat : 5872 (java) S 5866 5868 5823 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 186202384 1754759168 68197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5873] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5873/stat : 5873 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202384 1754759168 68197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5874] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5874/stat : 5874 (java) S 5866 5868 5823 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186202387 1754759168 68197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5875] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5875/stat : 5875 (java) S 5866 5868 5823 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186202387 1754759168 68197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5876] ppid=5866 vsize=1713632 CPUtime=0.72 /proc/5868/task/5876/stat : 5876 (java) S 5866 5868 5823 0 -1 64 1403 0 0 0 72 0 0 0 16 0 13 0 186202387 1754759168 68197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5877] ppid=5866 vsize=1713632 CPUtime=0.88 /proc/5868/task/5877/stat : 5877 (java) S 5866 5868 5823 0 -1 64 2358 0 0 0 88 0 0 0 17 0 13 0 186202387 1754759168 68197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5878] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5878/stat : 5878 (java) S 5866 5868 5823 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186202387 1754759168 68197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5879] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5879/stat : 5879 (java) S 5866 5868 5823 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186202387 1754759168 68197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5880] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5880/stat : 5880 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202420 1754759168 68197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 726.81 Current children cumulated vsize (Kb) 1713632 [startup+730.558 s] /proc/loadavg: 1.00 0.97 0.74 2/76 5880 /proc/meminfo: memFree=1142864/2055920 swapFree=4181416/4192956 [pid=5868] ppid=5866 vsize=1713632 CPUtime=736.91 /proc/5868/stat : 5868 (java) R 5866 5868 5823 0 -1 0 109732 0 1 0 73634 57 0 0 21 0 13 0 186202377 1754759168 68121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071409577 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5868/statm: 428408 68121 1909 14 0 415155 0 [pid=5868/tid=5869] ppid=5866 vsize=1713632 CPUtime=5.65 /proc/5868/task/5869/stat : 5869 (java) S 5866 5868 5823 0 -1 64 29417 0 0 0 552 13 0 0 16 0 13 0 186202381 1754759168 68121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5870] ppid=5866 vsize=1713632 CPUtime=5.64 /proc/5868/task/5870/stat : 5870 (java) S 5866 5868 5823 0 -1 64 27187 0 0 0 552 12 0 0 16 0 13 0 186202381 1754759168 68121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5871] ppid=5866 vsize=1713632 CPUtime=0.14 /proc/5868/task/5871/stat : 5871 (java) S 5866 5868 5823 0 -1 64 73 0 0 0 8 6 0 0 16 0 13 0 186202383 1754759168 68121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5872] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5872/stat : 5872 (java) S 5866 5868 5823 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 186202384 1754759168 68121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5873] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5873/stat : 5873 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202384 1754759168 68121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5874] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5874/stat : 5874 (java) S 5866 5868 5823 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186202387 1754759168 68121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5875] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5875/stat : 5875 (java) S 5866 5868 5823 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186202387 1754759168 68121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5876] ppid=5866 vsize=1713632 CPUtime=0.72 /proc/5868/task/5876/stat : 5876 (java) S 5866 5868 5823 0 -1 64 1403 0 0 0 72 0 0 0 16 0 13 0 186202387 1754759168 68121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5877] ppid=5866 vsize=1713632 CPUtime=0.88 /proc/5868/task/5877/stat : 5877 (java) S 5866 5868 5823 0 -1 64 2358 0 0 0 88 0 0 0 17 0 13 0 186202387 1754759168 68121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5878] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5878/stat : 5878 (java) S 5866 5868 5823 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186202387 1754759168 68121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5879] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5879/stat : 5879 (java) S 5866 5868 5823 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186202387 1754759168 68121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5880] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5880/stat : 5880 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202420 1754759168 68121 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 736.91 Current children cumulated vsize (Kb) 1713632 [startup+740.566 s] /proc/loadavg: 1.00 0.97 0.74 2/76 5880 /proc/meminfo: memFree=1143632/2055920 swapFree=4181416/4192956 [pid=5868] ppid=5866 vsize=1713632 CPUtime=747 /proc/5868/stat : 5868 (java) R 5866 5868 5823 0 -1 0 109942 0 1 0 74643 57 0 0 25 0 13 0 186202377 1754759168 67938 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071442185 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5868/statm: 428408 67938 1909 14 0 415155 0 [pid=5868/tid=5869] ppid=5866 vsize=1713632 CPUtime=5.74 /proc/5868/task/5869/stat : 5869 (java) S 5866 5868 5823 0 -1 64 29497 0 0 0 561 13 0 0 16 0 13 0 186202381 1754759168 67938 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5870] ppid=5866 vsize=1713632 CPUtime=5.73 /proc/5868/task/5870/stat : 5870 (java) S 5866 5868 5823 0 -1 64 27311 0 0 0 561 12 0 0 16 0 13 0 186202381 1754759168 67938 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5871] ppid=5866 vsize=1713632 CPUtime=0.14 /proc/5868/task/5871/stat : 5871 (java) S 5866 5868 5823 0 -1 64 73 0 0 0 8 6 0 0 16 0 13 0 186202383 1754759168 67938 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5872] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5872/stat : 5872 (java) S 5866 5868 5823 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 186202384 1754759168 67938 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5873] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5873/stat : 5873 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202384 1754759168 67938 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5874] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5874/stat : 5874 (java) S 5866 5868 5823 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186202387 1754759168 67938 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5875] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5875/stat : 5875 (java) S 5866 5868 5823 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186202387 1754759168 67938 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5876] ppid=5866 vsize=1713632 CPUtime=0.72 /proc/5868/task/5876/stat : 5876 (java) S 5866 5868 5823 0 -1 64 1403 0 0 0 72 0 0 0 16 0 13 0 186202387 1754759168 67938 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5877] ppid=5866 vsize=1713632 CPUtime=0.88 /proc/5868/task/5877/stat : 5877 (java) S 5866 5868 5823 0 -1 64 2358 0 0 0 88 0 0 0 17 0 13 0 186202387 1754759168 67938 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5878] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5878/stat : 5878 (java) S 5866 5868 5823 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186202387 1754759168 67938 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5879] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5879/stat : 5879 (java) S 5866 5868 5823 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186202387 1754759168 67938 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5880] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5880/stat : 5880 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202420 1754759168 67938 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 747 Current children cumulated vsize (Kb) 1713632 [startup+750.574 s] /proc/loadavg: 1.00 0.97 0.75 2/76 5880 /proc/meminfo: memFree=1144208/2055920 swapFree=4181416/4192956 [pid=5868] ppid=5866 vsize=1713632 CPUtime=757.09 /proc/5868/stat : 5868 (java) R 5866 5868 5823 0 -1 0 110184 0 1 0 75652 57 0 0 25 0 13 0 186202377 1754759168 67779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071401911 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5868/statm: 428408 67779 1909 14 0 415155 0 [pid=5868/tid=5869] ppid=5866 vsize=1713632 CPUtime=5.83 /proc/5868/task/5869/stat : 5869 (java) S 5866 5868 5823 0 -1 64 29625 0 0 0 570 13 0 0 16 0 13 0 186202381 1754759168 67779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5870] ppid=5866 vsize=1713632 CPUtime=5.82 /proc/5868/task/5870/stat : 5870 (java) S 5866 5868 5823 0 -1 64 27419 0 0 0 570 12 0 0 16 0 13 0 186202381 1754759168 67779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5871] ppid=5866 vsize=1713632 CPUtime=0.14 /proc/5868/task/5871/stat : 5871 (java) S 5866 5868 5823 0 -1 64 73 0 0 0 8 6 0 0 16 0 13 0 186202383 1754759168 67779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5872] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5872/stat : 5872 (java) S 5866 5868 5823 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 186202384 1754759168 67779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5873] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5873/stat : 5873 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202384 1754759168 67779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5874] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5874/stat : 5874 (java) S 5866 5868 5823 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186202387 1754759168 67779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5875] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5875/stat : 5875 (java) S 5866 5868 5823 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186202387 1754759168 67779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5876] ppid=5866 vsize=1713632 CPUtime=0.72 /proc/5868/task/5876/stat : 5876 (java) S 5866 5868 5823 0 -1 64 1403 0 0 0 72 0 0 0 16 0 13 0 186202387 1754759168 67779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5877] ppid=5866 vsize=1713632 CPUtime=0.88 /proc/5868/task/5877/stat : 5877 (java) S 5866 5868 5823 0 -1 64 2358 0 0 0 88 0 0 0 17 0 13 0 186202387 1754759168 67779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5878] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5878/stat : 5878 (java) S 5866 5868 5823 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186202387 1754759168 67779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5879] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5879/stat : 5879 (java) S 5866 5868 5823 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186202387 1754759168 67779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5880] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5880/stat : 5880 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202420 1754759168 67779 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 757.09 Current children cumulated vsize (Kb) 1713632 [startup+760.581 s] /proc/loadavg: 1.00 0.97 0.75 2/76 5880 /proc/meminfo: memFree=1144464/2055920 swapFree=4181416/4192956 [pid=5868] ppid=5866 vsize=1713632 CPUtime=767.18 /proc/5868/stat : 5868 (java) R 5866 5868 5823 0 -1 0 110506 0 1 0 76661 57 0 0 25 0 13 0 186202377 1754759168 67724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071418908 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5868/statm: 428408 67724 1909 14 0 415155 0 [pid=5868/tid=5869] ppid=5866 vsize=1713632 CPUtime=5.91 /proc/5868/task/5869/stat : 5869 (java) S 5866 5868 5823 0 -1 64 29727 0 0 0 578 13 0 0 16 0 13 0 186202381 1754759168 67724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5870] ppid=5866 vsize=1713632 CPUtime=5.9 /proc/5868/task/5870/stat : 5870 (java) S 5866 5868 5823 0 -1 64 27633 0 0 0 578 12 0 0 16 0 13 0 186202381 1754759168 67724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5871] ppid=5866 vsize=1713632 CPUtime=0.15 /proc/5868/task/5871/stat : 5871 (java) S 5866 5868 5823 0 -1 64 73 0 0 0 9 6 0 0 16 0 13 0 186202383 1754759168 67724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5872] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5872/stat : 5872 (java) S 5866 5868 5823 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 186202384 1754759168 67724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5873] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5873/stat : 5873 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202384 1754759168 67724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5874] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5874/stat : 5874 (java) S 5866 5868 5823 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186202387 1754759168 67724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5875] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5875/stat : 5875 (java) S 5866 5868 5823 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 186202387 1754759168 67724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5876] ppid=5866 vsize=1713632 CPUtime=0.72 /proc/5868/task/5876/stat : 5876 (java) S 5866 5868 5823 0 -1 64 1403 0 0 0 72 0 0 0 16 0 13 0 186202387 1754759168 67724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5877] ppid=5866 vsize=1713632 CPUtime=0.88 /proc/5868/task/5877/stat : 5877 (java) S 5866 5868 5823 0 -1 64 2358 0 0 0 88 0 0 0 17 0 13 0 186202387 1754759168 67724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5868/tid=5878] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5878/stat : 5878 (java) S 5866 5868 5823 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186202387 1754759168 67724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5879] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5879/stat : 5879 (java) S 5866 5868 5823 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186202387 1754759168 67724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5868/tid=5880] ppid=5866 vsize=1713632 CPUtime=0 /proc/5868/task/5880/stat : 5880 (java) S 5866 5868 5823 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186202420 1754759168 67724 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 767.18 Current children cumulated vsize (Kb) 1713632 Child status: 10 Real time (s): 766.478 CPU time (s): 773.086 CPU user time (s): 772.469 CPU system time (s): 0.616906 CPU usage (%): 100.862 Max. virtual memory (cumulated for all children) (Kb): 1713632
Begin job on node13 on Thu Jun 1 23:43:18 UTC 2006 FILE ID= 41992-1149205398 PBS_JOBID= 293108 BENCH NAME= ROOT/tmp/node13/41992-1149205398/instance-41992-1149205398.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node13/41992-1149205398/instance-41992-1149205398.opb 124777957 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-41992-1149205398 -o ROOT/results/node13/solver-41992-1149205398 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node13/41992-1149205398/instance-41992-1149205398.opb 124777957 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= b789f830862c22cea2a920d3cb2b89b5 RANDOM SEED= 124777957 /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.234 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.234 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: 1409200 kB Buffers: 13616 kB Cached: 564092 kB SwapCached: 3148 kB Active: 276796 kB Inactive: 309548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1409200 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14652 kB Slab: 46300 kB Committed_AS: 187764 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node13 on Thu Jun 1 23:56:04 UTC 2006