Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | SAT (TO) | 307 | 3600.64 | 3546.84 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb |
| MD5SUM | d3e48ed9182b9fed4d29a9ec4b7209aa |
| 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 | 307 |
| Best CPU time to get the best result obtained on this benchmark | 0.085356 |
| 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 | 319 |
| Total number of constraints | 6 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 186 |
| Maximum length of a constraint | 231 |
| Number of terms in the objective function | 319 |
| Biggest coefficient in the objective function | 87 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 23554 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 22000 |
| Number of bits of the biggest number in a constraint | 15 |
| Biggest sum of numbers in a constraint | 1027256 |
| Number of bits of the biggest sum of numbers | 20 |
| 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.18 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.11/0.18 c This is free software under the dual EPL/GNU LGPL licenses. 0.11/0.18 c See www.sat4j.org for details. 0.11/0.19 c version CUSTOM.v20240707 0.29/0.23 c java.runtime.name OpenJDK Runtime Environment 0.29/0.23 c java.vm.name OpenJDK 64-Bit Server VM 0.29/0.23 c java.vm.version 22.0.1+8-16 0.29/0.23 c java.vm.vendor Oracle Corporation 0.29/0.23 c sun.arch.data.model 64 0.29/0.23 c java.version 22.0.1 0.29/0.23 c os.name Linux 0.29/0.23 c os.version 4.18.0-301.1.el8.x86_64 0.29/0.23 c os.arch amd64 0.29/0.24 c Free memory 2115194816 0.29/0.24 c Max memory 16282288128 0.29/0.24 c Total memory 2122317824 0.29/0.25 c Number of processors 2 0.47/0.41 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.47/0.41 - never skip resolution steps 0.47/0.41 - Auto-division on coefficients is disabled 0.47/0.41 - No postprocessing 0.47/0.41 - Conflict is considered as is when resolving 0.47/0.41 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.47/0.41 - Weaken first using unassigned literals 0.47/0.41 - Bump strategy: ALWAYS_ONE 0.47/0.41 - Bumper: ASSIGNED 0.47/0.41 --- Begin Solver configuration --- 0.47/0.41 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.47/0.41 Learn all clauses as in MiniSAT 0.47/0.41 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.47/0.41 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.47/0.41 No reason simplification 0.47/0.41 Armin Biere (Picosat) restarts strategy 0.47/0.41 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.47/0.41 timeout=2147483s 0.47/0.41 DB Simplification allowed=false 0.47/0.41 Listener: none 0.47/0.41 --- End Solver configuration --- 0.47/0.41 c Pseudo Boolean Optimization by upper bound 0.47/0.41 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.47/0.41 c - never skip resolution steps 0.47/0.41 c - Auto-division on coefficients is disabled 0.47/0.41 c - No postprocessing 0.47/0.41 c - Conflict is considered as is when resolving 0.47/0.41 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.47/0.41 c - Weaken first using unassigned literals 0.47/0.41 c - Bump strategy: ALWAYS_ONE 0.47/0.41 c - Bumper: ASSIGNED 0.47/0.41 c --- Begin Solver configuration --- 0.47/0.41 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.47/0.41 c Learn all clauses as in MiniSAT 0.47/0.41 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.47/0.41 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.47/0.41 c No reason simplification 0.47/0.41 c Armin Biere (Picosat) restarts strategy 0.47/0.41 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.47/0.41 c timeout=2147483s 0.47/0.41 c DB Simplification allowed=false 0.47/0.41 c Listener: none 0.47/0.41 c --- End Solver configuration --- 0.47/0.41 c solving HOME/instance-4427361-1720994536.opb 0.62/0.43 c reading problem ... 0.62/0.43 c objective function found 0.62/0.50 c ... done. Wall clock time 0.08s. 0.62/0.51 c declared #vars 319 0.62/0.51 c #constraints 6 0.62/0.51 c constraints type 0.62/0.51 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 6 0.62/0.51 c 6 constraints processed. 0.62/0.53 c objective function length is 319 literals 0.81/0.55 c SATISFIABLE 0.81/0.55 c OPTIMIZING... 0.81/0.55 c Got one! Elapsed wall clock time (in seconds):0.132 0.81/0.55 o 359 22.57/18.21 c cleaning 2489 clauses out of 5000 with flag 0/5000 46.70/41.10 c Got one! Elapsed wall clock time (in seconds):40.683 46.70/41.10 o 351 48.34/42.55 c Got one! Elapsed wall clock time (in seconds):42.136 48.34/42.55 o 307 85.42/78.59 c cleaning 6771 clauses out of 13561 with flag 0/16050 112.00/103.14 c cleaning 6394 clauses out of 12791 with flag 0/22051 143.88/134.67 c cleaning 6680 clauses out of 13397 with flag 0/29051 193.94/184.15 c cleaning 7354 clauses out of 14717 with flag 0/37051 258.90/247.11 c cleaning 8160 clauses out of 16362 with flag 0/46050 315.26/302.87 c cleaning 9065 clauses out of 18204 with flag 0/56052 404.92/391.15 c cleaning 10067 clauses out of 20138 with flag 0/67051 463.53/448.60 c cleaning 11023 clauses out of 22070 with flag 0/79050 554.16/538.10 c cleaning 11558 clauses out of 24047 with flag 0/92050 731.98/715.16 c cleaning 12898 clauses out of 26489 with flag 0/106050 899.54/881.07 c cleaning 13758 clauses out of 28592 with flag 0/121051 1003.33/982.95 c cleaning 13636 clauses out of 30833 with flag 0/137050 1123.82/1100.88 c cleaning 13529 clauses out of 34198 with flag 0/154051 1345.47/1320.74 c cleaning 16095 clauses out of 38672 with flag 0/172054 1517.04/1490.07 c cleaning 16880 clauses out of 41573 with flag 0/191050 1718.59/1689.35 c cleaning 17964 clauses out of 44693 with flag 0/211050 1934.78/1902.66 c cleaning 18152 clauses out of 47730 with flag 0/232051 2162.32/2127.40 c cleaning 19642 clauses out of 51577 with flag 0/254050 2393.26/2354.34 c cleaning 19839 clauses out of 54935 with flag 0/277050 2732.17/2689.48 c cleaning 21793 clauses out of 59098 with flag 0/301052 3060.14/3013.31 c cleaning 21437 clauses out of 62303 with flag 0/326050 3336.75/3286.35 c cleaning 22703 clauses out of 66866 with flag 0/352050 3600.02/3546.55 c starts : 139 3600.02/3546.58 c conflicts : 370712 3600.02/3546.58 c decisions : 4106649 3600.02/3546.58 c propagations : 10470455 3600.02/3546.58 c inspects : 1580670401 3600.02/3546.58 c shortcuts : 0 3600.02/3546.58 c learnt literals : 0 3600.02/3546.58 c learnt binary clauses : 3 3600.02/3546.58 c learnt ternary clauses : 10 3600.02/3546.58 c learnt constraints : 370712 3600.02/3546.58 c ignored constraints : 0 3600.02/3546.58 c root simplifications : 0 3600.02/3546.58 c removed literals (reason simplification) : 0 3600.02/3546.58 c reason swapping (by a shorter reason) : 0 3600.02/3546.58 c Calls to reduceDB : 23 3600.02/3546.58 c Number of update (reduction) of LBD : 574 3600.02/3546.58 c Imported unit clauses : 0 3600.02/3546.58 c No decision after first conflict : false 3600.02/3546.58 c number of reductions to clauses (during analyze) : 0 3600.02/3546.58 c number of learned constraints concerned by reduction : 0 3600.02/3546.58 c number of learning phase by resolution : 0 3600.02/3546.58 c number of learning phase by cutting planes : 0 3600.02/3546.58 c number of rounding to 1 operations : 1576342 3600.02/3546.58 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.02/3546.58 c number of reductions of the coefficients by power 2 : 0 3600.02/3546.58 c number of right shift for reduction by power 2 : 0 3600.02/3546.58 c number of reductions of the coefficients by GCD over coefficients : 0 3600.02/3546.58 c number of ending skipping : 0 3600.02/3546.58 c number of internal skipping : 0 3600.02/3546.58 c number of derivation steps : 1324376 3600.02/3546.58 c number of skipped derivation steps : 0 3600.02/3546.58 c number of remaining unassigned : 958577 3600.02/3546.58 c number of remaining assigned : 117013704 3600.02/3546.58 c number of falsified literals weakened from reason : 0 3600.02/3546.58 c number of falsified literals weakened from conflict : 0 3600.02/3546.58 c time for arithmetic operations : 8322439133 3600.02/3546.60 c minimum degree of deleted constraints : 4 3600.22/3546.60 c maximum degree of deleted constraints : 33604782635 3600.22/3546.61 c number of deleted constraints : 307887 3600.22/3546.61 c speed (assignments/second) : 2952.6935319081495 3600.22/3546.62 c non guided choices : 0 3600.42/3546.79 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 33934 3600.42/3546.79 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 316 3600.42/3546.79 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 3 3600.42/3546.79 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 28572 3600.42/3546.79 s SATISFIABLE 3600.42/3546.79 c Found 3 solution(s) 3600.42/3546.79 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 3600.42/3546.79 c objective function=307 3600.42/3546.79 c Total wall clock time (in seconds): 3546.377
OK 307
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: 64059 MiB (63399 MiB free)
memory of node 1: 64510 MiB (63503 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427361-1720994536/watcher-4427361-1720994536 -o /tmp/evaluation-result-4427361-1720994536/solver-4427361-1720994536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720994547-765893 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427361-1720994536.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=765956, runsolver pid=765952
[startup+0.100708 s]*
/proc/loadavg: 0.14 0.10 0.09 8/315 766023
/proc/meminfo: memFree=129840960/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=18975048 memory=55852 CPUtime=0.11 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 6207 0 0 0 7 4 0 0 20 0 18 0 151612870 19430449152 13963 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4743762 13963 5342 1 0 550674 0
[pid=765956/tid=765961] ppid=765952 vsize=18975048 memory=4026531971 CPUtime=0.07 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 5209 0 0 0 4 3 0 0 20 0 18 0 151612871 19430449152 13963 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=18975048 memory=1645 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151612878 19430449152 13963 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=18975048 memory=13847460783068500 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151612879 19430449152 13963 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55852 KiB
[startup+0.221418 s]*
/proc/loadavg: 0.14 0.10 0.09 12/315 766023
/proc/meminfo: memFree=129823600/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=18975048 memory=59488 CPUtime=0.29 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 6955 0 0 0 24 5 0 0 20 0 18 0 151612870 19430449152 14872 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4743762 14872 5566 1 0 551320 0
[pid=765956/tid=765961] ppid=765952 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 5579 0 0 0 15 4 0 0 20 0 18 0 151612871 19430449152 14872 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=18975048 memory=1645 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151612878 19430449152 14872 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=18975048 memory=13847460783068500 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151612879 19430449152 14872 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 59488 KiB
[startup+0.325406 s]*
/proc/loadavg: 0.14 0.10 0.09 16/315 766023
/proc/meminfo: memFree=129802736/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=18975048 memory=65744 CPUtime=0.47 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 7250 0 0 0 41 6 0 0 20 0 18 0 151612870 19430449152 16436 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4743762 16436 5750 1 0 551544 0
[pid=765956/tid=765961] ppid=765952 vsize=18975048 memory=-9175909862550708924 CPUtime=0.28 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 5769 0 0 0 24 4 0 0 20 0 18 0 151612871 19430449152 16436 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 151612878 19430449152 16436 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151612879 19430449152 16436 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65744 KiB
[startup+0.704409 s]
/proc/loadavg: 0.14 0.10 0.09 18/318 766027
/proc/meminfo: memFree=129777596/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=19041612 memory=82916 CPUtime=1.14 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 7885 0 0 0 106 8 0 0 20 0 19 0 151612870 19498610688 20729 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4760403 20729 5893 1 0 552169 0
[pid=765956/tid=765961] ppid=765952 vsize=19041612 memory=5424 CPUtime=0.61 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 6095 0 0 0 55 6 0 0 20 0 19 0 151612871 19498610688 20729 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=19041612 memory=11948 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 151612878 19498610688 20729 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 151612879 19498610688 20729 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 82916 KiB
[startup+1.5004 s]
/proc/loadavg: 0.14 0.10 0.09 13/298 766046
/proc/meminfo: memFree=129629752/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=19108176 memory=176312 CPUtime=2.68 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 17026 0 0 0 253 15 0 0 20 0 20 0 151612870 19566772224 44078 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4777044 44078 5940 1 0 555556 0
[pid=765956/tid=765961] ppid=765952 vsize=19108176 memory=11948 CPUtime=1.27 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 6473 0 0 0 118 9 0 0 20 0 20 0 151612871 19566772224 44078 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151612878 19566772224 44078 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151612879 19566772224 44078 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766028] ppid=765952 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/765956/task/766028/stat : 766028 (Timer-0) S 765952 765956 765881 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612924 19566772224 44078 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176312 KiB
[startup+3.1104 s]
/proc/loadavg: 0.14 0.10 0.09 8/322 766098
/proc/meminfo: memFree=127849036/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=19108176 memory=566184 CPUtime=5.84 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 22113 0 0 0 559 25 0 0 20 0 20 0 151612870 19566772224 141546 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4777044 141546 5940 1 0 686817 0
[pid=765956/tid=765961] ppid=765952 vsize=19108176 memory=0 CPUtime=2.76 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 7552 0 0 0 260 16 0 0 20 0 20 0 151612871 19566772224 141546 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=19108176 memory=11648 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151612878 19566772224 141546 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151612879 19566772224 141546 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766028] ppid=765952 vsize=19108176 memory=11948 CPUtime=0 cores=1,3
/proc/765956/task/766028/stat : 766028 (Timer-0) S 765952 765956 765881 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612924 19566772224 141546 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 566184 KiB
[startup+6.3004 s]
/proc/loadavg: 0.61 0.20 0.12 7/322 766098
/proc/meminfo: memFree=124016628/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=19108176 memory=830376 CPUtime=9.77 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 22455 0 0 0 946 31 0 0 20 0 20 0 151612870 19566772224 207594 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4777044 207594 5940 1 0 686823 0
[pid=765956/tid=765961] ppid=765952 vsize=19108176 memory=0 CPUtime=5.69 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 7691 0 0 0 548 21 0 0 20 0 20 0 151612871 19566772224 207594 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=19108176 memory=11948 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151612878 19566772224 207594 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151612879 19566772224 207594 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766028] ppid=765952 vsize=19108176 memory=177896 CPUtime=0 cores=1,3
/proc/765956/task/766028/stat : 766028 (Timer-0) S 765952 765956 765881 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612924 19566772224 207594 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 9.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 830376 KiB
[startup+12.7005 s]
/proc/loadavg: 0.88 0.27 0.15 6/322 766098
/proc/meminfo: memFree=122446028/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=19108176 memory=1651312 CPUtime=16.55 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 23334 0 0 0 1606 49 0 0 20 0 20 0 151612870 19566772224 412828 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4777044 412828 5940 1 0 1054472 0
[pid=765956/tid=765961] ppid=765952 vsize=19108176 memory=1391216 CPUtime=11.81 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 8047 0 0 0 1145 36 0 0 20 0 20 0 151612871 19566772224 412828 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=19108176 memory=1651312 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151612878 19566772224 412828 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=19108176 memory=19044 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151612879 19566772224 412828 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766028] ppid=765952 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/765956/task/766028/stat : 766028 (Timer-0) S 765952 765956 765881 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612924 19566772224 412828 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 16.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1651312 KiB
[startup+25.5005 s]
/proc/loadavg: 1.64 0.47 0.21 5/322 766101
/proc/meminfo: memFree=120210880/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=19108176 memory=2426424 CPUtime=30.29 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 31760 0 0 0 2961 68 0 0 20 0 20 0 151612870 19566772224 606606 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4777044 606606 5940 1 0 1209085 0
[pid=765956/tid=765961] ppid=765952 vsize=19108176 memory=1651312 CPUtime=24.03 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 10395 0 0 0 2352 51 0 0 20 0 20 0 151612871 19566772224 606606 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151612878 19566772224 606606 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=19108176 memory=2426412 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 151612879 19566772224 606606 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766028] ppid=765952 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/765956/task/766028/stat : 766028 (Timer-0) S 765952 765956 765881 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612924 19566772224 606606 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 30.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2426424 KiB
[startup+51.1135 s]
/proc/loadavg: 2.57 0.78 0.33 6/322 766104
/proc/meminfo: memFree=119083540/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=19108176 memory=3035248 CPUtime=57.16 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 40495 0 0 0 5632 84 0 0 20 0 20 0 151612870 19566772224 758812 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4777044 758812 5940 1 0 1209094 0
[pid=765956/tid=765961] ppid=765952 vsize=19108176 memory=3035248 CPUtime=48.88 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 14411 0 0 0 4827 61 0 0 20 0 20 0 151612871 19566772224 758812 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=19108176 memory=2594644 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151612878 19566772224 758812 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=19108176 memory=2471716 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 151612879 19566772224 758812 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
################
# More data... #
################
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151612878 19566772224 1197530 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=19108176 memory=4788020 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 3306 0 0 0 0 0 0 0 20 0 20 0 151612879 19566772224 1197530 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766028] ppid=765952 vsize=19108176 memory=4790120 CPUtime=0 cores=1,3
/proc/765956/task/766028/stat : 766028 (Timer-0) S 765952 765956 765881 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612924 19566772224 1197530 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 3210.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4790120 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.30 4.19 5/321 769294
/proc/meminfo: memFree=114958372/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=19108176 memory=4790160 CPUtime=3271.48 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 329507 0 0 0 326772 376 0 0 20 0 20 0 151612870 19566772224 1197540 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4777044 1197540 5972 1 0 1211603 0
[pid=765956/tid=765961] ppid=765952 vsize=19108176 memory=4788028 CPUtime=3161.25 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 152899 0 0 0 316028 97 0 0 20 0 20 0 151612871 19566772224 1197540 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=19108176 memory=2208 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151612878 19566772224 1197540 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=19108176 memory=4790140 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 3306 0 0 0 0 0 0 0 20 0 20 0 151612879 19566772224 1197540 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766028] ppid=765952 vsize=19108176 memory=4790140 CPUtime=0 cores=1,3
/proc/765956/task/766028/stat : 766028 (Timer-0) S 765952 765956 765881 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612924 19566772224 1197540 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 3271.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4790160 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.28 4.19 5/318 769304
/proc/meminfo: memFree=114953932/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=19108176 memory=4790168 CPUtime=3332.76 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 330807 0 0 0 332896 380 0 0 20 0 20 0 151612870 19566772224 1197542 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4777044 1197542 5972 1 0 1211603 0
[pid=765956/tid=765961] ppid=765952 vsize=19108176 memory=4790168 CPUtime=3220.01 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 153794 0 0 0 321904 97 0 0 20 0 20 0 151612871 19566772224 1197542 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=19108176 memory=19044 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151612878 19566772224 1197542 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=19108176 memory=4790168 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 3383 0 0 0 0 0 0 0 20 0 20 0 151612879 19566772224 1197542 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766028] ppid=765952 vsize=19108176 memory=38924 CPUtime=0 cores=1,3
/proc/765956/task/766028/stat : 766028 (Timer-0) S 765952 765956 765881 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612924 19566772224 1197542 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4790168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.26 4.18 5/318 769314
/proc/meminfo: memFree=114951348/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=19108176 memory=4790176 CPUtime=3393.35 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 335321 0 0 0 338950 385 0 0 20 0 20 0 151612870 19566772224 1197544 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4777044 1197544 5972 1 0 1211603 0
[pid=765956/tid=765961] ppid=765952 vsize=19108176 memory=4790176 CPUtime=3278.88 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 156141 0 0 0 327790 98 0 0 20 0 20 0 151612871 19566772224 1197544 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=19108176 memory=4790168 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151612878 19566772224 1197544 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=19108176 memory=5424 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 3474 0 0 0 0 0 0 0 20 0 20 0 151612879 19566772224 1197544 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766028] ppid=765952 vsize=19108176 memory=4790176 CPUtime=0 cores=1,3
/proc/765956/task/766028/stat : 766028 (Timer-0) S 765952 765956 765881 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612924 19566772224 1197544 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4790176 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.25 4.18 5/321 769497
/proc/meminfo: memFree=114462196/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=19108176 memory=4790176 CPUtime=3453.42 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 336269 0 0 0 344952 390 0 0 20 0 20 0 151612870 19566772224 1197544 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4777044 1197544 5972 1 0 1211603 0
[pid=765956/tid=765961] ppid=765952 vsize=19108176 memory=4790176 CPUtime=3338.39 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 157037 0 0 0 333741 98 0 0 20 0 20 0 151612871 19566772224 1197544 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=19108176 memory=4790176 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151612878 19566772224 1197544 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=19108176 memory=11648 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 3475 0 0 0 0 0 0 0 20 0 20 0 151612879 19566772224 1197544 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766028] ppid=765952 vsize=19108176 memory=4790176 CPUtime=0 cores=1,3
/proc/765956/task/766028/stat : 766028 (Timer-0) S 765952 765956 765881 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612924 19566772224 1197544 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4790176 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.22 4.18 5/321 769508
/proc/meminfo: memFree=114459900/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=19108176 memory=4790176 CPUtime=3513.7 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 339968 0 0 0 350975 395 0 0 20 0 20 0 151612870 19566772224 1197544 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4777044 1197544 5972 1 0 1211603 0
[pid=765956/tid=765961] ppid=765952 vsize=19108176 memory=4790176 CPUtime=3397.83 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 159059 0 0 0 339684 99 0 0 20 0 20 0 151612871 19566772224 1197544 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=19108176 memory=4790176 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151612878 19566772224 1197544 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=19108176 memory=27356 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 3576 0 0 0 0 0 0 0 20 0 20 0 151612879 19566772224 1197544 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766028] ppid=765952 vsize=19108176 memory=4790176 CPUtime=0 cores=1,3
/proc/765956/task/766028/stat : 766028 (Timer-0) S 765952 765956 765881 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612924 19566772224 1197544 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 3513.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4790176 KiB
[startup+3522.3 s]
/proc/loadavg: 4.43 4.27 4.20 5/321 769533
/proc/meminfo: memFree=114456688/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=19108176 memory=4790408 CPUtime=3575.72 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 352398 0 0 0 357171 401 0 0 20 0 20 0 151612870 19566772224 1197602 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4777044 1197602 5972 1 0 1211673 0
[pid=765956/tid=765961] ppid=765952 vsize=19108176 memory=27356 CPUtime=3456.69 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 161529 0 0 0 345570 99 0 0 20 0 20 0 151612871 19566772224 1197602 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=19108176 memory=4790176 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151612878 19566772224 1197602 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=19108176 memory=11648 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 3577 0 0 0 0 0 0 0 20 0 20 0 151612879 19566772224 1197602 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766028] ppid=765952 vsize=19108176 memory=4790408 CPUtime=0 cores=1,3
/proc/765956/task/766028/stat : 766028 (Timer-0) S 765952 765956 765881 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612924 19566772224 1197602 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 3575.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4790408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3546.5 s]
/proc/loadavg: 4.76 4.37 4.23 5/321 769538
/proc/meminfo: memFree=114454696/131655788 swapFree=131071996/131071996
[pid=765956] ppid=765952 vsize=19108176 memory=4790416 CPUtime=3600.02 cores=1,3
/proc/765956/stat : 765956 (java) S 765952 765956 765881 0 -1 1077936128 353447 0 0 0 359599 403 0 0 20 0 20 0 151612870 19566772224 1197604 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
/proc/765956/statm: 4777044 1197604 5972 1 0 1211673 0
[pid=765956/tid=765961] ppid=765952 vsize=19108176 memory=-9032076149451563708 CPUtime=3480.6 cores=1,3
/proc/765956/task/765961/stat : 765961 (java) R 765952 765956 765881 0 -1 4194368 162221 0 0 0 347960 100 0 0 20 0 20 0 151612871 19566772224 1197604 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766005] ppid=765952 vsize=19108176 memory=4790408 CPUtime=0 cores=1,3
/proc/765956/task/766005/stat : 766005 (Finalizer) S 765952 765956 765881 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 151612878 19566772224 1197604 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766021] ppid=765952 vsize=19108176 memory=4790408 CPUtime=0 cores=1,3
/proc/765956/task/766021/stat : 766021 (Common-Cleaner) S 765952 765956 765881 0 -1 1077936192 3577 0 0 0 0 0 0 0 20 0 20 0 151612879 19566772224 1197604 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
[pid=765956/tid=766028] ppid=765952 vsize=19108176 memory=4790408 CPUtime=0 cores=1,3
/proc/765956/task/766028/stat : 766028 (Timer-0) S 765952 765956 765881 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151612924 19566772224 1197604 134679101440 93830697328640 93830697332336 140728741008320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93830697340152 93830697340944 93830704078848 140728741016560 140728741016673 140728741016673 140728741023688 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4790416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3546.84 s]
# the end of solver process 765956 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.57 s, system=4.07173 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3546.82 s]*
/proc/loadavg: 4.76 4.37 4.23 5/303 769541
/proc/meminfo: memFree=119109180/131655788 swapFree=131071996/131071996
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): 3546.84
CPU time (s): 3600.64
CPU user time (s): 3596.57
CPU system time (s): 4.07173
CPU usage (%): 101.517
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4791076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.57
system time used= 4.07173
maximum resident set size= 4791980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356985
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123113
involuntary context switches= 7138
# summary of solver processes directly reported to runsolver:
# pid: 765956
# total CPU time (s): 3600.64
# total CPU user time (s): 3596.57
# total CPU system time (s): 4.07173
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1807 second user time and 37.2075 second system time
The end
Begin job on nodeC010 at 2024-07-15 00:02:28 IDJOB=4427361 IDBENCH=146929 IDSOLVER=3046 FILE ID=nodeC010/4427361-1720994536 RUNJOBID= nodeC010-1720994547-765893 SLURM_JOB_ID= 7505311 Free space on /tmp= 723780 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427361-1720994536/watcher-4427361-1720994536 -o /tmp/evaluation-result-4427361-1720994536/solver-4427361-1720994536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1720994547-765893 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427361-1720994536.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d3e48ed9182b9fed4d29a9ec4b7209aa RANDOM SEED=1909944225 nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 1197.195 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.51 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 : 1197.185 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 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.173 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.51 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.174 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 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 : 1197.180 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.51 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 : 1197.172 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 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.185 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.51 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.176 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 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 129974672 kB MemAvailable: 129966716 kB Buffers: 342428 kB Cached: 496648 kB SwapCached: 0 kB Active: 532440 kB Inactive: 642296 kB Active(anon): 1344 kB Inactive(anon): 371688 kB Active(file): 531096 kB Inactive(file): 270608 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 2044 kB Writeback: 0 kB AnonPages: 335756 kB Mapped: 109240 kB Shmem: 37704 kB KReclaimable: 60740 kB Slab: 151060 kB SReclaimable: 60740 kB SUnreclaim: 90320 kB KernelStack: 3720 kB PageTables: 9480 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 720304 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 48992 kB HardwareCorrupted: 0 kB AnonHugePages: 204800 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 162632 kB DirectMap2M: 9179136 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 723776 MiB End job on nodeC010 at 2024-07-15 01:01:35