Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | MSAT (TO) | 3600.51 | 3600.14 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo |
| MD5SUM | 1558329f241385327ddc7531dadf19cb |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 21 |
| Best CPU time to get the best result obtained on this benchmark | 0.004807 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 300 |
| Total number of constraints | 50 |
| Number of soft constraints | 35 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 20 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 15 |
| Top cost | 1837 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 1836 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 16 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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.00/0.10 c version CUSTOM.v20240707 0.13/0.12 c java.runtime.name OpenJDK Runtime Environment 0.13/0.12 c java.vm.name OpenJDK 64-Bit Server VM 0.13/0.12 c java.vm.version 22.0.1+8-16 0.13/0.12 c java.vm.vendor Oracle Corporation 0.13/0.12 c sun.arch.data.model 64 0.13/0.12 c java.version 22.0.1 0.13/0.12 c os.name Linux 0.13/0.12 c os.version 4.18.0-301.1.el8.x86_64 0.13/0.12 c os.arch amd64 0.13/0.12 c Free memory 2115194816 0.13/0.12 c Max memory 16282288128 0.13/0.12 c Total memory 2122317824 0.13/0.13 c Number of processors 2 0.13/0.16 --- Begin Solver configuration --- 0.13/0.16 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.13/0.16 Learn all clauses as in MiniSAT 0.13/0.16 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.16 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.16 No reason simplification 0.13/0.16 Glucose 2.1 dynamic restart strategy 0.13/0.16 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.13/0.16 timeout=2147483s 0.13/0.16 DB Simplification allowed=false 0.13/0.16 Listener: none 0.13/0.16 --- End Solver configuration --- 0.13/0.17 c Pseudo Boolean Optimization by upper bound 0.13/0.17 c --- Begin Solver configuration --- 0.13/0.17 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.13/0.17 c Learn all clauses as in MiniSAT 0.13/0.17 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.17 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.17 c No reason simplification 0.13/0.17 c Glucose 2.1 dynamic restart strategy 0.13/0.17 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.13/0.17 c timeout=2147483s 0.13/0.17 c DB Simplification allowed=false 0.13/0.17 c Listener: none 0.13/0.17 c --- End Solver configuration --- 0.13/0.17 c solving HOME/instance-4424818-1720879621.wbo 0.13/0.17 c reading problem ... 0.13/0.19 c ... done. Wall clock time 0.025s. 0.13/0.19 c declared #vars 300 0.13/0.19 c internal #vars 335 0.13/0.19 c #constraints 51 0.13/0.19 c constraints type 0.13/0.19 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 5 0.13/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15 0.13/0.19 c org.sat4j.specs.Constr$1 => 1 0.13/0.19 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.13/0.19 c 51 constraints processed. 0.13/0.20 c objective function length is 35 literals 0.35/0.30 c SATISFIABLE 0.35/0.30 c OPTIMIZING... 0.35/0.30 c Got one! Elapsed wall clock time (in seconds):0.133 0.35/0.30 o 85 0.54/0.41 c Got one! Elapsed wall clock time (in seconds):0.243 0.54/0.41 o 70 0.72/0.45 c Got one! Elapsed wall clock time (in seconds):0.282 0.72/0.46 o 31 1.45/0.89 c cleaning 3043 clauses out of 6095 with flag 25920/6095 1.65/0.90 c Got one! Elapsed wall clock time (in seconds):0.728 1.65/0.90 o 21 2.43/1.37 c cleaning 4069 clauses out of 8156 with flag 35442/11199 3.32/1.82 c cleaning 5039 clauses out of 10086 with flag 83616/17198 3.70/2.16 c cleaning 6019 clauses out of 12048 with flag 134056/24199 4.29/2.62 c cleaning 7006 clauses out of 14028 with flag 193371/32198 5.24/3.48 c cleaning 8012 clauses out of 16026 with flag 262354/41202 6.47/4.49 c cleaning 9003 clauses out of 18012 with flag 346068/51200 7.97/5.94 c cleaning 10001 clauses out of 20009 with flag 426578/62200 9.18/7.17 c cleaning 11001 clauses out of 22006 with flag 528910/74198 10.78/8.71 c cleaning 11996 clauses out of 24005 with flag 650807/87198 11.87/9.86 c cleaning 12998 clauses out of 26009 with flag 760828/101198 13.08/11.02 c cleaning 14002 clauses out of 28012 with flag 884143/116199 15.25/13.16 c cleaning 14998 clauses out of 30010 with flag 1030795/132199 17.22/15.10 c cleaning 15990 clauses out of 32012 with flag 1172387/149199 19.40/17.22 c cleaning 16992 clauses out of 34022 with flag 1322050/167199 21.22/19.07 c cleaning 17989 clauses out of 36029 with flag 1465060/186198 23.71/21.56 c cleaning 19014 clauses out of 38040 with flag 1620541/206198 26.50/24.34 c cleaning 20007 clauses out of 40027 with flag 1780763/227199 29.80/27.64 c cleaning 21004 clauses out of 42019 with flag 1973804/249198 32.40/30.29 c cleaning 21969 clauses out of 44016 with flag 2155133/272199 34.99/32.83 c cleaning 23010 clauses out of 46046 with flag 2356116/296198 39.08/36.96 c cleaning 24004 clauses out of 48036 with flag 2596541/321198 44.38/42.29 c cleaning 25001 clauses out of 50033 with flag 2865052/347199 49.57/47.49 c cleaning 26004 clauses out of 52031 with flag 3138700/374198 53.18/51.05 c cleaning 27006 clauses out of 54027 with flag 3358806/402198 58.77/56.65 c cleaning 28002 clauses out of 56021 with flag 3609761/431198 63.48/61.31 c cleaning 29001 clauses out of 58019 with flag 3879236/461198 68.77/66.69 c cleaning 30003 clauses out of 60019 with flag 4168320/492199 76.28/74.11 c cleaning 31004 clauses out of 62018 with flag 4480035/524201 82.28/80.14 c cleaning 32002 clauses out of 64015 with flag 4779401/557202 89.13/86.96 c cleaning 32982 clauses out of 66009 with flag 5086165/591198 95.01/92.86 c cleaning 33990 clauses out of 68027 with flag 5410280/626198 100.12/98.00 c cleaning 35018 clauses out of 70038 with flag 5735252/662199 107.41/105.28 c cleaning 35995 clauses out of 72019 with flag 6080486/699198 115.45/113.22 c cleaning 37003 clauses out of 74024 with flag 6433715/737198 124.03/121.85 c cleaning 38003 clauses out of 76021 with flag 6773445/776198 133.52/131.31 c cleaning 38991 clauses out of 78018 with flag 7141055/816198 142.90/140.79 c cleaning 39999 clauses out of 80028 with flag 7509986/857199 150.60/148.41 c cleaning 41000 clauses out of 82029 with flag 7880319/899199 160.78/158.69 c cleaning 41981 clauses out of 84029 with flag 8246418/942199 171.47/169.33 c cleaning 43017 clauses out of 86048 with flag 8642763/986199 186.07/183.95 c cleaning 43993 clauses out of 88033 with flag 9044557/1031201 195.34/193.25 c cleaning 45013 clauses out of 90037 with flag 9465703/1077198 206.13/204.09 c cleaning 45993 clauses out of 92024 with flag 9909294/1124198 216.11/214.01 c cleaning 46993 clauses out of 94032 with flag 10365408/1172199 227.59/225.56 c cleaning 48006 clauses out of 96038 with flag 10837002/1221198 239.47/237.49 c cleaning 49003 clauses out of 98033 with flag 11337473/1271199 254.47/252.42 c cleaning 50006 clauses out of 100031 with flag 11877292/1322200 268.35/266.31 c cleaning 51002 clauses out of 102024 with flag 12392857/1374199 281.72/279.74 c cleaning 52001 clauses out of 104023 with flag 12883198/1427200 296.23/294.21 c cleaning 53000 clauses out of 106020 with flag 13489695/1481198 311.21/309.29 c cleaning 53997 clauses out of 108021 with flag 14093673/1536199 326.18/324.28 c cleaning 55006 clauses out of 110023 with flag 14765762/1592198 339.71/337.75 c cleaning 55987 clauses out of 112019 with flag 15348263/1649200 355.01/353.05 c cleaning 57015 clauses out of 114032 with flag 15992614/1707200 373.36/370.62 c cleaning 57999 clauses out of 116016 with flag 16738077/1766199 390.62/387.75 c cleaning 59000 clauses out of 118017 with flag 17364416/1826199 415.42/412.19 c cleaning 60001 clauses out of 120016 with flag 18023802/1887198 433.79/430.33 c cleaning 60989 clauses out of 122015 with flag 18674365/1949198 453.25/449.81 c cleaning 61999 clauses out of 124027 with flag 19379904/2012199 479.72/476.33 c cleaning 63008 clauses out of 126030 with flag 19998672/2076201 500.98/497.63 c cleaning 63991 clauses out of 128020 with flag 20662613/2141199 523.26/519.96 c cleaning 65010 clauses out of 130028 with flag 21363076/2207198 546.32/543.06 c cleaning 65994 clauses out of 132018 with flag 22104942/2274198 574.96/571.75 c cleaning 67004 clauses out of 134024 with flag 22824949/2342198 597.03/593.87 c cleaning 67999 clauses out of 136021 with flag 23527628/2411199 617.30/614.14 c cleaning 69002 clauses out of 138024 with flag 24377715/2481201 645.95/642.81 c cleaning 70000 clauses out of 140020 with flag 25278942/2552199 680.78/677.74 c cleaning 71003 clauses out of 142019 with flag 26130089/2624198 709.07/706.04 c cleaning 72002 clauses out of 144019 with flag 26949158/2697201 750.51/747.58 c cleaning 73000 clauses out of 146014 with flag 27745487/2771198 794.52/791.27 c cleaning 74002 clauses out of 148014 with flag 28514854/2846198 842.13/838.92 c cleaning 74999 clauses out of 150012 with flag 29379365/2922198 873.86/870.69 c cleaning 75995 clauses out of 152013 with flag 30277108/2999198 920.55/917.41 c cleaning 77004 clauses out of 154018 with flag 31099758/3077198 960.10/957.10 c cleaning 77995 clauses out of 156014 with flag 31979034/3156198 1003.72/1000.79 c cleaning 79001 clauses out of 158019 with flag 32900052/3236198 1068.37/1065.47 c cleaning 79996 clauses out of 160018 with flag 33787444/3317198 1108.01/1105.18 c cleaning 81004 clauses out of 162022 with flag 34728585/3399198 1158.02/1155.20 c cleaning 82009 clauses out of 164021 with flag 35688628/3482201 1201.54/1198.82 c cleaning 82999 clauses out of 166009 with flag 36828032/3566198 1271.94/1269.37 c cleaning 83999 clauses out of 168010 with flag 37884898/3651198 1329.33/1326.88 c cleaning 85001 clauses out of 170013 with flag 38859509/3737200 1387.86/1385.43 c cleaning 85994 clauses out of 172012 with flag 39768404/3824200 1453.63/1451.37 c cleaning 86998 clauses out of 174016 with flag 40790374/3912198 1514.10/1511.88 c cleaning 88000 clauses out of 176018 with flag 41782347/4001198 1571.88/1569.77 c cleaning 89005 clauses out of 178019 with flag 42947930/4091199 1619.71/1617.67 c cleaning 90001 clauses out of 180014 with flag 44092072/4182199 1666.13/1664.17 c cleaning 91004 clauses out of 182013 with flag 45165540/4274199 1706.34/1704.09 c cleaning 92000 clauses out of 184008 with flag 46259271/4367199 1748.65/1746.42 c cleaning 92969 clauses out of 186007 with flag 47223912/4461198 1809.06/1806.99 c cleaning 94007 clauses out of 188039 with flag 48249777/4556199 1865.11/1863.05 c cleaning 95009 clauses out of 190031 with flag 49314240/4652198 1932.47/1930.52 c cleaning 96002 clauses out of 192022 with flag 50348580/4749198 1994.86/1992.95 c cleaning 97009 clauses out of 194027 with flag 51521000/4847205 2061.86/2060.01 c cleaning 97992 clauses out of 196011 with flag 52633717/4946198 2144.92/2143.21 c cleaning 99004 clauses out of 198019 with flag 53834742/5046198 2218.20/2216.30 c cleaning 99995 clauses out of 200015 with flag 55126224/5147198 2285.92/2284.19 c cleaning 101003 clauses out of 202020 with flag 56494168/5249198 2370.84/2369.25 c cleaning 102005 clauses out of 204017 with flag 57677475/5352198 2446.67/2445.11 c cleaning 103003 clauses out of 206014 with flag 58881668/5456200 2530.77/2529.35 c cleaning 103988 clauses out of 208012 with flag 60081653/5561201 2655.76/2654.57 c cleaning 105009 clauses out of 210022 with flag 61466098/5667199 2768.79/2767.72 c cleaning 106002 clauses out of 212013 with flag 62834396/5774199 2856.82/2855.80 c cleaning 106997 clauses out of 214010 with flag 64242030/5882198 2970.60/2969.81 c cleaning 108003 clauses out of 216018 with flag 65673697/5991203 3084.65/3084.03 c cleaning 108999 clauses out of 218010 with flag 67093283/6101198 3163.75/3163.17 c cleaning 110001 clauses out of 220011 with flag 68644928/6212198 3276.49/3275.92 c cleaning 111002 clauses out of 222010 with flag 70136068/6324198 3357.27/3356.83 c cleaning 111998 clauses out of 224008 with flag 71585359/6437198 3445.08/3444.76 c cleaning 112995 clauses out of 226011 with flag 73180044/6551199 3525.99/3525.70 c cleaning 114003 clauses out of 228018 with flag 74840856/6666201 3600.07/3599.93 c starts : 29963 3600.07/3599.93 c conflicts : 6768333 3600.07/3599.93 c decisions : 9547406 3600.07/3599.93 c propagations : 122291662 3600.07/3599.93 c inspects : 38500192653 3600.07/3599.93 c shortcuts : 0 3600.07/3599.93 c learnt literals : 1 3600.07/3599.94 c learnt binary clauses : 3 3600.07/3599.94 c learnt ternary clauses : 4 3600.07/3599.94 c learnt constraints : 6768332 3600.07/3599.94 c ignored constraints : 0 3600.07/3599.94 c root simplifications : 0 3600.07/3599.94 c removed literals (reason simplification) : 0 3600.07/3599.94 c reason swapping (by a shorter reason) : 0 3600.07/3599.94 c Calls to reduceDB : 112 3600.07/3599.94 c Number of update (reduction) of LBD : 3546161 3600.07/3599.94 c Imported unit clauses : 0 3600.07/3599.94 c No decision after first conflict : false 3600.07/3599.94 c number of reductions to clauses (during analyze) : 0 3600.07/3599.94 c number of learned constraints concerned by reduction : 0 3600.07/3599.94 c number of learning phase by resolution : 0 3600.07/3599.94 c number of learning phase by cutting planes : 0 3600.07/3599.94 c number of rounding to 1 operations : 0 3600.07/3599.94 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3599.94 c number of reductions of the coefficients by power 2 : 0 3600.07/3599.94 c number of right shift for reduction by power 2 : 0 3600.07/3599.94 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3599.94 c number of ending skipping : 0 3600.07/3599.94 c number of internal skipping : 0 3600.07/3599.94 c number of derivation steps : 0 3600.07/3599.94 c number of skipped derivation steps : 0 3600.07/3599.94 c number of remaining unassigned : 0 3600.07/3599.94 c number of remaining assigned : 0 3600.07/3599.94 c number of falsified literals weakened from reason : 0 3600.07/3599.94 c number of falsified literals weakened from conflict : 0 3600.07/3599.94 c time for arithmetic operations : 0 3600.07/3599.95 c minimum degree of deleted constraints : null 3600.07/3599.95 c maximum degree of deleted constraints : null 3600.07/3599.95 c number of deleted constraints : 0 3600.07/3599.95 c speed (assignments/second) : 33972.35023297509 3600.07/3599.95 c non guided choices : 9069 3600.29/3600.11 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 216144 3600.29/3600.11 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 3 3600.29/3600.11 s SATISFIABLE 3600.29/3600.11 c Found 4 solution(s) 3600.29/3600.11 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 3600.29/3600.11 c objective function=21 3600.29/3600.11 c Total wall clock time (in seconds): 3599.948
OK 21
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 (60407 MiB free)
memory of node 1: 64510 MiB (56837 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424818-1720879621/watcher-4424818-1720879621 -o /tmp/evaluation-result-4424818-1720879621/solver-4424818-1720879621 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1720879115-709548 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424818-1720879621.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=710010, runsolver pid=710007
Current StackSize limit: 8192 KiB
[startup+0.101337 s]*
/proc/loadavg: 4.27 3.71 2.98 7/315 710028
/proc/meminfo: memFree=120022396/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=18975048 memory=57308 CPUtime=0.13 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 6774 0 0 0 11 2 0 0 20 0 18 0 140120212 19430449152 14327 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4743762 14327 5728 1 0 551073 0
[pid=710010/tid=710012] ppid=710007 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 5650 0 0 0 7 2 0 0 20 0 18 0 140120212 19430449152 14327 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140120218 19430449152 14327 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=18975048 memory=14135562894496790 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140120219 19430449152 14327 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57308 KiB
[startup+0.219788 s]*
/proc/loadavg: 4.27 3.71 2.98 7/316 710029
/proc/meminfo: memFree=120010248/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19041612 memory=69480 CPUtime=0.35 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 7639 0 0 0 32 3 0 0 20 0 19 0 140120212 19498610688 17370 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4760403 17370 5796 1 0 552080 0
[pid=710010/tid=710012] ppid=710007 vsize=19041612 memory=4782652875487838339 CPUtime=0.2 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 6090 0 0 0 18 2 0 0 20 0 19 0 140120212 19498610688 17370 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=19041612 memory=694 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140120218 19498610688 17370 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=19041612 memory=15536340708104212 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140120219 19498610688 17370 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710029] ppid=710007 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/710010/task/710029/stat : 710029 (Timer-0) S 710007 710010 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140120233 19498610688 17370 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69480 KiB
[startup+0.313755 s]*
/proc/loadavg: 4.27 3.71 2.98 7/316 710029
/proc/meminfo: memFree=120009240/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19041612 memory=70260 CPUtime=0.54 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 7932 0 0 0 50 4 0 0 20 0 19 0 140120212 19498610688 17565 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4760403 17565 5865 1 0 552248 0
[pid=710010/tid=710012] ppid=710007 vsize=19041612 memory=-8673205471308849852 CPUtime=0.29 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 6116 0 0 0 27 2 0 0 20 0 19 0 140120212 19498610688 17565 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140120218 19498610688 17565 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140120219 19498610688 17565 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710029] ppid=710007 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/710010/task/710029/stat : 710029 (Timer-0) S 710007 710010 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140120233 19498610688 17565 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70260 KiB
[startup+0.700785 s]
/proc/loadavg: 4.27 3.71 2.98 6/316 710031
/proc/meminfo: memFree=120003972/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19041612 memory=79916 CPUtime=1.25 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 11186 0 0 0 120 5 0 0 20 0 19 0 140120212 19498610688 19979 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4760403 19979 5865 1 0 554198 0
[pid=710010/tid=710012] ppid=710007 vsize=19041612 memory=37036 CPUtime=0.66 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 6212 0 0 0 64 2 0 0 20 0 19 0 140120212 19498610688 19979 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=19041612 memory=12676 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140120218 19498610688 19979 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=19041612 memory=2216 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140120219 19498610688 19979 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710029] ppid=710007 vsize=19041612 memory=5608 CPUtime=0 cores=4,6
/proc/710010/task/710029/stat : 710029 (Timer-0) S 710007 710010 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140120233 19498610688 19979 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 79916 KiB
[startup+1.50078 s]
/proc/loadavg: 4.27 3.71 2.98 6/316 710031
/proc/meminfo: memFree=119994588/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19041612 memory=89580 CPUtime=2.84 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 15914 0 0 0 278 6 0 0 20 0 19 0 140120212 19498610688 22395 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4760403 22395 5880 1 0 554884 0
[pid=710010/tid=710012] ppid=710007 vsize=19041612 memory=12676 CPUtime=1.44 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 6629 0 0 0 142 2 0 0 20 0 19 0 140120212 19498610688 22395 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140120218 19498610688 22395 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=19041612 memory=2216 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140120219 19498610688 22395 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710029] ppid=710007 vsize=19041612 memory=5608 CPUtime=0 cores=4,6
/proc/710010/task/710029/stat : 710029 (Timer-0) S 710007 710010 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140120233 19498610688 22395 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89580 KiB
[startup+3.11344 s]
/proc/loadavg: 4.27 3.71 2.98 5/316 710031
/proc/meminfo: memFree=119921824/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19041612 memory=104196 CPUtime=4.95 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 17076 0 0 0 489 6 0 0 20 0 19 0 140120212 19498610688 26049 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4760403 26049 5896 1 0 554886 0
[pid=710010/tid=710012] ppid=710007 vsize=19041612 memory=0 CPUtime=3.05 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 6957 0 0 0 302 3 0 0 20 0 19 0 140120212 19498610688 26049 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=19041612 memory=-8673205471308849852 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140120218 19498610688 26049 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=19041612 memory=12676 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140120219 19498610688 26049 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710029] ppid=710007 vsize=19041612 memory=2216 CPUtime=0 cores=4,6
/proc/710010/task/710029/stat : 710029 (Timer-0) S 710007 710010 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140120233 19498610688 26049 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 4.95 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 104196 KiB
[startup+6.30045 s]
/proc/loadavg: 4.24 3.72 2.98 5/316 710031
/proc/meminfo: memFree=119905480/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19041612 memory=120596 CPUtime=8.37 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 17983 0 0 0 830 7 0 0 20 0 19 0 140120212 19498610688 30149 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4760403 30149 5896 1 0 554886 0
[pid=710010/tid=710012] ppid=710007 vsize=19041612 memory=2216 CPUtime=6.23 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 7443 0 0 0 620 3 0 0 20 0 19 0 140120212 19498610688 30149 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140120218 19498610688 30149 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=19041612 memory=12676 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140120219 19498610688 30149 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710029] ppid=710007 vsize=19041612 memory=-5158697563450915880 CPUtime=0 cores=4,6
/proc/710010/task/710029/stat : 710029 (Timer-0) S 710007 710010 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140120233 19498610688 30149 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 8.37 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 120596 KiB
[startup+12.7004 s]
/proc/loadavg: 4.22 3.72 2.99 5/316 710032
/proc/meminfo: memFree=119824948/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19041612 memory=159912 CPUtime=14.84 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 21813 0 0 0 1476 8 0 0 20 0 19 0 140120212 19498610688 39978 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4760403 39978 5896 1 0 554973 0
[pid=710010/tid=710012] ppid=710007 vsize=19041612 memory=12676 CPUtime=12.61 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 8489 0 0 0 1257 4 0 0 20 0 19 0 140120212 19498610688 39978 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=19041612 memory=137296 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140120218 19498610688 39978 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=19041612 memory=37036 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140120219 19498610688 39978 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710029] ppid=710007 vsize=19041612 memory=12676 CPUtime=0 cores=4,6
/proc/710010/task/710029/stat : 710029 (Timer-0) S 710007 710010 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140120233 19498610688 39978 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 14.84 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 159912 KiB
[startup+25.5005 s]
/proc/loadavg: 4.25 3.76 3.01 5/317 710035
/proc/meminfo: memFree=119645760/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19108176 memory=193164 CPUtime=27.71 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 24346 0 0 0 2761 10 0 0 20 0 20 0 140120212 19566772224 48291 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4777044 48291 5928 1 0 555262 0
[pid=710010/tid=710012] ppid=710007 vsize=19108176 memory=193164 CPUtime=25.32 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 9336 0 0 0 2528 4 0 0 20 0 20 0 140120212 19566772224 48291 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140120218 19566772224 48291 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=19108176 memory=12676 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 140120219 19566772224 48291 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710029] ppid=710007 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/710010/task/710029/stat : 710029 (Timer-0) S 710007 710010 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140120233 19566772224 48291 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 27.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193164 KiB
[startup+51.1136 s]
/proc/loadavg: 4.31 3.81 3.05 5/317 710040
/proc/meminfo: memFree=119080124/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19108176 memory=226216 CPUtime=53.28 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 27527 0 0 0 5315 13 0 0 20 0 20 0 140120212 19566772224 56554 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4777044 56554 5928 1 0 555262 0
[pid=710010/tid=710012] ppid=710007 vsize=19108176 memory=226216 CPUtime=50.72 cores=4,6
################
# More data... #
################
/proc/meminfo: memFree=126952116/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19108176 memory=1322512 CPUtime=3282.87 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 139491 0 0 0 328094 193 0 0 20 0 20 0 140120212 19566772224 330628 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4777044 330628 5976 1 0 559224 0
[pid=710010/tid=710012] ppid=710007 vsize=19108176 memory=12676 CPUtime=3267.7 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 52205 0 0 0 326762 8 0 0 20 0 20 0 140120212 19566772224 330628 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=19108176 memory=1320460 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140120218 19566772224 330628 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=19108176 memory=1796 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 3661 0 0 0 0 0 0 0 20 0 20 0 140120219 19566772224 330628 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710029] ppid=710007 vsize=19108176 memory=1322512 CPUtime=0 cores=4,6
/proc/710010/task/710029/stat : 710029 (Timer-0) S 710007 710010 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140120233 19566772224 330628 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 3282.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322512 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/322 712045
/proc/meminfo: memFree=126801440/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19108176 memory=1322512 CPUtime=3342.79 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 140137 0 0 0 334083 196 0 0 20 0 20 0 140120212 19566772224 330628 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4777044 330628 5976 1 0 559224 0
[pid=710010/tid=710012] ppid=710007 vsize=19108176 memory=1322512 CPUtime=3327.57 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 52690 0 0 0 332749 8 0 0 20 0 20 0 140120212 19566772224 330628 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=19108176 memory=1322512 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140120218 19566772224 330628 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=19108176 memory=1322512 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 3721 0 0 0 0 0 0 0 20 0 20 0 140120219 19566772224 330628 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710029] ppid=710007 vsize=19108176 memory=1322512 CPUtime=0 cores=4,6
/proc/710010/task/710029/stat : 710029 (Timer-0) S 710007 710010 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140120233 19566772224 330628 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 3342.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322512 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/322 712055
/proc/meminfo: memFree=126726772/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19108176 memory=1322564 CPUtime=3402.74 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 141970 0 0 0 340074 200 0 0 20 0 20 0 140120212 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4777044 330641 5976 1 0 559224 0
[pid=710010/tid=710012] ppid=710007 vsize=19108176 memory=1322512 CPUtime=3387.35 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 53285 0 0 0 338727 8 0 0 20 0 20 0 140120212 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140120218 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 3761 0 0 0 0 0 0 0 20 0 20 0 140120219 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710029] ppid=710007 vsize=19108176 memory=1322564 CPUtime=0 cores=4,6
/proc/710010/task/710029/stat : 710029 (Timer-0) S 710007 710010 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140120233 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 3402.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322564 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/320 712065
/proc/meminfo: memFree=126641588/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19108176 memory=1322564 CPUtime=3462.66 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 142894 0 0 0 346063 203 0 0 20 0 20 0 140120212 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4777044 330641 5976 1 0 559224 0
[pid=710010/tid=710012] ppid=710007 vsize=19108176 memory=1322512 CPUtime=3447.23 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 53983 0 0 0 344714 9 0 0 20 0 20 0 140120212 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=19108176 memory=1322564 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140120218 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=19108176 memory=1322564 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 3898 0 0 0 0 0 0 0 20 0 20 0 140120219 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710029] ppid=710007 vsize=19108176 memory=1322564 CPUtime=0 cores=4,6
/proc/710010/task/710029/stat : 710029 (Timer-0) S 710007 710010 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140120233 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 3462.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322564 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/320 712077
/proc/meminfo: memFree=126575240/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19108176 memory=1322564 CPUtime=3522.59 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 144472 0 0 0 352054 205 0 0 20 0 20 0 140120212 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4777044 330641 5976 1 0 559224 0
[pid=710010/tid=710012] ppid=710007 vsize=19108176 memory=1322564 CPUtime=3506.94 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 54491 0 0 0 350685 9 0 0 20 0 20 0 140120212 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=19108176 memory=1322564 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140120218 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=19108176 memory=1322564 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 3951 0 0 0 0 0 0 0 20 0 20 0 140120219 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710029] ppid=710007 vsize=19108176 memory=37036 CPUtime=0 cores=4,6
/proc/710010/task/710029/stat : 710029 (Timer-0) S 710007 710010 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140120233 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 3522.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322564 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/318 712088
/proc/meminfo: memFree=126408488/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19108176 memory=1322564 CPUtime=3582.5 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 145266 0 0 0 358043 207 0 0 20 0 20 0 140120212 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4777044 330641 5976 1 0 559224 0
[pid=710010/tid=710012] ppid=710007 vsize=19108176 memory=1322564 CPUtime=3566.81 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 55175 0 0 0 356672 9 0 0 20 0 20 0 140120212 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=19108176 memory=1322564 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140120218 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=19108176 memory=1322564 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 3974 0 0 0 0 0 0 0 20 0 20 0 140120219 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710029] ppid=710007 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/710010/task/710029/stat : 710029 (Timer-0) S 710007 710010 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140120233 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 3582.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3599.9 s]
/proc/loadavg: 4.15 4.15 4.10 5/318 712089
/proc/meminfo: memFree=126408428/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19108176 memory=1322564 CPUtime=3600.07 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 145406 0 0 0 359800 207 0 0 20 0 20 0 140120212 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4777044 330641 5976 1 0 559224 0
[pid=710010/tid=710012] ppid=710007 vsize=19108176 memory=1322564 CPUtime=3584.37 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 55313 0 0 0 358428 9 0 0 20 0 20 0 140120212 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=19108176 memory=1322564 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140120218 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=19108176 memory=5576 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 3974 0 0 0 0 0 0 0 20 0 20 0 140120219 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710029] ppid=710007 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/710010/task/710029/stat : 710029 (Timer-0) S 710007 710010 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140120233 19566772224 330641 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3600.14 s]
# the end of solver process 710010 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.41 s, system=2.0989 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3600.01 s]*
/proc/loadavg: 4.15 4.15 4.10 6/319 712092
/proc/meminfo: memFree=126407772/131655788 swapFree=131071996/131071996
[pid=710010] ppid=710007 vsize=19307868 memory=1323404 CPUtime=3600.29 cores=4,6
/proc/710010/stat : 710010 (java) S 710007 710010 706088 0 -1 1077936128 148698 0 0 0 359821 208 0 0 20 0 21 0 140120212 19771256832 330851 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
/proc/710010/statm: 4826967 330851 5975 1 0 560177 0
[pid=710010/tid=710012] ppid=710007 vsize=19307868 memory=-9031233940808442556 CPUtime=3584.45 cores=4,6
/proc/710010/task/710012/stat : 710012 (java) R 710007 710010 706088 0 -1 4194368 55610 0 0 0 358436 9 0 0 20 0 21 0 140120212 19771256832 330851 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710021] ppid=710007 vsize=19307868 memory=-4421386483413641574 CPUtime=0 cores=4,6
/proc/710010/task/710021/stat : 710021 (Finalizer) S 710007 710010 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140120218 19771256832 330851 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=710028] ppid=710007 vsize=19307868 memory=8144 CPUtime=0 cores=4,6
/proc/710010/task/710028/stat : 710028 (Common-Cleaner) S 710007 710010 706088 0 -1 1077936192 3974 0 0 0 0 0 0 0 20 0 21 0 140120219 19771256832 330851 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
[pid=710010/tid=712091] ppid=710007 vsize=19307868 memory=2100 CPUtime=0.09 cores=4,6
/proc/710010/task/712091/stat : 712091 (Thread-0) R 710007 710010 706088 0 -1 4194368 416 0 0 0 9 0 0 0 20 0 21 0 140480203 19771256832 330851 134679101440 93965702561792 93965702565488 140737138224800 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93965702573304 93965702574096 93965713899520 140737138226157 140737138226247 140737138226247 140737138233288 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1323404 KiB
Child status: 143
Real time (s): 3600.14
CPU time (s): 3600.51
CPU user time (s): 3598.41
CPU system time (s): 2.0989
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1323404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.41
system time used= 2.0989
maximum resident set size= 1324204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149164
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105470
involuntary context switches= 2026
# summary of solver processes directly reported to runsolver:
# pid: 710010
# total CPU time (s): 3600.51
# total CPU user time (s): 3598.41
# total CPU system time (s): 2.0989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3321 second user time and 40.0638 second system time
The end
Begin job on nodeC002 at 2024-07-13 16:07:14 IDJOB=4424818 IDBENCH=143454 IDSOLVER=3037 FILE ID=nodeC002/4424818-1720879621 RUNJOBID= nodeC002-1720879115-709548 SLURM_JOB_ID= 7483750 Free space on /tmp= 723780 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424818-1720879621/watcher-4424818-1720879621 -o /tmp/evaluation-result-4424818-1720879621/solver-4424818-1720879621 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1720879115-709548 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424818-1720879621.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1558329f241385327ddc7531dadf19cb RANDOM SEED=934798744 nodeC002.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 : 3662.566 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.38 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 : 3532.640 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 : 1197.282 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.38 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 : 1197.297 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.718 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.38 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 : 3536.374 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 : 1197.163 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.38 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 : 1197.231 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: 120058776 kB MemAvailable: 119947988 kB Buffers: 325896 kB Cached: 411656 kB SwapCached: 0 kB Active: 481864 kB Inactive: 10594164 kB Active(anon): 2692 kB Inactive(anon): 10373520 kB Active(file): 479172 kB Inactive(file): 220644 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 1044 kB Writeback: 0 kB AnonPages: 10338060 kB Mapped: 122008 kB Shmem: 37704 kB KReclaimable: 58856 kB Slab: 149448 kB SReclaimable: 58856 kB SUnreclaim: 90592 kB KernelStack: 4784 kB PageTables: 30264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 13031344 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 47296 kB HardwareCorrupted: 0 kB AnonHugePages: 9955328 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: 160584 kB DirectMap2M: 7084032 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 723760 MiB End job on nodeC002 at 2024-07-13 17:07:14