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.39 | 3594.57 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-warehouse1_wcsp.wbo |
| MD5SUM | 30eba44d9a633242c7fdfd5aebca1c83 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 674555 |
| Best CPU time to get the best result obtained on this benchmark | 0.187446 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 418 |
| Total number of constraints | 818 |
| Number of soft constraints | 779 |
| Number of constraints which are clauses | 779 |
| Number of constraints which are cardinality constraints (but not clauses) | 39 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 19 |
| Top cost | 2939907 |
| Min constraint cost | 1 |
| Max constraint cost | 2939907 |
| Sum of constraints costs | 1138582091 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 20 |
| 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.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version CUSTOM.v20240707 0.12/0.13 c java.runtime.name OpenJDK Runtime Environment 0.12/0.13 c java.vm.name OpenJDK 64-Bit Server VM 0.12/0.13 c java.vm.version 22.0.1+8-16 0.12/0.13 c java.vm.vendor Oracle Corporation 0.12/0.13 c sun.arch.data.model 64 0.12/0.13 c java.version 22.0.1 0.12/0.13 c os.name Linux 0.12/0.13 c os.version 4.18.0-301.1.el8.x86_64 0.12/0.13 c os.arch amd64 0.12/0.13 c Free memory 2113181440 0.12/0.14 c Max memory 16282288128 0.12/0.14 c Total memory 2122317824 0.12/0.14 c Number of processors 2 0.30/0.29 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.30/0.29 - never skip resolution steps 0.30/0.29 - Auto-division on coefficients is disabled 0.30/0.29 - No postprocessing 0.30/0.29 - Conflict is considered as is when resolving 0.30/0.29 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.30/0.29 - Weaken first using unassigned literals 0.30/0.29 - Bump strategy: ALWAYS_ONE 0.30/0.29 - Bumper: ASSIGNED 0.30/0.29 --- Begin Solver configuration --- 0.30/0.29 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.30/0.29 Learn all clauses as in MiniSAT 0.30/0.29 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.30/0.29 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.30/0.29 No reason simplification 0.30/0.29 Armin Biere (Picosat) restarts strategy 0.30/0.29 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.30/0.29 timeout=2147483s 0.30/0.29 DB Simplification allowed=false 0.30/0.29 Listener: none 0.30/0.29 --- End Solver configuration --- 0.30/0.29 c Pseudo Boolean Optimization by upper bound 0.30/0.29 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.30/0.29 c - never skip resolution steps 0.30/0.29 c - Auto-division on coefficients is disabled 0.30/0.29 c - No postprocessing 0.30/0.29 c - Conflict is considered as is when resolving 0.30/0.29 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.30/0.29 c - Weaken first using unassigned literals 0.30/0.29 c - Bump strategy: ALWAYS_ONE 0.30/0.29 c - Bumper: ASSIGNED 0.30/0.29 c --- Begin Solver configuration --- 0.30/0.29 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.30/0.29 c Learn all clauses as in MiniSAT 0.30/0.29 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.30/0.29 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.30/0.29 c No reason simplification 0.30/0.29 c Armin Biere (Picosat) restarts strategy 0.30/0.29 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.30/0.29 c timeout=2147483s 0.30/0.29 c DB Simplification allowed=false 0.30/0.29 c Listener: none 0.30/0.29 c --- End Solver configuration --- 0.30/0.29 c solving HOME/instance-4424331-1720874155.wbo 0.30/0.29 c reading problem ... 0.62/0.45 c ... done. Wall clock time 0.14s. 0.62/0.45 c declared #vars 418 0.62/0.45 c internal #vars 1197 0.62/0.45 c #constraints 858 0.62/0.45 c constraints type 0.62/0.45 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 437 0.62/0.45 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20 0.62/0.45 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 1 0.62/0.45 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 400 0.62/0.45 c 858 constraints processed. 0.62/0.48 c objective function length is 779 literals 0.79/0.51 c SATISFIABLE 0.79/0.51 c OPTIMIZING... 0.79/0.51 c Got one! Elapsed wall clock time (in seconds):0.216 0.79/0.51 o 716425 8.34/5.35 c Got one! Elapsed wall clock time (in seconds):5.061 8.34/5.37 o 713073 2298.79/2292.89 c cleaning 2552 clauses out of 5106 with flag 0/5106 3600.07/3594.42 c starts : 28 3600.07/3594.46 c conflicts : 8995 3600.07/3594.46 c decisions : 128009 3600.07/3594.46 c propagations : 947308 3600.07/3594.46 c inspects : 202030480 3600.07/3594.46 c shortcuts : 0 3600.07/3594.46 c learnt literals : 0 3600.07/3594.46 c learnt binary clauses : 0 3600.07/3594.46 c learnt ternary clauses : 0 3600.07/3594.46 c learnt constraints : 8995 3600.07/3594.46 c ignored constraints : 0 3600.07/3594.46 c root simplifications : 0 3600.07/3594.46 c removed literals (reason simplification) : 0 3600.07/3594.46 c reason swapping (by a shorter reason) : 0 3600.07/3594.46 c Calls to reduceDB : 1 3600.07/3594.46 c Number of update (reduction) of LBD : 0 3600.07/3594.46 c Imported unit clauses : 0 3600.07/3594.46 c No decision after first conflict : false 3600.07/3594.46 c number of reductions to clauses (during analyze) : 0 3600.07/3594.46 c number of learned constraints concerned by reduction : 0 3600.07/3594.46 c number of learning phase by resolution : 0 3600.07/3594.46 c number of learning phase by cutting planes : 0 3600.07/3594.46 c number of rounding to 1 operations : 22804 3600.07/3594.46 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3594.48 c number of reductions of the coefficients by power 2 : 0 3600.07/3594.48 c number of right shift for reduction by power 2 : 0 3600.07/3594.48 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3594.48 c number of ending skipping : 0 3600.07/3594.48 c number of internal skipping : 0 3600.07/3594.48 c number of derivation steps : 84194 3600.07/3594.48 c number of skipped derivation steps : 0 3600.07/3594.48 c number of remaining unassigned : 35697 3600.07/3594.48 c number of remaining assigned : 7049981 3600.07/3594.48 c number of falsified literals weakened from reason : 0 3600.07/3594.48 c number of falsified literals weakened from conflict : 0 3600.07/3594.48 c time for arithmetic operations : 247007467 3600.07/3594.48 c minimum degree of deleted constraints : 1130839901 3600.07/3594.48 c maximum degree of deleted constraints : 32441915355 3600.07/3594.48 c number of deleted constraints : 2552 3600.07/3594.48 c speed (assignments/second) : 263.5811300742294 3600.07/3594.48 c non guided choices : 0 3600.27/3594.55 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 6443 3600.27/3594.55 s SATISFIABLE 3600.27/3594.55 c Found 2 solution(s) 3600.27/3594.55 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 x384 x385 -x386 x387 -x388 x389 -x390 x391 -x392 x393 -x394 x395 -x396 x397 -x398 x399 -x400 x401 -x402 x403 -x404 x405 -x406 x407 -x408 x409 -x410 x411 -x412 x413 -x414 -x415 x416 x417 -x418 3600.27/3594.55 c objective function=713073 3600.27/3594.55 c Total wall clock time (in seconds): 3594.25
OK 713073
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 (63316 MiB free)
memory of node 1: 64510 MiB (63401 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424331-1720874155/watcher-4424331-1720874155 -o /tmp/evaluation-result-4424331-1720874155/solver-4424331-1720874155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720874164-697525 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424331-1720874155.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=697784, runsolver pid=697781
Current StackSize limit: 8192 KiB
[startup+0.10109 s]*
/proc/loadavg: 0.47 0.22 0.18 10/321 697802
/proc/meminfo: memFree=129716892/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=18975048 memory=57304 CPUtime=0.12 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 6735 0 0 0 10 2 0 0 20 0 18 0 139572153 19430449152 14326 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4743762 14326 5703 1 0 551009 0
[pid=697784/tid=697786] ppid=697781 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) S 697781 697784 697515 0 -1 1077936192 5627 0 0 0 6 2 0 0 20 0 18 0 139572154 19430449152 14326 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139572157 19430449152 14326 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=18975048 memory=13563812552942208 CPUtime=0 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 139572157 19430449152 14326 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57304 KiB
[startup+0.212309 s]*
/proc/loadavg: 0.47 0.22 0.18 12/321 697802
/proc/meminfo: memFree=129704336/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=18975048 memory=65924 CPUtime=0.3 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 7374 0 0 0 27 3 0 0 20 0 18 0 139572153 19430449152 16452 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4743762 16481 5712 1 0 551569 0
[pid=697784/tid=697786] ppid=697781 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) R 697781 697784 697515 0 -1 4194368 5859 0 0 0 17 2 0 0 20 0 18 0 139572154 19430449152 16481 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=18975048 memory=5822 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139572157 19430449152 16481 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=18975048 memory=13849655494580062 CPUtime=0 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 139572157 19430449152 16481 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65924 KiB
[startup+0.311561 s]*
/proc/loadavg: 0.47 0.22 0.18 9/321 697802
/proc/meminfo: memFree=129693904/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=18975048 memory=69632 CPUtime=0.46 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 7670 0 0 0 43 3 0 0 20 0 18 0 139572153 19430449152 17408 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4743762 17408 5784 1 0 551721 0
[pid=697784/tid=697786] ppid=697781 vsize=18975048 memory=-9103291508942414524 CPUtime=0.28 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) S 697781 697784 697515 0 -1 1077936192 6022 0 0 0 26 2 0 0 20 0 18 0 139572154 19430449152 17408 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139572157 19430449152 17408 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 139572157 19430449152 17408 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69632 KiB
[startup+0.7003 s]
/proc/loadavg: 0.47 0.22 0.18 11/323 697804
/proc/meminfo: memFree=129594596/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=19041612 memory=96392 CPUtime=1.15 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 11799 0 0 0 110 5 0 0 20 0 19 0 139572153 19498610688 24098 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4760403 24098 5870 1 0 553870 0
[pid=697784/tid=697786] ppid=697781 vsize=19041612 memory=5620 CPUtime=0.61 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) R 697781 697784 697515 0 -1 4194368 6226 0 0 0 58 3 0 0 20 0 19 0 139572154 19498610688 24098 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=19041612 memory=12724 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139572157 19498610688 24098 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=19041612 memory=279925299143336 CPUtime=0 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139572157 19498610688 24098 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697804] ppid=697781 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/697784/task/697804/stat : 697804 (Timer-0) S 697781 697784 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 139572202 19498610688 24098 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 96392 KiB
[startup+1.5003 s]
/proc/loadavg: 0.47 0.22 0.18 10/323 697804
/proc/meminfo: memFree=129099144/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=19041612 memory=136704 CPUtime=2.73 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 20007 0 0 0 266 7 0 0 20 0 19 0 139572153 19498610688 34176 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4760403 34176 5870 1 0 556632 0
[pid=697784/tid=697786] ppid=697781 vsize=19041612 memory=12724 CPUtime=1.41 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) R 697781 697784 697515 0 -1 4194368 6543 0 0 0 137 4 0 0 20 0 19 0 139572154 19498610688 34176 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139572157 19498610688 34176 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139572157 19498610688 34176 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697804] ppid=697781 vsize=19041612 memory=831 CPUtime=0 cores=0,2
/proc/697784/task/697804/stat : 697804 (Timer-0) S 697781 697784 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 139572202 19498610688 34176 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 136704 KiB
[startup+3.10576 s]
/proc/loadavg: 0.83 0.30 0.20 5/324 697805
/proc/meminfo: memFree=126437760/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=19108176 memory=195072 CPUtime=5.73 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 27084 0 0 0 564 9 0 0 20 0 20 0 139572153 19566772224 48768 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4777044 48768 5886 1 0 560018 0
[pid=697784/tid=697786] ppid=697781 vsize=19108176 memory=0 CPUtime=2.98 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) R 697781 697784 697515 0 -1 4194368 6813 0 0 0 294 4 0 0 20 0 20 0 139572154 19566772224 48768 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 48768 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=19108176 memory=12724 CPUtime=0 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 48768 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697804] ppid=697781 vsize=19108176 memory=11408 CPUtime=0 cores=0,2
/proc/697784/task/697804/stat : 697804 (Timer-0) S 697781 697784 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572202 19566772224 48768 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195072 KiB
[startup+6.30044 s]
/proc/loadavg: 0.83 0.30 0.20 5/324 697805
/proc/meminfo: memFree=124134796/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=19108176 memory=181936 CPUtime=9.44 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 28317 0 0 0 934 10 0 0 20 0 20 0 139572153 19566772224 45484 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4777044 45484 5886 1 0 560025 0
[pid=697784/tid=697786] ppid=697781 vsize=19108176 memory=12724 CPUtime=6.12 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) R 697781 697784 697515 0 -1 4194368 7166 0 0 0 608 4 0 0 20 0 20 0 139572154 19566772224 45484 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 45484 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 45484 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697804] ppid=697781 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/697784/task/697804/stat : 697804 (Timer-0) S 697781 697784 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572202 19566772224 45484 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 9.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181936 KiB
[startup+12.7004 s]
/proc/loadavg: 1.09 0.36 0.22 5/324 697807
/proc/meminfo: memFree=123493676/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=19108176 memory=225148 CPUtime=16.69 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 35839 0 0 0 1656 13 0 0 20 0 20 0 139572153 19566772224 56287 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4777044 56287 5886 1 0 560025 0
[pid=697784/tid=697786] ppid=697781 vsize=19108176 memory=0 CPUtime=12.43 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) R 697781 697784 697515 0 -1 4194368 8357 0 0 0 1238 5 0 0 20 0 20 0 139572154 19566772224 56287 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=19108176 memory=225148 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 56287 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=19108176 memory=2288 CPUtime=0 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 56287 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697804] ppid=697781 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/697784/task/697804/stat : 697804 (Timer-0) S 697781 697784 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572202 19566772224 56287 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 16.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 225148 KiB
[startup+25.5004 s]
/proc/loadavg: 1.81 0.55 0.29 5/324 697808
/proc/meminfo: memFree=122523848/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=19108176 memory=284600 CPUtime=29.48 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 38438 0 0 0 2933 15 0 0 20 0 20 0 139572153 19566772224 71150 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4777044 71150 5886 1 0 560025 0
[pid=697784/tid=697786] ppid=697781 vsize=19108176 memory=225148 CPUtime=25.11 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) R 697781 697784 697515 0 -1 4194368 9249 0 0 0 2505 6 0 0 20 0 20 0 139572154 19566772224 71150 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 71150 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=19108176 memory=278456 CPUtime=0 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 71150 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697804] ppid=697781 vsize=19108176 memory=-9103291508942414524 CPUtime=0 cores=0,2
/proc/697784/task/697804/stat : 697804 (Timer-0) S 697781 697784 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572202 19566772224 71150 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 29.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 284600 KiB
[startup+51.1135 s]
/proc/loadavg: 2.77 0.88 0.40 5/325 697814
/proc/meminfo: memFree=121670520/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=19108176 memory=891316 CPUtime=57.94 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 55098 0 0 0 5763 31 0 0 20 0 20 0 139572153 19566772224 222829 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4777044 222829 5886 1 0 560961 0
[pid=697784/tid=697786] ppid=697781 vsize=19108176 memory=674192 CPUtime=50.64 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) R 697781 697784 697515 0 -1 4194368 11812 0 0 0 5045 19 0 0 20 0 20 0 139572154 19566772224 222829 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 222829 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=19108176 memory=12724 CPUtime=0 cores=0,2
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.27 4.25 4.13 5/322 699586
/proc/meminfo: memFree=116132356/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=19108176 memory=1879968 CPUtime=3288.14 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 208850 0 0 0 328588 226 0 0 20 0 20 0 139572153 19566772224 469992 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4777044 469992 5902 1 0 561243 0
[pid=697784/tid=697786] ppid=697781 vsize=19108176 memory=1863584 CPUtime=3260.28 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) R 697781 697784 697515 0 -1 4194368 70314 0 0 0 325985 43 0 0 20 0 20 0 139572154 19566772224 469992 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=19108176 memory=11408 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 469992 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=19108176 memory=1863584 CPUtime=0 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 3774 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 469992 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697804] ppid=697781 vsize=19108176 memory=32072 CPUtime=0 cores=0,2
/proc/697784/task/697804/stat : 697804 (Timer-0) S 697781 697784 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572202 19566772224 469992 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 3288.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1879968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.21 4.12 5/322 699596
/proc/meminfo: memFree=116119880/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=19108176 memory=1892256 CPUtime=3348.04 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 210551 0 0 0 334575 229 0 0 20 0 20 0 139572153 19566772224 473064 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4777044 473064 5902 1 0 561243 0
[pid=697784/tid=697786] ppid=697781 vsize=19108176 memory=-9103291508942414524 CPUtime=3319.96 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) R 697781 697784 697515 0 -1 4194368 71259 0 0 0 331952 44 0 0 20 0 20 0 139572154 19566772224 473064 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=19108176 memory=1892256 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 473064 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=19108176 memory=1892256 CPUtime=0 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 3847 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 473064 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697804] ppid=697781 vsize=19108176 memory=11408 CPUtime=0 cores=0,2
/proc/697784/task/697804/stat : 697804 (Timer-0) S 697781 697784 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572202 19566772224 473064 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 3348.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1892256 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.23 4.13 5/322 699608
/proc/meminfo: memFree=116119344/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=19108176 memory=1892256 CPUtime=3408.07 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 212778 0 0 0 340574 233 0 0 20 0 20 0 139572153 19566772224 473064 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4777044 473064 5902 1 0 561243 0
[pid=697784/tid=697786] ppid=697781 vsize=19108176 memory=1892256 CPUtime=3379.62 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) R 697781 697784 697515 0 -1 4194368 72694 0 0 0 337918 44 0 0 20 0 20 0 139572154 19566772224 473064 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=19108176 memory=2560 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 473064 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=19108176 memory=1892256 CPUtime=0 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 3942 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 473064 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697804] ppid=697781 vsize=19108176 memory=5620 CPUtime=0 cores=0,2
/proc/697784/task/697804/stat : 697804 (Timer-0) S 697781 697784 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572202 19566772224 473064 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 3408.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1892256 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.22 4.13 5/320 699618
/proc/meminfo: memFree=116063572/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=19108176 memory=1908640 CPUtime=3468.04 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 214709 0 0 0 346569 235 0 0 20 0 20 0 139572153 19566772224 477160 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4777044 477160 5902 1 0 561243 0
[pid=697784/tid=697786] ppid=697781 vsize=19108176 memory=1908640 CPUtime=3439.33 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) R 697781 697784 697515 0 -1 4194368 74279 0 0 0 343889 44 0 0 20 0 20 0 139572154 19566772224 477160 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=19108176 memory=35284 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 477160 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=19108176 memory=1908640 CPUtime=0.01 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 4084 0 0 0 1 0 0 0 20 0 20 0 139572157 19566772224 477160 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697804] ppid=697781 vsize=19108176 memory=11408 CPUtime=0 cores=0,2
/proc/697784/task/697804/stat : 697804 (Timer-0) S 697781 697784 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572202 19566772224 477160 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 3468.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1908640 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.21 4.13 5/320 699628
/proc/meminfo: memFree=116044728/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=19108176 memory=1927072 CPUtime=3528.01 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 217120 0 0 0 352562 239 0 0 20 0 20 0 139572153 19566772224 481768 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4777044 481768 5902 1 0 561243 0
[pid=697784/tid=697786] ppid=697781 vsize=19108176 memory=1908640 CPUtime=3498.77 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) R 697781 697784 697515 0 -1 4194368 75768 0 0 0 349832 45 0 0 20 0 20 0 139572154 19566772224 481768 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 481768 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=19108176 memory=5524 CPUtime=0.01 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 4224 0 0 0 1 0 0 0 20 0 20 0 139572157 19566772224 481768 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697804] ppid=697781 vsize=19108176 memory=1927072 CPUtime=0 cores=0,2
/proc/697784/task/697804/stat : 697804 (Timer-0) S 697781 697784 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572202 19566772224 481768 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 3528.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1927072 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.20 4.13 4/296 699657
/proc/meminfo: memFree=119054428/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=19108176 memory=1939384 CPUtime=3587.99 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 221361 0 0 0 358556 243 0 0 20 0 20 0 139572153 19566772224 484846 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4777044 484846 5902 1 0 561243 0
[pid=697784/tid=697786] ppid=697781 vsize=19108176 memory=35284 CPUtime=3558.23 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) R 697781 697784 697515 0 -1 4194368 76991 0 0 0 355778 45 0 0 20 0 20 0 139572154 19566772224 484846 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=19108176 memory=12724 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 484846 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=19108176 memory=2288 CPUtime=0.01 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 4366 0 0 0 1 0 0 0 20 0 20 0 139572157 19566772224 484846 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697804] ppid=697781 vsize=19108176 memory=5524 CPUtime=0 cores=0,2
/proc/697784/task/697804/stat : 697804 (Timer-0) S 697781 697784 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572202 19566772224 484846 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 3587.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1939384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3594.4 s]
/proc/loadavg: 3.60 4.07 4.09 2/239 699744
/proc/meminfo: memFree=128187696/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=19108176 memory=1939384 CPUtime=3600.07 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 221629 0 0 0 359763 244 0 0 20 0 20 0 139572153 19566772224 484846 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4777044 484846 5902 1 0 561243 0
[pid=697784/tid=697786] ppid=697781 vsize=19108176 memory=1939384 CPUtime=3570.3 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) R 697781 697784 697515 0 -1 4194368 77259 0 0 0 356985 45 0 0 20 0 20 0 139572154 19566772224 484846 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=19108176 memory=1939384 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139572157 19566772224 484846 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=19108176 memory=12724 CPUtime=0.01 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 4366 0 0 0 1 0 0 0 20 0 20 0 139572157 19566772224 484846 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697804] ppid=697781 vsize=19108176 memory=11408 CPUtime=0 cores=0,2
/proc/697784/task/697804/stat : 697804 (Timer-0) S 697781 697784 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572202 19566772224 484846 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1939384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3594.57 s]
# the end of solver process 697784 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.93 s, system=2.45569 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3594.51 s]
/proc/loadavg: 3.60 4.07 4.09 2/239 699744
/proc/meminfo: memFree=128187696/131655788 swapFree=131071996/131071996
[pid=697784] ppid=697781 vsize=19307868 memory=1940048 CPUtime=3600.27 cores=0,2
/proc/697784/stat : 697784 (java) S 697781 697784 697515 0 -1 1077936128 224732 0 0 0 359783 244 0 0 20 0 21 0 139572153 19771256832 485012 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
/proc/697784/statm: 4826967 485012 5901 1 0 562162 0
[pid=697784/tid=697786] ppid=697781 vsize=19307868 memory=1933236 CPUtime=3570.4 cores=0,2
/proc/697784/task/697786/stat : 697786 (java) R 697781 697784 697515 0 -1 4194368 77259 0 0 0 356995 45 0 0 20 0 21 0 139572154 19771256832 485012 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697795] ppid=697781 vsize=19307868 memory=1939384 CPUtime=0 cores=0,2
/proc/697784/task/697795/stat : 697795 (Finalizer) S 697781 697784 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139572157 19771256832 485012 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
[pid=697784/tid=697802] ppid=697781 vsize=19307868 memory=5272 CPUtime=0.01 cores=0,2
/proc/697784/task/697802/stat : 697802 (Common-Cleaner) S 697781 697784 697515 0 -1 1077936192 4366 0 0 0 1 0 0 0 20 0 21 0 139572157 19771256832 485012 134679101440 94818347790336 94818347794032 140724899794800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94818347801848 94818347802640 94818372579328 140724899800022 140724899800135 140724899800135 140724899807176 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1940048 KiB
Child status: 143
Real time (s): 3594.57
CPU time (s): 3600.39
CPU user time (s): 3597.93
CPU system time (s): 2.45569
CPU usage (%): 100.162
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1940048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.93
system time used= 2.45569
maximum resident set size= 1940808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225513
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108336
involuntary context switches= 27092
# summary of solver processes directly reported to runsolver:
# pid: 697784
# total CPU time (s): 3600.39
# total CPU user time (s): 3597.93
# total CPU system time (s): 2.45569
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6955 second user time and 37.262 second system time
The end
Begin job on nodeC007 at 2024-07-13 14:36:08 IDJOB=4424331 IDBENCH=143898 IDSOLVER=3035 FILE ID=nodeC007/4424331-1720874155 RUNJOBID= nodeC007-1720874164-697525 SLURM_JOB_ID= 7483755 Free space on /tmp= 723772 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/academics/normalized-warehouse1_wcsp.wbo COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424331-1720874155/watcher-4424331-1720874155 -o /tmp/evaluation-result-4424331-1720874155/solver-4424331-1720874155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720874164-697525 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424331-1720874155.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 30eba44d9a633242c7fdfd5aebca1c83 RANDOM SEED=1528393746 nodeC007.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 : 2693.565 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.25 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 : 2793.303 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.30 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 : 3491.674 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.25 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 : 3092.585 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.30 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 : 2793.303 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.25 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.130 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.30 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 : 2893.063 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.25 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.129 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.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 129761920 kB MemAvailable: 129623404 kB Buffers: 314500 kB Cached: 396944 kB SwapCached: 0 kB Active: 464316 kB Inactive: 930808 kB Active(anon): 1460 kB Inactive(anon): 719944 kB Active(file): 462856 kB Inactive(file): 210864 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 10748 kB Writeback: 28 kB AnonPages: 683888 kB Mapped: 121644 kB Shmem: 37704 kB KReclaimable: 55588 kB Slab: 144748 kB SReclaimable: 55588 kB SUnreclaim: 89160 kB KernelStack: 4824 kB PageTables: 10952 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 7329380 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 45504 kB HardwareCorrupted: 0 kB AnonHugePages: 395264 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: 203592 kB DirectMap2M: 11235328 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 723780 MiB End job on nodeC007 at 2024-07-13 15:36:02