Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | 61 | 1800.21 | 1789.57 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-e64.b.opb |
MD5SUM | 4a444f89cff56050e88660d23e3d8694 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 47 |
Best CPU time to get the best result obtained on this benchmark | 1800.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 47 |
Optimality of the best value was proved | NO |
Number of variables | 607 |
Total number of constraints | 1022 |
Number of constraints which are clauses | 1022 |
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 | 3 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 607 |
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 | 607 |
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 | 607 |
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-34.ELsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.20 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node92/42881-1149407933/instance-42881-1149407933.opb 0.20 c reading problem ... 0.56 c ... done. Time 0.36 ms. 0.56 c #vars 607 0.56 c #constraints 1022 0.61 c SATISFIABLE 0.61 c OPTIMIZING... 0.61 c Got one! Ellapsed CPU time (in seconds):0.402 0.62 o 84 0.89 c Got one! Ellapsed CPU time (in seconds):0.69 0.89 o 83 1.00 c Got one! Ellapsed CPU time (in seconds):0.794 1.00 o 82 2.54 c Got one! Ellapsed CPU time (in seconds):2.335 2.54 o 81 6.92 c Got one! Ellapsed CPU time (in seconds):6.714 6.92 o 66 10.04 c Got one! Ellapsed CPU time (in seconds):9.839 10.04 o 65 12.08 c Got one! Ellapsed CPU time (in seconds):11.88 12.08 o 64 15.32 c Got one! Ellapsed CPU time (in seconds):15.114 15.32 o 63 22.86 c Got one! Ellapsed CPU time (in seconds):22.656 22.86 o 62 31.66 c Got one! Ellapsed CPU time (in seconds):31.459 31.66 o 61 1789.37 c starts : 30 1789.37 c conflicts : 6539 1789.37 c decisions : 46236 1789.37 c propagations : 133299 1789.37 c inspects : 24944050 1789.37 c learnt literals : 0 1789.37 c learnt binary clauses : 0 1789.37 c learnt ternary clauses : 0 1789.37 c learnt clauses : 6538 1789.37 c root simplifications : 0 1789.37 c removed literals (reason simplification) : 0 1789.37 c reason swapping (by a shorter reason) : 0 1789.37 c Calls to reduceDB : 0 1789.37 c speed (decisions/second) : 26.30484514128983 1789.37 c non guided choices 0 1789.37 s SATISFIABLE 1789.37 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 1789.37 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 1789.37 v -x57 -x58 x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 1789.37 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 -x108 1789.37 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1789.37 v x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1789.37 v -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 x168 -x169 -x170 x171 -x172 1789.37 v -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 x193 1789.37 v x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 1789.37 v -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 1789.37 v -x236 -x237 -x238 -x239 x240 x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 1789.37 v -x257 -x258 -x259 -x260 x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 1789.37 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1789.37 v -x299 -x300 x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 1789.37 v -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 1789.37 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 1789.37 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1789.37 v -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1789.37 v -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 1789.37 v x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 x445 1789.37 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 1789.37 v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 1789.37 v -x488 -x489 -x490 x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 1789.37 v x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 1789.37 v -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 1789.37 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 1789.37 v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 1789.37 v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 1789.37 c objective function=61 1789.37 c Total wall clock time (ms): 1789.169
OK 61
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/node92/watcher-42881-1149407933 -o ROOT/results/node92/solver-42881-1149407933 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node92/42881-1149407933/instance-42881-1149407933.opb 903233655 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.95 0.98 2/67 11423 /proc/meminfo: memFree=1485688/2055892 swapFree=4084904/4096564 [pid=11423] ppid=11421 vsize=1596 CPUtime=0 /proc/11423/stat : 11423 (java) D 11421 11423 11377 0 -1 0 131 0 0 0 0 0 0 0 19 0 1 0 206432195 1634304 101 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099843366 0 0 17 1 0 0 /proc/11423/statm: 399 101 80 14 0 43 0 [startup+10.0034 s] /proc/loadavg: 0.93 0.96 0.98 2/79 11440 /proc/meminfo: memFree=1286496/2055892 swapFree=4084904/4096564 [pid=11423] ppid=11421 vsize=1711328 CPUtime=11.36 /proc/11423/stat : 11423 (java) R 11421 11423 11377 0 -1 0 54980 0 1 0 1112 24 0 0 25 0 13 0 206432195 1752399872 51577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071394905 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11423/statm: 427832 51577 1911 14 0 414578 0 [pid=11423/tid=11424] ppid=11421 vsize=1711328 CPUtime=0.17 /proc/11423/task/11424/stat : 11424 (java) S 11421 11423 11377 0 -1 64 4755 0 0 0 15 2 0 0 16 0 13 0 206432199 1752399872 51577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11425] ppid=11421 vsize=1711328 CPUtime=0.17 /proc/11423/task/11425/stat : 11425 (java) S 11421 11423 11377 0 -1 64 4877 0 0 0 16 1 0 0 16 0 13 0 206432199 1752399872 51577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11426] ppid=11421 vsize=1711328 CPUtime=0 /proc/11423/task/11426/stat : 11426 (java) S 11421 11423 11377 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 206432201 1752399872 51577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11427] ppid=11421 vsize=1711328 CPUtime=0 /proc/11423/task/11427/stat : 11427 (java) S 11421 11423 11377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206432202 1752399872 51577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11428] ppid=11421 vsize=1711328 CPUtime=0 /proc/11423/task/11428/stat : 11428 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206432202 1752399872 51577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11429] ppid=11421 vsize=1711328 CPUtime=0 /proc/11423/task/11429/stat : 11429 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206432205 1752399872 51577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11430] ppid=11421 vsize=1711328 CPUtime=0.01 /proc/11423/task/11430/stat : 11430 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206432205 1752399872 51577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11431] ppid=11421 vsize=1711328 CPUtime=0.79 /proc/11423/task/11431/stat : 11431 (java) S 11421 11423 11377 0 -1 64 1355 0 0 0 79 0 0 0 16 0 13 0 206432205 1752399872 51577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11432] ppid=11421 vsize=1711328 CPUtime=0.81 /proc/11423/task/11432/stat : 11432 (java) S 11421 11423 11377 0 -1 64 1613 0 0 0 81 0 0 0 17 0 13 0 206432205 1752399872 51577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11433] ppid=11421 vsize=1711328 CPUtime=0 /proc/11423/task/11433/stat : 11433 (java) S 11421 11423 11377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206432205 1752399872 51577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11434] ppid=11421 vsize=1711328 CPUtime=0 /proc/11423/task/11434/stat : 11434 (java) S 11421 11423 11377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206432205 1752399872 51577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11440] ppid=11421 vsize=1711328 CPUtime=0 /proc/11423/task/11440/stat : 11440 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 206432889 1752399872 51577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.36 Current children cumulated vsize (Kb) 1711328 [startup+20.0107 s] /proc/loadavg: 0.94 0.96 0.98 2/79 11443 /proc/meminfo: memFree=1254296/2055892 swapFree=4084904/4096564 [pid=11423] ppid=11421 vsize=1711296 CPUtime=21.66 /proc/11423/stat : 11423 (java) R 11421 11423 11377 0 -1 0 64394 0 1 0 2137 29 0 0 22 0 13 0 206432195 1752367104 59604 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071476550 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11423/statm: 427824 59604 1911 14 0 414570 0 [pid=11423/tid=11424] ppid=11421 vsize=1711296 CPUtime=0.4 /proc/11423/task/11424/stat : 11424 (java) S 11421 11423 11377 0 -1 64 9863 0 0 0 36 4 0 0 16 0 13 0 206432199 1752367104 59604 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11425] ppid=11421 vsize=1711296 CPUtime=0.4 /proc/11423/task/11425/stat : 11425 (java) S 11421 11423 11377 0 -1 64 9160 0 0 0 36 4 0 0 16 0 13 0 206432199 1752367104 59604 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11426] ppid=11421 vsize=1711296 CPUtime=0 /proc/11423/task/11426/stat : 11426 (java) S 11421 11423 11377 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 206432201 1752367104 59604 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11427] ppid=11421 vsize=1711296 CPUtime=0 /proc/11423/task/11427/stat : 11427 (java) S 11421 11423 11377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206432202 1752367104 59604 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11428] ppid=11421 vsize=1711296 CPUtime=0 /proc/11423/task/11428/stat : 11428 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206432202 1752367104 59604 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11429] ppid=11421 vsize=1711296 CPUtime=0 /proc/11423/task/11429/stat : 11429 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206432205 1752367104 59604 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11430] ppid=11421 vsize=1711296 CPUtime=0.01 /proc/11423/task/11430/stat : 11430 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 1 0 0 0 17 0 13 0 206432205 1752367104 59604 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11431] ppid=11421 vsize=1711296 CPUtime=0.84 /proc/11423/task/11431/stat : 11431 (java) S 11421 11423 11377 0 -1 64 1359 0 0 0 84 0 0 0 17 0 13 0 206432205 1752367104 59604 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11432] ppid=11421 vsize=1711296 CPUtime=0.85 /proc/11423/task/11432/stat : 11432 (java) S 11421 11423 11377 0 -1 64 1614 0 0 0 85 0 0 0 17 0 13 0 206432205 1752367104 59604 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11433] ppid=11421 vsize=1711296 CPUtime=0 /proc/11423/task/11433/stat : 11433 (java) S 11421 11423 11377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206432205 1752367104 59604 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11434] ppid=11421 vsize=1711296 CPUtime=0 /proc/11423/task/11434/stat : 11434 (java) S 11421 11423 11377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206432205 1752367104 59604 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11443] ppid=11421 vsize=1711296 CPUtime=0 /proc/11423/task/11443/stat : 11443 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206433729 1752367104 59604 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.66 Current children cumulated vsize (Kb) 1711296 [startup+30.018 s] /proc/loadavg: 0.95 0.96 0.98 2/79 11444 /proc/meminfo: memFree=1226896/2055892 swapFree=4084904/4096564 [pid=11423] ppid=11421 vsize=1711264 CPUtime=31.87 /proc/11423/stat : 11423 (java) R 11421 11423 11377 0 -1 0 72116 0 1 0 3154 33 0 0 25 0 13 0 206432195 1752334336 66440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071476528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/11423/statm: 427816 66440 1912 14 0 414562 0 [pid=11423/tid=11424] ppid=11421 vsize=1711264 CPUtime=0.6 /proc/11423/task/11424/stat : 11424 (java) S 11421 11423 11377 0 -1 64 13758 0 0 0 54 6 0 0 16 0 13 0 206432199 1752334336 66440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11425] ppid=11421 vsize=1711264 CPUtime=0.59 /proc/11423/task/11425/stat : 11425 (java) S 11421 11423 11377 0 -1 64 12974 0 0 0 54 5 0 0 16 0 13 0 206432199 1752334336 66440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11426] ppid=11421 vsize=1711264 CPUtime=0.01 /proc/11423/task/11426/stat : 11426 (java) S 11421 11423 11377 0 -1 64 31 0 0 0 1 0 0 0 16 0 13 0 206432201 1752334336 66440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11427] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11427/stat : 11427 (java) S 11421 11423 11377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 66440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11428] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11428/stat : 11428 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 66440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11429] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11429/stat : 11429 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206432205 1752334336 66440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11430] ppid=11421 vsize=1711264 CPUtime=0.01 /proc/11423/task/11430/stat : 11430 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 1 0 0 0 17 0 13 0 206432205 1752334336 66440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11431] ppid=11421 vsize=1711264 CPUtime=0.85 /proc/11423/task/11431/stat : 11431 (java) S 11421 11423 11377 0 -1 64 1360 0 0 0 85 0 0 0 16 0 13 0 206432205 1752334336 66440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11432] ppid=11421 vsize=1711264 CPUtime=0.85 /proc/11423/task/11432/stat : 11432 (java) S 11421 11423 11377 0 -1 64 1614 0 0 0 85 0 0 0 17 0 13 0 206432205 1752334336 66440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11433] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11433/stat : 11433 (java) S 11421 11423 11377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206432205 1752334336 66440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11434] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11434/stat : 11434 (java) S 11421 11423 11377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206432205 1752334336 66440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11444] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11444/stat : 11444 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 206434482 1752334336 66440 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.87 Current children cumulated vsize (Kb) 1711264 [startup+40.0252 s] /proc/loadavg: 0.96 0.96 0.98 2/79 11445 /proc/meminfo: memFree=1206984/2055892 swapFree=4084904/4096564 [pid=11423] ppid=11421 vsize=1711264 CPUtime=42.06 /proc/11423/stat : 11423 (java) R 11421 11423 11377 0 -1 0 77670 0 1 0 4170 36 0 0 22 0 13 0 206432195 1752334336 71411 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071643689 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11423/statm: 427816 71411 1912 14 0 414562 0 [pid=11423/tid=11424] ppid=11421 vsize=1711264 CPUtime=0.79 /proc/11423/task/11424/stat : 11424 (java) S 11421 11423 11377 0 -1 64 16831 0 0 0 72 7 0 0 16 0 13 0 206432199 1752334336 71411 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11425] ppid=11421 vsize=1711264 CPUtime=0.78 /proc/11423/task/11425/stat : 11425 (java) S 11421 11423 11377 0 -1 64 15441 0 0 0 71 7 0 0 16 0 13 0 206432199 1752334336 71411 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11426] ppid=11421 vsize=1711264 CPUtime=0.01 /proc/11423/task/11426/stat : 11426 (java) S 11421 11423 11377 0 -1 64 32 0 0 0 1 0 0 0 16 0 13 0 206432201 1752334336 71411 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11427] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11427/stat : 11427 (java) S 11421 11423 11377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 71411 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11428] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11428/stat : 11428 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 71411 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11429] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11429/stat : 11429 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206432205 1752334336 71411 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11430] ppid=11421 vsize=1711264 CPUtime=0.01 /proc/11423/task/11430/stat : 11430 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 1 0 0 0 17 0 13 0 206432205 1752334336 71411 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11431] ppid=11421 vsize=1711264 CPUtime=0.85 /proc/11423/task/11431/stat : 11431 (java) S 11421 11423 11377 0 -1 64 1360 0 0 0 85 0 0 0 16 0 13 0 206432205 1752334336 71411 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11432] ppid=11421 vsize=1711264 CPUtime=0.85 /proc/11423/task/11432/stat : 11432 (java) S 11421 11423 11377 0 -1 64 1614 0 0 0 85 0 0 0 16 0 13 0 206432205 1752334336 71411 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11433] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11433/stat : 11433 (java) S 11421 11423 11377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206432205 1752334336 71411 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11434] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11434/stat : 11434 (java) S 11421 11423 11377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206432205 1752334336 71411 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11445] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11445/stat : 11445 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 206435362 1752334336 71411 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.06 Current children cumulated vsize (Kb) 1711264 [startup+50.0325 s] /proc/loadavg: 0.96 0.96 0.98 2/79 11445 /proc/meminfo: memFree=1185288/2055892 swapFree=4084904/4096564 [pid=11423] ppid=11421 vsize=1711264 CPUtime=52.24 /proc/11423/stat : 11423 (java) R 11421 11423 11377 0 -1 0 83853 0 1 0 5186 38 0 0 20 0 13 0 206432195 1752334336 76833 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071472620 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11423/statm: 427816 76833 1912 14 0 414562 0 [pid=11423/tid=11424] ppid=11421 vsize=1711264 CPUtime=0.97 /proc/11423/task/11424/stat : 11424 (java) S 11421 11423 11377 0 -1 64 20179 0 0 0 89 8 0 0 15 0 13 0 206432199 1752334336 76833 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11425] ppid=11421 vsize=1711264 CPUtime=0.96 /proc/11423/task/11425/stat : 11425 (java) S 11421 11423 11377 0 -1 64 18267 0 0 0 88 8 0 0 16 0 13 0 206432199 1752334336 76833 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11426] ppid=11421 vsize=1711264 CPUtime=0.01 /proc/11423/task/11426/stat : 11426 (java) S 11421 11423 11377 0 -1 64 32 0 0 0 1 0 0 0 15 0 13 0 206432201 1752334336 76833 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11427] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11427/stat : 11427 (java) S 11421 11423 11377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 76833 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11428] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11428/stat : 11428 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 76833 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11429] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11429/stat : 11429 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206432205 1752334336 76833 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11430] ppid=11421 vsize=1711264 CPUtime=0.01 /proc/11423/task/11430/stat : 11430 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 1 0 0 0 17 0 13 0 206432205 1752334336 76833 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11431] ppid=11421 vsize=1711264 CPUtime=0.85 /proc/11423/task/11431/stat : 11431 (java) S 11421 11423 11377 0 -1 64 1360 0 0 0 85 0 0 0 17 0 13 0 206432205 1752334336 76833 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11432] ppid=11421 vsize=1711264 CPUtime=0.85 /proc/11423/task/11432/stat : 11432 (java) S 11421 11423 11377 0 -1 64 1614 0 0 0 85 0 0 0 16 0 13 0 206432205 1752334336 76833 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11433] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11433/stat : 11433 (java) S 11421 11423 11377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206432205 1752334336 76833 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11434] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11434/stat : 11434 (java) S 11421 11423 11377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206432205 1752334336 76833 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11445] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11445/stat : 11445 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 206435362 1752334336 76833 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.24 Current children cumulated vsize (Kb) 1711264 [startup+60.0398 s] /proc/loadavg: 1.12 0.99 0.99 2/79 11445 /proc/meminfo: memFree=1176712/2055892 swapFree=4084904/4096564 [pid=11423] ppid=11421 vsize=1711264 CPUtime=62.44 /proc/11423/stat : 11423 (java) R 11421 11423 11377 0 -1 0 86164 0 1 0 6204 40 0 0 25 0 13 0 206432195 1752334336 78961 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071472386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11423/statm: 427816 78961 1912 14 0 414562 0 [pid=11423/tid=11424] ppid=11421 vsize=1711264 CPUtime=1.16 /proc/11423/task/11424/stat : 11424 (java) S 11421 11423 11377 0 -1 64 21364 0 0 0 108 8 0 0 16 0 13 0 206432199 1752334336 78961 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11425] ppid=11421 vsize=1711264 CPUtime=1.16 /proc/11423/task/11425/stat : 11425 (java) S 11421 11423 11377 0 -1 64 19373 0 0 0 107 9 0 0 16 0 13 0 206432199 1752334336 78961 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11426] ppid=11421 vsize=1711264 CPUtime=0.02 /proc/11423/task/11426/stat : 11426 (java) S 11421 11423 11377 0 -1 64 32 0 0 0 1 1 0 0 16 0 13 0 206432201 1752334336 78961 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11427] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11427/stat : 11427 (java) S 11421 11423 11377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 78961 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11428] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11428/stat : 11428 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 78961 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11429] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11429/stat : 11429 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206432205 1752334336 78961 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=11423/tid=11427] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11427/stat : 11427 (java) S 11421 11423 11377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11428] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11428/stat : 11428 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11429] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11429/stat : 11429 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11430] ppid=11421 vsize=1711264 CPUtime=0.01 /proc/11423/task/11430/stat : 11430 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11431] ppid=11421 vsize=1711264 CPUtime=0.89 /proc/11423/task/11431/stat : 11431 (java) S 11421 11423 11377 0 -1 64 1361 0 0 0 89 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11432] ppid=11421 vsize=1711264 CPUtime=0.92 /proc/11423/task/11432/stat : 11432 (java) S 11421 11423 11377 0 -1 64 1617 0 0 0 92 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11433] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11433/stat : 11433 (java) S 11421 11423 11377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11434] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11434/stat : 11434 (java) S 11421 11423 11377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11445] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11445/stat : 11445 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206435362 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1795.97 Current children cumulated vsize (Kb) 1711264 [startup+1786.34 s] /proc/loadavg: 1.00 0.99 0.99 2/79 11640 /proc/meminfo: memFree=557512/2055892 swapFree=4084904/4096564 [pid=11423] ppid=11421 vsize=1711264 CPUtime=1796.98 /proc/11423/stat : 11423 (java) R 11421 11423 11377 0 -1 0 346510 0 1 0 179524 174 0 0 25 0 13 0 206432195 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071745767 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11423/statm: 427816 233087 1912 14 0 414562 0 [pid=11423/tid=11424] ppid=11421 vsize=1711264 CPUtime=10.03 /proc/11423/task/11424/stat : 11424 (java) S 11421 11423 11377 0 -1 64 139196 0 0 0 939 64 0 0 16 0 13 0 206432199 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11425] ppid=11421 vsize=1711264 CPUtime=10.01 /proc/11423/task/11425/stat : 11425 (java) S 11421 11423 11377 0 -1 64 131305 0 0 0 939 62 0 0 17 0 13 0 206432199 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11426] ppid=11421 vsize=1711264 CPUtime=0.2 /proc/11423/task/11426/stat : 11426 (java) S 11421 11423 11377 0 -1 64 176 0 0 0 10 10 0 0 16 0 13 0 206432201 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11427] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11427/stat : 11427 (java) S 11421 11423 11377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11428] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11428/stat : 11428 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11429] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11429/stat : 11429 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11430] ppid=11421 vsize=1711264 CPUtime=0.01 /proc/11423/task/11430/stat : 11430 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11431] ppid=11421 vsize=1711264 CPUtime=0.89 /proc/11423/task/11431/stat : 11431 (java) S 11421 11423 11377 0 -1 64 1361 0 0 0 89 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11432] ppid=11421 vsize=1711264 CPUtime=0.92 /proc/11423/task/11432/stat : 11432 (java) S 11421 11423 11377 0 -1 64 1617 0 0 0 92 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11433] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11433/stat : 11433 (java) S 11421 11423 11377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11434] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11434/stat : 11434 (java) S 11421 11423 11377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11445] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11445/stat : 11445 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206435362 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.98 Current children cumulated vsize (Kb) 1711264 [startup+1787.35 s] /proc/loadavg: 1.00 0.99 0.99 2/79 11640 /proc/meminfo: memFree=557512/2055892 swapFree=4084904/4096564 [pid=11423] ppid=11421 vsize=1711264 CPUtime=1797.98 /proc/11423/stat : 11423 (java) R 11421 11423 11377 0 -1 0 346510 0 1 0 179624 174 0 0 25 0 13 0 206432195 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071736148 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11423/statm: 427816 233087 1912 14 0 414562 0 [pid=11423/tid=11424] ppid=11421 vsize=1711264 CPUtime=10.03 /proc/11423/task/11424/stat : 11424 (java) S 11421 11423 11377 0 -1 64 139196 0 0 0 939 64 0 0 16 0 13 0 206432199 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11425] ppid=11421 vsize=1711264 CPUtime=10.01 /proc/11423/task/11425/stat : 11425 (java) S 11421 11423 11377 0 -1 64 131305 0 0 0 939 62 0 0 17 0 13 0 206432199 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11426] ppid=11421 vsize=1711264 CPUtime=0.2 /proc/11423/task/11426/stat : 11426 (java) S 11421 11423 11377 0 -1 64 176 0 0 0 10 10 0 0 16 0 13 0 206432201 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11427] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11427/stat : 11427 (java) S 11421 11423 11377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11428] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11428/stat : 11428 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11429] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11429/stat : 11429 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11430] ppid=11421 vsize=1711264 CPUtime=0.01 /proc/11423/task/11430/stat : 11430 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11431] ppid=11421 vsize=1711264 CPUtime=0.89 /proc/11423/task/11431/stat : 11431 (java) S 11421 11423 11377 0 -1 64 1361 0 0 0 89 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11432] ppid=11421 vsize=1711264 CPUtime=0.92 /proc/11423/task/11432/stat : 11432 (java) S 11421 11423 11377 0 -1 64 1617 0 0 0 92 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11433] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11433/stat : 11433 (java) S 11421 11423 11377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11434] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11434/stat : 11434 (java) S 11421 11423 11377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11445] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11445/stat : 11445 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206435362 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (Kb) 1711264 [startup+1788.36 s] /proc/loadavg: 1.00 0.99 0.99 2/79 11640 /proc/meminfo: memFree=557512/2055892 swapFree=4084904/4096564 [pid=11423] ppid=11421 vsize=1711264 CPUtime=1798.99 /proc/11423/stat : 11423 (java) R 11421 11423 11377 0 -1 0 346510 0 1 0 179725 174 0 0 25 0 13 0 206432195 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071736215 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11423/statm: 427816 233087 1912 14 0 414562 0 [pid=11423/tid=11424] ppid=11421 vsize=1711264 CPUtime=10.03 /proc/11423/task/11424/stat : 11424 (java) S 11421 11423 11377 0 -1 64 139196 0 0 0 939 64 0 0 16 0 13 0 206432199 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11425] ppid=11421 vsize=1711264 CPUtime=10.01 /proc/11423/task/11425/stat : 11425 (java) S 11421 11423 11377 0 -1 64 131305 0 0 0 939 62 0 0 17 0 13 0 206432199 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11426] ppid=11421 vsize=1711264 CPUtime=0.2 /proc/11423/task/11426/stat : 11426 (java) S 11421 11423 11377 0 -1 64 176 0 0 0 10 10 0 0 16 0 13 0 206432201 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11427] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11427/stat : 11427 (java) S 11421 11423 11377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11428] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11428/stat : 11428 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11429] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11429/stat : 11429 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11430] ppid=11421 vsize=1711264 CPUtime=0.01 /proc/11423/task/11430/stat : 11430 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11431] ppid=11421 vsize=1711264 CPUtime=0.89 /proc/11423/task/11431/stat : 11431 (java) S 11421 11423 11377 0 -1 64 1361 0 0 0 89 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11432] ppid=11421 vsize=1711264 CPUtime=0.92 /proc/11423/task/11432/stat : 11432 (java) S 11421 11423 11377 0 -1 64 1617 0 0 0 92 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11433] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11433/stat : 11433 (java) S 11421 11423 11377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11434] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11434/stat : 11434 (java) S 11421 11423 11377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11445] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11445/stat : 11445 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206435362 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.99 Current children cumulated vsize (Kb) 1711264 [startup+1789.36 s] /proc/loadavg: 1.00 0.99 0.99 2/79 11640 /proc/meminfo: memFree=557512/2055892 swapFree=4084904/4096564 [pid=11423] ppid=11421 vsize=1711264 CPUtime=1800 /proc/11423/stat : 11423 (java) R 11421 11423 11377 0 -1 0 346510 0 1 0 179826 174 0 0 25 0 13 0 206432195 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071484339 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11423/statm: 427816 233087 1912 14 0 414562 0 [pid=11423/tid=11424] ppid=11421 vsize=1711264 CPUtime=10.03 /proc/11423/task/11424/stat : 11424 (java) S 11421 11423 11377 0 -1 64 139196 0 0 0 939 64 0 0 16 0 13 0 206432199 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11425] ppid=11421 vsize=1711264 CPUtime=10.01 /proc/11423/task/11425/stat : 11425 (java) S 11421 11423 11377 0 -1 64 131305 0 0 0 939 62 0 0 17 0 13 0 206432199 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11426] ppid=11421 vsize=1711264 CPUtime=0.2 /proc/11423/task/11426/stat : 11426 (java) S 11421 11423 11377 0 -1 64 176 0 0 0 10 10 0 0 16 0 13 0 206432201 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11427] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11427/stat : 11427 (java) S 11421 11423 11377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11428] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11428/stat : 11428 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11429] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11429/stat : 11429 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11430] ppid=11421 vsize=1711264 CPUtime=0.01 /proc/11423/task/11430/stat : 11430 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11431] ppid=11421 vsize=1711264 CPUtime=0.89 /proc/11423/task/11431/stat : 11431 (java) S 11421 11423 11377 0 -1 64 1361 0 0 0 89 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11432] ppid=11421 vsize=1711264 CPUtime=0.92 /proc/11423/task/11432/stat : 11432 (java) S 11421 11423 11377 0 -1 64 1617 0 0 0 92 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11433] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11433/stat : 11433 (java) S 11421 11423 11377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11434] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11434/stat : 11434 (java) S 11421 11423 11377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11445] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11445/stat : 11445 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206435362 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (Kb) 1711264 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1789.37 s] /proc/loadavg: 1.00 0.99 0.99 2/79 11640 /proc/meminfo: memFree=557512/2055892 swapFree=4084904/4096564 [pid=11423] ppid=11421 vsize=1711264 CPUtime=1800 /proc/11423/stat : 11423 (java) R 11421 11423 11377 0 -1 0 346510 0 1 0 179826 174 0 0 25 0 13 0 206432195 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071484370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/11423/statm: 427816 233087 1912 14 0 414562 0 [pid=11423/tid=11424] ppid=11421 vsize=1711264 CPUtime=10.03 /proc/11423/task/11424/stat : 11424 (java) S 11421 11423 11377 0 -1 64 139196 0 0 0 939 64 0 0 16 0 13 0 206432199 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11425] ppid=11421 vsize=1711264 CPUtime=10.01 /proc/11423/task/11425/stat : 11425 (java) S 11421 11423 11377 0 -1 64 131305 0 0 0 939 62 0 0 17 0 13 0 206432199 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11426] ppid=11421 vsize=1711264 CPUtime=0.2 /proc/11423/task/11426/stat : 11426 (java) S 11421 11423 11377 0 -1 64 176 0 0 0 10 10 0 0 16 0 13 0 206432201 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11427] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11427/stat : 11427 (java) S 11421 11423 11377 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11428] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11428/stat : 11428 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206432202 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11429] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11429/stat : 11429 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11430] ppid=11421 vsize=1711264 CPUtime=0.01 /proc/11423/task/11430/stat : 11430 (java) S 11421 11423 11377 0 -1 64 5 0 0 0 1 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11431] ppid=11421 vsize=1711264 CPUtime=0.89 /proc/11423/task/11431/stat : 11431 (java) S 11421 11423 11377 0 -1 64 1361 0 0 0 89 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11432] ppid=11421 vsize=1711264 CPUtime=0.92 /proc/11423/task/11432/stat : 11432 (java) S 11421 11423 11377 0 -1 64 1617 0 0 0 92 0 0 0 16 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11433] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11433/stat : 11433 (java) S 11421 11423 11377 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=11423/tid=11434] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11434/stat : 11434 (java) S 11421 11423 11377 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206432205 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=11423/tid=11445] ppid=11421 vsize=1711264 CPUtime=0 /proc/11423/task/11445/stat : 11445 (java) S 11421 11423 11377 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206435362 1752334336 233087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (Kb) 1711264 Sending SIGTERM to -11423 Sleeping 2 seconds Child status: 143 Real time (s): 1789.57 CPU time (s): 1800.21 CPU user time (s): 1798.33 CPU system time (s): 1.88371 CPU usage (%): 100.595 Max. virtual memory (cumulated for all children) (Kb): 1711328
Begin job on node92 on Sun Jun 4 07:58:53 UTC 2006 FILE ID= 42881-1149407933 PBS_JOBID= 314525 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-e64.b.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node92/42881-1149407933/instance-42881-1149407933.opb 903233655 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node92/watcher-42881-1149407933 -o ROOT/results/node92/solver-42881-1149407933 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node92/42881-1149407933/instance-42881-1149407933.opb 903233655 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 4a444f89cff56050e88660d23e3d8694 RANDOM SEED= 903233655 /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.214 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 : 6006.19 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.214 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1485832 kB Buffers: 25232 kB Cached: 485244 kB SwapCached: 2788 kB Active: 113744 kB Inactive: 405288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1485832 kB SwapTotal: 4096564 kB SwapFree: 4084904 kB Dirty: 176 kB Writeback: 0 kB Mapped: 15200 kB Slab: 37780 kB Committed_AS: 392852 kB PageTables: 1256 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node92 on Sun Jun 4 08:28:43 UTC 2006