Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | SAT (TO) | 12 | 3600.46 | 3151.12 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb |
| MD5SUM | c3fde33010e6ea586da81d097c34065f |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 10 |
| Best CPU time to get the best result obtained on this benchmark | 509.323 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6226 |
| Sum of products size (including duplicates) | 12452 |
| Number of different products | 6226 |
| Sum of products size | 12452 |
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.08 c version CUSTOM.v20240707 0.00/0.09 c java.runtime.name OpenJDK Runtime Environment 0.00/0.09 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.09 c java.vm.version 22.0.1+8-16 0.00/0.09 c java.vm.vendor Oracle Corporation 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 22.0.1 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.09 c os.arch amd64 0.00/0.10 c Free memory 2104792832 0.00/0.10 c Max memory 16282288128 0.00/0.10 c Total memory 2113929216 0.12/0.11 c Number of processors 2 0.12/0.16 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.12/0.16 - never skip resolution steps 0.12/0.16 - Auto-division on coefficients is disabled 0.12/0.16 - No postprocessing 0.12/0.16 - Conflict is considered as is when resolving 0.12/0.16 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.12/0.16 - Weaken first using unassigned literals 0.12/0.16 - Bump strategy: ALWAYS_ONE 0.12/0.16 - Bumper: ASSIGNED 0.12/0.16 --- Begin Solver configuration --- 0.12/0.16 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.12/0.16 Learn all clauses as in MiniSAT 0.12/0.16 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.16 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.12/0.16 No reason simplification 0.12/0.16 Armin Biere (Picosat) restarts strategy 0.12/0.16 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.12/0.16 timeout=2147483s 0.12/0.16 DB Simplification allowed=false 0.12/0.16 Listener: none 0.12/0.16 --- End Solver configuration --- 0.12/0.17 c Pseudo Boolean Optimization by upper bound 0.12/0.17 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.12/0.17 c - never skip resolution steps 0.12/0.17 c - Auto-division on coefficients is disabled 0.12/0.17 c - No postprocessing 0.12/0.17 c - Conflict is considered as is when resolving 0.12/0.17 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.12/0.17 c - Weaken first using unassigned literals 0.12/0.17 c - Bump strategy: ALWAYS_ONE 0.12/0.17 c - Bumper: ASSIGNED 0.12/0.17 c --- Begin Solver configuration --- 0.12/0.17 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.12/0.17 c Learn all clauses as in MiniSAT 0.12/0.17 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.17 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.12/0.17 c No reason simplification 0.12/0.17 c Armin Biere (Picosat) restarts strategy 0.12/0.17 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.12/0.17 c timeout=2147483s 0.12/0.17 c DB Simplification allowed=false 0.12/0.17 c Listener: none 0.12/0.17 c --- End Solver configuration --- 0.12/0.17 c solving HOME/instance-4459861-1721939465.opb 0.12/0.17 c reading problem ... 0.12/0.17 c objective function found 0.49/0.37 c ... done. Wall clock time 0.195s. 0.49/0.37 c declared #vars 200 0.49/0.37 c internal #vars 6426 0.49/0.37 c #constraints 12652 0.49/0.37 c constraints type 0.49/0.37 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 6226 0.49/0.37 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6426 0.49/0.37 c 12652 constraints processed. 0.49/0.38 c objective function length is 200 literals 0.68/0.42 c SATISFIABLE 0.68/0.42 c OPTIMIZING... 0.68/0.42 c Got one! Elapsed wall clock time (in seconds):0.252 0.68/0.42 o 17 0.68/0.50 c Got one! Elapsed wall clock time (in seconds):0.335 0.68/0.51 o 16 1.06/0.66 c Got one! Elapsed wall clock time (in seconds):0.493 1.06/0.66 o 15 23.13/19.74 c cleaning 2530 clauses out of 5069 with flag 0/5069 23.85/20.49 c Got one! Elapsed wall clock time (in seconds):20.329 23.85/20.49 o 14 45.54/41.34 c cleaning 3229 clauses out of 7869 with flag 0/10399 73.81/68.99 c cleaning 3197 clauses out of 10638 with flag 0/16397 114.66/109.00 c cleaning 4068 clauses out of 14438 with flag 0/23394 167.60/160.83 c cleaning 4311 clauses out of 18370 with flag 0/31394 168.68/161.84 c Got one! Elapsed wall clock time (in seconds):161.674 168.68/161.84 o 13 190.60/183.19 c cleaning 2908 clauses out of 19396 with flag 0/36731 226.88/218.37 c cleaning 3401 clauses out of 22489 with flag 0/42732 276.45/266.72 c cleaning 3737 clauses out of 26087 with flag 0/49731 317.09/306.41 c cleaning 4534 clauses out of 30353 with flag 0/57734 378.43/366.38 c cleaning 4744 clauses out of 34818 with flag 0/66733 479.81/464.46 c cleaning 4971 clauses out of 40077 with flag 0/76736 557.12/540.22 c cleaning 5913 clauses out of 46102 with flag 0/87732 686.58/667.70 c cleaning 6615 clauses out of 52189 with flag 0/99732 769.02/746.90 c cleaning 6960 clauses out of 58578 with flag 0/112736 889.15/862.86 c cleaning 7860 clauses out of 65613 with flag 0/126731 1044.62/1004.02 c cleaning 7756 clauses out of 72756 with flag 0/141734 1247.95/1184.65 c cleaning 8856 clauses out of 80998 with flag 0/157732 1480.36/1385.28 c cleaning 8872 clauses out of 89147 with flag 0/174737 1705.45/1577.36 c cleaning 9994 clauses out of 98269 with flag 0/192731 1988.99/1811.30 c cleaning 9387 clauses out of 107280 with flag 0/211736 2155.82/1956.92 c Got one! Elapsed wall clock time (in seconds):1956.756 2155.82/1956.92 o 12 2233.99/2026.98 c cleaning 9286 clauses out of 116549 with flag 0/230392 2300.31/2081.87 c cleaning 3243 clauses out of 113258 with flag 0/236387 2387.06/2156.74 c cleaning 3685 clauses out of 117016 with flag 0/243388 2474.17/2228.05 c cleaning 3870 clauses out of 121333 with flag 0/251390 2585.86/2318.37 c cleaning 4582 clauses out of 126484 with flag 0/260411 2685.54/2400.25 c cleaning 5569 clauses out of 131883 with flag 0/270392 2805.87/2502.14 c cleaning 6440 clauses out of 137311 with flag 0/281389 2942.21/2609.83 c cleaning 6640 clauses out of 142869 with flag 0/293387 3110.83/2747.61 c cleaning 7122 clauses out of 149229 with flag 0/306387 3313.45/2912.85 c cleaning 7631 clauses out of 156109 with flag 0/320389 3584.54/3138.88 c cleaning 8758 clauses out of 163483 with flag 0/335394 3600.07/3150.97 c starts : 141 3600.07/3150.98 c conflicts : 337599 3600.07/3150.98 c decisions : 602440 3600.07/3150.98 c propagations : 189385283 3600.07/3150.98 c inspects : 2510083056 3600.07/3150.98 c shortcuts : 0 3600.07/3150.98 c learnt literals : 0 3600.07/3150.98 c learnt binary clauses : 0 3600.07/3150.98 c learnt ternary clauses : 0 3600.07/3150.98 c learnt constraints : 337599 3600.07/3150.98 c ignored constraints : 0 3600.07/3150.98 c root simplifications : 0 3600.07/3150.98 c removed literals (reason simplification) : 0 3600.07/3150.98 c reason swapping (by a shorter reason) : 0 3600.07/3150.98 c Calls to reduceDB : 31 3600.07/3150.98 c Number of update (reduction) of LBD : 0 3600.07/3150.98 c Imported unit clauses : 0 3600.07/3150.98 c No decision after first conflict : false 3600.07/3150.98 c number of reductions to clauses (during analyze) : 0 3600.07/3150.98 c number of learned constraints concerned by reduction : 0 3600.07/3150.98 c number of learning phase by resolution : 0 3600.07/3150.98 c number of learning phase by cutting planes : 0 3600.07/3150.98 c number of rounding to 1 operations : 6467122 3600.07/3150.98 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.07/3150.98 c number of reductions of the coefficients by power 2 : 0 3600.07/3150.98 c number of right shift for reduction by power 2 : 0 3600.07/3150.98 c number of reductions of the coefficients by GCD over coefficients : 0 3600.07/3150.98 c number of ending skipping : 0 3600.07/3150.98 c number of internal skipping : 0 3600.07/3150.98 c number of derivation steps : 6810679 3600.07/3150.98 c number of skipped derivation steps : 0 3600.07/3150.98 c number of remaining unassigned : 753385 3600.07/3150.98 c number of remaining assigned : 156696337 3600.07/3150.98 c number of falsified literals weakened from reason : 0 3600.07/3150.98 c number of falsified literals weakened from conflict : 0 3600.07/3150.98 c time for arithmetic operations : 104546469007 3600.07/3150.98 c minimum degree of deleted constraints : 4 3600.07/3150.98 c maximum degree of deleted constraints : 8196661 3600.07/3150.98 c number of deleted constraints : 180669 3600.07/3150.98 c speed (assignments/second) : 60110.93869223474 3600.07/3150.98 c non guided choices : 0 3600.30/3151.07 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 80635 3600.30/3151.07 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 3707 3600.30/3151.07 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 72588 3600.30/3151.07 s SATISFIABLE 3600.30/3151.07 c Found 6 solution(s) 3600.30/3151.07 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 3600.30/3151.07 c objective function=12 3600.30/3151.07 c Total wall clock time (in seconds): 3150.891
OK 12
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: 63968 MiB (60466 MiB free)
memory of node 1: 64473 MiB (61183 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459861-1721939465/watcher-4459861-1721939465 -o /tmp/evaluation-result-4459861-1721939465/solver-4459861-1721939465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721939462-258846 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4459861-1721939465.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=259032, runsolver pid=259029
[startup+0.100973 s]*
/proc/loadavg: 0.11 0.10 0.18 10/334 259050
/proc/meminfo: memFree=124388128/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=18975048 memory=60700 CPUtime=0.12 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 7103 0 0 0 10 2 0 0 20 0 18 0 30475513 19430449152 15175 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4743762 15175 5675 1 0 549250 0
[pid=259032/tid=259034] ppid=259029 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) R 259029 259032 258834 0 -1 1077936192 5660 0 0 0 6 1 0 0 20 0 18 0 30475513 19430449152 15175 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30475517 19430449152 15175 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=18975048 memory=14973373509117603 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) S 259029 259032 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30475518 19430449152 15175 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60700 KiB
[startup+0.206154 s]*
/proc/loadavg: 0.11 0.10 0.18 9/334 259050
/proc/meminfo: memFree=124221320/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=18975048 memory=71824 CPUtime=0.31 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 7747 0 0 0 29 2 0 0 20 0 18 0 30475513 19430449152 17956 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4743762 17956 5793 1 0 549675 0
[pid=259032/tid=259034] ppid=259029 vsize=18975048 memory=4782652875487838339 CPUtime=0.16 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) R 259029 259032 258834 0 -1 4194368 6045 0 0 0 15 1 0 0 20 0 18 0 30475513 19430449152 17956 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=18975048 memory=1409442 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30475517 19430449152 17956 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=18975048 memory=14690799019361963 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) S 259029 259032 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 30475518 19430449152 17956 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 71824 KiB
[startup+0.306266 s]*
/proc/loadavg: 0.11 0.10 0.18 7/335 259051
/proc/meminfo: memFree=123991724/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=19041612 memory=163028 CPUtime=0.49 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 8230 0 0 0 45 4 0 0 20 0 19 0 30475513 19498610688 40757 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4760403 40757 5856 1 0 550128 0
[pid=259032/tid=259034] ppid=259029 vsize=19041612 memory=-8528527294558085820 CPUtime=0.25 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) S 259029 259032 258834 0 -1 1077936192 6102 0 0 0 22 3 0 0 20 0 19 0 30475513 19498610688 40757 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30475517 19498610688 40757 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) S 259029 259032 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 30475518 19498610688 40757 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 163028 KiB
[startup+0.708233 s]
/proc/loadavg: 0.11 0.10 0.18 10/336 259052
/proc/meminfo: memFree=123679388/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=19108176 memory=178368 CPUtime=1.26 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 13921 0 0 0 121 5 0 0 20 0 20 0 30475513 19566772224 44592 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4777044 44592 5910 1 0 553369 0
[pid=259032/tid=259034] ppid=259029 vsize=19108176 memory=5616 CPUtime=0.56 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) R 259029 259032 258834 0 -1 4194368 6255 0 0 0 53 3 0 0 20 0 20 0 30475513 19566772224 44592 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=19108176 memory=12404 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30475517 19566772224 44592 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=19108176 memory=164 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) R 259029 259032 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30475518 19566772224 44592 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259052] ppid=259029 vsize=19108176 memory=117636 CPUtime=0 cores=1,3
/proc/259032/task/259052/stat : 259052 (Timer-0) S 259029 259032 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475551 19566772224 44592 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178368 KiB
[startup+1.50516 s]
/proc/loadavg: 0.50 0.18 0.20 6/336 259052
/proc/meminfo: memFree=123135480/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=19108176 memory=458080 CPUtime=2.83 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 16524 0 0 0 272 11 0 0 20 0 20 0 30475513 19566772224 114520 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4777044 114520 5910 1 0 938954 0
[pid=259032/tid=259034] ppid=259029 vsize=19108176 memory=12404 CPUtime=1.3 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) R 259029 259032 258834 0 -1 4194368 6388 0 0 0 122 8 0 0 20 0 20 0 30475513 19566772224 114520 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30475517 19566772224 114520 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) S 259029 259032 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30475518 19566772224 114520 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259052] ppid=259029 vsize=19108176 memory=280797982663952 CPUtime=0 cores=1,3
/proc/259032/task/259052/stat : 259052 (Timer-0) S 259029 259032 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475551 19566772224 114520 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 458080 KiB
[startup+3.10636 s]
/proc/loadavg: 0.50 0.18 0.20 6/336 259052
/proc/meminfo: memFree=121291912/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=19108176 memory=828424 CPUtime=5.91 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 19766 0 0 0 571 20 0 0 20 0 20 0 30475513 19566772224 207106 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4777044 207106 5910 1 0 940308 0
[pid=259032/tid=259034] ppid=259029 vsize=19108176 memory=0 CPUtime=2.81 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) R 259029 259032 258834 0 -1 4194368 6557 0 0 0 265 16 0 0 20 0 20 0 30475513 19566772224 207618 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=19108176 memory=12404 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30475517 19566772224 207618 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) S 259029 259032 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30475518 19566772224 207618 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259052] ppid=259029 vsize=19108176 memory=11360 CPUtime=0 cores=1,3
/proc/259032/task/259052/stat : 259052 (Timer-0) S 259029 259032 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475551 19566772224 207618 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 828424 KiB
[startup+6.30027 s]
/proc/loadavg: 0.78 0.24 0.22 5/336 259052
/proc/meminfo: memFree=120903924/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=19108176 memory=1387812 CPUtime=9.36 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 20220 0 0 0 904 32 0 0 20 0 20 0 30475513 19566772224 346953 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4777044 346953 5910 1 0 940310 0
[pid=259032/tid=259034] ppid=259029 vsize=19108176 memory=12404 CPUtime=5.95 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) R 259029 259032 258834 0 -1 4194368 6942 0 0 0 569 26 0 0 20 0 20 0 30475513 19566772224 346953 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30475517 19566772224 346953 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=19108176 memory=507232 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) S 259029 259032 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30475518 19566772224 346953 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259052] ppid=259029 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/259032/task/259052/stat : 259052 (Timer-0) S 259029 259032 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475551 19566772224 346953 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 9.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1387812 KiB
[startup+12.7003 s]
/proc/loadavg: 1.04 0.30 0.25 5/336 259054
/proc/meminfo: memFree=119344400/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=19108176 memory=2154600 CPUtime=15.87 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 24646 0 0 0 1539 48 0 0 20 0 20 0 30475513 19566772224 538650 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4777044 538650 5926 1 0 940317 0
[pid=259032/tid=259034] ppid=259029 vsize=19108176 memory=0 CPUtime=12.19 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) R 259029 259032 258834 0 -1 4194368 8613 0 0 0 1180 39 0 0 20 0 20 0 30475513 19566772224 538650 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=19108176 memory=-8528527294558085820 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30475517 19566772224 538650 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=19108176 memory=2308 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) S 259029 259032 258834 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 30475518 19566772224 538650 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259052] ppid=259029 vsize=19108176 memory=11360 CPUtime=0 cores=1,3
/proc/259032/task/259052/stat : 259052 (Timer-0) S 259029 259032 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475551 19566772224 538650 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 15.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2154600 KiB
[startup+25.5012 s]
/proc/loadavg: 1.72 0.48 0.30 5/336 259056
/proc/meminfo: memFree=118638660/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=19108176 memory=2326960 CPUtime=29.04 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 31360 0 0 0 2851 53 0 0 20 0 20 0 30475513 19566772224 581740 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4777044 581740 5939 1 0 940366 0
[pid=259032/tid=259034] ppid=259029 vsize=19108176 memory=11360 CPUtime=24.67 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) R 259029 259032 258834 0 -1 4194368 11664 0 0 0 2427 40 0 0 20 0 20 0 30475513 19566772224 581740 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=19108176 memory=11360 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30475517 19566772224 581740 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=19108176 memory=1445156 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) S 259029 259032 258834 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 30475518 19566772224 581740 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259052] ppid=259029 vsize=19108176 memory=280797982610736 CPUtime=0 cores=1,3
/proc/259032/task/259052/stat : 259052 (Timer-0) S 259029 259032 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475551 19566772224 581740 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 29.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2326960 KiB
[startup+51.1062 s]
/proc/loadavg: 2.62 0.81 0.42 5/336 259060
/proc/meminfo: memFree=118352968/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=19108176 memory=2491232 CPUtime=55.62 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 41544 0 0 0 5504 58 0 0 20 0 20 0 30475513 19566772224 622808 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4777044 622808 5939 1 0 940366 0
[pid=259032/tid=259034] ppid=259029 vsize=19108176 memory=2433824 CPUtime=49.37 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) R 259029 259032 258834 0 -1 4194368 14421 0 0 0 4896 41 0 0 20 0 20 0 30475513 19566772224 622808 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=19108176 memory=280797983360384 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30475517 19566772224 622808 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
################
# More data... #
################
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30475517 19566772224 1956273 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=19108176 memory=7825092 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) S 259029 259032 258834 0 -1 1077936192 1986 0 0 0 0 0 0 0 20 0 20 0 30475518 19566772224 1956273 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259052] ppid=259029 vsize=19108176 memory=16076 CPUtime=0 cores=1,3
/proc/259032/task/259052/stat : 259052 (Timer-0) S 259029 259032 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475551 19566772224 1956273 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 3181.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7825092 KiB
[startup+2862.3 s]
/proc/loadavg: 4.61 4.57 4.30 5/331 260290
/proc/meminfo: memFree=104921064/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=19108176 memory=9311356 CPUtime=3257.08 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 664877 0 0 0 325140 568 0 0 20 0 20 0 30475513 19566772224 2327839 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4777044 2327839 5999 1 0 2345229 0
[pid=259032/tid=259034] ppid=259029 vsize=19108176 memory=7825096 CPUtime=2772.36 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) R 259029 259032 258834 0 -1 4194368 229347 0 0 0 277057 179 0 0 20 0 20 0 30475513 19566772224 2327839 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=19108176 memory=12404 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30475517 19566772224 2327839 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=19108176 memory=7825092 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) S 259029 259032 258834 0 -1 1077936192 1986 0 0 0 0 0 0 0 20 0 20 0 30475518 19566772224 2327839 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259052] ppid=259029 vsize=19108176 memory=7825220 CPUtime=0 cores=1,3
/proc/259032/task/259052/stat : 259052 (Timer-0) S 259029 259032 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475551 19566772224 2327839 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 3257.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9311356 KiB
[startup+2922.31 s]
/proc/loadavg: 4.57 4.56 4.31 7/331 260301
/proc/meminfo: memFree=104892356/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=19108176 memory=9335156 CPUtime=3327.54 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 683983 0 0 0 332176 578 0 0 20 0 20 0 30475513 19566772224 2333789 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4777044 2333789 5999 1 0 2345363 0
[pid=259032/tid=259034] ppid=259029 vsize=19108176 memory=11360 CPUtime=2830.89 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) R 259029 259032 258834 0 -1 4194368 236862 0 0 0 282909 180 0 0 20 0 20 0 30475513 19566772224 2333789 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=19108176 memory=9334580 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30475517 19566772224 2333789 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=19108176 memory=70816 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) S 259029 259032 258834 0 -1 1077936192 2070 0 0 0 0 0 0 0 20 0 20 0 30475518 19566772224 2333789 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259052] ppid=259029 vsize=19108176 memory=12404 CPUtime=0 cores=1,3
/proc/259032/task/259052/stat : 259052 (Timer-0) S 259029 259032 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475551 19566772224 2333789 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 3327.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9335156 KiB
[startup+2982.3 s]
/proc/loadavg: 4.72 4.60 4.34 6/333 260316
/proc/meminfo: memFree=104885232/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=19108176 memory=9335164 CPUtime=3399.16 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 689295 0 0 0 339329 587 0 0 20 0 20 0 30475513 19566772224 2333791 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4777044 2333791 5999 1 0 2345368 0
[pid=259032/tid=259034] ppid=259029 vsize=19108176 memory=11360 CPUtime=2889.06 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) S 259029 259032 258834 0 -1 1077936192 239127 0 0 0 288725 181 0 0 20 0 20 0 30475513 19566772224 2333791 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=19108176 memory=100 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30475517 19566772224 2333791 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=19108176 memory=9335160 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) S 259029 259032 258834 0 -1 1077936192 2071 0 0 0 0 0 0 0 20 0 20 0 30475518 19566772224 2333791 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259052] ppid=259029 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/259032/task/259052/stat : 259052 (Timer-0) S 259029 259032 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475551 19566772224 2333791 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 3399.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9335164 KiB
[startup+3042.3 s]
/proc/loadavg: 4.65 4.61 4.36 5/333 260328
/proc/meminfo: memFree=104863920/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=19108176 memory=9335184 CPUtime=3470.37 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 710087 0 0 0 346439 598 0 0 20 0 20 0 30475513 19566772224 2333796 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4777044 2333796 5999 1 0 2345368 0
[pid=259032/tid=259034] ppid=259029 vsize=19108176 memory=9335160 CPUtime=2947.7 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) R 259029 259032 258834 0 -1 4194368 244888 0 0 0 294589 181 0 0 20 0 20 0 30475513 19566772224 2333796 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=19108176 memory=338949 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30475517 19566772224 2333796 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=19108176 memory=9335184 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) S 259029 259032 258834 0 -1 1077936192 2153 0 0 0 0 0 0 0 20 0 20 0 30475518 19566772224 2333796 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259052] ppid=259029 vsize=19108176 memory=100 CPUtime=0 cores=1,3
/proc/259032/task/259052/stat : 259052 (Timer-0) S 259029 259032 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475551 19566772224 2333796 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 3470.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9335184 KiB
[startup+3102.3 s]
/proc/loadavg: 4.69 4.62 4.38 5/333 260338
/proc/meminfo: memFree=104842496/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=19108176 memory=9335184 CPUtime=3542.16 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 712520 0 0 0 353609 607 0 0 20 0 20 0 30475513 19566772224 2333796 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4777044 2333796 5999 1 0 2345368 0
[pid=259032/tid=259034] ppid=259029 vsize=19108176 memory=0 CPUtime=3006.23 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) R 259029 259032 258834 0 -1 4194368 246836 0 0 0 300441 182 0 0 20 0 20 0 30475513 19566772224 2333796 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 35 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=19108176 memory=9335184 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30475517 19566772224 2333796 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=19108176 memory=9335184 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) S 259029 259032 258834 0 -1 1077936192 2153 0 0 0 0 0 0 0 20 0 20 0 30475518 19566772224 2333796 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259052] ppid=259029 vsize=19108176 memory=2308 CPUtime=0 cores=1,3
/proc/259032/task/259052/stat : 259052 (Timer-0) S 259029 259032 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475551 19566772224 2333796 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 3542.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9335184 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3150.9 s]
/proc/loadavg: 4.47 4.58 4.37 7/332 260347
/proc/meminfo: memFree=104823436/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=19108176 memory=9337232 CPUtime=3600.07 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 733029 0 0 0 359390 617 0 0 20 0 20 0 30475513 19566772224 2334308 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4777044 2334308 5999 1 0 2345368 0
[pid=259032/tid=259034] ppid=259029 vsize=19108176 memory=16076 CPUtime=3053.84 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) R 259029 259032 258834 0 -1 4194368 253141 0 0 0 305201 183 0 0 20 0 20 0 30475513 19566772224 2334308 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=19108176 memory=70816 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30475517 19566772224 2334308 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=19108176 memory=9337232 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) S 259029 259032 258834 0 -1 1077936192 2173 0 0 0 0 0 0 0 20 0 20 0 30475518 19566772224 2334308 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259052] ppid=259029 vsize=19108176 memory=5616 CPUtime=0 cores=1,3
/proc/259032/task/259052/stat : 259052 (Timer-0) S 259029 259032 258834 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30475551 19566772224 2334308 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9337232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3151.12 s]
# the end of solver process 259032 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.25 s, system=6.21165 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3151.01 s]*
/proc/loadavg: 4.47 4.58 4.37 9/334 260350
/proc/meminfo: memFree=104823096/131524600 swapFree=131057124/131071996
[pid=259032] ppid=259029 vsize=19307868 memory=9337792 CPUtime=3600.3 cores=1,3
/proc/259032/stat : 259032 (java) S 259029 259032 258834 0 -1 1077936128 734714 0 0 0 359412 618 0 0 20 0 21 0 30475513 19771256832 2334448 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
/proc/259032/statm: 4826967 2334448 5998 1 0 2346271 0
[pid=259032/tid=259034] ppid=259029 vsize=19307868 memory=-8529088045488251580 CPUtime=3053.91 cores=1,3
/proc/259032/task/259034/stat : 259034 (java) R 259029 259032 258834 0 -1 4194368 253180 0 0 0 305208 183 0 0 20 0 21 0 30475513 19771256832 2334448 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259043] ppid=259029 vsize=19307868 memory=-9054130149338695066 CPUtime=0 cores=1,3
/proc/259032/task/259043/stat : 259043 (Finalizer) S 259029 259032 258834 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 30475517 19771256832 2334448 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=259050] ppid=259029 vsize=19307868 memory=2728 CPUtime=0 cores=1,3
/proc/259032/task/259050/stat : 259050 (Common-Cleaner) S 259029 259032 258834 0 -1 1077936192 2173 0 0 0 0 0 0 0 20 0 21 0 30475518 19771256832 2334448 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
[pid=259032/tid=260349] ppid=259029 vsize=19307868 memory=5188 CPUtime=0.03 cores=1,3
/proc/259032/task/260349/stat : 260349 (Thread-0) R 259029 259032 258834 0 -1 4194368 306 0 0 0 3 0 0 0 20 0 21 0 30790608 19771256832 2334448 134679101440 94361677643776 94361677647472 140720770316464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94361677655288 94361677656080 94361706090496 140720770319343 140720770319456 140720770319456 140720770326472 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 9337792 KiB
[startup+3151.11 s]*
/proc/loadavg: 4.47 4.58 4.37 5/313 260350
/proc/meminfo: memFree=114155828/131524600 swapFree=131057124/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3151.12
CPU time (s): 3600.46
CPU user time (s): 3594.25
CPU system time (s): 6.21165
CPU usage (%): 114.26
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 9337792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.25
system time used= 6.21165
maximum resident set size= 9338620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 735726
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126371
involuntary context switches= 34270
# summary of solver processes directly reported to runsolver:
# pid: 259032
# total CPU time (s): 3600.46
# total CPU user time (s): 3594.25
# total CPU system time (s): 6.21165
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94919 second user time and 16.3049 second system time
The end
Begin job on nodeC025 at 2024-07-25 22:31:05 IDJOB=4459861 IDBENCH=148617 IDSOLVER=3046 FILE ID=nodeC025/4459861-1721939465 RUNJOBID= nodeC025-1721939462-258846 SLURM_JOB_ID= 8247246 Free space on /tmp= 890028 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459861-1721939465/watcher-4459861-1721939465 -o /tmp/evaluation-result-4459861-1721939465/solver-4459861-1721939465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721939462-258846 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4459861-1721939465.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c3fde33010e6ea586da81d097c34065f RANDOM SEED=1956819754 nodeC025.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 : 0xb00002a cpu MHz : 3599.752 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.815 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.49 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 : 0xb00002a cpu MHz : 3599.752 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.790 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.49 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 : 0xb00002a cpu MHz : 3599.752 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.818 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.49 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 : 0xb00002a cpu MHz : 3599.752 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.817 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124614916 kB MemAvailable: 127550732 kB Buffers: 336980 kB Cached: 3397872 kB SwapCached: 236 kB Active: 2544596 kB Inactive: 3697768 kB Active(anon): 4428 kB Inactive(anon): 2555628 kB Active(file): 2540168 kB Inactive(file): 1142140 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057124 kB Dirty: 4444 kB Writeback: 24 kB AnonPages: 2506664 kB Mapped: 131760 kB Shmem: 52872 kB KReclaimable: 186660 kB Slab: 311828 kB SReclaimable: 186660 kB SUnreclaim: 125168 kB KernelStack: 5120 kB PageTables: 15172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 7429108 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 13952 kB HardwareCorrupted: 0 kB AnonHugePages: 2095104 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: 379604 kB DirectMap2M: 40288256 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890024 MiB End job on nodeC025 at 2024-07-25 23:23:36