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 | SAT (TO) | 9 | 3587.23 | 3705.96 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/ unit/normalized-evencolouring_opt_unit_random6regular_nvert_111.opb |
| MD5SUM | c461ae7705f705842c6a0ab2eb8c850d |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.054755 |
| 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 | 444 |
| Total number of constraints | 111 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 111 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 7 |
| Maximum length of a constraint | 7 |
| Number of terms in the objective function | 111 |
| 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 | 111 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 111 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.11/0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.11/0.15 c This is free software under the dual EPL/GNU LGPL licenses. 0.11/0.15 c See www.sat4j.org for details. 0.11/0.16 c version PB25.v20250606 0.11/0.17 c java.runtime.name OpenJDK Runtime Environment 0.11/0.17 c java.vm.name OpenJDK 64-Bit Server VM 0.11/0.17 c java.vm.version 22.0.1+8-16 0.11/0.17 c java.vm.vendor Oracle Corporation 0.11/0.17 c sun.arch.data.model 64 0.11/0.17 c java.version 22.0.1 0.11/0.17 c os.name Linux 0.11/0.17 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.11/0.17 c os.arch amd64 0.11/0.18 c Free memory 2104792832 0.11/0.18 c Max memory 16282288128 0.11/0.18 c Total memory 2113929216 0.11/0.18 c Number of processors 2 0.34/0.29 c Pseudo Boolean Optimization by upper bound 0.34/0.29 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.34/0.29 c - never skip resolution steps 0.34/0.29 c - Auto-division on coefficients is disabled 0.34/0.29 c - No postprocessing 0.34/0.29 c - Conflict is considered as is when resolving 0.34/0.29 c - Use constraints as they come during conflict analysis 0.34/0.29 c - Weaken first using unassigned literals 0.34/0.29 c - Bump strategy: ALWAYS_ONE 0.34/0.29 c - Bumper: EFFECTIVE 0.34/0.29 c --- Begin Solver configuration --- 0.34/0.29 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@768debd 0.34/0.29 c Learn all clauses as in MiniSAT 0.34/0.29 c LOGGER=java.util.logging.Logger@449b2d27 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.34/0.29 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.34/0.29 c No reason simplification 0.34/0.29 c Dynamic restart strategy considering the size of the coefficients 0.34/0.29 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@18ef96 0.34/0.29 c timeout=2147483s 0.34/0.29 c DB Simplification allowed=false 0.34/0.29 c Listener: none 0.34/0.29 c --- End Solver configuration --- 0.34/0.29 c solving HOME/instance-4518601-1751551400.opb 0.34/0.29 c reading problem ... 0.34/0.30 c using VERIPB proof format 0.34/0.30 c objective function found 0.50/0.39 c ... done. Wall clock time 0.095s. 0.50/0.39 c declared #vars 444 0.50/0.39 c #constraints 222 0.50/0.39 c constraints type 0.50/0.40 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 222 0.50/0.40 c 222 constraints processed. 0.64/0.43 c objective function length is 111 literals 0.98/0.66 c SATISFIABLE 0.98/0.66 c OPTIMIZING... 0.98/0.66 c Got one! Elapsed wall clock time (in seconds):0.364 0.98/0.66 o 67 1.33/0.86 c Got one! Elapsed wall clock time (in seconds):0.563 1.33/0.86 o 57 1.94/1.13 c Got one! Elapsed wall clock time (in seconds):0.837 1.94/1.13 o 55 2.31/1.30 c Got one! Elapsed wall clock time (in seconds):1.004 2.31/1.30 o 11 6.48/3.40 c Got one! Elapsed wall clock time (in seconds):3.106 6.48/3.40 o 9 36.82/29.31 c cleaning 3098 clauses out of 6195 with flag 0/6195 62.55/65.96 c cleaning 4549 clauses out of 9098 with flag 0/12196 87.89/90.29 c cleaning 5773 clauses out of 11548 with flag 0/19195 121.88/133.79 c cleaning 6894 clauses out of 13788 with flag 0/27208 161.52/174.55 c cleaning 7938 clauses out of 15882 with flag 0/36196 203.28/223.29 c cleaning 8968 clauses out of 17945 with flag 0/46197 251.23/270.54 c cleaning 9993 clauses out of 19985 with flag 0/57205 304.14/323.55 c cleaning 10989 clauses out of 21982 with flag 0/69195 367.78/400.66 c cleaning 12000 clauses out of 24003 with flag 0/82205 431.85/463.90 c cleaning 12994 clauses out of 25993 with flag 0/96195 504.71/536.97 c cleaning 13997 clauses out of 28000 with flag 0/111196 580.93/611.96 c cleaning 14995 clauses out of 30002 with flag 0/127195 685.67/723.00 c cleaning 15989 clauses out of 32010 with flag 0/144198 797.92/843.71 c cleaning 17019 clauses out of 34041 with flag 0/162218 900.54/959.91 c cleaning 17986 clauses out of 36008 with flag 0/181204 1003.22/1062.20 c cleaning 19007 clauses out of 38016 with flag 0/201198 1108.59/1167.37 c cleaning 19991 clauses out of 40006 with flag 0/222195 1213.62/1271.41 c cleaning 21003 clauses out of 42015 with flag 0/244195 1329.40/1386.07 c cleaning 22000 clauses out of 44012 with flag 0/267195 1442.82/1517.49 c cleaning 23009 clauses out of 46017 with flag 0/291200 1521.18/1594.50 c cleaning 24007 clauses out of 48014 with flag 0/316206 1624.26/1700.71 c cleaning 25002 clauses out of 50004 with flag 0/342203 1743.25/1821.86 c cleaning 25989 clauses out of 52001 with flag 0/369202 1856.36/1941.46 c cleaning 26998 clauses out of 54005 with flag 0/397195 1980.06/2066.91 c cleaning 27987 clauses out of 56009 with flag 0/426197 2111.50/2195.72 c cleaning 29010 clauses out of 58020 with flag 0/456195 2262.11/2349.51 c cleaning 29984 clauses out of 60010 with flag 0/487195 2428.03/2517.10 c cleaning 31017 clauses out of 62036 with flag 0/519205 2582.58/2669.24 c cleaning 32001 clauses out of 64011 with flag 0/552197 2762.35/2855.92 c cleaning 32996 clauses out of 66008 with flag 0/586195 2962.71/3070.40 c cleaning 33991 clauses out of 68017 with flag 0/621200 3180.45/3290.75 c cleaning 35007 clauses out of 70024 with flag 0/657198 3410.01/3518.12 c cleaning 35992 clauses out of 72014 with flag 0/694195 3586.89/3700.04 c starts : 25 3586.89/3700.06 c conflicts : 727935 3586.89/3700.06 c decisions : 1008246 3586.89/3700.06 c propagations : 9145579 3586.89/3700.06 c inspects : 1322639709 3586.89/3700.06 c shortcuts : 0 3586.89/3700.07 c learnt literals : 0 3586.89/3700.07 c learnt binary clauses : 0 3586.89/3700.07 c learnt ternary clauses : 0 3586.89/3700.07 c learnt constraints : 727934 3586.89/3700.07 c ignored constraints : 0 3586.89/3700.07 c root simplifications : 0 3586.89/3700.07 c removed literals (reason simplification) : 0 3586.89/3700.07 c reason swapping (by a shorter reason) : 0 3586.89/3700.07 c Calls to reduceDB : 33 3586.89/3700.07 c Number of update (reduction) of LBD : 583715 3586.89/3700.07 c Imported unit clauses : 0 3586.89/3700.07 c No decision after first conflict : false 3586.89/3700.07 c number of reductions to clauses (during analyze) : 0 3586.89/3700.07 c number of learned constraints concerned by reduction : 0 3586.89/3700.07 c number of learning phase by resolution : 0 3586.89/3700.07 c number of learning phase by cutting planes : 0 3586.89/3700.07 c number of rounding to 1 operations : 0 3586.89/3700.07 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3586.89/3700.07 c number of reductions of the coefficients by power 2 : 0 3586.89/3700.08 c number of right shift for reduction by power 2 : 0 3586.89/3700.08 c number of reductions of the coefficients by GCD over coefficients : 0 3586.89/3700.08 c number of ending skipping : 0 3586.89/3700.08 c number of internal skipping : 0 3586.89/3700.08 c number of derivation steps : 9433296 3586.89/3700.08 c number of skipped derivation steps : 0 3586.89/3700.08 c number of remaining unassigned : 39783 3586.89/3700.08 c number of remaining assigned : 1195637270 3586.89/3700.08 c number of falsified literals weakened from reason : 0 3586.89/3700.08 c number of falsified literals weakened from conflict : 0 3586.89/3700.09 c time for arithmetic operations : 9242793436 3586.89/3700.09 c minimum degree of deleted constraints : 1 3586.89/3700.09 c maximum degree of deleted constraints : 28639557441 3586.89/3700.09 c number of deleted constraints : 658173 3586.89/3700.09 c speed (assignments/second) : 2472.0246424575857 3586.89/3700.10 c non guided choices : 450 3587.16/3700.20 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 90 3587.16/3700.20 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 24 3587.16/3700.20 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 69647 3587.16/3700.20 s SATISFIABLE 3587.16/3700.20 c Found 5 solution(s) 3587.16/3700.21 v -x1 x2 -x3 x4 x5 -x6 x7 -x8 -x9 x10 x11 -x12 x13 x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 x22 -x23 x24 -x25 x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 -x37 x38 -x39 x40 x41 x42 -x43 x44 x45 -x46 x47 x48 x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 x57 x58 x59 -x60 x61 x62 -x63 -x64 x65 x66 -x67 -x68 -x69 x70 x71 -x72 x73 -x74 x75 -x76 -x77 -x78 x79 x80 -x81 -x82 -x83 x84 -x85 x86 x87 x88 -x89 x90 -x91 x92 x93 -x94 -x95 x96 -x97 x98 x99 -x100 -x101 -x102 x103 x104 x105 -x106 x107 -x108 -x109 -x110 x111 -x112 x113 -x114 x115 x116 -x117 x118 -x119 -x120 x121 -x122 -x123 x124 x125 -x126 x127 -x128 -x129 x130 x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 x147 x148 -x149 x150 x151 -x152 -x153 x154 -x155 x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 x166 x167 x168 x169 -x170 x171 x172 -x173 -x174 -x175 x176 x177 -x178 -x179 x180 x181 x182 -x183 x184 -x185 -x186 x187 -x188 -x189 x190 x191 -x192 x193 -x194 -x195 x196 -x197 x198 x199 -x200 -x201 x202 x203 -x204 -x205 -x206 x207 x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 x218 -x219 -x220 -x221 -x222 -x223 x224 x225 -x226 -x227 x228 x229 x230 x231 x232 -x233 x234 -x235 x236 x237 -x238 x239 -x240 -x241 -x242 x243 x244 x245 -x246 -x247 -x248 -x249 x250 x251 -x252 x253 -x254 x255 x256 -x257 -x258 -x259 x260 x261 x262 -x263 x264 -x265 -x266 x267 -x268 -x269 x270 x271 -x272 x273 x274 -x275 -x276 -x277 -x278 x279 -x280 x281 x282 -x283 -x284 -x285 x286 x287 x288 -x289 x290 x291 -x292 -x293 x294 -x295 -x296 x297 -x298 -x299 x300 -x301 -x302 x303 x304 -x305 -x306 x307 x308 -x309 -x310 -x311 x312 x313 x314 x315 x316 x317 -x318 x319 -x320 -x321 x322 -x323 -x324 x325 x326 x327 x328 -x329 -x330 x331 x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 3587.16/3700.21 c objective function=9 3587.16/3700.21 c Total wall clock time (in seconds): 3699.916
OK 9
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: 63794 MiB (57936 MiB free)
memory of node 1: 64507 MiB (45462 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518601-1751551400/watcher-4518601-1751551400 -o /tmp/evaluation-result-4518601-1751551400/solver-4518601-1751551400 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751547728-82132 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518601-1751551400 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4518601-1751551400.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 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=82917, runsolver pid=82914
[startup+0.100073 s]*
/proc/loadavg: 4.49 4.30 4.26 7/332 82935
/proc/meminfo: memFree=105741808/131382112 swapFree=33010160/33010684
[pid=82917] ppid=82914 vsize=18930384 memory=51004 CPUtime=0.11 cores=0,2
/proc/82917/stat : 82917 (java) S 82914 82917 82122 0 -1 4194304 5924 0 0 0 9 2 0 0 20 0 18 0 70819777 19384713216 12751 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
/proc/82917/statm: 4732596 12751 5330 1 0 547145 0
[pid=82917/tid=82919] ppid=82914 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/82917/task/82919/stat : 82919 (java) R 82914 82917 82122 0 -1 4194368 4722 0 0 0 6 1 0 0 20 0 18 0 70819779 19384713216 12751 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70819784 19384713216 12751 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82935] ppid=82914 vsize=18930384 memory=59593594258114 CPUtime=0 cores=0,2
/proc/82917/task/82935/stat : 82935 (Common-Cleaner) S 82914 82917 82122 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 70819785 19384713216 12751 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51004 KiB
[startup+0.218359 s]*
/proc/loadavg: 4.49 4.30 4.26 7/332 82935
/proc/meminfo: memFree=105568516/131382112 swapFree=33010160/33010684
[pid=82917] ppid=82914 vsize=18930384 memory=60164 CPUtime=0.34 cores=0,2
/proc/82917/stat : 82917 (java) S 82914 82917 82122 0 -1 4194304 6659 0 0 0 31 3 0 0 20 0 18 0 70819777 19384713216 15041 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
/proc/82917/statm: 4732596 15041 5362 1 0 547784 0
[pid=82917/tid=82919] ppid=82914 vsize=18930384 memory=4026794268 CPUtime=0.2 cores=0,2
/proc/82917/task/82919/stat : 82919 (java) R 82914 82917 82122 0 -1 4194368 5232 0 0 0 18 2 0 0 20 0 18 0 70819779 19384713216 15041 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=18930384 memory=16142 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70819784 19384713216 15041 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82935] ppid=82914 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/82917/task/82935/stat : 82935 (Common-Cleaner) S 82914 82917 82122 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 70819785 19384713216 15041 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60164 KiB
[startup+0.331586 s]*
/proc/loadavg: 4.49 4.30 4.26 7/332 82935
/proc/meminfo: memFree=105437192/131382112 swapFree=33010160/33010684
[pid=82917] ppid=82914 vsize=18930384 memory=63292 CPUtime=0.5 cores=0,2
/proc/82917/stat : 82917 (java) S 82914 82917 82122 0 -1 4194304 6854 0 0 0 46 4 0 0 20 0 18 0 70819777 19384713216 15823 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
/proc/82917/statm: 4732596 15823 5426 1 0 547936 0
[pid=82917/tid=82919] ppid=82914 vsize=18930384 memory=-6000919489953229415 CPUtime=0.27 cores=0,2
/proc/82917/task/82919/stat : 82919 (java) R 82914 82917 82122 0 -1 4194368 5397 0 0 0 25 2 0 0 20 0 18 0 70819779 19384713216 15823 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70819784 19384713216 15823 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82935] ppid=82914 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/82917/task/82935/stat : 82935 (Common-Cleaner) S 82914 82917 82122 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 70819785 19384713216 15823 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63292 KiB
[startup+0.700322 s]
/proc/loadavg: 4.49 4.30 4.26 7/333 82936
/proc/meminfo: memFree=105334288/131382112 swapFree=33010160/33010684
[pid=82917] ppid=82914 vsize=18996948 memory=85400 CPUtime=1.13 cores=0,2
/proc/82917/stat : 82917 (java) S 82914 82917 82122 0 -1 4194304 9185 0 0 0 108 5 0 0 20 0 19 0 70819777 19452874752 21350 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
/proc/82917/statm: 4749237 21350 5490 1 0 549643 0
[pid=82917/tid=82919] ppid=82914 vsize=18996948 memory=18304 CPUtime=0.56 cores=0,2
/proc/82917/task/82919/stat : 82919 (java) R 82914 82917 82122 0 -1 4194368 5568 0 0 0 53 3 0 0 20 0 19 0 70819779 19452874752 21350 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70819784 19452874752 21350 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82935] ppid=82914 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/82917/task/82935/stat : 82935 (Common-Cleaner) S 82914 82917 82122 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 70819785 19452874752 21350 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82936] ppid=82914 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/82917/task/82936/stat : 82936 (Timer-0) S 82914 82917 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70819823 19452874752 21350 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85400 KiB
[startup+1.50028 s]
/proc/loadavg: 4.49 4.30 4.26 6/333 82936
/proc/meminfo: memFree=105243552/131382112 swapFree=33010160/33010684
[pid=82917] ppid=82914 vsize=19063512 memory=171964 CPUtime=2.72 cores=0,2
/proc/82917/stat : 82917 (java) S 82914 82917 82122 0 -1 4194304 17689 0 0 0 263 9 0 0 20 0 20 0 70819777 19521036288 42991 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
/proc/82917/statm: 4765878 42991 5522 1 0 552809 0
[pid=82917/tid=82919] ppid=82914 vsize=19063512 memory=0 CPUtime=1.24 cores=0,2
/proc/82917/task/82919/stat : 82919 (java) R 82914 82917 82122 0 -1 4194368 6251 0 0 0 119 5 0 0 20 0 20 0 70819779 19521036288 42991 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70819784 19521036288 42991 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82935] ppid=82914 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/82917/task/82935/stat : 82935 (Common-Cleaner) S 82914 82917 82122 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 70819785 19521036288 42991 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82936] ppid=82914 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/82917/task/82936/stat : 82936 (Timer-0) S 82914 82917 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70819823 19521036288 42991 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171964 KiB
[startup+3.10642 s]
/proc/loadavg: 4.49 4.30 4.26 6/334 82937
/proc/meminfo: memFree=104989608/131382112 swapFree=33010160/33010684
[pid=82917] ppid=82914 vsize=19063512 memory=393344 CPUtime=5.89 cores=0,2
/proc/82917/stat : 82917 (java) S 82914 82917 82122 0 -1 4194304 30610 0 0 0 576 13 0 0 20 0 20 0 70819777 19521036288 98336 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
/proc/82917/statm: 4765878 98336 5522 1 0 561448 0
[pid=82917/tid=82919] ppid=82914 vsize=19063512 memory=10624 CPUtime=2.77 cores=0,2
/proc/82917/task/82919/stat : 82919 (java) R 82914 82917 82122 0 -1 4194368 6822 0 0 0 270 7 0 0 20 0 20 0 70819779 19521036288 98336 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=19063512 memory=-6000919489953229415 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70819784 19521036288 98336 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82935] ppid=82914 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/82917/task/82935/stat : 82935 (Common-Cleaner) S 82914 82917 82122 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 70819785 19521036288 98336 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82936] ppid=82914 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/82917/task/82936/stat : 82936 (Timer-0) S 82914 82917 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70819823 19521036288 98336 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 393344 KiB
[startup+6.30025 s]
/proc/loadavg: 4.53 4.31 4.26 6/334 82937
/proc/meminfo: memFree=104338668/131382112 swapFree=33010160/33010684
[pid=82917] ppid=82914 vsize=19063512 memory=571352 CPUtime=12.01 cores=0,2
/proc/82917/stat : 82917 (java) S 82914 82917 82122 0 -1 4194304 31297 0 0 0 1182 19 0 0 20 0 20 0 70819777 19521036288 142838 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
/proc/82917/statm: 4765878 142838 5522 1 0 561450 0
[pid=82917/tid=82919] ppid=82914 vsize=19063512 memory=0 CPUtime=5.86 cores=0,2
/proc/82917/task/82919/stat : 82919 (java) R 82914 82917 82122 0 -1 4194368 7011 0 0 0 575 11 0 0 20 0 20 0 70819779 19521036288 142838 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70819784 19521036288 142838 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82935] ppid=82914 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/82917/task/82935/stat : 82935 (Common-Cleaner) S 82914 82917 82122 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 70819785 19521036288 142838 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82936] ppid=82914 vsize=19063512 memory=179464 CPUtime=0 cores=0,2
/proc/82917/task/82936/stat : 82936 (Timer-0) S 82914 82917 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70819823 19521036288 142838 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
Current children cumulated CPU time: 12.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 571352 KiB
[startup+12.7005 s]
/proc/loadavg: 4.73 4.35 4.28 6/334 82937
/proc/meminfo: memFree=103580668/131382112 swapFree=33010160/33010684
[pid=82917] ppid=82914 vsize=19063512 memory=1182872 CPUtime=19.13 cores=0,2
/proc/82917/stat : 82917 (java) S 82914 82917 82122 0 -1 4194304 32221 0 0 0 1881 32 0 0 20 0 20 0 70819777 19521036288 295718 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
/proc/82917/statm: 4765878 295718 5522 1 0 667974 0
[pid=82917/tid=82919] ppid=82914 vsize=19063512 memory=179464 CPUtime=12.1 cores=0,2
/proc/82917/task/82919/stat : 82919 (java) R 82914 82917 82122 0 -1 4194368 7561 0 0 0 1187 23 0 0 20 0 20 0 70819779 19521036288 295718 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70819784 19521036288 295718 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82935] ppid=82914 vsize=19063512 memory=1182872 CPUtime=0 cores=0,2
/proc/82917/task/82935/stat : 82935 (Common-Cleaner) S 82914 82917 82122 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 70819785 19521036288 295718 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82936] ppid=82914 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/82917/task/82936/stat : 82936 (Timer-0) S 82914 82917 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70819823 19521036288 295718 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1182872 KiB
[startup+25.5005 s]
/proc/loadavg: 4.70 4.37 4.28 5/334 82937
/proc/meminfo: memFree=102569976/131382112 swapFree=33010160/33010684
[pid=82917] ppid=82914 vsize=19063512 memory=1654152 CPUtime=32.41 cores=0,2
/proc/82917/stat : 82917 (java) S 82914 82917 82122 0 -1 4194304 38994 0 0 0 3197 44 0 0 20 0 20 0 70819777 19521036288 413538 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
/proc/82917/statm: 4765878 413538 5522 1 0 667977 0
[pid=82917/tid=82919] ppid=82914 vsize=19063512 memory=-6000919489953229415 CPUtime=24.49 cores=0,2
/proc/82917/task/82919/stat : 82919 (java) R 82914 82917 82122 0 -1 4194368 9308 0 0 0 2416 33 0 0 20 0 20 0 70819779 19521036288 413538 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=19063512 memory=18304 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70819784 19521036288 413538 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82935] ppid=82914 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/82917/task/82935/stat : 82935 (Common-Cleaner) S 82914 82917 82122 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 70819785 19521036288 413538 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82936] ppid=82914 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/82917/task/82936/stat : 82936 (Timer-0) S 82914 82917 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70819823 19521036288 413538 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
Current children cumulated CPU time: 32.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1654152 KiB
[startup+51.1103 s]
/proc/loadavg: 4.52 4.35 4.28 5/335 82938
/proc/meminfo: memFree=101631160/131382112 swapFree=33010160/33010684
[pid=82917] ppid=82914 vsize=19063512 memory=2360720 CPUtime=47.35 cores=0,2
/proc/82917/stat : 82917 (java) S 82914 82917 82122 0 -1 4194304 43452 0 0 0 4669 66 0 0 20 0 20 0 70819777 19521036288 590180 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
/proc/82917/statm: 4765878 590180 5522 1 0 835107 0
[pid=82917/tid=82919] ppid=82914 vsize=19063512 memory=2360720 CPUtime=37.81 cores=0,2
/proc/82917/task/82919/stat : 82919 (java) R 82914 82917 82122 0 -1 4194368 11112 0 0 0 3729 52 0 0 20 0 20 0 70819779 19521036288 590180 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=19063512 memory=2360720 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70819784 19521036288 590180 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
################
# More data... #
################
/proc/82917/task/82919/stat : 82919 (java) R 82914 82917 82122 0 -1 4194368 80323 0 0 0 308045 744 0 0 20 0 20 0 70819779 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=19063512 memory=3824848 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70819784 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82935] ppid=82914 vsize=19063512 memory=3825232 CPUtime=0 cores=0,2
/proc/82917/task/82935/stat : 82935 (Common-Cleaner) S 82914 82917 82122 0 -1 4194368 2104 0 0 0 0 0 0 0 20 0 20 0 70819785 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82936] ppid=82914 vsize=19063512 memory=18304 CPUtime=0 cores=0,2
/proc/82917/task/82936/stat : 82936 (Timer-0) S 82914 82917 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70819823 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
Current children cumulated CPU time: 3233.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3825232 KiB
[startup+3402.3 s]
/proc/loadavg: 4.31 4.34 4.31 5/332 83116
/proc/meminfo: memFree=71857296/131382112 swapFree=33010160/33010684
[pid=82917] ppid=82914 vsize=19063512 memory=3825232 CPUtime=3293.94 cores=0,2
/proc/82917/stat : 82917 (java) S 82914 82917 82122 0 -1 4194304 172567 0 0 0 328384 1010 0 0 20 0 20 0 70819777 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
/proc/82917/statm: 4765878 956308 5554 1 0 968163 0
[pid=82917/tid=82919] ppid=82914 vsize=19063512 memory=18304 CPUtime=3146.61 cores=0,2
/proc/82917/task/82919/stat : 82919 (java) R 82914 82917 82122 0 -1 4194368 82064 0 0 0 313903 758 0 0 20 0 20 0 70819779 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=19063512 memory=18304 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70819784 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82935] ppid=82914 vsize=19063512 memory=3825232 CPUtime=0 cores=0,2
/proc/82917/task/82935/stat : 82935 (Common-Cleaner) S 82914 82917 82122 0 -1 4194368 2163 0 0 0 0 0 0 0 20 0 20 0 70819785 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82936] ppid=82914 vsize=19063512 memory=3825232 CPUtime=0 cores=0,2
/proc/82917/task/82936/stat : 82936 (Timer-0) S 82914 82917 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70819823 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
Current children cumulated CPU time: 3293.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3825232 KiB
[startup+3462.3 s]
/proc/loadavg: 4.33 4.35 4.32 5/332 83129
/proc/meminfo: memFree=71183972/131382112 swapFree=33010160/33010684
[pid=82917] ppid=82914 vsize=19063512 memory=3825232 CPUtime=3353.71 cores=0,2
/proc/82917/stat : 82917 (java) S 82914 82917 82122 0 -1 4194304 174469 0 0 0 334342 1029 0 0 20 0 20 0 70819777 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
/proc/82917/statm: 4765878 956308 5554 1 0 968163 0
[pid=82917/tid=82919] ppid=82914 vsize=19063512 memory=18304 CPUtime=3204.62 cores=0,2
/proc/82917/task/82919/stat : 82919 (java) R 82914 82917 82122 0 -1 4194368 83190 0 0 0 319690 772 0 0 20 0 20 0 70819779 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=19063512 memory=18304 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70819784 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82935] ppid=82914 vsize=19063512 memory=-6000919489953229415 CPUtime=0 cores=0,2
/proc/82917/task/82935/stat : 82935 (Common-Cleaner) S 82914 82917 82122 0 -1 4194368 2251 0 0 0 0 0 0 0 20 0 20 0 70819785 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82936] ppid=82914 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/82917/task/82936/stat : 82936 (Timer-0) S 82914 82917 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70819823 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
Current children cumulated CPU time: 3353.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3825232 KiB
[startup+3522.3 s]
/proc/loadavg: 4.55 4.41 4.34 5/332 83131
/proc/meminfo: memFree=70742384/131382112 swapFree=33010160/33010684
[pid=82917] ppid=82914 vsize=19063512 memory=3825232 CPUtime=3414.25 cores=0,2
/proc/82917/stat : 82917 (java) S 82914 82917 82122 0 -1 4194304 175622 0 0 0 340376 1049 0 0 20 0 20 0 70819777 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
/proc/82917/statm: 4765878 956308 5554 1 0 968163 0
[pid=82917/tid=82919] ppid=82914 vsize=19063512 memory=279726791659200 CPUtime=3263.34 cores=0,2
/proc/82917/task/82919/stat : 82919 (java) R 82914 82917 82122 0 -1 4194368 84266 0 0 0 325547 787 0 0 20 0 20 0 70819779 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70819784 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82935] ppid=82914 vsize=19063512 memory=3825232 CPUtime=0 cores=0,2
/proc/82917/task/82935/stat : 82935 (Common-Cleaner) S 82914 82917 82122 0 -1 4194368 2251 0 0 0 0 0 0 0 20 0 20 0 70819785 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82936] ppid=82914 vsize=19063512 memory=-6000919489953229415 CPUtime=0 cores=0,2
/proc/82917/task/82936/stat : 82936 (Timer-0) S 82914 82917 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70819823 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
Current children cumulated CPU time: 3414.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3825232 KiB
[startup+3582.3 s]
/proc/loadavg: 4.29 4.36 4.33 6/332 83133
/proc/meminfo: memFree=70479548/131382112 swapFree=33010160/33010684
[pid=82917] ppid=82914 vsize=19063512 memory=3825232 CPUtime=3471.95 cores=0,2
/proc/82917/stat : 82917 (java) S 82914 82917 82122 0 -1 4194304 178106 0 0 0 346126 1069 0 0 20 0 20 0 70819777 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
/proc/82917/statm: 4765878 956308 5554 1 0 968163 0
[pid=82917/tid=82919] ppid=82914 vsize=19063512 memory=14560 CPUtime=3319.23 cores=0,2
/proc/82917/task/82919/stat : 82919 (java) R 82914 82917 82122 0 -1 4194368 85755 0 0 0 331121 802 0 0 20 0 20 0 70819779 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70819784 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82935] ppid=82914 vsize=19063512 memory=26168 CPUtime=0 cores=0,2
/proc/82917/task/82935/stat : 82935 (Common-Cleaner) S 82914 82917 82122 0 -1 4194368 2320 0 0 0 0 0 0 0 20 0 20 0 70819785 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82936] ppid=82914 vsize=19063512 memory=3825232 CPUtime=0 cores=0,2
/proc/82917/task/82936/stat : 82936 (Timer-0) S 82914 82917 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70819823 19521036288 956308 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
Current children cumulated CPU time: 3471.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3825232 KiB
[startup+3642.3 s]
/proc/loadavg: 4.55 4.42 4.35 4/332 83337
/proc/meminfo: memFree=105332824/131382112 swapFree=33010160/33010684
[pid=82917] ppid=82914 vsize=19063512 memory=3825360 CPUtime=3532.63 cores=0,2
/proc/82917/stat : 82917 (java) S 82914 82917 82122 0 -1 4194304 180539 0 0 0 352177 1086 0 0 20 0 20 0 70819777 19521036288 956340 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
/proc/82917/statm: 4765878 956340 5554 1 0 968163 0
[pid=82917/tid=82919] ppid=82914 vsize=19063512 memory=7733362628453493333 CPUtime=3377.92 cores=0,2
/proc/82917/task/82919/stat : 82919 (java) R 82914 82917 82122 0 -1 4194368 87254 0 0 0 336974 818 0 0 20 0 20 0 70819779 19521036288 956340 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=19063512 memory=3825232 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70819784 19521036288 956340 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82935] ppid=82914 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/82917/task/82935/stat : 82935 (Common-Cleaner) S 82914 82917 82122 0 -1 4194368 2408 0 0 0 0 0 0 0 20 0 20 0 70819785 19521036288 956340 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82936] ppid=82914 vsize=19063512 memory=3825360 CPUtime=0 cores=0,2
/proc/82917/task/82936/stat : 82936 (Timer-0) S 82914 82917 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70819823 19521036288 956340 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
Current children cumulated CPU time: 3532.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3825360 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+3700 s]*
/proc/loadavg: 4.53 4.45 4.36 3/332 83340
/proc/meminfo: memFree=101726948/131382112 swapFree=33010160/33010684
[pid=82917] ppid=82914 vsize=19063512 memory=3825488 CPUtime=3586.89 cores=0,2
/proc/82917/stat : 82917 (java) S 82914 82917 82122 0 -1 4194304 181162 0 0 0 357587 1102 0 0 20 0 20 0 70819777 19521036288 956372 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
/proc/82917/statm: 4765878 956372 5554 1 0 968163 0
[pid=82917/tid=82919] ppid=82914 vsize=19063512 memory=-6000919489953622375 CPUtime=3430.05 cores=0,2
/proc/82917/task/82919/stat : 82919 (java) D 82914 82917 82122 0 -1 4194368 87755 0 0 0 342176 829 0 0 20 0 20 0 70819779 19521036288 956372 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82928] ppid=82914 vsize=19063512 memory=4354303133984911009 CPUtime=0 cores=0,2
/proc/82917/task/82928/stat : 82928 (Finalizer) S 82914 82917 82122 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70819784 19521036288 956372 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82935] ppid=82914 vsize=19063512 memory=10120 CPUtime=0 cores=0,2
/proc/82917/task/82935/stat : 82935 (Common-Cleaner) S 82914 82917 82122 0 -1 4194368 2408 0 0 0 0 0 0 0 20 0 20 0 70819785 19521036288 956372 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
[pid=82917/tid=82936] ppid=82914 vsize=19063512 memory=6528 CPUtime=0 cores=0,2
/proc/82917/task/82936/stat : 82936 (Timer-0) S 82914 82917 82122 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70819823 19521036288 956372 18446744073709551615 94159786758144 94159786761840 140730643488976 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94159786769656 94159786770448 94159812685824 140730643495213 140730643495398 140730643495398 140730643501000 0
Current children cumulated CPU time: 3586.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3825488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3705.96 s]
# the end of solver process 82917 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3576.15 s, system=11.0738 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3700.8 s]
/proc/loadavg: 4.53 4.45 4.36 3/314 83343
/proc/meminfo: memFree=101657444/131382112 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3701.6 s]
/proc/loadavg: 4.53 4.45 4.36 5/314 83343
/proc/meminfo: memFree=101608292/131382112 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3702 s]*
/proc/loadavg: 4.53 4.45 4.36 4/314 83343
/proc/meminfo: memFree=101407336/131382112 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3705.96
CPU time (s): 3587.23
CPU user time (s): 3576.15
CPU system time (s): 11.0738
CPU usage (%): 96.7962
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3826384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.15
system time used= 11.0738
maximum resident set size= 3826384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183623
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11793048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146096
involuntary context switches= 17430
# summary of solver processes directly reported to runsolver:
# pid: 82917
# total CPU time (s): 3587.23
# total CPU user time (s): 3576.15
# total CPU system time (s): 11.0738
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.9374 second user time and 38.0298 second system time
The end
Begin job on nodeC009 at 2025-07-03 16:03:20 IDJOB=4518601 IDBENCH=177063 IDSOLVER=3362 FILE ID=nodeC009/4518601-1751551400 RUNJOBID= nodeC009-1751547728-82132 SLURM_JOB_ID= 9598723 Free space on /tmp= 431224 MiB SOLVER NAME= Sat4j CP VeriPB 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_111.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518601-1751551400/watcher-4518601-1751551400 -o /tmp/evaluation-result-4518601-1751551400/solver-4518601-1751551400 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751547728-82132 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518601-1751551400 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4518601-1751551400.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c461ae7705f705842c6a0ab2eb8c850d RANDOM SEED=1277373957 nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2094.893 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3563.757 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.325 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.470 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2993.111 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3604.948 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.330 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.534 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 105954500 kB MemAvailable: 118009592 kB Buffers: 2144 kB Cached: 12805644 kB SwapCached: 24 kB Active: 12302352 kB Inactive: 12444080 kB Active(anon): 11951584 kB Inactive(anon): 5056 kB Active(file): 350768 kB Inactive(file): 12439024 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 48560 kB Writeback: 0 kB AnonPages: 11940800 kB Mapped: 123440 kB Shmem: 17936 kB KReclaimable: 209468 kB Slab: 297840 kB SReclaimable: 209468 kB SUnreclaim: 88372 kB KernelStack: 5088 kB PageTables: 26748 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 16424220 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 11681792 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: 172872 kB DirectMap2M: 9166848 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431224 MiB End job on nodeC009 at 2025-07-03 17:05:06