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 | OPTIMUM | 349.812 | 348.48 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo |
| MD5SUM | 1558329f241385327ddc7531dadf19cb |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 21 |
| Best CPU time to get the best result obtained on this benchmark | 0.041933 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 300 |
| Total number of constraints | 50 |
| Number of soft constraints | 35 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 20 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 15 |
| Top cost | 1837 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 1836 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 16 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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.12/0.13 c Pseudo Boolean Optimization by upper bound 0.12/0.13 c --- Begin Solver configuration --- 0.12/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.13 c Learn all clauses as in MiniSAT 0.12/0.13 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.13 c Expensive reason simplification 0.12/0.13 c Glucose 2.1 dynamic restart strategy 0.12/0.13 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.12/0.13 c timeout=2147483s 0.12/0.13 c DB Simplification allowed=false 0.12/0.13 c Listener: none 0.12/0.13 c --- End Solver configuration --- 0.12/0.13 c solving HOME/instance-4525100-1751617807.wbo 0.12/0.13 c reading problem ... 0.12/0.15 c ... done. Wall clock time 0.019s. 0.12/0.15 c declared #vars 300 0.12/0.15 c internal #vars 335 0.12/0.15 c #constraints 51 0.12/0.15 c constraints type 0.12/0.15 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 5 0.12/0.15 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15 0.12/0.15 c org.sat4j.specs.Constr$1 => 1 0.12/0.15 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.12/0.15 c 51 constraints processed. 0.12/0.16 c objective function length is 35 literals 0.32/0.23 c SATISFIABLE 0.32/0.23 c OPTIMIZING... 0.32/0.23 c Got one! Elapsed wall clock time (in seconds):0.098 0.32/0.23 o 70 0.32/0.25 c Got one! Elapsed wall clock time (in seconds):0.115 0.32/0.25 o 21 0.89/0.59 c cleaning 2927 clauses out of 5857 with flag 32752/5857 1.81/1.10 c cleaning 4466 clauses out of 8931 with flag 74786/11858 2.42/1.50 c cleaning 5724 clauses out of 11465 with flag 127604/18858 3.19/2.23 c cleaning 6859 clauses out of 13740 with flag 187737/26857 3.89/2.90 c cleaning 7939 clauses out of 15881 with flag 256608/35857 5.19/4.15 c cleaning 8963 clauses out of 17942 with flag 336842/45857 6.77/5.74 c cleaning 9990 clauses out of 19981 with flag 425025/56859 8.57/7.56 c cleaning 10997 clauses out of 21993 with flag 521154/68861 10.46/9.47 c cleaning 11998 clauses out of 23995 with flag 624186/81860 13.07/12.06 c cleaning 12995 clauses out of 25994 with flag 737130/95857 15.27/14.26 c cleaning 13995 clauses out of 28000 with flag 857561/110858 18.06/17.02 c cleaning 14996 clauses out of 30005 with flag 981202/126858 22.88/21.87 c cleaning 15999 clauses out of 32008 with flag 1115199/143857 25.49/24.43 c cleaning 16994 clauses out of 34011 with flag 1265131/161859 28.49/27.48 c cleaning 17992 clauses out of 36015 with flag 1435836/180857 31.88/30.89 c cleaning 19008 clauses out of 38030 with flag 1603071/200864 35.08/34.01 c cleaning 19989 clauses out of 40015 with flag 1781261/221857 38.46/37.45 c cleaning 21012 clauses out of 42028 with flag 1961326/243859 41.56/40.55 c cleaning 22001 clauses out of 44014 with flag 2137750/266857 45.06/44.01 c cleaning 22986 clauses out of 46016 with flag 2308304/290860 49.44/48.44 c cleaning 23999 clauses out of 48027 with flag 2474464/315857 54.24/53.28 c cleaning 25007 clauses out of 50028 with flag 2667055/341857 58.34/57.37 c cleaning 25993 clauses out of 52021 with flag 2876443/368857 63.33/62.36 c cleaning 27008 clauses out of 54030 with flag 3108049/396859 68.72/67.71 c cleaning 28005 clauses out of 56020 with flag 3351852/425857 75.01/74.01 c cleaning 28993 clauses out of 58016 with flag 3600213/455858 84.58/83.65 c cleaning 30001 clauses out of 60022 with flag 3865244/486857 90.81/89.86 c cleaning 31007 clauses out of 62022 with flag 4149162/518858 97.49/96.56 c cleaning 31996 clauses out of 64016 with flag 4434667/551859 106.28/105.35 c cleaning 33006 clauses out of 66018 with flag 4717201/585857 115.76/114.85 c cleaning 34002 clauses out of 68012 with flag 5017900/620857 124.84/123.94 c cleaning 35003 clauses out of 70010 with flag 5319352/656857 132.76/131.83 c cleaning 35993 clauses out of 72007 with flag 5646484/693857 151.42/150.51 c cleaning 37004 clauses out of 74015 with flag 5965869/731858 165.99/165.12 c cleaning 37999 clauses out of 76010 with flag 6293307/770857 179.75/178.92 c cleaning 39005 clauses out of 78013 with flag 6626312/810859 190.28/189.47 c cleaning 39993 clauses out of 80006 with flag 7000719/851857 200.66/199.84 c cleaning 41003 clauses out of 82013 with flag 7341923/893857 216.43/215.18 c cleaning 42003 clauses out of 84010 with flag 7721508/936857 238.06/236.68 c cleaning 42996 clauses out of 86006 with flag 8171205/980857 275.15/273.78 c cleaning 43997 clauses out of 88013 with flag 8606570/1025860 316.36/315.07 c cleaning 45005 clauses out of 90017 with flag 9067211/1071861 333.10/331.82 c cleaning 46004 clauses out of 92009 with flag 9600947/1118858 349.72/348.43 c starts : 4859 349.72/348.44 c conflicts : 1159579 349.72/348.44 c decisions : 1537716 349.72/348.44 c propagations : 20318750 349.72/348.44 c inspects : 4624029795 349.72/348.44 c shortcuts : 0 349.72/348.44 c learnt literals : 7 349.72/348.44 c learnt binary clauses : 6 349.72/348.44 c learnt ternary clauses : 9 349.72/348.44 c learnt constraints : 1159571 349.72/348.44 c ignored constraints : 0 349.72/348.44 c root simplifications : 0 349.72/348.44 c removed literals (reason simplification) : 2394500 349.72/348.44 c reason swapping (by a shorter reason) : 0 349.72/348.44 c Calls to reduceDB : 43 349.72/348.44 c Number of update (reduction) of LBD : 698256 349.72/348.44 c Imported unit clauses : 0 349.72/348.44 c No decision after first conflict : false 349.72/348.44 c number of reductions to clauses (during analyze) : 0 349.72/348.45 c number of learned constraints concerned by reduction : 0 349.72/348.45 c number of learning phase by resolution : 0 349.72/348.45 c number of learning phase by cutting planes : 0 349.72/348.45 c number of rounding to 1 operations : 0 349.72/348.45 c number of easy rounding to 1 operations (no literal elimination needed) : 0 349.72/348.45 c number of reductions of the coefficients by power 2 : 0 349.72/348.45 c number of right shift for reduction by power 2 : 0 349.72/348.45 c number of reductions of the coefficients by GCD over coefficients : 0 349.72/348.45 c number of ending skipping : 0 349.72/348.45 c number of internal skipping : 0 349.72/348.45 c number of derivation steps : 0 349.72/348.45 c number of skipped derivation steps : 0 349.72/348.45 c number of remaining unassigned : 0 349.72/348.45 c number of remaining assigned : 0 349.72/348.45 c number of falsified literals weakened from reason : 0 349.72/348.45 c number of falsified literals weakened from conflict : 0 349.72/348.45 c time for arithmetic operations : 0 349.72/348.45 c minimum degree of deleted constraints : null 349.72/348.45 c maximum degree of deleted constraints : null 349.72/348.45 c number of deleted constraints : 0 349.72/348.45 c speed (assignments/second) : 58339.09965057553 349.72/348.45 c non guided choices : 2788 349.72/348.45 s OPTIMUM FOUND 349.72/348.46 c Found 2 solution(s) 349.72/348.46 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 349.72/348.46 c objective function=21 349.72/348.46 c Total wall clock time (in seconds): 348.325
OK 21
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62480 MiB free)
memory of node 1: 64465 MiB (62291 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525100-1751617807/watcher-4525100-1751617807 -o /tmp/evaluation-result-4525100-1751617807/solver-4525100-1751617807 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86866 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525100-1751617807.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=88359, runsolver pid=88356
[startup+0.10006 s]*
/proc/loadavg: 4.37 4.22 4.13 5/341 88377
/proc/meminfo: memFree=127668368/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=18930384 memory=57308 CPUtime=0.12 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 6474 0 0 0 10 2 0 0 20 0 18 0 77458541 19384713216 14327 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4732596 14327 5345 1 0 547604 0
[pid=88359/tid=88361] ppid=88356 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 5054 0 0 0 6 1 0 0 20 0 18 0 77458543 19384713216 14327 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77458545 19384713216 14327 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=18930384 memory=58485492679666 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77458546 19384713216 14327 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57308 KiB
[startup+0.205829 s]*
/proc/loadavg: 4.37 4.22 4.13 7/342 88378
/proc/meminfo: memFree=127667108/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=18996948 memory=65500 CPUtime=0.32 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 8186 0 0 0 29 3 0 0 20 0 19 0 77458541 19452874752 16375 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4749237 16375 5441 1 0 548809 0
[pid=88359/tid=88361] ppid=88356 vsize=18996948 memory=4026794268 CPUtime=0.17 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 5380 0 0 0 16 1 0 0 20 0 19 0 77458543 19452874752 16375 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=18996948 memory=16099 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77458545 19452874752 16375 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=18996948 memory=57385981051877 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77458546 19452874752 16375 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88378] ppid=88356 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77458558 19452874752 16375 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65500 KiB
[startup+0.305418 s]*
/proc/loadavg: 4.37 4.22 4.13 6/342 88378
/proc/meminfo: memFree=127663328/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=18996948 memory=69908 CPUtime=0.51 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 9602 0 0 0 48 3 0 0 20 0 19 0 77458541 19452874752 17477 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4749237 17477 5441 1 0 549867 0
[pid=88359/tid=88361] ppid=88356 vsize=18996948 memory=-6000919481296577639 CPUtime=0.26 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 5399 0 0 0 25 1 0 0 20 0 19 0 77458543 19452874752 17477 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77458545 19452874752 17477 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77458546 19452874752 17477 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88378] ppid=88356 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77458558 19452874752 17477 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69908 KiB
[startup+0.700246 s]
/proc/loadavg: 4.37 4.22 4.13 6/342 88378
/proc/meminfo: memFree=127659344/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=18996948 memory=82456 CPUtime=1.27 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 12648 0 0 0 123 4 0 0 20 0 19 0 77458541 19452874752 20614 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4749237 20614 5473 1 0 551840 0
[pid=88359/tid=88361] ppid=88356 vsize=18996948 memory=14336 CPUtime=0.64 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 5460 0 0 0 63 1 0 0 20 0 19 0 77458543 19452874752 20614 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77458545 19452874752 20614 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77458546 19452874752 20614 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88378] ppid=88356 vsize=18996948 memory=4624 CPUtime=0 cores=0,2
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77458558 19452874752 20614 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 82456 KiB
[startup+1.50018 s]
/proc/loadavg: 4.37 4.22 4.13 5/342 88378
/proc/meminfo: memFree=127649216/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=18996948 memory=88944 CPUtime=2.42 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 15826 0 0 0 238 4 0 0 20 0 19 0 77458541 19452874752 22236 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4749237 22236 5473 1 0 551846 0
[pid=88359/tid=88361] ppid=88356 vsize=18996948 memory=0 CPUtime=1.43 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 5798 0 0 0 142 1 0 0 20 0 19 0 77458543 19452874752 22236 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77458545 19452874752 22236 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77458546 19452874752 22236 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88378] ppid=88356 vsize=18996948 memory=4624 CPUtime=0 cores=0,2
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77458558 19452874752 22236 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88944 KiB
[startup+3.10561 s]
/proc/loadavg: 4.37 4.22 4.13 5/342 88378
/proc/meminfo: memFree=127489220/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=18996948 memory=99184 CPUtime=4.09 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 16721 0 0 0 405 4 0 0 20 0 19 0 77458541 19452874752 24796 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4749237 24796 5473 1 0 551847 0
[pid=88359/tid=88361] ppid=88356 vsize=18996948 memory=10624 CPUtime=3.04 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 6069 0 0 0 302 2 0 0 20 0 19 0 77458543 19452874752 24796 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=18996948 memory=-6000919481296577639 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77458545 19452874752 24796 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77458546 19452874752 24796 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88378] ppid=88356 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77458558 19452874752 24796 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 4.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 99184 KiB
[startup+6.30016 s]
/proc/loadavg: 4.34 4.22 4.13 5/342 88378
/proc/meminfo: memFree=127286252/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=18996948 memory=106732 CPUtime=7.37 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 17116 0 0 0 732 5 0 0 20 0 19 0 77458541 19452874752 26683 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4749237 26683 5473 1 0 551847 0
[pid=88359/tid=88361] ppid=88356 vsize=18996948 memory=0 CPUtime=6.23 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 6166 0 0 0 621 2 0 0 20 0 19 0 77458543 19452874752 26683 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77458545 19452874752 26683 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77458546 19452874752 26683 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88378] ppid=88356 vsize=18996948 memory=90992 CPUtime=0 cores=0,2
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77458558 19452874752 26683 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 7.37 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106732 KiB
[startup+12.7002 s]
/proc/loadavg: 4.40 4.23 4.13 5/342 88379
/proc/meminfo: memFree=127040556/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=18996948 memory=125164 CPUtime=13.77 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 19469 0 0 0 1371 6 0 0 20 0 19 0 77458541 19452874752 31291 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4749237 31291 5473 1 0 551847 0
[pid=88359/tid=88361] ppid=88356 vsize=18996948 memory=90992 CPUtime=12.6 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 7263 0 0 0 1258 2 0 0 20 0 19 0 77458543 19452874752 31291 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=18996948 memory=121068 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77458545 19452874752 31291 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77458546 19452874752 31291 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88378] ppid=88356 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77458558 19452874752 31291 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 13.77 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 125164 KiB
[startup+25.5002 s]
/proc/loadavg: 4.39 4.24 4.13 5/342 88379
/proc/meminfo: memFree=126458168/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=19063512 memory=178964 CPUtime=26.6 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 22554 0 0 0 2653 7 0 0 20 0 20 0 77458541 19521036288 44741 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4765878 44741 5505 1 0 552136 0
[pid=88359/tid=88361] ppid=88356 vsize=19063512 memory=121068 CPUtime=25.35 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 7736 0 0 0 2532 3 0 0 20 0 20 0 77458543 19521036288 44741 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77458545 19521036288 44741 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=19063512 memory=145644 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 77458546 19521036288 44741 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88378] ppid=88356 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77458558 19521036288 44741 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 26.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178964 KiB
[startup+51.1058 s]
/proc/loadavg: 4.46 4.27 4.15 5/343 88381
/proc/meminfo: memFree=125688732/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=19063512 memory=193512 CPUtime=52.15 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 22655 0 0 0 5207 8 0 0 20 0 20 0 77458541 19521036288 48378 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4765878 48378 5505 1 0 552136 0
[pid=88359/tid=88361] ppid=88356 vsize=19063512 memory=178964 CPUtime=50.87 cores=0,2
################
# More data... #
################
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77458558 19521036288 77679 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 163.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 310716 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.23 4.15 5/339 88387
/proc/meminfo: memFree=123096596/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=19063512 memory=388980 CPUtime=223.8 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 40158 0 0 0 22360 20 0 0 20 0 20 0 77458541 19521036288 97245 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4765878 97245 5537 1 0 555760 0
[pid=88359/tid=88361] ppid=88356 vsize=19063512 memory=384556 CPUtime=221.41 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 10625 0 0 0 22137 4 0 0 20 0 20 0 77458543 19521036288 97245 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=19063512 memory=384556 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77458545 19521036288 97245 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 103 0 0 0 0 0 0 0 20 0 20 0 77458546 19521036288 97245 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88378] ppid=88356 vsize=19063512 memory=388980 CPUtime=0 cores=0,2
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77458558 19521036288 97245 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 223.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 388980 KiB
[startup+282.3 s]
/proc/loadavg: 4.25 4.23 4.15 5/338 88389
/proc/meminfo: memFree=122592488/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=19063512 memory=464792 CPUtime=283.73 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 41013 0 0 0 28350 23 0 0 20 0 20 0 77458541 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4765878 116198 5537 1 0 555760 0
[pid=88359/tid=88361] ppid=88356 vsize=19063512 memory=464792 CPUtime=281.17 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 10650 0 0 0 28113 4 0 0 20 0 20 0 77458543 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=19063512 memory=464792 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77458545 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=19063512 memory=280445661160640 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 123 0 0 0 0 0 0 0 20 0 20 0 77458546 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88378] ppid=88356 vsize=19063512 memory=464792 CPUtime=0 cores=0,2
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77458558 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 283.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 464792 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 4.23 4.16 5/339 88392
/proc/meminfo: memFree=122285376/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=19063512 memory=464792 CPUtime=343.62 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 43320 0 0 0 34338 24 0 0 20 0 20 0 77458541 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4765878 116198 5537 1 0 555760 0
[pid=88359/tid=88361] ppid=88356 vsize=19063512 memory=464792 CPUtime=340.99 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 10909 0 0 0 34095 4 0 0 20 0 20 0 77458543 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=19063512 memory=280445661160640 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77458545 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=19063512 memory=464792 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 123 0 0 0 0 0 0 0 20 0 20 0 77458546 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88378] ppid=88356 vsize=19063512 memory=464792 CPUtime=0 cores=0,2
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77458558 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 343.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 464792 KiB
[startup+348.48 s]
# the end of solver process 88359 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=349.551 s, system=0.260624 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+342.4 s]
/proc/loadavg: 4.23 4.23 4.16 5/339 88392
/proc/meminfo: memFree=122285376/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=19063512 memory=464792 CPUtime=343.72 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 43321 0 0 0 34348 24 0 0 20 0 20 0 77458541 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4765878 116198 5537 1 0 555760 0
[pid=88359/tid=88361] ppid=88356 vsize=19063512 memory=10624 CPUtime=341.09 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 10910 0 0 0 34105 4 0 0 20 0 20 0 77458543 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77458545 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 123 0 0 0 0 0 0 0 20 0 20 0 77458546 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88378] ppid=88356 vsize=19063512 memory=19456 CPUtime=0 cores=0,2
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77458558 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 343.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 464792 KiB
[startup+345.6 s]
/proc/loadavg: 4.21 4.23 4.16 5/339 88392
/proc/meminfo: memFree=122285376/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=19063512 memory=464792 CPUtime=346.93 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 43345 0 0 0 34668 25 0 0 20 0 20 0 77458541 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4765878 116198 5537 1 0 555760 0
[pid=88359/tid=88361] ppid=88356 vsize=19063512 memory=464792 CPUtime=344.28 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 10915 0 0 0 34424 4 0 0 20 0 20 0 77458543 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77458545 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=19063512 memory=464792 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 123 0 0 0 0 0 0 0 20 0 20 0 77458546 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88378] ppid=88356 vsize=19063512 memory=464792 CPUtime=0 cores=0,2
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77458558 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 346.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 464792 KiB
[startup+347.2 s]
/proc/loadavg: 4.21 4.23 4.16 5/339 88392
/proc/meminfo: memFree=122285376/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=19063512 memory=464792 CPUtime=348.52 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 43536 0 0 0 34827 25 0 0 20 0 20 0 77458541 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4765878 116198 5537 1 0 555760 0
[pid=88359/tid=88361] ppid=88356 vsize=19063512 memory=5148 CPUtime=345.88 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 11071 0 0 0 34584 4 0 0 20 0 20 0 77458543 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=19063512 memory=464792 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77458545 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=19063512 memory=12416 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 123 0 0 0 0 0 0 0 20 0 20 0 77458546 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88378] ppid=88356 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77458558 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 348.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 464792 KiB
[startup+348 s]*
/proc/loadavg: 4.21 4.23 4.16 5/339 88392
/proc/meminfo: memFree=122285376/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=19063512 memory=464792 CPUtime=349.33 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 43782 0 0 0 34908 25 0 0 20 0 20 0 77458541 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4765878 116198 5537 1 0 555760 0
[pid=88359/tid=88361] ppid=88356 vsize=19063512 memory=-6000919481296577639 CPUtime=346.68 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 11243 0 0 0 34664 4 0 0 20 0 20 0 77458543 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=19063512 memory=4786654195770617497 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77458545 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 123 0 0 0 0 0 0 0 20 0 20 0 77458546 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88378] ppid=88356 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77458558 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 349.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 464792 KiB
[startup+348.4 s]
/proc/loadavg: 4.21 4.23 4.16 5/339 88392
/proc/meminfo: memFree=122285376/131249996 swapFree=33000896/33010684
[pid=88359] ppid=88356 vsize=19063512 memory=464792 CPUtime=349.72 cores=0,2
/proc/88359/stat : 88359 (java) S 88356 88359 86856 0 -1 4194304 43807 0 0 0 34947 25 0 0 20 0 20 0 77458541 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
/proc/88359/statm: 4765878 116198 5537 1 0 555760 0
[pid=88359/tid=88361] ppid=88356 vsize=19063512 memory=-6000919481296577639 CPUtime=347.07 cores=0,2
/proc/88359/task/88361/stat : 88361 (java) R 88356 88359 86856 0 -1 4194368 11243 0 0 0 34703 4 0 0 20 0 20 0 77458543 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88370] ppid=88356 vsize=19063512 memory=140226387247869 CPUtime=0 cores=0,2
/proc/88359/task/88370/stat : 88370 (Finalizer) S 88356 88359 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77458545 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88377] ppid=88356 vsize=19063512 memory=140226387247870 CPUtime=0 cores=0,2
/proc/88359/task/88377/stat : 88377 (Common-Cleaner) S 88356 88359 86856 0 -1 4194368 123 0 0 0 0 0 0 0 20 0 20 0 77458546 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
[pid=88359/tid=88378] ppid=88356 vsize=19063512 memory=140226387247871 CPUtime=0 cores=0,2
/proc/88359/task/88378/stat : 88378 (Timer-0) S 88356 88359 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77458558 19521036288 116198 18446744073709551615 93870199226368 93870199230064 140737224584368 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93870199237880 93870199238672 93870231265280 140737224587647 140737224587748 140737224587748 140737224593352 0
Current children cumulated CPU time: 349.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 464792 KiB
Child status: 30
Real time (s): 348.48
CPU time (s): 349.812
CPU user time (s): 349.551
CPU system time (s): 0.260624
CPU usage (%): 100.382
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 464792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 349.551
system time used= 0.260624
maximum resident set size= 465432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46125
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12371
involuntary context switches= 1559
# summary of solver processes directly reported to runsolver:
# pid: 88359
# total CPU time (s): 349.812
# total CPU user time (s): 349.551
# total CPU system time (s): 0.260624
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.693827 second user time and 1.71513 second system time
The end
Begin job on nodeC023 at 2025-07-04 10:30:07 IDJOB=4525100 IDBENCH=143454 IDSOLVER=3380 FILE ID=nodeC023/4525100-1751617807 RUNJOBID= nodeC023-1751614174-86866 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-PB05/aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525100-1751617807/watcher-4525100-1751617807 -o /tmp/evaluation-result-4525100-1751617807/solver-4525100-1751617807 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86866 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525100-1751617807.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1558329f241385327ddc7531dadf19cb RANDOM SEED=553233158 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 : 3600.006 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.907 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 : 3599.890 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 : 3586.502 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 : 3596.479 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.898 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.890 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 : 3600.787 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: 127767108 kB MemAvailable: 127517948 kB Buffers: 16 kB Cached: 493804 kB SwapCached: 2900 kB Active: 2417940 kB Inactive: 354336 kB Active(anon): 2237612 kB Inactive(anon): 53368 kB Active(file): 180328 kB Inactive(file): 300968 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33000896 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 900 kB Writeback: 0 kB AnonPages: 2278708 kB Mapped: 118000 kB Shmem: 12524 kB KReclaimable: 217568 kB Slab: 309336 kB SReclaimable: 217568 kB SUnreclaim: 91768 kB KernelStack: 5200 kB PageTables: 8088 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 7484312 kB VmallocTotal: 34359738367 kB VmallocUsed: 151432 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 2086912 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 10:35:55