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 | 3595.9 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo |
| MD5SUM | 0fb77b786bdb5828a2775dbdb30deb06 |
| 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 | 2656 |
| Best CPU time to get the best result obtained on this benchmark | 6.95181 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 336 |
| Total number of constraints | 69031 |
| Number of soft constraints | 69017 |
| Number of constraints which are clauses | 69017 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 24 |
| Top cost | 47694 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 9891329 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 25 |
| 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.08 c Free memory 2104792832 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.12 c Pseudo Boolean Optimization by upper bound 0.12/0.12 c --- Begin Solver configuration --- 0.12/0.12 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf 0.12/0.12 c Learn all clauses as in MiniSAT 0.12/0.12 c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.12 c Expensive reason simplification 0.12/0.12 c Glucose 2.1 dynamic restart strategy 0.12/0.12 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.12 c timeout=2147483s 0.12/0.12 c DB Simplification allowed=false 0.12/0.12 c Listener: none 0.12/0.12 c --- End Solver configuration --- 0.12/0.12 c solving HOME/instance-4525739-1751627722.wbo 0.12/0.12 c reading problem ... 1.10/0.63 c ... done. Wall clock time 0.504s. 1.10/0.63 c declared #vars 336 1.10/0.63 c internal #vars 69353 1.10/0.63 c #constraints 69046 1.10/0.63 c constraints type 1.10/0.63 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14 1.10/0.63 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1.10/0.63 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 69031 1.10/0.63 c 69046 constraints processed. 1.10/0.65 c objective function length is 69017 literals 1.87/1.02 c SATISFIABLE 1.87/1.02 c OPTIMIZING... 1.87/1.02 c Got one! Elapsed wall clock time (in seconds):0.897 1.87/1.02 o 12403 2.06/1.17 c Got one! Elapsed wall clock time (in seconds):1.047 2.06/1.17 o 10850 2.45/1.30 c Got one! Elapsed wall clock time (in seconds):1.179 2.45/1.30 o 7776 16.36/13.96 c cleaning 2577 clauses out of 5187 with flag 24838/5187 51.88/49.37 c cleaning 4283 clauses out of 8610 with flag 74093/11187 116.37/113.84 c cleaning 5662 clauses out of 11327 with flag 152510/18187 194.09/191.51 c cleaning 6828 clauses out of 13669 with flag 264235/26191 290.45/287.96 c cleaning 7917 clauses out of 15838 with flag 388627/35188 368.63/366.17 c cleaning 8955 clauses out of 17923 with flag 514432/45190 455.94/453.43 c cleaning 9971 clauses out of 19966 with flag 686378/56188 527.52/525.05 c cleaning 10988 clauses out of 21994 with flag 790815/68187 664.32/661.58 c cleaning 12002 clauses out of 24006 with flag 958134/81187 766.88/764.08 c cleaning 12998 clauses out of 26004 with flag 1194126/95187 859.20/856.36 c cleaning 14003 clauses out of 28006 with flag 1355105/110187 1038.30/1035.22 c cleaning 15002 clauses out of 30003 with flag 1560689/126187 1259.39/1256.44 c cleaning 15981 clauses out of 32001 with flag 1855129/143187 1571.89/1567.52 c cleaning 17002 clauses out of 34020 with flag 2091743/161187 1873.66/1869.49 c cleaning 18011 clauses out of 36022 with flag 2360873/180191 2121.84/2117.94 c cleaning 18993 clauses out of 38008 with flag 2570875/200188 2605.09/2600.10 c cleaning 20004 clauses out of 40014 with flag 2837203/221187 3074.50/3069.86 c cleaning 21005 clauses out of 42014 with flag 3247144/243191 3459.41/3455.08 c cleaning 21993 clauses out of 44005 with flag 3548743/266187 3600.06/3595.81 c starts : 404 3600.06/3595.82 c conflicts : 275923 3600.06/3595.82 c decisions : 1611643 3600.06/3595.82 c propagations : 2964070365 3600.06/3595.82 c inspects : 255737592 3600.06/3595.82 c shortcuts : 0 3600.06/3595.82 c learnt literals : 0 3600.06/3595.82 c learnt binary clauses : 0 3600.06/3595.82 c learnt ternary clauses : 0 3600.06/3595.82 c learnt constraints : 275922 3600.06/3595.82 c ignored constraints : 0 3600.06/3595.82 c root simplifications : 0 3600.06/3595.82 c removed literals (reason simplification) : 2024955 3600.06/3595.82 c reason swapping (by a shorter reason) : 0 3600.06/3595.82 c Calls to reduceDB : 19 3600.06/3595.83 c Number of update (reduction) of LBD : 131157 3600.06/3595.83 c Imported unit clauses : 0 3600.06/3595.83 c No decision after first conflict : false 3600.06/3595.83 c number of reductions to clauses (during analyze) : 0 3600.06/3595.83 c number of learned constraints concerned by reduction : 0 3600.06/3595.83 c number of learning phase by resolution : 0 3600.06/3595.83 c number of learning phase by cutting planes : 0 3600.06/3595.83 c number of rounding to 1 operations : 0 3600.06/3595.83 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.06/3595.83 c number of reductions of the coefficients by power 2 : 0 3600.06/3595.83 c number of right shift for reduction by power 2 : 0 3600.06/3595.83 c number of reductions of the coefficients by GCD over coefficients : 0 3600.06/3595.83 c number of ending skipping : 0 3600.06/3595.83 c number of internal skipping : 0 3600.06/3595.83 c number of derivation steps : 0 3600.06/3595.83 c number of skipped derivation steps : 0 3600.06/3595.83 c number of remaining unassigned : 0 3600.06/3595.83 c number of remaining assigned : 0 3600.06/3595.83 c number of falsified literals weakened from reason : 0 3600.06/3595.83 c number of falsified literals weakened from conflict : 0 3600.06/3595.83 c time for arithmetic operations : 0 3600.06/3595.84 c minimum degree of deleted constraints : null 3600.06/3595.84 c maximum degree of deleted constraints : null 3600.06/3595.84 c number of deleted constraints : 0 3600.06/3595.85 c speed (assignments/second) : 824464.5321775527 3600.06/3595.85 c non guided choices : 528 3600.06/3595.88 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 31748 3600.06/3595.88 s SATISFIABLE 3600.06/3595.88 c Found 3 solution(s) 3600.06/3595.88 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 3600.06/3595.88 c objective function=7776 3600.06/3595.88 c Total wall clock time (in seconds): 3595.759
OK 7776
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: 63665 MiB (56093 MiB free)
memory of node 1: 64507 MiB (50529 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525739-1751627722/watcher-4525739-1751627722 -o /tmp/evaluation-result-4525739-1751627722/solver-4525739-1751627722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751620534-98176 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525739-1751627722.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
solver pid=99154, runsolver pid=99151
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.14 4.15 4.11 5/338 99172
/proc/meminfo: memFree=109157380/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=18930384 memory=57800 CPUtime=0.12 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 6590 0 0 0 10 2 0 0 20 0 18 0 78450116 19384713216 14450 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4732596 14450 5330 1 0 547639 0
[pid=99154/tid=99156] ppid=99151 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 5095 0 0 0 6 2 0 0 20 0 18 0 78450117 19384713216 14450 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78450119 19384713216 14450 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=18930384 memory=59585004324181 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78450120 19384713216 14450 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57800 KiB
[startup+0.205584 s]*
/proc/loadavg: 4.14 4.15 4.11 7/338 99172
/proc/meminfo: memFree=109157380/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=18930384 memory=72252 CPUtime=0.33 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 7059 0 0 0 30 3 0 0 20 0 18 0 78450116 19384713216 18063 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4732596 18063 5426 1 0 547953 0
[pid=99154/tid=99156] ppid=99151 vsize=18930384 memory=4026794268 CPUtime=0.18 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 5285 0 0 0 16 2 0 0 20 0 18 0 78450117 19384713216 18063 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78450119 19384713216 18063 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78450120 19384713216 18063 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72252 KiB
[startup+0.305657 s]*
/proc/loadavg: 4.14 4.15 4.11 6/338 99172
/proc/meminfo: memFree=109116420/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=18930384 memory=117228 CPUtime=0.52 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 8492 0 0 0 48 4 0 0 20 0 18 0 78450116 19384713216 29307 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4732596 29307 5426 1 0 548893 0
[pid=99154/tid=99156] ppid=99151 vsize=18930384 memory=-6000919502771544934 CPUtime=0.28 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 5307 0 0 0 25 3 0 0 20 0 18 0 78450117 19384713216 29307 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78450119 19384713216 29307 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78450120 19384713216 29307 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 117228 KiB
[startup+0.700203 s]
/proc/loadavg: 4.14 4.15 4.11 7/339 99173
/proc/meminfo: memFree=109063172/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=18996948 memory=198148 CPUtime=1.27 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 13991 0 0 0 120 7 0 0 20 0 19 0 78450116 19452874752 49537 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4749237 49537 5490 1 0 552491 0
[pid=99154/tid=99156] ppid=99151 vsize=18996948 memory=18944 CPUtime=0.61 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 5442 0 0 0 57 4 0 0 20 0 19 0 78450117 19452874752 49537 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78450119 19452874752 49537 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78450120 19452874752 49537 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 198148 KiB
[startup+1.50023 s]
/proc/loadavg: 4.21 4.16 4.11 6/340 99174
/proc/meminfo: memFree=109027636/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=19063512 memory=221788 CPUtime=2.85 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 14816 0 0 0 276 9 0 0 20 0 20 0 78450116 19521036288 55447 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4765878 55447 5490 1 0 553052 0
[pid=99154/tid=99156] ppid=99151 vsize=19063512 memory=3328 CPUtime=1.35 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 5485 0 0 0 130 5 0 0 20 0 20 0 78450117 19521036288 55447 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78450119 19521036288 55447 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78450120 19521036288 55447 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99174] ppid=99151 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/99154/task/99174/stat : 99174 (Timer-0) S 99151 99154 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78450186 19521036288 55447 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 221788 KiB
[startup+3.10556 s]
/proc/loadavg: 4.21 4.16 4.11 7/338 99239
/proc/meminfo: memFree=113447428/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=19063512 memory=240492 CPUtime=5.34 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 24141 0 0 0 523 11 0 0 20 0 20 0 78450116 19521036288 60123 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4765878 60123 5490 1 0 557603 0
[pid=99154/tid=99156] ppid=99151 vsize=19063512 memory=14844 CPUtime=2.94 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 5515 0 0 0 288 6 0 0 20 0 20 0 78450117 19521036288 60123 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78450119 19521036288 60123 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78450120 19521036288 60123 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99174] ppid=99151 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/99154/task/99174/stat : 99174 (Timer-0) S 99151 99154 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78450186 19521036288 60123 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 5.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 240492 KiB
[startup+6.30018 s]
/proc/loadavg: 4.20 4.16 4.11 5/340 99241
/proc/meminfo: memFree=112953228/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=19063512 memory=224824 CPUtime=8.67 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 26522 0 0 0 855 12 0 0 20 0 20 0 78450116 19521036288 56206 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4765878 56206 5490 1 0 557604 0
[pid=99154/tid=99156] ppid=99151 vsize=19063512 memory=0 CPUtime=6.12 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 5813 0 0 0 606 6 0 0 20 0 20 0 78450117 19521036288 56206 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78450119 19521036288 56206 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78450120 19521036288 56206 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99174] ppid=99151 vsize=19063512 memory=237292 CPUtime=0 cores=0,2
/proc/99154/task/99174/stat : 99174 (Timer-0) S 99151 99154 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78450186 19521036288 56206 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 8.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 224824 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.16 4.11 5/340 99241
/proc/meminfo: memFree=112953268/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=19063512 memory=224952 CPUtime=15.16 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 29513 0 0 0 1504 12 0 0 20 0 20 0 78450116 19521036288 56238 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4765878 56238 5522 1 0 557604 0
[pid=99154/tid=99156] ppid=99151 vsize=19063512 memory=237292 CPUtime=12.51 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 6275 0 0 0 1245 6 0 0 20 0 20 0 78450117 19521036288 56238 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=19063512 memory=224824 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78450119 19521036288 56238 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=19063512 memory=18944 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78450120 19521036288 56238 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99174] ppid=99151 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/99154/task/99174/stat : 99174 (Timer-0) S 99151 99154 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78450186 19521036288 56238 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 15.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 224952 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.15 4.11 5/340 99241
/proc/meminfo: memFree=112953024/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=19063512 memory=225336 CPUtime=28.12 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 35550 0 0 0 2799 13 0 0 20 0 20 0 78450116 19521036288 56334 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4765878 56334 5522 1 0 557636 0
[pid=99154/tid=99156] ppid=99151 vsize=19063512 memory=224824 CPUtime=25.28 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 8161 0 0 0 2522 6 0 0 20 0 20 0 78450117 19521036288 56334 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78450119 19521036288 56334 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=19063512 memory=-6000919502771544934 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78450120 19521036288 56334 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99174] ppid=99151 vsize=19063512 memory=225336 CPUtime=0 cores=0,2
/proc/99154/task/99174/stat : 99174 (Timer-0) S 99151 99154 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78450186 19521036288 56334 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 28.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 225336 KiB
[startup+51.1054 s]
/proc/loadavg: 4.14 4.15 4.11 5/340 99242
/proc/meminfo: memFree=112858840/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=19063512 memory=225336 CPUtime=53.69 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 36364 0 0 0 5355 14 0 0 20 0 20 0 78450116 19521036288 56334 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4765878 56334 5522 1 0 557636 0
[pid=99154/tid=99156] ppid=99151 vsize=19063512 memory=225336 CPUtime=50.82 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 8669 0 0 0 5076 6 0 0 20 0 20 0 78450117 19521036288 56334 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=19063512 memory=225336 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78450119 19521036288 56334 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=19063512 memory=225336 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78450120 19521036288 56334 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99174] ppid=99151 vsize=19063512 memory=225336 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=105648816/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=19063512 memory=3143856 CPUtime=3226.81 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 103326 0 0 0 322571 110 0 0 20 0 20 0 78450116 19521036288 785964 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4765878 785964 5554 1 0 969536 0
[pid=99154/tid=99156] ppid=99151 vsize=19063512 memory=3141764 CPUtime=3209.91 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 30343 0 0 0 320974 17 0 0 20 0 20 0 78450117 19521036288 785964 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=19063512 memory=3143856 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78450119 19521036288 785964 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=19063512 memory=3143856 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 1852 0 0 0 0 0 0 0 20 0 20 0 78450120 19521036288 785964 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99174] ppid=99151 vsize=19063512 memory=3143856 CPUtime=0 cores=0,2
/proc/99154/task/99174/stat : 99174 (Timer-0) S 99151 99154 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78450186 19521036288 785964 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 3226.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3143856 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/340 99481
/proc/meminfo: memFree=105340992/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=19063512 memory=3143856 CPUtime=3286.69 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 104432 0 0 0 328559 110 0 0 20 0 20 0 78450116 19521036288 785964 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4765878 785964 5554 1 0 969536 0
[pid=99154/tid=99156] ppid=99151 vsize=19063512 memory=3143856 CPUtime=3269.77 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 31155 0 0 0 326960 17 0 0 20 0 20 0 78450117 19521036288 785964 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78450119 19521036288 785964 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 1966 0 0 0 0 0 0 0 20 0 20 0 78450120 19521036288 785964 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99174] ppid=99151 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/99154/task/99174/stat : 99174 (Timer-0) S 99151 99154 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78450186 19521036288 785964 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 3286.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3143856 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/340 99483
/proc/meminfo: memFree=105332676/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=19063512 memory=3152140 CPUtime=3346.75 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 106155 0 0 0 334564 111 0 0 20 0 20 0 78450116 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4765878 788035 5554 1 0 969536 0
[pid=99154/tid=99156] ppid=99151 vsize=19063512 memory=14844 CPUtime=3329.46 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 31229 0 0 0 332929 17 0 0 20 0 20 0 78450117 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=19063512 memory=3152140 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78450119 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=19063512 memory=3152140 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 2031 0 0 0 0 0 0 0 20 0 20 0 78450120 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99174] ppid=99151 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/99154/task/99174/stat : 99174 (Timer-0) S 99151 99154 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78450186 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 3346.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3152140 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/340 99485
/proc/meminfo: memFree=105316212/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=19063512 memory=3152140 CPUtime=3406.63 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 106565 0 0 0 340551 112 0 0 20 0 20 0 78450116 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4765878 788035 5554 1 0 969536 0
[pid=99154/tid=99156] ppid=99151 vsize=19063512 memory=3152140 CPUtime=3389.33 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 31610 0 0 0 338916 17 0 0 20 0 20 0 78450117 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=19063512 memory=2688 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78450119 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=19063512 memory=18944 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 2031 0 0 0 0 0 0 0 20 0 20 0 78450120 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99174] ppid=99151 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/99154/task/99174/stat : 99174 (Timer-0) S 99151 99154 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78450186 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 3406.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3152140 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/340 99487
/proc/meminfo: memFree=105316356/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=19063512 memory=3152140 CPUtime=3466.69 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 109272 0 0 0 346557 112 0 0 20 0 20 0 78450116 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4765878 788035 5554 1 0 969536 0
[pid=99154/tid=99156] ppid=99151 vsize=19063512 memory=3152140 CPUtime=3449.01 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 32640 0 0 0 344884 17 0 0 20 0 20 0 78450117 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=19063512 memory=3152140 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78450119 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=19063512 memory=18944 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 2031 0 0 0 0 0 0 0 20 0 20 0 78450120 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99174] ppid=99151 vsize=19063512 memory=3152140 CPUtime=0 cores=0,2
/proc/99154/task/99174/stat : 99174 (Timer-0) S 99151 99154 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78450186 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 3466.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3152140 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/340 99489
/proc/meminfo: memFree=105012872/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=19063512 memory=3152140 CPUtime=3526.57 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 109458 0 0 0 352544 113 0 0 20 0 20 0 78450116 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4765878 788035 5554 1 0 969536 0
[pid=99154/tid=99156] ppid=99151 vsize=19063512 memory=3152140 CPUtime=3508.88 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 32760 0 0 0 350871 17 0 0 20 0 20 0 78450117 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=19063512 memory=3152140 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78450119 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=19063512 memory=3152140 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 2067 0 0 0 0 0 0 0 20 0 20 0 78450120 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99174] ppid=99151 vsize=19063512 memory=3152140 CPUtime=0 cores=0,2
/proc/99154/task/99174/stat : 99174 (Timer-0) S 99151 99154 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78450186 19521036288 788035 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 3526.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3152140 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/320 99512
/proc/meminfo: memFree=108801108/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=19063512 memory=3158292 CPUtime=3586.6 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 110609 0 0 0 358546 114 0 0 20 0 20 0 78450116 19521036288 789573 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4765878 789573 5554 1 0 969536 0
[pid=99154/tid=99156] ppid=99151 vsize=19063512 memory=18944 CPUtime=3568.58 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 33659 0 0 0 356841 17 0 0 20 0 20 0 78450117 19521036288 789573 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78450119 19521036288 789573 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=19063512 memory=18944 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 2067 0 0 0 0 0 0 0 20 0 20 0 78450120 19521036288 789573 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99174] ppid=99151 vsize=19063512 memory=14844 CPUtime=0 cores=0,2
/proc/99154/task/99174/stat : 99174 (Timer-0) S 99151 99154 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78450186 19521036288 789573 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 3586.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3158292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3595.8 s]
/proc/loadavg: 3.92 4.05 4.08 4/315 99529
/proc/meminfo: memFree=108801476/131249996 swapFree=33010684/33010684
[pid=99154] ppid=99151 vsize=19063512 memory=3158292 CPUtime=3600.06 cores=0,2
/proc/99154/stat : 99154 (java) S 99151 99154 98166 0 -1 4194304 110973 0 0 0 359892 114 0 0 20 0 20 0 78450116 19521036288 789573 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
/proc/99154/statm: 4765878 789573 5554 1 0 969536 0
[pid=99154/tid=99156] ppid=99151 vsize=19063512 memory=5276 CPUtime=3582.04 cores=0,2
/proc/99154/task/99156/stat : 99156 (java) R 99151 99154 98166 0 -1 4194368 33880 0 0 0 358187 17 0 0 20 0 20 0 78450117 19521036288 789573 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99165] ppid=99151 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/99154/task/99165/stat : 99165 (Finalizer) S 99151 99154 98166 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78450119 19521036288 789573 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99172] ppid=99151 vsize=19063512 memory=4756 CPUtime=0 cores=0,2
/proc/99154/task/99172/stat : 99172 (Common-Cleaner) S 99151 99154 98166 0 -1 4194368 2202 0 0 0 0 0 0 0 20 0 20 0 78450120 19521036288 789573 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
[pid=99154/tid=99174] ppid=99151 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/99154/task/99174/stat : 99174 (Timer-0) S 99151 99154 98166 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78450186 19521036288 789573 18446744073709551615 94292450795520 94292450799216 140723467204880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94292450807032 94292450807824 94292455444480 140723467213183 140723467213284 140723467213284 140723467218888 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3158292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3595.9 s]
# the end of solver process 99154 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3599.09 s, system=1.16062 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3595.9
CPU time (s): 3600.25
CPU user time (s): 3599.09
CPU system time (s): 1.16062
CPU usage (%): 100.121
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 3158292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.09
system time used= 1.16062
maximum resident set size= 3159188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114034
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114336
involuntary context switches= 10068
# summary of solver processes directly reported to runsolver:
# pid: 99154
# total CPU time (s): 3600.25
# total CPU user time (s): 3599.09
# total CPU system time (s): 1.16062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57914 second user time and 14.8627 second system time
The end
Begin job on nodeC024 at 2025-07-04 13:15:22 IDJOB=4525739 IDBENCH=143883 IDSOLVER=3380 FILE ID=nodeC024/4525739-1751627722 RUNJOBID= nodeC024-1751620534-98176 SLURM_JOB_ID= 9598939 Free space on /tmp= 432304 MiB SOLVER NAME= Sat4j Resolution 2025-06-06 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub1-24_wcsp.wbo COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525739-1751627722/watcher-4525739-1751627722 -o /tmp/evaluation-result-4525739-1751627722/solver-4525739-1751627722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751620534-98176 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525739-1751627722.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0fb77b786bdb5828a2775dbdb30deb06 RANDOM SEED=2104013891 nodeC024 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 : 3598.099 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.36 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.672 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.36 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 : 3297.449 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.36 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 : 3600.142 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.695 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.36 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.681 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.36 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.981 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.36 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 : 3562.776 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 109181888 kB MemAvailable: 122104948 kB Buffers: 2144 kB Cached: 13688828 kB SwapCached: 0 kB Active: 8266168 kB Inactive: 13114428 kB Active(anon): 7705608 kB Inactive(anon): 2084 kB Active(file): 560560 kB Inactive(file): 13112344 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 2716 kB Writeback: 0 kB AnonPages: 7689664 kB Mapped: 124324 kB Shmem: 18064 kB KReclaimable: 178392 kB Slab: 270832 kB SReclaimable: 178392 kB SUnreclaim: 92440 kB KernelStack: 5248 kB PageTables: 18908 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 21895356 kB VmallocTotal: 34359738367 kB VmallocUsed: 151464 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 7440384 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: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432348 MiB End job on nodeC024 at 2025-07-04 14:15:18