Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Cutting Planes 2024 2024-07-12 | SAT (TO) | 6 | 3600.31 | 3511.45 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=5.opb |
| MD5SUM | 8d06570fa4bf547e139dcdd4309b0d0f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 30.1142 |
| 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 | 242 |
| Total number of constraints | 6358 |
| Number of constraints which are clauses | 6347 |
| Number of constraints which are cardinality constraints (but not clauses) | 11 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 12 |
| Number of terms in the objective function | 11 |
| 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 | 11 |
| 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 | 13 |
| Number of bits of the biggest sum of numbers | 4 |
| 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.10 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.10 c See www.sat4j.org for details. 0.12/0.11 c version CUSTOM.v20240707 0.12/0.12 c java.runtime.name OpenJDK Runtime Environment 0.12/0.12 c java.vm.name OpenJDK 64-Bit Server VM 0.12/0.12 c java.vm.version 22.0.1+8-16 0.12/0.12 c java.vm.vendor Oracle Corporation 0.12/0.12 c sun.arch.data.model 64 0.12/0.12 c java.version 22.0.1 0.12/0.12 c os.name Linux 0.12/0.12 c os.version 4.18.0-301.1.el8.x86_64 0.12/0.12 c os.arch amd64 0.12/0.13 c Free memory 2113181440 0.12/0.13 c Max memory 16282288128 0.12/0.13 c Total memory 2122317824 0.12/0.14 c Number of processors 2 0.31/0.25 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.31/0.25 - never skip resolution steps 0.31/0.25 - Auto-division on coefficients is disabled 0.31/0.25 - No postprocessing 0.31/0.25 - Conflict is considered as is when resolving 0.31/0.25 - Use constraints as they come during conflict analysis 0.31/0.25 - Weaken first using unassigned literals 0.31/0.25 - Bump strategy: ALWAYS_ONE 0.31/0.25 - Bumper: EFFECTIVE 0.31/0.25 --- Begin Solver configuration --- 0.31/0.25 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.31/0.25 Learn all clauses as in MiniSAT 0.31/0.25 LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.31/0.25 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.31/0.25 No reason simplification 0.31/0.25 Dynamic restart strategy considering the size of the coefficients 0.31/0.25 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.31/0.25 timeout=2147483s 0.31/0.25 DB Simplification allowed=false 0.31/0.25 Listener: none 0.31/0.25 --- End Solver configuration --- 0.31/0.26 c Pseudo Boolean Optimization by upper bound 0.31/0.26 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.31/0.26 c - never skip resolution steps 0.31/0.26 c - Auto-division on coefficients is disabled 0.31/0.26 c - No postprocessing 0.31/0.26 c - Conflict is considered as is when resolving 0.31/0.26 c - Use constraints as they come during conflict analysis 0.31/0.26 c - Weaken first using unassigned literals 0.31/0.26 c - Bump strategy: ALWAYS_ONE 0.31/0.26 c - Bumper: EFFECTIVE 0.31/0.26 c --- Begin Solver configuration --- 0.31/0.26 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.31/0.26 c Learn all clauses as in MiniSAT 0.31/0.26 c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.31/0.26 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.31/0.26 c No reason simplification 0.31/0.26 c Dynamic restart strategy considering the size of the coefficients 0.31/0.26 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.31/0.26 c timeout=2147483s 0.31/0.26 c DB Simplification allowed=false 0.31/0.26 c Listener: none 0.31/0.26 c --- End Solver configuration --- 0.31/0.26 c solving HOME/instance-4449751-1721399507.opb 0.31/0.26 c reading problem ... 0.31/0.26 c objective function found 0.68/0.47 c ... done. Wall clock time 0.212s. 0.68/0.47 c declared #vars 242 0.68/0.47 c #constraints 6358 0.68/0.47 c constraints type 0.68/0.47 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 11 0.68/0.47 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6347 0.68/0.47 c 6358 constraints processed. 0.68/0.50 c objective function length is 11 literals 1.40/0.81 c SATISFIABLE 1.40/0.82 c OPTIMIZING... 1.40/0.82 c Got one! Elapsed wall clock time (in seconds):0.549 1.40/0.82 o 11 1.40/0.86 c Got one! Elapsed wall clock time (in seconds):0.596 1.40/0.86 o 10 1.40/0.86 c Got one! Elapsed wall clock time (in seconds):0.601 1.40/0.86 o 9 1.59/0.92 c Got one! Elapsed wall clock time (in seconds):0.658 1.59/0.92 o 8 1.59/0.99 c Got one! Elapsed wall clock time (in seconds):0.724 1.59/0.99 o 7 1.79/1.06 c Got one! Elapsed wall clock time (in seconds):0.8 1.79/1.06 o 6 3.75/2.07 c cleaning 3740 clauses out of 7481 with flag 0/7481 6.50/3.59 c cleaning 4858 clauses out of 9739 with flag 0/13479 9.15/5.97 c cleaning 5937 clauses out of 11881 with flag 0/20479 11.93/8.28 c cleaning 6968 clauses out of 13944 with flag 0/28479 15.95/11.93 c cleaning 7987 clauses out of 15976 with flag 0/37479 20.44/16.41 c cleaning 8980 clauses out of 17989 with flag 0/47479 26.05/22.02 c cleaning 10001 clauses out of 20009 with flag 0/58479 30.36/26.35 c cleaning 10994 clauses out of 22009 with flag 0/70480 35.97/31.96 c cleaning 11999 clauses out of 24015 with flag 0/83480 43.00/38.92 c cleaning 13002 clauses out of 26016 with flag 0/97480 50.93/46.87 c cleaning 13983 clauses out of 28013 with flag 0/112479 57.87/53.72 c cleaning 15007 clauses out of 30031 with flag 0/128480 69.92/65.63 c cleaning 16008 clauses out of 32024 with flag 0/145480 81.84/77.06 c cleaning 17002 clauses out of 34016 with flag 0/163480 94.76/89.77 c cleaning 18006 clauses out of 36016 with flag 0/182482 107.42/102.22 c cleaning 19005 clauses out of 38011 with flag 0/202483 123.84/118.15 c cleaning 19991 clauses out of 40002 with flag 0/223479 141.81/135.56 c cleaning 20999 clauses out of 42011 with flag 0/245479 158.30/151.57 c cleaning 22001 clauses out of 44012 with flag 0/268479 182.24/174.73 c cleaning 22996 clauses out of 46011 with flag 0/292479 206.88/198.65 c cleaning 24001 clauses out of 48015 with flag 0/317479 232.12/223.19 c cleaning 24999 clauses out of 50014 with flag 0/343479 259.46/249.73 c cleaning 25999 clauses out of 52016 with flag 0/370480 284.00/273.57 c cleaning 27008 clauses out of 54018 with flag 0/398481 318.37/306.97 c cleaning 27998 clauses out of 56008 with flag 0/427479 350.56/338.37 c cleaning 28993 clauses out of 58010 with flag 0/457479 383.03/369.32 c cleaning 30005 clauses out of 60018 with flag 0/488480 413.48/398.90 c cleaning 31005 clauses out of 62014 with flag 0/520481 447.39/431.97 c cleaning 31987 clauses out of 64007 with flag 0/553479 473.50/457.77 c cleaning 33005 clauses out of 66021 with flag 0/587480 506.11/489.40 c cleaning 33986 clauses out of 68015 with flag 0/622479 542.97/525.28 c cleaning 35002 clauses out of 70031 with flag 0/658481 583.93/564.59 c cleaning 35994 clauses out of 72027 with flag 0/695479 623.58/602.82 c cleaning 37004 clauses out of 74033 with flag 0/733479 659.56/637.69 c cleaning 38011 clauses out of 76029 with flag 0/772479 701.87/678.62 c cleaning 39008 clauses out of 78019 with flag 0/812480 739.82/715.40 c cleaning 39995 clauses out of 80010 with flag 0/853479 785.23/759.66 c cleaning 40995 clauses out of 82015 with flag 0/895479 832.97/806.19 c cleaning 41986 clauses out of 84020 with flag 0/938479 878.73/851.18 c cleaning 43009 clauses out of 86034 with flag 0/982479 930.91/902.33 c cleaning 44000 clauses out of 88025 with flag 0/1027479 986.20/956.13 c cleaning 45001 clauses out of 90027 with flag 0/1073481 1044.56/1013.05 c cleaning 45999 clauses out of 92025 with flag 0/1120480 1096.74/1063.84 c cleaning 47004 clauses out of 94026 with flag 0/1168480 1157.51/1123.02 c cleaning 48006 clauses out of 96021 with flag 0/1217479 1226.67/1189.75 c cleaning 48983 clauses out of 98016 with flag 0/1267480 1292.38/1253.65 c cleaning 49998 clauses out of 100035 with flag 0/1318482 1365.17/1325.23 c cleaning 51004 clauses out of 102035 with flag 0/1370480 1433.67/1392.32 c cleaning 52009 clauses out of 104030 with flag 0/1423479 1503.22/1460.14 c cleaning 53003 clauses out of 106021 with flag 0/1477479 1576.03/1531.01 c cleaning 53999 clauses out of 108018 with flag 0/1532479 1648.32/1602.16 c cleaning 54991 clauses out of 110020 with flag 0/1588480 1733.94/1685.54 c cleaning 55995 clauses out of 112028 with flag 0/1645479 1809.97/1760.45 c cleaning 57001 clauses out of 114033 with flag 0/1703479 1885.31/1833.91 c cleaning 58013 clauses out of 116033 with flag 0/1762480 1973.23/1920.40 c cleaning 58991 clauses out of 118021 with flag 0/1822481 2061.87/2006.90 c cleaning 59989 clauses out of 120028 with flag 0/1883479 2199.09/2141.49 c cleaning 61001 clauses out of 122039 with flag 0/1945479 2292.03/2231.80 c cleaning 62012 clauses out of 124038 with flag 0/2008479 2388.53/2326.14 c cleaning 62993 clauses out of 126026 with flag 0/2072479 2487.07/2422.45 c cleaning 63993 clauses out of 128034 with flag 0/2137480 2587.25/2520.43 c cleaning 65004 clauses out of 130040 with flag 0/2203479 2692.25/2623.40 c cleaning 65993 clauses out of 132036 with flag 0/2270479 2815.26/2744.21 c cleaning 67015 clauses out of 134044 with flag 0/2338480 2931.54/2857.69 c cleaning 68005 clauses out of 136030 with flag 0/2407481 3053.44/2976.81 c cleaning 69001 clauses out of 138025 with flag 0/2477481 3156.05/3077.05 c cleaning 69993 clauses out of 140022 with flag 0/2548479 3271.51/3189.82 c cleaning 71002 clauses out of 142029 with flag 0/2620479 3387.82/3303.66 c cleaning 72007 clauses out of 144031 with flag 0/2693483 3510.35/3423.56 c cleaning 72997 clauses out of 146024 with flag 0/2767483 3600.04/3511.33 c starts : 3490 3600.04/3511.35 c conflicts : 2826362 3600.04/3511.35 c decisions : 4464884 3600.04/3511.35 c propagations : 41561552 3600.04/3511.35 c inspects : 8065146003 3600.04/3511.35 c shortcuts : 0 3600.04/3511.35 c learnt literals : 0 3600.04/3511.35 c learnt binary clauses : 0 3600.04/3511.35 c learnt ternary clauses : 0 3600.04/3511.35 c learnt constraints : 2826362 3600.04/3511.35 c ignored constraints : 0 3600.04/3511.35 c root simplifications : 0 3600.04/3511.35 c removed literals (reason simplification) : 0 3600.04/3511.35 c reason swapping (by a shorter reason) : 0 3600.04/3511.35 c Calls to reduceDB : 70 3600.04/3511.35 c Number of update (reduction) of LBD : 3731645 3600.04/3511.35 c Imported unit clauses : 0 3600.04/3511.35 c No decision after first conflict : false 3600.04/3511.35 c number of reductions to clauses (during analyze) : 0 3600.04/3511.35 c number of learned constraints concerned by reduction : 0 3600.04/3511.35 c number of learning phase by resolution : 0 3600.04/3511.35 c number of learning phase by cutting planes : 0 3600.04/3511.35 c number of rounding to 1 operations : 0 3600.04/3511.35 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.04/3511.35 c number of reductions of the coefficients by power 2 : 0 3600.04/3511.35 c number of right shift for reduction by power 2 : 0 3600.04/3511.35 c number of reductions of the coefficients by GCD over coefficients : 0 3600.04/3511.35 c number of ending skipping : 0 3600.04/3511.35 c number of internal skipping : 0 3600.04/3511.35 c number of derivation steps : 23036548 3600.04/3511.35 c number of skipped derivation steps : 0 3600.04/3511.35 c number of remaining unassigned : 7074 3600.04/3511.35 c number of remaining assigned : 419075644 3600.04/3511.35 c number of falsified literals weakened from reason : 0 3600.04/3511.35 c number of falsified literals weakened from conflict : 0 3600.04/3511.35 c time for arithmetic operations : 10743580570 3600.04/3511.35 c minimum degree of deleted constraints : 1 3600.04/3511.35 c maximum degree of deleted constraints : 84573500612 3600.04/3511.35 c number of deleted constraints : 2694456 3600.04/3511.35 c speed (assignments/second) : 11838.064964509917 3600.04/3511.35 c non guided choices : 1299 3600.24/3511.41 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 76830 3600.24/3511.41 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 7561 3600.24/3511.41 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 47515 3600.24/3511.41 s SATISFIABLE 3600.24/3511.41 c Found 6 solution(s) 3600.24/3511.41 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 3600.24/3511.41 c objective function=6 3600.24/3511.41 c Total wall clock time (in seconds): 3511.145
OK 6
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: 64059 MiB (62472 MiB free)
memory of node 1: 64510 MiB (61395 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449751-1721399507/watcher-4449751-1721399507 -o /tmp/evaluation-result-4449751-1721399507/solver-4449751-1721399507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721399517-1008281 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4449751-1721399507.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Starting watchdog thread
solver pid=1008463, runsolver pid=1008460
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 0.44 0.17 0.11 10/319 1008481
/proc/meminfo: memFree=126627304/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=18975048 memory=57288 CPUtime=0.12 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 6728 0 0 0 10 2 0 0 20 0 18 0 192107105 19430449152 14322 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4743762 14322 5695 1 0 550998 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 5584 0 0 0 7 2 0 0 20 0 18 0 192107105 19430449152 14322 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192107108 19430449152 14322 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 192107109 19430449152 14322 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57288 KiB
[startup+0.208107 s]*
/proc/loadavg: 0.44 0.17 0.11 10/319 1008481
/proc/meminfo: memFree=126534252/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=18975048 memory=68044 CPUtime=0.31 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 7448 0 0 0 28 3 0 0 20 0 18 0 192107105 19430449152 17011 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4743762 17011 5700 1 0 551582 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 5902 0 0 0 17 2 0 0 20 0 18 0 192107105 19430449152 17011 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=18975048 memory=5697 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192107108 19430449152 17011 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 192107109 19430449152 17011 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68044 KiB
[startup+0.30943 s]*
/proc/loadavg: 0.44 0.17 0.11 10/319 1008481
/proc/meminfo: memFree=126264284/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=18975048 memory=71684 CPUtime=0.48 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 7623 0 0 0 45 3 0 0 20 0 18 0 192107105 19430449152 17921 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4743762 17921 5831 1 0 551755 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=18975048 memory=-7236824433767572835 CPUtime=0.28 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 6042 0 0 0 26 2 0 0 20 0 18 0 192107105 19430449152 17921 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192107108 19430449152 17921 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 192107109 19430449152 17921 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71684 KiB
[startup+0.700348 s]
/proc/loadavg: 0.44 0.17 0.11 13/321 1008483
/proc/meminfo: memFree=125808588/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=19041612 memory=111400 CPUtime=1.2 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 9390 0 0 0 115 5 0 0 20 0 19 0 192107105 19498610688 27850 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4760403 27850 5901 1 0 553228 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=19041612 memory=5512 CPUtime=0.55 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 6236 0 0 0 52 3 0 0 20 0 19 0 192107105 19498610688 27850 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=19041612 memory=11992 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192107108 19498610688 27850 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=19041612 memory=281330692973224 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 192107109 19498610688 27850 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008482] ppid=1008460 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1008463/task/1008482/stat : 1008482 (Timer-0) S 1008460 1008463 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192107155 19498610688 27850 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 111400 KiB
[startup+1.5026 s]
/proc/loadavg: 0.44 0.17 0.11 10/322 1008484
/proc/meminfo: memFree=125367820/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=19108176 memory=180604 CPUtime=2.76 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 16580 0 0 0 269 7 0 0 20 0 20 0 192107105 19566772224 45151 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4777044 45151 5933 1 0 556230 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=19108176 memory=11992 CPUtime=1.26 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 6569 0 0 0 122 4 0 0 20 0 20 0 192107105 19566772224 45151 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192107108 19566772224 45151 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 192107109 19566772224 45151 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008482] ppid=1008460 vsize=19108176 memory=281330692826384 CPUtime=0 cores=5,7
/proc/1008463/task/1008482/stat : 1008482 (Timer-0) S 1008460 1008463 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192107155 19566772224 45151 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180604 KiB
[startup+3.1056 s]
/proc/loadavg: 0.44 0.17 0.11 8/322 1008484
/proc/meminfo: memFree=123724040/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=19108176 memory=642300 CPUtime=5.85 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 21705 0 0 0 568 17 0 0 20 0 20 0 192107105 19566772224 160575 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4777044 160575 5933 1 0 558319 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=19108176 memory=0 CPUtime=2.81 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 8101 0 0 0 268 13 0 0 20 0 20 0 192107105 19566772224 160575 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=19108176 memory=11992 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192107108 19566772224 160575 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 192107109 19566772224 160575 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008482] ppid=1008460 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/1008463/task/1008482/stat : 1008482 (Timer-0) S 1008460 1008463 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192107155 19566772224 160575 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 642300 KiB
[startup+6.30047 s]
/proc/loadavg: 0.96 0.28 0.15 8/322 1008486
/proc/meminfo: memFree=121540472/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=19108176 memory=1337616 CPUtime=9.83 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 23073 0 0 0 953 30 0 0 20 0 20 0 192107105 19566772224 334404 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4777044 334404 5933 1 0 558558 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=19108176 memory=11992 CPUtime=5.92 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 8731 0 0 0 567 25 0 0 20 0 20 0 192107105 19566772224 334404 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192107108 19566772224 334404 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 192107109 19566772224 334404 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008482] ppid=1008460 vsize=19108176 memory=180604 CPUtime=0 cores=5,7
/proc/1008463/task/1008482/stat : 1008482 (Timer-0) S 1008460 1008463 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192107155 19566772224 334404 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 9.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1337616 KiB
[startup+12.7005 s]
/proc/loadavg: 1.21 0.34 0.17 7/322 1008486
/proc/meminfo: memFree=119658368/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=19108176 memory=2246020 CPUtime=16.75 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 24449 0 0 0 1627 48 0 0 20 0 20 0 192107105 19566772224 561505 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4777044 561505 5949 1 0 790421 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=19108176 memory=0 CPUtime=12.08 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 9486 0 0 0 1165 43 0 0 20 0 20 0 192107105 19566772224 561505 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192107108 19566772224 561505 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=19108176 memory=2246020 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 192107109 19566772224 561505 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008482] ppid=1008460 vsize=19108176 memory=11992 CPUtime=0 cores=5,7
/proc/1008463/task/1008482/stat : 1008482 (Timer-0) S 1008460 1008463 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192107155 19566772224 561505 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 16.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2246020 KiB
[startup+25.5005 s]
/proc/loadavg: 2.13 0.59 0.25 5/322 1008487
/proc/meminfo: memFree=116700852/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=19108176 memory=2771524 CPUtime=29.56 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 29111 0 0 0 2895 61 0 0 20 0 20 0 192107105 19566772224 692881 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4777044 692881 5949 1 0 924110 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=19108176 memory=2246020 CPUtime=24.42 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 12123 0 0 0 2388 54 0 0 20 0 20 0 192107105 19566772224 692881 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=19108176 memory=-7236824433767572835 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192107108 19566772224 692881 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=19108176 memory=44960 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 192107109 19566772224 692881 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008482] ppid=1008460 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1008463/task/1008482/stat : 1008482 (Timer-0) S 1008460 1008463 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192107155 19566772224 692881 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 29.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2771524 KiB
[startup+51.1135 s]
/proc/loadavg: 3.24 0.98 0.39 5/322 1008492
/proc/meminfo: memFree=113442836/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=19108176 memory=2775884 CPUtime=55.26 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 34060 0 0 0 5463 63 0 0 20 0 20 0 192107105 19566772224 693971 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4777044 693971 5949 1 0 924112 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=19108176 memory=2775884 CPUtime=49.36 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) S 1008460 1008463 1008215 0 -1 1077936192 15334 0 0 0 4882 54 0 0 20 0 20 0 192107105 19566772224 693971 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=19108176 memory=44960 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192107108 19566772224 693971 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.15 4.28 4.18 5/321 1009704
/proc/meminfo: memFree=104060832/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=19108176 memory=5094832 CPUtime=3243.42 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 328419 0 0 0 323974 368 0 0 20 0 20 0 192107105 19566772224 1273708 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4777044 1273708 5996 1 0 1286279 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=19108176 memory=5094832 CPUtime=3058.01 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 159636 0 0 0 305672 129 0 0 20 0 20 0 192107105 19566772224 1273708 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=19108176 memory=5094832 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192107108 19566772224 1273708 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=19108176 memory=5094832 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 2440 0 0 0 0 0 0 0 20 0 20 0 192107109 19566772224 1273708 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008482] ppid=1008460 vsize=19108176 memory=-7236824433767572835 CPUtime=0 cores=5,7
/proc/1008463/task/1008482/stat : 1008482 (Timer-0) S 1008460 1008463 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192107155 19566772224 1273708 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 3243.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5094832 KiB
[startup+3222.3 s]
/proc/loadavg: 4.50 4.34 4.20 5/321 1009715
/proc/meminfo: memFree=108709976/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=19108176 memory=5094840 CPUtime=3304.85 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 341627 0 0 0 330111 374 0 0 20 0 20 0 192107105 19566772224 1273710 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4777044 1273710 5996 1 0 1286281 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=19108176 memory=5094832 CPUtime=3116.14 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 160994 0 0 0 311484 130 0 0 20 0 20 0 192107105 19566772224 1273710 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=19108176 memory=5094832 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192107108 19566772224 1273710 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=19108176 memory=5094840 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 2515 0 0 0 0 0 0 0 20 0 20 0 192107109 19566772224 1273710 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008482] ppid=1008460 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/1008463/task/1008482/stat : 1008482 (Timer-0) S 1008460 1008463 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192107155 19566772224 1273710 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 3304.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5094840 KiB
[startup+3282.3 s]
/proc/loadavg: 4.66 4.42 4.24 5/320 1010111
/proc/meminfo: memFree=108526620/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=19108176 memory=5094860 CPUtime=3366.24 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 343432 0 0 0 336246 378 0 0 20 0 20 0 192107105 19566772224 1273715 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4777044 1273715 5996 1 0 1286281 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=19108176 memory=5094860 CPUtime=3174.22 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 161788 0 0 0 317291 131 0 0 20 0 20 0 192107105 19566772224 1273715 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=19108176 memory=5094860 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192107108 19566772224 1273715 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 2515 0 0 0 0 0 0 0 20 0 20 0 192107109 19566772224 1273715 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008482] ppid=1008460 vsize=19108176 memory=44960 CPUtime=0 cores=5,7
/proc/1008463/task/1008482/stat : 1008482 (Timer-0) S 1008460 1008463 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192107155 19566772224 1273715 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 3366.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5094860 KiB
[startup+3342.3 s]
/proc/loadavg: 4.48 4.41 4.25 5/320 1010121
/proc/meminfo: memFree=107225372/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=19108176 memory=5094868 CPUtime=3427.31 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 347468 0 0 0 342347 384 0 0 20 0 20 0 192107105 19566772224 1273717 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4777044 1273717 5996 1 0 1286281 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=19108176 memory=0 CPUtime=3232.54 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 163976 0 0 0 323123 131 0 0 20 0 20 0 192107105 19566772224 1273717 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192107108 19566772224 1273717 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=19108176 memory=5094868 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 2515 0 0 0 0 0 0 0 20 0 20 0 192107109 19566772224 1273717 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008482] ppid=1008460 vsize=19108176 memory=-7236824433767572835 CPUtime=0 cores=5,7
/proc/1008463/task/1008482/stat : 1008482 (Timer-0) S 1008460 1008463 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192107155 19566772224 1273717 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 3427.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5094868 KiB
[startup+3402.3 s]
/proc/loadavg: 4.40 4.40 4.25 5/320 1010131
/proc/meminfo: memFree=106170160/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=19108176 memory=5094868 CPUtime=3488.74 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 347935 0 0 0 348486 388 0 0 20 0 20 0 192107105 19566772224 1273717 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4777044 1273717 5996 1 0 1286281 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=19108176 memory=5094868 CPUtime=3290.44 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 164181 0 0 0 328912 132 0 0 20 0 20 0 192107105 19566772224 1273717 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=19108176 memory=44960 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192107108 19566772224 1273717 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=19108176 memory=5094868 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 2590 0 0 0 0 0 0 0 20 0 20 0 192107109 19566772224 1273717 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008482] ppid=1008460 vsize=19108176 memory=11992 CPUtime=0 cores=5,7
/proc/1008463/task/1008482/stat : 1008482 (Timer-0) S 1008460 1008463 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192107155 19566772224 1273717 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 3488.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5094868 KiB
[startup+3462.3 s]
/proc/loadavg: 4.31 4.37 4.25 5/323 1010315
/proc/meminfo: memFree=106169460/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=19108176 memory=5094868 CPUtime=3549.85 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 349057 0 0 0 354593 392 0 0 20 0 20 0 192107105 19566772224 1273717 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4777044 1273717 5996 1 0 1286281 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=19108176 memory=5094868 CPUtime=3348.84 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 165143 0 0 0 334752 132 0 0 20 0 20 0 192107105 19566772224 1273717 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=19108176 memory=44960 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192107108 19566772224 1273717 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=19108176 memory=11992 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 2590 0 0 0 0 0 0 0 20 0 20 0 192107109 19566772224 1273717 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008482] ppid=1008460 vsize=19108176 memory=5512 CPUtime=0 cores=5,7
/proc/1008463/task/1008482/stat : 1008482 (Timer-0) S 1008460 1008463 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192107155 19566772224 1273717 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 3549.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5094868 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3511.3 s]
/proc/loadavg: 4.25 4.34 4.25 5/322 1010391
/proc/meminfo: memFree=109083728/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=19108176 memory=5094880 CPUtime=3600.04 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 349773 0 0 0 359607 397 0 0 20 0 20 0 192107105 19566772224 1273720 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4777044 1273720 5996 1 0 1286281 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=19108176 memory=5094868 CPUtime=3396.29 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 165777 0 0 0 339497 132 0 0 20 0 20 0 192107105 19566772224 1273720 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 43 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=19108176 memory=5094880 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192107108 19566772224 1273720 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=19108176 memory=5094868 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 2590 0 0 0 0 0 0 0 20 0 20 0 192107109 19566772224 1273720 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008482] ppid=1008460 vsize=19108176 memory=5094880 CPUtime=0 cores=5,7
/proc/1008463/task/1008482/stat : 1008482 (Timer-0) S 1008460 1008463 1008215 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192107155 19566772224 1273720 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5094880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3511.45 s]
# the end of solver process 1008463 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.31 s, system=3.99279 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3511.41 s]
/proc/loadavg: 4.25 4.34 4.25 5/322 1010391
/proc/meminfo: memFree=109083728/131655788 swapFree=131071996/131071996
[pid=1008463] ppid=1008460 vsize=19307868 memory=5095836 CPUtime=3600.24 cores=5,7
/proc/1008463/stat : 1008463 (java) S 1008460 1008463 1008215 0 -1 1077936128 352961 0 0 0 359627 397 0 0 20 0 21 0 192107105 19771256832 1273959 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
/proc/1008463/statm: 4826967 1273959 5995 1 0 1287288 0
[pid=1008463/tid=1008465] ppid=1008460 vsize=19307868 memory=16252 CPUtime=3396.35 cores=5,7
/proc/1008463/task/1008465/stat : 1008465 (java) R 1008460 1008463 1008215 0 -1 4194368 165906 0 0 0 339503 132 0 0 20 0 21 0 192107105 19771256832 1273959 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 43 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008474] ppid=1008460 vsize=19307868 memory=32180 CPUtime=0 cores=5,7
/proc/1008463/task/1008474/stat : 1008474 (Finalizer) S 1008460 1008463 1008215 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 192107108 19771256832 1273959 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
[pid=1008463/tid=1008481] ppid=1008460 vsize=19307868 memory=11600 CPUtime=0 cores=5,7
/proc/1008463/task/1008481/stat : 1008481 (Common-Cleaner) S 1008460 1008463 1008215 0 -1 1077936192 2590 0 0 0 0 0 0 0 20 0 21 0 192107109 19771256832 1273959 134679101440 94653880975360 94653880979056 140722895707792 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94653880986872 94653880987664 94653908033536 140722895709171 140722895709279 140722895709279 140722895716296 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5095836 KiB
Child status: 143
Real time (s): 3511.45
CPU time (s): 3600.31
CPU user time (s): 3596.31
CPU system time (s): 3.99279
CPU usage (%): 102.531
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5095836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.31
system time used= 3.9928
maximum resident set size= 5096708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135831
involuntary context switches= 8491
# summary of solver processes directly reported to runsolver:
# pid: 1008463
# total CPU time (s): 3600.31
# total CPU user time (s): 3596.31
# total CPU system time (s): 3.99279
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8298 second user time and 37.0376 second system time
The end
Begin job on nodeC008 at 2024-07-19 16:31:59 IDJOB=4449751 IDBENCH=176105 IDSOLVER=3052 FILE ID=nodeC008/4449751-1721399507 RUNJOBID= nodeC008-1721399517-1008281 SLURM_JOB_ID= 7545437 Free space on /tmp= 723760 MiB SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=11-t=5.opb COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449751-1721399507/watcher-4449751-1721399507 -o /tmp/evaluation-result-4449751-1721399507/solver-4449751-1721399507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721399517-1008281 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4449751-1721399507.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8d06570fa4bf547e139dcdd4309b0d0f RANDOM SEED=604538001 nodeC008.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 : 0xb00001f cpu MHz : 3491.957 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91 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 : 0xb00001f cpu MHz : 3491.958 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 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 : 0xb00001f cpu MHz : 3491.958 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91 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 : 0xb00001f cpu MHz : 3491.957 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 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 : 0xb00001f cpu MHz : 3491.957 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91 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 : 0xb00001f cpu MHz : 1895.638 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 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 : 0xb00001f cpu MHz : 2993.107 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91 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 : 0xb00001f cpu MHz : 2494.258 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126848892 kB MemAvailable: 129176524 kB Buffers: 555732 kB Cached: 2598060 kB SwapCached: 0 kB Active: 1075448 kB Inactive: 3134596 kB Active(anon): 1476 kB Inactive(anon): 1100340 kB Active(file): 1073972 kB Inactive(file): 2034256 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 11188 kB Writeback: 4 kB AnonPages: 1055940 kB Mapped: 126952 kB Shmem: 45896 kB KReclaimable: 118868 kB Slab: 224400 kB SReclaimable: 118868 kB SUnreclaim: 105532 kB KernelStack: 4848 kB PageTables: 11832 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 7407424 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59936 kB HardwareCorrupted: 0 kB AnonHugePages: 624640 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: 203592 kB DirectMap2M: 24866816 kB DirectMap1G: 111149056 kB Free space on /tmp at the end= 723760 MiB End job on nodeC008 at 2024-07-19 17:30:31