Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j CP 2025-06-06 | SAT (TO) | 12 | 3600.23 | 3593.3 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=2.opb |
| MD5SUM | 0eb4af5d9d6a7991e65a6bdba739f56a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 12 |
| Best CPU time to get the best result obtained on this benchmark | 0.372509 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 329 |
| Total number of constraints | 16786 |
| Number of constraints which are clauses | 16772 |
| 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 | 15 |
| Number of terms in the objective function | 14 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 14 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB25.v20250606 0.10/0.10 c java.runtime.name OpenJDK Runtime Environment 0.10/0.10 c java.vm.name OpenJDK 64-Bit Server VM 0.10/0.10 c java.vm.version 22.0.1+8-16 0.10/0.10 c java.vm.vendor Oracle Corporation 0.10/0.10 c sun.arch.data.model 64 0.10/0.10 c java.version 22.0.1 0.10/0.10 c os.name Linux 0.10/0.10 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.10/0.10 c os.arch amd64 0.10/0.11 c Free memory 2104792832 0.10/0.11 c Max memory 16282288128 0.10/0.11 c Total memory 2113929216 0.10/0.11 c Number of processors 2 0.10/0.17 c Pseudo Boolean Optimization by upper bound 0.10/0.17 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.17 c - never skip resolution steps 0.10/0.17 c - Auto-division on coefficients is disabled 0.10/0.17 c - No postprocessing 0.10/0.17 c - Conflict is considered as is when resolving 0.10/0.17 c - Use constraints as they come during conflict analysis 0.10/0.17 c - Weaken first using unassigned literals 0.10/0.17 c - Bump strategy: ALWAYS_ONE 0.10/0.17 c - Bumper: ANY 0.10/0.17 c --- Begin Solver configuration --- 0.10/0.17 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c 0.10/0.17 c Learn all clauses as in MiniSAT 0.10/0.17 c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.17 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.17 c No reason simplification 0.10/0.17 c Armin Biere (Picosat) restarts strategy 0.10/0.17 c Activity based learned constraints deletion strategy with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.17 c timeout=2147483s 0.10/0.17 c DB Simplification allowed=false 0.10/0.17 c Listener: none 0.10/0.17 c --- End Solver configuration --- 0.10/0.17 c solving HOME/instance-4517864-1751542700.opb 0.10/0.17 c reading problem ... 0.10/0.17 c objective function found 0.47/0.33 c ... done. Wall clock time 0.151s. 0.47/0.33 c declared #vars 329 0.47/0.33 c #constraints 16786 0.47/0.33 c constraints type 0.47/0.33 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14 0.47/0.33 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14 0.47/0.33 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 16758 0.47/0.33 c 16786 constraints processed. 0.47/0.34 c objective function length is 14 literals 0.67/0.47 c SATISFIABLE 0.67/0.47 c OPTIMIZING... 0.67/0.47 c Got one! Elapsed wall clock time (in seconds):0.301 0.67/0.47 o 14 0.87/0.59 c Got one! Elapsed wall clock time (in seconds):0.421 0.87/0.59 o 13 1.24/0.73 c Got one! Elapsed wall clock time (in seconds):0.559 1.24/0.73 o 12 23.15/20.66 c cleaning 2455 clauses out of 5000 115.85/112.72 c cleaning 4263 clauses out of 8545 390.92/387.41 c cleaning 5635 clauses out of 11282 863.70/859.46 c cleaning 6818 clauses out of 13647 1624.33/1619.35 c cleaning 7890 clauses out of 15830 3102.97/3096.74 c cleaning 8964 clauses out of 17939 3600.05/3593.21 c starts : 69 3600.05/3593.22 c conflicts : 48357 3600.05/3593.22 c decisions : 185053 3600.05/3593.22 c propagations : 1859143 3600.05/3593.22 c inspects : 7087059444 3600.05/3593.22 c shortcuts : 0 3600.05/3593.22 c learnt literals : 0 3600.05/3593.22 c learnt binary clauses : 0 3600.05/3593.22 c learnt ternary clauses : 18 3600.05/3593.22 c learnt constraints : 48357 3600.05/3593.22 c ignored constraints : 0 3600.05/3593.22 c root simplifications : 0 3600.05/3593.22 c removed literals (reason simplification) : 0 3600.05/3593.23 c reason swapping (by a shorter reason) : 0 3600.05/3593.23 c Calls to reduceDB : 6 3600.05/3593.23 c Number of update (reduction) of LBD : 0 3600.05/3593.23 c Imported unit clauses : 0 3600.05/3593.23 c No decision after first conflict : false 3600.05/3593.23 c number of reductions to clauses (during analyze) : 0 3600.05/3593.23 c number of learned constraints concerned by reduction : 0 3600.05/3593.23 c number of learning phase by resolution : 0 3600.05/3593.23 c number of learning phase by cutting planes : 0 3600.05/3593.23 c number of rounding to 1 operations : 0 3600.05/3593.23 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.05/3593.23 c number of reductions of the coefficients by power 2 : 0 3600.05/3593.23 c number of right shift for reduction by power 2 : 0 3600.05/3593.23 c number of reductions of the coefficients by GCD over coefficients : 0 3600.05/3593.23 c number of ending skipping : 0 3600.05/3593.23 c number of internal skipping : 0 3600.05/3593.23 c number of derivation steps : 614527 3600.05/3593.23 c number of skipped derivation steps : 0 3600.05/3593.23 c number of remaining unassigned : 325 3600.05/3593.23 c number of remaining assigned : 4824200 3600.05/3593.23 c number of falsified literals weakened from reason : 0 3600.05/3593.23 c number of falsified literals weakened from conflict : 0 3600.05/3593.23 c time for arithmetic operations : 93680181 3600.05/3593.24 c minimum degree of deleted constraints : null 3600.05/3593.24 c maximum degree of deleted constraints : null 3600.05/3593.24 c number of deleted constraints : 0 3600.05/3593.26 c speed (assignments/second) : 517.4501439369333 3600.05/3593.26 c non guided choices : 496 3600.05/3593.27 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 1087 3600.05/3593.27 c learnt constraints type org.sat4j.pb.constraints.pb.MaxWatchPb : 10868 3600.05/3593.27 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 377 3600.05/3593.27 s SATISFIABLE 3600.05/3593.27 c Found 3 solution(s) 3600.05/3593.28 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 3600.05/3593.28 c objective function=12 3600.05/3593.28 c Total wall clock time (in seconds): 3593.111
OK 12
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 (62628 MiB free)
memory of node 1: 64507 MiB (63864 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517864-1751542700/watcher-4517864-1751542700 -o /tmp/evaluation-result-4517864-1751542700/solver-4517864-1751542700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751542700-77237 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4517864-1751542700.opb
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=77282, runsolver pid=77274
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.09 0.62 2.13 6/332 77364
/proc/meminfo: memFree=129428844/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=18930384 memory=54852 CPUtime=0.1 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 6366 0 1 0 8 2 0 0 20 0 18 0 69949918 19384713216 13713 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4732596 13713 5332 1 0 547512 0
[pid=77282/tid=77288] ppid=77274 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 4954 0 1 0 5 1 0 0 20 0 18 0 69949920 19384713216 13713 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69949923 19384713216 13713 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69949923 19384713216 13713 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54852 KiB
[startup+0.20577 s]*
/proc/loadavg: 0.09 0.62 2.13 15/333 77365
/proc/meminfo: memFree=129400048/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=18930384 memory=63428 CPUtime=0.29 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 6892 0 1 0 26 3 0 0 20 0 18 0 69949918 19384713216 15857 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4732596 15857 5428 1 0 547957 0
[pid=77282/tid=77288] ppid=77274 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 5354 0 1 0 14 2 0 0 20 0 18 0 69949920 19384713216 15857 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69949923 19384713216 15857 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69949923 19384713216 15857 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63428 KiB
[startup+0.305634 s]*
/proc/loadavg: 0.09 0.62 2.13 11/334 77366
/proc/meminfo: memFree=129323500/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=18930384 memory=102948 CPUtime=0.47 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 8494 0 1 0 44 3 0 0 20 0 18 0 69949918 19384713216 25737 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4732596 25737 5428 1 0 549106 0
[pid=77282/tid=77288] ppid=77274 vsize=18930384 memory=-6000919468361409896 CPUtime=0.24 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 5373 0 1 0 22 2 0 0 20 0 18 0 69949920 19384713216 25737 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69949923 19384713216 25737 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 69949923 19384713216 25737 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 102948 KiB
[startup+0.700211 s]
/proc/loadavg: 0.09 0.62 2.13 6/316 77370
/proc/meminfo: memFree=129265304/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=19063512 memory=178492 CPUtime=1.24 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 14919 0 1 0 118 6 0 0 20 0 20 0 69949918 19521036288 44623 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4765878 44623 5524 1 0 554096 0
[pid=77282/tid=77288] ppid=77274 vsize=19063512 memory=18688 CPUtime=0.53 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 5545 0 1 0 50 3 0 0 20 0 20 0 69949920 19521036288 44623 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 44623 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 44623 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77367] ppid=77274 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/77282/task/77367/stat : 77367 (Timer-0) S 77274 77282 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949953 19521036288 44623 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178492 KiB
[startup+1.50023 s]
/proc/loadavg: 0.80 0.76 2.17 7/316 77380
/proc/meminfo: memFree=129108920/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=19063512 memory=422768 CPUtime=2.81 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 24829 0 1 0 270 11 0 0 20 0 20 0 69949918 19521036288 105692 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4765878 105692 5524 1 0 556032 0
[pid=77282/tid=77288] ppid=77274 vsize=19063512 memory=10880 CPUtime=1.28 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 5916 0 1 0 121 7 0 0 20 0 20 0 69949920 19521036288 105692 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 105692 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 105692 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77367] ppid=77274 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/77282/task/77367/stat : 77367 (Timer-0) S 77274 77282 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949953 19521036288 105692 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 422768 KiB
[startup+3.10554 s]
/proc/loadavg: 0.80 0.76 2.17 5/339 77436
/proc/meminfo: memFree=127531920/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=19063512 memory=1595588 CPUtime=5.36 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 28374 0 1 0 503 33 0 0 20 0 20 0 69949918 19521036288 398897 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4765878 398897 5524 1 0 961564 0
[pid=77282/tid=77288] ppid=77274 vsize=19063512 memory=10880 CPUtime=2.85 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 6855 0 1 0 257 28 0 0 20 0 20 0 69949920 19521036288 398897 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=19063512 memory=-6000919489853023592 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 398897 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 398897 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77367] ppid=77274 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/77282/task/77367/stat : 77367 (Timer-0) S 77274 77282 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949953 19521036288 398897 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 5.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1595588 KiB
[startup+6.30021 s]
/proc/loadavg: 1.14 0.83 2.18 5/339 77436
/proc/meminfo: memFree=125637712/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=19063512 memory=2907560 CPUtime=8.69 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 29142 0 1 0 813 56 0 0 20 0 20 0 69949918 19521036288 726890 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4765878 726890 5524 1 0 961578 0
[pid=77282/tid=77288] ppid=77274 vsize=19063512 memory=0 CPUtime=6.03 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 7515 0 1 0 552 51 0 0 20 0 20 0 69949920 19521036288 726890 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 726890 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 726890 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77367] ppid=77274 vsize=19063512 memory=428916 CPUtime=0 cores=0,2
/proc/77282/task/77367/stat : 77367 (Timer-0) S 77274 77282 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949953 19521036288 726890 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 8.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2907560 KiB
[startup+12.7002 s]
/proc/loadavg: 1.45 0.90 2.20 5/340 77437
/proc/meminfo: memFree=124928384/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=19063512 memory=2907688 CPUtime=15.2 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 29643 0 1 0 1463 57 0 0 20 0 20 0 69949918 19521036288 726922 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4765878 726922 5524 1 0 961579 0
[pid=77282/tid=77288] ppid=77274 vsize=19063512 memory=428916 CPUtime=12.35 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 7966 0 1 0 1184 51 0 0 20 0 20 0 69949920 19521036288 726922 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 726922 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=19063512 memory=2907688 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 726922 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77367] ppid=77274 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/77282/task/77367/stat : 77367 (Timer-0) S 77274 77282 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949953 19521036288 726922 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 15.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2907688 KiB
[startup+25.5002 s]
/proc/loadavg: 1.84 1.00 2.22 5/340 77438
/proc/meminfo: memFree=124590884/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=19063512 memory=2907816 CPUtime=28.1 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 34740 0 1 0 2753 57 0 0 20 0 20 0 69949918 19521036288 726954 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4765878 726954 5524 1 0 961595 0
[pid=77282/tid=77288] ppid=77274 vsize=19063512 memory=2907688 CPUtime=24.96 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 9965 0 1 0 2444 52 0 0 20 0 20 0 69949920 19521036288 726954 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=19063512 memory=428916 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 726954 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=19063512 memory=2907560 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 726954 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77367] ppid=77274 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/77282/task/77367/stat : 77367 (Timer-0) S 77274 77282 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949953 19521036288 726954 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 28.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2907816 KiB
[startup+51.1057 s]
/proc/loadavg: 2.77 1.31 2.28 6/340 77438
/proc/meminfo: memFree=124254088/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=19063512 memory=2928596 CPUtime=54.01 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 42823 0 1 0 5342 59 0 0 20 0 20 0 69949918 19521036288 732149 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4765878 732149 5524 1 0 961595 0
[pid=77282/tid=77288] ppid=77274 vsize=19063512 memory=2920288 CPUtime=50.25 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 11625 0 1 0 4973 52 0 0 20 0 20 0 69949920 19521036288 732149 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=19063512 memory=280523373668944 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 732149 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=19063512 memory=-6000919489853023592 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=118586760/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=19063512 memory=3250448 CPUtime=3228.69 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 131665 0 1 0 322705 164 0 0 20 0 20 0 69949918 19521036288 812612 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4765878 812612 5556 1 0 961684 0
[pid=77282/tid=77288] ppid=77274 vsize=19063512 memory=10880 CPUtime=3202.68 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 61652 0 1 0 320190 78 0 0 20 0 20 0 69949920 19521036288 812612 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=19063512 memory=3246344 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 812612 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=19063512 memory=3248396 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 2323 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 812612 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77367] ppid=77274 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77282/task/77367/stat : 77367 (Timer-0) S 77274 77282 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949953 19521036288 812612 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 3228.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3250448 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/339 77665
/proc/meminfo: memFree=118566120/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=19063512 memory=3256608 CPUtime=3288.78 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 133351 0 1 0 328711 167 0 0 20 0 20 0 69949918 19521036288 814152 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4765878 814152 5556 1 0 961684 0
[pid=77282/tid=77288] ppid=77274 vsize=19063512 memory=3254556 CPUtime=3262.34 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 62980 0 1 0 326155 79 0 0 20 0 20 0 69949920 19521036288 814152 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=19063512 memory=3254556 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 814152 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 2409 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 814152 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77367] ppid=77274 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/77282/task/77367/stat : 77367 (Timer-0) S 77274 77282 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949953 19521036288 814152 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 3288.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3256608 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/340 77668
/proc/meminfo: memFree=118537580/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=19063512 memory=3260712 CPUtime=3348.86 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 133988 0 1 0 334717 169 0 0 20 0 20 0 69949918 19521036288 815178 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4765878 815178 5556 1 0 961684 0
[pid=77282/tid=77288] ppid=77274 vsize=19063512 memory=3258660 CPUtime=3321.99 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 63163 0 1 0 332119 80 0 0 20 0 20 0 69949920 19521036288 815178 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=19063512 memory=2892 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 815178 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=19063512 memory=3260712 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 2483 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 815178 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77367] ppid=77274 vsize=19063512 memory=3260712 CPUtime=0 cores=0,2
/proc/77282/task/77367/stat : 77367 (Timer-0) S 77274 77282 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949953 19521036288 815178 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 3348.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3260712 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/340 77674
/proc/meminfo: memFree=118517588/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=19063512 memory=3266868 CPUtime=3408.95 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 134916 0 1 0 340724 171 0 0 20 0 20 0 69949918 19521036288 816717 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4765878 816717 5556 1 0 961684 0
[pid=77282/tid=77288] ppid=77274 vsize=19063512 memory=3262764 CPUtime=3381.65 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 64041 0 1 0 338083 82 0 0 20 0 20 0 69949920 19521036288 816717 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=19063512 memory=3260712 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 816717 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 2483 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 816717 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77367] ppid=77274 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77282/task/77367/stat : 77367 (Timer-0) S 77274 77282 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949953 19521036288 816717 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 3408.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3266868 KiB
[startup+3462.3 s]
/proc/loadavg: 4.26 4.17 4.10 5/340 77676
/proc/meminfo: memFree=118495848/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=19063512 memory=3270972 CPUtime=3469.01 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 136594 0 1 0 346728 173 0 0 20 0 20 0 69949918 19521036288 817743 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4765878 817743 5556 1 0 961684 0
[pid=77282/tid=77288] ppid=77274 vsize=19063512 memory=3260712 CPUtime=3441.3 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 65297 0 1 0 344048 82 0 0 20 0 20 0 69949920 19521036288 817743 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 817743 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=19063512 memory=3270972 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 2556 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 817743 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77367] ppid=77274 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77282/task/77367/stat : 77367 (Timer-0) S 77274 77282 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949953 19521036288 817743 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 3469.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3270972 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/340 77677
/proc/meminfo: memFree=118491448/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=19063512 memory=3273024 CPUtime=3529.05 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 137790 0 1 0 352730 175 0 0 20 0 20 0 69949918 19521036288 818256 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4765878 818256 5556 1 0 961684 0
[pid=77282/tid=77288] ppid=77274 vsize=19063512 memory=3270972 CPUtime=3500.95 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 66052 0 1 0 350012 83 0 0 20 0 20 0 69949920 19521036288 818256 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 818256 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 2633 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 818256 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77367] ppid=77274 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77282/task/77367/stat : 77367 (Timer-0) S 77274 77282 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949953 19521036288 818256 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 3529.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3273024 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.17 4.10 5/340 77679
/proc/meminfo: memFree=118487360/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=19063512 memory=3277128 CPUtime=3589.13 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 138043 0 1 0 358736 177 0 0 20 0 20 0 69949918 19521036288 819282 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4765878 819282 5556 1 0 961684 0
[pid=77282/tid=77288] ppid=77274 vsize=19063512 memory=18688 CPUtime=3560.6 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 66287 0 1 0 355976 84 0 0 20 0 20 0 69949920 19521036288 819282 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 819282 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=19063512 memory=3275076 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 2633 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 819282 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77367] ppid=77274 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77282/task/77367/stat : 77367 (Timer-0) S 77274 77282 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949953 19521036288 819282 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 3589.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3277128 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3593.2 s]
/proc/loadavg: 4.17 4.16 4.10 5/340 77680
/proc/meminfo: memFree=118487392/131250000 swapFree=33010416/33010684
[pid=77282] ppid=77274 vsize=19063512 memory=3277128 CPUtime=3600.05 cores=0,2
/proc/77282/stat : 77282 (java) S 77274 77282 76600 0 -1 4194304 138299 0 1 0 359828 177 0 0 20 0 20 0 69949918 19521036288 819282 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
/proc/77282/statm: 4765878 819282 5556 1 0 961684 0
[pid=77282/tid=77288] ppid=77274 vsize=19063512 memory=5632 CPUtime=3571.44 cores=0,2
/proc/77282/task/77288/stat : 77288 (java) R 77274 77282 76600 0 -1 4194368 66543 0 1 0 357060 84 0 0 20 0 20 0 69949920 19521036288 819282 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77318] ppid=77274 vsize=19063512 memory=2944 CPUtime=0 cores=0,2
/proc/77282/task/77318/stat : 77318 (Finalizer) S 77274 77282 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 819282 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77335] ppid=77274 vsize=19063512 memory=6784 CPUtime=0 cores=0,2
/proc/77282/task/77335/stat : 77335 (Common-Cleaner) S 77274 77282 76600 0 -1 4194368 2633 0 0 0 0 0 0 0 20 0 20 0 69949923 19521036288 819282 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
[pid=77282/tid=77367] ppid=77274 vsize=19063512 memory=4788 CPUtime=0 cores=0,2
/proc/77282/task/77367/stat : 77367 (Timer-0) S 77274 77282 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69949953 19521036288 819282 18446744073709551615 94266011136000 94266011139696 140733401127808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94266011147512 94266011148304 94266043248640 140733401131390 140733401131494 140733401131494 140733401137096 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3277128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3593.3 s]
# the end of solver process 77282 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.44 s, system=1.78869 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3593.3
CPU time (s): 3600.23
CPU user time (s): 3598.44
CPU system time (s): 1.78869
CPU usage (%): 100.193
Max. virtual memory (cumulated for all children) (KiB): 19067572
Max. memory (cumulated for all children) (KiB): 3277128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.44
system time used= 1.78869
maximum resident set size= 3278024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140789
page faults= 1
swaps= 0
block input operations= 8
block output operations= 24368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139851
involuntary context switches= 11713
# summary of solver processes directly reported to runsolver:
# pid: 77282
# total CPU time (s): 3600.23
# total CPU user time (s): 3598.44
# total CPU system time (s): 1.78869
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41439 second user time and 16.8002 second system time
The end
Begin job on nodeC027 at 2025-07-03 13:38:20 IDJOB=4517864 IDBENCH=176189 IDSOLVER=3361 FILE ID=nodeC027/4517864-1751542700 RUNJOBID= nodeC027-1751542700-77237 SLURM_JOB_ID= 9598693 Free space on /tmp= 431132 MiB SOLVER NAME= Sat4j CP 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=2.opb COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517864-1751542700/watcher-4517864-1751542700 -o /tmp/evaluation-result-4517864-1751542700/solver-4517864-1751542700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751542700-77237 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4517864-1751542700.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0eb4af5d9d6a7991e65a6bdba739f56a RANDOM SEED=1278736517 nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.637 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.29 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 : 1811.314 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.29 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 : 3581.584 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.29 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 : 3513.863 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.29 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.761 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.29 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 : 3504.045 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.29 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.495 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.29 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 : 1809.339 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129535868 kB MemAvailable: 129777516 kB Buffers: 2488 kB Cached: 1041240 kB SwapCached: 12 kB Active: 615400 kB Inactive: 500720 kB Active(anon): 87656 kB Inactive(anon): 2792 kB Active(file): 527744 kB Inactive(file): 497928 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 992 kB Writeback: 0 kB AnonPages: 76076 kB Mapped: 103876 kB Shmem: 18056 kB KReclaimable: 110028 kB Slab: 199244 kB SReclaimable: 110028 kB SUnreclaim: 89216 kB KernelStack: 4160 kB PageTables: 2768 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 338608 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431124 MiB End job on nodeC027 at 2025-07-03 14:38:14