Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2025-06-06 | MSAT (TO) | 3600.28 | 3598.73 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo |
| MD5SUM | ae5896cca6b00814cba4dd38df793b74 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.046332 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 420 |
| Total number of constraints | 41 |
| Number of soft constraints | 32 |
| Number of constraints which are clauses | 21 |
| 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 | 20 |
| Maximum length of a constraint | 21 |
| Top cost | 1258 |
| Min constraint cost | 1 |
| Max constraint cost | 83 |
| Sum of constraints costs | 1257 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 22 |
| 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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 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.07 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.13/0.14 c Pseudo Boolean Optimization by upper bound 0.13/0.14 c --- Begin Solver configuration --- 0.13/0.14 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.13/0.14 c Learn all clauses as in MiniSAT 0.13/0.14 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.13/0.14 c Expensive reason simplification 0.13/0.14 c Glucose 2.1 dynamic restart strategy 0.13/0.14 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.14 c timeout=2147483s 0.13/0.14 c DB Simplification allowed=false 0.13/0.14 c Listener: none 0.13/0.14 c --- End Solver configuration --- 0.13/0.14 c solving HOME/instance-4525244-1751621957.wbo 0.13/0.14 c reading problem ... 0.13/0.17 c ... done. Wall clock time 0.027s. 0.13/0.17 c declared #vars 420 0.13/0.17 c internal #vars 452 0.13/0.17 c #constraints 42 0.13/0.17 c constraints type 0.13/0.17 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 0.13/0.17 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 13 0.13/0.17 c org.sat4j.specs.Constr$1 => 1 0.13/0.17 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 21 0.13/0.17 c 42 constraints processed. 0.13/0.18 c objective function length is 32 literals 0.51/0.36 c SATISFIABLE 0.51/0.36 c OPTIMIZING... 0.51/0.36 c Got one! Elapsed wall clock time (in seconds):0.219 0.51/0.36 o 48 1.65/0.93 c cleaning 2762 clauses out of 5524 with flag 24641/5524 2.31/1.40 c cleaning 4370 clauses out of 8761 with flag 61900/11523 2.31/1.45 c Got one! Elapsed wall clock time (in seconds):1.312 2.31/1.45 o 7 2.88/1.94 c cleaning 5029 clauses out of 10060 with flag 30265/17192 3.66/2.69 c cleaning 5515 clauses out of 11032 with flag 71855/23193 4.96/4.00 c cleaning 6249 clauses out of 12515 with flag 123788/30191 5.86/4.80 c cleaning 7125 clauses out of 14267 with flag 177471/38192 6.95/5.80 c cleaning 8062 clauses out of 16141 with flag 242890/47191 8.05/6.94 c cleaning 9036 clauses out of 18081 with flag 317997/57193 10.16/9.07 c cleaning 10011 clauses out of 20046 with flag 394139/68194 12.55/11.48 c cleaning 11005 clauses out of 22034 with flag 473084/80193 14.85/13.77 c Got one! Elapsed wall clock time (in seconds):13.628 14.85/13.77 o 2 16.44/15.37 c cleaning 13498 clauses out of 27013 with flag 32216/96177 17.74/16.65 c cleaning 9740 clauses out of 19514 with flag 71879/102176 18.84/17.76 c cleaning 8373 clauses out of 16774 with flag 123634/109176 20.14/19.08 c cleaning 8189 clauses out of 16401 with flag 184717/117176 21.76/20.62 c cleaning 8596 clauses out of 17213 with flag 257850/126177 23.49/22.33 c cleaning 9295 clauses out of 18616 with flag 334279/136176 25.68/24.57 c cleaning 10153 clauses out of 20321 with flag 430371/147176 28.30/27.17 c cleaning 11080 clauses out of 22171 with flag 521152/159179 29.90/28.73 c Got one! Elapsed wall clock time (in seconds):28.594 29.90/28.73 o 1 30.59/29.43 c cleaning 11725 clauses out of 23465 with flag 31779/171553 31.15/29.95 c cleaning 8781 clauses out of 17741 with flag 76414/177554 32.15/30.98 c cleaning 7884 clauses out of 15960 with flag 136772/184554 33.14/31.96 c cleaning 7999 clauses out of 16078 with flag 213382/192556 34.29/33.01 c cleaning 8539 clauses out of 17079 with flag 303507/201556 35.68/34.40 c cleaning 9265 clauses out of 18537 with flag 405236/211553 38.17/36.93 c cleaning 10133 clauses out of 20272 with flag 515390/222553 41.02/39.72 c cleaning 11064 clauses out of 22139 with flag 636810/234553 44.11/42.88 c cleaning 12037 clauses out of 24075 with flag 771822/247553 46.41/45.11 c cleaning 13017 clauses out of 26039 with flag 914303/261554 51.84/50.53 c cleaning 14008 clauses out of 28023 with flag 1058136/276555 59.03/57.70 c cleaning 15008 clauses out of 30016 with flag 1212982/292556 63.17/61.87 c cleaning 16002 clauses out of 32006 with flag 1383918/309554 69.36/68.05 c cleaning 17002 clauses out of 34003 with flag 1559829/327553 81.79/80.40 c cleaning 17999 clauses out of 36002 with flag 1754490/346554 86.28/84.91 c cleaning 18986 clauses out of 38003 with flag 1952967/366554 92.72/91.39 c cleaning 20002 clauses out of 40017 with flag 2176112/387554 104.25/102.84 c cleaning 21006 clauses out of 42015 with flag 2389869/409554 113.80/112.38 c cleaning 22001 clauses out of 44008 with flag 2607014/432553 124.88/123.42 c cleaning 23003 clauses out of 46010 with flag 2830884/456556 143.88/142.41 c cleaning 24001 clauses out of 48007 with flag 3070902/481556 167.80/166.37 c cleaning 25000 clauses out of 50003 with flag 3323402/507553 190.31/188.89 c cleaning 25994 clauses out of 52004 with flag 3579138/534554 223.29/221.80 c cleaning 27004 clauses out of 54011 with flag 3849352/562555 260.67/259.06 c cleaning 27998 clauses out of 56006 with flag 4124270/591554 285.77/284.11 c cleaning 29005 clauses out of 58009 with flag 4367076/621555 299.00/297.31 c cleaning 30000 clauses out of 60003 with flag 4615751/652554 313.88/312.24 c cleaning 31000 clauses out of 62003 with flag 4832417/684554 341.37/339.79 c cleaning 31998 clauses out of 64002 with flag 5050559/717553 356.29/354.68 c cleaning 32994 clauses out of 66007 with flag 5304074/751556 373.26/371.67 c cleaning 34001 clauses out of 68011 with flag 5548103/786554 391.71/390.10 c cleaning 34999 clauses out of 70010 with flag 5774928/822554 416.44/414.84 c cleaning 35999 clauses out of 72011 with flag 6015874/859554 445.21/443.56 c cleaning 36999 clauses out of 74013 with flag 6271377/897555 474.12/472.41 c cleaning 37997 clauses out of 76013 with flag 6537636/936554 504.35/502.77 c cleaning 39002 clauses out of 78017 with flag 6807666/976555 535.97/534.12 c cleaning 39999 clauses out of 80015 with flag 7088098/1017555 564.09/562.25 c cleaning 41004 clauses out of 82016 with flag 7376232/1059555 594.61/592.84 c cleaning 41999 clauses out of 84010 with flag 7680237/1102553 638.89/637.20 c cleaning 42999 clauses out of 86011 with flag 8078557/1146553 683.96/682.28 c cleaning 44000 clauses out of 88012 with flag 8426820/1191553 720.78/719.11 c cleaning 45000 clauses out of 90013 with flag 8742351/1237554 770.92/769.24 c cleaning 45997 clauses out of 92014 with flag 9070725/1284555 810.23/808.60 c cleaning 47000 clauses out of 94016 with flag 9413042/1332554 845.85/844.30 c cleaning 47998 clauses out of 96015 with flag 9753294/1381553 898.52/897.03 c cleaning 49003 clauses out of 98020 with flag 10108049/1431556 949.97/948.61 c cleaning 49999 clauses out of 100016 with flag 10456621/1482555 1001.03/999.82 c cleaning 50996 clauses out of 102015 with flag 10862629/1534553 1058.57/1057.37 c cleaning 52004 clauses out of 104019 with flag 11223153/1587553 1117.40/1115.86 c cleaning 53002 clauses out of 106015 with flag 11642985/1641553 1187.72/1186.21 c cleaning 53998 clauses out of 108014 with flag 12056648/1696554 1253.27/1251.90 c cleaning 54999 clauses out of 110015 with flag 12544101/1752553 1309.52/1308.19 c cleaning 56005 clauses out of 112017 with flag 13040266/1809554 1371.97/1370.77 c cleaning 56998 clauses out of 114011 with flag 13555659/1867553 1422.94/1421.70 c cleaning 57996 clauses out of 116013 with flag 14060421/1926553 1471.54/1470.49 c cleaning 59000 clauses out of 118019 with flag 14549398/1986555 1529.66/1528.56 c cleaning 60002 clauses out of 120017 with flag 15038345/2047553 1584.53/1583.51 c cleaning 61001 clauses out of 122015 with flag 15504470/2109553 1635.26/1634.20 c cleaning 62001 clauses out of 124014 with flag 16026798/2172553 1691.64/1690.79 c cleaning 63000 clauses out of 126014 with flag 16517856/2236554 1758.49/1757.44 c cleaning 63996 clauses out of 128014 with flag 17052191/2301554 1808.93/1807.82 c cleaning 65004 clauses out of 130018 with flag 17558413/2367554 1869.60/1868.60 c cleaning 65999 clauses out of 132013 with flag 18098378/2434553 1940.30/1939.24 c cleaning 66999 clauses out of 134015 with flag 18649875/2502554 2016.36/2015.45 c cleaning 67998 clauses out of 136017 with flag 19236404/2571555 2088.69/2087.78 c cleaning 69000 clauses out of 138017 with flag 19843966/2641553 2182.79/2182.04 c cleaning 69999 clauses out of 140018 with flag 20459818/2712554 2291.46/2290.73 c cleaning 70994 clauses out of 142018 with flag 21192271/2784553 2389.34/2388.75 c cleaning 72004 clauses out of 144024 with flag 21953932/2857553 2485.86/2485.23 c cleaning 73006 clauses out of 146021 with flag 22729459/2931554 2563.77/2562.39 c cleaning 73993 clauses out of 148014 with flag 23329374/3006553 2652.33/2650.53 c cleaning 75003 clauses out of 150021 with flag 24078658/3082553 2737.58/2735.83 c cleaning 75999 clauses out of 152018 with flag 24849545/3159553 2830.81/2829.15 c cleaning 77005 clauses out of 154020 with flag 25607895/3237554 2922.39/2920.87 c cleaning 78002 clauses out of 156017 with flag 26326943/3316556 3005.05/3003.63 c cleaning 78999 clauses out of 158012 with flag 26961024/3396553 3073.27/3071.90 c cleaning 79997 clauses out of 160013 with flag 27561190/3477553 3141.32/3140.05 c cleaning 81001 clauses out of 162018 with flag 28207406/3559555 3218.15/3216.96 c cleaning 81999 clauses out of 164015 with flag 28870064/3642553 3305.42/3303.83 c cleaning 82996 clauses out of 166017 with flag 29603894/3726554 3372.41/3370.96 c cleaning 84004 clauses out of 168020 with flag 30282527/3811553 3434.82/3433.37 c cleaning 85003 clauses out of 170017 with flag 31066104/3897554 3506.37/3504.95 c cleaning 85999 clauses out of 172014 with flag 31812956/3984554 3585.36/3583.99 c cleaning 86999 clauses out of 174017 with flag 32568133/4072556 3600.03/3598.62 c starts : 8338 3600.03/3598.63 c conflicts : 4092161 3600.03/3598.63 c decisions : 6017775 3600.03/3598.63 c propagations : 60828093 3600.03/3598.63 c inspects : 21956894193 3600.03/3598.63 c shortcuts : 0 3600.03/3598.63 c learnt literals : 0 3600.03/3598.63 c learnt binary clauses : 0 3600.03/3598.63 c learnt ternary clauses : 0 3600.03/3598.63 c learnt constraints : 4092161 3600.03/3598.63 c ignored constraints : 0 3600.03/3598.63 c root simplifications : 0 3600.03/3598.63 c removed literals (reason simplification) : 8064271 3600.03/3598.63 c reason swapping (by a shorter reason) : 0 3600.03/3598.63 c Calls to reduceDB : 102 3600.03/3598.63 c Number of update (reduction) of LBD : 2410461 3600.03/3598.63 c Imported unit clauses : 0 3600.03/3598.63 c No decision after first conflict : false 3600.03/3598.63 c number of reductions to clauses (during analyze) : 0 3600.03/3598.63 c number of learned constraints concerned by reduction : 0 3600.03/3598.63 c number of learning phase by resolution : 0 3600.03/3598.63 c number of learning phase by cutting planes : 0 3600.03/3598.63 c number of rounding to 1 operations : 0 3600.03/3598.63 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.03/3598.63 c number of reductions of the coefficients by power 2 : 0 3600.03/3598.63 c number of right shift for reduction by power 2 : 0 3600.03/3598.63 c number of reductions of the coefficients by GCD over coefficients : 0 3600.03/3598.63 c number of ending skipping : 0 3600.03/3598.63 c number of internal skipping : 0 3600.03/3598.63 c number of derivation steps : 0 3600.03/3598.63 c number of skipped derivation steps : 0 3600.03/3598.63 c number of remaining unassigned : 0 3600.03/3598.63 c number of remaining assigned : 0 3600.03/3598.63 c number of falsified literals weakened from reason : 0 3600.03/3598.63 c number of falsified literals weakened from conflict : 0 3600.03/3598.63 c time for arithmetic operations : 0 3600.03/3598.64 c minimum degree of deleted constraints : null 3600.03/3598.64 c maximum degree of deleted constraints : null 3600.03/3598.64 c number of deleted constraints : 0 3600.03/3598.64 c speed (assignments/second) : 16903.937715526405 3600.03/3598.64 c non guided choices : 1549 3600.24/3598.71 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 106623 3600.24/3598.71 s SATISFIABLE 3600.24/3598.71 c Found 4 solution(s) 3600.24/3598.71 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 3600.24/3598.71 c objective function=1 3600.24/3598.71 c Total wall clock time (in seconds): 3598.576
OK 1
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: 63708 MiB (58046 MiB free)
memory of node 1: 64465 MiB (61869 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525244-1751621957/watcher-4525244-1751621957 -o /tmp/evaluation-result-4525244-1751621957/solver-4525244-1751621957 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86868 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525244-1751621957.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=88988, runsolver pid=88985
[startup+0.100061 s]*
/proc/loadavg: 4.12 4.16 4.17 6/338 89006
/proc/meminfo: memFree=122774280/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=18930384 memory=57708 CPUtime=0.13 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 6575 0 0 0 11 2 0 0 20 0 18 0 77873557 19384713216 14427 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4732596 14427 5333 1 0 547620 0
[pid=88988/tid=88990] ppid=88985 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 5067 0 0 0 6 1 0 0 20 0 18 0 77873558 19384713216 14427 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77873561 19384713216 14427 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=18930384 memory=58485492679666 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77873561 19384713216 14427 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57708 KiB
[startup+0.205783 s]*
/proc/loadavg: 4.12 4.16 4.17 7/339 89007
/proc/meminfo: memFree=122767160/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=18996948 memory=62884 CPUtime=0.32 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 7263 0 0 0 29 3 0 0 20 0 19 0 77873557 19452874752 15721 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4749237 15721 5493 1 0 548294 0
[pid=88988/tid=88990] ppid=88985 vsize=18996948 memory=4026794268 CPUtime=0.17 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 5366 0 0 0 15 2 0 0 20 0 19 0 77873558 19452874752 15721 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=18996948 memory=16099 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77873561 19452874752 15721 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=18996948 memory=57385981051877 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77873561 19452874752 15721 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89007] ppid=88985 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/88988/task/89007/stat : 89007 (Timer-0) S 88985 88988 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77873576 19452874752 15721 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62884 KiB
[startup+0.305702 s]*
/proc/loadavg: 4.27 4.19 4.18 6/339 89007
/proc/meminfo: memFree=122762880/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=18996948 memory=66968 CPUtime=0.51 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 8993 0 0 0 48 3 0 0 20 0 19 0 77873557 19452874752 16742 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4749237 16742 5493 1 0 549292 0
[pid=88988/tid=88990] ppid=88985 vsize=18996948 memory=-6000919485540820071 CPUtime=0.26 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 5376 0 0 0 24 2 0 0 20 0 19 0 77873558 19452874752 16742 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77873561 19452874752 16742 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77873561 19452874752 16742 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89007] ppid=88985 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/88988/task/89007/stat : 89007 (Timer-0) S 88985 88988 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77873576 19452874752 16742 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66968 KiB
[startup+0.700219 s]
/proc/loadavg: 4.27 4.19 4.18 6/339 89007
/proc/meminfo: memFree=122756076/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=18996948 memory=80724 CPUtime=1.26 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 11648 0 0 0 122 4 0 0 20 0 19 0 77873557 19452874752 20181 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4749237 20181 5493 1 0 551101 0
[pid=88988/tid=88990] ppid=88985 vsize=18996948 memory=14336 CPUtime=0.64 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 5412 0 0 0 62 2 0 0 20 0 19 0 77873558 19452874752 20181 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=18996948 memory=10624 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77873561 19452874752 20181 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77873561 19452874752 20181 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89007] ppid=88985 vsize=18996948 memory=4624 CPUtime=0 cores=1,3
/proc/88988/task/89007/stat : 89007 (Timer-0) S 88985 88988 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77873576 19452874752 20181 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80724 KiB
[startup+1.50022 s]
/proc/loadavg: 4.27 4.19 4.18 6/339 89007
/proc/meminfo: memFree=122744356/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=18996948 memory=94088 CPUtime=2.48 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 16745 0 0 0 243 5 0 0 20 0 19 0 77873557 19452874752 23522 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4749237 23522 5493 1 0 551810 0
[pid=88988/tid=88990] ppid=88985 vsize=18996948 memory=0 CPUtime=1.41 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 6057 0 0 0 139 2 0 0 20 0 19 0 77873558 19452874752 23522 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=18996948 memory=10624 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77873561 19452874752 23522 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77873561 19452874752 23522 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89007] ppid=88985 vsize=18996948 memory=4624 CPUtime=0 cores=1,3
/proc/88988/task/89007/stat : 89007 (Timer-0) S 88985 88988 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77873576 19452874752 23522 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94088 KiB
[startup+3.10554 s]
/proc/loadavg: 4.27 4.19 4.18 5/339 89007
/proc/meminfo: memFree=122724076/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=18996948 memory=109080 CPUtime=4.16 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 17809 0 0 0 411 5 0 0 20 0 19 0 77873557 19452874752 27270 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4749237 27270 5493 1 0 551966 0
[pid=88988/tid=88990] ppid=88985 vsize=18996948 memory=10624 CPUtime=3.01 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 6335 0 0 0 298 3 0 0 20 0 19 0 77873558 19452874752 27270 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=18996948 memory=-6000919485540820071 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77873561 19452874752 27270 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77873561 19452874752 27270 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89007] ppid=88985 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/88988/task/89007/stat : 89007 (Timer-0) S 88985 88988 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77873576 19452874752 27270 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 4.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 109080 KiB
[startup+6.30021 s]
/proc/loadavg: 4.33 4.21 4.18 5/340 89008
/proc/meminfo: memFree=122666480/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=18996948 memory=136880 CPUtime=7.45 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 18558 0 0 0 740 5 0 0 20 0 19 0 77873557 19452874752 34220 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4749237 34220 5493 1 0 551968 0
[pid=88988/tid=88990] ppid=88985 vsize=18996948 memory=0 CPUtime=6.19 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 6431 0 0 0 616 3 0 0 20 0 19 0 77873558 19452874752 34220 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77873561 19452874752 34220 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=18996948 memory=10624 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77873561 19452874752 34220 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89007] ppid=88985 vsize=18996948 memory=96152 CPUtime=0 cores=1,3
/proc/88988/task/89007/stat : 89007 (Timer-0) S 88985 88988 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77873576 19452874752 34220 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 7.45 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 136880 KiB
[startup+12.7002 s]
/proc/loadavg: 4.30 4.20 4.18 5/341 89009
/proc/meminfo: memFree=122613256/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=19063512 memory=184504 CPUtime=13.85 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 21994 0 0 0 1378 7 0 0 20 0 20 0 77873557 19521036288 46126 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4765878 46126 5525 1 0 552257 0
[pid=88988/tid=88990] ppid=88985 vsize=19063512 memory=96152 CPUtime=12.55 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 7545 0 0 0 1251 4 0 0 20 0 20 0 77873558 19521036288 46126 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=19063512 memory=184504 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 46126 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 46126 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89007] ppid=88985 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/88988/task/89007/stat : 89007 (Timer-0) S 88985 88988 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77873576 19521036288 46126 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 13.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184504 KiB
[startup+25.5002 s]
/proc/loadavg: 4.25 4.20 4.18 5/341 89009
/proc/meminfo: memFree=122502184/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=19063512 memory=184632 CPUtime=26.68 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 24590 0 0 0 2660 8 0 0 20 0 20 0 77873557 19521036288 46158 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4765878 46158 5525 1 0 552257 0
[pid=88988/tid=88990] ppid=88985 vsize=19063512 memory=184504 CPUtime=25.32 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 8318 0 0 0 2528 4 0 0 20 0 20 0 77873558 19521036288 46158 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 46158 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=19063512 memory=184632 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 46158 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89007] ppid=88985 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/88988/task/89007/stat : 89007 (Timer-0) S 88985 88988 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77873576 19521036288 46158 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 26.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184632 KiB
[startup+51.1055 s]
/proc/loadavg: 4.22 4.19 4.18 5/340 89010
/proc/meminfo: memFree=122182452/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=19063512 memory=400004 CPUtime=52.45 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 27229 0 0 0 5232 13 0 0 20 0 20 0 77873557 19521036288 100001 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4765878 100001 5525 1 0 552273 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 2.15 2.88 3.60 3/290 89247
/proc/meminfo: memFree=120780968/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=19063512 memory=2198196 CPUtime=3283.97 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 90182 0 0 0 328272 125 0 0 20 0 20 0 77873557 19521036288 549549 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4765878 549549 5589 1 0 690521 0
[pid=88988/tid=88990] ppid=88985 vsize=19063512 memory=2158876 CPUtime=3267.23 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 35513 0 0 0 326713 10 0 0 20 0 20 0 77873558 19521036288 549549 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=19063512 memory=2175668 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 549549 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=19063512 memory=2167404 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 1143 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 549549 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89007] ppid=88985 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/88988/task/89007/stat : 89007 (Timer-0) S 88985 88988 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77873576 19521036288 549549 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 3283.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2198196 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.74 3.50 3/290 89249
/proc/meminfo: memFree=120662236/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=19063512 memory=2310852 CPUtime=3343.89 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 90941 0 0 0 334261 128 0 0 20 0 20 0 77873557 19521036288 577713 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4765878 577713 5589 1 0 690523 0
[pid=88988/tid=88990] ppid=88985 vsize=19063512 memory=-6000919485540820071 CPUtime=3326.98 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 36193 0 0 0 332686 12 0 0 20 0 20 0 77873558 19521036288 577713 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=19063512 memory=2310852 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 577713 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=19063512 memory=1920 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 1143 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 577713 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89007] ppid=88985 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/88988/task/89007/stat : 89007 (Timer-0) S 88985 88988 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77873576 19521036288 577713 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 3343.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2310852 KiB
[startup+3402.3 s]
/proc/loadavg: 1.67 2.50 3.37 2/265 89285
/proc/meminfo: memFree=127416156/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=19063512 memory=2491340 CPUtime=3403.89 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 93460 0 0 0 340255 134 0 0 20 0 20 0 77873557 19521036288 622835 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4765878 622835 5589 1 0 690523 0
[pid=88988/tid=88990] ppid=88985 vsize=19063512 memory=14156 CPUtime=3386.68 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 37589 0 0 0 338652 16 0 0 20 0 20 0 77873558 19521036288 622835 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=19063512 memory=2239156 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 622835 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=19063512 memory=2431684 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 1183 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 622835 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89007] ppid=88985 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/88988/task/89007/stat : 89007 (Timer-0) S 88985 88988 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77873576 19521036288 622835 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 3403.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2491340 KiB
[startup+3462.3 s]
/proc/loadavg: 1.36 2.26 3.23 2/265 89287
/proc/meminfo: memFree=127401324/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=19063512 memory=2507828 CPUtime=3463.86 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 95406 0 0 0 346250 136 0 0 20 0 20 0 77873557 19521036288 626957 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4765878 626957 5589 1 0 690523 0
[pid=88988/tid=88990] ppid=88985 vsize=19063512 memory=2431684 CPUtime=3446.44 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 38648 0 0 0 344628 16 0 0 20 0 20 0 77873558 19521036288 626957 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 626957 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=19063512 memory=2507828 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 1238 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 626957 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89007] ppid=88985 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/88988/task/89007/stat : 89007 (Timer-0) S 88985 88988 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77873576 19521036288 626957 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 3463.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2507828 KiB
[startup+3522.3 s]
/proc/loadavg: 1.18 2.04 3.09 2/265 89291
/proc/meminfo: memFree=127403764/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=19063512 memory=2507828 CPUtime=3523.73 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 95435 0 0 0 352236 137 0 0 20 0 20 0 77873557 19521036288 626957 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4765878 626957 5589 1 0 690523 0
[pid=88988/tid=88990] ppid=88985 vsize=19063512 memory=2507828 CPUtime=3506.29 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 38653 0 0 0 350613 16 0 0 20 0 20 0 77873558 19521036288 626957 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 626957 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=19063512 memory=2507828 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 1238 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 626957 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89007] ppid=88985 vsize=19063512 memory=10624 CPUtime=0 cores=1,3
/proc/88988/task/89007/stat : 89007 (Timer-0) S 88985 88988 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77873576 19521036288 626957 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 3523.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2507828 KiB
[startup+3582.3 s]
/proc/loadavg: 1.16 1.88 2.97 2/264 89298
/proc/meminfo: memFree=127381236/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=19063512 memory=2532404 CPUtime=3583.76 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 96835 0 0 0 358237 139 0 0 20 0 20 0 77873557 19521036288 633101 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4765878 633101 5589 1 0 690523 0
[pid=88988/tid=88990] ppid=88985 vsize=19063512 memory=14336 CPUtime=3566 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 39800 0 0 0 356584 16 0 0 20 0 20 0 77873558 19521036288 633101 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 633101 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=19063512 memory=-6000919485540820071 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 1238 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 633101 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89007] ppid=88985 vsize=19063512 memory=14156 CPUtime=0 cores=1,3
/proc/88988/task/89007/stat : 89007 (Timer-0) S 88985 88988 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77873576 19521036288 633101 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 3583.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2532404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3598.6 s]
/proc/loadavg: 1.13 1.84 2.94 2/264 89298
/proc/meminfo: memFree=127381992/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=19063512 memory=2532404 CPUtime=3600.03 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 97198 0 0 0 359864 139 0 0 20 0 20 0 77873557 19521036288 633101 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4765878 633101 5589 1 0 690523 0
[pid=88988/tid=88990] ppid=88985 vsize=19063512 memory=14156 CPUtime=3582.26 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 40157 0 0 0 358210 16 0 0 20 0 20 0 77873558 19521036288 633101 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=19063512 memory=14336 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 633101 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 1238 0 0 0 0 0 0 0 20 0 20 0 77873561 19521036288 633101 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89007] ppid=88985 vsize=19063512 memory=4624 CPUtime=0 cores=1,3
/proc/88988/task/89007/stat : 89007 (Timer-0) S 88985 88988 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77873576 19521036288 633101 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2532404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3598.73 s]
# the end of solver process 88988 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.87 s, system=1.41407 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3598.71 s]
/proc/loadavg: 1.13 1.84 2.94 2/264 89298
/proc/meminfo: memFree=127381992/131249996 swapFree=33000896/33010684
[pid=88988] ppid=88985 vsize=19263204 memory=2532916 CPUtime=3600.24 cores=1,3
/proc/88988/stat : 88988 (java) S 88985 88988 86856 0 -1 4194304 98864 0 0 0 359884 140 0 0 20 0 21 0 77873557 19725520896 633229 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
/proc/88988/statm: 4815801 633229 5589 1 0 691445 0
[pid=88988/tid=88990] ppid=88985 vsize=19263204 memory=14156 CPUtime=3582.36 cores=1,3
/proc/88988/task/88990/stat : 88990 (java) R 88985 88988 86856 0 -1 4194368 40423 0 0 0 358220 16 0 0 20 0 21 0 77873558 19725520896 633229 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=88999] ppid=88985 vsize=19263204 memory=-6000919485540820071 CPUtime=0 cores=1,3
/proc/88988/task/88999/stat : 88999 (Finalizer) S 88985 88988 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77873561 19725520896 633229 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
[pid=88988/tid=89006] ppid=88985 vsize=19263204 memory=14156 CPUtime=0 cores=1,3
/proc/88988/task/89006/stat : 89006 (Common-Cleaner) S 88985 88988 86856 0 -1 4194368 1238 0 0 0 0 0 0 0 20 0 21 0 77873561 19725520896 633229 18446744073709551615 93982440873984 93982440877680 140725288635344 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 93982440885496 93982440886288 93982451834880 140725288642943 140725288643044 140725288643044 140725288648648 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2532916 KiB
Child status: 143
Real time (s): 3598.73
CPU time (s): 3600.28
CPU user time (s): 3598.87
CPU system time (s): 1.41407
CPU usage (%): 100.043
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2532916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.87
system time used= 1.41407
maximum resident set size= 2533044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99066
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107084
involuntary context switches= 5954
# summary of solver processes directly reported to runsolver:
# pid: 88988
# total CPU time (s): 3600.28
# total CPU user time (s): 3598.87
# total CPU system time (s): 1.41407
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94939 second user time and 17.2452 second system time
The end
Begin job on nodeC023 at 2025-07-04 11:39:17 IDJOB=4525244 IDBENCH=143522 IDSOLVER=3380 FILE ID=nodeC023/4525244-1751621957 RUNJOBID= nodeC023-1751614174-86868 SLURM_JOB_ID= 9598917 Free space on /tmp= 431868 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525244-1751621957/watcher-4525244-1751621957 -o /tmp/evaluation-result-4525244-1751621957/solver-4525244-1751621957 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86868 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525244-1751621957.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ae5896cca6b00814cba4dd38df793b74 RANDOM SEED=1402804215 nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.887 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.862 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3575.358 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.885 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.860 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.874 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.909 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.831 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 122792772 kB MemAvailable: 122549072 kB Buffers: 16 kB Cached: 499244 kB SwapCached: 2900 kB Active: 7395056 kB Inactive: 355852 kB Active(anon): 7210816 kB Inactive(anon): 53360 kB Active(file): 184240 kB Inactive(file): 302492 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33000896 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 744 kB Writeback: 0 kB AnonPages: 7251620 kB Mapped: 117908 kB Shmem: 12524 kB KReclaimable: 217612 kB Slab: 309604 kB SReclaimable: 217612 kB SUnreclaim: 91992 kB KernelStack: 5232 kB PageTables: 18072 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 9161312 kB VmallocTotal: 34359738367 kB VmallocUsed: 151448 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 7006208 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197332 kB DirectMap2M: 9011200 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431868 MiB End job on nodeC023 at 2025-07-04 12:39:16