Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | -26 | 1800.08 | 899.468 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_2.opb |
| MD5SUM | 4a1dc018d8373d1119ec5a7a226f506e |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -30 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -29 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 44 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6220 |
| Sum of products size (including duplicates) | 12440 |
| Number of different products | 3110 |
| Sum of products size | 6220 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization by upper bound 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Glucose 2.1 dynamic restart strategy 0.11/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-4106704-1466275900.opb 0.11/0.11 c reading problem ... 0.11/0.11 c objective function found 0.74/0.44 c ... done. Wall clock time 0.33s. 0.74/0.44 c declared #vars 200 0.74/0.44 c internal #vars 3310 0.74/0.44 c #constraints 6620 0.74/0.44 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.74/0.44 c constraints type 0.74/0.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3110 0.74/0.44 c org.sat4j.minisat.constraints.cnf.UnitClauses => 183 0.74/0.44 c org.sat4j.specs.Constr$1 => 210 0.74/0.44 c org.sat4j.minisat.constraints.cnf.UnitClause => 7 0.74/0.44 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3110 0.74/0.44 c 6620 constraints processed. 0.74/0.44 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.74/0.44 c constraints type 0.74/0.44 c org.sat4j.specs.Constr$1 => 210 0.74/0.44 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3110 0.74/0.44 c org.sat4j.pb.constraints.pb.UnitClausesPB => 183 0.74/0.44 c org.sat4j.pb.constraints.pb.UnitClausePB => 7 0.74/0.44 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3110 0.74/0.44 c 6620 constraints processed. 0.74/0.44 c objective function length is 200 literals 0.74/0.48 c And the winner is solver0 1.79/0.94 c SATISFIABLE 1.79/0.94 c OPTIMIZING... 1.79/0.94 c Got one! Elapsed wall clock time (in seconds):0.835 1.79/0.94 o -19 2.03/1.08 c And the winner is solver1 2.65/1.44 c Got one! Elapsed wall clock time (in seconds):1.337 2.65/1.44 o -20 3.27/1.61 c And the winner is solver1 3.47/1.94 c Got one! Elapsed wall clock time (in seconds):1.838 3.47/1.94 o -21 3.63/2.05 c And the winner is solver1 3.90/2.45 c Got one! Elapsed wall clock time (in seconds):2.339 3.90/2.45 o -22 4.01/2.56 c And the winner is solver1 4.17/2.95 c Got one! Elapsed wall clock time (in seconds):2.841 4.17/2.95 o -23 4.27/3.05 c And the winner is solver1 4.27/3.06 c cleaning 2830 clauses out of 5661 with flag 2183/5661 4.42/3.45 c Got one! Elapsed wall clock time (in seconds):3.342 4.42/3.45 o -24 5.48/3.90 c cleaning 3916 clauses out of 7831 with flag 11924/10661 6.60/4.47 c cleaning 4955 clauses out of 9917 with flag 25309/16663 8.07/5.17 c cleaning 5981 clauses out of 11961 with flag 41964/23662 9.79/5.99 c cleaning 6990 clauses out of 13979 with flag 59905/31661 11.67/6.85 c cleaning 7996 clauses out of 15991 with flag 79882/40663 13.64/7.78 c cleaning 8993 clauses out of 17993 with flag 100864/50661 15.94/8.90 c cleaning 10000 clauses out of 20000 with flag 124057/61661 18.52/10.10 c cleaning 10999 clauses out of 22000 with flag 149371/73661 21.43/11.56 c cleaning 12001 clauses out of 24001 with flag 176690/86661 24.85/13.22 c cleaning 13001 clauses out of 26001 with flag 206038/100662 26.43/14.00 c And the winner is solver1 26.43/14.48 c Got one! Elapsed wall clock time (in seconds):14.37 26.43/14.48 o -25 29.05/15.75 c cleaning 12849 clauses out of 25713 with flag 12564/113375 31.06/16.70 c cleaning 9431 clauses out of 18864 with flag 27255/119375 33.07/17.73 c cleaning 8218 clauses out of 16438 with flag 45611/126380 34.86/18.70 c cleaning 8101 clauses out of 16216 with flag 66121/134376 37.56/19.92 c cleaning 8553 clauses out of 17114 with flag 89305/143375 40.16/21.29 c cleaning 9281 clauses out of 18561 with flag 115287/153375 43.37/22.81 c cleaning 10138 clauses out of 20281 with flag 142775/164376 46.57/24.46 c cleaning 11067 clauses out of 22142 with flag 171159/176375 50.44/26.40 c cleaning 12035 clauses out of 24075 with flag 202610/189375 54.84/28.59 c cleaning 13016 clauses out of 26040 with flag 237601/203375 60.24/31.28 c cleaning 14008 clauses out of 28024 with flag 275286/218375 67.40/34.70 c cleaning 15006 clauses out of 30016 with flag 316522/234375 73.60/37.88 c cleaning 16001 clauses out of 32010 with flag 357581/251375 81.40/41.72 c cleaning 17002 clauses out of 34009 with flag 401574/269375 89.11/45.60 c And the winner is solver1 89.30/45.98 c Got one! Elapsed wall clock time (in seconds):45.877 89.30/45.98 o -26 93.74/48.22 c cleaning 20397 clauses out of 40801 with flag 11798/293169 97.14/49.91 c cleaning 13202 clauses out of 26403 with flag 27155/299168 99.54/51.17 c cleaning 10099 clauses out of 20203 with flag 45200/306170 101.94/52.32 c cleaning 9051 clauses out of 18102 with flag 65852/314168 103.96/53.38 c cleaning 9022 clauses out of 18051 with flag 86590/323168 106.45/54.56 c cleaning 9512 clauses out of 19029 with flag 110306/333168 109.04/55.88 c cleaning 10259 clauses out of 20519 with flag 136507/344170 112.24/57.48 c cleaning 11126 clauses out of 22262 with flag 166273/356172 115.84/59.28 c cleaning 12063 clauses out of 24132 with flag 198648/369168 120.24/61.42 c cleaning 13033 clauses out of 26069 with flag 232939/383168 124.84/63.74 c cleaning 14017 clauses out of 28038 with flag 267665/398170 130.70/66.65 c cleaning 15003 clauses out of 30019 with flag 306757/414168 137.10/69.87 c cleaning 16007 clauses out of 32017 with flag 347627/431169 140.90/71.78 c cleaning 0 clauses out of 5742 with flag 0/5742 146.59/74.46 c cleaning 17002 clauses out of 34010 with flag 395914/449169 155.95/79.03 c cleaning 17996 clauses out of 36007 with flag 445236/468168 165.18/83.67 c cleaning 19003 clauses out of 38011 with flag 493590/488168 175.29/88.96 c cleaning 20005 clauses out of 40010 with flag 544952/509170 184.89/93.79 c cleaning 20996 clauses out of 42004 with flag 599043/531169 197.34/99.97 c cleaning 22004 clauses out of 44007 with flag 658551/554168 211.94/107.28 c cleaning 23000 clauses out of 46005 with flag 718735/578170 228.03/115.22 c cleaning 24001 clauses out of 48003 with flag 783975/603168 244.32/123.35 c cleaning 25001 clauses out of 50002 with flag 850484/629168 260.50/131.49 c cleaning 25995 clauses out of 52002 with flag 918341/656169 278.77/140.51 c cleaning 27001 clauses out of 54007 with flag 987433/684169 301.27/151.79 c cleaning 27999 clauses out of 56005 with flag 1063977/713168 321.93/162.02 c cleaning 28998 clauses out of 58006 with flag 1141161/743168 345.85/173.96 c cleaning 30001 clauses out of 60008 with flag 1220205/774168 369.76/185.84 c cleaning 30999 clauses out of 62008 with flag 1300681/806169 399.42/200.61 c cleaning 31998 clauses out of 64008 with flag 1381343/839168 430.72/216.22 c cleaning 33006 clauses out of 66012 with flag 1464999/873170 449.21/225.48 c cleaning 33998 clauses out of 68004 with flag 1538667/908168 470.36/236.33 c cleaning 35004 clauses out of 70007 with flag 1614011/944169 489.95/246.12 c cleaning 36001 clauses out of 72005 with flag 1691073/981171 512.40/257.31 c cleaning 36995 clauses out of 74002 with flag 1770853/1019169 539.31/270.74 c cleaning 37999 clauses out of 76006 with flag 1852725/1058168 562.79/282.41 c cleaning 39004 clauses out of 78008 with flag 1936334/1098169 585.49/293.71 c cleaning 40002 clauses out of 80003 with flag 2021499/1139168 609.08/305.40 c cleaning 41001 clauses out of 82001 with flag 2109220/1181168 638.02/319.81 c cleaning 41997 clauses out of 84001 with flag 2199950/1224169 667.38/334.45 c cleaning 43002 clauses out of 86004 with flag 2292856/1268169 696.50/348.99 c cleaning 43996 clauses out of 88003 with flag 2387701/1313170 727.93/364.53 c cleaning 44997 clauses out of 90006 with flag 2484602/1359169 738.72/369.92 c cleaning 0 clauses out of 11743 with flag 0/11743 755.10/378.01 c cleaning 46004 clauses out of 92010 with flag 2583436/1406170 783.01/391.95 c cleaning 46995 clauses out of 94006 with flag 2684009/1454170 813.51/407.17 c cleaning 48005 clauses out of 96010 with flag 2786961/1503169 842.54/421.53 c cleaning 49002 clauses out of 98005 with flag 2892000/1553169 873.69/437.08 c cleaning 49998 clauses out of 100002 with flag 2998902/1604168 907.84/454.03 c cleaning 50999 clauses out of 102005 with flag 3107857/1656169 942.35/471.19 c cleaning 52004 clauses out of 104007 with flag 3219351/1709170 975.19/487.98 c cleaning 52993 clauses out of 106002 with flag 3332990/1763169 1003.84/502.24 c cleaning 53999 clauses out of 108008 with flag 3448297/1818168 1032.60/516.56 c cleaning 55002 clauses out of 110010 with flag 3565298/1874169 1067.48/533.99 c cleaning 55997 clauses out of 112008 with flag 3685270/1931169 1102.86/551.57 c cleaning 57005 clauses out of 114010 with flag 3807582/1989168 1140.67/570.36 c cleaning 58003 clauses out of 116005 with flag 3931731/2048168 1185.11/592.48 c cleaning 58994 clauses out of 118003 with flag 4057747/2108169 1235.35/617.48 c cleaning 59998 clauses out of 120008 with flag 4186073/2169168 1282.18/640.71 c cleaning 61007 clauses out of 122013 with flag 4316215/2231171 1332.15/665.69 c cleaning 62003 clauses out of 124005 with flag 4448173/2294170 1389.31/694.14 c cleaning 62997 clauses out of 126002 with flag 4582834/2358170 1441.95/720.38 c cleaning 63996 clauses out of 128004 with flag 4720153/2423169 1492.93/746.57 c cleaning 65004 clauses out of 130007 with flag 4858698/2489168 1544.14/772.03 c cleaning 66002 clauses out of 132004 with flag 4998584/2556169 1597.15/798.48 c cleaning 67002 clauses out of 134003 with flag 5140810/2624170 1651.06/825.25 c cleaning 67998 clauses out of 135999 with flag 5285552/2693168 1700.70/849.98 c cleaning 69001 clauses out of 138001 with flag 5432743/2763168 1758.67/878.80 c cleaning 69992 clauses out of 140001 with flag 5581843/2834169 1800.08/899.40 c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<< 1800.08/899.40 c starts : 15259 1800.08/899.40 c conflicts : 2899113 1800.08/899.40 c decisions : 5026743 1800.08/899.40 c propagations : 18675914 1800.08/899.40 c inspects : 10627933839 1800.08/899.40 c shortcuts : 0 1800.08/899.40 c learnt literals : 0 1800.08/899.40 c learnt binary clauses : 0 1800.08/899.40 c learnt ternary clauses : 0 1800.08/899.40 c learnt constraints : 2899113 1800.08/899.40 c ignored constraints : 0 1800.08/899.40 c root simplifications : 0 1800.08/899.40 c removed literals (reason simplification) : 82269825 1800.08/899.40 c reason swapping (by a shorter reason) : 0 1800.08/899.40 c Calls to reduceDB : 92 1800.08/899.40 c Number of update (reduction) of LBD : 118376 1800.08/899.40 c Imported unit clauses : 0 1800.08/899.40 c number of reductions to clauses (during analyze) : 0 1800.08/899.40 c number of learned constraints concerned by reduction : 0 1800.08/899.40 c number of learning phase by resolution : 0 1800.08/899.40 c number of learning phase by cutting planes : 0 1800.08/899.40 c speed (assignments/second) : 21883.639806472554 1800.08/899.40 c non guided choices 0 1800.08/899.43 c learnt constraints type 1800.08/899.43 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 134953 1800.08/899.43 c >>>>>>>>>> Solver number 1 (7 answers) <<<<<<<<<<<<<<<<<< 1800.08/899.43 c starts : 52 1800.08/899.43 c conflicts : 17948 1800.08/899.43 c decisions : 20593 1800.08/899.43 c propagations : 186354 1800.08/899.43 c inspects : 872017316 1800.08/899.43 c shortcuts : 0 1800.08/899.43 c learnt literals : 0 1800.08/899.43 c learnt binary clauses : 0 1800.08/899.43 c learnt ternary clauses : 0 1800.08/899.43 c learnt constraints : 17948 1800.08/899.43 c ignored constraints : 0 1800.08/899.43 c root simplifications : 0 1800.08/899.43 c removed literals (reason simplification) : 0 1800.08/899.43 c reason swapping (by a shorter reason) : 0 1800.08/899.43 c Calls to reduceDB : 2 1800.08/899.43 c Number of update (reduction) of LBD : 0 1800.08/899.43 c Imported unit clauses : 0 1800.08/899.43 c number of reductions to clauses (during analyze) : 0 1800.08/899.43 c number of learned constraints concerned by reduction : 0 1800.08/899.43 c number of learning phase by resolution : 0 1800.08/899.43 c number of learning phase by cutting planes : 0 1800.08/899.43 c speed (assignments/second) : 207.41006209368925 1800.08/899.43 c non guided choices 0 1800.08/899.44 c learnt constraints type 1800.08/899.44 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 268 1800.08/899.44 c org.sat4j.pb.constraints.pb.MaxWatchPb => 17680 1800.08/899.44 s SATISFIABLE 1800.08/899.44 c Found 8 solution(s) 1800.08/899.44 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 1800.08/899.44 c objective function=-26 1800.08/899.44 c Total wall clock time (in seconds): 899.331
OK -26
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106704-1466275900/watcher-4106704-1466275900 -o /tmp/evaluation-result-4106704-1466275900/solver-4106704-1466275900 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466274976-28101 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106704-1466275900.opb pid=28497 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.05 4.06 3.34 3/197 28500 /proc/meminfo: memFree=28045936/32872528 swapFree=1542984/1696284 [pid=28500] ppid=28497 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/28500/stat : 28500 (java) S 28497 28500 28084 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 29636637 98570240 976 33554432000 1073741824 1073778376 140735143804528 140735143795664 270710898749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28500/statm: 24065 977 744 9 0 16771 0 [pid=28500/tid=28501] ppid=28497 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28501/stat : 28501 (java) R 28497 28500 28084 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 29636637 98570240 977 33554432000 1073741824 1073778376 140735143804528 139724941004328 270707541376 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 [startup+0.100114 s] /proc/loadavg: 4.05 4.06 3.34 3/197 28500 /proc/meminfo: memFree=28045936/32872528 swapFree=1542984/1696284 [pid=28500] ppid=28497 vsize=9558476 CPUtime=0.11 cores=1,3,5,7 /proc/28500/stat : 28500 (java) S 28497 28500 28084 0 -1 4202496 4504 0 1 0 10 1 0 0 20 0 18 0 29636637 9787879424 6132 33554432000 1073741824 1073778376 140735143804528 140735143795664 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28500/statm: 2389619 6133 2156 9 0 2380296 0 [pid=28500/tid=28501] ppid=28497 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/28500/task/28501/stat : 28501 (java) R 28497 28500 28084 0 -1 4202560 2388 0 1 0 7 0 0 0 20 0 18 0 29636637 9787879424 6133 33554432000 1073741824 1073778376 140735143804528 139724941007776 270710924557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558476 [startup+0.200293 s] /proc/loadavg: 4.05 4.06 3.34 3/197 28500 /proc/meminfo: memFree=28045936/32872528 swapFree=1542984/1696284 [pid=28500] ppid=28497 vsize=9558476 CPUtime=0.24 cores=1,3,5,7 /proc/28500/stat : 28500 (java) S 28497 28500 28084 0 -1 4202496 4599 0 1 0 23 1 0 0 20 0 18 0 29636637 9787879424 7231 33554432000 1073741824 1073778376 140735143804528 140735143795664 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28500/statm: 2389619 7231 2213 9 0 2380296 0 [pid=28500/tid=28501] ppid=28497 vsize=9558476 CPUtime=0.17 cores=1,3,5,7 /proc/28500/task/28501/stat : 28501 (java) R 28497 28500 28084 0 -1 4202560 2408 0 1 0 17 0 0 0 20 0 18 0 29636637 9787879424 7231 33554432000 1073741824 1073778376 140735143804528 139724941007776 139724765496804 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300291 s] /proc/loadavg: 4.05 4.06 3.34 3/197 28500 /proc/meminfo: memFree=28045936/32872528 swapFree=1542984/1696284 [pid=28500] ppid=28497 vsize=9558476 CPUtime=0.49 cores=1,3,5,7 /proc/28500/stat : 28500 (java) S 28497 28500 28084 0 -1 4202496 5997 0 1 0 48 1 0 0 20 0 18 0 29636637 9787879424 9048 33554432000 1073741824 1073778376 140735143804528 140735143795664 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28500/statm: 2389619 9048 2240 9 0 2380296 0 [pid=28500/tid=28501] ppid=28497 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/28500/task/28501/stat : 28501 (java) R 28497 28500 28084 0 -1 4202560 2412 0 1 0 26 1 0 0 20 0 18 0 29636637 9787879424 9048 33554432000 1073741824 1073778376 140735143804528 139724941008840 139724765381160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558476 [startup+0.700247 s] /proc/loadavg: 4.05 4.06 3.34 3/197 28500 /proc/meminfo: memFree=28045936/32872528 swapFree=1542984/1696284 [pid=28500] ppid=28497 vsize=9759808 CPUtime=1.47 cores=1,3,5,7 /proc/28500/stat : 28500 (java) S 28497 28500 28084 0 -1 4202496 25845 0 1 0 140 7 0 0 20 0 19 0 29636637 9994043392 26929 33554432000 1073741824 1073778376 140735143804528 140735143795664 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28500/statm: 2439952 26929 2259 9 0 2430629 0 [pid=28500/tid=28501] ppid=28497 vsize=9759808 CPUtime=0.42 cores=1,3,5,7 /proc/28500/task/28501/stat : 28501 (java) S 28497 28500 28084 0 -1 4202560 2438 0 1 0 40 2 0 0 20 0 19 0 29636637 9994043392 26929 33554432000 1073741824 1073778376 140735143804528 139724941009784 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 9759808 [startup+1.50071 s] /proc/loadavg: 4.05 4.06 3.34 5/216 28525 /proc/meminfo: memFree=27935440/32872528 swapFree=1542984/1696284 [pid=28500] ppid=28497 vsize=9824732 CPUtime=2.86 cores=1,3,5,7 /proc/28500/stat : 28500 (java) S 28497 28500 28084 0 -1 4202496 27251 0 1 0 277 9 0 0 20 0 22 0 29636637 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 140735143795664 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28500/statm: 2456183 32194 2270 9 0 2446860 0 [pid=28500/tid=28501] ppid=28497 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/28500/task/28501/stat : 28501 (java) S 28497 28500 28084 0 -1 4202560 2438 0 1 0 41 2 0 0 20 0 22 0 29636637 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724941009784 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28503] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28503/stat : 28503 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636638 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724902500904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28504] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28504/stat : 28504 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636638 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724901448104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28505] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28505/stat : 28505 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636638 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724900395304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28506] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28506/stat : 28506 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636638 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724899342504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28507] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28507/stat : 28507 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636638 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724898290728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28508] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28508/stat : 28508 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636638 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724897237928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28509] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28509/stat : 28509 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636638 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724896185128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28510] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28510/stat : 28510 (java) S 28497 28500 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29636638 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724895132328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28511] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28511/stat : 28511 (java) S 28497 28500 28084 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 29636639 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724765260264 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28512] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28512/stat : 28512 (java) S 28497 28500 28084 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 29636639 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724764206328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28513] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28513/stat : 28513 (java) S 28497 28500 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29636639 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724763153416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28514] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28514/stat : 28514 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636641 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724762101904 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28515] ppid=28497 vsize=9824732 CPUtime=0.84 cores=1,3,5,7 /proc/28500/task/28515/stat : 28515 (java) R 28497 28500 28084 0 -1 4202560 11421 0 0 0 82 2 0 0 20 0 22 0 29636641 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724761044080 139724947983615 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28516] ppid=28497 vsize=9824732 CPUtime=1.09 cores=1,3,5,7 /proc/28500/task/28516/stat : 28516 (java) R 28497 28500 28084 0 -1 4202560 12040 0 0 0 107 2 0 0 20 0 22 0 29636641 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724759997240 139724944384824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28517] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28517/stat : 28517 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636641 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724758944632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28518] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28518/stat : 28518 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636642 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724757892040 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28525] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28525/stat : 28525 (java) S 28497 28500 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29636732 10060525568 32194 33554432000 1073741824 1073778376 140735143804528 139724756161960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.86 Current children cumulated vsize (KiB) 9824732 [startup+3.1009 s] /proc/loadavg: 4.05 4.06 3.34 3/216 28531 /proc/meminfo: memFree=27873784/32872528 swapFree=1542984/1696284 [pid=28500] ppid=28497 vsize=9824732 CPUtime=4.42 cores=1,3,5,7 /proc/28500/stat : 28500 (java) S 28497 28500 28084 0 -1 4202496 27381 0 1 0 423 19 0 0 20 0 19 0 29636637 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 140735143795664 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28500/statm: 2456183 57823 2292 9 0 2446860 0 [pid=28500/tid=28501] ppid=28497 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/28500/task/28501/stat : 28501 (java) S 28497 28500 28084 0 -1 4202560 2438 0 1 0 41 2 0 0 20 0 19 0 29636637 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724941009784 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28503] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28503/stat : 28503 (java) S 28497 28500 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29636638 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724902500904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28504] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28504/stat : 28504 (java) S 28497 28500 28084 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 29636638 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724901448104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28505] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28505/stat : 28505 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29636638 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724900395304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28506] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28506/stat : 28506 (java) S 28497 28500 28084 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29636638 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724899342504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28507] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28507/stat : 28507 (java) S 28497 28500 28084 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29636638 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724898290728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28508] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28508/stat : 28508 (java) S 28497 28500 28084 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29636638 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724897237928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28509] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28509/stat : 28509 (java) S 28497 28500 28084 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29636638 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724896185128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28510] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28510/stat : 28510 (java) S 28497 28500 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29636638 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724895132328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28511] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28511/stat : 28511 (java) S 28497 28500 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29636639 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724765260264 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28512] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28512/stat : 28512 (java) S 28497 28500 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29636639 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724764206328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28513] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28513/stat : 28513 (java) S 28497 28500 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29636639 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724763153416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28514] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28514/stat : 28514 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29636641 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724762101904 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28515] ppid=28497 vsize=9824732 CPUtime=1.12 cores=1,3,5,7 /proc/28500/task/28515/stat : 28515 (java) S 28497 28500 28084 0 -1 4202560 11426 0 0 0 110 2 0 0 20 0 19 0 29636641 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724761050040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28516] ppid=28497 vsize=9824732 CPUtime=1.43 cores=1,3,5,7 /proc/28500/task/28516/stat : 28516 (java) S 28497 28500 28084 0 -1 4202560 12048 0 0 0 141 2 0 0 20 0 19 0 29636641 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724759997240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28517] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28517/stat : 28517 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29636641 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724758944632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28518] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28518/stat : 28518 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29636642 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724757892040 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28525] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28525/stat : 28525 (java) S 28497 28500 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29636732 10060525568 57823 33554432000 1073741824 1073778376 140735143804528 139724756161960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 4.42 Current children cumulated vsize (KiB) 9824732 [startup+6.30097 s] /proc/loadavg: 3.89 4.03 3.33 4/219 28540 /proc/meminfo: memFree=27500536/32872528 swapFree=1542984/1696284 [pid=28500] ppid=28497 vsize=9824732 CPUtime=10.67 cores=1,3,5,7 /proc/28500/stat : 28500 (java) S 28497 28500 28084 0 -1 4202496 28799 0 1 0 1032 35 0 0 20 0 22 0 29636637 10060525568 109843 33554432000 1073741824 1073778376 140735143804528 140735143795664 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28500/statm: 2456183 109843 2294 9 0 2446860 0 [pid=28500/tid=28501] ppid=28497 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/28500/task/28501/stat : 28501 (java) S 28497 28500 28084 0 -1 4202560 2439 0 1 0 41 2 0 0 20 0 22 0 29636637 10060525568 109843 33554432000 1073741824 1073778376 140735143804528 139724941009784 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28503] ppid=28497 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/28500/task/28503/stat : 28503 (java) S 28497 28500 28084 0 -1 4202560 59 0 0 0 7 2 0 0 20 0 22 0 29636638 10060525568 109843 33554432000 1073741824 1073778376 140735143804528 139724902500904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28504] ppid=28497 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/28500/task/28504/stat : 28504 (java) S 28497 28500 28084 0 -1 4202560 121 0 0 0 7 3 0 0 20 0 22 0 29636638 10060525568 109843 33554432000 1073741824 1073778376 140735143804528 139724901448104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28505] ppid=28497 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/28500/task/28505/stat : 28505 (java) S 28497 28500 28084 0 -1 4202560 92 0 0 0 2 0 0 0 20 0 22 0 29636638 10060525568 109843 33554432000 1073741824 1073778376 140735143804528 139724900395304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28506] ppid=28497 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/28500/task/28506/stat : 28506 (java) S 28497 28500 28084 0 -1 4202560 35 0 0 0 3 1 0 0 20 0 22 0 29636638 10060525568 109843 33554432000 1073741824 1073778376 140735143804528 139724899342504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28507] ppid=28497 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/28500/task/28507/stat : 28507 (java) S 28497 28500 28084 0 -1 4202560 251 0 0 0 7 2 0 0 20 0 22 0 29636638 10060525568 109843 33554432000 1073741824 1073778376 140735143804528 139724898290728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28508] ppid=28497 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/28500/task/28508/stat : 28508 (java) S 28497 28500 28084 0 -1 4202560 60 0 0 0 3 2 0 0 20 0 22 0 29636638 10060525568 109843 33554432000 1073741824 1073778376 140735143804528 139724897237928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28509] ppid=28497 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/28500/task/28509/stat : 28509 (java) S 28497 28500 28084 0 -1 4202560 110 0 0 0 8 3 0 0 20 0 22 0 29636638 10060525568 109843 33554432000 1073741824 1073778376 140735143804528 139724896185128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28510] ppid=28497 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/28500/task/28510/stat : 28510 (java) S 28497 28500 28084 0 -1 4202560 48 0 0 0 4 1 0 0 20 0 22 0 29636638 10060525568 109843 33554432000 1073741824 1073778376 140735143804528 139724895132328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28511] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28511/stat : 28511 (java) S 28497 28500 28084 0 -1 4202560 214 0 0 0 0 0 0 0 20 0 22 0 29636639 10060525568 109843 33554432000 1073741824 1073778376 140735143804528 139724765260264 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28512] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28512/stat : 28512 (java) S 28497 28500 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29636639 10060525568 109843 33554432000 1073741824 1073778376 140735143804528 139724764206328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28513] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28513/stat : 28513 (java) S 28497 28500 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29636639 10060525568 109843 33554432000 1073741824 1073778376 140735143804528 139724763153416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28514] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28514/stat : 28514 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636641 10060525568 109843 33554432000 1073741824 1073778376 140735143804528 139724762101904 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28515] ppid=28497 vsize=9824732 CPUtime=1.22 cores=1,3,5,7 /proc/28500/task/28515/stat : 28515 (java) S 28497 28500 28084 0 -1 4202560 11427 0 0 0 120 2 0 0 20 0 22 0 29636641 10060525568 109843 33554432000 1073741824 1073778376 140735143804528 139724761050040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28516] ppid=28497 vsize=9824732 CPUtime=1.63 cores=1,3,5,7 ################ # More data... # ################ [pid=28500/tid=28510] ppid=28497 vsize=9824732 CPUtime=2.22 cores=1,3,5,7 /proc/28500/task/28510/stat : 28510 (java) S 28497 28500 28084 0 -1 4202560 850 0 0 0 201 21 0 0 20 0 22 0 29636638 10060525568 804360 33554432000 1073741824 1073778376 140735143804528 139724895132328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28511] ppid=28497 vsize=9824732 CPUtime=3.89 cores=1,3,5,7 /proc/28500/task/28511/stat : 28511 (java) S 28497 28500 28084 0 -1 4202560 2497 0 0 0 381 8 0 0 20 0 22 0 29636639 10060525568 804360 33554432000 1073741824 1073778376 140735143804528 139724765260264 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28512] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28512/stat : 28512 (java) S 28497 28500 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29636639 10060525568 804360 33554432000 1073741824 1073778376 140735143804528 139724764206328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28513] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28513/stat : 28513 (java) S 28497 28500 28084 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29636639 10060525568 804360 33554432000 1073741824 1073778376 140735143804528 139724763153416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28514] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28514/stat : 28514 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636641 10060525568 804360 33554432000 1073741824 1073778376 140735143804528 139724762101904 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28515] ppid=28497 vsize=9824732 CPUtime=1.27 cores=1,3,5,7 /proc/28500/task/28515/stat : 28515 (java) S 28497 28500 28084 0 -1 4202560 11432 0 0 0 125 2 0 0 20 0 22 0 29636641 10060525568 804360 33554432000 1073741824 1073778376 140735143804528 139724761050040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28516] ppid=28497 vsize=9824732 CPUtime=2.33 cores=1,3,5,7 /proc/28500/task/28516/stat : 28516 (java) S 28497 28500 28084 0 -1 4202560 12077 0 0 0 230 3 0 0 20 0 22 0 29636641 10060525568 804360 33554432000 1073741824 1073778376 140735143804528 139724759997240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28517] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28517/stat : 28517 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636641 10060525568 804360 33554432000 1073741824 1073778376 140735143804528 139724758944632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28518] ppid=28497 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/28500/task/28518/stat : 28518 (java) S 28497 28500 28084 0 -1 4202560 46 0 0 0 14 22 0 0 20 0 22 0 29636642 10060525568 804360 33554432000 1073741824 1073778376 140735143804528 139724757892040 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28525] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28525/stat : 28525 (java) S 28497 28500 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29636732 10060525568 804360 33554432000 1073741824 1073778376 140735143804528 139724756161960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28547] ppid=28497 vsize=9824732 CPUtime=766.34 cores=1,3,5,7 /proc/28500/task/28547/stat : 28547 (java) R 28497 28500 28084 0 -1 4202560 25 0 0 0 76623 11 0 0 20 0 22 0 29641235 10060525568 804360 33554432000 1073741824 1073778376 140735143804528 139724755107248 139724765914555 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28548] ppid=28497 vsize=9824732 CPUtime=766.26 cores=1,3,5,7 /proc/28500/task/28548/stat : 28548 (java) R 28497 28500 28084 0 -1 4202560 248 0 0 0 76614 12 0 0 20 0 22 0 29641235 10060525568 804360 33554432000 1073741824 1073778376 140735143804528 139724753000816 139724766207396 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28549] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28549/stat : 28549 (java) S 28497 28500 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29641236 10060525568 804360 33554432000 1073741824 1073778376 140735143804528 139724754055976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1644.96 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.20 4.20 3.86 3/216 28715 /proc/meminfo: memFree=26236384/32872528 swapFree=1542984/1696284 [pid=28500] ppid=28497 vsize=9824732 CPUtime=1765.51 cores=1,3,5,7 /proc/28500/stat : 28500 (java) S 28497 28500 28084 0 -1 4202496 39459 0 1 0 176297 254 0 0 20 0 22 0 29636637 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 140735143795664 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28500/statm: 2456183 914550 2303 9 0 2446860 0 [pid=28500/tid=28501] ppid=28497 vsize=9824732 CPUtime=0.48 cores=1,3,5,7 /proc/28500/task/28501/stat : 28501 (java) S 28497 28500 28084 0 -1 4202560 2450 0 1 0 45 3 0 0 20 0 22 0 29636637 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724941009784 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28503] ppid=28497 vsize=9824732 CPUtime=2.3 cores=1,3,5,7 /proc/28500/task/28503/stat : 28503 (java) S 28497 28500 28084 0 -1 4202560 980 0 0 0 210 20 0 0 20 0 22 0 29636638 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724902500904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28504] ppid=28497 vsize=9824732 CPUtime=2.29 cores=1,3,5,7 /proc/28500/task/28504/stat : 28504 (java) S 28497 28500 28084 0 -1 4202560 764 0 0 0 206 23 0 0 20 0 22 0 29636638 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724901448104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28505] ppid=28497 vsize=9824732 CPUtime=2.21 cores=1,3,5,7 /proc/28500/task/28505/stat : 28505 (java) S 28497 28500 28084 0 -1 4202560 905 0 0 0 200 21 0 0 20 0 22 0 29636638 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724900395304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28506] ppid=28497 vsize=9824732 CPUtime=2.19 cores=1,3,5,7 /proc/28500/task/28506/stat : 28506 (java) S 28497 28500 28084 0 -1 4202560 805 0 0 0 197 22 0 0 20 0 22 0 29636638 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724899342504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28507] ppid=28497 vsize=9824732 CPUtime=2.24 cores=1,3,5,7 /proc/28500/task/28507/stat : 28507 (java) S 28497 28500 28084 0 -1 4202560 920 0 0 0 202 22 0 0 20 0 22 0 29636638 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724898290728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28508] ppid=28497 vsize=9824732 CPUtime=2.35 cores=1,3,5,7 /proc/28500/task/28508/stat : 28508 (java) S 28497 28500 28084 0 -1 4202560 959 0 0 0 211 24 0 0 20 0 22 0 29636638 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724897237928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28509] ppid=28497 vsize=9824732 CPUtime=2.33 cores=1,3,5,7 /proc/28500/task/28509/stat : 28509 (java) S 28497 28500 28084 0 -1 4202560 961 0 0 0 212 21 0 0 20 0 22 0 29636638 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724896185128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28510] ppid=28497 vsize=9824732 CPUtime=2.37 cores=1,3,5,7 /proc/28500/task/28510/stat : 28510 (java) S 28497 28500 28084 0 -1 4202560 889 0 0 0 214 23 0 0 20 0 22 0 29636638 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724895132328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28511] ppid=28497 vsize=9824732 CPUtime=3.9 cores=1,3,5,7 /proc/28500/task/28511/stat : 28511 (java) S 28497 28500 28084 0 -1 4202560 2611 0 0 0 382 8 0 0 20 0 22 0 29636639 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724765260264 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28512] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28512/stat : 28512 (java) S 28497 28500 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29636639 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724764206328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28513] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28513/stat : 28513 (java) S 28497 28500 28084 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29636639 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724763153416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28514] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28514/stat : 28514 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636641 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724762101904 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28515] ppid=28497 vsize=9824732 CPUtime=1.27 cores=1,3,5,7 /proc/28500/task/28515/stat : 28515 (java) S 28497 28500 28084 0 -1 4202560 11432 0 0 0 125 2 0 0 20 0 22 0 29636641 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724761050040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28516] ppid=28497 vsize=9824732 CPUtime=2.33 cores=1,3,5,7 /proc/28500/task/28516/stat : 28516 (java) S 28497 28500 28084 0 -1 4202560 12077 0 0 0 230 3 0 0 20 0 22 0 29636641 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724759997240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28517] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28517/stat : 28517 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636641 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724758944632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28518] ppid=28497 vsize=9824732 CPUtime=0.4 cores=1,3,5,7 /proc/28500/task/28518/stat : 28518 (java) S 28497 28500 28084 0 -1 4202560 50 0 0 0 16 24 0 0 20 0 22 0 29636642 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724757892040 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28525] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28525/stat : 28525 (java) S 28497 28500 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29636732 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724756161960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28547] ppid=28497 vsize=9824732 CPUtime=825.84 cores=1,3,5,7 /proc/28500/task/28547/stat : 28547 (java) R 28497 28500 28084 0 -1 4202560 25 0 0 0 82572 12 0 0 20 0 22 0 29641235 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724755099536 139724766313812 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28548] ppid=28497 vsize=9824732 CPUtime=825.78 cores=1,3,5,7 /proc/28500/task/28548/stat : 28548 (java) R 28497 28500 28084 0 -1 4202560 376 0 0 0 82562 16 0 0 20 0 22 0 29641235 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724753001744 139724766345412 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28549] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28549/stat : 28549 (java) S 28497 28500 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29641236 10060525568 914550 33554432000 1073741824 1073778376 140735143804528 139724754055976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1765.51 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.401 s] /proc/loadavg: 4.09 4.17 3.85 5/219 28724 /proc/meminfo: memFree=24986764/32872528 swapFree=1542984/1696284 [pid=28500] ppid=28497 vsize=9824732 CPUtime=1799.91 cores=1,3,5,7 /proc/28500/stat : 28500 (java) S 28497 28500 28084 0 -1 4202496 39472 0 1 0 179735 256 0 0 20 0 22 0 29636637 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 140735143795664 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28500/statm: 2456183 916083 2303 9 0 2446860 0 [pid=28500/tid=28501] ppid=28497 vsize=9824732 CPUtime=0.48 cores=1,3,5,7 /proc/28500/task/28501/stat : 28501 (java) S 28497 28500 28084 0 -1 4202560 2451 0 1 0 45 3 0 0 20 0 22 0 29636637 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724941009784 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28503] ppid=28497 vsize=9824732 CPUtime=2.33 cores=1,3,5,7 /proc/28500/task/28503/stat : 28503 (java) S 28497 28500 28084 0 -1 4202560 983 0 0 0 213 20 0 0 20 0 22 0 29636638 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724902500904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28504] ppid=28497 vsize=9824732 CPUtime=2.37 cores=1,3,5,7 /proc/28500/task/28504/stat : 28504 (java) S 28497 28500 28084 0 -1 4202560 764 0 0 0 214 23 0 0 20 0 22 0 29636638 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724901448104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28505] ppid=28497 vsize=9824732 CPUtime=2.26 cores=1,3,5,7 /proc/28500/task/28505/stat : 28505 (java) S 28497 28500 28084 0 -1 4202560 908 0 0 0 205 21 0 0 20 0 22 0 29636638 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724900395304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28506] ppid=28497 vsize=9824732 CPUtime=2.22 cores=1,3,5,7 /proc/28500/task/28506/stat : 28506 (java) S 28497 28500 28084 0 -1 4202560 805 0 0 0 200 22 0 0 20 0 22 0 29636638 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724899342504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28507] ppid=28497 vsize=9824732 CPUtime=2.27 cores=1,3,5,7 /proc/28500/task/28507/stat : 28507 (java) S 28497 28500 28084 0 -1 4202560 920 0 0 0 205 22 0 0 20 0 22 0 29636638 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724898290728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28508] ppid=28497 vsize=9824732 CPUtime=2.38 cores=1,3,5,7 /proc/28500/task/28508/stat : 28508 (java) S 28497 28500 28084 0 -1 4202560 959 0 0 0 214 24 0 0 20 0 22 0 29636638 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724897237928 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28509] ppid=28497 vsize=9824732 CPUtime=2.44 cores=1,3,5,7 /proc/28500/task/28509/stat : 28509 (java) S 28497 28500 28084 0 -1 4202560 963 0 0 0 223 21 0 0 20 0 22 0 29636638 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724896185128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28510] ppid=28497 vsize=9824732 CPUtime=2.45 cores=1,3,5,7 /proc/28500/task/28510/stat : 28510 (java) S 28497 28500 28084 0 -1 4202560 892 0 0 0 222 23 0 0 20 0 22 0 29636638 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724895132328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28511] ppid=28497 vsize=9824732 CPUtime=3.9 cores=1,3,5,7 /proc/28500/task/28511/stat : 28511 (java) S 28497 28500 28084 0 -1 4202560 2611 0 0 0 382 8 0 0 20 0 22 0 29636639 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724765260264 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28512] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28512/stat : 28512 (java) S 28497 28500 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29636639 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724764206328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28513] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28513/stat : 28513 (java) S 28497 28500 28084 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29636639 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724763153416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28514] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28514/stat : 28514 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636641 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724762101904 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28515] ppid=28497 vsize=9824732 CPUtime=1.27 cores=1,3,5,7 /proc/28500/task/28515/stat : 28515 (java) S 28497 28500 28084 0 -1 4202560 11432 0 0 0 125 2 0 0 20 0 22 0 29636641 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724761050040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28516] ppid=28497 vsize=9824732 CPUtime=2.33 cores=1,3,5,7 /proc/28500/task/28516/stat : 28516 (java) S 28497 28500 28084 0 -1 4202560 12077 0 0 0 230 3 0 0 20 0 22 0 29636641 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724759997240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28517] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28517/stat : 28517 (java) S 28497 28500 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29636641 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724758944632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28500/tid=28518] ppid=28497 vsize=9824732 CPUtime=0.4 cores=1,3,5,7 /proc/28500/task/28518/stat : 28518 (java) S 28497 28500 28084 0 -1 4202560 50 0 0 0 16 24 0 0 20 0 22 0 29636642 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724757892040 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28525] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28525/stat : 28525 (java) S 28497 28500 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29636732 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724756161960 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28500/tid=28547] ppid=28497 vsize=9824732 CPUtime=842.76 cores=1,3,5,7 /proc/28500/task/28547/stat : 28547 (java) R 28497 28500 28084 0 -1 4202560 25 0 0 0 84264 12 0 0 20 0 22 0 29641235 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724755107248 139724765914555 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=28500/tid=28548] ppid=28497 vsize=9824732 CPUtime=842.72 cores=1,3,5,7 /proc/28500/task/28548/stat : 28548 (java) R 28497 28500 28084 0 -1 4202560 377 0 0 0 84256 16 0 0 20 0 22 0 29641235 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724753002880 139724766345599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=28500/tid=28549] ppid=28497 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28500/task/28549/stat : 28549 (java) S 28497 28500 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29641236 10060525568 916083 33554432000 1073741824 1073778376 140735143804528 139724754055976 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1799.91 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 28500 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 28500 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=39416 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=80531 # CPU time returned by wait4() is 1796.12 # while last known CPU time is 1799.91 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.170004 # lost CPU user time (s): 0.200001 # lost CPU system time (s): -0.03 Real time (s): 899.468 CPU time (s): 1800.08 CPU user time (s): 1797.55 CPU system time (s): 2.53 CPU usage (%): 200.127 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.04 system time used= 3.08053 maximum resident set size= 3664444 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39508 page faults= 1 swaps= 0 block input operations= 0 block output operations= 960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23867 involuntary context switches= 25734 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.72413 second user time and 7.69483 second system time The end
Begin job on node125 at 2016-06-18 20:51:40 IDJOB=4106704 IDBENCH=48197 IDSOLVER=2543 FILE ID=node125/4106704-1466275900 RUNJOBID= node125-1466274976-28101 PBS_JOBID= 19918241 Free space on /tmp= 71744 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_2.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106704-1466275900/watcher-4106704-1466275900 -o /tmp/evaluation-result-4106704-1466275900/solver-4106704-1466275900 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466274976-28101 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106704-1466275900.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4a1dc018d8373d1119ec5a7a226f506e RANDOM SEED=1885306651 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28046728 kB Buffers: 144960 kB Cached: 172832 kB SwapCached: 688 kB Active: 2131420 kB Inactive: 243792 kB Active(anon): 2058336 kB Inactive(anon): 1040 kB Active(file): 73084 kB Inactive(file): 242752 kB Unevictable: 1696284 kB Mlocked: 1542984 kB SwapTotal: 67108856 kB SwapFree: 67098232 kB Dirty: 1616 kB Writeback: 0 kB AnonPages: 3512996 kB Mapped: 15440 kB Shmem: 0 kB Slab: 604552 kB SReclaimable: 48248 kB SUnreclaim: 556304 kB KernelStack: 1784 kB PageTables: 11704 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4961160 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1900544 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71744 MiB End job on node125 at 2016-06-18 21:06:40