Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | 119 | 1801 | 1762.59 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-mlp4.r.opb |
MD5SUM | c216dcb87e9001dad9e1252e03860f2a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 109 |
Best CPU time to get the best result obtained on this benchmark | 0.319951 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 109 |
Optimality of the best value was proved | YES |
Number of variables | 594 |
Total number of constraints | 530 |
Number of constraints which are clauses | 530 |
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 | 2 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 594 |
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 | 594 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 594 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.21 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 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/node21/50590-1154084406/instance-50590-1154084406.opb 0.21 c reading problem ... 0.44 c ... done. Time 0.233 ms. 0.44 c #vars 594 0.44 c #constraints 530 0.48 c SATISFIABLE 0.48 c OPTIMIZING... 0.48 c Got one! Ellapsed CPU time (in seconds):0.272 0.49 o 136 0.57 c Got one! Ellapsed CPU time (in seconds):0.366 0.57 o 135 0.64 c Got one! Ellapsed CPU time (in seconds):0.431 0.64 o 134 0.71 c Got one! Ellapsed CPU time (in seconds):0.499 0.71 o 133 0.95 c Got one! Ellapsed CPU time (in seconds):0.742 0.95 o 132 3.14 c Got one! Ellapsed CPU time (in seconds):2.934 3.14 o 131 3.76 c Got one! Ellapsed CPU time (in seconds):3.552 3.76 o 129 4.32 c Got one! Ellapsed CPU time (in seconds):4.11 4.32 o 128 5.23 c Got one! Ellapsed CPU time (in seconds):5.017 5.23 o 127 7.54 c Got one! Ellapsed CPU time (in seconds):7.329 7.54 o 126 11.53 c Got one! Ellapsed CPU time (in seconds):11.318 11.53 o 125 14.17 c Got one! Ellapsed CPU time (in seconds):13.962 14.17 o 121 19.45 c Got one! Ellapsed CPU time (in seconds):19.239 19.45 o 120 25.15 c Got one! Ellapsed CPU time (in seconds):24.94 25.15 o 119 1762.42 c starts : 45 1762.43 c conflicts : 23938 1762.43 c decisions : 119397 1762.43 c propagations : 458252 1762.43 c inspects : 391292461 1762.43 c learnt literals : 0 1762.43 c learnt binary clauses : 0 1762.43 c learnt ternary clauses : 0 1762.43 c learnt clauses : 23937 1762.43 c root simplifications : 0 1762.43 c removed literals (reason simplification) : 0 1762.43 c reason swapping (by a shorter reason) : 0 1762.43 c Calls to reduceDB : 0 1762.43 c speed (decisions/second) : 68.72663724893138 1762.43 c non guided choices 32 1762.43 s SATISFIABLE 1762.44 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 1762.44 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 -x56 -x57 1762.44 v -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 1762.44 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 1762.44 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 x119 x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 1762.44 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 x140 -x141 -x142 x143 -x144 -x145 -x146 x147 -x148 -x149 1762.44 v x150 -x151 -x152 x153 -x154 -x155 -x156 x157 -x158 x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 1762.44 v x172 -x173 -x174 -x175 x176 x177 x178 -x179 -x180 -x181 -x182 x183 x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 1762.44 v x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 1762.44 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 1762.44 v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 1762.44 v -x257 x258 -x259 -x260 x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 1762.44 v -x279 -x280 x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 x299 -x300 1762.44 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 x320 -x321 1762.44 v -x322 -x323 -x324 -x325 x326 x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 x341 x342 -x343 1762.44 v -x344 -x345 -x346 -x347 x348 x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 x357 -x358 -x359 -x360 x361 -x362 x363 -x364 -x365 1762.44 v -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 1762.44 v x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 x402 -x403 -x404 x405 -x406 -x407 1762.44 v -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 x427 -x428 1762.44 v x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 x447 x448 -x449 -x450 1762.44 v -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 x468 -x469 x470 -x471 1762.44 v -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 x485 -x486 -x487 x488 -x489 -x490 -x491 x492 -x493 1762.44 v -x494 -x495 -x496 x497 -x498 -x499 x500 -x501 -x502 x503 x504 x505 -x506 -x507 -x508 -x509 x510 -x511 x512 -x513 -x514 -x515 1762.44 v -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 x532 -x533 x534 -x535 -x536 1762.44 v x537 -x538 x539 -x540 -x541 x542 x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 x552 -x553 x554 -x555 -x556 -x557 -x558 1762.44 v -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 x576 -x577 -x578 x579 1762.44 v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 x592 -x593 -x594 1762.44 c objective function=119 1762.44 c Total wall clock time (ms): 1762.229
OK 119
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node21/watcher-50590-1154084406 -o ROOT/results/node21/solver-50590-1154084406 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node21/50590-1154084406/instance-50590-1154084406.opb 895273232 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.98 0.99 2/64 21193 /proc/meminfo: memFree=1524880/2055920 swapFree=4182912/4192956 [pid=21193] ppid=21191 vsize=1784 CPUtime=0 /proc/21193/stat : 21193 (java) R 21191 21193 21144 0 -1 0 154 0 0 0 0 0 0 0 19 0 1 0 155301440 1826816 125 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21193/statm: 446 133 98 14 0 91 0 [startup+10.0024 s] /proc/loadavg: 0.99 0.98 0.99 3/76 21215 /proc/meminfo: memFree=1313008/2055920 swapFree=4182912/4192956 [pid=21193] ppid=21191 vsize=1713508 CPUtime=11.62 /proc/21193/stat : 21193 (java) R 21191 21193 21144 0 -1 0 58962 0 1 0 1137 25 0 0 23 0 13 0 155301440 1754632192 54690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071486343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21193/statm: 428377 54690 1911 14 0 415124 0 [pid=21193/tid=21194] ppid=21191 vsize=1713508 CPUtime=0.27 /proc/21193/task/21194/stat : 21194 (java) S 21191 21193 21144 0 -1 64 8848 0 0 0 23 4 0 0 16 0 13 0 155301444 1754632192 54690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21195] ppid=21191 vsize=1713508 CPUtime=0.27 /proc/21193/task/21195/stat : 21195 (java) S 21191 21193 21144 0 -1 64 9447 0 0 0 23 4 0 0 16 0 13 0 155301444 1754632192 54690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21196] ppid=21191 vsize=1713508 CPUtime=0 /proc/21193/task/21196/stat : 21196 (java) S 21191 21193 21144 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 155301447 1754632192 54690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21197] ppid=21191 vsize=1713508 CPUtime=0 /proc/21193/task/21197/stat : 21197 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155301447 1754632192 54690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21198] ppid=21191 vsize=1713508 CPUtime=0 /proc/21193/task/21198/stat : 21198 (java) S 21191 21193 21144 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155301447 1754632192 54690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21199] ppid=21191 vsize=1713508 CPUtime=0 /proc/21193/task/21199/stat : 21199 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155301450 1754632192 54690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21200] ppid=21191 vsize=1713508 CPUtime=0 /proc/21193/task/21200/stat : 21200 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155301450 1754632192 54690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21201] ppid=21191 vsize=1713508 CPUtime=0.86 /proc/21193/task/21201/stat : 21201 (java) R 21191 21193 21144 0 -1 64 1504 0 0 0 86 0 0 0 17 0 13 0 155301450 1754632192 54690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152077603 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21202] ppid=21191 vsize=1713508 CPUtime=0.89 /proc/21193/task/21202/stat : 21202 (java) S 21191 21193 21144 0 -1 64 2261 0 0 0 88 1 0 0 17 0 13 0 155301450 1754632192 54690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21203] ppid=21191 vsize=1713508 CPUtime=0 /proc/21193/task/21203/stat : 21203 (java) S 21191 21193 21144 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155301450 1754632192 54690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21204] ppid=21191 vsize=1713508 CPUtime=0 /proc/21193/task/21204/stat : 21204 (java) S 21191 21193 21144 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155301451 1754632192 54690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21215] ppid=21191 vsize=1713508 CPUtime=0 /proc/21193/task/21215/stat : 21215 (java) S 21191 21193 21144 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155302195 1754632192 54690 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.62 Current children cumulated vsize (Kb) 1713508 [startup+20.0175 s] /proc/loadavg: 1.07 1.00 1.00 2/76 21218 /proc/meminfo: memFree=1294888/2055920 swapFree=4182912/4192956 [pid=21193] ppid=21191 vsize=1713052 CPUtime=21.88 /proc/21193/stat : 21193 (java) R 21191 21193 21144 0 -1 0 64374 0 1 0 2160 28 0 0 25 0 13 0 155301440 1754165248 59219 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071420518 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21193/statm: 428263 59219 1911 14 0 415010 0 [pid=21193/tid=21194] ppid=21191 vsize=1713052 CPUtime=0.4 /proc/21193/task/21194/stat : 21194 (java) S 21191 21193 21144 0 -1 64 11115 0 0 0 35 5 0 0 16 0 13 0 155301444 1754165248 59219 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21195] ppid=21191 vsize=1713052 CPUtime=0.4 /proc/21193/task/21195/stat : 21195 (java) S 21191 21193 21144 0 -1 64 12573 0 0 0 35 5 0 0 16 0 13 0 155301444 1754165248 59219 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21196] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21196/stat : 21196 (java) S 21191 21193 21144 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 59219 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21197] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21197/stat : 21197 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 59219 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21198] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21198/stat : 21198 (java) S 21191 21193 21144 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 59219 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21199] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21199/stat : 21199 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155301450 1754165248 59219 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21200] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21200/stat : 21200 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155301450 1754165248 59219 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21201] ppid=21191 vsize=1713052 CPUtime=0.91 /proc/21193/task/21201/stat : 21201 (java) S 21191 21193 21144 0 -1 64 1509 0 0 0 91 0 0 0 16 0 13 0 155301450 1754165248 59219 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21202] ppid=21191 vsize=1713052 CPUtime=0.98 /proc/21193/task/21202/stat : 21202 (java) S 21191 21193 21144 0 -1 64 2267 0 0 0 97 1 0 0 17 0 13 0 155301450 1754165248 59219 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21203] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21203/stat : 21203 (java) S 21191 21193 21144 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155301450 1754165248 59219 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21204] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21204/stat : 21204 (java) S 21191 21193 21144 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155301451 1754165248 59219 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21218] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21218/stat : 21218 (java) S 21191 21193 21144 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155303387 1754165248 59219 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.88 Current children cumulated vsize (Kb) 1713052 [startup+30.0246 s] /proc/loadavg: 1.06 1.00 1.00 2/76 21219 /proc/meminfo: memFree=1274912/2055920 swapFree=4182912/4192956 [pid=21193] ppid=21191 vsize=1713052 CPUtime=32.02 /proc/21193/stat : 21193 (java) R 21191 21193 21144 0 -1 0 69750 0 1 0 3171 31 0 0 25 0 13 0 155301440 1754165248 64252 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071407462 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21193/statm: 428263 64252 1911 14 0 415010 0 [pid=21193/tid=21194] ppid=21191 vsize=1713052 CPUtime=0.53 /proc/21193/task/21194/stat : 21194 (java) S 21191 21193 21144 0 -1 64 13612 0 0 0 47 6 0 0 16 0 13 0 155301444 1754165248 64252 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21195] ppid=21191 vsize=1713052 CPUtime=0.54 /proc/21193/task/21195/stat : 21195 (java) S 21191 21193 21144 0 -1 64 15444 0 0 0 47 7 0 0 16 0 13 0 155301444 1754165248 64252 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21196] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21196/stat : 21196 (java) S 21191 21193 21144 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 64252 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21197] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21197/stat : 21197 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 64252 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21198] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21198/stat : 21198 (java) S 21191 21193 21144 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 64252 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21199] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21199/stat : 21199 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155301450 1754165248 64252 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21200] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21200/stat : 21200 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155301450 1754165248 64252 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21201] ppid=21191 vsize=1713052 CPUtime=0.91 /proc/21193/task/21201/stat : 21201 (java) S 21191 21193 21144 0 -1 64 1509 0 0 0 91 0 0 0 16 0 13 0 155301450 1754165248 64252 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21202] ppid=21191 vsize=1713052 CPUtime=0.98 /proc/21193/task/21202/stat : 21202 (java) S 21191 21193 21144 0 -1 64 2267 0 0 0 97 1 0 0 17 0 13 0 155301450 1754165248 64252 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21203] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21203/stat : 21203 (java) S 21191 21193 21144 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155301450 1754165248 64252 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21204] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21204/stat : 21204 (java) S 21191 21193 21144 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155301451 1754165248 64252 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21219] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21219/stat : 21219 (java) S 21191 21193 21144 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 155303956 1754165248 64252 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.02 Current children cumulated vsize (Kb) 1713052 [startup+40.0317 s] /proc/loadavg: 1.11 1.02 1.00 2/76 21219 /proc/meminfo: memFree=1256736/2055920 swapFree=4182912/4192956 [pid=21193] ppid=21191 vsize=1713052 CPUtime=42.18 /proc/21193/stat : 21193 (java) R 21191 21193 21144 0 -1 0 74726 0 1 0 4185 33 0 0 25 0 13 0 155301440 1754165248 68787 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071420085 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21193/statm: 428263 68787 1911 14 0 415010 0 [pid=21193/tid=21194] ppid=21191 vsize=1713052 CPUtime=0.69 /proc/21193/task/21194/stat : 21194 (java) S 21191 21193 21144 0 -1 64 16325 0 0 0 61 8 0 0 16 0 13 0 155301444 1754165248 68787 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21195] ppid=21191 vsize=1713052 CPUtime=0.68 /proc/21193/task/21195/stat : 21195 (java) S 21191 21193 21144 0 -1 64 17700 0 0 0 61 7 0 0 16 0 13 0 155301444 1754165248 68787 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21196] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21196/stat : 21196 (java) S 21191 21193 21144 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 68787 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21197] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21197/stat : 21197 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 68787 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21198] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21198/stat : 21198 (java) S 21191 21193 21144 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 68787 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21199] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21199/stat : 21199 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155301450 1754165248 68787 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21200] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21200/stat : 21200 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155301450 1754165248 68787 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21201] ppid=21191 vsize=1713052 CPUtime=0.91 /proc/21193/task/21201/stat : 21201 (java) S 21191 21193 21144 0 -1 64 1509 0 0 0 91 0 0 0 16 0 13 0 155301450 1754165248 68787 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21202] ppid=21191 vsize=1713052 CPUtime=0.98 /proc/21193/task/21202/stat : 21202 (java) S 21191 21193 21144 0 -1 64 2267 0 0 0 97 1 0 0 17 0 13 0 155301450 1754165248 68787 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21203] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21203/stat : 21203 (java) S 21191 21193 21144 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155301450 1754165248 68787 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21204] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21204/stat : 21204 (java) S 21191 21193 21144 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155301451 1754165248 68787 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21219] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21219/stat : 21219 (java) S 21191 21193 21144 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 155303956 1754165248 68787 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.18 Current children cumulated vsize (Kb) 1713052 [startup+50.0398 s] /proc/loadavg: 1.09 1.01 1.00 2/76 21219 /proc/meminfo: memFree=1246752/2055920 swapFree=4182912/4192956 [pid=21193] ppid=21191 vsize=1713052 CPUtime=52.33 /proc/21193/stat : 21193 (java) R 21191 21193 21144 0 -1 0 77448 0 1 0 5198 35 0 0 25 0 13 0 155301440 1754165248 71293 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071551021 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21193/statm: 428263 71293 1911 14 0 415010 0 [pid=21193/tid=21194] ppid=21191 vsize=1713052 CPUtime=0.83 /proc/21193/task/21194/stat : 21194 (java) S 21191 21193 21144 0 -1 64 17380 0 0 0 75 8 0 0 16 0 13 0 155301444 1754165248 71293 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21195] ppid=21191 vsize=1713052 CPUtime=0.83 /proc/21193/task/21195/stat : 21195 (java) S 21191 21193 21144 0 -1 64 19357 0 0 0 75 8 0 0 17 0 13 0 155301444 1754165248 71293 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21196] ppid=21191 vsize=1713052 CPUtime=0.01 /proc/21193/task/21196/stat : 21196 (java) S 21191 21193 21144 0 -1 64 30 0 0 0 1 0 0 0 16 0 13 0 155301447 1754165248 71293 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21197] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21197/stat : 21197 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 71293 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21198] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21198/stat : 21198 (java) S 21191 21193 21144 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 71293 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21199] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21199/stat : 21199 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155301450 1754165248 71293 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21200] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21200/stat : 21200 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155301450 1754165248 71293 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21201] ppid=21191 vsize=1713052 CPUtime=0.91 /proc/21193/task/21201/stat : 21201 (java) S 21191 21193 21144 0 -1 64 1509 0 0 0 91 0 0 0 16 0 13 0 155301450 1754165248 71293 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21202] ppid=21191 vsize=1713052 CPUtime=0.98 /proc/21193/task/21202/stat : 21202 (java) S 21191 21193 21144 0 -1 64 2267 0 0 0 97 1 0 0 17 0 13 0 155301450 1754165248 71293 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21203] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21203/stat : 21203 (java) S 21191 21193 21144 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155301450 1754165248 71293 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21204] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21204/stat : 21204 (java) S 21191 21193 21144 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155301451 1754165248 71293 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21219] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21219/stat : 21219 (java) S 21191 21193 21144 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 155303956 1754165248 71293 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.33 Current children cumulated vsize (Kb) 1713052 [startup+60.0469 s] /proc/loadavg: 1.08 1.01 1.00 2/82 21285 /proc/meminfo: memFree=1235568/2055920 swapFree=4182912/4192956 [pid=21193] ppid=21191 vsize=1713052 CPUtime=62.46 /proc/21193/stat : 21193 (java) R 21191 21193 21144 0 -1 0 80294 0 1 0 6208 38 0 0 25 0 13 0 155301440 1754165248 73731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071509544 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21193/statm: 428263 73731 1911 14 0 415010 0 [pid=21193/tid=21194] ppid=21191 vsize=1713052 CPUtime=0.95 /proc/21193/task/21194/stat : 21194 (java) S 21191 21193 21144 0 -1 64 18885 0 0 0 87 8 0 0 17 0 13 0 155301444 1754165248 73731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21195] ppid=21191 vsize=1713052 CPUtime=0.96 /proc/21193/task/21195/stat : 21195 (java) S 21191 21193 21144 0 -1 64 20691 0 0 0 87 9 0 0 16 0 13 0 155301444 1754165248 73731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21196] ppid=21191 vsize=1713052 CPUtime=0.01 /proc/21193/task/21196/stat : 21196 (java) S 21191 21193 21144 0 -1 64 30 0 0 0 1 0 0 0 16 0 13 0 155301447 1754165248 73731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21197] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21197/stat : 21197 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 73731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21198] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21198/stat : 21198 (java) S 21191 21193 21144 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 73731 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21199] ppid=21191 vsize=1713052 CPUtime=0 ################ # More data... # ################ /proc/21193/task/21197/stat : 21197 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 201493 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21198] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21198/stat : 21198 (java) S 21191 21193 21144 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 201493 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21199] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21199/stat : 21199 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155301450 1754165248 201493 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21200] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21200/stat : 21200 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155301450 1754165248 201493 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21201] ppid=21191 vsize=1713052 CPUtime=0.97 /proc/21193/task/21201/stat : 21201 (java) S 21191 21193 21144 0 -1 64 1510 0 0 0 97 0 0 0 17 0 13 0 155301450 1754165248 201493 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21202] ppid=21191 vsize=1713052 CPUtime=1.02 /proc/21193/task/21202/stat : 21202 (java) S 21191 21193 21144 0 -1 64 2268 0 0 0 101 1 0 0 17 0 13 0 155301450 1754165248 201493 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21203] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21203/stat : 21203 (java) S 21191 21193 21144 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155301450 1754165248 201493 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21204] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21204/stat : 21204 (java) S 21191 21193 21144 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155301451 1754165248 201493 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21219] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21219/stat : 21219 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155303956 1754165248 201493 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 1713052 [startup+1759.39 s] /proc/loadavg: 1.00 1.03 1.00 2/76 21417 /proc/meminfo: memFree=723744/2055920 swapFree=4182912/4192956 [pid=21193] ppid=21191 vsize=1713052 CPUtime=1797.73 /proc/21193/stat : 21193 (java) R 21191 21193 21144 0 -1 0 217644 0 1 0 179656 117 0 0 25 0 13 0 155301440 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071551010 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21193/statm: 428263 201556 1911 14 0 415010 0 [pid=21193/tid=21194] ppid=21191 vsize=1713052 CPUtime=37.51 /proc/21193/task/21194/stat : 21194 (java) S 21191 21193 21144 0 -1 64 76571 0 0 0 3714 37 0 0 16 0 13 0 155301444 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21195] ppid=21191 vsize=1713052 CPUtime=37.57 /proc/21193/task/21195/stat : 21195 (java) S 21191 21193 21144 0 -1 64 99405 0 0 0 3712 45 0 0 16 0 13 0 155301444 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21196] ppid=21191 vsize=1713052 CPUtime=0.25 /proc/21193/task/21196/stat : 21196 (java) S 21191 21193 21144 0 -1 64 36 0 0 0 17 8 0 0 16 0 13 0 155301447 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21197] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21197/stat : 21197 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21198] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21198/stat : 21198 (java) S 21191 21193 21144 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21199] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21199/stat : 21199 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155301450 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21200] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21200/stat : 21200 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155301450 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21201] ppid=21191 vsize=1713052 CPUtime=0.97 /proc/21193/task/21201/stat : 21201 (java) S 21191 21193 21144 0 -1 64 1510 0 0 0 97 0 0 0 17 0 13 0 155301450 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21202] ppid=21191 vsize=1713052 CPUtime=1.02 /proc/21193/task/21202/stat : 21202 (java) S 21191 21193 21144 0 -1 64 2268 0 0 0 101 1 0 0 17 0 13 0 155301450 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21203] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21203/stat : 21203 (java) S 21191 21193 21144 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155301450 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21204] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21204/stat : 21204 (java) S 21191 21193 21144 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155301451 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21219] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21219/stat : 21219 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155303956 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (Kb) 1713052 [startup+1760.4 s] /proc/loadavg: 1.00 1.03 1.00 2/76 21417 /proc/meminfo: memFree=723680/2055920 swapFree=4182912/4192956 [pid=21193] ppid=21191 vsize=1713052 CPUtime=1798.73 /proc/21193/stat : 21193 (java) R 21191 21193 21144 0 -1 0 217644 0 1 0 179756 117 0 0 25 0 13 0 155301440 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071407491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21193/statm: 428263 201556 1911 14 0 415010 0 [pid=21193/tid=21194] ppid=21191 vsize=1713052 CPUtime=37.51 /proc/21193/task/21194/stat : 21194 (java) S 21191 21193 21144 0 -1 64 76571 0 0 0 3714 37 0 0 16 0 13 0 155301444 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21195] ppid=21191 vsize=1713052 CPUtime=37.57 /proc/21193/task/21195/stat : 21195 (java) S 21191 21193 21144 0 -1 64 99405 0 0 0 3712 45 0 0 16 0 13 0 155301444 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21196] ppid=21191 vsize=1713052 CPUtime=0.25 /proc/21193/task/21196/stat : 21196 (java) S 21191 21193 21144 0 -1 64 36 0 0 0 17 8 0 0 16 0 13 0 155301447 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21197] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21197/stat : 21197 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21198] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21198/stat : 21198 (java) S 21191 21193 21144 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21199] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21199/stat : 21199 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155301450 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21200] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21200/stat : 21200 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155301450 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21201] ppid=21191 vsize=1713052 CPUtime=0.97 /proc/21193/task/21201/stat : 21201 (java) S 21191 21193 21144 0 -1 64 1510 0 0 0 97 0 0 0 17 0 13 0 155301450 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21202] ppid=21191 vsize=1713052 CPUtime=1.02 /proc/21193/task/21202/stat : 21202 (java) S 21191 21193 21144 0 -1 64 2268 0 0 0 101 1 0 0 17 0 13 0 155301450 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21203] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21203/stat : 21203 (java) S 21191 21193 21144 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155301450 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21204] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21204/stat : 21204 (java) S 21191 21193 21144 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155301451 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21219] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21219/stat : 21219 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155303956 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.73 Current children cumulated vsize (Kb) 1713052 [startup+1761.41 s] /proc/loadavg: 1.00 1.03 1.00 2/76 21417 /proc/meminfo: memFree=723680/2055920 swapFree=4182912/4192956 [pid=21193] ppid=21191 vsize=1713052 CPUtime=1799.74 /proc/21193/stat : 21193 (java) R 21191 21193 21144 0 -1 0 217644 0 1 0 179857 117 0 0 25 0 13 0 155301440 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071550946 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21193/statm: 428263 201556 1911 14 0 415010 0 [pid=21193/tid=21194] ppid=21191 vsize=1713052 CPUtime=37.51 /proc/21193/task/21194/stat : 21194 (java) S 21191 21193 21144 0 -1 64 76571 0 0 0 3714 37 0 0 16 0 13 0 155301444 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21195] ppid=21191 vsize=1713052 CPUtime=37.57 /proc/21193/task/21195/stat : 21195 (java) S 21191 21193 21144 0 -1 64 99405 0 0 0 3712 45 0 0 16 0 13 0 155301444 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21196] ppid=21191 vsize=1713052 CPUtime=0.25 /proc/21193/task/21196/stat : 21196 (java) S 21191 21193 21144 0 -1 64 36 0 0 0 17 8 0 0 16 0 13 0 155301447 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21197] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21197/stat : 21197 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21198] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21198/stat : 21198 (java) S 21191 21193 21144 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21199] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21199/stat : 21199 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155301450 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21200] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21200/stat : 21200 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155301450 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21201] ppid=21191 vsize=1713052 CPUtime=0.97 /proc/21193/task/21201/stat : 21201 (java) S 21191 21193 21144 0 -1 64 1510 0 0 0 97 0 0 0 17 0 13 0 155301450 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21202] ppid=21191 vsize=1713052 CPUtime=1.02 /proc/21193/task/21202/stat : 21202 (java) S 21191 21193 21144 0 -1 64 2268 0 0 0 101 1 0 0 17 0 13 0 155301450 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21203] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21203/stat : 21203 (java) S 21191 21193 21144 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155301450 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21204] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21204/stat : 21204 (java) S 21191 21193 21144 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155301451 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21219] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21219/stat : 21219 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155303956 1754165248 201556 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.74 Current children cumulated vsize (Kb) 1713052 [startup+1762.41 s] /proc/loadavg: 1.00 1.03 1.00 2/76 21417 /proc/meminfo: memFree=723296/2055920 swapFree=4182912/4192956 [pid=21193] ppid=21191 vsize=1713052 CPUtime=1800.8 /proc/21193/stat : 21193 (java) R 21191 21193 21144 0 -1 0 217753 0 1 0 179963 117 0 0 23 0 13 0 155301440 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071407390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21193/statm: 428263 201664 1911 14 0 415010 0 [pid=21193/tid=21194] ppid=21191 vsize=1713052 CPUtime=37.56 /proc/21193/task/21194/stat : 21194 (java) S 21191 21193 21144 0 -1 64 76678 0 0 0 3719 37 0 0 16 0 13 0 155301444 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21195] ppid=21191 vsize=1713052 CPUtime=37.63 /proc/21193/task/21195/stat : 21195 (java) S 21191 21193 21144 0 -1 64 99406 0 0 0 3718 45 0 0 17 0 13 0 155301444 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21196] ppid=21191 vsize=1713052 CPUtime=0.26 /proc/21193/task/21196/stat : 21196 (java) S 21191 21193 21144 0 -1 64 36 0 0 0 17 9 0 0 16 0 13 0 155301447 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21197] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21197/stat : 21197 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21198] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21198/stat : 21198 (java) S 21191 21193 21144 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21199] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21199/stat : 21199 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155301450 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21200] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21200/stat : 21200 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155301450 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21201] ppid=21191 vsize=1713052 CPUtime=0.97 /proc/21193/task/21201/stat : 21201 (java) S 21191 21193 21144 0 -1 64 1510 0 0 0 97 0 0 0 17 0 13 0 155301450 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21202] ppid=21191 vsize=1713052 CPUtime=1.02 /proc/21193/task/21202/stat : 21202 (java) S 21191 21193 21144 0 -1 64 2268 0 0 0 101 1 0 0 17 0 13 0 155301450 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21203] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21203/stat : 21203 (java) S 21191 21193 21144 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155301450 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21204] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21204/stat : 21204 (java) S 21191 21193 21144 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155301451 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21219] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21219/stat : 21219 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155303956 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.8 Current children cumulated vsize (Kb) 1713052 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1762.42 s] /proc/loadavg: 1.00 1.03 1.00 2/76 21417 /proc/meminfo: memFree=723296/2055920 swapFree=4182912/4192956 [pid=21193] ppid=21191 vsize=1713052 CPUtime=1800.8 /proc/21193/stat : 21193 (java) R 21191 21193 21144 0 -1 0 217753 0 1 0 179963 117 0 0 23 0 13 0 155301440 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071396569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21193/statm: 428263 201664 1911 14 0 415010 0 [pid=21193/tid=21194] ppid=21191 vsize=1713052 CPUtime=37.56 /proc/21193/task/21194/stat : 21194 (java) S 21191 21193 21144 0 -1 64 76678 0 0 0 3719 37 0 0 16 0 13 0 155301444 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21195] ppid=21191 vsize=1713052 CPUtime=37.63 /proc/21193/task/21195/stat : 21195 (java) S 21191 21193 21144 0 -1 64 99406 0 0 0 3718 45 0 0 17 0 13 0 155301444 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21196] ppid=21191 vsize=1713052 CPUtime=0.26 /proc/21193/task/21196/stat : 21196 (java) S 21191 21193 21144 0 -1 64 36 0 0 0 17 9 0 0 16 0 13 0 155301447 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21197] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21197/stat : 21197 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21198] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21198/stat : 21198 (java) S 21191 21193 21144 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 155301447 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21199] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21199/stat : 21199 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 155301450 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21200] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21200/stat : 21200 (java) S 21191 21193 21144 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 155301450 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21201] ppid=21191 vsize=1713052 CPUtime=0.97 /proc/21193/task/21201/stat : 21201 (java) S 21191 21193 21144 0 -1 64 1510 0 0 0 97 0 0 0 17 0 13 0 155301450 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21202] ppid=21191 vsize=1713052 CPUtime=1.02 /proc/21193/task/21202/stat : 21202 (java) S 21191 21193 21144 0 -1 64 2268 0 0 0 101 1 0 0 17 0 13 0 155301450 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21203] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21203/stat : 21203 (java) S 21191 21193 21144 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 155301450 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21193/tid=21204] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21204/stat : 21204 (java) S 21191 21193 21144 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 155301451 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21193/tid=21219] ppid=21191 vsize=1713052 CPUtime=0 /proc/21193/task/21219/stat : 21219 (java) S 21191 21193 21144 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 155303956 1754165248 201664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.8 Current children cumulated vsize (Kb) 1713052 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1762.59 CPU time (s): 1801 CPU user time (s): 1799.7 CPU system time (s): 1.2928 CPU usage (%): 102.179 Max. virtual memory (cumulated for all children) (Kb): 1713508 The end
Begin job on node21 on Fri Jul 28 11:00:07 UTC 2006 FILE ID= 50590-1154084406 PBS_JOBID= 885248 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-mlp4.r.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node21/50590-1154084406/instance-50590-1154084406.opb 895273232 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-50590-1154084406 -o ROOT/results/node21/solver-50590-1154084406 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node21/50590-1154084406/instance-50590-1154084406.opb 895273232 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= c216dcb87e9001dad9e1252e03860f2a RANDOM SEED= 895273232 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1525088 kB Buffers: 20664 kB Cached: 460688 kB SwapCached: 3692 kB Active: 42816 kB Inactive: 447004 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1525088 kB SwapTotal: 4192956 kB SwapFree: 4182912 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14460 kB Slab: 27096 kB Committed_AS: 683332 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node21 on Fri Jul 28 11:29:29 UTC 2006