Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 139 | 1800.25 | 1788.98 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-max512.r.opb |
MD5SUM | abda325d00dae29cc1f423bbedcd64ad |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 113 |
Best CPU time to get the best result obtained on this benchmark | 0.072987 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 113 |
Optimality of the best value was proved | YES |
Number of variables | 515 |
Total number of constraints | 559 |
Number of constraints which are clauses | 559 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 515 |
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 | 515 |
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 | 515 |
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.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.19/0.21 --- Begin Solver configuration --- 0.19/0.21 c Stops conflict analysis at the first Unique Implication Point 0.19/0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.19/0.21 c Learn all clauses as in MiniSAT 0.19/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.19/0.21 c VSIDS like heuristics from MiniSAT using a heap 0.19/0.21 c No reason simplification 0.19/0.21 c --- End Solver configuration --- 0.19/0.21 c solving /tmp/evaluation/366367-1177060515/instance-366367-1177060515.opb 0.19/0.21 c reading problem ... 0.59/0.51 c ... done. Wall clock time 0.306s. 0.59/0.51 c CPU time (experimental) 0.4s. 0.59/0.51 c #vars 515 0.59/0.51 c #constraints 559 0.59/0.54 c SATISFIABLE 0.59/0.54 c OPTIMIZING... 0.59/0.54 c Got one! Elapsed wall clock time (in seconds):0.333 0.59/0.54 o 139 725.79/719.26 c cleaning 1086239 clauses out of 2172500 for limit 0.004363844517399651 838.88/832.32 c cleaning 543376 clauses out of 1086762 for limit 0.01440074658235557 859.98/853.42 c cleaning 271936 clauses out of 543885 for limit 0.04740604736718939 872.87/866.31 c cleaning 136216 clauses out of 272450 for limit 0.15622279878654513 877.37/870.84 c cleaning 68361 clauses out of 136733 for limit 0.5128368913611457 878.37/871.88 c cleaning 34432 clauses out of 68872 for limit 1.679058369000418 878.67/872.18 c cleaning 17460 clauses out of 34941 for limit 5.4634070300531965 878.87/872.37 c cleaning 8982 clauses out of 17980 for limit 17.491641802174087 878.97/872.48 c cleaning 4739 clauses out of 9498 for limit 54.60645511110426 879.07/872.54 c cleaning 2619 clauses out of 5259 for limit 162.64056179731472 879.07/872.59 c cleaning 1560 clauses out of 3140 for limit 449.2191642541984 879.17/872.64 c cleaning 1028 clauses out of 2080 for limit 1118.3570392231854 879.17/872.68 c cleaning 767 clauses out of 1553 for limit 2472.6506075417014 879.27/872.72 c cleaning 638 clauses out of 1287 for limit 4925.451661795455 879.27/872.76 c cleaning 564 clauses out of 1147 for limit 9095.949776948226 1037.75/1029.93 c cleaning 293033 clauses out of 586083 for limit 4.540420069411378E-5 1057.02/1049.25 c cleaning 146771 clauses out of 293550 for limit 1.4949578958501535E-4 1060.82/1053.07 c cleaning 73633 clauses out of 147280 for limit 4.918783067206395E-4 1063.82/1056.01 c cleaning 37065 clauses out of 74147 for limit 0.0016112530324748492 1064.72/1056.98 c cleaning 18784 clauses out of 37582 for limit 0.0052424383338804705 1065.02/1057.23 c cleaning 9642 clauses out of 19298 for limit 0.01683669341580826 1065.12/1057.35 c cleaning 5067 clauses out of 10155 for limit 0.052712128510244434 1065.22/1057.42 c cleaning 2783 clauses out of 5589 for limit 0.15810542438274708 1065.22/1057.48 c cleaning 1642 clauses out of 3305 for limit 0.44048466272395564 1065.32/1057.53 c cleaning 1069 clauses out of 2163 for limit 1.1099454178784156 1065.32/1057.59 c cleaning 784 clauses out of 1594 for limit 2.4838519837349007 1065.42/1057.64 c cleaning 649 clauses out of 1310 for limit 4.98423626159861 1065.42/1057.69 c cleaning 571 clauses out of 1162 for limit 9.275860034468176 1065.52/1057.74 c cleaning 533 clauses out of 1091 for limit 16.292639618022054 1065.52/1057.78 c cleaning 519 clauses out of 1058 for limit 27.706803281297894 1065.62/1057.83 c cleaning 508 clauses out of 1038 for limit 46.52604224064583 1065.62/1057.88 c cleaning 506 clauses out of 1030 for limit 77.32361084825516 1065.72/1057.93 c cleaning 502 clauses out of 1025 for limit 128.26727977739554 1065.72/1057.98 c cleaning 502 clauses out of 1022 for limit 211.93868207676488 1065.82/1058.03 c cleaning 499 clauses out of 1021 for limit 350.2077735530799 1065.82/1058.08 c cleaning 498 clauses out of 1021 for limit 576.9619290782487 1065.92/1058.12 c cleaning 499 clauses out of 1023 for limit 949.6272152046672 1065.92/1058.17 c cleaning 503 clauses out of 1024 for limit 1564.53295899735 1066.02/1058.22 c cleaning 500 clauses out of 1021 for limit 2587.70531678163 1066.02/1058.27 c cleaning 499 clauses out of 1021 for limit 4267.472244396831 1066.12/1058.32 c cleaning 497 clauses out of 1023 for limit 7030.904715391312 1268.29/1258.83 c cleaning 327507 clauses out of 655026 for limit 268277.59338797146 1303.37/1293.93 c cleaning 164004 clauses out of 328018 for limit 882605.5205632242 1312.47/1303.09 c cleaning 82253 clauses out of 164516 for limit 2907910.8290661825 1314.37/1304.94 c cleaning 41372 clauses out of 82761 for limit 9513719.886134334 1314.77/1305.36 c cleaning 20939 clauses out of 41890 for limit 3.102816757552319E7 1315.27/1305.82 c cleaning 10714 clauses out of 21450 for limit 9.98298842065277E7 1315.37/1305.96 c cleaning 5612 clauses out of 11237 for limit 3.145776630574862E8 1315.47/1306.04 c cleaning 3056 clauses out of 6124 for limit 9.509648308233964E8 1315.47/1306.09 c cleaning 1777 clauses out of 3568 for limit 2.691724944707262E9 1315.57/1306.14 c cleaning 1139 clauses out of 2292 for limit 6.917215570715596E9 1315.57/1306.18 c cleaning 817 clauses out of 1652 for limit 1.5810924176400728E10 1315.67/1306.23 c cleaning 668 clauses out of 1336 for limit 3.2273884436172974E10 1315.67/1306.27 c cleaning 583 clauses out of 1167 for limit 6.087068890410498E10 1315.78/1306.31 c cleaning 536 clauses out of 1086 for limit 1.0808717303973601E11 1315.78/1306.35 c cleaning 524 clauses out of 1048 for limit 1.8434423664179703E11 1315.78/1306.39 c cleaning 498 clauses out of 1024 for limit 3.1113350205668384E11 1315.88/1306.43 c cleaning 513 clauses out of 1026 for limit 5.1210057115867346E11 1315.88/1306.47 c cleaning 495 clauses out of 1013 for limit 8.553602472996823E11 1315.98/1306.51 c cleaning 497 clauses out of 1018 for limit 1.4036751680057266E12 1315.98/1306.55 c cleaning 510 clauses out of 1021 for limit 2.3080464238277393E12 1315.98/1306.59 c cleaning 505 clauses out of 1011 for limit 3.843925955976936E12 1316.08/1306.63 c cleaning 503 clauses out of 1006 for limit 6.370654833080733E12 1316.08/1306.67 c cleaning 493 clauses out of 1003 for limit 1.0537485985175035E13 1316.18/1306.71 c cleaning 491 clauses out of 1010 for limit 1.7257284397441762E13 1316.18/1306.74 c cleaning 499 clauses out of 1020 for limit 2.820876397542714E13 1316.18/1306.78 c cleaning 499 clauses out of 1021 for limit 4.6474462298078266E13 1316.28/1306.82 c cleaning 510 clauses out of 1021 for limit 7.656596296629461E13 1316.28/1306.85 c cleaning 505 clauses out of 1011 for limit 1.2751645259474875E14 1316.28/1306.89 c cleaning 495 clauses out of 1006 for limit 2.1133687649651525E14 1316.38/1306.94 c cleaning 498 clauses out of 1011 for limit 3.4679912776774244E14 1316.38/1306.98 c cleaning 506 clauses out of 1013 for limit 5.707889983794759E14 1316.48/1307.02 c cleaning 504 clauses out of 1008 for limit 9.469235242547362E14 1316.48/1307.06 c cleaning 495 clauses out of 1004 for limit 1.567825096820775E15 1316.48/1307.09 c cleaning 498 clauses out of 1008 for limit 2.572717899113939E15 1316.58/1307.13 c cleaning 497 clauses out of 1011 for limit 4.234400607910975E15 1316.58/1307.17 c cleaning 498 clauses out of 1013 for limit 6.962336808592758E15 1316.70/1307.21 c cleaning 507 clauses out of 1015 for limit 1.1459200516799812E16 1316.70/1307.25 c cleaning 504 clauses out of 1008 for limit 1.902898904382066E16 1316.70/1307.29 c cleaning 502 clauses out of 1005 for limit 3.1506530784075612E16 1316.80/1307.33 c cleaning 501 clauses out of 1003 for limit 5.2062090281035E16 1316.80/1307.36 c cleaning 495 clauses out of 1001 for limit 8.594286588055553E-4 1316.90/1307.40 c cleaning 495 clauses out of 1006 for limit 0.0014102685323161797 1316.90/1307.44 c cleaning 496 clauses out of 1011 for limit 0.002314219387706393 1316.90/1307.48 c cleaning 503 clauses out of 1016 for limit 0.003801477059766832 1317.00/1307.52 c cleaning 495 clauses out of 1012 for limit 0.006287629526790007 1317.00/1307.55 c cleaning 501 clauses out of 1017 for limit 0.010318163166677103 1317.00/1307.59 c cleaning 496 clauses out of 1016 for limit 0.017032779463426323 1317.10/1307.63 c cleaning 500 clauses out of 1020 for limit 0.027979177696760102 1317.10/1307.67 c cleaning 503 clauses out of 1020 for limit 0.04614140700938485 1317.20/1307.71 c cleaning 503 clauses out of 1017 for limit 0.07631781701315739 1317.20/1307.75 c cleaning 497 clauses out of 1014 for limit 0.12623065167394726 1317.20/1307.79 c cleaning 500 clauses out of 1017 for limit 0.20755715701576113 1317.30/1307.83 c cleaning 502 clauses out of 1018 for limit 0.3422955767474853 1317.30/1307.87 c cleaning 500 clauses out of 1016 for limit 0.5656024006843807 1317.40/1307.91 c cleaning 501 clauses out of 1017 for limit 0.9327696310298809 1317.40/1307.95 c cleaning 501 clauses out of 1014 for limit 1.539728892843665 1317.40/1307.99 c cleaning 497 clauses out of 1013 for limit 2.5417255582457785 1317.50/1308.03 c cleaning 496 clauses out of 1017 for limit 4.179338495465747 1317.50/1308.08 c cleaning 502 clauses out of 1020 for limit 6.865144827959045 1317.60/1308.12 c cleaning 498 clauses out of 1018 for limit 11.343784939516343 1317.60/1308.16 c cleaning 501 clauses out of 1020 for limit 18.67073769611337 1317.70/1308.20 c cleaning 500 clauses out of 1019 for limit 30.8207606194737 1317.70/1308.24 c cleaning 501 clauses out of 1019 for limit 50.82755738910218 1317.70/1308.28 c cleaning 504 clauses out of 1018 for limit 83.90378105732427 1317.80/1308.32 c cleaning 499 clauses out of 1014 for limit 138.9143919920456 1317.80/1308.37 c cleaning 501 clauses out of 1015 for limit 228.8627131568335 1317.90/1308.41 c cleaning 497 clauses out of 1014 for limit 377.79744493309056 1317.90/1308.45 c cleaning 501 clauses out of 1018 for limit 621.2116506664762 1317.90/1308.49 c cleaning 501 clauses out of 1016 for limit 1025.4512941254216 1318.00/1308.53 c cleaning 501 clauses out of 1016 for limit 1692.7991655982564 1318.00/1308.57 c cleaning 498 clauses out of 1014 for limit 2794.361341712286 1318.10/1308.61 c cleaning 501 clauses out of 1017 for limit 4599.281223123103 1318.10/1308.65 c cleaning 495 clauses out of 1016 for limit 7592.295401639962 1800.06/1788.81 c starts : 26 1800.06/1788.81 c conflicts : 4196500 1800.06/1788.81 c decisions : 6379638 1800.06/1788.81 c propagations : 102156772 1800.06/1788.81 c inspects : 905411097 1800.06/1788.81 c learnt literals : 0 1800.06/1788.81 c learnt binary clauses : 0 1800.06/1788.81 c learnt ternary clauses : 0 1800.06/1788.81 c learnt clauses : 4196500 1800.06/1788.81 c root simplifications : 0 1800.06/1788.81 c removed literals (reason simplification) : 0 1800.06/1788.81 c reason swapping (by a shorter reason) : 0 1800.06/1788.81 c Calls to reduceDB : 115 1800.06/1788.81 c speed (decisions/second) : 3567.5373703968185 1800.06/1788.81 c non guided choices 1551 1800.06/1788.81 s SATISFIABLE 1800.06/1788.82 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 -x30 x31 -x32 1800.06/1788.82 v -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 1800.06/1788.82 v x60 x61 -x62 -x63 x64 -x65 -x66 x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 1800.06/1788.82 v -x87 x88 x89 -x90 x91 x92 -x93 x94 -x95 -x96 x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 x111 1800.06/1788.82 v x112 -x113 -x114 -x115 x116 x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 x133 1800.06/1788.82 v x134 -x135 -x136 -x137 x138 x139 x140 x141 x142 -x143 x144 -x145 x146 -x147 x148 -x149 -x150 -x151 x152 -x153 x154 -x155 -x156 1800.06/1788.82 v -x157 -x158 -x159 x160 -x161 -x162 x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 1800.06/1788.82 v -x178 -x179 -x180 -x181 x182 -x183 x184 -x185 x186 -x187 x188 x189 -x190 -x191 x192 x193 -x194 x195 -x196 -x197 -x198 -x199 1800.06/1788.82 v x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 x208 -x209 -x210 x211 -x212 x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 1800.06/1788.82 v -x222 -x223 -x224 x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 x240 -x241 x242 x243 1800.06/1788.82 v -x244 -x245 -x246 -x247 x248 x249 -x250 -x251 -x252 x253 -x254 -x255 x256 -x257 x258 -x259 x260 -x261 x262 -x263 -x264 x265 1800.06/1788.82 v x266 -x267 x268 -x269 -x270 x271 x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 x281 -x282 x283 -x284 x285 x286 -x287 1800.06/1788.82 v -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 x299 -x300 x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 1800.06/1788.82 v x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 x319 -x320 x321 x322 -x323 x324 x325 -x326 -x327 -x328 -x329 x330 1800.06/1788.82 v -x331 -x332 -x333 x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 x346 -x347 -x348 -x349 -x350 -x351 1800.06/1788.82 v -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 1800.06/1788.82 v -x373 -x374 x375 -x376 -x377 x378 -x379 -x380 x381 -x382 x383 x384 x385 x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 1800.06/1788.82 v x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 x411 -x412 x413 -x414 -x415 -x416 1800.06/1788.82 v -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 x434 -x435 x436 -x437 1800.06/1788.82 v -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 x452 -x453 x454 -x455 -x456 -x457 -x458 1800.06/1788.82 v -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 x477 -x478 x479 -x480 1800.06/1788.82 v -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 1800.06/1788.82 v -x502 -x503 x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 1800.06/1788.82 c objective function=139 1800.06/1788.82 c Total wall clock time (ms): 1788.612
OK 139
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-366367-1177060515 -o ROOT/results/node15/solver-366367-1177060515 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/366367-1177060515/sat4jPseudoResolution.jar /tmp/evaluation/366367-1177060515/instance-366367-1177060515.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.00 0.99 2/77 2020 /proc/meminfo: memFree=1761960/2055920 swapFree=4169120/4192956 [pid=2020] ppid=2017 vsize=18568 CPUtime=0 /proc/2020/stat : 2020 (runsolver) R 2017 2020 1180 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 153969136 19013632 292 18446744073709551615 4194304 4296420 548682068864 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/2020/statm: 4642 292 257 24 0 2626 0 [startup+0.0841661 s] /proc/loadavg: 1.04 1.00 0.99 2/77 2020 /proc/meminfo: memFree=1761960/2055920 swapFree=4169120/4192956 [pid=2020] ppid=2017 vsize=1777844 CPUtime=0.06 /proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 3788 0 1 0 5 1 0 0 20 0 7 0 153969136 1820512256 3531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 0 0 0 /proc/2020/statm: 444461 3531 1086 9 0 442097 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1777844 [startup+0.101166 s] /proc/loadavg: 1.04 1.00 0.99 2/77 2020 /proc/meminfo: memFree=1761960/2055920 swapFree=4169120/4192956 [pid=2020] ppid=2017 vsize=1780108 CPUtime=0.08 /proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 3936 0 1 0 6 2 0 0 20 0 12 0 153969136 1822830592 3678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2020/statm: 445027 3678 1119 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301185 s] /proc/loadavg: 1.04 1.00 0.99 2/77 2020 /proc/meminfo: memFree=1761960/2055920 swapFree=4169120/4192956 [pid=2020] ppid=2017 vsize=1782120 CPUtime=0.3 /proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 5093 0 1 0 27 3 0 0 20 0 12 0 153969136 1824890880 4832 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2020/statm: 445530 4833 1264 9 0 443142 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 1782120 [startup+0.701224 s] /proc/loadavg: 1.04 1.00 0.99 2/77 2020 /proc/meminfo: memFree=1761960/2055920 swapFree=4169120/4192956 [pid=2020] ppid=2017 vsize=1785004 CPUtime=0.91 /proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 6876 0 1 0 87 4 0 0 20 0 13 0 153969136 1827844096 6250 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2020/statm: 446251 6250 1310 9 0 443863 0 Current children cumulated CPU time (s) 0.91 Current children cumulated vsize (KiB) 1785004 [startup+1.5023 s] /proc/loadavg: 1.04 1.00 0.99 2/90 2035 /proc/meminfo: memFree=1740352/2055920 swapFree=4169120/4192956 [pid=2020] ppid=2017 vsize=1785004 CPUtime=1.85 /proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 8238 0 1 0 181 4 0 0 20 0 13 0 153969136 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2020/statm: 446251 7526 1313 9 0 443863 0 [pid=2020/tid=2022] ppid=2017 vsize=1785004 CPUtime=1.23 /proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 5963 0 1 0 120 3 0 0 20 0 13 0 153969138 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109590446 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2023] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 153969139 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2024] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153969139 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2025] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153969141 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2026] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 10 0 0 0 0 0 0 0 25 0 13 0 153969142 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2027] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 153969142 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2029] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2030] ppid=2017 vsize=1785004 CPUtime=0.29 /proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 769 0 0 0 29 0 0 0 16 0 13 0 153969146 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2031] ppid=2017 vsize=1785004 CPUtime=0.3 /proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 781 0 0 0 30 0 0 0 16 0 13 0 153969146 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2032] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2033] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2035] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1827844096 7526 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.85 Current children cumulated vsize (KiB) 1785004 [startup+3.10244 s] /proc/loadavg: 1.04 1.00 0.99 2/90 2035 /proc/meminfo: memFree=1732160/2055920 swapFree=4169120/4192956 [pid=2020] ppid=2017 vsize=1785004 CPUtime=3.47 /proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 11138 0 1 0 342 5 0 0 20 0 13 0 153969136 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2020/statm: 446251 10425 1313 9 0 443863 0 [pid=2020/tid=2022] ppid=2017 vsize=1785004 CPUtime=2.8 /proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 8858 0 1 0 276 4 0 0 25 0 13 0 153969138 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109553295 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2023] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 153969139 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2024] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153969139 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2025] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153969141 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2026] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 10 0 0 0 0 0 0 0 25 0 13 0 153969142 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2027] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 153969142 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2029] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2030] ppid=2017 vsize=1785004 CPUtime=0.32 /proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 773 0 0 0 32 0 0 0 16 0 13 0 153969146 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2031] ppid=2017 vsize=1785004 CPUtime=0.32 /proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 782 0 0 0 32 0 0 0 16 0 13 0 153969146 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2032] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2033] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2035] ppid=2017 vsize=1785004 CPUtime=0 /proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1827844096 10425 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.47 Current children cumulated vsize (KiB) 1785004 [startup+6.30173 s] /proc/loadavg: 1.04 1.00 0.99 2/90 2035 /proc/meminfo: memFree=1709448/2055920 swapFree=4169120/4192956 [pid=2020] ppid=2017 vsize=1784972 CPUtime=6.68 /proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 16275 0 1 0 660 8 0 0 20 0 13 0 153969136 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2020/statm: 446243 15530 1313 9 0 443855 0 [pid=2020/tid=2022] ppid=2017 vsize=1784972 CPUtime=5.99 /proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 13994 0 1 0 593 6 0 0 25 0 13 0 153969138 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109609779 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2023] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 153969139 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2024] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153969139 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2025] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153969141 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2026] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 10 0 0 0 0 0 0 0 25 0 13 0 153969142 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2027] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 153969142 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2029] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2030] ppid=2017 vsize=1784972 CPUtime=0.32 /proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 773 0 0 0 32 0 0 0 17 0 13 0 153969146 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2031] ppid=2017 vsize=1784972 CPUtime=0.33 /proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 783 0 0 0 33 0 0 0 16 0 13 0 153969146 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2032] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1827811328 15530 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2033] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1827811328 15531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2035] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1827811328 15531 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.68 Current children cumulated vsize (KiB) 1784972 [startup+12.7013 s] /proc/loadavg: 1.04 1.00 0.99 2/90 2035 /proc/meminfo: memFree=1669840/2055920 swapFree=4169120/4192956 [pid=2020] ppid=2017 vsize=1784972 CPUtime=13.08 /proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 25800 0 1 0 1296 12 0 0 20 0 13 0 153969136 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2020/statm: 446243 25055 1313 9 0 443855 0 [pid=2020/tid=2022] ppid=2017 vsize=1784972 CPUtime=12.39 /proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 23519 0 1 0 1228 11 0 0 25 0 13 0 153969138 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109616799 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2023] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 153969139 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2024] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 153969139 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2025] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153969141 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2026] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 10 0 0 0 0 0 0 0 25 0 13 0 153969142 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2027] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 153969142 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2029] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2030] ppid=2017 vsize=1784972 CPUtime=0.33 /proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 773 0 0 0 33 0 0 0 17 0 13 0 153969146 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2031] ppid=2017 vsize=1784972 CPUtime=0.34 /proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 783 0 0 0 34 0 0 0 16 0 13 0 153969146 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2032] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2033] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2035] ppid=2017 vsize=1784972 CPUtime=0 /proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1827811328 25055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 13.08 Current children cumulated vsize (KiB) 1784972 [startup+25.5025 s] /proc/loadavg: 1.03 1.00 0.99 2/90 2035 /proc/meminfo: memFree=1471184/2055920 swapFree=4169120/4192956 [pid=2020] ppid=2017 vsize=1786256 CPUtime=26.17 /proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 89649 0 1 0 2576 41 0 0 20 0 13 0 153969136 1829126144 73696 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2020/statm: 446564 73696 1322 9 0 444176 0 [pid=2020/tid=2022] ppid=2017 vsize=1786256 CPUtime=24.9 /proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 37710 0 1 0 2472 18 0 0 25 0 13 0 153969138 1829126144 73696 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109336898 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2023] ppid=2017 vsize=1786256 CPUtime=0.28 /proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 26198 0 0 0 18 10 0 0 16 0 13 0 153969139 1829126144 73696 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2024] ppid=2017 vsize=1786256 CPUtime=0.28 /proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 23456 0 0 0 17 11 0 0 16 0 13 0 153969139 1829126144 73696 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=2020/tid=2025] ppid=2017 vsize=1795220 CPUtime=8.05 /proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 21154 0 2 0 785 20 0 0 16 0 13 0 153969141 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2026] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2027] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2029] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2030] ppid=2017 vsize=1795220 CPUtime=0.43 /proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 850 0 0 0 43 0 0 0 17 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2031] ppid=2017 vsize=1795220 CPUtime=0.42 /proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 792 0 0 0 42 0 0 0 16 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2032] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2033] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2035] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1613.6 Current children cumulated vsize (KiB) 1795220 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 2038 /proc/meminfo: memFree=1018000/2055920 swapFree=4169120/4192956 [pid=2020] ppid=2017 vsize=1795220 CPUtime=1673.58 /proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 566437 0 3 0 167071 287 0 0 20 0 13 0 153969136 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2020/statm: 448805 186198 1331 9 0 446417 0 [pid=2020/tid=2022] ppid=2017 vsize=1795220 CPUtime=1641.54 /proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 37756 0 1 0 164125 29 0 0 25 0 13 0 153969138 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109706931 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2023] ppid=2017 vsize=1795220 CPUtime=11.65 /proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 265417 0 0 0 1041 124 0 0 16 0 13 0 153969139 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2024] ppid=2017 vsize=1795220 CPUtime=11.44 /proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 239745 0 0 0 1033 111 0 0 16 0 13 0 153969139 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2025] ppid=2017 vsize=1795220 CPUtime=8.05 /proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 21154 0 2 0 785 20 0 0 16 0 13 0 153969141 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2026] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2027] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2029] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2030] ppid=2017 vsize=1795220 CPUtime=0.43 /proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 850 0 0 0 43 0 0 0 17 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2031] ppid=2017 vsize=1795220 CPUtime=0.42 /proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 792 0 0 0 42 0 0 0 16 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2032] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2033] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2035] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1673.58 Current children cumulated vsize (KiB) 1795220 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 2038 /proc/meminfo: memFree=1017936/2055920 swapFree=4169120/4192956 [pid=2020] ppid=2017 vsize=1795220 CPUtime=1733.57 /proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 566437 0 3 0 173069 288 0 0 20 0 13 0 153969136 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2020/statm: 448805 186198 1331 9 0 446417 0 [pid=2020/tid=2022] ppid=2017 vsize=1795220 CPUtime=1701.53 /proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 37756 0 1 0 170123 30 0 0 25 0 13 0 153969138 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109706926 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2023] ppid=2017 vsize=1795220 CPUtime=11.65 /proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 265417 0 0 0 1041 124 0 0 16 0 13 0 153969139 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2024] ppid=2017 vsize=1795220 CPUtime=11.44 /proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 239745 0 0 0 1033 111 0 0 16 0 13 0 153969139 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2025] ppid=2017 vsize=1795220 CPUtime=8.05 /proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 21154 0 2 0 785 20 0 0 16 0 13 0 153969141 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2026] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2027] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2029] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2030] ppid=2017 vsize=1795220 CPUtime=0.43 /proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 850 0 0 0 43 0 0 0 17 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2031] ppid=2017 vsize=1795220 CPUtime=0.42 /proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 792 0 0 0 42 0 0 0 16 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2032] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2033] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2035] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1733.57 Current children cumulated vsize (KiB) 1795220 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 2038 /proc/meminfo: memFree=1018000/2055920 swapFree=4169120/4192956 [pid=2020] ppid=2017 vsize=1795220 CPUtime=1793.55 /proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 566437 0 3 0 179067 288 0 0 20 0 13 0 153969136 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2020/statm: 448805 186198 1331 9 0 446417 0 [pid=2020/tid=2022] ppid=2017 vsize=1795220 CPUtime=1761.51 /proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 37756 0 1 0 176121 30 0 0 25 0 13 0 153969138 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109343383 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2023] ppid=2017 vsize=1795220 CPUtime=11.65 /proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 265417 0 0 0 1041 124 0 0 16 0 13 0 153969139 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2024] ppid=2017 vsize=1795220 CPUtime=11.44 /proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 239745 0 0 0 1033 111 0 0 16 0 13 0 153969139 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2025] ppid=2017 vsize=1795220 CPUtime=8.05 /proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 21154 0 2 0 785 20 0 0 16 0 13 0 153969141 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2026] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2027] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2029] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2030] ppid=2017 vsize=1795220 CPUtime=0.43 /proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 850 0 0 0 43 0 0 0 17 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2031] ppid=2017 vsize=1795220 CPUtime=0.42 /proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 792 0 0 0 42 0 0 0 16 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2032] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2033] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2035] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1793.55 Current children cumulated vsize (KiB) 1795220 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1788.8 s] /proc/loadavg: 1.00 1.00 1.00 2/90 2038 /proc/meminfo: memFree=1017936/2055920 swapFree=4169120/4192956 [pid=2020] ppid=2017 vsize=1795220 CPUtime=1800.06 /proc/2020/stat : 2020 (java) S 2017 2020 1180 0 -1 0 566437 0 3 0 179718 288 0 0 20 0 13 0 153969136 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2020/statm: 448805 186198 1331 9 0 446417 0 [pid=2020/tid=2022] ppid=2017 vsize=1795220 CPUtime=1768.01 /proc/2020/task/2022/stat : 2022 (java) R 2017 2020 1180 0 -1 64 37756 0 1 0 176771 30 0 0 25 0 13 0 153969138 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109343383 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2023] ppid=2017 vsize=1795220 CPUtime=11.65 /proc/2020/task/2023/stat : 2023 (java) S 2017 2020 1180 0 -1 64 265417 0 0 0 1041 124 0 0 16 0 13 0 153969139 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2024] ppid=2017 vsize=1795220 CPUtime=11.44 /proc/2020/task/2024/stat : 2024 (java) S 2017 2020 1180 0 -1 64 239745 0 0 0 1033 111 0 0 16 0 13 0 153969139 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2025] ppid=2017 vsize=1795220 CPUtime=8.05 /proc/2020/task/2025/stat : 2025 (java) S 2017 2020 1180 0 -1 64 21154 0 2 0 785 20 0 0 16 0 13 0 153969141 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2026] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2026/stat : 2026 (java) S 2017 2020 1180 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2027] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2027/stat : 2027 (java) S 2017 2020 1180 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 153969142 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2029] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2029/stat : 2029 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2030] ppid=2017 vsize=1795220 CPUtime=0.43 /proc/2020/task/2030/stat : 2030 (java) S 2017 2020 1180 0 -1 64 850 0 0 0 43 0 0 0 17 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2031] ppid=2017 vsize=1795220 CPUtime=0.42 /proc/2020/task/2031/stat : 2031 (java) S 2017 2020 1180 0 -1 64 792 0 0 0 42 0 0 0 16 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2032] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2032/stat : 2032 (java) S 2017 2020 1180 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=2020/tid=2033] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2033/stat : 2033 (java) S 2017 2020 1180 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 153969146 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=2020/tid=2035] ppid=2017 vsize=1795220 CPUtime=0 /proc/2020/task/2035/stat : 2035 (java) S 2017 2020 1180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 153969193 1838305280 186198 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1795220 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1788.91 s] /proc/loadavg: 1.00 1.00 1.00 2/90 2038 /proc/meminfo: memFree=1017936/2055920 swapFree=4169120/4192956 [pid=2020] ppid=2017 vsize=0 CPUtime=1800.17 /proc/2020/stat : 2020 (java) Z 2017 2020 1180 0 -1 1036 566456 0 3 0 179725 292 0 0 15 0 2 0 153969136 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/2020/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1788.98 CPU time (s): 1800.25 CPU user time (s): 1797.25 CPU system time (s): 2.99454 CPU usage (%): 100.63 Max. virtual memory (cumulated for all children) (KiB): 1819228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.25 system time used= 2.99454 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 566456 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37197 involuntary context switches= 32620 runsolver used 1.75273 second user time and 4.80027 second system time The end
Begin job on node15 on Fri Apr 20 09:15:15 UTC 2007 IDJOB= 366367 IDBENCH= 2855 IDSOLVER= 159 FILE ID= node15/366367-1177060515 PBS_JOBID= 4640201 Free space on /tmp= 66481 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-max512.r.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/366367-1177060515/sat4jPseudoResolution.jar /tmp/evaluation/366367-1177060515/instance-366367-1177060515.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-366367-1177060515 -o ROOT/results/node15/solver-366367-1177060515 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/366367-1177060515/sat4jPseudoResolution.jar /tmp/evaluation/366367-1177060515/instance-366367-1177060515.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= abda325d00dae29cc1f423bbedcd64ad RANDOM SEED= 756581661 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1762496 kB Buffers: 53192 kB Cached: 166764 kB SwapCached: 2268 kB Active: 134468 kB Inactive: 109820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1762496 kB SwapTotal: 4192956 kB SwapFree: 4169120 kB Dirty: 3728 kB Writeback: 0 kB Mapped: 30368 kB Slab: 34648 kB Committed_AS: 6983700 kB PageTables: 1868 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66481 MiB End job on node15 on Fri Apr 20 09:45:06 UTC 2007