Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | ? (TO) | 20005 | 2520.25 |
Name | GracefulGraph/ GracefulGraph-K07-P03_c18.xml |
MD5SUM | ca21bb45cdf77f5b8e0b27a9f8e7d69e |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 182 |
Number of constraints | 79 |
Number of domains | 2 |
Minimum domain size | 77 |
Maximum domain size | 78 |
Distribution of domain sizes | [{"size":77,"count":77},{"size":78,"count":21}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":84},{"degree":2,"count":77},{"degree":8,"count":14},{"degree":9,"count":7}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 77 |
Distribution of constraint arities | [{"arity":3,"count":77},{"arity":21,"count":1},{"arity":77,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 77 |
Distribution of constraint types | [{"type":"intension","count":77},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
0.67/0.55 c version: 2018-08-14 0.67/0.55 c seed: 1940158850 0.67/0.55 c timeout: 20160 0.67/0.55 c memlimit: 22000 0.67/0.55 c nbcore: 8 0.67/0.58 c Parsing instance... 1.43/0.90 c Parsing done, starting search... 20003.22/2520.08 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 (14420 MiB free) memory of node 1: 16384 MiB (13598 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309074-1534362619/watcher-4309074-1534362619 -o /tmp/evaluation-result-4309074-1534362619/solver-4309074-1534362619 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1534362609-30574 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1940158850 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309074-1534362619.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 Current StackSize limit: 8192 KiB solver pid=30810, runsolver pid=30807 [startup+0.100138 s]* /proc/loadavg: 5.94 6.03 6.54 2/199 30830 /proc/meminfo: memFree=28674828/32770624 swapFree=67108796/67108860 [pid=30810] ppid=30807 vsize=26103420 memory=31388 CPUtime=0.12 cores=0-7 /proc/30810/stat : 30810 (java) S 30807 30810 30547 0 -1 1077944320 7281 0 0 0 10 2 0 0 20 0 20 0 253825046 26729902080 7847 33554432000 4194304 4196468 140723663107152 140723663089696 139638060682999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 /proc/30810/statm: 6525855 7847 3133 1 0 6487932 0 [pid=30810/tid=30812] ppid=30807 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/30810/task/30812/stat : 30812 (java) R 30807 30810 30547 0 -1 4202560 5338 0 0 0 8 1 0 0 20 0 20 0 253825046 26729902080 7847 33554432000 4194304 4196468 140723663107152 139638064908688 139638044763486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30813] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30813/stat : 30813 (java) S 30807 30810 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 7847 33554432000 4194304 4196468 140723663107152 139637983263632 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30814] ppid=30807 vsize=26103420 memory=140247566276224 CPUtime=0 cores=0-7 /proc/30810/task/30814/stat : 30814 (java) S 30807 30810 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 7847 33554432000 4194304 4196468 140723663107152 139637982210832 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30815] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30815/stat : 30815 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 7847 33554432000 4194304 4196468 140723663107152 139637981158544 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30816] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30816/stat : 30816 (java) S 30807 30810 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 7847 33554432000 4194304 4196468 140723663107152 139637980105744 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30817] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30817/stat : 30817 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 7847 33554432000 4194304 4196468 140723663107152 139637979052432 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30818] ppid=30807 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/30810/task/30818/stat : 30818 (java) S 30807 30810 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 7912 33554432000 4194304 4196468 140723663107152 139637977999632 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30819] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30819/stat : 30819 (java) S 30807 30810 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 7912 33554432000 4194304 4196468 140723663107152 139637612894864 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30820] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30820/stat : 30820 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 7912 33554432000 4194304 4196468 140723663107152 139637611842064 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30821] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30821/stat : 30821 (java) S 30807 30810 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253825049 26729902080 7912 33554432000 4194304 4196468 140723663107152 139637457693296 139638060694146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30822] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30822/stat : 30822 (java) S 30807 30810 30547 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253825049 26729902080 7912 33554432000 4194304 4196468 140723663107152 139637456639264 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30823] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30823/stat : 30823 (java) S 30807 30810 30547 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253825049 26729902080 7912 33554432000 4194304 4196468 140723663107152 139637455586928 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30824] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30824/stat : 30824 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825052 26729902080 7912 33554432000 4194304 4196468 140723663107152 139637454535248 139638060701595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30825] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30825/stat : 30825 (java) S 30807 30810 30547 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 253825052 26729902080 7912 33554432000 4194304 4196468 140723663107152 139637453482096 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30826] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30826/stat : 30826 (java) S 30807 30810 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253825052 26729902080 7912 33554432000 4194304 4196468 140723663107152 139637452429296 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30827] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30827/stat : 30827 (java) S 30807 30810 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253825052 26729902080 7912 33554432000 4194304 4196468 140723663107152 139637451377008 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30828] ppid=30807 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/30810/task/30828/stat : 30828 (java) R 30807 30810 30547 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 20 0 253825052 26729902080 7912 33554432000 4194304 4196468 140723663107152 139637450324208 139638039313282 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30829] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30829/stat : 30829 (java) S 30807 30810 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253825052 26729902080 7912 33554432000 4194304 4196468 140723663107152 139637449272160 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30830] ppid=30807 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/30810/task/30830/stat : 30830 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825052 26729902080 7912 33554432000 4194304 4196468 140723663107152 139637448219440 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 31388 KiB [startup+0.214023 s]* /proc/loadavg: 5.94 6.03 6.54 3/199 30830 /proc/meminfo: memFree=28661496/32770624 swapFree=67108796/67108860 [pid=30810] ppid=30807 vsize=26103420 memory=45308 CPUtime=0.31 cores=0-7 /proc/30810/stat : 30810 (java) S 30807 30810 30547 0 -1 1077944320 10468 0 0 0 28 3 0 0 20 0 20 0 253825046 26729902080 11327 33554432000 4194304 4196468 140723663107152 140723663089696 139638060682999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 /proc/30810/statm: 6525855 11327 3326 1 0 6487932 0 [pid=30810/tid=30812] ppid=30807 vsize=26103420 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/30810/task/30812/stat : 30812 (java) R 30807 30810 30547 0 -1 4202560 8215 0 0 0 19 1 0 0 20 0 20 0 253825046 26729902080 11327 33554432000 4194304 4196468 140723663107152 139638064908752 139638044763486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30813] ppid=30807 vsize=26103420 memory=9298 CPUtime=0 cores=0-7 /proc/30810/task/30813/stat : 30813 (java) S 30807 30810 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637983263632 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30814] ppid=30807 vsize=26103420 memory=140247566304526 CPUtime=0 cores=0-7 /proc/30810/task/30814/stat : 30814 (java) S 30807 30810 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637982210832 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30815] ppid=30807 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/30810/task/30815/stat : 30815 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637981158544 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30816] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30816/stat : 30816 (java) S 30807 30810 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637980105744 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30817] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30817/stat : 30817 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637979052432 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30818] ppid=30807 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/30810/task/30818/stat : 30818 (java) S 30807 30810 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637977999632 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30819] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30819/stat : 30819 (java) S 30807 30810 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637612894864 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30820] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30820/stat : 30820 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637611842064 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30821] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30821/stat : 30821 (java) S 30807 30810 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253825049 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637457693296 139638060694146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30822] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30822/stat : 30822 (java) S 30807 30810 30547 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253825049 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637456639264 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30823] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30823/stat : 30823 (java) S 30807 30810 30547 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253825049 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637455586928 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30824] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30824/stat : 30824 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825052 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637454535248 139638060701595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30825] ppid=30807 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/30810/task/30825/stat : 30825 (java) S 30807 30810 30547 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 20 0 253825052 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637453482096 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30826] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30826/stat : 30826 (java) S 30807 30810 30547 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 253825052 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637452429296 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30827] ppid=30807 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/30810/task/30827/stat : 30827 (java) R 30807 30810 30547 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 253825052 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637451377008 139638060694146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30828] ppid=30807 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7 /proc/30810/task/30828/stat : 30828 (java) R 30807 30810 30547 0 -1 4202560 324 0 0 0 6 0 0 0 20 0 20 0 253825052 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637450324208 139638060694934 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30829] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30829/stat : 30829 (java) S 30807 30810 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253825052 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637449272160 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30830] ppid=30807 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/30810/task/30830/stat : 30830 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825052 26729902080 11327 33554432000 4194304 4196468 140723663107152 139637448219440 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 45308 KiB [startup+0.310618 s]* /proc/loadavg: 5.94 6.03 6.54 2/199 30830 /proc/meminfo: memFree=28658820/32770624 swapFree=67108796/67108860 [pid=30810] ppid=30807 vsize=26103420 memory=46796 CPUtime=0.43 cores=0-7 /proc/30810/stat : 30810 (java) S 30807 30810 30547 0 -1 1077944320 10891 0 0 0 40 3 0 0 20 0 20 0 253825046 26729902080 11699 33554432000 4194304 4196468 140723663107152 140723663089696 139638060682999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 /proc/30810/statm: 6525855 11699 3378 1 0 6487932 0 [pid=30810/tid=30812] ppid=30807 vsize=26103420 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/30810/task/30812/stat : 30812 (java) R 30807 30810 30547 0 -1 4202560 8537 0 0 0 28 2 0 0 20 0 20 0 253825046 26729902080 11699 33554432000 4194304 4196468 140723663107152 139638064892208 139638044763486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30813] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30813/stat : 30813 (java) S 30807 30810 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637983263632 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30814] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30814/stat : 30814 (java) S 30807 30810 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637982210832 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30815] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30815/stat : 30815 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637981158544 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30816] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30816/stat : 30816 (java) S 30807 30810 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637980105744 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30817] ppid=30807 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/30810/task/30817/stat : 30817 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637979052432 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30818] ppid=30807 vsize=26103420 memory=140247459525551 CPUtime=0 cores=0-7 /proc/30810/task/30818/stat : 30818 (java) S 30807 30810 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637977999632 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30819] ppid=30807 vsize=26103420 memory=140247459527856 CPUtime=0 cores=0-7 /proc/30810/task/30819/stat : 30819 (java) S 30807 30810 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637612894864 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30820] ppid=30807 vsize=26103420 memory=140247459530160 CPUtime=0 cores=0-7 /proc/30810/task/30820/stat : 30820 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825047 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637611842064 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30821] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30821/stat : 30821 (java) S 30807 30810 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253825049 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637457693296 139638060694146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30822] ppid=30807 vsize=26103420 memory=280494919067280 CPUtime=0 cores=0-7 /proc/30810/task/30822/stat : 30822 (java) S 30807 30810 30547 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253825049 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637456639264 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30823] ppid=30807 vsize=26103420 memory=280494919074192 CPUtime=0 cores=0-7 /proc/30810/task/30823/stat : 30823 (java) S 30807 30810 30547 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253825049 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637455586928 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30824] ppid=30807 vsize=26103420 memory=280494919015472 CPUtime=0 cores=0-7 /proc/30810/task/30824/stat : 30824 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825052 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637454535248 139638060701595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30825] ppid=30807 vsize=26103420 memory=280494919088016 CPUtime=0.01 cores=0-7 /proc/30810/task/30825/stat : 30825 (java) S 30807 30810 30547 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 20 0 253825052 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637453482096 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30826] ppid=30807 vsize=26103420 memory=280494919094928 CPUtime=0 cores=0-7 /proc/30810/task/30826/stat : 30826 (java) S 30807 30810 30547 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 253825052 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637452429296 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30827] ppid=30807 vsize=26103420 memory=280494919092624 CPUtime=0.01 cores=0-7 /proc/30810/task/30827/stat : 30827 (java) S 30807 30810 30547 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 20 0 253825052 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637451377008 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30828] ppid=30807 vsize=26103420 memory=280494919109232 CPUtime=0.07 cores=0-7 /proc/30810/task/30828/stat : 30828 (java) S 30807 30810 30547 0 -1 1077944384 338 0 0 0 7 0 0 0 20 0 20 0 253825052 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637450324208 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30829] ppid=30807 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30829/stat : 30829 (java) S 30807 30810 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253825052 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637449272160 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30830] ppid=30807 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/30810/task/30830/stat : 30830 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825052 26729902080 11699 33554432000 4194304 4196468 140723663107152 139637448219440 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 46796 KiB [startup+0.700912 s] /proc/loadavg: 5.94 6.03 6.54 2/199 30830 /proc/meminfo: memFree=28634636/32770624 swapFree=67108796/67108860 [pid=30810] ppid=30807 vsize=26105488 memory=87452 CPUtime=0.99 cores=0-7 /proc/30810/stat : 30810 (java) S 30807 30810 30547 0 -1 1077944320 17812 0 0 0 93 6 0 0 20 0 20 0 253825046 26732019712 21863 33554432000 4194304 4196468 140723663107152 140723663089696 139638060682999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 /proc/30810/statm: 6526372 21863 3470 1 0 6488444 0 [pid=30810/tid=30812] ppid=30807 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7 /proc/30810/task/30812/stat : 30812 (java) R 30807 30810 30547 0 -1 4202560 15014 0 0 0 63 4 0 0 20 0 20 0 253825046 26732019712 21863 33554432000 4194304 4196468 140723663107152 139638064888912 139638044763486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30813] ppid=30807 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30813/stat : 30813 (java) S 30807 30810 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253825047 26732019712 21863 33554432000 4194304 4196468 140723663107152 139637983263632 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30814] ppid=30807 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30814/stat : 30814 (java) S 30807 30810 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253825047 26732019712 21863 33554432000 4194304 4196468 140723663107152 139637982210832 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30815] ppid=30807 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/30810/task/30815/stat : 30815 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825047 26732019712 21863 33554432000 4194304 4196468 140723663107152 139637981158544 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30816] ppid=30807 vsize=26105488 memory=1244 CPUtime=0 cores=0-7 /proc/30810/task/30816/stat : 30816 (java) S 30807 30810 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253825047 26732019712 21863 33554432000 4194304 4196468 140723663107152 139637980105744 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30817] ppid=30807 vsize=26105488 memory=1036 CPUtime=0 cores=0-7 /proc/30810/task/30817/stat : 30817 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825047 26732019712 21863 33554432000 4194304 4196468 140723663107152 139637979052432 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30818] ppid=30807 vsize=26105488 memory=1776 CPUtime=0 cores=0-7 /proc/30810/task/30818/stat : 30818 (java) S 30807 30810 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253825047 26732019712 21863 33554432000 4194304 4196468 140723663107152 139637977999632 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30819] ppid=30807 vsize=26105488 memory=5724 CPUtime=0 cores=0-7 /proc/30810/task/30819/stat : 30819 (java) S 30807 30810 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253825047 26732019712 21863 33554432000 4194304 4196468 140723663107152 139637612894864 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30820] ppid=30807 vsize=26105488 memory=14768 CPUtime=0 cores=0-7 /proc/30810/task/30820/stat : 30820 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253825047 26732019712 21863 33554432000 4194304 4196468 140723663107152 139637611842064 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30821] ppid=30807 vsize=26105488 memory=42828 CPUtime=0 cores=0-7 /proc/30810/task/30821/stat : 30821 (java) S 30807 30810 30547 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253825049 26732019712 21863 33554432000 4194304 4196468 140723663107152 139637457693296 139638060694146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 ################ # More data... # ################ [pid=30810] ppid=30807 vsize=27051756 memory=916468 CPUtime=20003.2 cores=0-7 /proc/30810/stat : 30810 (java) S 30807 30810 30547 0 -1 1077944320 1734348 0 0 0 1999535 787 0 0 20 0 34 0 253825046 27700998144 229117 33554432000 4194304 4196468 140723663107152 140723663089696 139638060682999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 /proc/30810/statm: 6762939 229117 3607 1 0 6724490 0 [pid=30810/tid=30812] ppid=30807 vsize=27051756 memory=800 CPUtime=2.4 cores=0-7 /proc/30810/task/30812/stat : 30812 (java) S 30807 30810 30547 0 -1 1077944384 24598 0 0 0 232 8 0 0 20 0 34 0 253825046 27700998144 229117 33554432000 4194304 4196468 140723663107152 139638064920464 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30813] ppid=30807 vsize=27051756 memory=1692 CPUtime=5.17 cores=0-7 /proc/30810/task/30813/stat : 30813 (java) S 30807 30810 30547 0 -1 1077944384 68346 0 0 0 480 37 0 0 20 0 34 0 253825047 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637983263632 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30814] ppid=30807 vsize=27051756 memory=916 CPUtime=5.09 cores=0-7 /proc/30810/task/30814/stat : 30814 (java) S 30807 30810 30547 0 -1 1077944384 71317 0 0 0 478 31 0 0 20 0 34 0 253825047 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637982210832 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30815] ppid=30807 vsize=27051756 memory=4136 CPUtime=5.14 cores=0-7 /proc/30810/task/30815/stat : 30815 (java) S 30807 30810 30547 0 -1 1077944384 71818 0 0 0 480 34 0 0 20 0 34 0 253825047 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637981158544 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30816] ppid=30807 vsize=27051756 memory=1408 CPUtime=5.14 cores=0-7 /proc/30810/task/30816/stat : 30816 (java) S 30807 30810 30547 0 -1 1077944384 64491 0 0 0 480 34 0 0 20 0 34 0 253825047 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637980105744 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30817] ppid=30807 vsize=27051756 memory=4004 CPUtime=5.16 cores=0-7 /proc/30810/task/30817/stat : 30817 (java) S 30807 30810 30547 0 -1 1077944384 75636 0 0 0 483 33 0 0 20 0 34 0 253825047 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637979052432 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30818] ppid=30807 vsize=27051756 memory=918520 CPUtime=5.18 cores=0-7 /proc/30810/task/30818/stat : 30818 (java) S 30807 30810 30547 0 -1 1077944384 70236 0 0 0 481 37 0 0 20 0 34 0 253825047 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637977999632 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30819] ppid=30807 vsize=27051756 memory=4108 CPUtime=5.15 cores=0-7 /proc/30810/task/30819/stat : 30819 (java) S 30807 30810 30547 0 -1 1077944384 59672 0 0 0 484 31 0 0 20 0 34 0 253825047 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637612894864 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30820] ppid=30807 vsize=27051756 memory=1398720917958146503 CPUtime=5.1 cores=0-7 /proc/30810/task/30820/stat : 30820 (java) S 30807 30810 30547 0 -1 1077944384 70702 0 0 0 480 30 0 0 20 0 34 0 253825047 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637611842064 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30821] ppid=30807 vsize=27051756 memory=751850 CPUtime=4.83 cores=0-7 /proc/30810/task/30821/stat : 30821 (java) S 30807 30810 30547 0 -1 1077944384 131676 0 0 0 408 75 0 0 20 0 34 0 253825049 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637457693296 139638060694146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30822] ppid=30807 vsize=27051756 memory=1398720917958146503 CPUtime=0 cores=0-7 /proc/30810/task/30822/stat : 30822 (java) S 30807 30810 30547 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 34 0 253825049 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637456639328 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30823] ppid=30807 vsize=27051756 memory=1904 CPUtime=0 cores=0-7 /proc/30810/task/30823/stat : 30823 (java) S 30807 30810 30547 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 34 0 253825049 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637455586944 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30824] ppid=30807 vsize=27051756 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/30810/task/30824/stat : 30824 (java) S 30807 30810 30547 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 253825052 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637454535248 139638060701595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30825] ppid=30807 vsize=27051756 memory=800 CPUtime=2.93 cores=0-7 /proc/30810/task/30825/stat : 30825 (java) S 30807 30810 30547 0 -1 1077944384 6991 0 0 0 291 2 0 0 20 0 34 0 253825052 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637453482096 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30826] ppid=30807 vsize=27051756 memory=1692 CPUtime=2.6 cores=0-7 /proc/30810/task/30826/stat : 30826 (java) S 30807 30810 30547 0 -1 1077944384 8496 0 0 0 256 4 0 0 20 0 34 0 253825052 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637452429296 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30827] ppid=30807 vsize=27051756 memory=916 CPUtime=2.57 cores=0-7 /proc/30810/task/30827/stat : 30827 (java) S 30807 30810 30547 0 -1 1077944384 8416 0 0 0 256 1 0 0 20 0 34 0 253825052 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637451377008 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30828] ppid=30807 vsize=27051756 memory=4136 CPUtime=0.97 cores=0-7 /proc/30810/task/30828/stat : 30828 (java) S 30807 30810 30547 0 -1 1077944384 10642 0 0 0 95 2 0 0 20 0 34 0 253825052 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637450324208 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30829] ppid=30807 vsize=27051756 memory=1408 CPUtime=0 cores=0-7 /proc/30810/task/30829/stat : 30829 (java) S 30807 30810 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 253825052 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637449272160 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30830] ppid=30807 vsize=27051756 memory=4004 CPUtime=0.7 cores=0-7 /proc/30810/task/30830/stat : 30830 (java) S 30807 30810 30547 0 -1 1077944384 6866 0 0 0 45 25 0 0 20 0 34 0 253825052 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637448219440 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30831] ppid=30807 vsize=27051756 memory=922028 CPUtime=0 cores=0-7 /proc/30810/task/30831/stat : 30831 (java) S 30807 30810 30547 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 34 0 253825250 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637441070464 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30832] ppid=30807 vsize=27051756 memory=3140 CPUtime=1.72 cores=0-7 /proc/30810/task/30832/stat : 30832 (java) R 30807 30810 30547 0 -1 1077944384 18186 0 0 0 56 116 0 0 20 0 34 0 253825272 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637366449696 139638060694146 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30833] ppid=30807 vsize=27051756 memory=1244 CPUtime=2494.48 cores=0-7 /proc/30810/task/30833/stat : 30833 (java) R 30807 30810 30547 0 -1 4202560 125727 0 0 0 249394 54 0 0 20 0 34 0 253825288 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637363291600 139637669249600 0 4 0 16800975 0 0 0 -1 2 0 0 21 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30834] ppid=30807 vsize=27051756 memory=1036 CPUtime=0.03 cores=0-7 /proc/30810/task/30834/stat : 30834 (java) S 30807 30810 30547 0 -1 1077944384 73 0 0 0 3 0 0 0 20 0 34 0 253825289 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637362246320 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30835] ppid=30807 vsize=27051756 memory=1776 CPUtime=2495.09 cores=0-7 /proc/30810/task/30835/stat : 30835 (java) R 30807 30810 30547 0 -1 4202560 119907 0 0 0 249453 56 0 0 20 0 34 0 253825289 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637361186216 139637670320639 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30836] ppid=30807 vsize=27051756 memory=880 CPUtime=0.03 cores=0-7 /proc/30810/task/30836/stat : 30836 (java) S 30807 30810 30547 0 -1 1077944384 49 0 0 0 3 0 0 0 20 0 34 0 253825295 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637358044064 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30837] ppid=30807 vsize=27051756 memory=1500 CPUtime=2492.14 cores=0-7 /proc/30810/task/30837/stat : 30837 (java) R 30807 30810 30547 0 -1 4202560 130740 0 0 0 249156 58 0 0 20 0 34 0 253825295 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637356986592 139637664653408 0 4 0 16800975 0 0 0 -1 3 0 0 19 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30838] ppid=30807 vsize=27051756 memory=1904 CPUtime=0.86 cores=0-7 /proc/30810/task/30838/stat : 30838 (java) S 30807 30810 30547 0 -1 1077944384 115 0 0 0 86 0 0 0 20 0 34 0 253825295 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637355938992 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30839] ppid=30807 vsize=27051756 memory=7524 CPUtime=0.03 cores=0-7 /proc/30810/task/30839/stat : 30839 (java) S 30807 30810 30547 0 -1 1077944384 50 0 0 0 3 0 0 0 20 0 34 0 253825295 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637354886688 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30840] ppid=30807 vsize=27051756 memory=800 CPUtime=2492.35 cores=0-7 /proc/30810/task/30840/stat : 30840 (java) R 30807 30810 30547 0 -1 4202560 113022 0 0 0 249185 50 0 0 20 0 34 0 253825296 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637353825456 139637670545762 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30841] ppid=30807 vsize=27051756 memory=1692 CPUtime=2490.65 cores=0-7 /proc/30810/task/30841/stat : 30841 (java) R 30807 30810 30547 0 -1 4202560 113814 0 0 0 249018 47 0 0 20 0 34 0 253825296 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637352772832 139637669629618 0 4 0 16800975 0 0 0 -1 1 0 0 22 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30842] ppid=30807 vsize=27051756 memory=916 CPUtime=2492.38 cores=0-7 /proc/30810/task/30842/stat : 30842 (java) R 30807 30810 30547 0 -1 4202560 131527 0 0 0 249186 52 0 0 20 0 34 0 253825297 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637351719992 139637669617108 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30843] ppid=30807 vsize=27051756 memory=4136 CPUtime=2492.29 cores=0-7 /proc/30810/task/30843/stat : 30843 (java) R 30807 30810 30547 0 -1 4202560 115414 0 0 0 249177 52 0 0 20 0 34 0 253825298 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637350667592 139637669885060 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30844] ppid=30807 vsize=27051756 memory=1408 CPUtime=2492.74 cores=0-7 /proc/30810/task/30844/stat : 30844 (java) R 30807 30810 30547 0 -1 4202560 114281 0 0 0 249223 51 0 0 20 0 34 0 253825298 27700998144 229117 33554432000 4194304 4196468 140723663107152 139637349615480 139637670622307 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 Current children cumulated CPU time: 20003.2 s Current children cumulated vsize: 27051756 KiB Current children cumulated memory: 916468 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.25 s] # the end of solver process 30810 was just reported to runsolver # cumulated CPU time of all completed processes: user=19997.1 s, system=7.89283 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.2 s] /proc/loadavg: 8.38 8.60 8.55 10/212 30902 /proc/meminfo: memFree=27785216/32770624 swapFree=67108796/67108860 [pid=30810] ppid=30807 vsize=27652888 memory=918008 CPUtime=20004.8 cores=0-7 /proc/30810/stat : 30810 (java) S 30807 30810 30547 0 -1 1077944320 1736246 0 0 0 1999693 788 0 0 20 0 45 0 253825046 28316557312 229502 33554432000 4194304 4196468 140723663107152 140723663089696 139638060682999 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 /proc/30810/statm: 6913222 229502 3609 1 0 6874773 0 [pid=30810/tid=30812] ppid=30807 vsize=27652888 memory=916980 CPUtime=2.4 cores=0-7 /proc/30810/task/30812/stat : 30812 (java) S 30807 30810 30547 0 -1 1077944384 24598 0 0 0 232 8 0 0 20 0 45 0 253825046 28316557312 229502 33554432000 4194304 4196468 140723663107152 139638064920464 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30813] ppid=30807 vsize=27652888 memory=4108 CPUtime=5.17 cores=0-7 /proc/30810/task/30813/stat : 30813 (java) S 30807 30810 30547 0 -1 1077944384 68346 0 0 0 480 37 0 0 20 0 45 0 253825047 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637983263632 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30814] ppid=30807 vsize=27652888 memory=1904 CPUtime=5.09 cores=0-7 /proc/30810/task/30814/stat : 30814 (java) S 30807 30810 30547 0 -1 1077944384 71317 0 0 0 478 31 0 0 20 0 45 0 253825047 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637982210832 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30815] ppid=30807 vsize=27652888 memory=7524 CPUtime=5.14 cores=0-7 /proc/30810/task/30815/stat : 30815 (java) S 30807 30810 30547 0 -1 1077944384 71818 0 0 0 480 34 0 0 20 0 45 0 253825047 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637981158544 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30816] ppid=30807 vsize=27652888 memory=1036 CPUtime=5.14 cores=0-7 /proc/30810/task/30816/stat : 30816 (java) S 30807 30810 30547 0 -1 1077944384 64491 0 0 0 480 34 0 0 20 0 45 0 253825047 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637980105744 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30817] ppid=30807 vsize=27652888 memory=1776 CPUtime=5.16 cores=0-7 /proc/30810/task/30817/stat : 30817 (java) S 30807 30810 30547 0 -1 1077944384 75636 0 0 0 483 33 0 0 20 0 45 0 253825047 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637979052432 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30818] ppid=30807 vsize=27652888 memory=5724 CPUtime=5.18 cores=0-7 /proc/30810/task/30818/stat : 30818 (java) S 30807 30810 30547 0 -1 1077944384 70236 0 0 0 481 37 0 0 20 0 45 0 253825047 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637977999632 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30819] ppid=30807 vsize=27652888 memory=14768 CPUtime=5.15 cores=0-7 /proc/30810/task/30819/stat : 30819 (java) S 30807 30810 30547 0 -1 1077944384 59672 0 0 0 484 31 0 0 20 0 45 0 253825047 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637612894864 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30820] ppid=30807 vsize=27652888 memory=42856 CPUtime=5.1 cores=0-7 /proc/30810/task/30820/stat : 30820 (java) S 30807 30810 30547 0 -1 1077944384 70702 0 0 0 480 30 0 0 20 0 45 0 253825047 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637611842064 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30821] ppid=30807 vsize=27652888 memory=15108 CPUtime=4.83 cores=0-7 /proc/30810/task/30821/stat : 30821 (java) S 30807 30810 30547 0 -1 1077944384 131676 0 0 0 408 75 0 0 20 0 45 0 253825049 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637457693296 139638060694146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30822] ppid=30807 vsize=27652888 memory=3152 CPUtime=0 cores=0-7 /proc/30810/task/30822/stat : 30822 (java) S 30807 30810 30547 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 45 0 253825049 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637456639328 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30823] ppid=30807 vsize=27652888 memory=496 CPUtime=0 cores=0-7 /proc/30810/task/30823/stat : 30823 (java) S 30807 30810 30547 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 45 0 253825049 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637455586944 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30824] ppid=30807 vsize=27652888 memory=1600 CPUtime=0 cores=0-7 /proc/30810/task/30824/stat : 30824 (java) S 30807 30810 30547 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 45 0 253825052 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637454535248 139638060701595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30825] ppid=30807 vsize=27652888 memory=932 CPUtime=2.94 cores=0-7 /proc/30810/task/30825/stat : 30825 (java) S 30807 30810 30547 0 -1 1077944384 7117 0 0 0 292 2 0 0 20 0 45 0 253825052 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637453482096 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30826] ppid=30807 vsize=27652888 memory=1168 CPUtime=2.62 cores=0-7 /proc/30810/task/30826/stat : 30826 (java) R 30807 30810 30547 0 -1 4202560 8534 0 0 0 258 4 0 0 20 0 45 0 253825052 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637452429592 139638045071105 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30827] ppid=30807 vsize=27652888 memory=3860 CPUtime=2.57 cores=0-7 /proc/30810/task/30827/stat : 30827 (java) S 30807 30810 30547 0 -1 1077944384 8450 0 0 0 256 1 0 0 20 0 45 0 253825052 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637451377008 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30828] ppid=30807 vsize=27652888 memory=2180 CPUtime=0.98 cores=0-7 /proc/30810/task/30828/stat : 30828 (java) S 30807 30810 30547 0 -1 1077944384 10839 0 0 0 96 2 0 0 20 0 45 0 253825052 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637450324208 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30829] ppid=30807 vsize=27652888 memory=3980 CPUtime=0 cores=0-7 /proc/30810/task/30829/stat : 30829 (java) S 30807 30810 30547 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 253825052 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637449272160 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30830] ppid=30807 vsize=27652888 memory=3632 CPUtime=0.7 cores=0-7 /proc/30810/task/30830/stat : 30830 (java) S 30807 30810 30547 0 -1 1077944384 6866 0 0 0 45 25 0 0 20 0 45 0 253825052 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637448219440 139638060694146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30831] ppid=30807 vsize=27652888 memory=69000 CPUtime=0 cores=0-7 /proc/30810/task/30831/stat : 30831 (java) S 30807 30810 30547 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 45 0 253825250 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637441070464 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30832] ppid=30807 vsize=27652888 memory=2056 CPUtime=1.72 cores=0-7 /proc/30810/task/30832/stat : 30832 (java) R 30807 30810 30547 0 -1 1077944384 18207 0 0 0 56 116 0 0 20 0 45 0 253825272 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637366449584 139638060694146 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30833] ppid=30807 vsize=27652888 memory=932 CPUtime=2494.67 cores=0-7 /proc/30810/task/30833/stat : 30833 (java) R 30807 30810 30547 0 -1 4202560 125746 0 0 0 249413 54 0 0 20 0 45 0 253825288 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637363291784 139637670546211 0 4 0 16800975 0 0 0 -1 2 0 0 21 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30834] ppid=30807 vsize=27652888 memory=1728 CPUtime=0.04 cores=0-7 /proc/30810/task/30834/stat : 30834 (java) S 30807 30810 30547 0 -1 1077944384 338 0 0 0 4 0 0 0 20 0 45 0 253825289 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637362246320 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30835] ppid=30807 vsize=27652888 memory=8628 CPUtime=2495.28 cores=0-7 /proc/30810/task/30835/stat : 30835 (java) R 30807 30810 30547 0 -1 4202560 119925 0 0 0 249472 56 0 0 20 0 45 0 253825289 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637361186216 139637669649733 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30836] ppid=30807 vsize=27652888 memory=1080 CPUtime=0.03 cores=0-7 /proc/30810/task/30836/stat : 30836 (java) R 30807 30810 30547 0 -1 1077944384 76 0 0 0 3 0 0 0 20 0 45 0 253825295 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637358044080 139638060693205 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30837] ppid=30807 vsize=27652888 memory=752 CPUtime=2492.31 cores=0-7 /proc/30810/task/30837/stat : 30837 (java) R 30807 30810 30547 0 -1 4202560 130759 0 0 0 249173 58 0 0 20 0 45 0 253825295 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637356986480 139637669616146 0 4 0 16800975 0 0 0 -1 3 0 0 19 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30838] ppid=30807 vsize=27652888 memory=796 CPUtime=0.87 cores=0-7 /proc/30810/task/30838/stat : 30838 (java) S 30807 30810 30547 0 -1 1077944384 321 0 0 0 87 0 0 0 20 0 45 0 253825295 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637355938992 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30839] ppid=30807 vsize=27652888 memory=1592 CPUtime=0.03 cores=0-7 /proc/30810/task/30839/stat : 30839 (java) S 30807 30810 30547 0 -1 1077944384 75 0 0 0 3 0 0 0 20 0 45 0 253825295 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637354886704 139638060693205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30840] ppid=30807 vsize=27652888 memory=3780 CPUtime=2492.54 cores=0-7 /proc/30810/task/30840/stat : 30840 (java) R 30807 30810 30547 0 -1 4202560 113040 0 0 0 249204 50 0 0 20 0 45 0 253825296 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637353825592 139637669249659 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30841] ppid=30807 vsize=27652888 memory=3140 CPUtime=2490.85 cores=0-7 /proc/30810/task/30841/stat : 30841 (java) R 30807 30810 30547 0 -1 4202560 113832 0 0 0 249038 47 0 0 20 0 45 0 253825296 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637352772968 139637669628740 0 4 0 16800975 0 0 0 -1 1 0 0 22 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30842] ppid=30807 vsize=27652888 memory=1244 CPUtime=2492.58 cores=0-7 /proc/30810/task/30842/stat : 30842 (java) R 30807 30810 30547 0 -1 4202560 131546 0 0 0 249206 52 0 0 20 0 45 0 253825297 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637351719992 139637671082888 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30843] ppid=30807 vsize=27652888 memory=3632 CPUtime=2492.45 cores=0-7 /proc/30810/task/30843/stat : 30843 (java) R 30807 30810 30547 0 -1 4202560 115433 0 0 0 249193 52 0 0 20 0 45 0 253825298 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637350667912 139637664652867 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 [pid=30810/tid=30844] ppid=30807 vsize=27652888 memory=69000 CPUtime=2492.93 cores=0-7 /proc/30810/task/30844/stat : 30844 (java) R 30807 30810 30547 0 -1 4202560 114302 0 0 0 249242 51 0 0 20 0 45 0 253825298 28316557312 229502 33554432000 4194304 4196468 140723663107152 139637349615912 139637670546542 0 4 0 16800975 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 30642176 140723663115341 140723663115525 140723663115525 140723663118287 0 Current children cumulated CPU time: 20004.8 s Current children cumulated vsize: 27652888 KiB Current children cumulated memory: 918008 KiB Child status: 143 Real time (s): 2520.25 CPU time (s): 20005 CPU user time (s): 19997.1 CPU system time (s): 7.89283 CPU usage (%): 793.772 Max. virtual memory (cumulated for all children) (KiB): 27652888 Max. memory (cumulated for all children) (KiB): 1281664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19997.1 system time used= 7.89283 maximum resident set size= 1283804 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1736504 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3912 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 547794 involuntary context switches= 429842 # summary of solver processes directly reported to runsolver: # pid: 30810 # total CPU time (s): 20005 # total CPU user time (s): 19997.1 # total CPU system time (s): 7.89283 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 23.1283 second user time and 31.3143 second system time The end
Begin job on node138 at 2018-08-15 21:50:19 IDJOB=4309074 IDBENCH=141174 IDSOLVER=2793 FILE ID=node138/4309074-1534362619 RUNJOBID= node138-1534362609-30574 PBS_JOBID= 21038271 Free space on /tmp= 38064 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/GracefulGraph/GracefulGraph-K07-P03_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-4309074-1534362619/watcher-4309074-1534362619 -o /tmp/evaluation-result-4309074-1534362619/solver-4309074-1534362619 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1534362609-30574 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1940158850 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309074-1534362619.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ca21bb45cdf77f5b8e0b27a9f8e7d69e RANDOM SEED=1940158850 node138.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.71 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.71 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.71 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.71 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: 28691960 kB MemAvailable: 31887064 kB Buffers: 105416 kB Cached: 3347348 kB SwapCached: 12 kB Active: 1795592 kB Inactive: 1717988 kB Active(anon): 4564 kB Inactive(anon): 116684 kB Active(file): 1791028 kB Inactive(file): 1601304 kB Unevictable: 7260 kB Mlocked: 7260 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 35980 kB Writeback: 0 kB AnonPages: 67824 kB Mapped: 53672 kB Shmem: 57932 kB Slab: 259396 kB SReclaimable: 231232 kB SUnreclaim: 28164 kB KernelStack: 3248 kB PageTables: 4904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 357048 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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= 38028 MiB End job on node138 at 2018-08-15 22:32:19