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.25 | 3579.64 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar6-sub4-20_wcsp.wbo |
| MD5SUM | c20fa776bae7355b4d4e94acf2d6929f |
| 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 | 2716 |
| Best CPU time to get the best result obtained on this benchmark | 6.1932 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 440 |
| Total number of constraints | 72754 |
| Number of soft constraints | 72732 |
| Number of constraints which are clauses | 72732 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Top cost | 69687 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 10145370 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 21 |
| 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.11/0.17 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.11/0.17 c This is free software under the dual EPL/GNU LGPL licenses. 0.11/0.17 c See www.sat4j.org for details. 0.11/0.19 c version PB25.v20250606 0.11/0.21 c java.runtime.name OpenJDK Runtime Environment 0.11/0.21 c java.vm.name OpenJDK 64-Bit Server VM 0.11/0.22 c java.vm.version 22.0.1+8-16 0.11/0.22 c java.vm.vendor Oracle Corporation 0.11/0.22 c sun.arch.data.model 64 0.11/0.22 c java.version 22.0.1 0.11/0.22 c os.name Linux 0.11/0.22 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.11/0.22 c os.arch amd64 0.25/0.23 c Free memory 2106806208 0.25/0.23 c Max memory 16282288128 0.25/0.23 c Total memory 2113929216 0.25/0.24 c Number of processors 2 0.42/0.35 c Pseudo Boolean Optimization by upper bound 0.42/0.35 c --- Begin Solver configuration --- 0.42/0.35 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.42/0.35 c Learn all clauses as in MiniSAT 0.42/0.35 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.42/0.35 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.42/0.35 c Expensive reason simplification 0.42/0.35 c Glucose 2.1 dynamic restart strategy 0.42/0.35 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.42/0.35 c timeout=2147483s 0.42/0.35 c DB Simplification allowed=false 0.42/0.35 c Listener: none 0.42/0.35 c --- End Solver configuration --- 0.42/0.36 c solving HOME/instance-4525703-1751626888.wbo 0.42/0.36 c reading problem ... 2.22/1.32 c ... done. Wall clock time 0.959s. 2.22/1.32 c declared #vars 440 2.22/1.32 c internal #vars 73172 2.22/1.32 c #constraints 72777 2.22/1.32 c constraints type 2.22/1.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 2.22/1.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 2.22/1.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 72754 2.22/1.32 c 72777 constraints processed. 2.22/1.34 c objective function length is 72732 literals 3.01/1.71 c SATISFIABLE 3.01/1.71 c OPTIMIZING... 3.01/1.71 c Got one! Elapsed wall clock time (in seconds):1.357 3.01/1.71 o 10439 3.41/1.95 c Got one! Elapsed wall clock time (in seconds):1.592 3.41/1.95 o 9535 16.76/13.52 c cleaning 2613 clauses out of 5228 with flag 30005/5228 93.68/90.33 c cleaning 4301 clauses out of 8614 with flag 112937/11227 156.96/153.23 c cleaning 5656 clauses out of 11313 with flag 212252/18227 219.34/215.14 c cleaning 6826 clauses out of 13657 with flag 293103/26227 253.69/249.29 c cleaning 7917 clauses out of 15833 with flag 368824/35229 318.77/314.22 c cleaning 8939 clauses out of 17914 with flag 472444/45227 375.09/370.45 c cleaning 9973 clauses out of 19975 with flag 604701/56227 452.48/447.79 c cleaning 10997 clauses out of 22005 with flag 749748/68230 520.24/514.74 c cleaning 11990 clauses out of 24006 with flag 895702/81228 613.64/608.28 c cleaning 13003 clauses out of 26015 with flag 1045985/95227 685.90/680.36 c cleaning 13999 clauses out of 28013 with flag 1204170/110228 739.46/733.90 c cleaning 14995 clauses out of 30014 with flag 1344311/126228 820.97/814.38 c cleaning 15999 clauses out of 32018 with flag 1516282/143227 887.25/880.47 c cleaning 17004 clauses out of 34019 with flag 1688443/161227 986.01/979.09 c cleaning 18002 clauses out of 36015 with flag 1929891/180227 1094.97/1087.09 c cleaning 18999 clauses out of 38013 with flag 2154515/200227 1193.35/1185.34 c cleaning 20003 clauses out of 40014 with flag 2384080/221227 1307.41/1297.34 c cleaning 20999 clauses out of 42012 with flag 2635175/243228 1415.66/1405.30 c cleaning 22003 clauses out of 44014 with flag 2913823/266229 1560.22/1549.59 c cleaning 23000 clauses out of 46009 with flag 3249087/290227 1724.59/1712.45 c cleaning 23995 clauses out of 48010 with flag 3564564/315228 1824.93/1812.42 c cleaning 25003 clauses out of 50014 with flag 3856520/341227 1927.10/1914.36 c cleaning 26000 clauses out of 52011 with flag 4143146/368227 2036.91/2022.54 c cleaning 26995 clauses out of 54011 with flag 4403519/396227 2297.30/2282.43 c cleaning 28005 clauses out of 56016 with flag 4869334/425227 2449.03/2433.87 c cleaning 28997 clauses out of 58012 with flag 5206439/455228 2615.82/2600.38 c cleaning 30002 clauses out of 60014 with flag 5586414/486227 2754.79/2737.66 c cleaning 31008 clauses out of 62015 with flag 5953512/518230 2897.74/2880.31 c cleaning 31991 clauses out of 64004 with flag 6252675/551227 3094.76/3077.00 c cleaning 33004 clauses out of 66015 with flag 6667349/585229 3254.92/3236.72 c cleaning 33999 clauses out of 68009 with flag 7072534/620227 3411.29/3392.68 c cleaning 34995 clauses out of 70010 with flag 7488813/656227 3567.43/3547.05 c cleaning 36002 clauses out of 72015 with flag 7876623/693227 3600.00/3579.52 c starts : 684 3600.00/3579.54 c conflicts : 700838 3600.00/3579.54 c decisions : 2370305 3600.00/3579.54 c propagations : 2390578135 3600.00/3579.54 c inspects : 654526775 3600.00/3579.55 c shortcuts : 0 3600.00/3579.55 c learnt literals : 0 3600.00/3579.55 c learnt binary clauses : 0 3600.00/3579.55 c learnt ternary clauses : 0 3600.00/3579.56 c learnt constraints : 700838 3600.00/3579.56 c ignored constraints : 0 3600.00/3579.56 c root simplifications : 0 3600.00/3579.56 c removed literals (reason simplification) : 5255998 3600.00/3579.56 c reason swapping (by a shorter reason) : 0 3600.00/3579.56 c Calls to reduceDB : 33 3600.00/3579.56 c Number of update (reduction) of LBD : 233594 3600.00/3579.56 c Imported unit clauses : 0 3600.00/3579.56 c No decision after first conflict : false 3600.00/3579.56 c number of reductions to clauses (during analyze) : 0 3600.00/3579.56 c number of learned constraints concerned by reduction : 0 3600.00/3579.56 c number of learning phase by resolution : 0 3600.00/3579.56 c number of learning phase by cutting planes : 0 3600.00/3579.56 c number of rounding to 1 operations : 0 3600.00/3579.56 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.00/3579.56 c number of reductions of the coefficients by power 2 : 0 3600.00/3579.56 c number of right shift for reduction by power 2 : 0 3600.00/3579.56 c number of reductions of the coefficients by GCD over coefficients : 0 3600.00/3579.56 c number of ending skipping : 0 3600.00/3579.56 c number of internal skipping : 0 3600.00/3579.56 c number of derivation steps : 0 3600.00/3579.56 c number of skipped derivation steps : 0 3600.00/3579.56 c number of remaining unassigned : 0 3600.00/3579.56 c number of remaining assigned : 0 3600.00/3579.56 c number of falsified literals weakened from reason : 0 3600.00/3579.56 c number of falsified literals weakened from conflict : 0 3600.00/3579.56 c time for arithmetic operations : 0 3600.00/3579.57 c minimum degree of deleted constraints : null 3600.00/3579.57 c maximum degree of deleted constraints : null 3600.00/3579.57 c number of deleted constraints : 0 3600.00/3579.58 c speed (assignments/second) : 668100.2106382224 3600.00/3579.58 c non guided choices : 463 3600.21/3579.60 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 7156 3600.21/3579.60 s SATISFIABLE 3600.21/3579.60 c Found 2 solution(s) 3600.21/3579.61 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 3600.21/3579.61 c objective function=9535 3600.21/3579.61 c Total wall clock time (in seconds): 3579.258
OK 8605
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: 63837 MiB (53848 MiB free)
memory of node 1: 64465 MiB (61516 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525703-1751626888/watcher-4525703-1751626888 -o /tmp/evaluation-result-4525703-1751626888/solver-4525703-1751626888 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751623235-97338 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525703-1751626888.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=100198, runsolver pid=100195
[startup+0.100072 s]*
/proc/loadavg: 4.29 4.28 4.24 6/325 100216
/proc/meminfo: memFree=118114112/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=18930384 memory=48548 CPUtime=0.11 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 5808 0 0 0 9 2 0 0 20 0 18 0 78367996 19384713216 12137 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4732596 12137 5325 1 0 547018 0
[pid=100198/tid=100200] ppid=100195 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 4680 0 0 0 6 1 0 0 20 0 18 0 78367998 19384713216 12137 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78368003 19384713216 12137 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=18930384 memory=60693105881846 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78368003 19384713216 12137 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48548 KiB
[startup+0.213498 s]*
/proc/loadavg: 4.29 4.28 4.24 6/325 100216
/proc/meminfo: memFree=118114112/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=18930384 memory=51108 CPUtime=0.25 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 6439 0 0 0 22 3 0 0 20 0 18 0 78367996 19384713216 12777 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4732596 12777 5357 1 0 547531 0
[pid=100198/tid=100200] ppid=100195 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 4969 0 0 0 14 2 0 0 20 0 18 0 78367998 19384713216 12777 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=18930384 memory=14857 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78368003 19384713216 12777 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=18930384 memory=59593594242043 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78368003 19384713216 12777 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51108 KiB
[startup+0.318634 s]*
/proc/loadavg: 4.29 4.28 4.24 7/325 100216
/proc/meminfo: memFree=118108504/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=18930384 memory=56404 CPUtime=0.42 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 6718 0 0 0 38 4 0 0 20 0 18 0 78367996 19384713216 14101 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4732596 14101 5357 1 0 547729 0
[pid=100198/tid=100200] ppid=100195 vsize=18930384 memory=-8814786285099852476 CPUtime=0.24 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 5139 0 0 0 22 2 0 0 20 0 18 0 78367998 19384713216 14101 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78368003 19384713216 14101 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78368003 19384713216 14101 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 56404 KiB
[startup+0.700284 s]
/proc/loadavg: 4.29 4.28 4.24 7/325 100216
/proc/meminfo: memFree=118100312/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=18930384 memory=102804 CPUtime=1.1 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 8487 0 0 0 105 5 0 0 20 0 18 0 78367996 19384713216 25701 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4732596 25701 5421 1 0 548884 0
[pid=100198/tid=100200] ppid=100195 vsize=18930384 memory=18560 CPUtime=0.58 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 5284 0 0 0 55 3 0 0 20 0 18 0 78367998 19384713216 25701 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=18930384 memory=11264 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78368003 19384713216 25701 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78368003 19384713216 25701 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 102804 KiB
[startup+1.50026 s]
/proc/loadavg: 4.29 4.28 4.24 6/326 100218
/proc/meminfo: memFree=118001756/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=19063512 memory=197340 CPUtime=2.61 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 13284 0 0 0 253 8 0 0 20 0 20 0 78367996 19521036288 49335 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4765878 49335 5485 1 0 552379 0
[pid=100198/tid=100200] ppid=100195 vsize=19063512 memory=3200 CPUtime=1.25 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 5459 0 0 0 121 4 0 0 20 0 20 0 78367998 19521036288 49335 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 49335 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 49335 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 197340 KiB
[startup+3.10553 s]
/proc/loadavg: 4.34 4.29 4.24 5/327 100219
/proc/meminfo: memFree=117936112/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=19063512 memory=230756 CPUtime=5.58 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 22564 0 0 0 547 11 0 0 20 0 20 0 78367996 19521036288 57689 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4765878 57689 5485 1 0 554679 0
[pid=100198/tid=100200] ppid=100195 vsize=19063512 memory=11264 CPUtime=2.78 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 5596 0 0 0 274 4 0 0 20 0 20 0 78367998 19521036288 57689 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 57689 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 57689 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100219] ppid=100195 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/100198/task/100219/stat : 100219 (Timer-0) S 100195 100198 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78368137 19521036288 57689 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 5.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 230756 KiB
[startup+6.30043 s]
/proc/loadavg: 4.34 4.29 4.24 5/326 100219
/proc/meminfo: memFree=117936144/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=19063512 memory=224204 CPUtime=9.26 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 23593 0 0 0 915 11 0 0 20 0 20 0 78367996 19521036288 56051 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4765878 56051 5485 1 0 554680 0
[pid=100198/tid=100200] ppid=100195 vsize=19063512 memory=0 CPUtime=5.96 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 5852 0 0 0 592 4 0 0 20 0 20 0 78367998 19521036288 56051 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=19063512 memory=7100839887185286273 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 56051 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=19063512 memory=-8814786285099852476 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 56051 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100219] ppid=100195 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/100198/task/100219/stat : 100219 (Timer-0) S 100195 100198 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78368137 19521036288 56051 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 9.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 224204 KiB
[startup+12.7004 s]
/proc/loadavg: 4.29 4.28 4.24 5/326 100219
/proc/meminfo: memFree=117936160/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=19063512 memory=224332 CPUtime=15.96 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 26700 0 0 0 1584 12 0 0 20 0 20 0 78367996 19521036288 56083 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4765878 56083 5517 1 0 554680 0
[pid=100198/tid=100200] ppid=100195 vsize=19063512 memory=0 CPUtime=12.35 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 6304 0 0 0 1231 4 0 0 20 0 20 0 78367998 19521036288 56083 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=19063512 memory=224332 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 56083 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 56083 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100219] ppid=100195 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/100198/task/100219/stat : 100219 (Timer-0) S 100195 100198 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78368137 19521036288 56083 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 15.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 224332 KiB
[startup+25.5004 s]
/proc/loadavg: 4.25 4.27 4.24 5/326 100219
/proc/meminfo: memFree=117936168/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=19063512 memory=224588 CPUtime=28.8 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 29139 0 0 0 2866 14 0 0 20 0 20 0 78367996 19521036288 56147 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4765878 56147 5517 1 0 554712 0
[pid=100198/tid=100200] ppid=100195 vsize=19063512 memory=-8814786285099852476 CPUtime=25.12 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 7920 0 0 0 2507 5 0 0 20 0 20 0 78367998 19521036288 56147 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=19063512 memory=3198 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 56147 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=19063512 memory=224588 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 56147 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100219] ppid=100195 vsize=19063512 memory=224588 CPUtime=0 cores=5,7
/proc/100198/task/100219/stat : 100219 (Timer-0) S 100195 100198 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78368137 19521036288 56147 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 28.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 224588 KiB
[startup+51.1132 s]
/proc/loadavg: 4.16 4.25 4.23 5/326 100219
/proc/meminfo: memFree=117936168/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=19063512 memory=224588 CPUtime=54.42 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 30009 0 0 0 5426 16 0 0 20 0 20 0 78367996 19521036288 56147 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4765878 56147 5517 1 0 554712 0
[pid=100198/tid=100200] ppid=100195 vsize=19063512 memory=224588 CPUtime=50.67 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 8370 0 0 0 5062 5 0 0 20 0 20 0 78367998 19521036288 56147 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=19063512 memory=-8814786285099852476 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 56147 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=19063512 memory=224588 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 56147 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100219] ppid=100195 vsize=19063512 memory=224588 CPUtime=0 cores=5,7
/proc/100198/task/100219/stat : 100219 (Timer-0) S 100195 100198 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78368137 19521036288 56147 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 54.42 s
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.19 4.23 4.18 5/327 100504
/proc/meminfo: memFree=121820240/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=19063512 memory=3526040 CPUtime=3240.36 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 102268 0 0 0 323746 290 0 0 20 0 20 0 78367996 19521036288 881510 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4765878 881510 5549 1 0 1098853 0
[pid=100198/tid=100200] ppid=100195 vsize=19063512 memory=5276 CPUtime=3196.78 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 35731 0 0 0 319608 70 0 0 20 0 20 0 78367998 19521036288 881510 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 881510 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=19063512 memory=3526040 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 1209 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 881510 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100219] ppid=100195 vsize=19063512 memory=4480 CPUtime=0 cores=5,7
/proc/100198/task/100219/stat : 100219 (Timer-0) S 100195 100198 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78368137 19521036288 881510 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 3240.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3526040 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.20 4.17 5/329 100511
/proc/meminfo: memFree=121763816/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=19063512 memory=3528108 CPUtime=3300.53 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 104161 0 0 0 329760 293 0 0 20 0 20 0 78367996 19521036288 882027 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4765878 882027 5549 1 0 1098853 0
[pid=100198/tid=100200] ppid=100195 vsize=19063512 memory=3528108 CPUtime=3256.2 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 36881 0 0 0 325549 71 0 0 20 0 20 0 78367998 19521036288 882027 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=19063512 memory=14080 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 882027 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=19063512 memory=3528108 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 1211 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 882027 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100219] ppid=100195 vsize=19063512 memory=3528108 CPUtime=0 cores=5,7
/proc/100198/task/100219/stat : 100219 (Timer-0) S 100195 100198 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78368137 19521036288 882027 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 3300.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3528108 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.18 4.16 5/329 100513
/proc/meminfo: memFree=121724668/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=19063512 memory=3562928 CPUtime=3360.63 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 104946 0 0 0 335766 297 0 0 20 0 20 0 78367996 19521036288 890732 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4765878 890732 5549 1 0 1098853 0
[pid=100198/tid=100200] ppid=100195 vsize=19063512 memory=5632 CPUtime=3315.8 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 37004 0 0 0 331508 72 0 0 20 0 20 0 78367998 19521036288 890732 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=19063512 memory=12544 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 890732 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=19063512 memory=3562928 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 1251 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 890732 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100219] ppid=100195 vsize=19063512 memory=3562928 CPUtime=0 cores=5,7
/proc/100198/task/100219/stat : 100219 (Timer-0) S 100195 100198 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78368137 19521036288 890732 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 3360.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3562928 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.16 4.16 5/329 100516
/proc/meminfo: memFree=121386232/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=19063512 memory=3898952 CPUtime=3420.97 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 106646 0 0 0 341789 308 0 0 20 0 20 0 78367996 19521036288 974738 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4765878 974738 5549 1 0 1098853 0
[pid=100198/tid=100200] ppid=100195 vsize=19063512 memory=5632 CPUtime=3375.19 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 38453 0 0 0 337446 73 0 0 20 0 20 0 78367998 19521036288 974738 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=19063512 memory=14080 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 974738 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=19063512 memory=3734960 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 1251 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 974738 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100219] ppid=100195 vsize=19063512 memory=-8814786285099852476 CPUtime=0 cores=5,7
/proc/100198/task/100219/stat : 100219 (Timer-0) S 100195 100198 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78368137 19521036288 974738 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 3420.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3898952 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.16 5/329 100518
/proc/meminfo: memFree=121211128/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=19063512 memory=4078856 CPUtime=3482.57 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 111385 0 0 0 347941 316 0 0 20 0 20 0 78367996 19521036288 1019714 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4765878 1019714 5549 1 0 1543898 0
[pid=100198/tid=100200] ppid=100195 vsize=19063512 memory=5632 CPUtime=3434.64 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 40064 0 0 0 343389 75 0 0 20 0 20 0 78367998 19521036288 1019714 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=19063512 memory=14080 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 1019714 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=19063512 memory=3899080 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 1291 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 1019714 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100219] ppid=100195 vsize=19063512 memory=4052232 CPUtime=0 cores=5,7
/proc/100198/task/100219/stat : 100219 (Timer-0) S 100195 100198 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78368137 19521036288 1019714 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 3482.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4078856 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.16 5/329 100520
/proc/meminfo: memFree=120801192/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=19063512 memory=4480636 CPUtime=3542.76 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 113064 0 0 0 353947 329 0 0 20 0 20 0 78367996 19521036288 1120159 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4765878 1120159 5549 1 0 1543898 0
[pid=100198/tid=100200] ppid=100195 vsize=19063512 memory=4052232 CPUtime=3494.06 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 40894 0 0 0 349325 81 0 0 20 0 20 0 78367998 19521036288 1120159 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=19063512 memory=3899080 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 1120159 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=19063512 memory=3528108 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 1333 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 1120159 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100219] ppid=100195 vsize=19063512 memory=4480636 CPUtime=0 cores=5,7
/proc/100198/task/100219/stat : 100219 (Timer-0) S 100195 100198 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78368137 19521036288 1120159 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 3542.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4480636 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3579.5 s]
/proc/loadavg: 4.12 4.16 4.16 5/326 100599
/proc/meminfo: memFree=122138484/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=19063512 memory=4650880 CPUtime=3600 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 113868 0 0 0 359665 335 0 0 20 0 20 0 78367996 19521036288 1162720 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4765878 1162720 5549 1 0 1543898 0
[pid=100198/tid=100200] ppid=100195 vsize=19063512 memory=4480636 CPUtime=3550.89 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) R 100195 100198 97320 0 -1 4194368 41320 0 0 0 355007 82 0 0 20 0 20 0 78367998 19521036288 1162720 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=19063512 memory=14080 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 1162720 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=19063512 memory=4650880 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 1333 0 0 0 0 0 0 0 20 0 20 0 78368003 19521036288 1162720 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100219] ppid=100195 vsize=19063512 memory=4650880 CPUtime=0 cores=5,7
/proc/100198/task/100219/stat : 100219 (Timer-0) S 100195 100198 97320 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78368137 19521036288 1162720 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4650880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3579.64 s]
# the end of solver process 100198 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.87 s, system=3.37838 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3579.6 s]
/proc/loadavg: 4.12 4.16 4.16 5/326 100599
/proc/meminfo: memFree=122138484/131382116 swapFree=33009904/33010684
[pid=100198] ppid=100195 vsize=19263204 memory=4651648 CPUtime=3600.21 cores=5,7
/proc/100198/stat : 100198 (java) S 100195 100198 97320 0 -1 4194304 115609 0 0 0 359685 336 0 0 20 0 21 0 78367996 19725520896 1162912 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
/proc/100198/statm: 4815801 1162912 5549 1 0 1544828 0
[pid=100198/tid=100200] ppid=100195 vsize=19263204 memory=11264 CPUtime=3550.96 cores=5,7
/proc/100198/task/100200/stat : 100200 (java) S 100195 100198 97320 0 -1 4194368 41479 0 0 0 355014 82 0 0 20 0 21 0 78367998 19725520896 1162912 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100209] ppid=100195 vsize=19263204 memory=5632 CPUtime=0 cores=5,7
/proc/100198/task/100209/stat : 100209 (Finalizer) S 100195 100198 97320 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78368003 19725520896 1162912 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
[pid=100198/tid=100216] ppid=100195 vsize=19263204 memory=5276 CPUtime=0 cores=5,7
/proc/100198/task/100216/stat : 100216 (Common-Cleaner) S 100195 100198 97320 0 -1 4194368 1333 0 0 0 0 0 0 0 20 0 21 0 78368003 19725520896 1162912 18446744073709551615 94321905934336 94321905938032 140725156325824 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94321905945848 94321905946640 94321917202432 140725156333951 140725156334052 140725156334052 140725156339656 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4651648 KiB
Child status: 143
Real time (s): 3579.64
CPU time (s): 3600.25
CPU user time (s): 3596.87
CPU system time (s): 3.37838
CPU usage (%): 100.576
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4651648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.87
system time used= 3.37838
maximum resident set size= 4651776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115868
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115544
involuntary context switches= 6769
# summary of solver processes directly reported to runsolver:
# pid: 100198
# total CPU time (s): 3600.25
# total CPU user time (s): 3596.87
# total CPU system time (s): 3.37838
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2846 second user time and 37.4597 second system time
The end
Begin job on nodeC004 at 2025-07-04 13:01:28 IDJOB=4525703 IDBENCH=143879 IDSOLVER=3380 FILE ID=nodeC004/4525703-1751626888 RUNJOBID= nodeC004-1751623235-97338 SLURM_JOB_ID= 9598942 Free space on /tmp= 431640 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub4-20_wcsp.wbo COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525703-1751626888/watcher-4525703-1751626888 -o /tmp/evaluation-result-4525703-1751626888/solver-4525703-1751626888 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751623235-97338 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525703-1751626888.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c20fa776bae7355b4d4e94acf2d6929f RANDOM SEED=411476945 nodeC004 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 : 0xb00001f cpu MHz : 3662.221 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 pti 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 : 6983.74 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 : 3661.905 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 pti 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 : 6983.74 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.275 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 pti 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 : 6983.74 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.281 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 pti 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 : 6983.74 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 : 3662.218 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 pti 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 : 6983.74 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 : 3491.927 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 pti 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 : 6983.74 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.518 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 pti 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 : 6983.74 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.212 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 pti 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 : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 118134084 kB MemAvailable: 119062392 kB Buffers: 2128 kB Cached: 1676100 kB SwapCached: 32 kB Active: 11459208 kB Inactive: 1081116 kB Active(anon): 10869296 kB Inactive(anon): 10736 kB Active(file): 589912 kB Inactive(file): 1070380 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 2972 kB Writeback: 0 kB AnonPages: 10864676 kB Mapped: 123624 kB Shmem: 17932 kB KReclaimable: 215284 kB Slab: 303048 kB SReclaimable: 215284 kB SUnreclaim: 87764 kB KernelStack: 4976 kB PageTables: 25008 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 25056056 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 10577920 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: 197448 kB DirectMap2M: 10190848 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 431660 MiB End job on nodeC004 at 2025-07-04 14:01:08