Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | SAT (TO) | 61 | 1801.14 | 1790.51 |
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@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node77/44311-1149407869/instance-44311-1149407869.opb 0.20 c reading problem ... 0.55 c ... done. Time 0.353 ms. 0.55 c #vars 607 0.55 c #constraints 1022 0.58 c SATISFIABLE 0.59 c OPTIMIZING... 0.59 c Got one! Ellapsed CPU time (in seconds):0.381 0.60 o 84 0.81 c Got one! Ellapsed CPU time (in seconds):0.611 0.81 o 83 0.95 c Got one! Ellapsed CPU time (in seconds):0.749 0.95 o 82 2.52 c Got one! Ellapsed CPU time (in seconds):2.314 2.52 o 81 6.90 c Got one! Ellapsed CPU time (in seconds):6.702 6.90 o 66 10.05 c Got one! Ellapsed CPU time (in seconds):9.85 10.05 o 65 12.09 c Got one! Ellapsed CPU time (in seconds):11.893 12.09 o 64 15.34 c Got one! Ellapsed CPU time (in seconds):15.139 15.34 o 63 22.90 c Got one! Ellapsed CPU time (in seconds):22.701 22.90 o 62 31.76 c Got one! Ellapsed CPU time (in seconds):31.551 31.76 o 61 1790.35 c starts : 30 1790.35 c conflicts : 6539 1790.35 c decisions : 46236 1790.35 c propagations : 133299 1790.35 c inspects : 24944050 1790.35 c learnt literals : 0 1790.35 c learnt binary clauses : 0 1790.35 c learnt ternary clauses : 0 1790.35 c learnt clauses : 6538 1790.35 c root simplifications : 0 1790.35 c removed literals (reason simplification) : 0 1790.35 c reason swapping (by a shorter reason) : 0 1790.35 c Calls to reduceDB : 0 1790.35 c speed (decisions/second) : 26.291891400090414 1790.35 c non guided choices 5185 1790.35 s SATISFIABLE 1790.35 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 1790.35 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 1790.35 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 1790.35 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 1790.35 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1790.35 v x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1790.35 v -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 x168 -x169 -x170 x171 -x172 1790.35 v -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 x193 1790.35 v x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 1790.35 v -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 1790.35 v -x236 -x237 -x238 -x239 x240 x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 1790.35 v -x257 -x258 -x259 -x260 x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 1790.35 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1790.35 v -x299 -x300 x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 1790.35 v -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 1790.35 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 1790.35 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 1790.35 v -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1790.35 v -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 1790.35 v x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 x445 1790.35 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 1790.35 v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 1790.35 v -x488 -x489 -x490 x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 1790.35 v x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 1790.35 v -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 1790.35 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 1790.35 v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 1790.35 v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 1790.35 c objective function=61 1790.35 c Total wall clock time (ms): 1790.152
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/node77/watcher-44311-1149407869 -o ROOT/results/node77/solver-44311-1149407869 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node77/44311-1149407869/instance-44311-1149407869.opb 859391760 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.02 1.01 1.00 2/67 17985 /proc/meminfo: memFree=1842824/2055892 swapFree=4085328/4096564 [pid=17985] ppid=17983 vsize=18544 CPUtime=0 /proc/17985/stat : 17985 (runsolver) R 17983 17985 17939 0 -1 4194368 18 0 0 0 0 0 0 0 19 0 1 0 206426138 18989056 280 18446744073709551615 4194304 4262084 548682068944 18446744073709551615 268242056215 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/17985/statm: 4636 280 244 16 0 2626 0 [startup+10.0032 s] /proc/loadavg: 1.09 1.02 1.00 2/79 18002 /proc/meminfo: memFree=1643888/2055892 swapFree=4085328/4096564 [pid=17985] ppid=17983 vsize=1711972 CPUtime=11.23 /proc/17985/stat : 17985 (java) R 17983 17985 17939 0 -1 0 54385 0 1 0 1099 24 0 0 20 0 13 0 206426138 1753059328 51525 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071541324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17985/statm: 427993 51525 1911 14 0 414739 0 [pid=17985/tid=17986] ppid=17983 vsize=1711972 CPUtime=0.18 /proc/17985/task/17986/stat : 17986 (java) S 17983 17985 17939 0 -1 64 4890 0 0 0 16 2 0 0 16 0 13 0 206426141 1753059328 51525 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17987] ppid=17983 vsize=1711972 CPUtime=0.17 /proc/17985/task/17987/stat : 17987 (java) S 17983 17985 17939 0 -1 64 4732 0 0 0 16 1 0 0 16 0 13 0 206426141 1753059328 51525 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=17988] ppid=17983 vsize=1711972 CPUtime=0 /proc/17985/task/17988/stat : 17988 (java) S 17983 17985 17939 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 206426144 1753059328 51525 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=17989] ppid=17983 vsize=1711972 CPUtime=0 /proc/17985/task/17989/stat : 17989 (java) S 17983 17985 17939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206426144 1753059328 51525 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17990] ppid=17983 vsize=1711972 CPUtime=0 /proc/17985/task/17990/stat : 17990 (java) S 17983 17985 17939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206426144 1753059328 51525 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17991] ppid=17983 vsize=1711972 CPUtime=0 /proc/17985/task/17991/stat : 17991 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206426148 1753059328 51525 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17992] ppid=17983 vsize=1711972 CPUtime=0 /proc/17985/task/17992/stat : 17992 (java) S 17983 17985 17939 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 206426148 1753059328 51525 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=17993] ppid=17983 vsize=1711972 CPUtime=0.6 /proc/17985/task/17993/stat : 17993 (java) S 17983 17985 17939 0 -1 64 551 0 0 0 60 0 0 0 17 0 13 0 206426148 1753059328 51525 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17994] ppid=17983 vsize=1711972 CPUtime=0.88 /proc/17985/task/17994/stat : 17994 (java) S 17983 17985 17939 0 -1 64 1901 0 0 0 87 1 0 0 17 0 13 0 206426148 1753059328 51525 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=17995] ppid=17983 vsize=1711972 CPUtime=0 /proc/17985/task/17995/stat : 17995 (java) S 17983 17985 17939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206426148 1753059328 51525 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17996] ppid=17983 vsize=1711972 CPUtime=0 /proc/17985/task/17996/stat : 17996 (java) S 17983 17985 17939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206426148 1753059328 51525 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=18002] ppid=17983 vsize=1711972 CPUtime=0 /proc/17985/task/18002/stat : 18002 (java) S 17983 17985 17939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206426829 1753059328 51525 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.23 Current children cumulated vsize (Kb) 1711972 [startup+20.0104 s] /proc/loadavg: 1.07 1.02 1.00 2/79 18005 /proc/meminfo: memFree=1612208/2055892 swapFree=4085328/4096564 [pid=17985] ppid=17983 vsize=1710948 CPUtime=21.49 /proc/17985/stat : 17985 (java) R 17983 17985 17939 0 -1 0 64097 0 1 0 2121 28 0 0 17 0 13 0 206426138 1752010752 59448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071393591 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17985/statm: 427737 59448 1911 14 0 414483 0 [pid=17985/tid=17986] ppid=17983 vsize=1710948 CPUtime=0.4 /proc/17985/task/17986/stat : 17986 (java) S 17983 17985 17939 0 -1 64 9858 0 0 0 36 4 0 0 17 0 13 0 206426141 1752010752 59448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=17987] ppid=17983 vsize=1710948 CPUtime=0.4 /proc/17985/task/17987/stat : 17987 (java) S 17983 17985 17939 0 -1 64 9458 0 0 0 36 4 0 0 16 0 13 0 206426141 1752010752 59448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17988] ppid=17983 vsize=1710948 CPUtime=0.01 /proc/17985/task/17988/stat : 17988 (java) S 17983 17985 17939 0 -1 64 31 0 0 0 1 0 0 0 15 0 13 0 206426144 1752010752 59448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17989] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17989/stat : 17989 (java) S 17983 17985 17939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 59448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17990] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17990/stat : 17990 (java) S 17983 17985 17939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 59448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17991] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17991/stat : 17991 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 59448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17992] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17992/stat : 17992 (java) S 17983 17985 17939 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 206426148 1752010752 59448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=17993] ppid=17983 vsize=1710948 CPUtime=0.61 /proc/17985/task/17993/stat : 17993 (java) S 17983 17985 17939 0 -1 64 552 0 0 0 61 0 0 0 16 0 13 0 206426148 1752010752 59448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17994] ppid=17983 vsize=1710948 CPUtime=0.9 /proc/17985/task/17994/stat : 17994 (java) S 17983 17985 17939 0 -1 64 1901 0 0 0 89 1 0 0 16 0 13 0 206426148 1752010752 59448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17995] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17995/stat : 17995 (java) S 17983 17985 17939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 59448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17996] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17996/stat : 17996 (java) S 17983 17985 17939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206426148 1752010752 59448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=18005] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/18005/stat : 18005 (java) S 17983 17985 17939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206427672 1752010752 59448 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.49 Current children cumulated vsize (Kb) 1710948 [startup+30.0176 s] /proc/loadavg: 1.06 1.02 1.00 3/79 18006 /proc/meminfo: memFree=1585192/2055892 swapFree=4085328/4096564 [pid=17985] ppid=17983 vsize=1710948 CPUtime=31.69 /proc/17985/stat : 17985 (java) R 17983 17985 17939 0 -1 0 71712 0 1 0 3137 32 0 0 25 0 13 0 206426138 1752010752 66182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071423891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17985/statm: 427737 66182 1911 14 0 414483 0 [pid=17985/tid=17986] ppid=17983 vsize=1710948 CPUtime=0.6 /proc/17985/task/17986/stat : 17986 (java) S 17983 17985 17939 0 -1 64 13796 0 0 0 54 6 0 0 17 0 13 0 206426141 1752010752 66182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17987] ppid=17983 vsize=1710948 CPUtime=0.6 /proc/17985/task/17987/stat : 17987 (java) S 17983 17985 17939 0 -1 64 13125 0 0 0 54 6 0 0 16 0 13 0 206426141 1752010752 66182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17988] ppid=17983 vsize=1710948 CPUtime=0.01 /proc/17985/task/17988/stat : 17988 (java) S 17983 17985 17939 0 -1 64 31 0 0 0 1 0 0 0 16 0 13 0 206426144 1752010752 66182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17989] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17989/stat : 17989 (java) S 17983 17985 17939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 66182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17990] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17990/stat : 17990 (java) S 17983 17985 17939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 66182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17991] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17991/stat : 17991 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 66182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17992] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17992/stat : 17992 (java) S 17983 17985 17939 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 206426148 1752010752 66182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=17993] ppid=17983 vsize=1710948 CPUtime=0.61 /proc/17985/task/17993/stat : 17993 (java) S 17983 17985 17939 0 -1 64 552 0 0 0 61 0 0 0 16 0 13 0 206426148 1752010752 66182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17994] ppid=17983 vsize=1710948 CPUtime=0.9 /proc/17985/task/17994/stat : 17994 (java) S 17983 17985 17939 0 -1 64 1901 0 0 0 89 1 0 0 16 0 13 0 206426148 1752010752 66182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17995] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17995/stat : 17995 (java) S 17983 17985 17939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 66182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17996] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17996/stat : 17996 (java) S 17983 17985 17939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206426148 1752010752 66182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=18006] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/18006/stat : 18006 (java) S 17983 17985 17939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206428429 1752010752 66182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.69 Current children cumulated vsize (Kb) 1710948 [startup+40.0249 s] /proc/loadavg: 1.05 1.02 1.00 2/79 18007 /proc/meminfo: memFree=1564704/2055892 swapFree=4085328/4096564 [pid=17985] ppid=17983 vsize=1710948 CPUtime=41.93 /proc/17985/stat : 17985 (java) R 17983 17985 17939 0 -1 0 77525 0 1 0 4157 36 0 0 20 0 13 0 206426138 1752010752 71300 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071393568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17985/statm: 427737 71300 1915 14 0 414483 0 [pid=17985/tid=17986] ppid=17983 vsize=1710948 CPUtime=0.8 /proc/17985/task/17986/stat : 17986 (java) S 17983 17985 17939 0 -1 64 16558 0 0 0 72 8 0 0 17 0 13 0 206426141 1752010752 71300 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=17987] ppid=17983 vsize=1710948 CPUtime=0.79 /proc/17985/task/17987/stat : 17987 (java) S 17983 17985 17939 0 -1 64 15854 0 0 0 72 7 0 0 16 0 13 0 206426141 1752010752 71300 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17988] ppid=17983 vsize=1710948 CPUtime=0.01 /proc/17985/task/17988/stat : 17988 (java) S 17983 17985 17939 0 -1 64 31 0 0 0 1 0 0 0 16 0 13 0 206426144 1752010752 71300 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=17989] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17989/stat : 17989 (java) S 17983 17985 17939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 71300 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17990] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17990/stat : 17990 (java) S 17983 17985 17939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 71300 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17991] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17991/stat : 17991 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 71300 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17992] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17992/stat : 17992 (java) S 17983 17985 17939 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 206426148 1752010752 71300 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17993] ppid=17983 vsize=1710948 CPUtime=0.64 /proc/17985/task/17993/stat : 17993 (java) S 17983 17985 17939 0 -1 64 582 0 0 0 64 0 0 0 17 0 13 0 206426148 1752010752 71300 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17994] ppid=17983 vsize=1710948 CPUtime=0.95 /proc/17985/task/17994/stat : 17994 (java) S 17983 17985 17939 0 -1 64 2179 0 0 0 94 1 0 0 16 0 13 0 206426148 1752010752 71300 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=17995] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17995/stat : 17995 (java) S 17983 17985 17939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 71300 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17996] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17996/stat : 17996 (java) S 17983 17985 17939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206426148 1752010752 71300 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=18007] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/18007/stat : 18007 (java) S 17983 17985 17939 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 206429316 1752010752 71300 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.93 Current children cumulated vsize (Kb) 1710948 [startup+50.0321 s] /proc/loadavg: 1.04 1.02 1.00 2/79 18007 /proc/meminfo: memFree=1543008/2055892 swapFree=4085328/4096564 [pid=17985] ppid=17983 vsize=1710948 CPUtime=52.12 /proc/17985/stat : 17985 (java) R 17983 17985 17939 0 -1 0 83601 0 1 0 5173 39 0 0 25 0 13 0 206426138 1752010752 76718 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071423929 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17985/statm: 427737 76718 1915 14 0 414483 0 [pid=17985/tid=17986] ppid=17983 vsize=1710948 CPUtime=0.97 /proc/17985/task/17986/stat : 17986 (java) S 17983 17985 17939 0 -1 64 19447 0 0 0 88 9 0 0 16 0 13 0 206426141 1752010752 76718 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=17987] ppid=17983 vsize=1710948 CPUtime=0.97 /proc/17985/task/17987/stat : 17987 (java) S 17983 17985 17939 0 -1 64 19033 0 0 0 89 8 0 0 16 0 13 0 206426141 1752010752 76718 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17988] ppid=17983 vsize=1710948 CPUtime=0.01 /proc/17985/task/17988/stat : 17988 (java) S 17983 17985 17939 0 -1 64 31 0 0 0 1 0 0 0 16 0 13 0 206426144 1752010752 76718 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=17989] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17989/stat : 17989 (java) S 17983 17985 17939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 76718 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17990] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17990/stat : 17990 (java) S 17983 17985 17939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 76718 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17991] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17991/stat : 17991 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 76718 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17992] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17992/stat : 17992 (java) S 17983 17985 17939 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 206426148 1752010752 76718 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17993] ppid=17983 vsize=1710948 CPUtime=0.64 /proc/17985/task/17993/stat : 17993 (java) S 17983 17985 17939 0 -1 64 582 0 0 0 64 0 0 0 17 0 13 0 206426148 1752010752 76718 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17994] ppid=17983 vsize=1710948 CPUtime=0.95 /proc/17985/task/17994/stat : 17994 (java) S 17983 17985 17939 0 -1 64 2179 0 0 0 94 1 0 0 16 0 13 0 206426148 1752010752 76718 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=17995] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17995/stat : 17995 (java) S 17983 17985 17939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 76718 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17996] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17996/stat : 17996 (java) S 17983 17985 17939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206426148 1752010752 76718 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=18007] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/18007/stat : 18007 (java) S 17983 17985 17939 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 206429316 1752010752 76718 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.12 Current children cumulated vsize (Kb) 1710948 [startup+60.0394 s] /proc/loadavg: 1.04 1.02 1.00 2/79 18007 /proc/meminfo: memFree=1535008/2055892 swapFree=4085328/4096564 [pid=17985] ppid=17983 vsize=1710948 CPUtime=62.3 /proc/17985/stat : 17985 (java) R 17983 17985 17939 0 -1 0 85731 0 1 0 6190 40 0 0 25 0 13 0 206426138 1752010752 78728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071441518 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17985/statm: 427737 78728 1915 14 0 414483 0 [pid=17985/tid=17986] ppid=17983 vsize=1710948 CPUtime=1.16 /proc/17985/task/17986/stat : 17986 (java) S 17983 17985 17939 0 -1 64 20504 0 0 0 106 10 0 0 15 0 13 0 206426141 1752010752 78728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17987] ppid=17983 vsize=1710948 CPUtime=1.16 /proc/17985/task/17987/stat : 17987 (java) S 17983 17985 17939 0 -1 64 20086 0 0 0 107 9 0 0 16 0 13 0 206426141 1752010752 78728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=17988] ppid=17983 vsize=1710948 CPUtime=0.01 /proc/17985/task/17988/stat : 17988 (java) S 17983 17985 17939 0 -1 64 32 0 0 0 1 0 0 0 16 0 13 0 206426144 1752010752 78728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=17989] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17989/stat : 17989 (java) S 17983 17985 17939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 78728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17990] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17990/stat : 17990 (java) S 17983 17985 17939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 78728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17991] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17991/stat : 17991 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 78728 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=17985/tid=17989] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17989/stat : 17989 (java) S 17983 17985 17939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 231992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17990] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17990/stat : 17990 (java) S 17983 17985 17939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 231992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17991] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17991/stat : 17991 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 231992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17992] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17992/stat : 17992 (java) S 17983 17985 17939 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 206426148 1752010752 231992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17993] ppid=17983 vsize=1710948 CPUtime=0.72 /proc/17985/task/17993/stat : 17993 (java) S 17983 17985 17939 0 -1 64 584 0 0 0 72 0 0 0 16 0 13 0 206426148 1752010752 231992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17994] ppid=17983 vsize=1710948 CPUtime=0.99 /proc/17985/task/17994/stat : 17994 (java) S 17983 17985 17939 0 -1 64 2181 0 0 0 98 1 0 0 16 0 13 0 206426148 1752010752 231992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17995] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17995/stat : 17995 (java) S 17983 17985 17939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 231992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17996] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17996/stat : 17996 (java) S 17983 17985 17939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206426148 1752010752 231992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=18007] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/18007/stat : 18007 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 206429316 1752010752 231992 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.92 Current children cumulated vsize (Kb) 1710948 [startup+1787.32 s] /proc/loadavg: 1.02 1.01 1.00 2/79 18202 /proc/meminfo: memFree=920928/2055892 swapFree=4085328/4096564 [pid=17985] ppid=17983 vsize=1710948 CPUtime=1797.94 /proc/17985/stat : 17985 (java) R 17983 17985 17939 0 -1 0 340198 0 1 0 179616 178 0 0 21 0 13 0 206426138 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071730164 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17985/statm: 427737 231656 1915 14 0 414483 0 [pid=17985/tid=17986] ppid=17983 vsize=1710948 CPUtime=10.08 /proc/17985/task/17986/stat : 17986 (java) S 17983 17985 17939 0 -1 64 135845 0 0 0 940 68 0 0 16 0 13 0 206426141 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17987] ppid=17983 vsize=1710948 CPUtime=10.09 /proc/17985/task/17987/stat : 17987 (java) S 17983 17985 17939 0 -1 64 132388 0 0 0 944 65 0 0 16 0 13 0 206426141 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17988] ppid=17983 vsize=1710948 CPUtime=0.21 /proc/17985/task/17988/stat : 17988 (java) S 17983 17985 17939 0 -1 64 193 0 0 0 11 10 0 0 15 0 13 0 206426144 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17989] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17989/stat : 17989 (java) S 17983 17985 17939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17990] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17990/stat : 17990 (java) S 17983 17985 17939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17991] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17991/stat : 17991 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17992] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17992/stat : 17992 (java) S 17983 17985 17939 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17993] ppid=17983 vsize=1710948 CPUtime=0.72 /proc/17985/task/17993/stat : 17993 (java) S 17983 17985 17939 0 -1 64 584 0 0 0 72 0 0 0 16 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17994] ppid=17983 vsize=1710948 CPUtime=0.99 /proc/17985/task/17994/stat : 17994 (java) S 17983 17985 17939 0 -1 64 2181 0 0 0 98 1 0 0 16 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17995] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17995/stat : 17995 (java) S 17983 17985 17939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17996] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17996/stat : 17996 (java) S 17983 17985 17939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=18007] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/18007/stat : 18007 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 206429316 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (Kb) 1710948 [startup+1788.33 s] /proc/loadavg: 1.02 1.01 1.00 2/79 18202 /proc/meminfo: memFree=920928/2055892 swapFree=4085328/4096564 [pid=17985] ppid=17983 vsize=1710948 CPUtime=1798.94 /proc/17985/stat : 17985 (java) R 17983 17985 17939 0 -1 0 340198 0 1 0 179716 178 0 0 25 0 13 0 206426138 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071739775 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17985/statm: 427737 231656 1915 14 0 414483 0 [pid=17985/tid=17986] ppid=17983 vsize=1710948 CPUtime=10.08 /proc/17985/task/17986/stat : 17986 (java) S 17983 17985 17939 0 -1 64 135845 0 0 0 940 68 0 0 16 0 13 0 206426141 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17987] ppid=17983 vsize=1710948 CPUtime=10.09 /proc/17985/task/17987/stat : 17987 (java) S 17983 17985 17939 0 -1 64 132388 0 0 0 944 65 0 0 16 0 13 0 206426141 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17988] ppid=17983 vsize=1710948 CPUtime=0.21 /proc/17985/task/17988/stat : 17988 (java) S 17983 17985 17939 0 -1 64 193 0 0 0 11 10 0 0 16 0 13 0 206426144 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17989] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17989/stat : 17989 (java) S 17983 17985 17939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17990] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17990/stat : 17990 (java) S 17983 17985 17939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17991] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17991/stat : 17991 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17992] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17992/stat : 17992 (java) S 17983 17985 17939 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17993] ppid=17983 vsize=1710948 CPUtime=0.72 /proc/17985/task/17993/stat : 17993 (java) S 17983 17985 17939 0 -1 64 584 0 0 0 72 0 0 0 16 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17994] ppid=17983 vsize=1710948 CPUtime=0.99 /proc/17985/task/17994/stat : 17994 (java) S 17983 17985 17939 0 -1 64 2181 0 0 0 98 1 0 0 16 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17995] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17995/stat : 17995 (java) S 17983 17985 17939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17996] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17996/stat : 17996 (java) S 17983 17985 17939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=18007] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/18007/stat : 18007 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 206429316 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.94 Current children cumulated vsize (Kb) 1710948 [startup+1789.34 s] /proc/loadavg: 1.02 1.01 1.00 2/79 18202 /proc/meminfo: memFree=920928/2055892 swapFree=4085328/4096564 [pid=17985] ppid=17983 vsize=1710948 CPUtime=1799.95 /proc/17985/stat : 17985 (java) R 17983 17985 17939 0 -1 0 340198 0 1 0 179817 178 0 0 25 0 13 0 206426138 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071730248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17985/statm: 427737 231656 1915 14 0 414483 0 [pid=17985/tid=17986] ppid=17983 vsize=1710948 CPUtime=10.08 /proc/17985/task/17986/stat : 17986 (java) S 17983 17985 17939 0 -1 64 135845 0 0 0 940 68 0 0 16 0 13 0 206426141 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17987] ppid=17983 vsize=1710948 CPUtime=10.09 /proc/17985/task/17987/stat : 17987 (java) S 17983 17985 17939 0 -1 64 132388 0 0 0 944 65 0 0 16 0 13 0 206426141 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17988] ppid=17983 vsize=1710948 CPUtime=0.21 /proc/17985/task/17988/stat : 17988 (java) S 17983 17985 17939 0 -1 64 193 0 0 0 11 10 0 0 16 0 13 0 206426144 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17989] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17989/stat : 17989 (java) S 17983 17985 17939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17990] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17990/stat : 17990 (java) S 17983 17985 17939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17991] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17991/stat : 17991 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17992] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17992/stat : 17992 (java) S 17983 17985 17939 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17993] ppid=17983 vsize=1710948 CPUtime=0.72 /proc/17985/task/17993/stat : 17993 (java) S 17983 17985 17939 0 -1 64 584 0 0 0 72 0 0 0 16 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17994] ppid=17983 vsize=1710948 CPUtime=0.99 /proc/17985/task/17994/stat : 17994 (java) S 17983 17985 17939 0 -1 64 2181 0 0 0 98 1 0 0 16 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17995] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17995/stat : 17995 (java) S 17983 17985 17939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17996] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17996/stat : 17996 (java) S 17983 17985 17939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=18007] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/18007/stat : 18007 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 206429316 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.95 Current children cumulated vsize (Kb) 1710948 [startup+1790.34 s] /proc/loadavg: 1.02 1.01 1.00 2/79 18202 /proc/meminfo: memFree=920928/2055892 swapFree=4085328/4096564 [pid=17985] ppid=17983 vsize=1710948 CPUtime=1800.96 /proc/17985/stat : 17985 (java) R 17983 17985 17939 0 -1 0 340198 0 1 0 179918 178 0 0 25 0 13 0 206426138 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071456426 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17985/statm: 427737 231656 1915 14 0 414483 0 [pid=17985/tid=17986] ppid=17983 vsize=1710948 CPUtime=10.08 /proc/17985/task/17986/stat : 17986 (java) S 17983 17985 17939 0 -1 64 135845 0 0 0 940 68 0 0 16 0 13 0 206426141 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17987] ppid=17983 vsize=1710948 CPUtime=10.09 /proc/17985/task/17987/stat : 17987 (java) S 17983 17985 17939 0 -1 64 132388 0 0 0 944 65 0 0 16 0 13 0 206426141 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17988] ppid=17983 vsize=1710948 CPUtime=0.21 /proc/17985/task/17988/stat : 17988 (java) S 17983 17985 17939 0 -1 64 193 0 0 0 11 10 0 0 16 0 13 0 206426144 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17989] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17989/stat : 17989 (java) S 17983 17985 17939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17990] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17990/stat : 17990 (java) S 17983 17985 17939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17991] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17991/stat : 17991 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17992] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17992/stat : 17992 (java) S 17983 17985 17939 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17993] ppid=17983 vsize=1710948 CPUtime=0.72 /proc/17985/task/17993/stat : 17993 (java) S 17983 17985 17939 0 -1 64 584 0 0 0 72 0 0 0 16 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17994] ppid=17983 vsize=1710948 CPUtime=0.99 /proc/17985/task/17994/stat : 17994 (java) S 17983 17985 17939 0 -1 64 2181 0 0 0 98 1 0 0 16 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17995] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17995/stat : 17995 (java) S 17983 17985 17939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17996] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17996/stat : 17996 (java) S 17983 17985 17939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=18007] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/18007/stat : 18007 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 206429316 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.96 Current children cumulated vsize (Kb) 1710948 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1790.35 s] /proc/loadavg: 1.02 1.01 1.00 2/79 18202 /proc/meminfo: memFree=920928/2055892 swapFree=4085328/4096564 [pid=17985] ppid=17983 vsize=1710948 CPUtime=1800.96 /proc/17985/stat : 17985 (java) R 17983 17985 17939 0 -1 0 340198 0 1 0 179918 178 0 0 25 0 13 0 206426138 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071456422 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17985/statm: 427737 231656 1915 14 0 414483 0 [pid=17985/tid=17986] ppid=17983 vsize=1710948 CPUtime=10.08 /proc/17985/task/17986/stat : 17986 (java) S 17983 17985 17939 0 -1 64 135845 0 0 0 940 68 0 0 16 0 13 0 206426141 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17987] ppid=17983 vsize=1710948 CPUtime=10.09 /proc/17985/task/17987/stat : 17987 (java) S 17983 17985 17939 0 -1 64 132388 0 0 0 944 65 0 0 16 0 13 0 206426141 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17988] ppid=17983 vsize=1710948 CPUtime=0.21 /proc/17985/task/17988/stat : 17988 (java) S 17983 17985 17939 0 -1 64 193 0 0 0 11 10 0 0 16 0 13 0 206426144 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17989] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17989/stat : 17989 (java) S 17983 17985 17939 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17990] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17990/stat : 17990 (java) S 17983 17985 17939 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206426144 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17991] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17991/stat : 17991 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17992] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17992/stat : 17992 (java) S 17983 17985 17939 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17993] ppid=17983 vsize=1710948 CPUtime=0.72 /proc/17985/task/17993/stat : 17993 (java) S 17983 17985 17939 0 -1 64 584 0 0 0 72 0 0 0 16 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17994] ppid=17983 vsize=1710948 CPUtime=0.99 /proc/17985/task/17994/stat : 17994 (java) S 17983 17985 17939 0 -1 64 2181 0 0 0 98 1 0 0 16 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17995] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17995/stat : 17995 (java) S 17983 17985 17939 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17985/tid=17996] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/17996/stat : 17996 (java) S 17983 17985 17939 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206426148 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17985/tid=18007] ppid=17983 vsize=1710948 CPUtime=0 /proc/17985/task/18007/stat : 18007 (java) S 17983 17985 17939 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 206429316 1752010752 231656 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.96 Current children cumulated vsize (Kb) 1710948 Sending SIGTERM to -17985 Sleeping 2 seconds Child status: 143 Real time (s): 1790.51 CPU time (s): 1801.14 CPU user time (s): 1799.21 CPU system time (s): 1.92971 CPU usage (%): 100.594 Max. virtual memory (cumulated for all children) (Kb): 1711972
Begin job on node77 on Sun Jun 4 07:57:49 UTC 2006 FILE ID= 44311-1149407869 PBS_JOBID= 314523 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/sat4jPseudoPlus.jar ROOT/tmp/node77/44311-1149407869/instance-44311-1149407869.opb 859391760 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node77/watcher-44311-1149407869 -o ROOT/results/node77/solver-44311-1149407869 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node77/44311-1149407869/instance-44311-1149407869.opb 859391760 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 4a444f89cff56050e88660d23e3d8694 RANDOM SEED= 859391760 /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.238 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.16 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.238 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.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1843032 kB Buffers: 28716 kB Cached: 115132 kB SwapCached: 2488 kB Active: 38872 kB Inactive: 113672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1843032 kB SwapTotal: 4096564 kB SwapFree: 4085328 kB Dirty: 192 kB Writeback: 0 kB Mapped: 16124 kB Slab: 46980 kB Committed_AS: 413628 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node77 on Sun Jun 4 08:27:40 UTC 2006