Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-07-02 | UNSAT | 9.00397 | 3.31689 |
Name | MagicHexagon/ MagicHexagon-04-0017_c18.xml |
MD5SUM | 5026d1a6c388113c28cc4e99e58b99c3 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 9.00397 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 49 |
Number of constraints | 28 |
Number of domains | 1 |
Minimum domain size | 37 |
Maximum domain size | 37 |
Distribution of domain sizes | [{"size":37,"count":37}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":12},{"degree":4,"count":31},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 37 |
Distribution of constraint arities | [{"arity":2,"count":6},{"arity":4,"count":6},{"arity":5,"count":6},{"arity":6,"count":6},{"arity":7,"count":3},{"arity":37,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 6 |
Distribution of constraint types | [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":21}] |
Optimization problem | NO |
Type of objective |
0.66/0.55 c version: 2018-07-02 0.66/0.55 c seed: 263450654 0.66/0.55 c timeout: 20160 0.66/0.55 c memlimit: 22000 0.66/0.55 c nbcore: 8 0.66/0.58 c Parsing instance... 1.17/0.85 c Parsing done, starting search... 8.38/3.29 s UNSATISFIABLE
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 (14394 MiB free) memory of node 1: 16384 MiB (13305 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291270-1532674257/watcher-4291270-1532674257 -o /tmp/evaluation-result-4291270-1532674257/solver-4291270-1532674257 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532674257-15990 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 263450654 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291270-1532674257.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=16007, runsolver pid=16004 Current StackSize limit: 8192 KiB [startup+0.108397 s]* /proc/loadavg: 8.56 8.61 8.77 2/199 16027 /proc/meminfo: memFree=28346520/32770624 swapFree=67108860/67108860 [pid=16007] ppid=16004 vsize=26103424 memory=32168 CPUtime=0.12 cores=0-7 /proc/16007/stat : 16007 (java) S 16004 16007 15963 0 -1 1077944320 7457 0 0 0 11 1 0 0 20 0 20 0 84988888 26729906176 8042 33554432000 4194304 4196468 140735150564864 140735150547408 140087059943159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 /proc/16007/statm: 6525856 8042 3146 1 0 6487932 0 [pid=16007/tid=16009] ppid=16004 vsize=26103424 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/16007/task/16009/stat : 16009 (java) R 16004 16007 15963 0 -1 4202560 5506 0 0 0 8 1 0 0 20 0 20 0 84988889 26729906176 8042 33554432000 4194304 4196468 140735150564864 140087064170480 140087052621173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16010] ppid=16004 vsize=26103424 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/16007/task/16010/stat : 16010 (java) S 16004 16007 15963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 8042 33554432000 4194304 4196468 140735150564864 140087012563216 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16011] ppid=16004 vsize=26103424 memory=139760861009536 CPUtime=0 cores=0-7 /proc/16007/task/16011/stat : 16011 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 8042 33554432000 4194304 4196468 140735150564864 140087011510672 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16012] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16012/stat : 16012 (java) S 16004 16007 15963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 8042 33554432000 4194304 4196468 140735150564864 140087010458128 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16013] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16013/stat : 16013 (java) S 16004 16007 15963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 8042 33554432000 4194304 4196468 140735150564864 140087009405584 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16014] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16014/stat : 16014 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 8042 33554432000 4194304 4196468 140735150564864 140087008353040 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16015] ppid=16004 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/16007/task/16015/stat : 16015 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 8042 33554432000 4194304 4196468 140735150564864 140087007300496 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16016] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16016/stat : 16016 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 8042 33554432000 4194304 4196468 140735150564864 140087006247952 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16017] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16017/stat : 16017 (java) S 16004 16007 15963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 8042 33554432000 4194304 4196468 140735150564864 140087005195408 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16018] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16018/stat : 16018 (java) S 16004 16007 15963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84988891 26729906176 8042 33554432000 4194304 4196468 140735150564864 140085332776944 140087059954306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16019] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16019/stat : 16019 (java) S 16004 16007 15963 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 84988891 26729906176 8042 33554432000 4194304 4196468 140735150564864 140085331723168 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16020] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16020/stat : 16020 (java) S 16004 16007 15963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84988891 26729906176 8042 33554432000 4194304 4196468 140735150564864 140085330670576 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16021] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16021/stat : 16021 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988894 26729906176 8042 33554432000 4194304 4196468 140735150564864 140085329619152 140087059961755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16022] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16022/stat : 16022 (java) S 16004 16007 15963 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 84988894 26729906176 8042 33554432000 4194304 4196468 140735150564864 140085328566768 140087059954306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16023] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16023/stat : 16023 (java) R 16004 16007 15963 0 -1 4202560 271 0 0 0 0 0 0 0 20 0 20 0 84988894 26729906176 8042 33554432000 4194304 4196468 140735150564864 140085327514224 140087059955094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16024] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16024/stat : 16024 (java) S 16004 16007 15963 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 84988894 26729906176 8042 33554432000 4194304 4196468 140735150564864 140085326461680 140087059954306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16025] ppid=16004 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/16007/task/16025/stat : 16025 (java) R 16004 16007 15963 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 84988894 26729906176 8042 33554432000 4194304 4196468 140735150564864 140084882791280 140087038462672 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16026] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16026/stat : 16026 (java) S 16004 16007 15963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84988894 26729906176 8042 33554432000 4194304 4196468 140735150564864 140084881737952 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16027] ppid=16004 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/16007/task/16027/stat : 16027 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988894 26729906176 8042 33554432000 4194304 4196468 140735150564864 140084880685488 140087059954306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 32168 KiB [startup+0.210244 s]* /proc/loadavg: 8.56 8.61 8.77 3/199 16027 /proc/meminfo: memFree=28335032/32770624 swapFree=67108860/67108860 [pid=16007] ppid=16004 vsize=26103424 memory=43076 CPUtime=0.3 cores=0-7 /proc/16007/stat : 16007 (java) S 16004 16007 15963 0 -1 1077944320 10437 0 0 0 27 3 0 0 20 0 20 0 84988888 26729906176 10769 33554432000 4194304 4196468 140735150564864 140735150547408 140087059943159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 /proc/16007/statm: 6525856 10769 3338 1 0 6487932 0 [pid=16007/tid=16009] ppid=16004 vsize=26103424 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/16007/task/16009/stat : 16009 (java) R 16004 16007 15963 0 -1 4202560 8205 0 0 0 18 2 0 0 20 0 20 0 84988889 26729906176 10769 33554432000 4194304 4196468 140735150564864 140087064169872 140087044023676 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16010] ppid=16004 vsize=26103424 memory=14857 CPUtime=0 cores=0-7 /proc/16007/task/16010/stat : 16010 (java) S 16004 16007 15963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 10769 33554432000 4194304 4196468 140735150564864 140087012563216 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16011] ppid=16004 vsize=26103424 memory=288370137012721280 CPUtime=0 cores=0-7 /proc/16007/task/16011/stat : 16011 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 10769 33554432000 4194304 4196468 140735150564864 140087011510672 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16012] ppid=16004 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/16007/task/16012/stat : 16012 (java) S 16004 16007 15963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 10769 33554432000 4194304 4196468 140735150564864 140087010458128 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16013] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16013/stat : 16013 (java) S 16004 16007 15963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 10769 33554432000 4194304 4196468 140735150564864 140087009405584 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16014] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16014/stat : 16014 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 10769 33554432000 4194304 4196468 140735150564864 140087008353040 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16015] ppid=16004 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/16007/task/16015/stat : 16015 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 10769 33554432000 4194304 4196468 140735150564864 140087007300496 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16016] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16016/stat : 16016 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 10769 33554432000 4194304 4196468 140735150564864 140087006247952 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16017] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16017/stat : 16017 (java) S 16004 16007 15963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 10769 33554432000 4194304 4196468 140735150564864 140087005195408 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16018] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16018/stat : 16018 (java) S 16004 16007 15963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84988891 26729906176 10769 33554432000 4194304 4196468 140735150564864 140085332776944 140087059954306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16019] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16019/stat : 16019 (java) S 16004 16007 15963 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 84988891 26729906176 10769 33554432000 4194304 4196468 140735150564864 140085331723168 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16020] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16020/stat : 16020 (java) S 16004 16007 15963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84988891 26729906176 10769 33554432000 4194304 4196468 140735150564864 140085330670576 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16021] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16021/stat : 16021 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988894 26729906176 10769 33554432000 4194304 4196468 140735150564864 140085329619152 140087059961755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16022] ppid=16004 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/16007/task/16022/stat : 16022 (java) S 16004 16007 15963 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 84988894 26729906176 10769 33554432000 4194304 4196468 140735150564864 140085328566768 140087059954306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16023] ppid=16004 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7 /proc/16007/task/16023/stat : 16023 (java) S 16004 16007 15963 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 20 0 84988894 26729906176 10769 33554432000 4194304 4196468 140735150564864 140085327514224 140087059954306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16024] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16024/stat : 16024 (java) S 16004 16007 15963 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 84988894 26729906176 10769 33554432000 4194304 4196468 140735150564864 140085326461680 140087059954306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16025] ppid=16004 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7 /proc/16007/task/16025/stat : 16025 (java) S 16004 16007 15963 0 -1 1077944384 307 0 0 0 6 0 0 0 20 0 20 0 84988894 26729906176 10769 33554432000 4194304 4196468 140735150564864 140084882791280 140087059954306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16026] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16026/stat : 16026 (java) S 16004 16007 15963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84988894 26729906176 10769 33554432000 4194304 4196468 140735150564864 140084881737952 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16027] ppid=16004 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/16007/task/16027/stat : 16027 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988894 26729906176 10769 33554432000 4194304 4196468 140735150564864 140084880685488 140087059954306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 43076 KiB [startup+0.310474 s]* /proc/loadavg: 8.56 8.61 8.77 2/199 16027 /proc/meminfo: memFree=28331000/32770624 swapFree=67108860/67108860 [pid=16007] ppid=16004 vsize=26103424 memory=46608 CPUtime=0.42 cores=0-7 /proc/16007/stat : 16007 (java) S 16004 16007 15963 0 -1 1077944320 10896 0 0 0 39 3 0 0 20 0 20 0 84988888 26729906176 11652 33554432000 4194304 4196468 140735150564864 140735150547408 140087059943159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 /proc/16007/statm: 6525856 11652 3363 1 0 6487932 0 [pid=16007/tid=16009] ppid=16004 vsize=26103424 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/16007/task/16009/stat : 16009 (java) R 16004 16007 15963 0 -1 4202560 8556 0 0 0 27 2 0 0 20 0 20 0 84988889 26729906176 11652 33554432000 4194304 4196468 140735150564864 140087064125040 140087040218983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16010] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16010/stat : 16010 (java) S 16004 16007 15963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 11652 33554432000 4194304 4196468 140735150564864 140087012563216 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16011] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16011/stat : 16011 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 11652 33554432000 4194304 4196468 140735150564864 140087011510672 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16012] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16012/stat : 16012 (java) S 16004 16007 15963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 11652 33554432000 4194304 4196468 140735150564864 140087010458128 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16013] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16013/stat : 16013 (java) S 16004 16007 15963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 11652 33554432000 4194304 4196468 140735150564864 140087009405584 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16014] ppid=16004 vsize=26103424 memory=2244 CPUtime=0 cores=0-7 /proc/16007/task/16014/stat : 16014 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 11652 33554432000 4194304 4196468 140735150564864 140087008353040 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16015] ppid=16004 vsize=26103424 memory=139760718934959 CPUtime=0 cores=0-7 /proc/16007/task/16015/stat : 16015 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 11652 33554432000 4194304 4196468 140735150564864 140087007300496 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16016] ppid=16004 vsize=26103424 memory=139760718937264 CPUtime=0 cores=0-7 /proc/16007/task/16016/stat : 16016 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 11652 33554432000 4194304 4196468 140735150564864 140087006247952 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16017] ppid=16004 vsize=26103424 memory=139760718939568 CPUtime=0 cores=0-7 /proc/16007/task/16017/stat : 16017 (java) S 16004 16007 15963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84988889 26729906176 11652 33554432000 4194304 4196468 140735150564864 140087005195408 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16018] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16018/stat : 16018 (java) S 16004 16007 15963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84988891 26729906176 11652 33554432000 4194304 4196468 140735150564864 140085332776944 140087059954306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16019] ppid=16004 vsize=26103424 memory=279521437886096 CPUtime=0 cores=0-7 /proc/16007/task/16019/stat : 16019 (java) S 16004 16007 15963 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 84988891 26729906176 11652 33554432000 4194304 4196468 140735150564864 140085331723168 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16020] ppid=16004 vsize=26103424 memory=279521437893008 CPUtime=0 cores=0-7 /proc/16007/task/16020/stat : 16020 (java) S 16004 16007 15963 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84988891 26729906176 11652 33554432000 4194304 4196468 140735150564864 140085330670576 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16021] ppid=16004 vsize=26103424 memory=279521437834288 CPUtime=0 cores=0-7 /proc/16007/task/16021/stat : 16021 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988894 26729906176 11652 33554432000 4194304 4196468 140735150564864 140085329619152 140087059961755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16022] ppid=16004 vsize=26103424 memory=279521437906832 CPUtime=0.01 cores=0-7 /proc/16007/task/16022/stat : 16022 (java) S 16004 16007 15963 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 84988894 26729906176 11652 33554432000 4194304 4196468 140735150564864 140085328566768 140087059954306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16023] ppid=16004 vsize=26103424 memory=279521437913744 CPUtime=0.01 cores=0-7 /proc/16007/task/16023/stat : 16023 (java) S 16004 16007 15963 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 20 0 84988894 26729906176 11652 33554432000 4194304 4196468 140735150564864 140085327514224 140087059954306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16024] ppid=16004 vsize=26103424 memory=279521437911440 CPUtime=0.01 cores=0-7 /proc/16007/task/16024/stat : 16024 (java) S 16004 16007 15963 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 20 0 84988894 26729906176 11652 33554432000 4194304 4196468 140735150564864 140085326461680 140087059954306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16025] ppid=16004 vsize=26103424 memory=279521437928048 CPUtime=0.07 cores=0-7 /proc/16007/task/16025/stat : 16025 (java) S 16004 16007 15963 0 -1 1077944384 322 0 0 0 7 0 0 0 20 0 20 0 84988894 26729906176 11652 33554432000 4194304 4196468 140735150564864 140084882791280 140087059954306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16026] ppid=16004 vsize=26103424 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16026/stat : 16026 (java) S 16004 16007 15963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84988894 26729906176 11652 33554432000 4194304 4196468 140735150564864 140084881737952 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16027] ppid=16004 vsize=26103424 memory=-1 CPUtime=0 cores=0-7 /proc/16007/task/16027/stat : 16027 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988894 26729906176 11652 33554432000 4194304 4196468 140735150564864 140084880685488 140087059954306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 26103424 KiB Current children cumulated memory: 46608 KiB [startup+0.70091 s] /proc/loadavg: 8.56 8.61 8.77 3/199 16027 /proc/meminfo: memFree=28307188/32770624 swapFree=67108860/67108860 [pid=16007] ppid=16004 vsize=26105492 memory=87248 CPUtime=0.98 cores=0-7 /proc/16007/stat : 16007 (java) S 16004 16007 15963 0 -1 1077944320 17804 0 0 0 93 5 0 0 20 0 20 0 84988888 26732023808 21812 33554432000 4194304 4196468 140735150564864 140735150547408 140087059943159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 /proc/16007/statm: 6526373 21812 3480 1 0 6488444 0 [pid=16007/tid=16009] ppid=16004 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7 /proc/16007/task/16009/stat : 16009 (java) R 16004 16007 15963 0 -1 4202560 15034 0 0 0 63 4 0 0 20 0 20 0 84988889 26732023808 21812 33554432000 4194304 4196468 140735150564864 140087064165824 140087059965085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16010] ppid=16004 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16010/stat : 16010 (java) S 16004 16007 15963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84988889 26732023808 21812 33554432000 4194304 4196468 140735150564864 140087012563216 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16011] ppid=16004 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16011/stat : 16011 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988889 26732023808 21812 33554432000 4194304 4196468 140735150564864 140087011510672 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16012] ppid=16004 vsize=26105492 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16012/stat : 16012 (java) S 16004 16007 15963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84988889 26732023808 21812 33554432000 4194304 4196468 140735150564864 140087010458128 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16013] ppid=16004 vsize=26105492 memory=4612 CPUtime=0 cores=0-7 /proc/16007/task/16013/stat : 16013 (java) S 16004 16007 15963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84988889 26732023808 21812 33554432000 4194304 4196468 140735150564864 140087009405584 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16014] ppid=16004 vsize=26105492 memory=8496 CPUtime=0 cores=0-7 /proc/16007/task/16014/stat : 16014 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988889 26732023808 21812 33554432000 4194304 4196468 140735150564864 140087008353040 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16015] ppid=16004 vsize=26105492 memory=1624 CPUtime=0 cores=0-7 /proc/16007/task/16015/stat : 16015 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988889 26732023808 21812 33554432000 4194304 4196468 140735150564864 140087007300496 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16016] ppid=16004 vsize=26105492 memory=1200 CPUtime=0 cores=0-7 /proc/16007/task/16016/stat : 16016 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84988889 26732023808 21812 33554432000 4194304 4196468 140735150564864 140087006247952 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16017] ppid=16004 vsize=26105492 memory=15872 CPUtime=0 cores=0-7 /proc/16007/task/16017/stat : 16017 (java) S 16004 16007 15963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84988889 26732023808 21812 33554432000 4194304 4196468 140735150564864 140087005195408 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16018] ppid=16004 vsize=26105492 memory=15184 CPUtime=0 cores=0-7 /proc/16007/task/16018/stat : 16018 (java) S 16004 16007 15963 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84988891 26732023808 21812 33554432000 4194304 4196468 140735150564864 140085332776944 140087059954306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 ################ # More data... # ################ [pid=16007/tid=16053] ppid=16004 vsize=27850528 memory=0 CPUtime=0.06 cores=0-7 /proc/16007/task/16053/stat : 16053 (java) R 16004 16007 15963 0 -1 4202560 26 0 0 0 6 0 0 0 20 0 46 0 84989179 28518940672 68579 33554432000 4194304 4196468 140735150564864 140083961146128 140086687683662 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 Current children cumulated CPU time: 7.8 s Current children cumulated vsize: 27850528 KiB Current children cumulated memory: 274316 KiB [startup+3.31685 s] # the end of solver process 16007 was just reported to runsolver # cumulated CPU time of all completed processes: user=8.78308 s, system=0.220882 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.202 s] /proc/loadavg: 7.95 8.49 8.73 30/225 16053 /proc/meminfo: memFree=28103576/32770624 swapFree=67108860/67108860 [pid=16007] ppid=16004 vsize=27850528 memory=275000 CPUtime=8.38 cores=0-7 /proc/16007/stat : 16007 (java) S 16004 16007 15963 0 -1 1077944320 43771 0 0 0 818 20 0 0 20 0 46 0 84988888 28518940672 68750 33554432000 4194304 4196468 140735150564864 140735150547408 140087059943159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 /proc/16007/statm: 6962632 68750 3583 1 0 6924182 0 [pid=16007/tid=16009] ppid=16004 vsize=27850528 memory=6944656592455097440 CPUtime=2.38 cores=0-7 /proc/16007/task/16009/stat : 16009 (java) S 16004 16007 15963 0 -1 1077944384 24679 0 0 0 230 8 0 0 20 0 46 0 84988889 28518940672 68750 33554432000 4194304 4196468 140735150564864 140087064180624 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16010] ppid=16004 vsize=27850528 memory=6944656592455097440 CPUtime=0.01 cores=0-7 /proc/16007/task/16010/stat : 16010 (java) S 16004 16007 15963 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 46 0 84988889 28518940672 68750 33554432000 4194304 4196468 140735150564864 140087012563216 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16011] ppid=16004 vsize=27850528 memory=6944656592455097440 CPUtime=0.01 cores=0-7 /proc/16007/task/16011/stat : 16011 (java) S 16004 16007 15963 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 46 0 84988889 28518940672 68750 33554432000 4194304 4196468 140735150564864 140087011510672 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16012] ppid=16004 vsize=27850528 memory=6944652177228980320 CPUtime=0.01 cores=0-7 /proc/16007/task/16012/stat : 16012 (java) S 16004 16007 15963 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 46 0 84988889 28518940672 68750 33554432000 4194304 4196468 140735150564864 140087010458128 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16013] ppid=16004 vsize=27850528 memory=288230574492221466 CPUtime=0.01 cores=0-7 /proc/16007/task/16013/stat : 16013 (java) S 16004 16007 15963 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 46 0 84988889 28518940672 68750 33554432000 4194304 4196468 140735150564864 140087009405584 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16014] ppid=16004 vsize=27850528 memory=0 CPUtime=0.01 cores=0-7 /proc/16007/task/16014/stat : 16014 (java) S 16004 16007 15963 0 -1 1077944384 303 0 0 0 1 0 0 0 20 0 46 0 84988889 28518940672 68750 33554432000 4194304 4196468 140735150564864 140087008353040 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16015] ppid=16004 vsize=27850528 memory=0 CPUtime=0.01 cores=0-7 /proc/16007/task/16015/stat : 16015 (java) S 16004 16007 15963 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 46 0 84988889 28518940672 68750 33554432000 4194304 4196468 140735150564864 140087007300496 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16016] ppid=16004 vsize=27850528 memory=0 CPUtime=0.01 cores=0-7 /proc/16007/task/16016/stat : 16016 (java) S 16004 16007 15963 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 46 0 84988889 28518940672 68750 33554432000 4194304 4196468 140735150564864 140087006247952 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16017] ppid=16004 vsize=27850528 memory=0 CPUtime=0.01 cores=0-7 /proc/16007/task/16017/stat : 16017 (java) S 16004 16007 15963 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 46 0 84988889 28518940672 68750 33554432000 4194304 4196468 140735150564864 140087005195408 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16018] ppid=16004 vsize=27850528 memory=6656426216303648864 CPUtime=0.02 cores=0-7 /proc/16007/task/16018/stat : 16018 (java) S 16004 16007 15963 0 -1 1077944384 1810 0 0 0 2 0 0 0 20 0 46 0 84988891 28518940672 68750 33554432000 4194304 4196468 140735150564864 140085332776944 140087059954306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16019] ppid=16004 vsize=27850528 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16019/stat : 16019 (java) S 16004 16007 15963 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 46 0 84988891 28518940672 68750 33554432000 4194304 4196468 140735150564864 140085331723232 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16020] ppid=16004 vsize=27850528 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16020/stat : 16020 (java) S 16004 16007 15963 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 46 0 84988891 28518940672 68750 33554432000 4194304 4196468 140735150564864 140085330670592 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16021] ppid=16004 vsize=27850528 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16021/stat : 16021 (java) S 16004 16007 15963 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 84988894 28518940672 68750 33554432000 4194304 4196468 140735150564864 140085329619152 140087059961755 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16022] ppid=16004 vsize=27850528 memory=0 CPUtime=0.96 cores=0-7 /proc/16007/task/16022/stat : 16022 (java) R 16004 16007 15963 0 -1 4202560 2322 0 0 0 95 1 0 0 20 0 46 0 84988894 28518940672 68750 33554432000 4194304 4196468 140735150564864 140085328548336 140087043353960 0 4 0 16800975 0 0 0 -1 6 0 0 42 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16023] ppid=16004 vsize=27850528 memory=0 CPUtime=0.85 cores=0-7 /proc/16007/task/16023/stat : 16023 (java) R 16004 16007 15963 0 -1 4202560 2429 0 0 0 84 1 0 0 20 0 46 0 84988894 28518940672 68750 33554432000 4194304 4196468 140735150564864 140085327500104 140087045050664 0 4 0 16800975 0 0 0 -1 3 0 0 44 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16024] ppid=16004 vsize=27850528 memory=0 CPUtime=0.92 cores=0-7 /proc/16007/task/16024/stat : 16024 (java) R 16004 16007 15963 0 -1 4202560 2409 0 0 0 91 1 0 0 20 0 46 0 84988894 28518940672 68750 33554432000 4194304 4196468 140735150564864 140085326454872 140087045623889 0 4 0 16800975 0 0 0 -1 4 0 0 44 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16025] ppid=16004 vsize=27850528 memory=0 CPUtime=0.92 cores=0-7 /proc/16007/task/16025/stat : 16025 (java) R 16004 16007 15963 0 -1 4202560 6566 0 0 0 90 2 0 0 20 0 46 0 84988894 28518940672 68750 33554432000 4194304 4196468 140735150564864 140084882789240 140087038555889 0 4 0 16800975 0 0 0 -1 4 0 0 44 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16026] ppid=16004 vsize=27850528 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16026/stat : 16026 (java) S 16004 16007 15963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 84988894 28518940672 68750 33554432000 4194304 4196468 140735150564864 140084881737952 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16027] ppid=16004 vsize=27850528 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16027/stat : 16027 (java) S 16004 16007 15963 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 46 0 84988894 28518940672 68750 33554432000 4194304 4196468 140735150564864 140084880685488 140087059954306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16028] ppid=16004 vsize=27850528 memory=0 CPUtime=0.02 cores=0-7 /proc/16007/task/16028/stat : 16028 (java) R 16004 16007 15963 0 -1 1077944384 54 0 0 0 2 0 0 0 20 0 46 0 84989123 28518940672 68750 33554432000 4194304 4196468 140735150564864 140084869337776 140087059953365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16029] ppid=16004 vsize=27850528 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16029/stat : 16029 (java) R 16004 16007 15963 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 84989145 28518940672 68750 33554432000 4194304 4196468 140735150564864 140084866188240 140087059954306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16030] ppid=16004 vsize=27850528 memory=0 CPUtime=0.13 cores=0-7 /proc/16007/task/16030/stat : 16030 (java) R 16004 16007 15963 0 -1 1077944384 135 0 0 0 13 0 0 0 20 0 46 0 84989162 28518940672 68750 33554432000 4194304 4196468 140735150564864 140084863038656 140087059953365 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16031] ppid=16004 vsize=27850528 memory=0 CPUtime=0.15 cores=0-7 /proc/16007/task/16031/stat : 16031 (java) R 16004 16007 15963 0 -1 4202560 131 0 0 0 15 0 0 0 20 0 46 0 84989163 28518940672 68750 33554432000 4194304 4196468 140735150564864 140084861972480 140735151314882 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16032] ppid=16004 vsize=27850528 memory=0 CPUtime=0.1 cores=0-7 /proc/16007/task/16032/stat : 16032 (java) R 16004 16007 15963 0 -1 1077944384 65 0 0 0 10 0 0 0 20 0 46 0 84989163 28518940672 68750 33554432000 4194304 4196468 140735150564864 140084860933776 140087059953365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16033] ppid=16004 vsize=27850528 memory=0 CPUtime=0.07 cores=0-7 /proc/16007/task/16033/stat : 16033 (java) R 16004 16007 15963 0 -1 1077944384 66 0 0 0 7 0 0 0 20 0 46 0 84989169 28518940672 68750 33554432000 4194304 4196468 140735150564864 140084857783872 140087059953365 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16034] ppid=16004 vsize=27850528 memory=0 CPUtime=0.1 cores=0-7 /proc/16007/task/16034/stat : 16034 (java) R 16004 16007 15963 0 -1 4202560 67 0 0 0 10 0 0 0 20 0 46 0 84989169 28518940672 68750 33554432000 4194304 4196468 140735150564864 140084856730304 140086690095997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16035] ppid=16004 vsize=27850528 memory=0 CPUtime=0.04 cores=0-7 /proc/16007/task/16035/stat : 16035 (java) R 16004 16007 15963 0 -1 1077944384 31 0 0 0 4 0 0 0 20 0 46 0 84989169 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083982230336 140087059953365 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16036] ppid=16004 vsize=27850528 memory=0 CPUtime=0.09 cores=0-7 /proc/16007/task/16036/stat : 16036 (java) R 16004 16007 15963 0 -1 1077944384 131 0 0 0 9 0 0 0 20 0 46 0 84989169 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083981177792 140087059953365 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16037] ppid=16004 vsize=27850528 memory=0 CPUtime=0.08 cores=0-7 /proc/16007/task/16037/stat : 16037 (java) R 16004 16007 15963 0 -1 1077944384 92 0 0 0 8 0 0 0 20 0 46 0 84989169 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083980125456 140087059953365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16038] ppid=16004 vsize=27850528 memory=0 CPUtime=0.11 cores=0-7 /proc/16007/task/16038/stat : 16038 (java) R 16004 16007 15963 0 -1 1077944384 59 0 0 0 11 0 0 0 20 0 46 0 84989169 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083979072704 140087059953365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16039] ppid=16004 vsize=27850528 memory=0 CPUtime=0.05 cores=0-7 /proc/16007/task/16039/stat : 16039 (java) R 16004 16007 15963 0 -1 1077944384 28 0 0 0 5 0 0 0 20 0 46 0 84989169 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083978020160 140087059953365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16040] ppid=16004 vsize=27850528 memory=2226 CPUtime=0.09 cores=0-7 /proc/16007/task/16040/stat : 16040 (java) R 16004 16007 15963 0 -1 1077944384 47 0 0 0 9 0 0 0 20 0 46 0 84989170 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083976967824 140087059953365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16041] ppid=16004 vsize=27850528 memory=31076 CPUtime=0.08 cores=0-7 /proc/16007/task/16041/stat : 16041 (java) R 16004 16007 15963 0 -1 1077944384 52 0 0 0 8 0 0 0 20 0 46 0 84989171 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083975915072 140087059953365 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16042] ppid=16004 vsize=27850528 memory=0 CPUtime=0.07 cores=0-7 /proc/16007/task/16042/stat : 16042 (java) R 16004 16007 15963 0 -1 1077944384 32 0 0 0 7 0 0 0 20 0 46 0 84989178 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083972727488 140087059953365 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16043] ppid=16004 vsize=27850528 memory=0 CPUtime=0.06 cores=0-7 /proc/16007/task/16043/stat : 16043 (java) R 16004 16007 15963 0 -1 1077944384 26 0 0 0 6 0 0 0 20 0 46 0 84989178 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083971674944 140087059953365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16044] ppid=16004 vsize=27850528 memory=12060 CPUtime=0.11 cores=0-7 /proc/16007/task/16044/stat : 16044 (java) R 16004 16007 15963 0 -1 4202560 31 0 0 0 11 0 0 0 20 0 46 0 84989178 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083970620000 140086687712378 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16045] ppid=16004 vsize=27850528 memory=5788 CPUtime=0.09 cores=0-7 /proc/16007/task/16045/stat : 16045 (java) R 16004 16007 15963 0 -1 4202560 32 0 0 0 9 0 0 0 20 0 46 0 84989178 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083969567456 140086687712133 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16046] ppid=16004 vsize=27850528 memory=792 CPUtime=0.07 cores=0-7 /proc/16007/task/16046/stat : 16046 (java) R 16004 16007 15963 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 46 0 84989178 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083968517312 140735151314882 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16047] ppid=16004 vsize=27850528 memory=2241 CPUtime=0.06 cores=0-7 /proc/16007/task/16047/stat : 16047 (java) R 16004 16007 15963 0 -1 1077944384 24 0 0 0 6 0 0 0 20 0 46 0 84989178 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083967464768 140087059953365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16048] ppid=16004 vsize=27850528 memory=2244 CPUtime=0.09 cores=0-7 /proc/16007/task/16048/stat : 16048 (java) R 16004 16007 15963 0 -1 1077944384 35 0 0 0 9 0 0 0 20 0 46 0 84989178 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083966397712 140087059953365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16049] ppid=16004 vsize=27850528 memory=0 CPUtime=0.07 cores=0-7 /proc/16007/task/16049/stat : 16049 (java) S 16004 16007 15963 0 -1 1077944384 26 0 0 0 7 0 0 0 20 0 46 0 84989178 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083965347488 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16050] ppid=16004 vsize=27850528 memory=279521438107296 CPUtime=0.09 cores=0-7 /proc/16007/task/16050/stat : 16050 (java) R 16004 16007 15963 0 -1 4202560 30 0 0 0 9 0 0 0 20 0 46 0 84989178 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083964306320 140735151314882 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16051] ppid=16004 vsize=27850528 memory=2244 CPUtime=0.06 cores=0-7 /proc/16007/task/16051/stat : 16051 (java) R 16004 16007 15963 0 -1 1077944384 67 0 0 0 6 0 0 0 20 0 46 0 84989178 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083963253568 140087059953365 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16052] ppid=16004 vsize=27850528 memory=4124 CPUtime=0.05 cores=0-7 /proc/16007/task/16052/stat : 16052 (java) R 16004 16007 15963 0 -1 1077944384 33 0 0 0 5 0 0 0 20 0 46 0 84989179 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083962201232 140087059953365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16053] ppid=16004 vsize=27850528 memory=2200 CPUtime=0.06 cores=0-7 /proc/16007/task/16053/stat : 16053 (java) R 16004 16007 15963 0 -1 1077944384 26 0 0 0 6 0 0 0 20 0 46 0 84989179 28518940672 68750 33554432000 4194304 4196468 140735150564864 140083961148480 140087059953365 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 Current children cumulated CPU time: 8.38 s Current children cumulated vsize: 27850528 KiB Current children cumulated memory: 275000 KiB [startup+3.30156 s] /proc/loadavg: 7.95 8.49 8.73 30/225 16053 /proc/meminfo: memFree=28103576/32770624 swapFree=67108860/67108860 [pid=16007] ppid=16004 vsize=27852576 memory=276960 CPUtime=8.98 cores=0-7 /proc/16007/stat : 16007 (java) S 16004 16007 15963 0 -1 1077944320 44170 0 0 0 878 20 0 0 20 0 19 0 84988888 28521037824 69240 33554432000 4194304 4196468 140735150564864 140735150547408 140087059943159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 /proc/16007/statm: 6963144 69240 3597 1 0 6924694 0 [pid=16007/tid=16009] ppid=16004 vsize=27852576 memory=70925277989098 CPUtime=2.38 cores=0-7 /proc/16007/task/16009/stat : 16009 (java) S 16004 16007 15963 0 -1 1077944384 24681 0 0 0 230 8 0 0 20 0 19 0 84988889 28521037824 69240 33554432000 4194304 4196468 140735150564864 140087064186000 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16010] ppid=16004 vsize=27852576 memory=270976 CPUtime=0.01 cores=0-7 /proc/16007/task/16010/stat : 16010 (java) S 16004 16007 15963 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 84988889 28521037824 69240 33554432000 4194304 4196468 140735150564864 140087012563216 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16011] ppid=16004 vsize=27852576 memory=0 CPUtime=0.01 cores=0-7 /proc/16007/task/16011/stat : 16011 (java) S 16004 16007 15963 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 84988889 28521037824 69240 33554432000 4194304 4196468 140735150564864 140087011510672 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16012] ppid=16004 vsize=27852576 memory=56 CPUtime=0.01 cores=0-7 /proc/16007/task/16012/stat : 16012 (java) S 16004 16007 15963 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 19 0 84988889 28521037824 69240 33554432000 4194304 4196468 140735150564864 140087010458128 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16013] ppid=16004 vsize=27852576 memory=-4190076264842474805 CPUtime=0.02 cores=0-7 /proc/16007/task/16013/stat : 16013 (java) S 16004 16007 15963 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 19 0 84988889 28521037824 69240 33554432000 4194304 4196468 140735150564864 140087009405584 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16014] ppid=16004 vsize=27852576 memory=-7234639581655252382 CPUtime=0.01 cores=0-7 /proc/16007/task/16014/stat : 16014 (java) S 16004 16007 15963 0 -1 1077944384 304 0 0 0 1 0 0 0 20 0 19 0 84988889 28521037824 69240 33554432000 4194304 4196468 140735150564864 140087008353040 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16015] ppid=16004 vsize=27852576 memory=6944657691966988345 CPUtime=0.01 cores=0-7 /proc/16007/task/16015/stat : 16015 (java) S 16004 16007 15963 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 19 0 84988889 28521037824 69240 33554432000 4194304 4196468 140735150564864 140087007300496 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16016] ppid=16004 vsize=27852576 memory=265452 CPUtime=0.01 cores=0-7 /proc/16007/task/16016/stat : 16016 (java) S 16004 16007 15963 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 19 0 84988889 28521037824 69240 33554432000 4194304 4196468 140735150564864 140087006247952 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16017] ppid=16004 vsize=27852576 memory=-7522837583129502606 CPUtime=0.01 cores=0-7 /proc/16007/task/16017/stat : 16017 (java) S 16004 16007 15963 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 19 0 84988889 28521037824 69240 33554432000 4194304 4196468 140735150564864 140087005195408 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16018] ppid=16004 vsize=27852576 memory=-7966001967256141664 CPUtime=0.03 cores=0-7 /proc/16007/task/16018/stat : 16018 (java) S 16004 16007 15963 0 -1 1077944384 1810 0 0 0 2 1 0 0 20 0 19 0 84988891 28521037824 69240 33554432000 4194304 4196468 140735150564864 140085332777152 140087059954306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16019] ppid=16004 vsize=27852576 memory=8257237230052613020 CPUtime=0 cores=0-7 /proc/16007/task/16019/stat : 16019 (java) S 16004 16007 15963 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 84988891 28521037824 69240 33554432000 4194304 4196468 140735150564864 140085331723232 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16020] ppid=16004 vsize=27852576 memory=0 CPUtime=0 cores=0-7 /proc/16007/task/16020/stat : 16020 (java) S 16004 16007 15963 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 84988891 28521037824 69240 33554432000 4194304 4196468 140735150564864 140085330670592 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16021] ppid=16004 vsize=27852576 memory=4028 CPUtime=0 cores=0-7 /proc/16007/task/16021/stat : 16021 (java) S 16004 16007 15963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 84988894 28521037824 69240 33554432000 4194304 4196468 140735150564864 140085329618800 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16022] ppid=16004 vsize=27852576 memory=24996 CPUtime=1.05 cores=0-7 /proc/16007/task/16022/stat : 16022 (java) S 16004 16007 15963 0 -1 1077944384 2322 0 0 0 104 1 0 0 20 0 19 0 84988894 28521037824 69240 33554432000 4194304 4196468 140735150564864 140085328551840 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16023] ppid=16004 vsize=27852576 memory=1296 CPUtime=0.91 cores=0-7 /proc/16007/task/16023/stat : 16023 (java) S 16004 16007 15963 0 -1 1077944384 2538 0 0 0 90 1 0 0 20 0 19 0 84988894 28521037824 69240 33554432000 4194304 4196468 140735150564864 140085327498736 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 44 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16024] ppid=16004 vsize=27852576 memory=2424 CPUtime=0.96 cores=0-7 /proc/16007/task/16024/stat : 16024 (java) S 16004 16007 15963 0 -1 1077944384 2425 0 0 0 95 1 0 0 20 0 19 0 84988894 28521037824 69240 33554432000 4194304 4196468 140735150564864 140085326449632 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16025] ppid=16004 vsize=27852576 memory=1840 CPUtime=0.94 cores=0-7 /proc/16007/task/16025/stat : 16025 (java) S 16004 16007 15963 0 -1 1077944384 6593 0 0 0 92 2 0 0 20 0 19 0 84988894 28521037824 69240 33554432000 4194304 4196468 140735150564864 140084882791280 140087059954306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 [pid=16007/tid=16026] ppid=16004 vsize=27852576 memory=1004 CPUtime=0 cores=0-7 /proc/16007/task/16026/stat : 16026 (java) S 16004 16007 15963 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 84988894 28521037824 69240 33554432000 4194304 4196468 140735150564864 140084881737952 140087059953365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140735150568526 140735150568709 140735150568709 140735150571471 0 Current children cumulated CPU time: 8.98 s Current children cumulated vsize: 27852576 KiB Current children cumulated memory: 276960 KiB Child status: 0 Real time (s): 3.31689 CPU time (s): 9.00397 CPU user time (s): 8.78308 CPU system time (s): 0.220882 CPU usage (%): 271.458 Max. virtual memory (cumulated for all children) (KiB): 27852576 Max. memory (cumulated for all children) (KiB): 276960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.78308 system time used= 0.220882 maximum resident set size= 278528 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44173 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6621 involuntary context switches= 244 # summary of solver processes directly reported to runsolver: # pid: 16007 # total CPU time (s): 9.00397 # total CPU user time (s): 8.78308 # total CPU system time (s): 0.220882 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.05804 second user time and 0.066894 second system time The end
Begin job on node151 at 2018-07-27 08:50:57 IDJOB=4291270 IDBENCH=141565 IDSOLVER=2745 FILE ID=node151/4291270-1532674257 RUNJOBID= node151-1532674257-15990 PBS_JOBID= 21022250 Free space on /tmp= 54928 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/MagicHexagon/MagicHexagon-04-0017_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291270-1532674257/watcher-4291270-1532674257 -o /tmp/evaluation-result-4291270-1532674257/solver-4291270-1532674257 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532674257-15990 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 263450654 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291270-1532674257.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5026d1a6c388113c28cc4e99e58b99c3 RANDOM SEED=263450654 node151.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.87 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.87 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.87 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.87 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: 28365836 kB MemAvailable: 31965156 kB Buffers: 145368 kB Cached: 3724044 kB SwapCached: 0 kB Active: 1412204 kB Inactive: 2511072 kB Active(anon): 3604 kB Inactive(anon): 78220 kB Active(file): 1408600 kB Inactive(file): 2432852 kB Unevictable: 7796 kB Mlocked: 7796 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 35724 kB Writeback: 4 kB AnonPages: 61356 kB Mapped: 41296 kB Shmem: 25224 kB Slab: 174692 kB SReclaimable: 147404 kB SUnreclaim: 27288 kB KernelStack: 3152 kB PageTables: 4656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324548 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 54892 MiB End job on node151 at 2018-07-27 08:51:00