Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | OPT | 18 | 165.04 | 161.304 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-f51m.b.opb |
MD5SUM | 95b567c682e7e3efe2c93879e0e7c89d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 18 |
Best CPU time to get the best result obtained on this benchmark | 6.581 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | YES |
Number of variables | 406 |
Total number of constraints | 520 |
Number of constraints which are clauses | 520 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 123 |
Number of terms in the objective function | 406 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 406 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 406 |
Number of bits of the biggest sum of numbers | 9 |
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.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.21 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.21 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.21 c VSIDS like heuristics from MiniSAT using a heap 0.21 c No reason simplification 0.21 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node67/44308-1149407369/instance-44308-1149407369.opb 0.21 c reading problem ... 0.68 c ... done. Time 0.468 ms. 0.68 c #vars 406 0.68 c #constraints 498 0.70 c SATISFIABLE 0.70 c OPTIMIZING... 0.70 c Got one! Ellapsed CPU time (in seconds):0.49 0.72 o 27 0.79 c Got one! Ellapsed CPU time (in seconds):0.582 0.82 o 26 1.06 c Got one! Ellapsed CPU time (in seconds):0.844 1.06 o 25 1.16 c Got one! Ellapsed CPU time (in seconds):0.949 1.16 o 24 1.28 c Got one! Ellapsed CPU time (in seconds):1.07 1.28 o 23 1.34 c Got one! Ellapsed CPU time (in seconds):1.125 1.34 o 22 1.40 c Got one! Ellapsed CPU time (in seconds):1.185 1.40 o 21 1.43 c Got one! Ellapsed CPU time (in seconds):1.217 1.43 o 20 1.48 c Got one! Ellapsed CPU time (in seconds):1.269 1.48 o 19 7.03 c Got one! Ellapsed CPU time (in seconds):6.822 7.03 o 18 161.22 c starts : 20 161.22 c conflicts : 4446 161.22 c decisions : 82871 161.22 c propagations : 198377 161.22 c inspects : 8280679 161.22 c learnt literals : 0 161.22 c learnt binary clauses : 0 161.22 c learnt ternary clauses : 0 161.22 c learnt clauses : 4445 161.22 c root simplifications : 0 161.22 c removed literals (reason simplification) : 0 161.22 c reason swapping (by a shorter reason) : 0 161.22 c Calls to reduceDB : 0 161.22 c speed (decisions/second) : 537.4637620063688 161.22 c non guided choices 3799 161.22 s OPTIMUM FOUND 161.23 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 161.23 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 161.23 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 161.23 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 161.23 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 161.23 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 161.23 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 161.23 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 161.23 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 161.23 v x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 161.23 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 161.23 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 161.23 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 161.23 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 161.23 v x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 161.23 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 161.23 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 161.23 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 161.23 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 161.23 c objective function=18 161.23 c Total wall clock time (ms): 161.015
OK 18
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/node67/watcher-44308-1149407369 -o ROOT/results/node67/solver-44308-1149407369 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node67/44308-1149407369/instance-44308-1149407369.opb 482067395 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.97 2/64 5485 /proc/meminfo: memFree=1849816/2055920 swapFree=4181736/4192956 [pid=5485] ppid=5483 vsize=1816 CPUtime=0 /proc/5485/stat : 5485 (java) R 5483 5485 5439 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 206406329 1859584 147 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5485/statm: 446 146 111 14 0 91 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.95 0.97 2/76 5507 /proc/meminfo: memFree=1662080/2055920 swapFree=4181736/4192956 [pid=5485] ppid=5483 vsize=1712212 CPUtime=11.7 /proc/5485/stat : 5485 (java) R 5483 5485 5439 0 -1 0 55151 0 1 0 1147 23 0 0 19 0 13 0 206406329 1753305088 48717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071561420 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5485/statm: 428053 48717 1910 14 0 414800 0 [pid=5485/tid=5486] ppid=5483 vsize=1712212 CPUtime=0.23 /proc/5485/task/5486/stat : 5486 (java) S 5483 5485 5439 0 -1 64 6345 0 0 0 20 3 0 0 16 0 13 0 206406332 1753305088 48717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5487] ppid=5483 vsize=1712212 CPUtime=0.23 /proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5439 0 -1 64 5246 0 0 0 21 2 0 0 16 0 13 0 206406332 1753305088 48717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5488] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5439 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 48717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5489] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5439 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 48717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5490] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 48717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5491] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206406339 1753305088 48717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5492] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206406339 1753305088 48717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5493] ppid=5483 vsize=1712212 CPUtime=1.03 /proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5439 0 -1 64 2308 0 0 0 103 0 0 0 16 0 13 0 206406339 1753305088 48717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5494] ppid=5483 vsize=1712212 CPUtime=0.92 /proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5439 0 -1 64 2426 0 0 0 91 1 0 0 17 0 13 0 206406339 1753305088 48717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5495] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5495/stat : 5495 (java) S 5483 5485 5439 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206406339 1753305088 48717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5496] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5496/stat : 5496 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206406339 1753305088 48717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5507] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5507/stat : 5507 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 206407033 1753305088 48717 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.7 Current children cumulated vsize (Kb) 1712212 [startup+20.0106 s] /proc/loadavg: 0.94 0.96 0.97 2/76 5507 /proc/meminfo: memFree=1645000/2055920 swapFree=4181736/4192956 [pid=5485] ppid=5483 vsize=1712212 CPUtime=21.82 /proc/5485/stat : 5485 (java) R 5483 5485 5439 0 -1 0 60503 0 1 0 2156 26 0 0 25 0 13 0 206406329 1753305088 52948 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071696001 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5485/statm: 428053 52948 1910 14 0 414800 0 [pid=5485/tid=5486] ppid=5483 vsize=1712212 CPUtime=0.35 /proc/5485/task/5486/stat : 5486 (java) S 5483 5485 5439 0 -1 64 8696 0 0 0 31 4 0 0 15 0 13 0 206406332 1753305088 52948 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5487] ppid=5483 vsize=1712212 CPUtime=0.33 /proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5439 0 -1 64 7375 0 0 0 30 3 0 0 16 0 13 0 206406332 1753305088 52948 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5488] ppid=5483 vsize=1712212 CPUtime=0.01 /proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5439 0 -1 64 32 0 0 0 1 0 0 0 16 0 13 0 206406335 1753305088 52948 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5489] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5439 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 52948 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5490] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 52948 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5491] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206406339 1753305088 52948 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5492] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206406339 1753305088 52948 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5493] ppid=5483 vsize=1712212 CPUtime=1.03 /proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5439 0 -1 64 2308 0 0 0 103 0 0 0 16 0 13 0 206406339 1753305088 52948 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5494] ppid=5483 vsize=1712212 CPUtime=0.93 /proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5439 0 -1 64 2427 0 0 0 92 1 0 0 17 0 13 0 206406339 1753305088 52948 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5495] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5495/stat : 5495 (java) S 5483 5485 5439 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206406339 1753305088 52948 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5496] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5496/stat : 5496 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206406339 1753305088 52948 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5507] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5507/stat : 5507 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 206407033 1753305088 52948 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.82 Current children cumulated vsize (Kb) 1712212 [startup+30.0174 s] /proc/loadavg: 0.95 0.96 0.97 2/76 5507 /proc/meminfo: memFree=1634568/2055920 swapFree=4181736/4192956 [pid=5485] ppid=5483 vsize=1712212 CPUtime=31.92 /proc/5485/stat : 5485 (java) R 5483 5485 5439 0 -1 0 65891 0 1 0 3163 29 0 0 20 0 13 0 206406329 1753305088 55624 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071712546 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5485/statm: 428053 55624 1910 14 0 414800 0 [pid=5485/tid=5486] ppid=5483 vsize=1712212 CPUtime=0.44 /proc/5485/task/5486/stat : 5486 (java) S 5483 5485 5439 0 -1 64 9636 0 0 0 40 4 0 0 15 0 13 0 206406332 1753305088 55624 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5487] ppid=5483 vsize=1712212 CPUtime=0.42 /proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5439 0 -1 64 8189 0 0 0 39 3 0 0 16 0 13 0 206406332 1753305088 55624 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5488] ppid=5483 vsize=1712212 CPUtime=0.02 /proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5439 0 -1 64 39 0 0 0 1 1 0 0 15 0 13 0 206406335 1753305088 55624 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5489] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5439 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 55624 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5490] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 55624 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5491] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206406339 1753305088 55624 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5492] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206406339 1753305088 55624 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5493] ppid=5483 vsize=1712212 CPUtime=1.04 /proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5439 0 -1 64 2308 0 0 0 104 0 0 0 16 0 13 0 206406339 1753305088 55624 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5494] ppid=5483 vsize=1712212 CPUtime=0.93 /proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5439 0 -1 64 2427 0 0 0 92 1 0 0 17 0 13 0 206406339 1753305088 55624 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5495] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5495/stat : 5495 (java) S 5483 5485 5439 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206406339 1753305088 55624 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5496] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5496/stat : 5496 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206406339 1753305088 55624 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5507] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5507/stat : 5507 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 206407033 1753305088 55624 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.92 Current children cumulated vsize (Kb) 1712212 [startup+40.0243 s] /proc/loadavg: 0.95 0.96 0.97 2/76 5507 /proc/meminfo: memFree=1634696/2055920 swapFree=4181736/4192956 [pid=5485] ppid=5483 vsize=1712212 CPUtime=42.01 /proc/5485/stat : 5485 (java) R 5483 5485 5439 0 -1 0 67151 0 1 0 4171 30 0 0 25 0 13 0 206406329 1753305088 55579 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071561302 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5485/statm: 428053 55579 1910 14 0 414800 0 [pid=5485/tid=5486] ppid=5483 vsize=1712212 CPUtime=0.52 /proc/5485/task/5486/stat : 5486 (java) S 5483 5485 5439 0 -1 64 10191 0 0 0 47 5 0 0 16 0 13 0 206406332 1753305088 55579 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5487] ppid=5483 vsize=1712212 CPUtime=0.52 /proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5439 0 -1 64 8869 0 0 0 48 4 0 0 16 0 13 0 206406332 1753305088 55579 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5488] ppid=5483 vsize=1712212 CPUtime=0.02 /proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5439 0 -1 64 41 0 0 0 1 1 0 0 15 0 13 0 206406335 1753305088 55579 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5489] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5439 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 55579 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5490] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 55579 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5491] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206406339 1753305088 55579 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5492] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206406339 1753305088 55579 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5493] ppid=5483 vsize=1712212 CPUtime=1.04 /proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5439 0 -1 64 2308 0 0 0 104 0 0 0 16 0 13 0 206406339 1753305088 55579 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5494] ppid=5483 vsize=1712212 CPUtime=0.93 /proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5439 0 -1 64 2427 0 0 0 92 1 0 0 17 0 13 0 206406339 1753305088 55579 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5495] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5495/stat : 5495 (java) S 5483 5485 5439 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206406339 1753305088 55579 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5496] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5496/stat : 5496 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206406339 1753305088 55579 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5507] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5507/stat : 5507 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206407033 1753305088 55579 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 42.01 Current children cumulated vsize (Kb) 1712212 [startup+50.0312 s] /proc/loadavg: 0.96 0.96 0.97 2/76 5507 /proc/meminfo: memFree=1623112/2055920 swapFree=4181736/4192956 [pid=5485] ppid=5483 vsize=1712212 CPUtime=52.13 /proc/5485/stat : 5485 (java) R 5483 5485 5439 0 -1 0 70242 0 1 0 5181 32 0 0 19 0 13 0 206406329 1753305088 58474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071561302 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5485/statm: 428053 58474 1910 14 0 414800 0 [pid=5485/tid=5486] ppid=5483 vsize=1712212 CPUtime=0.63 /proc/5485/task/5486/stat : 5486 (java) S 5483 5485 5439 0 -1 64 11188 0 0 0 58 5 0 0 16 0 13 0 206406332 1753305088 58474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5487] ppid=5483 vsize=1712212 CPUtime=0.63 /proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5439 0 -1 64 10124 0 0 0 59 4 0 0 16 0 13 0 206406332 1753305088 58474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5488] ppid=5483 vsize=1712212 CPUtime=0.02 /proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5439 0 -1 64 41 0 0 0 1 1 0 0 16 0 13 0 206406335 1753305088 58474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5489] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5439 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 58474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5490] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 58474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5491] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206406339 1753305088 58474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5492] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206406339 1753305088 58474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5493] ppid=5483 vsize=1712212 CPUtime=1.04 /proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5439 0 -1 64 2308 0 0 0 104 0 0 0 16 0 13 0 206406339 1753305088 58474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5494] ppid=5483 vsize=1712212 CPUtime=0.93 /proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5439 0 -1 64 2427 0 0 0 92 1 0 0 17 0 13 0 206406339 1753305088 58474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5495] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5495/stat : 5495 (java) S 5483 5485 5439 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206406339 1753305088 58474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5496] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5496/stat : 5496 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206406339 1753305088 58474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5507] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5507/stat : 5507 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206407033 1753305088 58474 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.13 Current children cumulated vsize (Kb) 1712212 [startup+60.038 s] /proc/loadavg: 0.97 0.96 0.97 2/76 5507 /proc/meminfo: memFree=1616648/2055920 swapFree=4181736/4192956 [pid=5485] ppid=5483 vsize=1712212 CPUtime=62.31 /proc/5485/stat : 5485 (java) R 5483 5485 5439 0 -1 0 71996 0 1 0 6197 34 0 0 21 0 13 0 206406329 1753305088 60089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071561601 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5485/statm: 428053 60089 1910 14 0 414800 0 [pid=5485/tid=5486] ppid=5483 vsize=1712212 CPUtime=0.74 /proc/5485/task/5486/stat : 5486 (java) S 5483 5485 5439 0 -1 64 11878 0 0 0 69 5 0 0 16 0 13 0 206406332 1753305088 60089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5487] ppid=5483 vsize=1712212 CPUtime=0.76 /proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5439 0 -1 64 11078 0 0 0 71 5 0 0 16 0 13 0 206406332 1753305088 60089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5488] ppid=5483 vsize=1712212 CPUtime=0.04 /proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5439 0 -1 64 41 0 0 0 2 2 0 0 15 0 13 0 206406335 1753305088 60089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5489] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5439 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 60089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5490] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 60089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5491] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206406339 1753305088 60089 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/5485/statm: 428053 66194 1910 14 0 414800 0 [pid=5485/tid=5486] ppid=5483 vsize=1712212 CPUtime=1.4 /proc/5485/task/5486/stat : 5486 (java) S 5483 5485 5439 0 -1 64 15659 0 0 0 133 7 0 0 16 0 13 0 206406332 1753305088 66194 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5487] ppid=5483 vsize=1712212 CPUtime=1.4 /proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5439 0 -1 64 14087 0 0 0 133 7 0 0 16 0 13 0 206406332 1753305088 66194 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5488] ppid=5483 vsize=1712212 CPUtime=0.06 /proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5439 0 -1 64 41 0 0 0 4 2 0 0 16 0 13 0 206406335 1753305088 66194 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5489] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5439 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 66194 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5490] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 66194 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5491] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206406339 1753305088 66194 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5492] ppid=5483 vsize=1712212 CPUtime=0.01 /proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206406339 1753305088 66194 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5493] ppid=5483 vsize=1712212 CPUtime=1.1 /proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5439 0 -1 64 2384 0 0 0 110 0 0 0 17 0 13 0 206406339 1753305088 66194 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5494] ppid=5483 vsize=1712212 CPUtime=0.97 /proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5439 0 -1 64 2438 0 0 0 96 1 0 0 16 0 13 0 206406339 1753305088 66194 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5495] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5495/stat : 5495 (java) S 5483 5485 5439 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206406339 1753305088 66194 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5496] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5496/stat : 5496 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206406339 1753305088 66194 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5507] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5507/stat : 5507 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206407033 1753305088 66194 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 112.95 Current children cumulated vsize (Kb) 1712212 [startup+120.085 s] /proc/loadavg: 0.99 0.97 0.97 2/76 5507 /proc/meminfo: memFree=1584712/2055920 swapFree=4181736/4192956 [pid=5485] ppid=5483 vsize=1712212 CPUtime=123.1 /proc/5485/stat : 5485 (java) R 5483 5485 5439 0 -1 0 80869 0 1 0 12271 39 0 0 20 0 13 0 206406329 1753305088 68056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071686777 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5485/statm: 428053 68056 1910 14 0 414800 0 [pid=5485/tid=5486] ppid=5483 vsize=1712212 CPUtime=1.56 /proc/5485/task/5486/stat : 5486 (java) S 5483 5485 5439 0 -1 64 16554 0 0 0 148 8 0 0 16 0 13 0 206406332 1753305088 68056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5487] ppid=5483 vsize=1712212 CPUtime=1.56 /proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5439 0 -1 64 15146 0 0 0 149 7 0 0 16 0 13 0 206406332 1753305088 68056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5488] ppid=5483 vsize=1712212 CPUtime=0.07 /proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5439 0 -1 64 41 0 0 0 4 3 0 0 15 0 13 0 206406335 1753305088 68056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5489] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5439 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 68056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5490] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 68056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5491] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206406339 1753305088 68056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5492] ppid=5483 vsize=1712212 CPUtime=0.01 /proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206406339 1753305088 68056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5493] ppid=5483 vsize=1712212 CPUtime=1.1 /proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5439 0 -1 64 2384 0 0 0 110 0 0 0 17 0 13 0 206406339 1753305088 68056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5494] ppid=5483 vsize=1712212 CPUtime=0.97 /proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5439 0 -1 64 2438 0 0 0 96 1 0 0 16 0 13 0 206406339 1753305088 68056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5495] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5495/stat : 5495 (java) S 5483 5485 5439 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206406339 1753305088 68056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5496] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5496/stat : 5496 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206406339 1753305088 68056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5507] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5507/stat : 5507 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206407033 1753305088 68056 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 123.1 Current children cumulated vsize (Kb) 1712212 [startup+130.092 s] /proc/loadavg: 1.07 0.98 0.97 2/76 5507 /proc/meminfo: memFree=1577480/2055920 swapFree=4181736/4192956 [pid=5485] ppid=5483 vsize=1712212 CPUtime=133.28 /proc/5485/stat : 5485 (java) R 5483 5485 5439 0 -1 0 82857 0 1 0 13288 40 0 0 19 0 13 0 206406329 1753305088 69857 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071712546 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5485/statm: 428053 69857 1910 14 0 414800 0 [pid=5485/tid=5486] ppid=5483 vsize=1712212 CPUtime=1.73 /proc/5485/task/5486/stat : 5486 (java) S 5483 5485 5439 0 -1 64 17509 0 0 0 165 8 0 0 16 0 13 0 206406332 1753305088 69857 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5487] ppid=5483 vsize=1712212 CPUtime=1.74 /proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5439 0 -1 64 16158 0 0 0 167 7 0 0 16 0 13 0 206406332 1753305088 69857 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5488] ppid=5483 vsize=1712212 CPUtime=0.07 /proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5439 0 -1 64 41 0 0 0 4 3 0 0 15 0 13 0 206406335 1753305088 69857 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5489] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5439 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 69857 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5490] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 69857 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5491] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206406339 1753305088 69857 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5492] ppid=5483 vsize=1712212 CPUtime=0.01 /proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206406339 1753305088 69857 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5493] ppid=5483 vsize=1712212 CPUtime=1.1 /proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5439 0 -1 64 2384 0 0 0 110 0 0 0 17 0 13 0 206406339 1753305088 69857 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5494] ppid=5483 vsize=1712212 CPUtime=0.97 /proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5439 0 -1 64 2438 0 0 0 96 1 0 0 16 0 13 0 206406339 1753305088 69857 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5495] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5495/stat : 5495 (java) S 5483 5485 5439 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206406339 1753305088 69857 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5496] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5496/stat : 5496 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206406339 1753305088 69857 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5507] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5507/stat : 5507 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206407033 1753305088 69857 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 133.28 Current children cumulated vsize (Kb) 1712212 [startup+140.099 s] /proc/loadavg: 1.06 0.98 0.97 2/76 5507 /proc/meminfo: memFree=1570120/2055920 swapFree=4181736/4192956 [pid=5485] ppid=5483 vsize=1712212 CPUtime=143.47 /proc/5485/stat : 5485 (java) R 5483 5485 5439 0 -1 0 84852 0 1 0 14305 42 0 0 25 0 13 0 206406329 1753305088 71696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071603342 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5485/statm: 428053 71696 1910 14 0 414800 0 [pid=5485/tid=5486] ppid=5483 vsize=1712212 CPUtime=1.92 /proc/5485/task/5486/stat : 5486 (java) S 5483 5485 5439 0 -1 64 18401 0 0 0 183 9 0 0 16 0 13 0 206406332 1753305088 71696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5487] ppid=5483 vsize=1712212 CPUtime=1.92 /proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5439 0 -1 64 17243 0 0 0 184 8 0 0 16 0 13 0 206406332 1753305088 71696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5488] ppid=5483 vsize=1712212 CPUtime=0.07 /proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5439 0 -1 64 41 0 0 0 4 3 0 0 15 0 13 0 206406335 1753305088 71696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5489] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5439 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 71696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5490] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 71696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5491] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206406339 1753305088 71696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5492] ppid=5483 vsize=1712212 CPUtime=0.01 /proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206406339 1753305088 71696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5493] ppid=5483 vsize=1712212 CPUtime=1.1 /proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5439 0 -1 64 2384 0 0 0 110 0 0 0 17 0 13 0 206406339 1753305088 71696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5494] ppid=5483 vsize=1712212 CPUtime=0.97 /proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5439 0 -1 64 2438 0 0 0 96 1 0 0 16 0 13 0 206406339 1753305088 71696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5495] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5495/stat : 5495 (java) S 5483 5485 5439 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206406339 1753305088 71696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5496] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5496/stat : 5496 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206406339 1753305088 71696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5507] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5507/stat : 5507 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206407033 1753305088 71696 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 143.47 Current children cumulated vsize (Kb) 1712212 [startup+150.107 s] /proc/loadavg: 1.05 0.98 0.97 2/76 5507 /proc/meminfo: memFree=1564936/2055920 swapFree=4181736/4192956 [pid=5485] ppid=5483 vsize=1712212 CPUtime=153.65 /proc/5485/stat : 5485 (java) R 5483 5485 5439 0 -1 0 86231 0 1 0 15322 43 0 0 25 0 13 0 206406329 1753305088 72992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071540904 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5485/statm: 428053 72992 1910 14 0 414800 0 [pid=5485/tid=5486] ppid=5483 vsize=1712212 CPUtime=2.1 /proc/5485/task/5486/stat : 5486 (java) S 5483 5485 5439 0 -1 64 19197 0 0 0 201 9 0 0 16 0 13 0 206406332 1753305088 72992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5487] ppid=5483 vsize=1712212 CPUtime=2.1 /proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5439 0 -1 64 17806 0 0 0 202 8 0 0 16 0 13 0 206406332 1753305088 72992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5488] ppid=5483 vsize=1712212 CPUtime=0.08 /proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5439 0 -1 64 42 0 0 0 4 4 0 0 15 0 13 0 206406335 1753305088 72992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5489] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5439 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 72992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5490] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 72992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5491] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206406339 1753305088 72992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5492] ppid=5483 vsize=1712212 CPUtime=0.01 /proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206406339 1753305088 72992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5493] ppid=5483 vsize=1712212 CPUtime=1.1 /proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5439 0 -1 64 2384 0 0 0 110 0 0 0 17 0 13 0 206406339 1753305088 72992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5494] ppid=5483 vsize=1712212 CPUtime=0.97 /proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5439 0 -1 64 2438 0 0 0 96 1 0 0 16 0 13 0 206406339 1753305088 72992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5495] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5495/stat : 5495 (java) S 5483 5485 5439 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206406339 1753305088 72992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5496] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5496/stat : 5496 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206406339 1753305088 72992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5507] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5507/stat : 5507 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206407033 1753305088 72992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 153.65 Current children cumulated vsize (Kb) 1712212 [startup+160.114 s] /proc/loadavg: 1.04 0.98 0.97 2/76 5507 /proc/meminfo: memFree=1560264/2055920 swapFree=4181736/4192956 [pid=5485] ppid=5483 vsize=1712212 CPUtime=163.84 /proc/5485/stat : 5485 (java) R 5483 5485 5439 0 -1 0 87459 0 1 0 16340 44 0 0 19 0 13 0 206406329 1753305088 74158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071561002 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/5485/statm: 428053 74158 1910 14 0 414800 0 [pid=5485/tid=5486] ppid=5483 vsize=1712212 CPUtime=2.3 /proc/5485/task/5486/stat : 5486 (java) S 5483 5485 5439 0 -1 64 20051 0 0 0 220 10 0 0 15 0 13 0 206406332 1753305088 74158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5487] ppid=5483 vsize=1712212 CPUtime=2.29 /proc/5485/task/5487/stat : 5487 (java) S 5483 5485 5439 0 -1 64 18160 0 0 0 221 8 0 0 16 0 13 0 206406332 1753305088 74158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5488] ppid=5483 vsize=1712212 CPUtime=0.09 /proc/5485/task/5488/stat : 5488 (java) S 5483 5485 5439 0 -1 64 42 0 0 0 5 4 0 0 16 0 13 0 206406335 1753305088 74158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5489] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5489/stat : 5489 (java) S 5483 5485 5439 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 74158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5490] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5490/stat : 5490 (java) S 5483 5485 5439 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206406335 1753305088 74158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5491] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5491/stat : 5491 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206406339 1753305088 74158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5492] ppid=5483 vsize=1712212 CPUtime=0.01 /proc/5485/task/5492/stat : 5492 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206406339 1753305088 74158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5493] ppid=5483 vsize=1712212 CPUtime=1.1 /proc/5485/task/5493/stat : 5493 (java) S 5483 5485 5439 0 -1 64 2384 0 0 0 110 0 0 0 17 0 13 0 206406339 1753305088 74158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5494] ppid=5483 vsize=1712212 CPUtime=0.97 /proc/5485/task/5494/stat : 5494 (java) S 5483 5485 5439 0 -1 64 2438 0 0 0 96 1 0 0 16 0 13 0 206406339 1753305088 74158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5495] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5495/stat : 5495 (java) S 5483 5485 5439 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206406339 1753305088 74158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5485/tid=5496] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5496/stat : 5496 (java) S 5483 5485 5439 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206406339 1753305088 74158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5485/tid=5507] ppid=5483 vsize=1712212 CPUtime=0 /proc/5485/task/5507/stat : 5507 (java) S 5483 5485 5439 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206407033 1753305088 74158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 163.84 Current children cumulated vsize (Kb) 1712212 Child status: 30 Real time (s): 161.304 CPU time (s): 165.04 CPU user time (s): 164.549 CPU system time (s): 0.490925 CPU usage (%): 102.316 Max. virtual memory (cumulated for all children) (Kb): 1712212
Begin job on node67 on Sun Jun 4 07:49:29 UTC 2006 FILE ID= 44308-1149407369 PBS_JOBID= 314478 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-f51m.b.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node67/44308-1149407369/instance-44308-1149407369.opb 482067395 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-44308-1149407369 -o ROOT/results/node67/solver-44308-1149407369 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node67/44308-1149407369/instance-44308-1149407369.opb 482067395 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 95b567c682e7e3efe2c93879e0e7c89d RANDOM SEED= 482067395 /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.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 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: 1850024 kB Buffers: 13160 kB Cached: 131880 kB SwapCached: 2792 kB Active: 33904 kB Inactive: 119760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1850024 kB SwapTotal: 4192956 kB SwapFree: 4181736 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14784 kB Slab: 38140 kB Committed_AS: 401868 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node67 on Sun Jun 4 07:52:11 UTC 2006