Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | MSAT (TO) | 3600.37 | 3582.77 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo |
| MD5SUM | 0fb77b786bdb5828a2775dbdb30deb06 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 2658 |
| Best CPU time to get the best result obtained on this benchmark | 3600.16 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 336 |
| Total number of constraints | 69031 |
| Number of soft constraints | 69017 |
| Number of constraints which are clauses | 69017 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 24 |
| Top cost | 47694 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 9891329 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 25 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.12/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.12/0.13 c This is free software under the dual EPL/GNU LGPL licenses. 0.12/0.13 c See www.sat4j.org for details. 0.12/0.14 c version CUSTOM.v20240707 0.12/0.16 c java.runtime.name OpenJDK Runtime Environment 0.12/0.16 c java.vm.name OpenJDK 64-Bit Server VM 0.12/0.16 c java.vm.version 22.0.1+8-16 0.12/0.16 c java.vm.vendor Oracle Corporation 0.12/0.16 c sun.arch.data.model 64 0.12/0.16 c java.version 22.0.1 0.12/0.16 c os.name Linux 0.12/0.16 c os.version 4.18.0-301.1.el8.x86_64 0.12/0.16 c os.arch amd64 0.12/0.17 c Free memory 2113181440 0.12/0.17 c Max memory 16282288128 0.12/0.17 c Total memory 2122317824 0.12/0.17 c Number of processors 2 0.48/0.33 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.48/0.33 - never skip resolution steps 0.48/0.33 - Auto-division on coefficients is disabled 0.48/0.33 - No postprocessing 0.48/0.33 - Conflict is considered as is when resolving 0.48/0.33 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.48/0.33 - Weaken first using unassigned literals 0.48/0.33 - Bump strategy: ALWAYS_ONE 0.48/0.33 - Bumper: ASSIGNED 0.48/0.33 --- Begin Solver configuration --- 0.48/0.33 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.48/0.33 Learn all clauses as in MiniSAT 0.48/0.33 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.48/0.33 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.48/0.33 No reason simplification 0.48/0.33 Armin Biere (Picosat) restarts strategy 0.48/0.33 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.48/0.33 timeout=2147483s 0.48/0.33 DB Simplification allowed=false 0.48/0.33 Listener: none 0.48/0.33 --- End Solver configuration --- 0.48/0.33 c Pseudo Boolean Optimization by upper bound 0.48/0.33 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.48/0.33 c - never skip resolution steps 0.48/0.33 c - Auto-division on coefficients is disabled 0.48/0.33 c - No postprocessing 0.48/0.33 c - Conflict is considered as is when resolving 0.48/0.33 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.48/0.33 c - Weaken first using unassigned literals 0.48/0.33 c - Bump strategy: ALWAYS_ONE 0.48/0.33 c - Bumper: ASSIGNED 0.48/0.33 c --- Begin Solver configuration --- 0.48/0.33 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.48/0.33 c Learn all clauses as in MiniSAT 0.48/0.33 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.48/0.33 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.48/0.33 c No reason simplification 0.48/0.33 c Armin Biere (Picosat) restarts strategy 0.48/0.33 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.48/0.34 c timeout=2147483s 0.48/0.34 c DB Simplification allowed=false 0.48/0.34 c Listener: none 0.48/0.34 c --- End Solver configuration --- 0.48/0.34 c solving HOME/instance-4424344-1720874154.wbo 0.48/0.34 c reading problem ... 7.63/5.72 c ... done. Wall clock time 5.383s. 7.63/5.72 c declared #vars 336 7.63/5.72 c internal #vars 69353 7.63/5.72 c #constraints 69046 7.63/5.72 c constraints type 7.63/5.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 14 7.63/5.72 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 1 7.63/5.72 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 69031 7.63/5.72 c 69046 constraints processed. 7.63/5.73 c objective function length is 69017 literals 341.67/333.91 c SATISFIABLE 341.67/333.91 c OPTIMIZING... 341.67/333.91 c Got one! Elapsed wall clock time (in seconds):333.573 341.67/333.92 o 14006 1248.81/1237.09 c Got one! Elapsed wall clock time (in seconds):1236.752 1248.81/1237.09 o 11407 2839.06/2823.30 c Got one! Elapsed wall clock time (in seconds):2822.967 2839.06/2823.30 o 11406 3600.07/3582.63 c starts : 13 3600.07/3582.68 c conflicts : 1636 3600.07/3582.68 c decisions : 1924563 3600.07/3582.68 c propagations : 5614514 3600.07/3582.68 c inspects : 1871908 3600.07/3582.68 c shortcuts : 0 3600.07/3582.68 c learnt literals : 0 3600.07/3582.68 c learnt binary clauses : 0 3600.07/3582.68 c learnt ternary clauses : 0 3600.07/3582.68 c learnt constraints : 1635 3600.07/3582.68 c ignored constraints : 0 3600.07/3582.68 c root simplifications : 0 3600.07/3582.68 c removed literals (reason simplification) : 0 3600.07/3582.68 c reason swapping (by a shorter reason) : 0 3600.07/3582.68 c Calls to reduceDB : 0 3600.07/3582.68 c Number of update (reduction) of LBD : 35 3600.07/3582.68 c Imported unit clauses : 0 3600.07/3582.68 c No decision after first conflict : false 3600.07/3582.68 c number of reductions to clauses (during analyze) : 0 3600.07/3582.68 c number of learned constraints concerned by reduction : 0 3600.07/3582.68 c number of learning phase by resolution : 0 3600.07/3582.68 c number of learning phase by cutting planes : 0 3600.07/3582.68 c number of rounding to 1 operations : 1140 3600.07/3582.68 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3582.68 c number of reductions of the coefficients by power 2 : 0 3600.07/3582.68 c number of right shift for reduction by power 2 : 0 3600.07/3582.68 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3582.68 c number of ending skipping : 0 3600.07/3582.68 c number of internal skipping : 0 3600.07/3582.68 c number of derivation steps : 17701 3600.07/3582.68 c number of skipped derivation steps : 0 3600.07/3582.68 c number of remaining unassigned : 461489 3600.07/3582.68 c number of remaining assigned : 4311807 3600.07/3582.68 c number of falsified literals weakened from reason : 0 3600.07/3582.68 c number of falsified literals weakened from conflict : 0 3600.07/3582.68 c time for arithmetic operations : 408623815 3600.27/3582.70 c minimum degree of deleted constraints : null 3600.27/3582.70 c maximum degree of deleted constraints : null 3600.27/3582.70 c number of deleted constraints : 0 3600.27/3582.70 c speed (assignments/second) : 1569.6526196457003 3600.27/3582.70 c non guided choices : 487 3600.27/3582.72 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 686 3600.27/3582.72 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 3 3600.27/3582.72 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 946 3600.27/3582.72 s SATISFIABLE 3600.27/3582.72 c Found 3 solution(s) 3600.27/3582.72 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 3600.27/3582.72 c objective function=11406 3600.27/3582.72 c Total wall clock time (in seconds): 3582.376
OK 7172
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: 64096 MiB (63346 MiB free)
memory of node 1: 64473 MiB (63442 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424344-1720874154/watcher-4424344-1720874154 -o /tmp/evaluation-result-4424344-1720874154/solver-4424344-1720874154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720874164-697099 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424344-1720874154.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=697324, runsolver pid=697321
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 0.46 0.18 0.11 8/296 697345
/proc/meminfo: memFree=129777860/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=18975048 memory=57556 CPUtime=0.12 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 6430 0 0 0 10 2 0 0 20 0 18 0 139572611 19430449152 14389 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4743762 14389 5612 1 0 550871 0
[pid=697324/tid=697327] ppid=697321 vsize=18975048 memory=4026532157 CPUtime=0.08 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 5370 0 0 0 6 2 0 0 20 0 18 0 139572611 19430449152 14389 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=18975048 memory=215671374179 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139572616 19430449152 14389 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=18975048 memory=15534141634540731 CPUtime=0 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 139572617 19430449152 14389 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57556 KiB
[startup+0.209753 s]*
/proc/loadavg: 0.46 0.18 0.11 8/303 697357
/proc/meminfo: memFree=129759996/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=18975048 memory=66612 CPUtime=0.3 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 7124 0 0 0 27 3 0 0 20 0 18 0 139572611 19430449152 16653 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4743762 16653 5619 1 0 551464 0
[pid=697324/tid=697327] ppid=697321 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 5694 0 0 0 17 2 0 0 20 0 18 0 139572611 19430449152 16653 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=18975048 memory=4674 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139572616 19430449152 16653 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=18975048 memory=15259259449382481 CPUtime=0 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 139572617 19430449152 16653 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66612 KiB
[startup+0.318003 s]*
/proc/loadavg: 0.46 0.18 0.11 12/319 697373
/proc/meminfo: memFree=129729244/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=18975048 memory=68228 CPUtime=0.48 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 7402 0 0 0 45 3 0 0 20 0 18 0 139572611 19430449152 17057 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4743762 17057 5747 1 0 551648 0
[pid=697324/tid=697327] ppid=697321 vsize=18975048 memory=-9032082737881129660 CPUtime=0.28 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 5863 0 0 0 26 2 0 0 20 0 18 0 139572611 19430449152 17057 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139572616 19430449152 17057 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 139572617 19430449152 17057 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68228 KiB
[startup+0.702003 s]
/proc/loadavg: 0.46 0.18 0.11 12/319 697373
/proc/meminfo: memFree=129703340/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=19041612 memory=161932 CPUtime=1.2 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 8428 0 0 0 112 8 0 0 20 0 19 0 139572611 19498610688 40483 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4760403 40483 5814 1 0 552531 0
[pid=697324/tid=697327] ppid=697321 vsize=19041612 memory=36896 CPUtime=0.62 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) S 697321 697324 697088 0 -1 1077936192 6005 0 0 0 56 6 0 0 20 0 19 0 139572611 19498610688 40483 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=19041612 memory=12508 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139572616 19498610688 40483 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=19041612 memory=2264 CPUtime=0 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 139572617 19498610688 40995 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 161932 KiB
[startup+1.50099 s]
/proc/loadavg: 0.46 0.18 0.11 10/321 697375
/proc/meminfo: memFree=129441132/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=19041612 memory=689748 CPUtime=2.75 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 22415 0 0 0 253 22 0 0 20 0 19 0 139572611 19498610688 172437 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4760403 172437 5814 1 0 558354 0
[pid=697324/tid=697327] ppid=697321 vsize=19041612 memory=12508 CPUtime=1.36 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 6476 0 0 0 118 18 0 0 20 0 19 0 139572611 19498610688 172437 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139572616 19498610688 172437 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=19041612 memory=33 CPUtime=0 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 139572617 19498610688 172437 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 689748 KiB
[startup+3.1135 s]
/proc/loadavg: 0.74 0.24 0.14 5/321 697375
/proc/meminfo: memFree=123790280/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=19041612 memory=2683152 CPUtime=4.85 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 26321 0 0 0 418 67 0 0 20 0 19 0 139572611 19498610688 670788 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4760403 670788 5828 1 0 978624 0
[pid=697324/tid=697327] ppid=697321 vsize=19041612 memory=33 CPUtime=2.9 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 7914 0 0 0 229 61 0 0 20 0 19 0 139572611 19498610688 670788 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139572616 19498610688 670788 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=19041612 memory=12508 CPUtime=0 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 139572617 19498610688 670788 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 4.85 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2683152 KiB
[startup+6.31204 s]
/proc/loadavg: 0.74 0.24 0.14 6/322 697376
/proc/meminfo: memFree=121899264/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=19108176 memory=3173984 CPUtime=8.83 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 29862 0 0 0 805 78 0 0 20 0 20 0 139572611 19566772224 793496 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4777044 793496 5866 1 0 1104827 0
[pid=697324/tid=697327] ppid=697321 vsize=19108176 memory=33 CPUtime=5.9 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 10306 0 0 0 519 71 0 0 20 0 20 0 139572611 19566772224 793496 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=19108176 memory=12508 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139572616 19566772224 793496 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139572617 19566772224 793496 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697376] ppid=697321 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=4,6
/proc/697324/task/697376/stat : 697376 (Timer-0) S 697321 697324 697088 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 139573189 19566772224 793496 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 8.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3173984 KiB
[startup+12.7005 s]
/proc/loadavg: 1.08 0.32 0.16 5/322 697377
/proc/meminfo: memFree=120369912/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=19108176 memory=3175580 CPUtime=17.48 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 30265 0 0 0 1669 79 0 0 20 0 20 0 139572611 19566772224 793895 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4777044 793895 5866 1 0 1104837 0
[pid=697324/tid=697327] ppid=697321 vsize=19108176 memory=33 CPUtime=12.26 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 10337 0 0 0 1155 71 0 0 20 0 20 0 139572611 19566772224 793895 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=19108176 memory=15260333157674089 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139572616 19566772224 793895 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=19108176 memory=-9104984756849189564 CPUtime=0 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139572617 19566772224 793895 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697376] ppid=697321 vsize=19108176 memory=11412 CPUtime=0 cores=4,6
/proc/697324/task/697376/stat : 697376 (Timer-0) S 697321 697324 697088 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 139573189 19566772224 793895 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 17.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3175580 KiB
[startup+25.5005 s]
/proc/loadavg: 1.94 0.55 0.24 5/322 697379
/proc/meminfo: memFree=119398384/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=19108176 memory=3175884 CPUtime=31.07 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 33772 0 0 0 3027 80 0 0 20 0 20 0 139572611 19566772224 793971 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4777044 793971 5866 1 0 1104837 0
[pid=697324/tid=697327] ppid=697321 vsize=19108176 memory=12508 CPUtime=25.02 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 11081 0 0 0 2431 71 0 0 20 0 20 0 139572611 19566772224 793971 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=19108176 memory=3175884 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139572616 19566772224 793971 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=19108176 memory=-9104984756849189564 CPUtime=0 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139572617 19566772224 793971 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697376] ppid=697321 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/697324/task/697376/stat : 697376 (Timer-0) S 697321 697324 697088 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 139573189 19566772224 793971 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 31.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3175884 KiB
[startup+51.1135 s]
/proc/loadavg: 2.78 0.86 0.35 5/322 697384
/proc/meminfo: memFree=118577772/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=19108176 memory=3176220 CPUtime=57.2 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 38458 0 0 0 5638 82 0 0 20 0 20 0 139572611 19566772224 794055 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4777044 794055 5866 1 0 1104837 0
[pid=697324/tid=697327] ppid=697321 vsize=19108176 memory=3176044 CPUtime=50.57 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 12164 0 0 0 4985 72 0 0 20 0 20 0 139572611 19566772224 794055 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=19108176 memory=-9104984756849189564 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139572616 19566772224 794055 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=19108176 memory=3175580 CPUtime=0 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139572617 19566772224 794055 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697376] ppid=697321 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/697324/task/697376/stat : 697376 (Timer-0) S 697321 697324 697088 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 139573189 19566772224 794055 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 57.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3176220 KiB
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.21 4.20 4.10 5/325 699284
/proc/meminfo: memFree=110157716/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=19174740 memory=5545836 CPUtime=3299.77 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 291555 0 0 0 329616 361 0 0 20 0 21 0 139572611 19634933760 1386459 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4793685 1386459 5898 1 0 1425028 0
[pid=697324/tid=697327] ppid=697321 vsize=19174740 memory=5545836 CPUtime=3263.77 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 112304 0 0 0 326261 116 0 0 20 0 21 0 139572611 19634933760 1386459 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=19174740 memory=5545836 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139572616 19634933760 1386459 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=19174740 memory=5545804 CPUtime=0.01 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 6024 0 0 0 1 0 0 0 20 0 21 0 139572617 19634933760 1386459 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697376] ppid=697321 vsize=19174740 memory=5545836 CPUtime=0 cores=4,6
/proc/697324/task/697376/stat : 697376 (Timer-0) S 697321 697324 697088 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 139573189 19634933760 1386459 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 3299.77 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 5545836 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.17 4.09 5/323 699294
/proc/meminfo: memFree=110157700/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=19174740 memory=5545856 CPUtime=3359.84 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 295581 0 0 0 335617 367 0 0 20 0 21 0 139572611 19634933760 1386464 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4793685 1386464 5898 1 0 1425028 0
[pid=697324/tid=697327] ppid=697321 vsize=19174740 memory=11412 CPUtime=3323.25 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 114544 0 0 0 332208 117 0 0 20 0 21 0 139572611 19634933760 1386464 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=19174740 memory=5545856 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139572616 19634933760 1386464 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=19174740 memory=36988 CPUtime=0.01 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 6164 0 0 0 1 0 0 0 20 0 21 0 139572617 19634933760 1386464 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697376] ppid=697321 vsize=19174740 memory=5545856 CPUtime=0 cores=4,6
/proc/697324/task/697376/stat : 697376 (Timer-0) S 697321 697324 697088 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 139573189 19634933760 1386464 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 3359.84 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 5545856 KiB
[startup+3402.3 s]
/proc/loadavg: 4.27 4.20 4.10 5/323 699305
/proc/meminfo: memFree=110157332/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=19174740 memory=5545856 CPUtime=3419.73 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 298627 0 0 0 341602 371 0 0 20 0 21 0 139572611 19634933760 1386464 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4793685 1386464 5898 1 0 1425028 0
[pid=697324/tid=697327] ppid=697321 vsize=19174740 memory=36988 CPUtime=3383.08 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 117266 0 0 0 338191 117 0 0 20 0 21 0 139572611 19634933760 1386464 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=19174740 memory=5545856 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139572616 19634933760 1386464 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=19174740 memory=5545856 CPUtime=0.01 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 6298 0 0 0 1 0 0 0 20 0 21 0 139572617 19634933760 1386464 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697376] ppid=697321 vsize=19174740 memory=5545856 CPUtime=0 cores=4,6
/proc/697324/task/697376/stat : 697376 (Timer-0) S 697321 697324 697088 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 139573189 19634933760 1386464 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 3419.73 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 5545856 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.18 4.10 5/322 699315
/proc/meminfo: memFree=110156992/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=19174740 memory=5545876 CPUtime=3479.75 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 303712 0 0 0 347599 376 0 0 20 0 21 0 139572611 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4793685 1386469 5898 1 0 1425028 0
[pid=697324/tid=697327] ppid=697321 vsize=19174740 memory=36988 CPUtime=3442.5 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 118738 0 0 0 344132 118 0 0 20 0 21 0 139572611 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=19174740 memory=36988 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139572616 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=19174740 memory=5545876 CPUtime=0.01 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 6387 0 0 0 1 0 0 0 20 0 21 0 139572617 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697376] ppid=697321 vsize=19174740 memory=5545876 CPUtime=0 cores=4,6
/proc/697324/task/697376/stat : 697376 (Timer-0) S 697321 697324 697088 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 139573189 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 3479.75 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 5545876 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.18 4.10 5/320 699326
/proc/meminfo: memFree=110156532/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=19174740 memory=5545876 CPUtime=3539.79 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 305233 0 0 0 353600 379 0 0 20 0 21 0 139572611 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4793685 1386469 5898 1 0 1425028 0
[pid=697324/tid=697327] ppid=697321 vsize=19174740 memory=5545856 CPUtime=3502.11 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 119888 0 0 0 350093 118 0 0 20 0 21 0 139572611 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=19174740 memory=12508 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139572616 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=19174740 memory=12508 CPUtime=0.01 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 6527 0 0 0 1 0 0 0 20 0 21 0 139572617 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697376] ppid=697321 vsize=19174740 memory=5545876 CPUtime=0 cores=4,6
/proc/697324/task/697376/stat : 697376 (Timer-0) S 697321 697324 697088 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 139573189 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 3539.79 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 5545876 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.09 5/319 699337
/proc/meminfo: memFree=110156148/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=19174740 memory=5545876 CPUtime=3599.77 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 308772 0 0 0 359594 383 0 0 20 0 21 0 139572611 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4793685 1386469 5898 1 0 1425028 0
[pid=697324/tid=697327] ppid=697321 vsize=19174740 memory=5545876 CPUtime=3561.9 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 121464 0 0 0 356072 118 0 0 20 0 21 0 139572611 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=19174740 memory=5540 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139572616 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=19174740 memory=36988 CPUtime=0.01 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 6669 0 0 0 1 0 0 0 20 0 21 0 139572617 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697376] ppid=697321 vsize=19174740 memory=5424 CPUtime=0 cores=4,6
/proc/697324/task/697376/stat : 697376 (Timer-0) S 697321 697324 697088 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 139573189 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 3599.77 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 5545876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3582.6 s]
/proc/loadavg: 4.12 4.16 4.09 5/319 699337
/proc/meminfo: memFree=110156148/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=19174740 memory=5545876 CPUtime=3600.07 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 308772 0 0 0 359624 383 0 0 20 0 21 0 139572611 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4793685 1386469 5898 1 0 1425028 0
[pid=697324/tid=697327] ppid=697321 vsize=19174740 memory=2264 CPUtime=3562.2 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 121464 0 0 0 356102 118 0 0 20 0 21 0 139572611 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=19174740 memory=12508 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139572616 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=19174740 memory=5540 CPUtime=0.01 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 6669 0 0 0 1 0 0 0 20 0 21 0 139572617 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697376] ppid=697321 vsize=19174740 memory=-9104984756849189564 CPUtime=0 cores=4,6
/proc/697324/task/697376/stat : 697376 (Timer-0) S 697321 697324 697088 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 21 0 139573189 19634933760 1386469 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 5545876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3582.77 s]
# the end of solver process 697324 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.5 s, system=3.8669 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3582.7 s]
/proc/loadavg: 4.12 4.16 4.09 5/319 699337
/proc/meminfo: memFree=110156148/131655788 swapFree=131071996/131071996
[pid=697324] ppid=697321 vsize=19374432 memory=5546572 CPUtime=3600.27 cores=4,6
/proc/697324/stat : 697324 (java) S 697321 697324 697088 0 -1 1077936128 311641 0 0 0 359644 383 0 0 20 0 22 0 139572611 19839418368 1386643 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
/proc/697324/statm: 4843608 1386643 5897 1 0 1425963 0
[pid=697324/tid=697327] ppid=697321 vsize=19374432 memory=5545876 CPUtime=3562.3 cores=4,6
/proc/697324/task/697327/stat : 697327 (java) R 697321 697324 697088 0 -1 4194368 121464 0 0 0 356112 118 0 0 20 0 22 0 139572611 19839418368 1386643 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697338] ppid=697321 vsize=19374432 memory=5540 CPUtime=0 cores=4,6
/proc/697324/task/697338/stat : 697338 (Finalizer) S 697321 697324 697088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 22 0 139572616 19839418368 1386643 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
[pid=697324/tid=697345] ppid=697321 vsize=19374432 memory=36988 CPUtime=0.01 cores=4,6
/proc/697324/task/697345/stat : 697345 (Common-Cleaner) S 697321 697324 697088 0 -1 1077936192 6669 0 0 0 1 0 0 0 20 0 22 0 139572617 19839418368 1386643 134679101440 93898999947264 93898999950960 140722649020160 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93898999958776 93898999959568 93899005329408 140722649023446 140722649023559 140722649023559 140722649030600 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 5546572 KiB
Child status: 143
Real time (s): 3582.77
CPU time (s): 3600.37
CPU user time (s): 3596.5
CPU system time (s): 3.8669
CPU usage (%): 100.491
Max. virtual memory (cumulated for all children) (KiB): 19374432
Max. memory (cumulated for all children) (KiB): 5546572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.5
system time used= 3.8669
maximum resident set size= 5547336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312233
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111923
involuntary context switches= 3105
# summary of solver processes directly reported to runsolver:
# pid: 697324
# total CPU time (s): 3600.37
# total CPU user time (s): 3596.5
# total CPU system time (s): 3.8669
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3702 second user time and 39.6467 second system time
The end
Begin job on nodeC011 at 2024-07-13 14:36:07 IDJOB=4424344 IDBENCH=143883 IDSOLVER=3035 FILE ID=nodeC011/4424344-1720874154 RUNJOBID= nodeC011-1720874164-697099 SLURM_JOB_ID= 7483759 Free space on /tmp= 723780 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub1-24_wcsp.wbo COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424344-1720874154/watcher-4424344-1720874154 -o /tmp/evaluation-result-4424344-1720874154/solver-4424344-1720874154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1720874164-697099 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424344-1720874154.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0fb77b786bdb5828a2775dbdb30deb06 RANDOM SEED=1528393746 nodeC011.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.156 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.20 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 : 2593.760 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 : 1542.422 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.20 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 : 2793.280 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 : 1561.914 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.20 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 : 3092.560 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 : 1853.120 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.20 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 : 2394.240 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: 129841172 kB MemAvailable: 129697164 kB Buffers: 316080 kB Cached: 389820 kB SwapCached: 0 kB Active: 466240 kB Inactive: 853120 kB Active(anon): 1412 kB Inactive(anon): 649752 kB Active(file): 464828 kB Inactive(file): 203368 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 4408 kB Writeback: 88 kB AnonPages: 613208 kB Mapped: 121244 kB Shmem: 37704 kB KReclaimable: 55992 kB Slab: 144932 kB SReclaimable: 55992 kB SUnreclaim: 88940 kB KernelStack: 4480 kB PageTables: 10676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 4937196 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 45568 kB HardwareCorrupted: 0 kB AnonHugePages: 315392 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: 160584 kB DirectMap2M: 10229760 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 723756 MiB End job on nodeC011 at 2024-07-13 15:35:50