Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j CP 2025-06-06 | MSAT (TO) | 3600.31 | 3488.88 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-33-100-0.wbo |
| MD5SUM | 67c3cebc428c8d3edf3feccfc9bf9000 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 0.824335 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 64 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 2925 |
| Min constraint cost | 1 |
| Max constraint cost | 96 |
| Sum of constraints costs | 2924 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1248 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.13/0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.13/0.15 c This is free software under the dual EPL/GNU LGPL licenses. 0.13/0.15 c See www.sat4j.org for details. 0.13/0.17 c version PB25.v20250606 0.13/0.19 c java.runtime.name OpenJDK Runtime Environment 0.13/0.19 c java.vm.name OpenJDK 64-Bit Server VM 0.13/0.19 c java.vm.version 22.0.1+8-16 0.13/0.19 c java.vm.vendor Oracle Corporation 0.13/0.19 c sun.arch.data.model 64 0.13/0.19 c java.version 22.0.1 0.13/0.19 c os.name Linux 0.13/0.19 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.13/0.19 c os.arch amd64 0.13/0.20 c Free memory 2104792832 0.13/0.20 c Max memory 16282288128 0.13/0.20 c Total memory 2113929216 0.13/0.21 c Number of processors 2 0.49/0.36 c Pseudo Boolean Optimization by upper bound 0.49/0.36 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.49/0.36 c - never skip resolution steps 0.49/0.36 c - Auto-division on coefficients is disabled 0.49/0.36 c - No postprocessing 0.49/0.36 c - Conflict is considered as is when resolving 0.49/0.36 c - Use constraints as they come during conflict analysis 0.49/0.36 c - Weaken first using unassigned literals 0.49/0.36 c - Bump strategy: ALWAYS_ONE 0.49/0.36 c - Bumper: ANY 0.49/0.36 c --- Begin Solver configuration --- 0.49/0.36 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c 0.49/0.36 c Learn all clauses as in MiniSAT 0.49/0.36 c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.49/0.36 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.49/0.36 c No reason simplification 0.49/0.36 c Armin Biere (Picosat) restarts strategy 0.49/0.36 c Activity based learned constraints deletion strategy with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.49/0.36 c timeout=2147483s 0.49/0.36 c DB Simplification allowed=false 0.49/0.36 c Listener: none 0.49/0.36 c --- End Solver configuration --- 0.49/0.36 c solving HOME/instance-4525398-1751623637.wbo 0.49/0.36 c reading problem ... 0.66/0.43 c ... done. Wall clock time 0.069s. 0.66/0.44 c declared #vars 169 0.66/0.44 c internal #vars 233 0.66/0.44 c #constraints 102 0.66/0.44 c constraints type 0.66/0.44 c org.sat4j.pb.constraints.pb.MaxWatchPb => 47 0.66/0.44 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1 0.66/0.44 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 24 0.66/0.44 c org.sat4j.specs.Constr$1 => 1 0.66/0.44 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 29 0.66/0.44 c 102 constraints processed. 0.66/0.46 c objective function length is 64 literals 1.37/0.89 c SATISFIABLE 1.37/0.89 c OPTIMIZING... 1.37/0.90 c Got one! Elapsed wall clock time (in seconds):0.534 1.57/0.90 o 1923 2.16/1.20 c Got one! Elapsed wall clock time (in seconds):0.84 2.16/1.20 o 1913 3.14/1.72 c Got one! Elapsed wall clock time (in seconds):1.355 3.14/1.72 o 1908 3.73/2.04 c Got one! Elapsed wall clock time (in seconds):1.682 3.73/2.04 o 1897 7.59/4.33 c Got one! Elapsed wall clock time (in seconds):3.965 7.59/4.33 o 1893 60.75/56.69 c Got one! Elapsed wall clock time (in seconds):56.327 60.75/56.69 o 1883 136.10/131.96 c Got one! Elapsed wall clock time (in seconds):131.596 136.10/131.96 o 1879 156.28/152.02 c Got one! Elapsed wall clock time (in seconds):151.66 156.28/152.02 o 1875 449.13/444.75 c Got one! Elapsed wall clock time (in seconds):444.393 449.13/444.75 o 1872 970.88/965.72 c Got one! Elapsed wall clock time (in seconds):965.363 970.88/965.72 o 1866 1270.96/1265.85 c Got one! Elapsed wall clock time (in seconds):1265.486 1270.96/1265.85 o 1857 1319.22/1314.08 c Got one! Elapsed wall clock time (in seconds):1313.719 1319.22/1314.08 o 1853 1734.06/1728.71 c Got one! Elapsed wall clock time (in seconds):1728.352 1734.06/1728.71 o 1852 3600.00/3488.74 c starts : 27 3600.00/3488.75 c conflicts : 2373 3600.00/3488.75 c decisions : 11244 3600.00/3488.75 c propagations : 72244 3600.00/3488.75 c inspects : 17523423 3600.00/3488.75 c shortcuts : 0 3600.00/3488.75 c learnt literals : 0 3600.00/3488.75 c learnt binary clauses : 0 3600.00/3488.75 c learnt ternary clauses : 0 3600.00/3488.75 c learnt constraints : 2372 3600.00/3488.75 c ignored constraints : 0 3600.00/3488.75 c root simplifications : 0 3600.00/3488.76 c removed literals (reason simplification) : 0 3600.00/3488.76 c reason swapping (by a shorter reason) : 0 3600.00/3488.76 c Calls to reduceDB : 0 3600.00/3488.76 c Number of update (reduction) of LBD : 0 3600.00/3488.76 c Imported unit clauses : 0 3600.00/3488.76 c No decision after first conflict : false 3600.00/3488.77 c number of reductions to clauses (during analyze) : 0 3600.00/3488.77 c number of learned constraints concerned by reduction : 0 3600.00/3488.77 c number of learning phase by resolution : 0 3600.00/3488.77 c number of learning phase by cutting planes : 0 3600.00/3488.78 c number of rounding to 1 operations : 0 3600.00/3488.78 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.00/3488.78 c number of reductions of the coefficients by power 2 : 0 3600.00/3488.78 c number of right shift for reduction by power 2 : 0 3600.00/3488.78 c number of reductions of the coefficients by GCD over coefficients : 0 3600.00/3488.78 c number of ending skipping : 0 3600.00/3488.79 c number of internal skipping : 0 3600.00/3488.79 c number of derivation steps : 19028 3600.00/3488.79 c number of skipped derivation steps : 0 3600.00/3488.79 c number of remaining unassigned : 27733 3600.00/3488.79 c number of remaining assigned : 674438 3600.00/3488.79 c number of falsified literals weakened from reason : 0 3600.00/3488.79 c number of falsified literals weakened from conflict : 0 3600.00/3488.79 c time for arithmetic operations : 2181485761041 3600.19/3488.81 c minimum degree of deleted constraints : null 3600.19/3488.81 c maximum degree of deleted constraints : null 3600.19/3488.81 c number of deleted constraints : 0 3600.19/3488.82 c speed (assignments/second) : 20.710113452113667 3600.19/3488.82 c non guided choices : 382 3600.19/3488.82 c learnt constraints type org.sat4j.pb.constraints.pb.MaxWatchPb : 2372 3600.19/3488.82 s SATISFIABLE 3600.19/3488.82 c Found 13 solution(s) 3600.19/3488.83 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 3600.19/3488.84 c objective function=1852 3600.19/3488.84 c Total wall clock time (in seconds): 3488.476
OK 619
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: 63837 MiB (58911 MiB free)
memory of node 1: 64465 MiB (47777 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525398-1751623637/watcher-4525398-1751623637 -o /tmp/evaluation-result-4525398-1751623637/solver-4525398-1751623637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751616394-96857 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4525398-1751623637.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=98341, runsolver pid=98338
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.70 4.42 4.31 7/326 98359
/proc/meminfo: memFree=109218452/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=18930384 memory=48504 CPUtime=0.13 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 5802 0 0 0 9 4 0 0 20 0 18 0 78042797 19384713216 12126 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4732596 12126 5342 1 0 547004 0
[pid=98341/tid=98343] ppid=98338 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 4692 0 0 0 5 2 0 0 20 0 18 0 78042799 19384713216 12126 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78042803 19384713216 12126 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=18930384 memory=58494082638250 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78042804 19384713216 12126 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48504 KiB
[startup+0.213814 s]*
/proc/loadavg: 4.70 4.42 4.31 6/326 98359
/proc/meminfo: memFree=109210020/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=18930384 memory=57768 CPUtime=0.31 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 6548 0 0 0 26 5 0 0 20 0 18 0 78042797 19384713216 14442 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4732596 14442 5374 1 0 547603 0
[pid=98341/tid=98343] ppid=98338 vsize=18930384 memory=4026794268 CPUtime=0.19 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) S 98338 98341 96846 0 -1 4194368 5050 0 0 0 16 3 0 0 20 0 18 0 78042799 19384713216 14442 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=18930384 memory=17127 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78042803 19384713216 14442 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=18930384 memory=57394570986489 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78042804 19384713216 14442 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57768 KiB
[startup+0.317414 s]*
/proc/loadavg: 4.70 4.42 4.31 6/326 98359
/proc/meminfo: memFree=109210020/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=18930384 memory=59176 CPUtime=0.49 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 6847 0 0 0 43 6 0 0 20 0 18 0 78042797 19384713216 14794 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4732596 14794 5438 1 0 547839 0
[pid=98341/tid=98343] ppid=98338 vsize=18930384 memory=-6000919472740197478 CPUtime=0.29 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 5259 0 0 0 25 4 0 0 20 0 18 0 78042799 19384713216 14794 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78042803 19384713216 14794 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 78042804 19384713216 14794 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59176 KiB
[startup+0.700267 s]
/proc/loadavg: 4.70 4.42 4.31 7/327 98360
/proc/meminfo: memFree=109205924/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=18996948 memory=77340 CPUtime=1.17 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 8066 0 0 0 110 7 0 0 20 0 19 0 78042797 19452874752 19335 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4749237 19335 5470 1 0 548773 0
[pid=98341/tid=98343] ppid=98338 vsize=18996948 memory=13952 CPUtime=0.62 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 5516 0 0 0 57 5 0 0 20 0 19 0 78042799 19452874752 19335 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=18996948 memory=11008 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78042803 19452874752 19335 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 78042804 19452874752 19335 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98360] ppid=98338 vsize=18996948 memory=4760 CPUtime=0 cores=4,6
/proc/98341/task/98360/stat : 98360 (Timer-0) S 98338 98341 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 78042844 19452874752 19335 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77340 KiB
[startup+1.50027 s]
/proc/loadavg: 4.70 4.42 4.31 6/327 98360
/proc/meminfo: memFree=109154252/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=19063512 memory=171260 CPUtime=2.73 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 16491 0 0 0 262 11 0 0 20 0 20 0 78042797 19521036288 42815 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4765878 42815 5534 1 0 551983 0
[pid=98341/tid=98343] ppid=98338 vsize=19063512 memory=0 CPUtime=1.32 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 6236 0 0 0 124 8 0 0 20 0 20 0 78042799 19521036288 42815 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78042803 19521036288 42815 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78042804 19521036288 42815 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98360] ppid=98338 vsize=19063512 memory=4760 CPUtime=0 cores=4,6
/proc/98341/task/98360/stat : 98360 (Timer-0) S 98338 98341 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78042844 19521036288 42815 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171260 KiB
[startup+3.10543 s]
/proc/loadavg: 4.70 4.42 4.31 6/328 98361
/proc/meminfo: memFree=108636504/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=19063512 memory=728604 CPUtime=5.92 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 28733 0 0 0 567 25 0 0 20 0 20 0 78042797 19521036288 181639 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4765878 181639 5534 1 0 798874 0
[pid=98341/tid=98343] ppid=98338 vsize=19063512 memory=11008 CPUtime=2.82 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 7384 0 0 0 264 18 0 0 20 0 20 0 78042799 19521036288 182151 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=19063512 memory=-6000919472740197478 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78042803 19521036288 182151 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78042804 19521036288 182151 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98360] ppid=98338 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/98341/task/98360/stat : 98360 (Timer-0) S 98338 98341 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78042844 19521036288 182151 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 5.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 728604 KiB
[startup+6.30043 s]
/proc/loadavg: 4.88 4.46 4.32 5/328 98361
/proc/meminfo: memFree=107542872/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=19063512 memory=1940528 CPUtime=9.98 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 30431 0 0 0 949 49 0 0 20 0 20 0 78042797 19521036288 485132 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4765878 485132 5534 1 0 798883 0
[pid=98341/tid=98343] ppid=98338 vsize=19063512 memory=0 CPUtime=5.9 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 8601 0 0 0 551 39 0 0 20 0 20 0 78042799 19521036288 485132 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78042803 19521036288 485132 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78042804 19521036288 485132 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98360] ppid=98338 vsize=19063512 memory=175492 CPUtime=0 cores=4,6
/proc/98341/task/98360/stat : 98360 (Timer-0) S 98338 98341 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78042844 19521036288 485132 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 9.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1940528 KiB
[startup+12.7002 s]
/proc/loadavg: 4.89 4.47 4.33 5/328 98362
/proc/meminfo: memFree=106776928/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=19063512 memory=2463976 CPUtime=16.64 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 31511 0 0 0 1604 60 0 0 20 0 20 0 78042797 19521036288 615994 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4765878 615994 5534 1 0 930485 0
[pid=98341/tid=98343] ppid=98338 vsize=19063512 memory=175492 CPUtime=11.98 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 9309 0 0 0 1148 50 0 0 20 0 20 0 78042799 19521036288 615994 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=19063512 memory=14468 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78042803 19521036288 615994 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=19063512 memory=2463976 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78042804 19521036288 615994 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98360] ppid=98338 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/98341/task/98360/stat : 98360 (Timer-0) S 98338 98341 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78042844 19521036288 615994 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 16.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2463976 KiB
[startup+25.5003 s]
/proc/loadavg: 4.84 4.48 4.33 5/328 98362
/proc/meminfo: memFree=106227284/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=19063512 memory=2975332 CPUtime=29.48 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 35602 0 0 0 2875 73 0 0 20 0 20 0 78042797 19521036288 743833 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4765878 743833 5534 1 0 1057912 0
[pid=98341/tid=98343] ppid=98338 vsize=19063512 memory=-6000919472740197478 CPUtime=24.37 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 11737 0 0 0 2374 63 0 0 20 0 20 0 78042799 19521036288 743833 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=19063512 memory=13952 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78042803 19521036288 743833 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 78042804 19521036288 743833 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98360] ppid=98338 vsize=19063512 memory=14468 CPUtime=0 cores=4,6
/proc/98341/task/98360/stat : 98360 (Timer-0) S 98338 98341 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78042844 19521036288 743833 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 29.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2975332 KiB
[startup+51.1133 s]
/proc/loadavg: 4.63 4.46 4.33 5/328 98362
/proc/meminfo: memFree=106153556/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=19063512 memory=3024544 CPUtime=55.24 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 41437 0 0 0 5447 77 0 0 20 0 20 0 78042797 19521036288 756136 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4765878 756136 5534 1 0 1057912 0
[pid=98341/tid=98343] ppid=98338 vsize=19063512 memory=3024544 CPUtime=49.55 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 13386 0 0 0 4892 63 0 0 20 0 20 0 78042799 19521036288 756136 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=19063512 memory=3006108 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78042803 19521036288 756136 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=19063512 memory=2964964 CPUtime=0 cores=4,6
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 3.34 3.61 3.98 4/301 98605
/proc/meminfo: memFree=112258092/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=19063512 memory=4188856 CPUtime=3253.62 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 163970 0 0 0 324694 668 0 0 20 0 20 0 78042797 19521036288 1047214 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4765878 1047214 5534 1 0 1058019 0
[pid=98341/tid=98343] ppid=98338 vsize=19063512 memory=4188856 CPUtime=3120.94 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 70001 0 0 0 312017 77 0 0 20 0 20 0 78042799 19521036288 1047214 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=19063512 memory=4188856 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78042803 19521036288 1047214 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=19063512 memory=4188856 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 1447 0 0 0 0 0 0 0 20 0 20 0 78042804 19521036288 1047214 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98360] ppid=98338 vsize=19063512 memory=4188856 CPUtime=0 cores=4,6
/proc/98341/task/98360/stat : 98360 (Timer-0) S 98338 98341 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78042844 19521036288 1047214 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 3253.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4188856 KiB
[startup+3222.3 s]
/proc/loadavg: 3.25 3.54 3.93 4/302 98608
/proc/meminfo: memFree=112229924/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=19063512 memory=4188856 CPUtime=3316.7 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 168902 0 0 0 330987 683 0 0 20 0 20 0 78042797 19521036288 1047214 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4765878 1047214 5534 1 0 1058019 0
[pid=98341/tid=98343] ppid=98338 vsize=19063512 memory=4188856 CPUtime=3180.24 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 71885 0 0 0 317947 77 0 0 20 0 20 0 78042799 19521036288 1047214 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=19063512 memory=4188856 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78042803 19521036288 1047214 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=19063512 memory=4188856 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 1448 0 0 0 0 0 0 0 20 0 20 0 78042804 19521036288 1047214 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98360] ppid=98338 vsize=19063512 memory=14468 CPUtime=0 cores=4,6
/proc/98341/task/98360/stat : 98360 (Timer-0) S 98338 98341 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78042844 19521036288 1047214 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 3316.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4188856 KiB
[startup+3282.3 s]
/proc/loadavg: 3.27 3.49 3.89 4/302 98621
/proc/meminfo: memFree=112192788/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=19063512 memory=4188856 CPUtime=3378.74 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 172088 0 0 0 337179 695 0 0 20 0 20 0 78042797 19521036288 1047214 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4765878 1047214 5534 1 0 1058019 0
[pid=98341/tid=98343] ppid=98338 vsize=19063512 memory=14468 CPUtime=3239.61 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 73392 0 0 0 323884 77 0 0 20 0 20 0 78042799 19521036288 1047214 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=19063512 memory=-6000919472740197478 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78042803 19521036288 1047214 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=19063512 memory=14468 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 1463 0 0 0 0 0 0 0 20 0 20 0 78042804 19521036288 1047214 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98360] ppid=98338 vsize=19063512 memory=-6000919472740197478 CPUtime=0 cores=4,6
/proc/98341/task/98360/stat : 98360 (Timer-0) S 98338 98341 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78042844 19521036288 1047214 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 3378.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4188856 KiB
[startup+3342.3 s]
/proc/loadavg: 3.26 3.44 3.85 4/301 98623
/proc/meminfo: memFree=112160044/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=19063512 memory=4191104 CPUtime=3441.92 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 172253 0 0 0 343480 712 0 0 20 0 20 0 78042797 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4765878 1047776 5534 1 0 1058019 0
[pid=98341/tid=98343] ppid=98338 vsize=19063512 memory=4096 CPUtime=3298.9 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 73417 0 0 0 329812 78 0 0 20 0 20 0 78042799 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=19063512 memory=4191104 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78042803 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=19063512 memory=4191104 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 1480 0 0 0 0 0 0 0 20 0 20 0 78042804 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98360] ppid=98338 vsize=19063512 memory=4191104 CPUtime=0 cores=4,6
/proc/98341/task/98360/stat : 98360 (Timer-0) S 98338 98341 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78042844 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 3441.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4191104 KiB
[startup+3402.3 s]
/proc/loadavg: 2.73 3.26 3.76 3/276 98658
/proc/meminfo: memFree=116777980/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=19063512 memory=4191104 CPUtime=3506.14 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 172356 0 0 0 349884 730 0 0 20 0 20 0 78042797 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4765878 1047776 5534 1 0 1058019 0
[pid=98341/tid=98343] ppid=98338 vsize=19063512 memory=4191104 CPUtime=3358.23 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 73442 0 0 0 335745 78 0 0 20 0 20 0 78042799 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=19063512 memory=4191104 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78042803 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=19063512 memory=26276 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 1484 0 0 0 0 0 0 0 20 0 20 0 78042804 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98360] ppid=98338 vsize=19063512 memory=4191104 CPUtime=0 cores=4,6
/proc/98341/task/98360/stat : 98360 (Timer-0) S 98338 98341 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78042844 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 3506.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4191104 KiB
[startup+3462.3 s]
/proc/loadavg: 2.51 3.09 3.67 3/276 98660
/proc/meminfo: memFree=116757528/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=19063512 memory=4191104 CPUtime=3570.78 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 173420 0 0 0 356329 749 0 0 20 0 20 0 78042797 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4765878 1047776 5534 1 0 1058019 0
[pid=98341/tid=98343] ppid=98338 vsize=19063512 memory=4191104 CPUtime=3417.25 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 73667 0 0 0 341647 78 0 0 20 0 20 0 78042799 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=19063512 memory=4191104 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78042803 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 1484 0 0 0 0 0 0 0 20 0 20 0 78042804 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98360] ppid=98338 vsize=19063512 memory=14468 CPUtime=0 cores=4,6
/proc/98341/task/98360/stat : 98360 (Timer-0) S 98338 98341 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78042844 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 3570.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4191104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3488.7 s]
/proc/loadavg: 2.33 3.01 3.62 3/276 98661
/proc/meminfo: memFree=116757780/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=19063512 memory=4191104 CPUtime=3600 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 174232 0 0 0 359238 762 0 0 20 0 20 0 78042797 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4765878 1047776 5534 1 0 1058019 0
[pid=98341/tid=98343] ppid=98338 vsize=19063512 memory=11008 CPUtime=3443.13 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 74408 0 0 0 344235 78 0 0 20 0 20 0 78042799 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=19063512 memory=4191104 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78042803 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=19063512 memory=14468 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 1484 0 0 0 0 0 0 0 20 0 20 0 78042804 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98360] ppid=98338 vsize=19063512 memory=2764 CPUtime=0 cores=4,6
/proc/98341/task/98360/stat : 98360 (Timer-0) S 98338 98341 96846 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78042844 19521036288 1047776 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4191104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3488.88 s]
# the end of solver process 98341 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3592.65 s, system=7.65942 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3488.8 s]
/proc/loadavg: 2.33 3.01 3.62 3/276 98661
/proc/meminfo: memFree=116757780/131382112 swapFree=33000116/33010684
[pid=98341] ppid=98338 vsize=19263204 memory=4191744 CPUtime=3600.19 cores=4,6
/proc/98341/stat : 98341 (java) S 98338 98341 96846 0 -1 4194304 175563 0 0 0 359257 762 0 0 20 0 21 0 78042797 19725520896 1047936 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
/proc/98341/statm: 4815801 1047936 5566 1 0 1058938 0
[pid=98341/tid=98343] ppid=98338 vsize=19263204 memory=4096 CPUtime=3443.24 cores=4,6
/proc/98341/task/98343/stat : 98343 (java) R 98338 98341 96846 0 -1 4194368 74408 0 0 0 344246 78 0 0 20 0 21 0 78042799 19725520896 1047936 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98352] ppid=98338 vsize=19263204 memory=1792 CPUtime=0 cores=4,6
/proc/98341/task/98352/stat : 98352 (Finalizer) S 98338 98341 96846 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78042803 19725520896 1047936 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
[pid=98341/tid=98359] ppid=98338 vsize=19263204 memory=4191104 CPUtime=0 cores=4,6
/proc/98341/task/98359/stat : 98359 (Common-Cleaner) S 98338 98341 96846 0 -1 4194368 1484 0 0 0 0 0 0 0 20 0 21 0 78042804 19725520896 1047936 18446744073709551615 94722259369984 94722259373680 140732584872016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94722259381496 94722259382288 94722268008448 140732584876412 140732584876516 140732584876516 140732584882120 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4191744 KiB
Child status: 143
Real time (s): 3488.88
CPU time (s): 3600.31
CPU user time (s): 3592.65
CPU system time (s): 7.65942
CPU usage (%): 103.194
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4191744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.65
system time used= 7.65942
maximum resident set size= 4192000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175820
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199493
involuntary context switches= 24330
# summary of solver processes directly reported to runsolver:
# pid: 98341
# total CPU time (s): 3600.31
# total CPU user time (s): 3592.65
# total CPU system time (s): 7.65942
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.519 second user time and 32.0175 second system time
The end
Begin job on nodeC007 at 2025-07-04 12:07:17 IDJOB=4525398 IDBENCH=143685 IDSOLVER=3381 FILE ID=nodeC007/4525398-1751623637 RUNJOBID= nodeC007-1751616394-96857 SLURM_JOB_ID= 9598923 Free space on /tmp= 431040 MiB SOLVER NAME= Sat4j CP 2025-06-06 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111221624--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525398-1751623637/watcher-4525398-1751623637 -o /tmp/evaluation-result-4525398-1751623637/solver-4525398-1751623637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751616394-96857 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4525398-1751623637.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 67c3cebc428c8d3edf3feccfc9bf9000 RANDOM SEED=859968536 nodeC007 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 : 3591.612 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.68 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 : 3664.615 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.68 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.620 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.68 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.458 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.68 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 : 1795.804 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.68 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 : 3491.400 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.68 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.585 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.68 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 : 1196.943 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.68 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 109249640 kB MemAvailable: 113745220 kB Buffers: 16 kB Cached: 5163328 kB SwapCached: 2972 kB Active: 16394104 kB Inactive: 4920656 kB Active(anon): 16127572 kB Inactive(anon): 35656 kB Active(file): 266532 kB Inactive(file): 4885000 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33000116 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 740 kB Writeback: 0 kB AnonPages: 16149928 kB Mapped: 117464 kB Shmem: 11812 kB KReclaimable: 367348 kB Slab: 459000 kB SReclaimable: 367348 kB SUnreclaim: 91652 kB KernelStack: 5024 kB PageTables: 35316 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 17932168 kB VmallocTotal: 34359738367 kB VmallocUsed: 150328 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 15890432 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: 201544 kB DirectMap2M: 10186752 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 431036 MiB End job on nodeC007 at 2025-07-04 13:05:26