Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Parallel with EPS 2017-08-22 | ? (TO) | 19815.1 | 2520.1499 |
Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml |
MD5SUM | 0ccf44bf6198d309f3039e2504907429 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 161 |
Best CPU time to get the best result obtained on this benchmark | 20019.5 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 240 |
Number of constraints | 108 |
Number of domains | 2 |
Minimum domain size | 500 |
Maximum domain size | 501 |
Distribution of domain sizes | [{"size":500,"count":105},{"size":501,"count":15}] |
Minimum variable degree | 0 |
Maximum variable degree | 16 |
Distribution of variable degrees | [{"degree":0,"count":120},{"degree":2,"count":105},{"degree":15,"count":13},{"degree":16,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 105 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":105},{"arity":15,"count":1},{"arity":105,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 106 |
Distribution of constraint types | [{"type":"intension","count":106},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
Optimization problem | YES |
Type of objective | min VAR |
0.30/0.25 c version: 2017-08-22 0.30/0.25 c seed: 421139366 0.30/0.25 c timeout: 20160 0.30/0.25 c memlimit: 22000 0.30/0.25 c nbcore: 8 0.30/0.28 c Parsing instance... 0.85/0.57 c Parsing done, starting search... 19814.09/2520.12 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (9055 MiB free) memory of node 1: 16384 MiB (10412 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284767-1503430929/watcher-4284767-1503430929 -o /tmp/evaluation-result-4284767-1503430929/solver-4284767-1503430929 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503425023-21612 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 421139366 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284767-1503430929.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=21945, runsolver pid=21942 Current StackSize limit: 8192 KiB [startup+0.100157 s]* /proc/loadavg: 8.54 8.84 8.82 1/198 21965 /proc/meminfo: memFree=19916628/32770624 swapFree=67108860/67108860 [pid=21945] ppid=21942 vsize=26000852 memory=33192 CPUtime=0.13 cores=0-7 /proc/21945/stat : 21945 (java) S 21942 21945 21585 0 -1 1077944320 8216 0 0 0 11 2 0 0 20 0 20 0 176180586 26624872448 8298 33554432000 4194304 4196468 140724583395984 140724583378528 140312906678007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 /proc/21945/statm: 6500213 8298 3411 1 0 6487932 0 [pid=21945/tid=21947] ppid=21942 vsize=26000852 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/21945/task/21947/stat : 21947 (java) R 21942 21945 21585 0 -1 4202560 6155 0 0 0 8 1 0 0 20 0 20 0 176180587 26624872448 8298 33554432000 4194304 4196468 140724583395984 140312910893040 140312890758494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21948] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21948/stat : 21948 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180587 26624872448 8298 33554432000 4194304 4196468 140724583395984 140312829258768 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21949] ppid=21942 vsize=26000852 memory=139899615954560 CPUtime=0 cores=0-7 /proc/21945/task/21949/stat : 21949 (java) S 21942 21945 21585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176180587 26624872448 8298 33554432000 4194304 4196468 140724583395984 140312828206224 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21950] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21950/stat : 21950 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180587 26624872448 8298 33554432000 4194304 4196468 140724583395984 140312827153168 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21951] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21951/stat : 21951 (java) S 21942 21945 21585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176180587 26624872448 8298 33554432000 4194304 4196468 140724583395984 140312826100624 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21952] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21952/stat : 21952 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180587 26624872448 8298 33554432000 4194304 4196468 140724583395984 140312825047568 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21953] ppid=21942 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/21945/task/21953/stat : 21953 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180587 26624872448 8298 33554432000 4194304 4196468 140724583395984 140312459631248 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21954] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21954/stat : 21954 (java) S 21942 21945 21585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176180587 26624872448 8298 33554432000 4194304 4196468 140724583395984 140312458578192 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21955] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21955/stat : 21955 (java) S 21942 21945 21585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176180587 26624872448 8298 33554432000 4194304 4196468 140724583395984 140312457525648 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21956] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21956/stat : 21956 (java) S 21942 21945 21585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176180589 26624872448 8298 33554432000 4194304 4196468 140724583395984 140311582898928 140312906689154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21957] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21957/stat : 21957 (java) S 21942 21945 21585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176180589 26624872448 8298 33554432000 4194304 4196468 140724583395984 140311581845152 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21958] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21958/stat : 21958 (java) S 21942 21945 21585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176180589 26624872448 8298 33554432000 4194304 4196468 140724583395984 140311580792048 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21959] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21959/stat : 21959 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180592 26624872448 8298 33554432000 4194304 4196468 140724583395984 140311579740624 140312906696603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21960] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21960/stat : 21960 (java) S 21942 21945 21585 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 176180592 26624872448 8298 33554432000 4194304 4196468 140724583395984 140311578687728 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21961] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21961/stat : 21961 (java) S 21942 21945 21585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176180592 26624872448 8298 33554432000 4194304 4196468 140724583395984 140311577635184 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21962] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21962/stat : 21962 (java) S 21942 21945 21585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176180592 26624872448 8298 33554432000 4194304 4196468 140724583395984 140311576582128 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21963] ppid=21942 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/21945/task/21963/stat : 21963 (java) S 21942 21945 21585 0 -1 1077944384 363 0 0 0 1 0 0 0 20 0 20 0 176180592 26624872448 8298 33554432000 4194304 4196468 140724583395984 140311575529584 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21964] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21964/stat : 21964 (java) S 21942 21945 21585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176180592 26624872448 8298 33554432000 4194304 4196468 140724583395984 140311574477792 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21965] ppid=21942 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/21945/task/21965/stat : 21965 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180592 26624872448 8298 33554432000 4194304 4196468 140724583395984 140311573425328 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 33192 KiB [startup+0.210434 s]* /proc/loadavg: 8.54 8.84 8.82 3/198 21965 /proc/meminfo: memFree=19908748/32770624 swapFree=67108860/67108860 [pid=21945] ppid=21942 vsize=26000852 memory=42780 CPUtime=0.3 cores=0-7 /proc/21945/stat : 21945 (java) S 21942 21945 21585 0 -1 1077944320 9258 0 0 0 27 3 0 0 20 0 20 0 176180586 26624872448 10695 33554432000 4194304 4196468 140724583395984 140724583378528 140312906678007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 /proc/21945/statm: 6500213 10695 3653 1 0 6487932 0 [pid=21945/tid=21947] ppid=21942 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/21945/task/21947/stat : 21947 (java) R 21942 21945 21585 0 -1 4202560 6813 0 0 0 17 2 0 0 20 0 20 0 176180587 26624872448 10695 33554432000 4194304 4196468 140724583395984 140312910887264 140312906689942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21948] ppid=21942 vsize=26000852 memory=9236 CPUtime=0 cores=0-7 /proc/21945/task/21948/stat : 21948 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180587 26624872448 10695 33554432000 4194304 4196468 140724583395984 140312829258768 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21949] ppid=21942 vsize=26000852 memory=139899616765548 CPUtime=0 cores=0-7 /proc/21945/task/21949/stat : 21949 (java) S 21942 21945 21585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176180587 26624872448 10695 33554432000 4194304 4196468 140724583395984 140312828206224 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21950] ppid=21942 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/21945/task/21950/stat : 21950 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180587 26624872448 10695 33554432000 4194304 4196468 140724583395984 140312827153168 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21951] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21951/stat : 21951 (java) S 21942 21945 21585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176180587 26624872448 10695 33554432000 4194304 4196468 140724583395984 140312826100624 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21952] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21952/stat : 21952 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180587 26624872448 10695 33554432000 4194304 4196468 140724583395984 140312825047568 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21953] ppid=21942 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/21945/task/21953/stat : 21953 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180587 26624872448 10695 33554432000 4194304 4196468 140724583395984 140312459631248 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21954] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21954/stat : 21954 (java) S 21942 21945 21585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176180587 26624872448 10695 33554432000 4194304 4196468 140724583395984 140312458578192 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21955] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21955/stat : 21955 (java) S 21942 21945 21585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176180587 26624872448 10695 33554432000 4194304 4196468 140724583395984 140312457525648 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21956] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21956/stat : 21956 (java) S 21942 21945 21585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176180589 26624872448 10695 33554432000 4194304 4196468 140724583395984 140311582898928 140312906689154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21957] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21957/stat : 21957 (java) S 21942 21945 21585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176180589 26624872448 10695 33554432000 4194304 4196468 140724583395984 140311581845152 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21958] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21958/stat : 21958 (java) S 21942 21945 21585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176180589 26624872448 10695 33554432000 4194304 4196468 140724583395984 140311580792048 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21959] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21959/stat : 21959 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180592 26624872448 10695 33554432000 4194304 4196468 140724583395984 140311579740624 140312906696603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21960] ppid=21942 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/21945/task/21960/stat : 21960 (java) S 21942 21945 21585 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 20 0 176180592 26624872448 10695 33554432000 4194304 4196468 140724583395984 140311578687728 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21961] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21961/stat : 21961 (java) R 21942 21945 21585 0 -1 4202560 206 0 0 0 0 0 0 0 20 0 20 0 176180592 26624872448 10695 33554432000 4194304 4196468 140724583395984 140311577635184 140312899663049 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21962] ppid=21942 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7 /proc/21945/task/21962/stat : 21962 (java) S 21942 21945 21585 0 -1 1077944384 133 0 0 0 1 0 0 0 20 0 20 0 176180592 26624872448 10695 33554432000 4194304 4196468 140724583395984 140311576582128 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21963] ppid=21942 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7 /proc/21945/task/21963/stat : 21963 (java) R 21942 21945 21585 0 -1 4202560 398 0 0 0 5 0 0 0 20 0 20 0 176180592 26624872448 10695 33554432000 4194304 4196468 140724583395984 140311575529584 140312906689942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21964] ppid=21942 vsize=26000852 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21964/stat : 21964 (java) S 21942 21945 21585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176180592 26624872448 10695 33554432000 4194304 4196468 140724583395984 140311574477792 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21965] ppid=21942 vsize=26000852 memory=-1 CPUtime=0 cores=0-7 /proc/21945/task/21965/stat : 21965 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180592 26624872448 10695 33554432000 4194304 4196468 140724583395984 140311573425328 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26000852 KiB Current children cumulated memory: 42780 KiB [startup+0.310387 s]* /proc/loadavg: 8.54 8.84 8.82 2/198 21965 /proc/meminfo: memFree=19901304/32770624 swapFree=67108860/67108860 [pid=21945] ppid=21942 vsize=26000872 memory=50264 CPUtime=0.48 cores=0-7 /proc/21945/stat : 21945 (java) S 21942 21945 21585 0 -1 1077944320 10256 0 0 0 44 4 0 0 20 0 20 0 176180586 26624892928 12566 33554432000 4194304 4196468 140724583395984 140724583378528 140312906678007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 /proc/21945/statm: 6500218 12566 3715 1 0 6487932 0 [pid=21945/tid=21947] ppid=21942 vsize=26000872 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/21945/task/21947/stat : 21947 (java) R 21942 21945 21585 0 -1 4202560 7340 0 0 0 27 3 0 0 20 0 20 0 176180587 26624892928 12566 33554432000 4194304 4196468 140724583395984 140312910907456 140312906689942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21948] ppid=21942 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21948/stat : 21948 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180587 26624892928 12566 33554432000 4194304 4196468 140724583395984 140312829258768 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21949] ppid=21942 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21949/stat : 21949 (java) S 21942 21945 21585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176180587 26624892928 12566 33554432000 4194304 4196468 140724583395984 140312828206224 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21950] ppid=21942 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21950/stat : 21950 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180587 26624892928 12566 33554432000 4194304 4196468 140724583395984 140312827153168 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21951] ppid=21942 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21951/stat : 21951 (java) S 21942 21945 21585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176180587 26624892928 12566 33554432000 4194304 4196468 140724583395984 140312826100624 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21952] ppid=21942 vsize=26000872 memory=2244 CPUtime=0 cores=0-7 /proc/21945/task/21952/stat : 21952 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180587 26624892928 12566 33554432000 4194304 4196468 140724583395984 140312825047568 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21953] ppid=21942 vsize=26000872 memory=139899500065711 CPUtime=0 cores=0-7 /proc/21945/task/21953/stat : 21953 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180587 26624892928 12566 33554432000 4194304 4196468 140724583395984 140312459631248 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21954] ppid=21942 vsize=26000872 memory=139899500068016 CPUtime=0 cores=0-7 /proc/21945/task/21954/stat : 21954 (java) S 21942 21945 21585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176180587 26624892928 12566 33554432000 4194304 4196468 140724583395984 140312458578192 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21955] ppid=21942 vsize=26000872 memory=139899500070320 CPUtime=0 cores=0-7 /proc/21945/task/21955/stat : 21955 (java) S 21942 21945 21585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176180587 26624892928 12566 33554432000 4194304 4196468 140724583395984 140312457525648 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21956] ppid=21942 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21956/stat : 21956 (java) S 21942 21945 21585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176180589 26624892928 12566 33554432000 4194304 4196468 140724583395984 140311582898928 140312906689154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21957] ppid=21942 vsize=26000872 memory=279799000147600 CPUtime=0 cores=0-7 /proc/21945/task/21957/stat : 21957 (java) S 21942 21945 21585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176180589 26624892928 12566 33554432000 4194304 4196468 140724583395984 140311581845152 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21958] ppid=21942 vsize=26000872 memory=279799000154512 CPUtime=0 cores=0-7 /proc/21945/task/21958/stat : 21958 (java) S 21942 21945 21585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176180589 26624892928 12566 33554432000 4194304 4196468 140724583395984 140311580792048 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21959] ppid=21942 vsize=26000872 memory=279799000095792 CPUtime=0 cores=0-7 /proc/21945/task/21959/stat : 21959 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180592 26624892928 12566 33554432000 4194304 4196468 140724583395984 140311579740624 140312906696603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21960] ppid=21942 vsize=26000872 memory=279799000168336 CPUtime=0.04 cores=0-7 /proc/21945/task/21960/stat : 21960 (java) S 21942 21945 21585 0 -1 1077944384 569 0 0 0 4 0 0 0 20 0 20 0 176180592 26624892928 12566 33554432000 4194304 4196468 140724583395984 140311578687728 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21961] ppid=21942 vsize=26000872 memory=279799000175248 CPUtime=0.02 cores=0-7 /proc/21945/task/21961/stat : 21961 (java) S 21942 21945 21585 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 20 0 176180592 26624892928 12566 33554432000 4194304 4196468 140724583395984 140311577635184 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21962] ppid=21942 vsize=26000872 memory=279799000172944 CPUtime=0.02 cores=0-7 /proc/21945/task/21962/stat : 21962 (java) S 21942 21945 21585 0 -1 1077944384 146 0 0 0 2 0 0 0 20 0 20 0 176180592 26624892928 12566 33554432000 4194304 4196468 140724583395984 140311576582128 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21963] ppid=21942 vsize=26000872 memory=279799000189552 CPUtime=0.08 cores=0-7 /proc/21945/task/21963/stat : 21963 (java) R 21942 21945 21585 0 -1 4202560 418 0 0 0 8 0 0 0 20 0 20 0 176180592 26624892928 12566 33554432000 4194304 4196468 140724583395984 140311575529584 140312906689942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21964] ppid=21942 vsize=26000872 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21964/stat : 21964 (java) S 21942 21945 21585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176180592 26624892928 12566 33554432000 4194304 4196468 140724583395984 140311574477792 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21965] ppid=21942 vsize=26000872 memory=-1 CPUtime=0 cores=0-7 /proc/21945/task/21965/stat : 21965 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180592 26624892928 12566 33554432000 4194304 4196468 140724583395984 140311573425328 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 26000872 KiB Current children cumulated memory: 50264 KiB [startup+0.70127 s] /proc/loadavg: 8.54 8.84 8.82 5/198 21965 /proc/meminfo: memFree=19889268/32770624 swapFree=67108860/67108860 [pid=21945] ppid=21942 vsize=26004968 memory=77724 CPUtime=1.16 cores=0-7 /proc/21945/stat : 21945 (java) S 21942 21945 21585 0 -1 1077944320 12510 0 0 0 111 5 0 0 20 0 20 0 176180586 26629087232 19431 33554432000 4194304 4196468 140724583395984 140724583378528 140312906678007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 /proc/21945/statm: 6501242 19431 3751 1 0 6488956 0 [pid=21945/tid=21947] ppid=21942 vsize=26004968 memory=0 CPUtime=0.68 cores=0-7 /proc/21945/task/21947/stat : 21947 (java) R 21942 21945 21585 0 -1 4202560 8755 0 0 0 64 4 0 0 20 0 20 0 176180587 26629087232 19431 33554432000 4194304 4196468 140724583395984 140312910904896 140312890758494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21948] ppid=21942 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21948/stat : 21948 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180587 26629087232 19431 33554432000 4194304 4196468 140724583395984 140312829258768 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21949] ppid=21942 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21949/stat : 21949 (java) S 21942 21945 21585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176180587 26629087232 19431 33554432000 4194304 4196468 140724583395984 140312828206224 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21950] ppid=21942 vsize=26004968 memory=0 CPUtime=0 cores=0-7 /proc/21945/task/21950/stat : 21950 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180587 26629087232 19431 33554432000 4194304 4196468 140724583395984 140312827153168 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21951] ppid=21942 vsize=26004968 memory=1008 CPUtime=0 cores=0-7 /proc/21945/task/21951/stat : 21951 (java) S 21942 21945 21585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176180587 26629087232 19431 33554432000 4194304 4196468 140724583395984 140312826100624 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21952] ppid=21942 vsize=26004968 memory=11112 CPUtime=0 cores=0-7 /proc/21945/task/21952/stat : 21952 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180587 26629087232 19431 33554432000 4194304 4196468 140724583395984 140312825047568 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21953] ppid=21942 vsize=26004968 memory=1228 CPUtime=0 cores=0-7 /proc/21945/task/21953/stat : 21953 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176180587 26629087232 19431 33554432000 4194304 4196468 140724583395984 140312459631248 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21954] ppid=21942 vsize=26004968 memory=1420 CPUtime=0 cores=0-7 /proc/21945/task/21954/stat : 21954 (java) S 21942 21945 21585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176180587 26629087232 19431 33554432000 4194304 4196468 140724583395984 140312458578192 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21955] ppid=21942 vsize=26004968 memory=15876 CPUtime=0 cores=0-7 /proc/21945/task/21955/stat : 21955 (java) S 21942 21945 21585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176180587 26629087232 19431 33554432000 4194304 4196468 140724583395984 140312457525648 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21956] ppid=21942 vsize=26004968 memory=16448 CPUtime=0 cores=0-7 /proc/21945/task/21956/stat : 21956 (java) S 21942 21945 21585 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176180589 26629087232 19431 33554432000 4194304 4196468 140724583395984 140311582898928 140312906689154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 ################ # More data... # ################ /proc/loadavg: 8.76 8.77 8.76 10/212 22036 /proc/meminfo: memFree=18002512/32770624 swapFree=67108860/67108860 [pid=21945] ppid=21942 vsize=26945092 memory=1945696 CPUtime=19814.1 cores=0-7 /proc/21945/stat : 21945 (java) S 21942 21945 21585 0 -1 1077944320 2259018 0 0 0 1980230 1179 0 0 20 0 34 0 176180586 27591774208 486424 33554432000 4194304 4196468 140724583395984 140724583378528 140312906678007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 /proc/21945/statm: 6736273 486424 3850 1 0 6723466 0 [pid=21945/tid=21947] ppid=21942 vsize=26945092 memory=1200 CPUtime=9.94 cores=0-7 /proc/21945/task/21947/stat : 21947 (java) S 21942 21945 21585 0 -1 1077944384 14274 0 0 0 975 19 0 0 20 0 34 0 176180587 27591774208 486424 33554432000 4194304 4196468 140724583395984 140312910915712 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21948] ppid=21942 vsize=26945092 memory=8780 CPUtime=10.4 cores=0-7 /proc/21945/task/21948/stat : 21948 (java) S 21942 21945 21585 0 -1 1077944384 140329 0 0 0 976 64 0 0 20 0 34 0 176180587 27591774208 486424 33554432000 4194304 4196468 140724583395984 140312829258768 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 63 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21949] ppid=21942 vsize=26945092 memory=4126316290023845779 CPUtime=10.4 cores=0-7 /proc/21945/task/21949/stat : 21949 (java) S 21942 21945 21585 0 -1 1077944384 137977 0 0 0 973 67 0 0 20 0 34 0 176180587 27591774208 486424 33554432000 4194304 4196468 140724583395984 140312828206224 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 63 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21950] ppid=21942 vsize=26945092 memory=4616 CPUtime=10.38 cores=0-7 /proc/21945/task/21950/stat : 21950 (java) S 21942 21945 21585 0 -1 1077944384 136392 0 0 0 977 61 0 0 20 0 34 0 176180587 27591774208 486424 33554432000 4194304 4196468 140724583395984 140312827153168 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 64 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21951] ppid=21942 vsize=26945092 memory=1008 CPUtime=10.44 cores=0-7 /proc/21945/task/21951/stat : 21951 (java) S 21942 21945 21585 0 -1 1077944384 139719 0 0 0 987 57 0 0 20 0 34 0 176180587 27591774208 486424 33554432000 4194304 4196468 140724583395984 140312826100624 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 64 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21952] ppid=21942 vsize=26945092 memory=11112 CPUtime=10.42 cores=0-7 /proc/21945/task/21952/stat : 21952 (java) S 21942 21945 21585 0 -1 1077944384 135623 0 0 0 980 62 0 0 20 0 34 0 176180587 27591774208 486424 33554432000 4194304 4196468 140724583395984 140312825047568 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 64 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21953] ppid=21942 vsize=26945092 memory=1228 CPUtime=10.47 cores=0-7 /proc/21945/task/21953/stat : 21953 (java) S 21942 21945 21585 0 -1 1077944384 130552 0 0 0 987 60 0 0 20 0 34 0 176180587 27591774208 486424 33554432000 4194304 4196468 140724583395984 140312459631248 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 65 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21954] ppid=21942 vsize=26945092 memory=1420 CPUtime=10.43 cores=0-7 /proc/21945/task/21954/stat : 21954 (java) S 21942 21945 21585 0 -1 1077944384 132343 0 0 0 987 56 0 0 20 0 34 0 176180587 27591774208 486424 33554432000 4194304 4196468 140724583395984 140312458578192 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 63 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21955] ppid=21942 vsize=26945092 memory=15876 CPUtime=10.45 cores=0-7 /proc/21945/task/21955/stat : 21955 (java) S 21942 21945 21585 0 -1 1077944384 147185 0 0 0 980 65 0 0 20 0 34 0 176180587 27591774208 486424 33554432000 4194304 4196468 140724583395984 140312457525648 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 62 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21956] ppid=21942 vsize=26945092 memory=16448 CPUtime=11.07 cores=0-7 /proc/21945/task/21956/stat : 21956 (java) S 21942 21945 21585 0 -1 1077944384 306375 0 0 0 937 170 0 0 20 0 34 0 176180589 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311582898928 140312906689154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21957] ppid=21942 vsize=26945092 memory=27212 CPUtime=0 cores=0-7 /proc/21945/task/21957/stat : 21957 (java) S 21942 21945 21585 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 34 0 176180589 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311581845216 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21958] ppid=21942 vsize=26945092 memory=4048 CPUtime=0 cores=0-7 /proc/21945/task/21958/stat : 21958 (java) S 21942 21945 21585 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 34 0 176180589 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311580792064 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21959] ppid=21942 vsize=26945092 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/21945/task/21959/stat : 21959 (java) S 21942 21945 21585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 176180592 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311579740624 140312906696603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21960] ppid=21942 vsize=26945092 memory=1156 CPUtime=0.9 cores=0-7 /proc/21945/task/21960/stat : 21960 (java) S 21942 21945 21585 0 -1 1077944384 5808 0 0 0 88 2 0 0 20 0 34 0 176180592 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311578687728 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21961] ppid=21942 vsize=26945092 memory=1949296 CPUtime=1.06 cores=0-7 /proc/21945/task/21961/stat : 21961 (java) S 21942 21945 21585 0 -1 1077944384 7605 0 0 0 104 2 0 0 20 0 34 0 176180592 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311577635184 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21962] ppid=21942 vsize=26945092 memory=1945696 CPUtime=0.99 cores=0-7 /proc/21945/task/21962/stat : 21962 (java) S 21942 21945 21585 0 -1 1077944384 6016 0 0 0 98 1 0 0 20 0 34 0 176180592 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311576582128 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21963] ppid=21942 vsize=26945092 memory=2240 CPUtime=0.8 cores=0-7 /proc/21945/task/21963/stat : 21963 (java) S 21942 21945 21585 0 -1 1077944384 17600 0 0 0 76 4 0 0 20 0 34 0 176180592 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311575529584 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21964] ppid=21942 vsize=26945092 memory=4128 CPUtime=0 cores=0-7 /proc/21945/task/21964/stat : 21964 (java) S 21942 21945 21585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 176180592 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311574477792 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21965] ppid=21942 vsize=26945092 memory=2196 CPUtime=0.68 cores=0-7 /proc/21945/task/21965/stat : 21965 (java) S 21942 21945 21585 0 -1 1077944384 15338 0 0 0 18 50 0 0 20 0 34 0 176180592 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311573425328 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21966] ppid=21942 vsize=26945092 memory=8040 CPUtime=0 cores=0-7 /proc/21945/task/21966/stat : 21966 (java) S 21942 21945 21585 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 34 0 176181571 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311563133952 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21967] ppid=21942 vsize=26945092 memory=840 CPUtime=1.87 cores=0-7 /proc/21945/task/21967/stat : 21967 (java) R 21942 21945 21585 0 -1 1077944384 27913 0 0 0 67 120 0 0 20 0 34 0 176181583 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311559984544 140312906689154 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21968] ppid=21942 vsize=26945092 memory=1696 CPUtime=2463.93 cores=0-7 /proc/21945/task/21968/stat : 21968 (java) R 21942 21945 21585 0 -1 4202560 101515 0 0 0 246332 61 0 0 20 0 34 0 176181592 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311558927376 140312508782032 0 4 0 16800975 0 0 0 -1 3 0 0 41 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21969] ppid=21942 vsize=26945092 memory=920 CPUtime=2263.74 cores=0-7 /proc/21945/task/21969/stat : 21969 (java) R 21942 21945 21585 0 -1 4202560 87398 0 0 0 226318 56 0 0 20 0 34 0 176181593 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311555775000 140312510326950 0 4 0 16800975 0 0 0 -1 0 0 0 39 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21970] ppid=21942 vsize=26945092 memory=1945696 CPUtime=2458.55 cores=0-7 /proc/21945/task/21970/stat : 21970 (java) R 21942 21945 21585 0 -1 4202560 89684 0 0 0 245798 57 0 0 20 0 34 0 176181594 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311554721696 140312513546978 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21971] ppid=21942 vsize=26945092 memory=1945696 CPUtime=2462.33 cores=0-7 /proc/21945/task/21971/stat : 21971 (java) R 21942 21945 21585 0 -1 4202560 94625 0 0 0 246167 66 0 0 20 0 34 0 176181596 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311553670152 140312513799024 0 4 0 16800975 0 0 0 -1 6 0 0 44 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21972] ppid=21942 vsize=26945092 memory=288230583166042425 CPUtime=0.11 cores=0-7 /proc/21945/task/21972/stat : 21972 (java) S 21942 21945 21585 0 -1 1077944384 176 0 0 0 11 0 0 0 20 0 34 0 176181596 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311552624048 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21973] ppid=21942 vsize=26945092 memory=15816694648015424 CPUtime=201.51 cores=0-7 /proc/21945/task/21973/stat : 21973 (java) S 21942 21945 21585 0 -1 1077944384 6668 0 0 0 20147 4 0 0 20 0 34 0 176181596 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311551571504 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21974] ppid=21942 vsize=26945092 memory=4126316290023845779 CPUtime=0.21 cores=0-7 /proc/21945/task/21974/stat : 21974 (java) S 21942 21945 21585 0 -1 1077944384 135 0 0 0 21 0 0 0 20 0 34 0 176181596 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311550518448 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21975] ppid=21942 vsize=26945092 memory=1716 CPUtime=2463.52 cores=0-7 /proc/21945/task/21975/stat : 21975 (java) R 21942 21945 21585 0 -1 4202560 91905 0 0 0 246284 68 0 0 20 0 34 0 176181596 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311549459160 140312513812645 0 4 0 16800975 0 0 0 -1 5 0 0 37 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21976] ppid=21942 vsize=26945092 memory=796 CPUtime=2463.31 cores=0-7 /proc/21945/task/21976/stat : 21976 (java) R 21942 21945 21585 0 -1 4202560 94947 0 0 0 246264 67 0 0 20 0 34 0 176181596 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311481273480 140312513812522 0 4 0 16800975 0 0 0 -1 4 0 0 41 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21977] ppid=21942 vsize=26945092 memory=15876 CPUtime=2462.34 cores=0-7 /proc/21945/task/21977/stat : 21977 (java) R 21942 21945 21585 0 -1 4202560 91856 0 0 0 246172 62 0 0 20 0 34 0 176181596 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311480220136 140312513959667 0 4 0 16800975 0 0 0 -1 7 0 0 37 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21978] ppid=21942 vsize=26945092 memory=16448 CPUtime=2463.58 cores=0-7 /proc/21945/task/21978/stat : 21978 (java) R 21942 21945 21585 0 -1 4202560 97397 0 0 0 246298 60 0 0 20 0 34 0 176181596 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311479166960 140312513547101 0 4 0 16800975 0 0 0 -1 2 0 0 46 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21979] ppid=21942 vsize=26945092 memory=1945696 CPUtime=0 cores=0-7 /proc/21945/task/21979/stat : 21979 (java) S 21942 21945 21585 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 34 0 176181596 27591774208 486424 33554432000 4194304 4196468 140724583395984 140311478121248 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 Current children cumulated CPU time: 19814.1 s Current children cumulated vsize: 26945092 KiB Current children cumulated memory: 1945696 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.15 s] # the end of solver process 21945 was just reported to runsolver # cumulated CPU time of all completed processes: user=19803.3 s, system=11.8126 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.13 s] /proc/loadavg: 8.76 8.77 8.76 10/212 22036 /proc/meminfo: memFree=18002512/32770624 swapFree=67108860/67108860 [pid=21945] ppid=21942 vsize=27078220 memory=1945820 CPUtime=19815.1 cores=0-7 /proc/21945/stat : 21945 (java) S 21942 21945 21585 0 -1 1077944320 2259476 0 0 0 1980328 1180 0 0 20 0 35 0 176180586 27728097280 486455 33554432000 4194304 4196468 140724583395984 140724583378528 140312906678007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 /proc/21945/statm: 6769555 486455 3852 1 0 6756748 0 [pid=21945/tid=21947] ppid=21942 vsize=27078220 memory=1945696 CPUtime=9.94 cores=0-7 /proc/21945/task/21947/stat : 21947 (java) S 21942 21945 21585 0 -1 1077944384 14274 0 0 0 975 19 0 0 20 0 34 0 176180587 27728097280 486455 33554432000 4194304 4196468 140724583395984 140312910915712 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21948] ppid=21942 vsize=27078220 memory=188712273095584 CPUtime=10.4 cores=0-7 /proc/21945/task/21948/stat : 21948 (java) S 21942 21945 21585 0 -1 1077944384 140329 0 0 0 976 64 0 0 20 0 34 0 176180587 27728097280 486455 33554432000 4194304 4196468 140724583395984 140312829258768 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 63 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21949] ppid=21942 vsize=27078220 memory=1945696 CPUtime=10.4 cores=0-7 /proc/21945/task/21949/stat : 21949 (java) S 21942 21945 21585 0 -1 1077944384 137984 0 0 0 973 67 0 0 20 0 34 0 176180587 27728097280 486455 33554432000 4194304 4196468 140724583395984 140312828206224 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 63 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21950] ppid=21942 vsize=27078220 memory=1945696 CPUtime=10.38 cores=0-7 /proc/21945/task/21950/stat : 21950 (java) S 21942 21945 21585 0 -1 1077944384 136392 0 0 0 977 61 0 0 20 0 34 0 176180587 27728097280 486455 33554432000 4194304 4196468 140724583395984 140312827153168 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 64 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21951] ppid=21942 vsize=27078220 memory=1945696 CPUtime=10.44 cores=0-7 /proc/21945/task/21951/stat : 21951 (java) S 21942 21945 21585 0 -1 1077944384 139719 0 0 0 987 57 0 0 20 0 34 0 176180587 27728097280 486455 33554432000 4194304 4196468 140724583395984 140312826100624 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 64 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21952] ppid=21942 vsize=27078220 memory=0 CPUtime=10.42 cores=0-7 /proc/21945/task/21952/stat : 21952 (java) S 21942 21945 21585 0 -1 1077944384 135623 0 0 0 980 62 0 0 20 0 34 0 176180587 27728097280 486455 33554432000 4194304 4196468 140724583395984 140312825047568 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 64 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21953] ppid=21942 vsize=27078220 memory=1945696 CPUtime=10.47 cores=0-7 /proc/21945/task/21953/stat : 21953 (java) S 21942 21945 21585 0 -1 1077944384 130557 0 0 0 987 60 0 0 20 0 34 0 176180587 27728097280 486455 33554432000 4194304 4196468 140724583395984 140312459631248 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 65 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21954] ppid=21942 vsize=27078220 memory=1945696 CPUtime=10.43 cores=0-7 /proc/21945/task/21954/stat : 21954 (java) S 21942 21945 21585 0 -1 1077944384 132343 0 0 0 987 56 0 0 20 0 34 0 176180587 27728097280 486455 33554432000 4194304 4196468 140724583395984 140312458578192 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 63 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21955] ppid=21942 vsize=27078220 memory=0 CPUtime=10.45 cores=0-7 /proc/21945/task/21955/stat : 21955 (java) S 21942 21945 21585 0 -1 1077944384 147186 0 0 0 980 65 0 0 20 0 34 0 176180587 27728097280 486455 33554432000 4194304 4196468 140724583395984 140312457525648 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 62 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21956] ppid=21942 vsize=27078220 memory=0 CPUtime=11.07 cores=0-7 /proc/21945/task/21956/stat : 21956 (java) R 21942 21945 21585 0 -1 1077944384 306376 0 0 0 937 170 0 0 20 0 34 0 176180589 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311582898928 140312906689154 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21957] ppid=21942 vsize=27078220 memory=920 CPUtime=0 cores=0-7 /proc/21945/task/21957/stat : 21957 (java) S 21942 21945 21585 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 34 0 176180589 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311581845216 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21958] ppid=21942 vsize=27078220 memory=4316 CPUtime=0 cores=0-7 /proc/21945/task/21958/stat : 21958 (java) S 21942 21945 21585 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 34 0 176180589 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311580792064 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21959] ppid=21942 vsize=27078220 memory=15876 CPUtime=0 cores=0-7 /proc/21945/task/21959/stat : 21959 (java) R 21942 21945 21585 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 34 0 176180592 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311579740624 140312906696603 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21960] ppid=21942 vsize=27078220 memory=16448 CPUtime=0.9 cores=0-7 /proc/21945/task/21960/stat : 21960 (java) S 21942 21945 21585 0 -1 1077944384 5810 0 0 0 88 2 0 0 20 0 34 0 176180592 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311578687728 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21961] ppid=21942 vsize=27078220 memory=27212 CPUtime=1.06 cores=0-7 /proc/21945/task/21961/stat : 21961 (java) S 21942 21945 21585 0 -1 1077944384 7605 0 0 0 104 2 0 0 20 0 34 0 176180592 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311577635184 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21962] ppid=21942 vsize=27078220 memory=1945696 CPUtime=0.99 cores=0-7 /proc/21945/task/21962/stat : 21962 (java) S 21942 21945 21585 0 -1 1077944384 6018 0 0 0 98 1 0 0 20 0 34 0 176180592 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311576582128 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21963] ppid=21942 vsize=27078220 memory=288230583166042425 CPUtime=0.8 cores=0-7 /proc/21945/task/21963/stat : 21963 (java) S 21942 21945 21585 0 -1 1077944384 17602 0 0 0 76 4 0 0 20 0 34 0 176180592 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311575529584 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21964] ppid=21942 vsize=27078220 memory=15816694648015424 CPUtime=0 cores=0-7 /proc/21945/task/21964/stat : 21964 (java) S 21942 21945 21585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 176180592 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311574477792 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21966] ppid=21942 vsize=27078220 memory=1945696 CPUtime=0 cores=0-7 /proc/21945/task/21966/stat : 21966 (java) S 21942 21945 21585 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 34 0 176181571 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311563133952 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21967] ppid=21942 vsize=27078220 memory=1945696 CPUtime=1.87 cores=0-7 /proc/21945/task/21967/stat : 21967 (java) S 21942 21945 21585 0 -1 1077944384 27913 0 0 0 67 120 0 0 20 0 34 0 176181583 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311559984544 140312906689154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21968] ppid=21942 vsize=27078220 memory=6791534058613427641 CPUtime=2464.06 cores=0-7 /proc/21945/task/21968/stat : 21968 (java) R 21942 21945 21585 0 -1 4202560 101554 0 0 0 246345 61 0 0 20 0 34 0 176181592 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311558925224 140312508782634 0 4 0 16800975 0 0 0 -1 3 0 0 41 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21969] ppid=21942 vsize=27078220 memory=48904 CPUtime=2263.86 cores=0-7 /proc/21945/task/21969/stat : 21969 (java) R 21942 21945 21585 0 -1 4202560 87423 0 0 0 226330 56 0 0 20 0 34 0 176181593 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311555775456 140312513799698 0 4 0 16800975 0 0 0 -1 0 0 0 39 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21970] ppid=21942 vsize=27078220 memory=1296 CPUtime=2458.67 cores=0-7 /proc/21945/task/21970/stat : 21970 (java) R 21942 21945 21585 0 -1 4202560 89719 0 0 0 245810 57 0 0 20 0 34 0 176181594 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311554722536 140312513799287 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21971] ppid=21942 vsize=27078220 memory=1945696 CPUtime=2462.45 cores=0-7 /proc/21945/task/21971/stat : 21971 (java) R 21942 21945 21585 0 -1 4202560 94664 0 0 0 246179 66 0 0 20 0 34 0 176181596 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311553669184 140312513812327 0 4 0 16800975 0 0 0 -1 2 0 0 44 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21972] ppid=21942 vsize=27078220 memory=1945696 CPUtime=0.11 cores=0-7 /proc/21945/task/21972/stat : 21972 (java) S 21942 21945 21585 0 -1 1077944384 176 0 0 0 11 0 0 0 20 0 34 0 176181596 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311552624048 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21973] ppid=21942 vsize=27078220 memory=1949296 CPUtime=201.51 cores=0-7 /proc/21945/task/21973/stat : 21973 (java) S 21942 21945 21585 0 -1 1077944384 6668 0 0 0 20147 4 0 0 20 0 34 0 176181596 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311551571504 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21974] ppid=21942 vsize=27078220 memory=7230641796079378536 CPUtime=0.21 cores=0-7 /proc/21945/task/21974/stat : 21974 (java) S 21942 21945 21585 0 -1 1077944384 135 0 0 0 21 0 0 0 20 0 34 0 176181596 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311550518448 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21975] ppid=21942 vsize=27078220 memory=1945696 CPUtime=2463.64 cores=0-7 /proc/21945/task/21975/stat : 21975 (java) R 21942 21945 21585 0 -1 4202560 91941 0 0 0 246296 68 0 0 20 0 34 0 176181596 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311549462216 140312510327125 0 4 0 16800975 0 0 0 -1 5 0 0 37 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21976] ppid=21942 vsize=27078220 memory=4140 CPUtime=2463.43 cores=0-7 /proc/21945/task/21976/stat : 21976 (java) R 21942 21945 21585 0 -1 4202560 94968 0 0 0 246276 67 0 0 20 0 34 0 176181596 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311481272680 140312513547136 0 4 0 16800975 0 0 0 -1 6 0 0 41 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21977] ppid=21942 vsize=27078220 memory=1945696 CPUtime=2462.46 cores=0-7 /proc/21945/task/21977/stat : 21977 (java) R 21942 21945 21585 0 -1 4202560 91888 0 0 0 246184 62 0 0 20 0 34 0 176181596 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311480223584 140312513813004 0 4 0 16800975 0 0 0 -1 7 0 0 37 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21978] ppid=21942 vsize=27078220 memory=1945696 CPUtime=2463.7 cores=0-7 /proc/21945/task/21978/stat : 21978 (java) R 21942 21945 21585 0 -1 4202560 97429 0 0 0 246310 60 0 0 20 0 34 0 176181596 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311479167624 140312891055120 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 [pid=21945/tid=21979] ppid=21942 vsize=27078220 memory=1945696 CPUtime=0 cores=0-7 /proc/21945/task/21979/stat : 21979 (java) S 21942 21945 21585 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 34 0 176181596 27728097280 486455 33554432000 4194304 4196468 140724583395984 140311478121248 140312906688213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19279872 140724583400546 140724583400731 140724583400731 140724583403471 0 Current children cumulated CPU time: 19815.1 s Current children cumulated vsize: 27078220 KiB Current children cumulated memory: 1945820 KiB Child status: 143 Real time (s): 2520.15 CPU time (s): 19815.1 CPU user time (s): 19803.3 CPU system time (s): 11.8126 CPU usage (%): 786.267 Max. virtual memory (cumulated for all children) (KiB): 27078220 Max. memory (cumulated for all children) (KiB): 2126788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19803.3 system time used= 11.8126 maximum resident set size= 2126788 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2259511 page faults= 0 swaps= 0 block input operations= 0 block output operations= 5336 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1064287 involuntary context switches= 451092 # summary of solver processes directly reported to runsolver: # pid: 21945 # total CPU time (s): 19815.1 # total CPU user time (s): 19803.3 # total CPU system time (s): 11.8126 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.0887 second user time and 32.0025 second system time The end
Begin job on node104 at 2017-08-22 21:27:48 IDJOB=4284767 IDBENCH=126221 IDSOLVER=2681 FILE ID=node104/4284767-1503430929 RUNJOBID= node104-1503425023-21612 PBS_JOBID= 20632135 Free space on /tmp= 61108 MiB SOLVER NAME= OscaR - Parallel with EPS 2017-08-22 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-15-a3.xml COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4284767-1503430929/watcher-4284767-1503430929 -o /tmp/evaluation-result-4284767-1503430929/solver-4284767-1503430929 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503425023-21612 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 421139366 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284767-1503430929.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0ccf44bf6198d309f3039e2504907429 RANDOM SEED=421139366 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 19937116 kB MemAvailable: 31937928 kB Buffers: 239328 kB Cached: 12033300 kB SwapCached: 0 kB Active: 4245108 kB Inactive: 8077552 kB Active(anon): 5052 kB Inactive(anon): 89460 kB Active(file): 4240056 kB Inactive(file): 7988092 kB Unevictable: 7824 kB Mlocked: 7824 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42300 kB Writeback: 0 kB AnonPages: 58084 kB Mapped: 54996 kB Shmem: 41612 kB Slab: 203620 kB SReclaimable: 177000 kB SUnreclaim: 26620 kB KernelStack: 3184 kB PageTables: 4920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 341384 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 61064 MiB End job on node104 at 2017-08-22 22:09:49