Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j CP VeriPB 2025-06-06 | OPT cert. | 25 | 183.196 | 173.93 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb |
| MD5SUM | dc8f15f122e8bf0ab63303347843dc21 |
| 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 | 25 |
| Best CPU time to get the best result obtained on this benchmark | 0.04177 |
| 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 | 372 |
| Total number of constraints | 772 |
| Number of constraints which are clauses | 772 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 98 |
| Number of terms in the objective function | 372 |
| 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 | 372 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 372 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.08 c version PB25.v20250606 0.00/0.09 c java.runtime.name OpenJDK Runtime Environment 0.00/0.09 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.09 c java.vm.version 22.0.1+8-16 0.00/0.09 c java.vm.vendor Oracle Corporation 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 22.0.1 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.12/0.16 c Pseudo Boolean Optimization by upper bound 0.12/0.16 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.12/0.16 c - never skip resolution steps 0.12/0.16 c - Auto-division on coefficients is disabled 0.12/0.16 c - No postprocessing 0.12/0.16 c - Conflict is considered as is when resolving 0.12/0.16 c - Use constraints as they come during conflict analysis 0.12/0.16 c - Weaken first using unassigned literals 0.12/0.16 c - Bump strategy: ALWAYS_ONE 0.12/0.16 c - Bumper: EFFECTIVE 0.12/0.16 c --- Begin Solver configuration --- 0.12/0.16 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd 0.12/0.16 c Learn all clauses as in MiniSAT 0.12/0.16 c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.16 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.12/0.16 c No reason simplification 0.12/0.16 c Dynamic restart strategy considering the size of the coefficients 0.12/0.16 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96 0.12/0.16 c timeout=2147483s 0.12/0.16 c DB Simplification allowed=false 0.12/0.16 c Listener: none 0.12/0.16 c --- End Solver configuration --- 0.12/0.16 c solving HOME/instance-4487627-1751337084.opb 0.12/0.16 c reading problem ... 0.12/0.16 c using VERIPB proof format 0.12/0.16 c objective function found 0.31/0.26 c ... done. Wall clock time 0.096s. 0.31/0.26 c declared #vars 372 0.31/0.26 c #constraints 772 0.31/0.26 c constraints type 0.31/0.26 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 5 0.31/0.26 c org.sat4j.specs.Constr$1 => 123 0.31/0.26 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 639 0.31/0.26 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 0.31/0.26 c 772 constraints processed. 0.31/0.28 c objective function length is 372 literals 0.31/0.30 c SATISFIABLE 0.31/0.30 c OPTIMIZING... 0.31/0.30 c Got one! Elapsed wall clock time (in seconds):0.135 0.31/0.30 o 37 0.31/0.30 c Got one! Elapsed wall clock time (in seconds):0.144 0.31/0.31 o 36 0.50/0.35 c Got one! Elapsed wall clock time (in seconds):0.185 0.50/0.35 o 35 0.69/0.45 c Got one! Elapsed wall clock time (in seconds):0.29 0.69/0.45 o 34 0.89/0.51 c Got one! Elapsed wall clock time (in seconds):0.348 0.89/0.51 o 33 2.64/1.43 c Got one! Elapsed wall clock time (in seconds):1.27 2.64/1.43 o 32 2.85/1.51 c Got one! Elapsed wall clock time (in seconds):1.353 2.85/1.51 o 31 3.84/2.05 c Got one! Elapsed wall clock time (in seconds):1.892 3.84/2.05 o 30 5.20/2.74 c Got one! Elapsed wall clock time (in seconds):2.581 5.20/2.74 o 29 6.30/3.41 c Got one! Elapsed wall clock time (in seconds):3.246 6.30/3.41 o 28 10.70/7.34 c Got one! Elapsed wall clock time (in seconds):7.182 10.70/7.34 o 27 13.70/10.29 c Got one! Elapsed wall clock time (in seconds):10.126 13.70/10.29 o 26 45.39/38.45 c cleaning 4036 clauses out of 8072 with flag 0/8072 113.84/105.39 c cleaning 5019 clauses out of 10038 with flag 0/14074 146.12/137.26 c Got one! Elapsed wall clock time (in seconds):137.095 146.12/137.26 o 25 183.10/173.87 c starts : 70 183.10/173.87 c conflicts : 19016 183.10/173.87 c decisions : 79232 183.10/173.87 c propagations : 1229160 183.10/173.87 c inspects : 62577795 183.10/173.87 c shortcuts : 0 183.10/173.87 c learnt literals : 0 183.10/173.87 c learnt binary clauses : 0 183.10/173.87 c learnt ternary clauses : 0 183.10/173.87 c learnt constraints : 19015 183.10/173.87 c ignored constraints : 0 183.10/173.87 c root simplifications : 0 183.10/173.87 c removed literals (reason simplification) : 0 183.10/173.87 c reason swapping (by a shorter reason) : 0 183.10/173.87 c Calls to reduceDB : 2 183.10/173.87 c Number of update (reduction) of LBD : 42193 183.10/173.87 c Imported unit clauses : 0 183.10/173.87 c No decision after first conflict : false 183.10/173.87 c number of reductions to clauses (during analyze) : 0 183.10/173.87 c number of learned constraints concerned by reduction : 0 183.10/173.87 c number of learning phase by resolution : 0 183.10/173.87 c number of learning phase by cutting planes : 0 183.10/173.87 c number of rounding to 1 operations : 0 183.10/173.87 c number of easy rounding to 1 operations (no literal elimination needed) : 0 183.10/173.87 c number of reductions of the coefficients by power 2 : 0 183.10/173.87 c number of right shift for reduction by power 2 : 0 183.10/173.87 c number of reductions of the coefficients by GCD over coefficients : 0 183.10/173.87 c number of ending skipping : 0 183.10/173.87 c number of internal skipping : 0 183.10/173.87 c number of derivation steps : 103139 183.10/173.87 c number of skipped derivation steps : 0 183.10/173.87 c number of remaining unassigned : 175387 183.10/173.87 c number of remaining assigned : 2025267 183.10/173.87 c number of falsified literals weakened from reason : 0 183.10/173.87 c number of falsified literals weakened from conflict : 0 183.10/173.87 c time for arithmetic operations : 744057196 183.10/173.87 c minimum degree of deleted constraints : 82 183.10/173.87 c maximum degree of deleted constraints : 1889282424575790221341309374619287112579637342068130041679934112831016471474525134116967279723058481624506079315230551101580064503210978909580881425000 183.10/173.87 c number of deleted constraints : 9055 183.10/173.87 c speed (assignments/second) : 7081.026586398594 183.10/173.87 c non guided choices : 0 183.10/173.87 s OPTIMUM FOUND 183.10/173.87 c Found 13 solution(s) 183.10/173.87 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 x322 x323 -x324 -x325 -x326 x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 x365 x366 -x367 -x368 -x369 x370 -x371 -x372 183.10/173.88 c objective function=25 183.10/173.88 c Total wall clock time (in seconds): 173.715
OK 25
Tue Jul 1 16:35:03 CEST 2025 extraparms= -- veripb -- Running VeriPB version 2.3.0 s VERIFIED BOUNDS 25 <= obj <= 25 Verification succeeded. -- cakepb -- s VERIFIED BOUNDS 25 <= obj <= 25 --summary-- ALL OK
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (59540 MiB free)
memory of node 1: 64465 MiB (61707 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487627-1751337084/watcher-4487627-1751337084 -o /tmp/evaluation-result-4487627-1751337084/solver-4487627-1751337084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751336754-45967 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4487627-1751337084 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4487627-1751337084.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=46900, runsolver pid=46897
[startup+0.10006 s]*
/proc/loadavg: 4.27 4.13 4.10 6/344 46918
/proc/meminfo: memFree=124142888/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=18930384 memory=55592 CPUtime=0.12 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 6551 0 0 0 10 2 0 0 20 0 18 0 49386995 19384713216 13898 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4732596 13898 5329 1 0 547604 0
[pid=46900/tid=46902] ppid=46897 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 5056 0 0 0 6 1 0 0 20 0 18 0 49386997 19384713216 13898 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49386999 19384713216 13898 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=18930384 memory=61784027576291 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49387000 19384713216 13898 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55592 KiB
[startup+0.205879 s]*
/proc/loadavg: 4.27 4.13 4.10 7/344 46918
/proc/meminfo: memFree=124133688/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=18930384 memory=64672 CPUtime=0.31 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 7178 0 0 0 28 3 0 0 20 0 18 0 49386995 19384713216 16168 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4732596 16168 5457 1 0 548060 0
[pid=46900/tid=46902] ppid=46897 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 5411 0 0 0 15 2 0 0 20 0 18 0 49386997 19384713216 16168 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=18930384 memory=13937 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49386999 19384713216 16168 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=18930384 memory=60684515935208 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49387000 19384713216 16168 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64672 KiB
[startup+0.305787 s]*
/proc/loadavg: 4.27 4.13 4.10 7/345 46919
/proc/meminfo: memFree=124121716/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=18996948 memory=78376 CPUtime=0.5 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 8993 0 0 0 47 3 0 0 20 0 19 0 49386995 19452874752 19594 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4749237 19594 5489 1 0 549539 0
[pid=46900/tid=46902] ppid=46897 vsize=18996948 memory=-6000919476934174315 CPUtime=0.23 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 5557 0 0 0 21 2 0 0 20 0 19 0 49386997 19452874752 19594 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49386999 19452874752 19594 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49387000 19452874752 19594 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46919] ppid=46897 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/46900/task/46919/stat : 46919 (Timer-0) S 46897 46900 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49387024 19452874752 19594 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 78376 KiB
[startup+0.700224 s]
/proc/loadavg: 4.27 4.13 4.10 7/345 46919
/proc/meminfo: memFree=124092036/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=18996948 memory=150464 CPUtime=1.26 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 13061 0 0 0 120 6 0 0 20 0 19 0 49386995 19452874752 37616 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4749237 37616 5489 1 0 552029 0
[pid=46900/tid=46902] ppid=46897 vsize=18996948 memory=17664 CPUtime=0.62 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 5645 0 0 0 58 4 0 0 20 0 19 0 49386997 19452874752 37616 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49386999 19452874752 37616 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49387000 19452874752 37616 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46919] ppid=46897 vsize=18996948 memory=4496 CPUtime=0 cores=1,3
/proc/46900/task/46919/stat : 46919 (Timer-0) S 46897 46900 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49387024 19452874752 37616 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150464 KiB
[startup+1.50024 s]
/proc/loadavg: 4.27 4.13 4.10 6/346 46920
/proc/meminfo: memFree=124036772/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=19063512 memory=185512 CPUtime=2.85 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 22226 0 0 0 277 8 0 0 20 0 20 0 49386995 19521036288 46378 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4765878 46378 5521 1 0 554609 0
[pid=46900/tid=46902] ppid=46897 vsize=19063512 memory=11136 CPUtime=1.38 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 6394 0 0 0 134 4 0 0 20 0 20 0 49386997 19521036288 46378 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49386999 19521036288 46378 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 49387000 19521036288 46378 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46919] ppid=46897 vsize=19063512 memory=4496 CPUtime=0 cores=1,3
/proc/46900/task/46919/stat : 46919 (Timer-0) S 46897 46900 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49387024 19521036288 46378 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 185512 KiB
[startup+3.10568 s]
/proc/loadavg: 4.27 4.13 4.10 6/346 46920
/proc/meminfo: memFree=123742056/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=19063512 memory=485148 CPUtime=5.91 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 24561 0 0 0 576 15 0 0 20 0 20 0 49386995 19521036288 121287 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4765878 121287 5521 1 0 555012 0
[pid=46900/tid=46902] ppid=46897 vsize=19063512 memory=11136 CPUtime=2.92 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 7302 0 0 0 281 11 0 0 20 0 20 0 49386997 19521036288 121287 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=19063512 memory=-6000919476934174315 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49386999 19521036288 121287 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 49387000 19521036288 121287 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46919] ppid=46897 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/46900/task/46919/stat : 46919 (Timer-0) S 46897 46900 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49387024 19521036288 121287 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 485148 KiB
[startup+6.30024 s]
/proc/loadavg: 4.24 4.12 4.10 7/346 46920
/proc/meminfo: memFree=123208860/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=19063512 memory=941968 CPUtime=9.68 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 29435 0 0 0 943 25 0 0 20 0 20 0 49386995 19521036288 235492 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4765878 235492 5521 1 0 663296 0
[pid=46900/tid=46902] ppid=46897 vsize=19063512 memory=0 CPUtime=6.04 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 7533 0 0 0 585 19 0 0 20 0 20 0 49386997 19521036288 235492 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49386999 19521036288 235492 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 49387000 19521036288 235492 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46919] ppid=46897 vsize=19063512 memory=185640 CPUtime=0 cores=1,3
/proc/46900/task/46919/stat : 46919 (Timer-0) S 46897 46900 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49387024 19521036288 235492 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 9.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 941968 KiB
[startup+12.7002 s]
/proc/loadavg: 4.31 4.14 4.10 5/346 46921
/proc/meminfo: memFree=123124080/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=19063512 memory=1099712 CPUtime=16.24 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 32352 0 0 0 1594 30 0 0 20 0 20 0 49386995 19521036288 274928 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4765878 274928 5521 1 0 663314 0
[pid=46900/tid=46902] ppid=46897 vsize=19063512 memory=185640 CPUtime=12.32 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 9070 0 0 0 1210 22 0 0 20 0 20 0 49386997 19521036288 274928 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49386999 19521036288 274928 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=19063512 memory=931716 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 49387000 19521036288 274928 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46919] ppid=46897 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/46900/task/46919/stat : 46919 (Timer-0) S 46897 46900 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49387024 19521036288 274928 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 16.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1099712 KiB
[startup+25.5002 s]
/proc/loadavg: 4.24 4.13 4.10 5/346 46921
/proc/meminfo: memFree=122458988/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=19063512 memory=1548000 CPUtime=31.8 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 51735 0 0 0 3138 42 0 0 20 0 20 0 49386995 19521036288 387000 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4765878 387000 5521 1 0 664723 0
[pid=46900/tid=46902] ppid=46897 vsize=19063512 memory=11136 CPUtime=24.97 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 11969 0 0 0 2469 28 0 0 20 0 20 0 49386997 19521036288 387000 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=19063512 memory=931716 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49386999 19521036288 387000 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=19063512 memory=2208 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 35 0 0 0 0 0 0 0 20 0 20 0 49387000 19521036288 387000 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46919] ppid=46897 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/46900/task/46919/stat : 46919 (Timer-0) S 46897 46900 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49387024 19521036288 387000 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 31.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1548000 KiB
[startup+51.1059 s]
/proc/loadavg: 4.30 4.15 4.11 5/347 46922
/proc/meminfo: memFree=122038756/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=19063512 memory=1705432 CPUtime=58.81 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 57725 0 0 0 5831 50 0 0 20 0 20 0 49386995 19521036288 426358 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4765878 426358 5521 1 0 664950 0
[pid=46900/tid=46902] ppid=46897 vsize=19063512 memory=14572 CPUtime=50.2 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 14732 0 0 0 4988 32 0 0 20 0 20 0 49386997 19521036288 426358 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
################
# More data... #
################
/proc/meminfo: memFree=121627496/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=19063512 memory=1824752 CPUtime=110.83 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 60510 0 0 0 11024 59 0 0 20 0 20 0 49386995 19521036288 456188 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4765878 456188 5553 1 0 664982 0
[pid=46900/tid=46902] ppid=46897 vsize=19063512 memory=1824752 CPUtime=100.58 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 16212 0 0 0 10020 38 0 0 20 0 20 0 49386997 19521036288 456188 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=19063512 memory=14572 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49386999 19521036288 456188 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=19063512 memory=1812452 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 110 0 0 0 0 0 0 0 20 0 20 0 49387000 19521036288 456188 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46919] ppid=46897 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/46900/task/46919/stat : 46919 (Timer-0) S 46897 46900 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49387024 19521036288 456188 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 110.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1824752 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/346 46927
/proc/meminfo: memFree=121198672/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=19063512 memory=1925144 CPUtime=171.45 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 64097 0 0 0 17075 70 0 0 20 0 20 0 49386995 19521036288 481286 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4765878 481286 5553 1 0 664982 0
[pid=46900/tid=46902] ppid=46897 vsize=19063512 memory=-6000919476934174315 CPUtime=159.65 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 18204 0 0 0 15921 44 0 0 20 0 20 0 49386997 19521036288 481286 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=19063512 memory=14572 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49386999 19521036288 481286 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=19063512 memory=4496 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 159 0 0 0 0 0 0 0 20 0 20 0 49387000 19521036288 481286 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46919] ppid=46897 vsize=19063512 memory=1906712 CPUtime=0 cores=1,3
/proc/46900/task/46919/stat : 46919 (Timer-0) S 46897 46900 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49387024 19521036288 481286 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 171.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1925144 KiB
[startup+173.93 s]
# the end of solver process 46900 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=182.462 s, system=0.733734 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+166.4 s]
/proc/loadavg: 4.13 4.14 4.10 5/346 46927
/proc/meminfo: memFree=121149652/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=19063512 memory=1925144 CPUtime=175.6 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 64141 0 0 0 17490 70 0 0 20 0 20 0 49386995 19521036288 481286 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4765878 481286 5553 1 0 664982 0
[pid=46900/tid=46902] ppid=46897 vsize=19063512 memory=1906712 CPUtime=163.67 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 18229 0 0 0 16322 45 0 0 20 0 20 0 49386997 19521036288 481286 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49386999 19521036288 481286 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 159 0 0 0 0 0 0 0 20 0 20 0 49387000 19521036288 481286 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46919] ppid=46897 vsize=19063512 memory=1925144 CPUtime=0 cores=1,3
/proc/46900/task/46919/stat : 46919 (Timer-0) S 46897 46900 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49387024 19521036288 481286 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 175.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1925144 KiB
[startup+169.6 s]
/proc/loadavg: 4.12 4.14 4.10 5/346 46927
/proc/meminfo: memFree=121149644/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=19063512 memory=1925144 CPUtime=178.8 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 64142 0 0 0 17809 71 0 0 20 0 20 0 49386995 19521036288 481286 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4765878 481286 5553 1 0 664982 0
[pid=46900/tid=46902] ppid=46897 vsize=19063512 memory=0 CPUtime=166.86 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 18230 0 0 0 16641 45 0 0 20 0 20 0 49386997 19521036288 481286 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=19063512 memory=1894416 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49386999 19521036288 481286 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=19063512 memory=4283937671162261150 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 159 0 0 0 0 0 0 0 20 0 20 0 49387000 19521036288 481286 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46919] ppid=46897 vsize=19063512 memory=14572 CPUtime=0 cores=1,3
/proc/46900/task/46919/stat : 46919 (Timer-0) S 46897 46900 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49387024 19521036288 481286 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 178.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1925144 KiB
[startup+171.2 s]
/proc/loadavg: 4.12 4.14 4.10 5/346 46927
/proc/meminfo: memFree=121120036/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=19063512 memory=1935384 CPUtime=180.48 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 65244 0 0 0 17976 72 0 0 20 0 20 0 49386995 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4765878 483846 5553 1 0 664982 0
[pid=46900/tid=46902] ppid=46897 vsize=19063512 memory=1925144 CPUtime=168.38 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 19123 0 0 0 16793 45 0 0 20 0 20 0 49386997 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=19063512 memory=4496 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49386999 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=19063512 memory=1925144 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 159 0 0 0 0 0 0 0 20 0 20 0 49387000 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46919] ppid=46897 vsize=19063512 memory=17664 CPUtime=0 cores=1,3
/proc/46900/task/46919/stat : 46919 (Timer-0) S 46897 46900 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49387024 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 180.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1935384 KiB
[startup+172.8 s]
/proc/loadavg: 4.12 4.14 4.10 5/346 46927
/proc/meminfo: memFree=121118776/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=19063512 memory=1935384 CPUtime=182.08 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 65244 0 0 0 18136 72 0 0 20 0 20 0 49386995 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4765878 483846 5553 1 0 664982 0
[pid=46900/tid=46902] ppid=46897 vsize=19063512 memory=1906712 CPUtime=169.97 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 19123 0 0 0 16952 45 0 0 20 0 20 0 49386997 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=19063512 memory=1925144 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49386999 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=19063512 memory=14572 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 159 0 0 0 0 0 0 0 20 0 20 0 49387000 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46919] ppid=46897 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/46900/task/46919/stat : 46919 (Timer-0) S 46897 46900 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49387024 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 182.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1935384 KiB
[startup+173.6 s]
/proc/loadavg: 4.12 4.14 4.10 5/346 46927
/proc/meminfo: memFree=121117768/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=19063512 memory=1935384 CPUtime=182.91 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 65480 0 0 0 18219 72 0 0 20 0 20 0 49386995 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4765878 483846 5553 1 0 664982 0
[pid=46900/tid=46902] ppid=46897 vsize=19063512 memory=14572 CPUtime=170.77 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 19135 0 0 0 17032 45 0 0 20 0 20 0 49386997 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49386999 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=19063512 memory=2208 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 159 0 0 0 0 0 0 0 20 0 20 0 49387000 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46919] ppid=46897 vsize=19063512 memory=17664 CPUtime=0 cores=1,3
/proc/46900/task/46919/stat : 46919 (Timer-0) S 46897 46900 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49387024 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 182.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1935384 KiB
[startup+173.8 s]
/proc/loadavg: 4.12 4.14 4.10 5/346 46927
/proc/meminfo: memFree=121117768/131249996 swapFree=33010684/33010684
[pid=46900] ppid=46897 vsize=19063512 memory=1935384 CPUtime=183.1 cores=1,3
/proc/46900/stat : 46900 (java) S 46897 46900 45955 0 -1 4194304 65480 0 0 0 18238 72 0 0 20 0 20 0 49386995 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
/proc/46900/statm: 4765878 483846 5553 1 0 664982 0
[pid=46900/tid=46902] ppid=46897 vsize=19063512 memory=3200 CPUtime=170.97 cores=1,3
/proc/46900/task/46902/stat : 46902 (java) R 46897 46900 45955 0 -1 4194368 19135 0 0 0 17052 45 0 0 20 0 20 0 49386997 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46911] ppid=46897 vsize=19063512 memory=4496 CPUtime=0 cores=1,3
/proc/46900/task/46911/stat : 46911 (Finalizer) S 46897 46900 45955 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49386999 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46918] ppid=46897 vsize=19063512 memory=2764 CPUtime=0 cores=1,3
/proc/46900/task/46918/stat : 46918 (Common-Cleaner) S 46897 46900 45955 0 -1 4194368 159 0 0 0 0 0 0 0 20 0 20 0 49387000 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
[pid=46900/tid=46919] ppid=46897 vsize=19063512 memory=21692 CPUtime=0 cores=1,3
/proc/46900/task/46919/stat : 46919 (Timer-0) S 46897 46900 45955 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49387024 19521036288 483846 18446744073709551615 94545438941184 94545438944880 140734901558464 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94545438952696 94545438953488 94545459302400 140734901561645 140734901561830 140734901561830 140734901567432 0
Current children cumulated CPU time: 183.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1935384 KiB
[startup+173.902 s]*
/proc/loadavg: 4.27 4.17 4.11 5/325 46929
/proc/meminfo: memFree=123031296/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 30
Real time (s): 173.93
CPU time (s): 183.196
CPU user time (s): 182.462
CPU system time (s): 0.733734
CPU usage (%): 105.327
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1935384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.462
system time used= 0.733734
maximum resident set size= 1936024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66839
page faults= 0
swaps= 0
block input operations= 0
block output operations= 233328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9406
involuntary context switches= 2293
# summary of solver processes directly reported to runsolver:
# pid: 46900
# total CPU time (s): 183.196
# total CPU user time (s): 182.462
# total CPU system time (s): 0.733734
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.409595 second user time and 0.876397 second system time
The end
Begin job on nodeC032 at 2025-07-01 04:31:24 IDJOB=4487627 IDBENCH=147209 IDSOLVER=3362 FILE ID=nodeC032/4487627-1751337084 RUNJOBID= nodeC032-1751336754-45967 SLURM_JOB_ID= 9594385 Free space on /tmp= 432068 MiB SOLVER NAME= Sat4j CP VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/logic-synthesis/normalized-sao2.b.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4487627-1751337084/watcher-4487627-1751337084 -o /tmp/evaluation-result-4487627-1751337084/solver-4487627-1751337084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751336754-45967 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4487627-1751337084 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4487627-1751337084.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= dc8f15f122e8bf0ab63303347843dc21 RANDOM SEED=1581250155 nodeC032 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.869 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.69 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 : 3601.315 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.69 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 : 3600.023 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.839 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.69 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.867 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.69 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.835 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.69 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.754 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.845 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 124157640 kB MemAvailable: 124286304 kB Buffers: 3280 kB Cached: 936284 kB SwapCached: 0 kB Active: 5838496 kB Inactive: 682236 kB Active(anon): 5599364 kB Inactive(anon): 0 kB Active(file): 239132 kB Inactive(file): 682236 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 28900 kB Writeback: 0 kB AnonPages: 5584412 kB Mapped: 123032 kB Shmem: 18068 kB KReclaimable: 93068 kB Slab: 182392 kB SReclaimable: 93068 kB SUnreclaim: 89324 kB KernelStack: 5312 kB PageTables: 14620 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 7519456 kB VmallocTotal: 34359738367 kB VmallocUsed: 151544 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 5361664 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: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432068 MiB End job on nodeC032 at 2025-07-01 04:34:18