Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
OscaR - Parallel with EPS 2018-08-14 | ? (TO) | 19982.3 | 2520.42 |
Name | Eternity/ Eternity-11-11_c18.xml |
MD5SUM | b7632c186b52d4a26cd4526d5031b869 |
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 | 385 |
Number of constraints | 166 |
Number of domains | 2 |
Minimum domain size | 16 |
Maximum domain size | 121 |
Distribution of domain sizes | [{"size":16,"count":264},{"size":121,"count":121}] |
Minimum variable degree | 1 |
Maximum variable degree | 12 |
Distribution of variable degrees | [{"degree":1,"count":10},{"degree":2,"count":374},{"degree":12,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 121 |
Distribution of constraint arities | [{"arity":1,"count":44},{"arity":5,"count":121},{"arity":121,"count":1}] |
Number of extensional constraints | 121 |
Number of intensional constraints | 44 |
Distribution of constraint types | [{"type":"extension","count":121},{"type":"intension","count":44},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.67/0.55 c version: 2018-08-14 0.67/0.55 c seed: 2007562264 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... 2.36/1.17 c Parsing done, starting search... 19979.20/2520.10 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 (12357 MiB free) memory of node 1: 16384 MiB (10988 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309059-1534399990/watcher-4309059-1534399990 -o /tmp/evaluation-result-4309059-1534399990/solver-4309059-1534399990 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1534394947-31582 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 2007562264 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309059-1534399990.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=31953, runsolver pid=31950 Current StackSize limit: 8192 KiB [startup+0.100873 s]* /proc/loadavg: 9.27 8.82 8.75 3/199 31973 /proc/meminfo: memFree=23890244/32770624 swapFree=67105356/67108860 [pid=31953] ppid=31950 vsize=26103420 memory=31288 CPUtime=0.11 cores=0-7 /proc/31953/stat : 31953 (java) S 31950 31953 31555 0 -1 1077944320 7269 0 0 0 10 1 0 0 20 0 20 0 257562195 26729902080 7822 33554432000 4194304 4196468 140734491757488 140734491740032 140133870247671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 /proc/31953/statm: 6525855 7822 3123 1 0 6487932 0 [pid=31953/tid=31955] ppid=31950 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/31953/task/31955/stat : 31955 (java) R 31950 31953 31555 0 -1 4202560 5311 0 0 0 8 1 0 0 20 0 20 0 257562195 26729902080 7822 33554432000 4194304 4196468 140734491757488 140133874449304 140133854328158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31956] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31956/stat : 31956 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 7822 33554432000 4194304 4196468 140734491757488 140133428202512 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31957] ppid=31950 vsize=26103420 memory=140256537056896 CPUtime=0 cores=0-7 /proc/31953/task/31957/stat : 31957 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 7822 33554432000 4194304 4196468 140734491757488 140133427149968 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31958] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31958/stat : 31958 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 7822 33554432000 4194304 4196468 140734491757488 140133426096912 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31959] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31959/stat : 31959 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 7822 33554432000 4194304 4196468 140734491757488 140133425044368 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31960] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31960/stat : 31960 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 7822 33554432000 4194304 4196468 140734491757488 140133423991312 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31961] ppid=31950 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31953/task/31961/stat : 31961 (java) S 31950 31953 31555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 7822 33554432000 4194304 4196468 140734491757488 140133422938768 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31962] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31962/stat : 31962 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 7822 33554432000 4194304 4196468 140734491757488 140133421885712 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31963] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31963/stat : 31963 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 7822 33554432000 4194304 4196468 140734491757488 140133420833168 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31964] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31964/stat : 31964 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562197 26729902080 7822 33554432000 4194304 4196468 140734491757488 140133379271408 140133870258818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31965] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31965/stat : 31965 (java) S 31950 31953 31555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257562198 26729902080 7822 33554432000 4194304 4196468 140734491757488 140133378217632 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31966] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31966/stat : 31966 (java) S 31950 31953 31555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257562198 26729902080 7822 33554432000 4194304 4196468 140734491757488 140133377164528 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31967] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31967/stat : 31967 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562200 26729902080 7822 33554432000 4194304 4196468 140734491757488 140133376113104 140133870266267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31968] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31968/stat : 31968 (java) S 31950 31953 31555 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 257562200 26729902080 7822 33554432000 4194304 4196468 140734491757488 140132859537648 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31969] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31969/stat : 31969 (java) S 31950 31953 31555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257562200 26729902080 7822 33554432000 4194304 4196468 140734491757488 140132858485104 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31970] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31970/stat : 31970 (java) S 31950 31953 31555 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 20 0 257562200 26729902080 7822 33554432000 4194304 4196468 140734491757488 140132857432048 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31971] ppid=31950 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/31953/task/31971/stat : 31971 (java) R 31950 31953 31555 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 20 0 257562200 26729902080 7822 33554432000 4194304 4196468 140734491757488 140132856379504 140133854328158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31972] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31972/stat : 31972 (java) S 31950 31953 31555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257562201 26729902080 7822 33554432000 4194304 4196468 140734491757488 140132855327712 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31973] ppid=31950 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31953/task/31973/stat : 31973 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562201 26729902080 7822 33554432000 4194304 4196468 140734491757488 140132854275248 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 31288 KiB [startup+0.214374 s]* /proc/loadavg: 9.27 8.82 8.75 3/199 31973 /proc/meminfo: memFree=23877052/32770624 swapFree=67105356/67108860 [pid=31953] ppid=31950 vsize=26103420 memory=45268 CPUtime=0.31 cores=0-7 /proc/31953/stat : 31953 (java) S 31950 31953 31555 0 -1 1077944320 10496 0 0 0 29 2 0 0 20 0 20 0 257562195 26729902080 11317 33554432000 4194304 4196468 140734491757488 140734491740032 140133870247671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 /proc/31953/statm: 6525855 11317 3328 1 0 6487932 0 [pid=31953/tid=31955] ppid=31950 vsize=26103420 memory=4026531975 CPUtime=0.2 cores=0-7 /proc/31953/task/31955/stat : 31955 (java) R 31950 31953 31555 0 -1 4202560 8204 0 0 0 19 1 0 0 20 0 20 0 257562195 26729902080 11317 33554432000 4194304 4196468 140734491757488 140133874471008 140133870259606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31956] ppid=31950 vsize=26103420 memory=9264 CPUtime=0 cores=0-7 /proc/31953/task/31956/stat : 31956 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 11317 33554432000 4194304 4196468 140734491757488 140133428202512 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31957] ppid=31950 vsize=26103420 memory=140256537087063 CPUtime=0 cores=0-7 /proc/31953/task/31957/stat : 31957 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 11317 33554432000 4194304 4196468 140734491757488 140133427149968 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31958] ppid=31950 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31953/task/31958/stat : 31958 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 11317 33554432000 4194304 4196468 140734491757488 140133426096912 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31959] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31959/stat : 31959 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 11317 33554432000 4194304 4196468 140734491757488 140133425044368 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31960] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31960/stat : 31960 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 11317 33554432000 4194304 4196468 140734491757488 140133423991312 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31961] ppid=31950 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31953/task/31961/stat : 31961 (java) S 31950 31953 31555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 11317 33554432000 4194304 4196468 140734491757488 140133422938768 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31962] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31962/stat : 31962 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 11317 33554432000 4194304 4196468 140734491757488 140133421885712 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31963] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31963/stat : 31963 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 11317 33554432000 4194304 4196468 140734491757488 140133420833168 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31964] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31964/stat : 31964 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562197 26729902080 11317 33554432000 4194304 4196468 140734491757488 140133379271408 140133870258818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31965] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31965/stat : 31965 (java) S 31950 31953 31555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257562198 26729902080 11317 33554432000 4194304 4196468 140734491757488 140133378217632 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31966] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31966/stat : 31966 (java) S 31950 31953 31555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257562198 26729902080 11317 33554432000 4194304 4196468 140734491757488 140133377164528 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31967] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31967/stat : 31967 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562200 26729902080 11317 33554432000 4194304 4196468 140734491757488 140133376113104 140133870266267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31968] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31968/stat : 31968 (java) S 31950 31953 31555 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 20 0 257562200 26729902080 11317 33554432000 4194304 4196468 140734491757488 140132859537648 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31969] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31969/stat : 31969 (java) S 31950 31953 31555 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 257562200 26729902080 11317 33554432000 4194304 4196468 140734491757488 140132858485104 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31970] ppid=31950 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7 /proc/31953/task/31970/stat : 31970 (java) S 31950 31953 31555 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 20 0 257562200 26729902080 11317 33554432000 4194304 4196468 140734491757488 140132857432048 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31971] ppid=31950 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7 /proc/31953/task/31971/stat : 31971 (java) R 31950 31953 31555 0 -1 4202560 322 0 0 0 6 0 0 0 20 0 20 0 257562200 26729902080 11317 33554432000 4194304 4196468 140734491757488 140132856379504 140133854328158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31972] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31972/stat : 31972 (java) S 31950 31953 31555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257562201 26729902080 11317 33554432000 4194304 4196468 140734491757488 140132855327712 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31973] ppid=31950 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31953/task/31973/stat : 31973 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562201 26729902080 11317 33554432000 4194304 4196468 140734491757488 140132854275248 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 45268 KiB [startup+0.310359 s]* /proc/loadavg: 9.27 8.82 8.75 2/199 31973 /proc/meminfo: memFree=23873724/32770624 swapFree=67105356/67108860 [pid=31953] ppid=31950 vsize=26103420 memory=46772 CPUtime=0.43 cores=0-7 /proc/31953/stat : 31953 (java) S 31950 31953 31555 0 -1 1077944320 10896 0 0 0 41 2 0 0 20 0 20 0 257562195 26729902080 11693 33554432000 4194304 4196468 140734491757488 140734491740032 140133870247671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 /proc/31953/statm: 6525855 11693 3375 1 0 6487932 0 [pid=31953/tid=31955] ppid=31950 vsize=26103420 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/31953/task/31955/stat : 31955 (java) R 31950 31953 31555 0 -1 4202560 8528 0 0 0 29 1 0 0 20 0 20 0 257562195 26729902080 11693 33554432000 4194304 4196468 140734491757488 140133874409408 140133850522888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31956] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31956/stat : 31956 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 11693 33554432000 4194304 4196468 140734491757488 140133428202512 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31957] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31957/stat : 31957 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 11693 33554432000 4194304 4196468 140734491757488 140133427149968 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31958] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31958/stat : 31958 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 11693 33554432000 4194304 4196468 140734491757488 140133426096912 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31959] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31959/stat : 31959 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 11693 33554432000 4194304 4196468 140734491757488 140133425044368 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31960] ppid=31950 vsize=26103420 memory=2244 CPUtime=0 cores=0-7 /proc/31953/task/31960/stat : 31960 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 11693 33554432000 4194304 4196468 140734491757488 140133423991312 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31961] ppid=31950 vsize=26103420 memory=140256385004463 CPUtime=0 cores=0-7 /proc/31953/task/31961/stat : 31961 (java) S 31950 31953 31555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 11693 33554432000 4194304 4196468 140734491757488 140133422938768 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31962] ppid=31950 vsize=26103420 memory=140256385006768 CPUtime=0 cores=0-7 /proc/31953/task/31962/stat : 31962 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 11693 33554432000 4194304 4196468 140734491757488 140133421885712 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31963] ppid=31950 vsize=26103420 memory=140256385009072 CPUtime=0 cores=0-7 /proc/31953/task/31963/stat : 31963 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562196 26729902080 11693 33554432000 4194304 4196468 140734491757488 140133420833168 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31964] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31964/stat : 31964 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562197 26729902080 11693 33554432000 4194304 4196468 140734491757488 140133379271408 140133870258818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31965] ppid=31950 vsize=26103420 memory=280512770025104 CPUtime=0 cores=0-7 /proc/31953/task/31965/stat : 31965 (java) S 31950 31953 31555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 257562198 26729902080 11693 33554432000 4194304 4196468 140734491757488 140133378217632 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31966] ppid=31950 vsize=26103420 memory=280512770032016 CPUtime=0 cores=0-7 /proc/31953/task/31966/stat : 31966 (java) S 31950 31953 31555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 257562198 26729902080 11693 33554432000 4194304 4196468 140734491757488 140133377164528 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31967] ppid=31950 vsize=26103420 memory=280512769973296 CPUtime=0 cores=0-7 /proc/31953/task/31967/stat : 31967 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562200 26729902080 11693 33554432000 4194304 4196468 140734491757488 140133376113104 140133870266267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31968] ppid=31950 vsize=26103420 memory=280512770045840 CPUtime=0.01 cores=0-7 /proc/31953/task/31968/stat : 31968 (java) S 31950 31953 31555 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 20 0 257562200 26729902080 11693 33554432000 4194304 4196468 140734491757488 140132859537648 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31969] ppid=31950 vsize=26103420 memory=280512770052752 CPUtime=0 cores=0-7 /proc/31953/task/31969/stat : 31969 (java) S 31950 31953 31555 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 257562200 26729902080 11693 33554432000 4194304 4196468 140734491757488 140132858485104 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31970] ppid=31950 vsize=26103420 memory=280512770050448 CPUtime=0.01 cores=0-7 /proc/31953/task/31970/stat : 31970 (java) S 31950 31953 31555 0 -1 1077944384 436 0 0 0 1 0 0 0 20 0 20 0 257562200 26729902080 11693 33554432000 4194304 4196468 140734491757488 140132857432048 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31971] ppid=31950 vsize=26103420 memory=280512770067056 CPUtime=0.07 cores=0-7 /proc/31953/task/31971/stat : 31971 (java) S 31950 31953 31555 0 -1 1077944384 337 0 0 0 7 0 0 0 20 0 20 0 257562200 26729902080 11693 33554432000 4194304 4196468 140734491757488 140132856379504 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31972] ppid=31950 vsize=26103420 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31972/stat : 31972 (java) S 31950 31953 31555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257562201 26729902080 11693 33554432000 4194304 4196468 140734491757488 140132855327712 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31973] ppid=31950 vsize=26103420 memory=-1 CPUtime=0 cores=0-7 /proc/31953/task/31973/stat : 31973 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562201 26729902080 11693 33554432000 4194304 4196468 140734491757488 140132854275248 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 26103420 KiB Current children cumulated memory: 46772 KiB [startup+0.700904 s] /proc/loadavg: 9.27 8.82 8.75 2/199 31973 /proc/meminfo: memFree=23849416/32770624 swapFree=67105356/67108860 [pid=31953] ppid=31950 vsize=26105488 memory=87640 CPUtime=0.99 cores=0-7 /proc/31953/stat : 31953 (java) S 31950 31953 31555 0 -1 1077944320 17827 0 0 0 95 4 0 0 20 0 20 0 257562195 26732019712 21910 33554432000 4194304 4196468 140734491757488 140734491740032 140133870247671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 /proc/31953/statm: 6526372 21910 3488 1 0 6488444 0 [pid=31953/tid=31955] ppid=31950 vsize=26105488 memory=0 CPUtime=0.68 cores=0-7 /proc/31953/task/31955/stat : 31955 (java) R 31950 31953 31555 0 -1 4202560 15003 0 0 0 65 3 0 0 20 0 20 0 257562195 26732019712 21910 33554432000 4194304 4196468 140734491757488 140133874471840 140133837838950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31956] ppid=31950 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31956/stat : 31956 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562196 26732019712 21910 33554432000 4194304 4196468 140734491757488 140133428202512 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31957] ppid=31950 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31957/stat : 31957 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562196 26732019712 21910 33554432000 4194304 4196468 140734491757488 140133427149968 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31958] ppid=31950 vsize=26105488 memory=0 CPUtime=0 cores=0-7 /proc/31953/task/31958/stat : 31958 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562196 26732019712 21910 33554432000 4194304 4196468 140734491757488 140133426096912 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31959] ppid=31950 vsize=26105488 memory=4632 CPUtime=0 cores=0-7 /proc/31953/task/31959/stat : 31959 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562196 26732019712 21910 33554432000 4194304 4196468 140734491757488 140133425044368 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31960] ppid=31950 vsize=26105488 memory=3644 CPUtime=0 cores=0-7 /proc/31953/task/31960/stat : 31960 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562196 26732019712 21910 33554432000 4194304 4196468 140734491757488 140133423991312 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31961] ppid=31950 vsize=26105488 memory=1268 CPUtime=0 cores=0-7 /proc/31953/task/31961/stat : 31961 (java) S 31950 31953 31555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 257562196 26732019712 21910 33554432000 4194304 4196468 140734491757488 140133422938768 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31962] ppid=31950 vsize=26105488 memory=1124 CPUtime=0 cores=0-7 /proc/31953/task/31962/stat : 31962 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562196 26732019712 21910 33554432000 4194304 4196468 140734491757488 140133421885712 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31963] ppid=31950 vsize=26105488 memory=14884 CPUtime=0 cores=0-7 /proc/31953/task/31963/stat : 31963 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 257562196 26732019712 21910 33554432000 4194304 4196468 140734491757488 140133420833168 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31964] ppid=31950 vsize=26105488 memory=3316 CPUtime=0 cores=0-7 /proc/31953/task/31964/stat : 31964 (java) S 31950 31953 31555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 257562197 26732019712 21910 33554432000 4194304 4196468 140734491757488 140133379271408 140133870258818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 ################ # More data... # ################ [startup+2520 s]* /proc/loadavg: 8.35 8.62 8.70 10/212 32020 /proc/meminfo: memFree=23274960/32770624 swapFree=67105356/67108860 [pid=31953] ppid=31950 vsize=27051756 memory=638408 CPUtime=19979.2 cores=0-7 /proc/31953/stat : 31953 (java) S 31950 31953 31555 0 -1 1077944320 1203319 0 0 0 1997226 694 0 0 20 0 34 0 257562195 27700998144 159602 33554432000 4194304 4196468 140734491757488 140734491740032 140133870247671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 /proc/31953/statm: 6762939 159602 3618 1 0 6724490 0 [pid=31953/tid=31955] ppid=31950 vsize=27051756 memory=1398720917958146503 CPUtime=3.27 cores=0-7 /proc/31953/task/31955/stat : 31955 (java) S 31950 31953 31555 0 -1 1077944384 22161 0 0 0 320 7 0 0 20 0 34 0 257562195 27700998144 159602 33554432000 4194304 4196468 140734491757488 140133874485136 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31956] ppid=31950 vsize=27051756 memory=4126316290023845779 CPUtime=7.78 cores=0-7 /proc/31953/task/31956/stat : 31956 (java) S 31950 31953 31555 0 -1 1077944384 64871 0 0 0 741 37 0 0 20 0 34 0 257562196 27700998144 159602 33554432000 4194304 4196468 140734491757488 140133428202512 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31957] ppid=31950 vsize=27051756 memory=6412 CPUtime=7.78 cores=0-7 /proc/31953/task/31957/stat : 31957 (java) S 31950 31953 31555 0 -1 1077944384 62719 0 0 0 743 35 0 0 20 0 34 0 257562196 27700998144 159602 33554432000 4194304 4196468 140734491757488 140133427149968 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31958] ppid=31950 vsize=27051756 memory=4632 CPUtime=7.81 cores=0-7 /proc/31953/task/31958/stat : 31958 (java) S 31950 31953 31555 0 -1 1077944384 64821 0 0 0 745 36 0 0 20 0 34 0 257562196 27700998144 159602 33554432000 4194304 4196468 140734491757488 140133426096912 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31959] ppid=31950 vsize=27051756 memory=3644 CPUtime=7.79 cores=0-7 /proc/31953/task/31959/stat : 31959 (java) S 31950 31953 31555 0 -1 1077944384 67444 0 0 0 742 37 0 0 20 0 34 0 257562196 27700998144 159602 33554432000 4194304 4196468 140734491757488 140133425044368 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31960] ppid=31950 vsize=27051756 memory=1268 CPUtime=7.79 cores=0-7 /proc/31953/task/31960/stat : 31960 (java) S 31950 31953 31555 0 -1 1077944384 74777 0 0 0 743 36 0 0 20 0 34 0 257562196 27700998144 159602 33554432000 4194304 4196468 140734491757488 140133423991312 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31961] ppid=31950 vsize=27051756 memory=640972 CPUtime=7.83 cores=0-7 /proc/31953/task/31961/stat : 31961 (java) S 31950 31953 31555 0 -1 1077944384 65675 0 0 0 749 34 0 0 20 0 34 0 257562196 27700998144 159602 33554432000 4194304 4196468 140734491757488 140133422938768 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31962] ppid=31950 vsize=27051756 memory=4096 CPUtime=7.82 cores=0-7 /proc/31953/task/31962/stat : 31962 (java) S 31950 31953 31555 0 -1 1077944384 65491 0 0 0 746 36 0 0 20 0 34 0 257562196 27700998144 159602 33554432000 4194304 4196468 140734491757488 140133421885712 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31963] ppid=31950 vsize=27051756 memory=1398720917958146503 CPUtime=7.87 cores=0-7 /proc/31953/task/31963/stat : 31963 (java) S 31950 31953 31555 0 -1 1077944384 65397 0 0 0 750 37 0 0 20 0 34 0 257562196 27700998144 159602 33554432000 4194304 4196468 140734491757488 140133420833168 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31964] ppid=31950 vsize=27051756 memory=4126316290023845779 CPUtime=5.46 cores=0-7 /proc/31953/task/31964/stat : 31964 (java) S 31950 31953 31555 0 -1 1077944384 107885 0 0 0 463 83 0 0 20 0 34 0 257562197 27700998144 159602 33554432000 4194304 4196468 140734491757488 140133379271408 140133870258818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31965] ppid=31950 vsize=27051756 memory=1268 CPUtime=0 cores=0-7 /proc/31953/task/31965/stat : 31965 (java) S 31950 31953 31555 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 34 0 257562198 27700998144 159602 33554432000 4194304 4196468 140734491757488 140133378217696 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31966] ppid=31950 vsize=27051756 memory=1124 CPUtime=0 cores=0-7 /proc/31953/task/31966/stat : 31966 (java) S 31950 31953 31555 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 34 0 257562198 27700998144 159602 33554432000 4194304 4196468 140734491757488 140133377164544 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31967] ppid=31950 vsize=27051756 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/31953/task/31967/stat : 31967 (java) S 31950 31953 31555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 34 0 257562200 27700998144 159602 33554432000 4194304 4196468 140734491757488 140133376113104 140133870266267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31968] ppid=31950 vsize=27051756 memory=3316 CPUtime=1.71 cores=0-7 /proc/31953/task/31968/stat : 31968 (java) S 31950 31953 31555 0 -1 1077944384 5907 0 0 0 170 1 0 0 20 0 34 0 257562200 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132859537648 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31969] ppid=31950 vsize=27051756 memory=13636 CPUtime=1.67 cores=0-7 /proc/31953/task/31969/stat : 31969 (java) S 31950 31953 31555 0 -1 1077944384 7025 0 0 0 166 1 0 0 20 0 34 0 257562200 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132858485104 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31970] ppid=31950 vsize=27051756 memory=6791534058613427641 CPUtime=1.88 cores=0-7 /proc/31953/task/31970/stat : 31970 (java) S 31950 31953 31555 0 -1 1077944384 8708 0 0 0 187 1 0 0 20 0 34 0 257562200 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132857432048 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31971] ppid=31950 vsize=27051756 memory=652772 CPUtime=1.12 cores=0-7 /proc/31953/task/31971/stat : 31971 (java) S 31950 31953 31555 0 -1 1077944384 10173 0 0 0 110 2 0 0 20 0 34 0 257562200 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132856379504 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31972] ppid=31950 vsize=27051756 memory=492 CPUtime=0 cores=0-7 /proc/31953/task/31972/stat : 31972 (java) S 31950 31953 31555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 34 0 257562201 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132855327712 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31973] ppid=31950 vsize=27051756 memory=1616 CPUtime=0.81 cores=0-7 /proc/31953/task/31973/stat : 31973 (java) S 31950 31953 31555 0 -1 1077944384 5214 0 0 0 28 53 0 0 20 0 34 0 257562201 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132854275248 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 47 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31974] ppid=31950 vsize=27051756 memory=928 CPUtime=0 cores=0-7 /proc/31953/task/31974/stat : 31974 (java) S 31950 31953 31555 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 34 0 257562488 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132840834048 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31975] ppid=31950 vsize=27051756 memory=2216 CPUtime=4.04 cores=0-7 /proc/31953/task/31975/stat : 31975 (java) R 31950 31953 31555 0 -1 1077944384 14595 0 0 0 133 271 0 0 20 0 34 0 257562509 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132049479072 140133870258818 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31976] ppid=31950 vsize=27051756 memory=928 CPUtime=2488.1 cores=0-7 /proc/31953/task/31976/stat : 31976 (java) R 31950 31953 31555 0 -1 4202560 60602 0 0 0 248773 37 0 0 20 0 34 0 257562525 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132048417832 140133471500263 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31977] ppid=31950 vsize=27051756 memory=1564 CPUtime=2487.95 cores=0-7 /proc/31953/task/31977/stat : 31977 (java) R 31950 31953 31555 0 -1 4202560 58143 0 0 0 248756 39 0 0 20 0 34 0 257562526 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132045271856 140133467935253 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31978] ppid=31950 vsize=27051756 memory=2192 CPUtime=0.08 cores=0-7 /proc/31953/task/31978/stat : 31978 (java) S 31950 31953 31555 0 -1 1077944384 49 0 0 0 8 0 0 0 20 0 34 0 257562526 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132044223152 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31979] ppid=31950 vsize=27051756 memory=3984 CPUtime=0.08 cores=0-7 /proc/31953/task/31979/stat : 31979 (java) S 31950 31953 31555 0 -1 1077944384 43 0 0 0 8 0 0 0 20 0 34 0 257562533 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132043170608 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31980] ppid=31950 vsize=27051756 memory=1928 CPUtime=2486.76 cores=0-7 /proc/31953/task/31980/stat : 31980 (java) R 31950 31953 31555 0 -1 4202560 63459 0 0 0 248639 37 0 0 20 0 34 0 257562533 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132042110584 140133471500132 0 4 0 16800975 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31981] ppid=31950 vsize=27051756 memory=7888 CPUtime=2486.55 cores=0-7 /proc/31953/task/31981/stat : 31981 (java) R 31950 31953 31555 0 -1 4202560 63004 0 0 0 248614 41 0 0 20 0 34 0 257562533 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132041058648 140133471931523 0 4 0 16800975 0 0 0 -1 6 0 0 32 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31982] ppid=31950 vsize=27051756 memory=804 CPUtime=2486.88 cores=0-7 /proc/31953/task/31982/stat : 31982 (java) R 31950 31953 31555 0 -1 4202560 58876 0 0 0 248647 41 0 0 20 0 34 0 257562533 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132040005000 140133471500132 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31983] ppid=31950 vsize=27051756 memory=1692 CPUtime=0.09 cores=0-7 /proc/31953/task/31983/stat : 31983 (java) S 31950 31953 31555 0 -1 1077944384 36 0 0 0 9 0 0 0 20 0 34 0 257562533 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132038960432 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31984] ppid=31950 vsize=27051756 memory=912 CPUtime=0 cores=0-7 /proc/31953/task/31984/stat : 31984 (java) S 31950 31953 31555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 34 0 257562533 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132037907376 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31985] ppid=31950 vsize=27051756 memory=4156 CPUtime=2486.84 cores=0-7 /proc/31953/task/31985/stat : 31985 (java) R 31950 31953 31555 0 -1 4202560 59930 0 0 0 248646 38 0 0 20 0 34 0 257562533 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132036850040 140133471631748 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31986] ppid=31950 vsize=27051756 memory=1408 CPUtime=2484.91 cores=0-7 /proc/31953/task/31986/stat : 31986 (java) R 31950 31953 31555 0 -1 4202560 64023 0 0 0 248455 36 0 0 20 0 34 0 257562548 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132035793704 140133459377951 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31987] ppid=31950 vsize=27051756 memory=4092 CPUtime=2488.29 cores=0-7 /proc/31953/task/31987/stat : 31987 (java) R 31950 31953 31555 0 -1 4202560 60807 0 0 0 248793 36 0 0 20 0 34 0 257562548 27700998144 159602 33554432000 4194304 4196468 140734491757488 140132034741336 140133465591344 0 4 0 16800975 0 0 0 -1 0 0 0 20 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 Current children cumulated CPU time: 19979.2 s Current children cumulated vsize: 27051756 KiB Current children cumulated memory: 638408 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.42 s] # the end of solver process 31953 was just reported to runsolver # cumulated CPU time of all completed processes: user=19975.3 s, system=6.96375 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2520.4 s] /proc/loadavg: 8.35 8.62 8.70 10/212 32020 /proc/meminfo: memFree=23274960/32770624 swapFree=67105356/67108860 [pid=31953] ppid=31950 vsize=27786008 memory=640060 CPUtime=19982.2 cores=0-7 /proc/31953/stat : 31953 (java) S 31950 31953 31555 0 -1 1077944320 1206003 0 0 0 1997528 695 0 0 20 0 42 0 257562195 28452872192 160015 33554432000 4194304 4196468 140734491757488 140734491740032 140133870247671 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 /proc/31953/statm: 6946502 160015 3620 1 0 6908053 0 [pid=31953/tid=31955] ppid=31950 vsize=27786008 memory=4872558044660077418 CPUtime=3.27 cores=0-7 /proc/31953/task/31955/stat : 31955 (java) S 31950 31953 31555 0 -1 1077944384 22183 0 0 0 320 7 0 0 20 0 42 0 257562195 28452872192 160015 33554432000 4194304 4196468 140734491757488 140133874486352 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31956] ppid=31950 vsize=27786008 memory=647008 CPUtime=7.78 cores=0-7 /proc/31953/task/31956/stat : 31956 (java) S 31950 31953 31555 0 -1 1077944384 64877 0 0 0 741 37 0 0 20 0 42 0 257562196 28452872192 160015 33554432000 4194304 4196468 140734491757488 140133428202512 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31957] ppid=31950 vsize=27786008 memory=645980 CPUtime=7.79 cores=0-7 /proc/31953/task/31957/stat : 31957 (java) S 31950 31953 31555 0 -1 1077944384 62719 0 0 0 744 35 0 0 20 0 42 0 257562196 28452872192 160015 33554432000 4194304 4196468 140734491757488 140133427149968 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31958] ppid=31950 vsize=27786008 memory=1398720917958146503 CPUtime=7.81 cores=0-7 /proc/31953/task/31958/stat : 31958 (java) S 31950 31953 31555 0 -1 1077944384 64827 0 0 0 745 36 0 0 20 0 42 0 257562196 28452872192 160015 33554432000 4194304 4196468 140734491757488 140133426096912 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31959] ppid=31950 vsize=27786008 memory=2064 CPUtime=7.79 cores=0-7 /proc/31953/task/31959/stat : 31959 (java) S 31950 31953 31555 0 -1 1077944384 67444 0 0 0 742 37 0 0 20 0 42 0 257562196 28452872192 160015 33554432000 4194304 4196468 140734491757488 140133425044368 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31960] ppid=31950 vsize=27786008 memory=31076 CPUtime=7.8 cores=0-7 /proc/31953/task/31960/stat : 31960 (java) S 31950 31953 31555 0 -1 1077944384 74777 0 0 0 744 36 0 0 20 0 42 0 257562196 28452872192 160015 33554432000 4194304 4196468 140734491757488 140133423991312 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31961] ppid=31950 vsize=27786008 memory=7888 CPUtime=7.83 cores=0-7 /proc/31953/task/31961/stat : 31961 (java) S 31950 31953 31555 0 -1 1077944384 65680 0 0 0 749 34 0 0 20 0 42 0 257562196 28452872192 160015 33554432000 4194304 4196468 140734491757488 140133422938768 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31962] ppid=31950 vsize=27786008 memory=804 CPUtime=7.83 cores=0-7 /proc/31953/task/31962/stat : 31962 (java) S 31950 31953 31555 0 -1 1077944384 65548 0 0 0 747 36 0 0 20 0 42 0 257562196 28452872192 160015 33554432000 4194304 4196468 140734491757488 140133421885712 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31963] ppid=31950 vsize=27786008 memory=654312 CPUtime=7.87 cores=0-7 /proc/31953/task/31963/stat : 31963 (java) S 31950 31953 31555 0 -1 1077944384 65425 0 0 0 750 37 0 0 20 0 42 0 257562196 28452872192 160015 33554432000 4194304 4196468 140734491757488 140133420833168 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31964] ppid=31950 vsize=27786008 memory=912 CPUtime=5.46 cores=0-7 /proc/31953/task/31964/stat : 31964 (java) R 31950 31953 31555 0 -1 4202560 107885 0 0 0 463 83 0 0 20 0 42 0 257562197 28452872192 160015 33554432000 4194304 4196468 140734491757488 140133379271544 140133862875879 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31965] ppid=31950 vsize=27786008 memory=4096 CPUtime=0 cores=0-7 /proc/31953/task/31965/stat : 31965 (java) S 31950 31953 31555 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 42 0 257562198 28452872192 160015 33554432000 4194304 4196468 140734491757488 140133378217696 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31966] ppid=31950 vsize=27786008 memory=1398720917958146503 CPUtime=0 cores=0-7 /proc/31953/task/31966/stat : 31966 (java) S 31950 31953 31555 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 42 0 257562198 28452872192 160015 33554432000 4194304 4196468 140734491757488 140133377164544 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31967] ppid=31950 vsize=27786008 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/31953/task/31967/stat : 31967 (java) S 31950 31953 31555 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 42 0 257562200 28452872192 160015 33554432000 4194304 4196468 140734491757488 140133376112752 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31968] ppid=31950 vsize=27786008 memory=288230596050944315 CPUtime=1.71 cores=0-7 /proc/31953/task/31968/stat : 31968 (java) S 31950 31953 31555 0 -1 1077944384 5910 0 0 0 170 1 0 0 20 0 42 0 257562200 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132859537648 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31969] ppid=31950 vsize=27786008 memory=15536314971856400 CPUtime=1.73 cores=0-7 /proc/31953/task/31969/stat : 31969 (java) R 31950 31953 31555 0 -1 4202560 7166 0 0 0 172 1 0 0 20 0 42 0 257562200 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132858476320 140133855353216 0 4 0 16800975 0 0 0 -1 0 0 0 49 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31970] ppid=31950 vsize=27786008 memory=288230596050944315 CPUtime=1.88 cores=0-7 /proc/31953/task/31970/stat : 31970 (java) S 31950 31953 31555 0 -1 1077944384 8711 0 0 0 187 1 0 0 20 0 42 0 257562200 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132857432048 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31971] ppid=31950 vsize=27786008 memory=15536314971856400 CPUtime=1.14 cores=0-7 /proc/31953/task/31971/stat : 31971 (java) S 31950 31953 31555 0 -1 1077944384 10686 0 0 0 112 2 0 0 20 0 42 0 257562200 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132856379504 140133870258818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31972] ppid=31950 vsize=27786008 memory=13636 CPUtime=0 cores=0-7 /proc/31953/task/31972/stat : 31972 (java) S 31950 31953 31555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 42 0 257562201 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132855327712 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31974] ppid=31950 vsize=27786008 memory=1176 CPUtime=0 cores=0-7 /proc/31953/task/31974/stat : 31974 (java) S 31950 31953 31555 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 42 0 257562488 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132840834048 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31976] ppid=31950 vsize=27786008 memory=4126316290023845779 CPUtime=2488.46 cores=0-7 /proc/31953/task/31976/stat : 31976 (java) S 31950 31953 31555 0 -1 1077944384 60624 0 0 0 248809 37 0 0 20 0 42 0 257562525 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132048418592 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31977] ppid=31950 vsize=27786008 memory=7666933485795568228 CPUtime=2488.3 cores=0-7 /proc/31953/task/31977/stat : 31977 (java) S 31950 31953 31555 0 -1 1077944384 58143 0 0 0 248791 39 0 0 20 0 42 0 257562526 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132045268176 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31978] ppid=31950 vsize=27786008 memory=7380100550604122730 CPUtime=0.08 cores=0-7 /proc/31953/task/31978/stat : 31978 (java) S 31950 31953 31555 0 -1 1077944384 122 0 0 0 8 0 0 0 20 0 42 0 257562526 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132044223152 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31979] ppid=31950 vsize=27786008 memory=7380100550604122730 CPUtime=0.09 cores=0-7 /proc/31953/task/31979/stat : 31979 (java) S 31950 31953 31555 0 -1 1077944384 366 0 0 0 9 0 0 0 20 0 42 0 257562533 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132043170608 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31980] ppid=31950 vsize=27786008 memory=7666933485796158570 CPUtime=2487.13 cores=0-7 /proc/31953/task/31980/stat : 31980 (java) S 31950 31953 31555 0 -1 1077944384 63480 0 0 0 248676 37 0 0 20 0 42 0 257562533 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132042110464 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 28 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31981] ppid=31950 vsize=27786008 memory=7884794052836287065 CPUtime=2486.9 cores=0-7 /proc/31953/task/31981/stat : 31981 (java) S 31950 31953 31555 0 -1 1077944384 63024 0 0 0 248649 41 0 0 20 0 42 0 257562533 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132041058000 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31982] ppid=31950 vsize=27786008 memory=7100839861465685612 CPUtime=2487.22 cores=0-7 /proc/31953/task/31982/stat : 31982 (java) S 31950 31953 31555 0 -1 1077944384 58894 0 0 0 248681 41 0 0 20 0 42 0 257562533 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132040005168 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31983] ppid=31950 vsize=27786008 memory=-7175204567652784766 CPUtime=0.1 cores=0-7 /proc/31953/task/31983/stat : 31983 (java) S 31950 31953 31555 0 -1 1077944384 107 0 0 0 10 0 0 0 20 0 42 0 257562533 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132038960432 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31984] ppid=31950 vsize=27786008 memory=3054156605268465310 CPUtime=0.01 cores=0-7 /proc/31953/task/31984/stat : 31984 (java) S 31950 31953 31555 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 42 0 257562533 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132037907376 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31985] ppid=31950 vsize=27786008 memory=4715433313220523562 CPUtime=2487.2 cores=0-7 /proc/31953/task/31985/stat : 31985 (java) S 31950 31953 31555 0 -1 1077944384 59948 0 0 0 248682 38 0 0 20 0 42 0 257562533 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132036846800 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31986] ppid=31950 vsize=27786008 memory=4427205132082312746 CPUtime=2485.26 cores=0-7 /proc/31953/task/31986/stat : 31986 (java) S 31950 31953 31555 0 -1 1077944384 64041 0 0 0 248490 36 0 0 20 0 42 0 257562548 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132035793664 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 [pid=31953/tid=31987] ppid=31950 vsize=27786008 memory=-7023579799431922829 CPUtime=2488.65 cores=0-7 /proc/31953/task/31987/stat : 31987 (java) S 31950 31953 31555 0 -1 1077944384 60826 0 0 0 248829 36 0 0 20 0 42 0 257562548 28452872192 160015 33554432000 4194304 4196468 140734491757488 140132034741200 140133870257877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 38236160 140734491763789 140734491763973 140734491763973 140734491766735 0 Current children cumulated CPU time: 19982.2 s Current children cumulated vsize: 27786008 KiB Current children cumulated memory: 640060 KiB Child status: 143 Real time (s): 2520.42 CPU time (s): 19982.3 CPU user time (s): 19975.3 CPU system time (s): 6.96375 CPU usage (%): 792.814 Max. virtual memory (cumulated for all children) (KiB): 27786008 Max. memory (cumulated for all children) (KiB): 1703712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19975.3 system time used= 6.96375 maximum resident set size= 1706828 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1206024 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3632 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 608863 involuntary context switches= 425291 # summary of solver processes directly reported to runsolver: # pid: 31953 # total CPU time (s): 19982.3 # total CPU user time (s): 19975.3 # total CPU system time (s): 6.96375 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 21.7729 second user time and 31.9816 second system time The end
Begin job on node149 at 2018-08-16 08:13:10 IDJOB=4309059 IDBENCH=141654 IDSOLVER=2793 FILE ID=node149/4309059-1534399990 RUNJOBID= node149-1534394947-31582 PBS_JOBID= 21038331 Free space on /tmp= 44896 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-08-14 BENCH NAME= XCSP18/Eternity/Eternity-11-11_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-4309059-1534399990/watcher-4309059-1534399990 -o /tmp/evaluation-result-4309059-1534399990/solver-4309059-1534399990 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1534394947-31582 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 2007562264 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309059-1534399990.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b7632c186b52d4a26cd4526d5031b869 RANDOM SEED=2007562264 node149.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.60 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.60 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.60 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.60 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: 23906948 kB MemAvailable: 31895028 kB Buffers: 190264 kB Cached: 8009900 kB SwapCached: 1704 kB Active: 3711408 kB Inactive: 4541560 kB Active(anon): 3284 kB Inactive(anon): 109868 kB Active(file): 3708124 kB Inactive(file): 4431692 kB Unevictable: 7608 kB Mlocked: 7608 kB SwapTotal: 67108860 kB SwapFree: 67105356 kB Dirty: 36328 kB Writeback: 0 kB AnonPages: 58236 kB Mapped: 56016 kB Shmem: 57760 kB Slab: 304132 kB SReclaimable: 276724 kB SUnreclaim: 27408 kB KernelStack: 3184 kB PageTables: 5296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 357424 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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= 44860 MiB End job on node149 at 2018-08-16 08:55:11