Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | SAT (TO) | 5 | 3600.38 | 3362.69 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=9.opb |
| MD5SUM | 5bbd9c37a994af6c8eea19ef18cfb445 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 3558.01 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 427 |
| Total number of constraints | 17423 |
| Number of constraints which are clauses | 17409 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 14 |
| 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 | 14 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 16 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2106806208 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.13/0.15 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.15 - never skip resolution steps 0.13/0.15 - Auto-division on coefficients is disabled 0.13/0.15 - No postprocessing 0.13/0.15 - Conflict is considered as is when resolving 0.13/0.15 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.15 - Weaken first using unassigned literals 0.13/0.15 - Bump strategy: ALWAYS_ONE 0.13/0.15 - Bumper: ASSIGNED 0.13/0.15 --- Begin Solver configuration --- 0.13/0.15 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.15 Learn all clauses as in MiniSAT 0.13/0.15 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.15 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.15 No reason simplification 0.13/0.15 Armin Biere (Picosat) restarts strategy 0.13/0.15 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.15 timeout=2147483s 0.13/0.15 DB Simplification allowed=false 0.13/0.15 Listener: none 0.13/0.15 --- End Solver configuration --- 0.13/0.15 c Pseudo Boolean Optimization by upper bound 0.13/0.15 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.15 c - never skip resolution steps 0.13/0.15 c - Auto-division on coefficients is disabled 0.13/0.15 c - No postprocessing 0.13/0.15 c - Conflict is considered as is when resolving 0.13/0.15 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.13/0.15 c - Weaken first using unassigned literals 0.13/0.15 c - Bump strategy: ALWAYS_ONE 0.13/0.15 c - Bumper: ASSIGNED 0.13/0.15 c --- Begin Solver configuration --- 0.13/0.15 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.13/0.15 c Learn all clauses as in MiniSAT 0.13/0.15 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.15 c No reason simplification 0.13/0.15 c Armin Biere (Picosat) restarts strategy 0.13/0.15 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.13/0.15 c timeout=2147483s 0.13/0.15 c DB Simplification allowed=false 0.13/0.15 c Listener: none 0.13/0.15 c --- End Solver configuration --- 0.13/0.15 c solving HOME/instance-4449780-1721488505.opb 0.13/0.15 c reading problem ... 0.13/0.15 c objective function found 0.53/0.36 c ... done. Wall clock time 0.21s. 0.53/0.36 c declared #vars 427 0.53/0.37 c #constraints 17423 0.53/0.37 c constraints type 0.53/0.37 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14 0.53/0.37 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 17409 0.53/0.37 c 17423 constraints processed. 0.53/0.38 c objective function length is 14 literals 0.89/0.53 c SATISFIABLE 0.89/0.53 c OPTIMIZING... 0.89/0.53 c Got one! Elapsed wall clock time (in seconds):0.372 0.89/0.53 o 14 1.09/0.62 c Got one! Elapsed wall clock time (in seconds):0.469 1.09/0.62 o 13 1.28/0.74 c Got one! Elapsed wall clock time (in seconds):0.578 1.28/0.74 o 12 1.47/0.81 c Got one! Elapsed wall clock time (in seconds):0.663 1.47/0.81 o 11 1.47/0.87 c Got one! Elapsed wall clock time (in seconds):0.719 1.47/0.87 o 10 1.67/0.92 c Got one! Elapsed wall clock time (in seconds):0.765 1.67/0.92 o 9 1.67/1.00 c Got one! Elapsed wall clock time (in seconds):0.852 1.67/1.00 o 8 4.83/2.57 c cleaning 2764 clauses out of 6307 with flag 0/6307 7.11/4.16 c cleaning 1968 clauses out of 9545 with flag 0/12309 8.78/5.69 c cleaning 1989 clauses out of 14576 with flag 0/19308 11.29/7.90 c cleaning 2996 clauses out of 20588 with flag 0/27309 13.00/9.55 c Got one! Elapsed wall clock time (in seconds):9.401 13.00/9.55 o 7 13.41/9.94 c cleaning 2767 clauses out of 23501 with flag 0/33218 14.85/11.37 c cleaning 1630 clauses out of 26736 with flag 0/39220 17.06/13.53 c cleaning 2416 clauses out of 32103 with flag 0/46217 19.47/15.96 c cleaning 1471 clauses out of 37688 with flag 0/54218 22.50/18.93 c cleaning 3466 clauses out of 45219 with flag 0/63220 22.91/19.30 c Got one! Elapsed wall clock time (in seconds):19.154 22.91/19.30 o 6 25.09/21.54 c cleaning 2671 clauses out of 47030 with flag 0/68497 27.66/24.07 c cleaning 3794 clauses out of 50358 with flag 0/74496 30.03/26.41 c cleaning 2368 clauses out of 53566 with flag 0/81498 32.43/28.86 c cleaning 2480 clauses out of 59196 with flag 0/89496 35.92/32.23 c cleaning 4115 clauses out of 65716 with flag 0/98496 38.54/34.87 c cleaning 3364 clauses out of 71601 with flag 0/108496 42.42/38.66 c cleaning 3211 clauses out of 79238 with flag 0/119497 46.98/43.11 c cleaning 3031 clauses out of 88032 with flag 0/131502 55.80/51.79 c Got one! Elapsed wall clock time (in seconds):51.638 55.80/51.79 o 5 64.28/60.26 c cleaning 4078 clauses out of 98238 with flag 0/144739 70.66/66.62 c cleaning 0 clauses out of 100159 with flag 0/150738 75.10/71.04 c cleaning 3423 clauses out of 107159 with flag 0/157738 81.08/76.83 c cleaning 5314 clauses out of 111737 with flag 0/165739 87.28/82.99 c cleaning 5427 clauses out of 115425 with flag 0/174741 90.53/86.20 c cleaning 2705 clauses out of 119997 with flag 0/184740 95.65/91.26 c cleaning 3285 clauses out of 128292 with flag 0/195740 104.55/99.90 c cleaning 6696 clauses out of 137005 with flag 0/207738 110.08/105.40 c cleaning 2341 clauses out of 143313 with flag 0/220742 117.89/113.27 c cleaning 3415 clauses out of 154970 with flag 0/234740 134.70/129.70 c cleaning 10463 clauses out of 166553 with flag 0/249738 146.56/141.34 c cleaning 9339 clauses out of 172090 with flag 0/265738 157.04/151.85 c cleaning 4233 clauses out of 179751 with flag 0/282738 172.34/166.72 c cleaning 8699 clauses out of 193518 with flag 0/300738 185.72/180.09 c cleaning 1656 clauses out of 203820 with flag 0/319739 234.37/227.80 c cleaning 12655 clauses out of 222166 with flag 0/339741 249.10/242.39 c cleaning 5411 clauses out of 230509 with flag 0/360739 263.98/257.29 c cleaning 146 clauses out of 247097 with flag 0/382738 287.17/280.23 c cleaning 8210 clauses out of 269954 with flag 0/405741 300.92/293.85 c cleaning 4169 clauses out of 285754 with flag 0/429751 323.79/316.20 c cleaning 12837 clauses out of 306574 with flag 0/454740 342.82/335.14 c cleaning 1981 clauses out of 319736 with flag 0/480739 401.60/392.50 c cleaning 18439 clauses out of 344755 with flag 0/507739 433.53/423.71 c cleaning 13199 clauses out of 354317 with flag 0/535740 481.45/470.41 c cleaning 19056 clauses out of 370117 with flag 0/564739 540.15/527.68 c cleaning 14562 clauses out of 381060 with flag 0/594738 596.05/583.32 c cleaning 8864 clauses out of 397498 with flag 0/625738 668.40/654.94 c cleaning 11170 clauses out of 420635 with flag 0/657739 733.63/720.04 c cleaning 2001 clauses out of 442464 with flag 0/690738 783.36/769.72 c cleaning 3545 clauses out of 474464 with flag 0/724739 902.91/887.32 c cleaning 19402 clauses out of 505918 with flag 0/759738 987.90/971.15 c cleaning 13203 clauses out of 522516 with flag 0/795738 1208.36/1188.04 c cleaning 25452 clauses out of 546314 with flag 0/832739 1376.56/1354.20 c cleaning 27570 clauses out of 558861 with flag 0/870738 1476.53/1452.00 c cleaning 19787 clauses out of 570291 with flag 0/909738 1565.08/1539.66 c cleaning 11064 clauses out of 590505 with flag 0/949739 1657.57/1629.43 c cleaning 17931 clauses out of 620441 with flag 0/990739 1736.89/1707.68 c cleaning 14604 clauses out of 644509 with flag 0/1032738 1785.05/1754.31 c cleaning 4950 clauses out of 672906 with flag 0/1075739 1937.58/1897.62 c cleaning 19139 clauses out of 711955 with flag 0/1119738 2164.24/2103.09 c cleaning 21806 clauses out of 737818 with flag 0/1164740 2339.91/2264.16 c cleaning 18388 clauses out of 762010 with flag 0/1210738 2692.93/2565.89 c cleaning 34111 clauses out of 790622 with flag 0/1257738 3135.58/2950.24 c cleaning 34249 clauses out of 804513 with flag 0/1305740 3345.12/3133.42 c cleaning 26123 clauses out of 819262 with flag 0/1354738 3492.28/3264.03 c cleaning 21281 clauses out of 843139 with flag 0/1404738 3575.80/3343.09 c cleaning 6153 clauses out of 872862 with flag 0/1455742 3600.02/3362.52 c starts : 217 3600.02/3362.52 c conflicts : 1467030 3600.02/3362.52 c decisions : 2096329 3600.02/3362.52 c propagations : 24454644 3600.02/3362.52 c inspects : 9036112062 3600.02/3362.52 c shortcuts : 0 3600.02/3362.52 c learnt literals : 0 3600.02/3362.52 c learnt binary clauses : 0 3600.02/3362.52 c learnt ternary clauses : 0 3600.02/3362.52 c learnt constraints : 1467029 3600.02/3362.52 c ignored constraints : 0 3600.02/3362.52 c root simplifications : 0 3600.02/3362.52 c removed literals (reason simplification) : 0 3600.02/3362.52 c reason swapping (by a shorter reason) : 0 3600.02/3362.52 c Calls to reduceDB : 64 3600.02/3362.52 c Number of update (reduction) of LBD : 21927 3600.02/3362.52 c Imported unit clauses : 0 3600.02/3362.52 c No decision after first conflict : false 3600.02/3362.52 c number of reductions to clauses (during analyze) : 0 3600.02/3362.52 c number of learned constraints concerned by reduction : 0 3600.02/3362.52 c number of learning phase by resolution : 0 3600.02/3362.52 c number of learning phase by cutting planes : 0 3600.02/3362.52 c number of rounding to 1 operations : 4553260 3600.02/3362.52 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.02/3362.52 c number of reductions of the coefficients by power 2 : 0 3600.02/3362.52 c number of right shift for reduction by power 2 : 0 3600.02/3362.52 c number of reductions of the coefficients by GCD over coefficients : 0 3600.02/3362.52 c number of ending skipping : 0 3600.02/3362.52 c number of internal skipping : 0 3600.02/3362.52 c number of derivation steps : 18579427 3600.02/3362.52 c number of skipped derivation steps : 0 3600.02/3362.52 c number of remaining unassigned : 6924 3600.02/3362.52 c number of remaining assigned : 250751788 3600.02/3362.52 c number of falsified literals weakened from reason : 0 3600.02/3362.52 c number of falsified literals weakened from conflict : 0 3600.02/3362.52 c time for arithmetic operations : 29982516711 3600.02/3362.52 c minimum degree of deleted constraints : 4 3600.02/3362.52 c maximum degree of deleted constraints : 510574 3600.02/3362.52 c number of deleted constraints : 589033 3600.02/3362.54 c speed (assignments/second) : 7273.541797969565 3600.02/3362.54 c non guided choices : 3604 3600.23/3362.66 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 810288 3600.23/3362.66 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 9130 3600.23/3362.66 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 58578 3600.23/3362.66 s SATISFIABLE 3600.23/3362.66 c Found 10 solution(s) 3600.23/3362.66 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 -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 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 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 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 3600.23/3362.67 c objective function=5 3600.23/3362.67 c Total wall clock time (in seconds): 3362.516
OK 5
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (59291 MiB free)
memory of node 1: 64510 MiB (55139 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449780-1721488505/watcher-4449780-1721488505 -o /tmp/evaluation-result-4449780-1721488505/solver-4449780-1721488505 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721481341-1084278 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4449780-1721488505.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=1089789, runsolver pid=1089786
[startup+0.100644 s]*
/proc/loadavg: 4.21 4.22 4.18 5/332 1089807
/proc/meminfo: memFree=117134988/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=18975048 memory=63216 CPUtime=0.13 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 7239 0 0 0 11 2 0 0 20 0 18 0 201018791 19430449152 15804 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4743762 15804 5664 1 0 549357 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 5760 0 0 0 7 2 0 0 20 0 18 0 201018791 19430449152 15804 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201018794 19430449152 15804 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=18975048 memory=15252645166212516 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 201018794 19430449152 15804 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63216 KiB
[startup+0.206541 s]*
/proc/loadavg: 4.21 4.22 4.18 7/332 1089807
/proc/meminfo: memFree=117124192/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=18975048 memory=74496 CPUtime=0.34 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 7796 0 0 0 31 3 0 0 20 0 18 0 201018791 19430449152 18624 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4743762 18624 5855 1 0 549700 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 6028 0 0 0 16 2 0 0 20 0 18 0 201018791 19430449152 18624 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=18975048 memory=15948 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201018794 19430449152 18624 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=18975048 memory=14408220236056116 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 201018794 19430449152 18624 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 74496 KiB
[startup+0.30584 s]*
/proc/loadavg: 4.21 4.22 4.18 7/332 1089807
/proc/meminfo: memFree=117059648/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=18975048 memory=138248 CPUtime=0.53 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 9495 0 0 0 48 5 0 0 20 0 18 0 201018791 19430449152 34562 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4743762 34562 5855 1 0 550846 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=18975048 memory=-7162515039915565920 CPUtime=0.27 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 6058 0 0 0 24 3 0 0 20 0 18 0 201018791 19430449152 34562 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201018794 19430449152 34562 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 201018794 19430449152 34562 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 138248 KiB
[startup+0.705545 s]
/proc/loadavg: 4.21 4.22 4.18 6/334 1089809
/proc/meminfo: memFree=117030952/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=19108176 memory=168836 CPUtime=1.28 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 11111 0 0 0 122 6 0 0 20 0 20 0 201018791 19566772224 42209 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4777044 42209 5908 1 0 551982 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=19108176 memory=5428 CPUtime=0.6 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 6202 0 0 0 57 3 0 0 20 0 20 0 201018791 19566772224 42209 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=19108176 memory=13120 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 42209 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=19108176 memory=164 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 42209 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089809] ppid=1089786 vsize=19108176 memory=117636 CPUtime=0 cores=0,2
/proc/1089789/task/1089809/stat : 1089809 (Timer-0) S 1089786 1089789 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201018829 19566772224 42209 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 168836 KiB
[startup+1.50026 s]
/proc/loadavg: 4.21 4.22 4.18 7/334 1089809
/proc/meminfo: memFree=117016008/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=19108176 memory=296004 CPUtime=2.84 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 23090 0 0 0 275 9 0 0 20 0 20 0 201018791 19566772224 74001 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4777044 74001 5908 1 0 556457 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=19108176 memory=13120 CPUtime=1.35 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 6607 0 0 0 130 5 0 0 20 0 20 0 201018791 19566772224 74001 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 74001 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 74001 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089809] ppid=1089786 vsize=19108176 memory=280597729813776 CPUtime=0 cores=0,2
/proc/1089789/task/1089809/stat : 1089809 (Timer-0) S 1089786 1089789 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201018829 19566772224 74001 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 296004 KiB
[startup+3.10654 s]
/proc/loadavg: 4.21 4.22 4.18 7/331 1089811
/proc/meminfo: memFree=116509376/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=19108176 memory=685808 CPUtime=6 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 27876 0 0 0 583 17 0 0 20 0 20 0 201018791 19566772224 171452 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4777044 171452 5924 1 0 556880 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=19108176 memory=0 CPUtime=2.92 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 8233 0 0 0 280 12 0 0 20 0 20 0 201018791 19566772224 171452 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=19108176 memory=13120 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 171452 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 171452 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089809] ppid=1089786 vsize=19108176 memory=11400 CPUtime=0 cores=0,2
/proc/1089789/task/1089809/stat : 1089809 (Timer-0) S 1089786 1089789 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201018829 19566772224 171452 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 685808 KiB
[startup+6.30054 s]
/proc/loadavg: 4.19 4.22 4.17 5/331 1089811
/proc/meminfo: memFree=115835852/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=19108176 memory=1349448 CPUtime=9.64 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 28806 0 0 0 934 30 0 0 20 0 20 0 201018791 19566772224 337362 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4777044 337362 5924 1 0 728167 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=19108176 memory=13120 CPUtime=6.04 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 8582 0 0 0 579 25 0 0 20 0 20 0 201018791 19566772224 337362 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 337362 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=19108176 memory=357596 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 337362 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089809] ppid=1089786 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1089789/task/1089809/stat : 1089809 (Timer-0) S 1089786 1089789 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201018829 19566772224 337362 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 9.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1349448 KiB
[startup+12.7005 s]
/proc/loadavg: 4.26 4.23 4.18 5/331 1089880
/proc/meminfo: memFree=116016864/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=19108176 memory=1745152 CPUtime=16.26 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 29789 0 0 0 1588 38 0 0 20 0 20 0 201018791 19566772224 436288 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4777044 436288 5940 1 0 728170 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=19108176 memory=0 CPUtime=12.34 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 9500 0 0 0 1202 32 0 0 20 0 20 0 201018791 19566772224 436288 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=19108176 memory=-7162515039915565920 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 436288 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=19108176 memory=1745152 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 436288 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089809] ppid=1089786 vsize=19108176 memory=2228 CPUtime=0 cores=0,2
/proc/1089789/task/1089809/stat : 1089809 (Timer-0) S 1089786 1089789 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201018829 19566772224 436288 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 16.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1745152 KiB
[startup+25.5005 s]
/proc/loadavg: 4.28 4.24 4.18 5/331 1089882
/proc/meminfo: memFree=115478880/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=19108176 memory=1790460 CPUtime=29.14 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 36672 0 0 0 2874 40 0 0 20 0 20 0 201018791 19566772224 447615 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4777044 447615 5940 1 0 728170 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=19108176 memory=1780208 CPUtime=24.8 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 11567 0 0 0 2448 32 0 0 20 0 20 0 201018791 19566772224 447615 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 447615 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=19108176 memory=4682785126089706 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 447615 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089809] ppid=1089786 vsize=19108176 memory=1349448 CPUtime=0 cores=0,2
/proc/1089789/task/1089809/stat : 1089809 (Timer-0) S 1089786 1089789 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201018829 19566772224 447615 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 29.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1790460 KiB
[startup+51.1059 s]
/proc/loadavg: 4.18 4.22 4.18 5/331 1089885
/proc/meminfo: memFree=114801460/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=19108176 memory=1895112 CPUtime=55.21 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 44750 0 0 0 5477 44 0 0 20 0 20 0 201018791 19566772224 473778 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4777044 473778 5940 1 0 728171 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=19108176 memory=1870500 CPUtime=49.6 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 14139 0 0 0 4927 33 0 0 20 0 20 0 201018791 19566772224 473778 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=19108176 memory=1884872 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 473778 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=19108176 memory=11400 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.75 4.54 4.40 5/333 1091707
/proc/meminfo: memFree=103730868/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=19108176 memory=3926876 CPUtime=3241.48 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 421761 0 0 0 323746 402 0 0 20 0 20 0 201018791 19566772224 981719 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4777044 981719 5971 1 0 996246 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=19108176 memory=11400 CPUtime=2965.89 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 163054 0 0 0 296506 83 0 0 20 0 20 0 201018791 19566772224 981719 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 52 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=19108176 memory=11400 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 981719 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=19108176 memory=13120 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 2670 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 981719 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089809] ppid=1089786 vsize=19108176 memory=3926876 CPUtime=0 cores=0,2
/proc/1089789/task/1089809/stat : 1089809 (Timer-0) S 1089786 1089789 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201018829 19566772224 981719 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 3241.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3926876 KiB
[startup+3102.3 s]
/proc/loadavg: 4.73 4.56 4.41 6/333 1091718
/proc/meminfo: memFree=103729456/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=19108176 memory=3927168 CPUtime=3309.01 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 422711 0 0 0 330489 412 0 0 20 0 20 0 201018791 19566772224 981792 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4777044 981792 5971 1 0 996322 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=19108176 memory=3926280 CPUtime=3024.6 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 163732 0 0 0 302377 83 0 0 20 0 20 0 201018791 19566772224 981792 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 52 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=19108176 memory=3926936 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 981792 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=19108176 memory=11400 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 2670 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 981792 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089809] ppid=1089786 vsize=19108176 memory=3927168 CPUtime=0 cores=0,2
/proc/1089789/task/1089809/stat : 1089809 (Timer-0) S 1089786 1089789 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201018829 19566772224 981792 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 3309.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3927168 KiB
[startup+3162.3 s]
/proc/loadavg: 4.68 4.58 4.43 5/333 1091730
/proc/meminfo: memFree=103728652/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=19108176 memory=3927284 CPUtime=3373.86 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 423725 0 0 0 336966 420 0 0 20 0 20 0 201018791 19566772224 981821 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4777044 981821 5971 1 0 996336 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=19108176 memory=3926280 CPUtime=3083.37 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 164433 0 0 0 308254 83 0 0 20 0 20 0 201018791 19566772224 981821 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 52 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=19108176 memory=3927228 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 981821 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=19108176 memory=3927228 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 2670 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 981821 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089809] ppid=1089786 vsize=19108176 memory=3927228 CPUtime=0 cores=0,2
/proc/1089789/task/1089809/stat : 1089809 (Timer-0) S 1089786 1089789 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201018829 19566772224 981821 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 3373.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3927284 KiB
[startup+3222.3 s]
/proc/loadavg: 4.85 4.64 4.46 5/333 1091740
/proc/meminfo: memFree=103727948/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=19108176 memory=3927424 CPUtime=3443.05 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 437980 0 0 0 343873 432 0 0 20 0 20 0 201018791 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4777044 981856 5971 1 0 996337 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=19108176 memory=3926280 CPUtime=3141.79 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 167949 0 0 0 314096 83 0 0 20 0 20 0 201018791 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 52 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=19108176 memory=3927416 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=19108176 memory=16216 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 2813 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089809] ppid=1089786 vsize=19108176 memory=13120 CPUtime=0 cores=0,2
/proc/1089789/task/1089809/stat : 1089809 (Timer-0) S 1089786 1089789 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201018829 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 3443.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3927424 KiB
[startup+3282.3 s]
/proc/loadavg: 4.77 4.66 4.48 5/333 1091750
/proc/meminfo: memFree=103726584/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=19108176 memory=3927424 CPUtime=3515.12 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 438709 0 0 0 351068 444 0 0 20 0 20 0 201018791 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4777044 981856 5971 1 0 996337 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=19108176 memory=3927424 CPUtime=3200.21 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 168574 0 0 0 319937 84 0 0 20 0 20 0 201018791 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 52 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=19108176 memory=2208 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=19108176 memory=3927424 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 2813 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089809] ppid=1089786 vsize=19108176 memory=11400 CPUtime=0 cores=0,2
/proc/1089789/task/1089809/stat : 1089809 (Timer-0) S 1089786 1089789 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201018829 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 3515.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3927424 KiB
[startup+3342.3 s]
/proc/loadavg: 4.62 4.63 4.48 5/335 1091765
/proc/meminfo: memFree=103725872/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=19108176 memory=3927424 CPUtime=3575.1 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 439278 0 0 0 357063 447 0 0 20 0 20 0 201018791 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4777044 981856 5971 1 0 996337 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=19108176 memory=3927424 CPUtime=3259.85 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 169072 0 0 0 325900 85 0 0 20 0 20 0 201018791 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 52 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=19108176 memory=11400 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=19108176 memory=1848 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 2813 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089809] ppid=1089786 vsize=19108176 memory=3927424 CPUtime=0 cores=0,2
/proc/1089789/task/1089809/stat : 1089809 (Timer-0) S 1089786 1089789 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201018829 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 3575.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3927424 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3362.5 s]
/proc/loadavg: 4.51 4.61 4.47 6/334 1091769
/proc/meminfo: memFree=103725344/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=19108176 memory=3927424 CPUtime=3600.02 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 439602 0 0 0 359549 453 0 0 20 0 20 0 201018791 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4777044 981856 5971 1 0 996337 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=19108176 memory=1848 CPUtime=3279.63 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 169337 0 0 0 327878 85 0 0 20 0 20 0 201018791 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 52 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=19108176 memory=3927424 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=19108176 memory=48544 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 2813 0 0 0 0 0 0 0 20 0 20 0 201018794 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089809] ppid=1089786 vsize=19108176 memory=3927424 CPUtime=0 cores=0,2
/proc/1089789/task/1089809/stat : 1089809 (Timer-0) S 1089786 1089789 1084268 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201018829 19566772224 981856 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3927424 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3362.69 s]
# the end of solver process 1089789 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.83 s, system=4.55432 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3362.61 s]
/proc/loadavg: 4.51 4.61 4.47 6/334 1091769
/proc/meminfo: memFree=103725344/131524600 swapFree=131071996/131071996
[pid=1089789] ppid=1089786 vsize=19307868 memory=3928056 CPUtime=3600.23 cores=0,2
/proc/1089789/stat : 1089789 (java) S 1089786 1089789 1084268 0 -1 1077936128 441584 0 0 0 359570 453 0 0 20 0 21 0 201018791 19771256832 982014 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
/proc/1089789/statm: 4826967 982014 5970 1 0 997258 0
[pid=1089789/tid=1089791] ppid=1089786 vsize=19307868 memory=3658304 CPUtime=3279.74 cores=0,2
/proc/1089789/task/1089791/stat : 1089791 (java) R 1089786 1089789 1084268 0 -1 4194368 169420 0 0 0 327889 85 0 0 20 0 21 0 201018791 19771256832 982014 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 52 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089800] ppid=1089786 vsize=19307868 memory=2832 CPUtime=0 cores=0,2
/proc/1089789/task/1089800/stat : 1089800 (Finalizer) S 1089786 1089789 1084268 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 201018794 19771256832 982014 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
[pid=1089789/tid=1089807] ppid=1089786 vsize=19307868 memory=4888 CPUtime=0 cores=0,2
/proc/1089789/task/1089807/stat : 1089807 (Common-Cleaner) S 1089786 1089789 1084268 0 -1 1077936192 2813 0 0 0 0 0 0 0 20 0 21 0 201018794 19771256832 982014 134679101440 94509524180992 94509524184688 140723161851312 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94509524192504 94509524193296 94509552222208 140723161854958 140723161855071 140723161855071 140723161862088 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3928056 KiB
Child status: 143
Real time (s): 3362.69
CPU time (s): 3600.38
CPU user time (s): 3595.83
CPU system time (s): 4.55432
CPU usage (%): 107.069
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3928056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.83
system time used= 4.55432
maximum resident set size= 3928944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 441885
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137174
involuntary context switches= 41419
# summary of solver processes directly reported to runsolver:
# pid: 1089789
# total CPU time (s): 3600.38
# total CPU user time (s): 3595.83
# total CPU system time (s): 4.55432
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.29826 second user time and 18.0052 second system time
The end
Begin job on nodeC031 at 2024-07-20 17:15:18 IDJOB=4449780 IDBENCH=176142 IDSOLVER=3046 FILE ID=nodeC031/4449780-1721488505 RUNJOBID= nodeC031-1721481341-1084278 SLURM_JOB_ID= 7545758 Free space on /tmp= 890080 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=9.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449780-1721488505/watcher-4449780-1721488505 -o /tmp/evaluation-result-4449780-1721488505/solver-4449780-1721488505 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721481341-1084278 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4449780-1721488505.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5bbd9c37a994af6c8eea19ef18cfb445 RANDOM SEED=1536315361 nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3650.530 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.55 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.351 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3650.626 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.55 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.240 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3606.980 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.55 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3688.315 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3678.292 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.55 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.924 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 117176920 kB MemAvailable: 124132672 kB Buffers: 553692 kB Cached: 7162808 kB SwapCached: 0 kB Active: 1106180 kB Inactive: 12422940 kB Active(anon): 1536 kB Inactive(anon): 5856988 kB Active(file): 1104644 kB Inactive(file): 6565952 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 1264 kB Writeback: 0 kB AnonPages: 5810420 kB Mapped: 128204 kB Shmem: 45912 kB KReclaimable: 249608 kB Slab: 382672 kB SReclaimable: 249608 kB SUnreclaim: 133064 kB KernelStack: 5072 kB PageTables: 21640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 7887452 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 74848 kB HardwareCorrupted: 0 kB AnonHugePages: 5502976 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 260820 kB DirectMap2M: 41455616 kB DirectMap1G: 94371840 kB Free space on /tmp at the end= 890076 MiB End job on nodeC031 at 2024-07-20 18:11:21