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 (14361 MiB free)
memory of node 1: 16384 MiB (6063 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258229-1502636815/watcher-4258229-1502636815 -o /tmp/evaluation-result-4258229-1502636815/solver-4258229-1502636815 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502635870-2900 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258229-1502636815.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3020, runsolver pid=3017
Current StackSize limit: 8192 KiB
[startup+0.10014 s]*
/proc/loadavg: 3.67 1.90 1.85 7/216 3035
/proc/meminfo: memFree=20894920/32770624 swapFree=67108860/67108860
[pid=3020] ppid=3017 vsize=10555400 memory=30484 CPUtime=0.12 cores=0,2,4,6
/proc/3020/stat : 3020 (java) S 3017 3020 31794 0 -1 1077944320 6664 0 0 0 11 1 0 0 20 0 15 0 96769563 10808729600 7621 33554432000 4194304 4196468 140731354816400 140731354798944 139649121935095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
/proc/3020/statm: 2638850 7621 2818 1 0 2627263 0
[pid=3020/tid=3022] ppid=3017 vsize=10555400 memory=8326441112148417179 CPUtime=0.09 cores=0,2,4,6
/proc/3020/task/3022/stat : 3022 (java) R 3017 3020 31794 0 -1 4202560 4520 0 0 0 8 1 0 0 20 0 15 0 96769564 10808729600 7621 33554432000 4194304 4196468 140731354816400 139649126156608 139649121947030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3023] ppid=3017 vsize=10555400 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3023/stat : 3023 (java) S 3017 3020 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96769564 10808729600 7621 33554432000 4194304 4196468 140731354816400 139649058626192 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3024] ppid=3017 vsize=10555400 memory=140504164857472 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3024/stat : 3024 (java) S 3017 3020 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96769564 10808729600 7621 33554432000 4194304 4196468 140731354816400 139649057573392 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3025] ppid=3017 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3025/stat : 3025 (java) S 3017 3020 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96769564 10808729600 7621 33554432000 4194304 4196468 140731354816400 139649056520592 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3026] ppid=3017 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3026/stat : 3026 (java) S 3017 3020 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96769564 10808729600 7621 33554432000 4194304 4196468 140731354816400 139649055467792 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3027] ppid=3017 vsize=10555400 memory=140504164857472 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3027/stat : 3027 (java) S 3017 3020 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96769566 10808729600 7621 33554432000 4194304 4196468 140731354816400 139648613243760 139649121946242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3028] ppid=3017 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3028/stat : 3028 (java) S 3017 3020 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96769566 10808729600 7621 33554432000 4194304 4196468 140731354816400 139648612189728 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3029] ppid=3017 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3029/stat : 3029 (java) S 3017 3020 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96769566 10808729600 7621 33554432000 4194304 4196468 140731354816400 139648611136880 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3030] ppid=3017 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3030/stat : 3030 (java) S 3017 3020 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96769569 10808729600 7621 33554432000 4194304 4196468 140731354816400 139648610085200 139649121953691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3031] ppid=3017 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3031/stat : 3031 (java) S 3017 3020 31794 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 96769569 10808729600 7621 33554432000 4194304 4196468 140731354816400 139648609032560 139649121946242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3032] ppid=3017 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3032/stat : 3032 (java) S 3017 3020 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96769569 10808729600 7621 33554432000 4194304 4196468 140731354816400 139648607979760 139649121946242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3033] ppid=3017 vsize=10555400 memory=140504164857472 CPUtime=0.02 cores=0,2,4,6
/proc/3020/task/3033/stat : 3033 (java) R 3017 3020 31794 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 96769569 10808729600 7621 33554432000 4194304 4196468 140731354816400 139648606926960 139649114172222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3034] ppid=3017 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3034/stat : 3034 (java) S 3017 3020 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96769569 10808729600 7621 33554432000 4194304 4196468 140731354816400 139648605874400 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3035] ppid=3017 vsize=10555400 memory=140504164857472 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3035/stat : 3035 (java) S 3017 3020 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96769569 10808729600 7621 33554432000 4194304 4196468 140731354816400 139648604822704 139649121946242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30484 KiB
[startup+0.210683 s]*
/proc/loadavg: 3.67 1.90 1.85 6/216 3035
/proc/meminfo: memFree=20887540/32770624 swapFree=67108860/67108860
[pid=3020] ppid=3017 vsize=10555400 memory=39372 CPUtime=0.29 cores=0,2,4,6
/proc/3020/stat : 3020 (java) S 3017 3020 31794 0 -1 1077944320 7960 0 0 0 27 2 0 0 20 0 15 0 96769563 10808729600 9843 33554432000 4194304 4196468 140731354816400 140731354798944 139649121935095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
/proc/3020/statm: 2638850 9843 2918 1 0 2627263 0
[pid=3020/tid=3022] ppid=3017 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/3020/task/3022/stat : 3022 (java) R 3017 3020 31794 0 -1 4202560 5201 0 0 0 19 1 0 0 20 0 15 0 96769564 10808729600 9843 33554432000 4194304 4196468 140731354816400 139649126163888 139649121947030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3023] ppid=3017 vsize=10555400 memory=331 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3023/stat : 3023 (java) S 3017 3020 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96769564 10808729600 9843 33554432000 4194304 4196468 140731354816400 139649058626192 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3024] ppid=3017 vsize=10555400 memory=140504164867812 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3024/stat : 3024 (java) S 3017 3020 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96769564 10808729600 9843 33554432000 4194304 4196468 140731354816400 139649057573392 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3025] ppid=3017 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3025/stat : 3025 (java) S 3017 3020 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96769564 10808729600 9843 33554432000 4194304 4196468 140731354816400 139649056520592 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3026] ppid=3017 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3026/stat : 3026 (java) S 3017 3020 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96769564 10808729600 9843 33554432000 4194304 4196468 140731354816400 139649055467792 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3027] ppid=3017 vsize=10555400 memory=140504164857472 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3027/stat : 3027 (java) S 3017 3020 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96769566 10808729600 9843 33554432000 4194304 4196468 140731354816400 139648613243760 139649121946242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3028] ppid=3017 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3028/stat : 3028 (java) S 3017 3020 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96769566 10808729600 9843 33554432000 4194304 4196468 140731354816400 139648612189728 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3029] ppid=3017 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3029/stat : 3029 (java) S 3017 3020 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96769566 10808729600 9843 33554432000 4194304 4196468 140731354816400 139648611136880 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3030] ppid=3017 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3030/stat : 3030 (java) S 3017 3020 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96769569 10808729600 9843 33554432000 4194304 4196468 140731354816400 139648610085200 139649121953691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3031] ppid=3017 vsize=10555400 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3020/task/3031/stat : 3031 (java) S 3017 3020 31794 0 -1 1077944384 553 0 0 0 2 0 0 0 20 0 15 0 96769569 10808729600 9843 33554432000 4194304 4196468 140731354816400 139648609032560 139649121946242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3032] ppid=3017 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3032/stat : 3032 (java) S 3017 3020 31794 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 96769569 10808729600 9843 33554432000 4194304 4196468 140731354816400 139648607979760 139649121946242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3033] ppid=3017 vsize=10555400 memory=140504164857472 CPUtime=0.06 cores=0,2,4,6
/proc/3020/task/3033/stat : 3033 (java) R 3017 3020 31794 0 -1 4202560 777 0 0 0 6 0 0 0 20 0 15 0 96769569 10808729600 9843 33554432000 4194304 4196468 140731354816400 139648606926960 139649102128045 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3034] ppid=3017 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3034/stat : 3034 (java) S 3017 3020 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96769569 10808729600 9843 33554432000 4194304 4196468 140731354816400 139648605874400 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3035] ppid=3017 vsize=10555400 memory=140504164857472 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3035/stat : 3035 (java) S 3017 3020 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96769569 10808729600 9843 33554432000 4194304 4196468 140731354816400 139648604822704 139649121946242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39372 KiB
[startup+0.317552 s]*
/proc/loadavg: 3.67 1.90 1.85 8/216 3035
/proc/meminfo: memFree=20880716/32770624 swapFree=67108860/67108860
[pid=3020] ppid=3017 vsize=10555476 memory=46116 CPUtime=0.54 cores=0,2,4,6
/proc/3020/stat : 3020 (java) S 3017 3020 31794 0 -1 1077944320 8603 0 0 0 51 3 0 0 20 0 15 0 96769563 10808807424 11529 33554432000 4194304 4196468 140731354816400 140731354798944 139649121935095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
/proc/3020/statm: 2638869 11529 3016 1 0 2627263 0
[pid=3020/tid=3022] ppid=3017 vsize=10555476 memory=53476 CPUtime=0.31 cores=0,2,4,6
/proc/3020/task/3022/stat : 3022 (java) R 3017 3020 31794 0 -1 4202560 5578 0 0 0 29 2 0 0 20 0 15 0 96769564 10808807424 11529 33554432000 4194304 4196468 140731354816400 139649126170192 139649106015582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3023] ppid=3017 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3023/stat : 3023 (java) S 3017 3020 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96769564 10808807424 11529 33554432000 4194304 4196468 140731354816400 139649058626192 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3024] ppid=3017 vsize=10555476 memory=140504164915488 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3024/stat : 3024 (java) S 3017 3020 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96769564 10808807424 11529 33554432000 4194304 4196468 140731354816400 139649057573392 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3025] ppid=3017 vsize=10555476 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3025/stat : 3025 (java) S 3017 3020 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96769564 10808807424 11529 33554432000 4194304 4196468 140731354816400 139649056520592 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3026] ppid=3017 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3026/stat : 3026 (java) S 3017 3020 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96769564 10808807424 11529 33554432000 4194304 4196468 140731354816400 139649055467792 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3027] ppid=3017 vsize=10555476 memory=140504164922400 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3027/stat : 3027 (java) S 3017 3020 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96769566 10808807424 11529 33554432000 4194304 4196468 140731354816400 139648613243760 139649121946242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3028] ppid=3017 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3028/stat : 3028 (java) S 3017 3020 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96769566 10808807424 11529 33554432000 4194304 4196468 140731354816400 139648612189728 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3029] ppid=3017 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3029/stat : 3029 (java) S 3017 3020 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96769566 10808807424 11529 33554432000 4194304 4196468 140731354816400 139648611136880 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3030] ppid=3017 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3030/stat : 3030 (java) S 3017 3020 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96769569 10808807424 11529 33554432000 4194304 4196468 140731354816400 139648610085200 139649121953691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3031] ppid=3017 vsize=10555476 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3020/task/3031/stat : 3031 (java) R 3017 3020 31794 0 -1 1077944384 568 0 0 0 4 0 0 0 20 0 15 0 96769569 10808807424 11529 33554432000 4194304 4196468 140731354816400 139648609032560 139649121946242 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3032] ppid=3017 vsize=10555476 memory=140504016735759 CPUtime=0.04 cores=0,2,4,6
/proc/3020/task/3032/stat : 3032 (java) R 3017 3020 31794 0 -1 4202560 220 0 0 0 4 0 0 0 20 0 15 0 96769569 10808807424 11529 33554432000 4194304 4196468 140731354816400 139648607979760 139649099827057 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3033] ppid=3017 vsize=10555476 memory=140504164860387 CPUtime=0.13 cores=0,2,4,6
/proc/3020/task/3033/stat : 3033 (java) R 3017 3020 31794 0 -1 4202560 881 0 0 0 13 0 0 0 20 0 15 0 96769569 10808807424 11529 33554432000 4194304 4196468 140731354816400 139648606922912 139649100903208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3034] ppid=3017 vsize=10555476 memory=140504016740303 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3034/stat : 3034 (java) S 3017 3020 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96769569 10808807424 11529 33554432000 4194304 4196468 140731354816400 139648605874400 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3035] ppid=3017 vsize=10555476 memory=281008181614528 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3035/stat : 3035 (java) S 3017 3020 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96769569 10808807424 11529 33554432000 4194304 4196468 140731354816400 139648604822704 139649121946242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46116 KiB
[startup+0.701555 s]
/proc/loadavg: 3.67 1.90 1.85 9/216 3035
/proc/meminfo: memFree=20729788/32770624 swapFree=67108860/67108860
[pid=3020] ppid=3017 vsize=10555476 memory=238096 CPUtime=1.64 cores=0,2,4,6
/proc/3020/stat : 3020 (java) S 3017 3020 31794 0 -1 1077944320 12649 0 0 0 154 10 0 0 20 0 15 0 96769563 10808807424 59524 33554432000 4194304 4196468 140731354816400 140731354798944 139649121935095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
/proc/3020/statm: 2638869 59524 3105 1 0 2627263 0
[pid=3020/tid=3022] ppid=3017 vsize=10555476 memory=2372 CPUtime=0.61 cores=0,2,4,6
/proc/3020/task/3022/stat : 3022 (java) S 3017 3020 31794 0 -1 1077944384 5959 0 0 0 58 3 0 0 20 0 15 0 96769564 10808807424 59524 33554432000 4194304 4196468 140731354816400 139649126168128 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3023] ppid=3017 vsize=10555476 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/3020/task/3023/stat : 3023 (java) R 3017 3020 31794 0 -1 4202560 128 0 0 0 4 1 0 0 20 0 15 0 96769564 10808807424 59524 33554432000 4194304 4196468 140731354816400 139649058626392 139649106962982 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3024] ppid=3017 vsize=10555476 memory=4612 CPUtime=0.02 cores=0,2,4,6
/proc/3020/task/3024/stat : 3024 (java) R 3017 3020 31794 0 -1 4202560 94 0 0 0 2 0 0 0 20 0 15 0 96769564 10808807424 59524 33554432000 4194304 4196468 140731354816400 139649057573280 139649106962527 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3025] ppid=3017 vsize=10555476 memory=15872 CPUtime=0.05 cores=0,2,4,6
/proc/3020/task/3025/stat : 3025 (java) R 3017 3020 31794 0 -1 4202560 106 0 0 0 4 1 0 0 20 0 15 0 96769564 10808807424 59524 33554432000 4194304 4196468 140731354816400 139649056520592 139649106962514 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3026] ppid=3017 vsize=10555476 memory=18448 CPUtime=0.04 cores=0,2,4,6
/proc/3020/task/3026/stat : 3026 (java) R 3017 3020 31794 0 -1 4202560 78 0 0 0 3 1 0 0 20 0 15 0 96769564 10808807424 59524 33554432000 4194304 4196468 140731354816400 139649055467992 139649106958798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3027] ppid=3017 vsize=10555476 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3027/stat : 3027 (java) S 3017 3020 31794 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 96769566 10808807424 59524 33554432000 4194304 4196468 140731354816400 139648613242272 139649121945301 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3028] ppid=3017 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3028/stat : 3028 (java) S 3017 3020 31794 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96769566 10808807424 59524 33554432000 4194304 4196468 140731354816400 139648612189728 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3029] ppid=3017 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3029/stat : 3029 (java) S 3017 3020 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96769566 10808807424 59524 33554432000 4194304 4196468 140731354816400 139648611136880 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3030] ppid=3017 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3030/stat : 3030 (java) S 3017 3020 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96769569 10808807424 59524 33554432000 4194304 4196468 140731354816400 139648610085200 139649121953691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3031] ppid=3017 vsize=10555476 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/3020/task/3031/stat : 3031 (java) R 3017 3020 31794 0 -1 4202560 2270 0 0 0 29 0 0 0 20 0 15 0 96769569 10808807424 59524 33554432000 4194304 4196468 140731354816400 139648609013576 139649099952083 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3032] ppid=3017 vsize=10555476 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/3020/task/3032/stat : 3032 (java) S 3017 3020 31794 0 -1 1077944384 1420 0 0 0 31 0 0 0 20 0 15 0 96769569 10808807424 59524 33554432000 4194304 4196468 140731354816400 139648607964752 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3033] ppid=3017 vsize=10555476 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/3020/task/3033/stat : 3033 (java) S 3017 3020 31794 0 -1 1077944384 1149 0 0 0 19 0 0 0 20 0 15 0 96769569 10808807424 59524 33554432000 4194304 4196468 140731354816400 139648606926960 139649121946242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3034] ppid=3017 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3034/stat : 3034 (java) S 3017 3020 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96769569 10808807424 59524 33554432000 4194304 4196468 140731354816400 139648605874400 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3035] ppid=3017 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3035/stat : 3035 (java) S 3017 3020 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96769569 10808807424 59524 33554432000 4194304 4196468 140731354816400 139648604822704 139649121946242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 238096 KiB
[startup+1.5007 s]
/proc/loadavg: 3.67 1.90 1.85 7/216 3035
/proc/meminfo: memFree=20617720/32770624 swapFree=67108860/67108860
[pid=3020] ppid=3017 vsize=10555476 memory=565936 CPUtime=4.04 cores=0,2,4,6
/proc/3020/stat : 3020 (java) S 3017 3020 31794 0 -1 1077944320 14815 0 0 0 368 36 0 0 20 0 15 0 96769563 10808807424 141484 33554432000 4194304 4196468 140731354816400 140731354798944 139649121935095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
/proc/3020/statm: 2638869 141484 3117 1 0 2627263 0
[pid=3020/tid=3022] ppid=3017 vsize=10555476 memory=3467830215734211138 CPUtime=0.98 cores=0,2,4,6
/proc/3020/task/3022/stat : 3022 (java) S 3017 3020 31794 0 -1 1077944384 6015 0 0 0 93 5 0 0 20 0 15 0 96769564 10808807424 141484 33554432000 4194304 4196468 140731354816400 139649126168672 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3023] ppid=3017 vsize=10555476 memory=273196 CPUtime=0.48 cores=0,2,4,6
/proc/3020/task/3023/stat : 3023 (java) R 3017 3020 31794 0 -1 4202560 355 0 0 0 41 7 0 0 20 0 15 0 96769564 10808807424 141484 33554432000 4194304 4196468 140731354816400 139649058626088 139649114563303 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3024] ppid=3017 vsize=10555476 memory=2241 CPUtime=0.43 cores=0,2,4,6
/proc/3020/task/3024/stat : 3024 (java) R 3017 3020 31794 0 -1 4202560 568 0 0 0 37 6 0 0 20 0 15 0 96769564 10808807424 141484 33554432000 4194304 4196468 140731354816400 139649057573392 139649106885700 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3025] ppid=3017 vsize=10555476 memory=4612 CPUtime=0.48 cores=0,2,4,6
/proc/3020/task/3025/stat : 3025 (java) R 3017 3020 31794 0 -1 4202560 660 0 0 0 41 7 0 0 20 0 15 0 96769564 10808807424 141484 33554432000 4194304 4196468 140731354816400 139649056520592 139649105111664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3026] ppid=3017 vsize=10555476 memory=15872 CPUtime=0.48 cores=0,2,4,6
/proc/3020/task/3026/stat : 3026 (java) R 3017 3020 31794 0 -1 4202560 304 0 0 0 41 7 0 0 20 0 15 0 96769564 10808807424 141484 33554432000 4194304 4196468 140731354816400 139649055467376 139649114563303 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3027] ppid=3017 vsize=10555476 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3027/stat : 3027 (java) S 3017 3020 31794 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 15 0 96769566 10808807424 141484 33554432000 4194304 4196468 140731354816400 139648613242080 139649121945301 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
################
# More data... #
################
[startup+82.5391 s]
# the end of solver process 3020 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.722 s, system=6.30587 s
Solver just ended.
Dumping a history of the last processes samples
[startup+81.6016 s]
/proc/loadavg: 4.71 2.59 2.09 9/216 3111
/proc/meminfo: memFree=12818636/32770624 swapFree=67108860/67108860
[pid=3020] ppid=3017 vsize=10555476 memory=8099240 CPUtime=256.08 cores=0,2,4,6
/proc/3020/stat : 3020 (java) S 3017 3020 31794 0 -1 1077944320 103518 0 0 0 24981 627 0 0 20 0 15 0 96769563 10808807424 2024810 33554432000 4194304 4196468 140731354816400 140731354798944 139649121935095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
/proc/3020/statm: 2638869 2024810 3131 1 0 2627263 0
[pid=3020/tid=3022] ppid=3017 vsize=10555476 memory=1728 CPUtime=14.02 cores=0,2,4,6
/proc/3020/task/3022/stat : 3022 (java) S 3017 3020 31794 0 -1 1077944384 11463 0 0 0 1387 15 0 0 20 0 15 0 96769564 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139649126171968 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3023] ppid=3017 vsize=10555476 memory=1420 CPUtime=58.02 cores=0,2,4,6
/proc/3020/task/3023/stat : 3023 (java) S 3017 3020 31794 0 -1 1077944384 20070 0 0 0 5653 149 0 0 20 0 15 0 96769564 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139649058626192 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3024] ppid=3017 vsize=10555476 memory=8112282956445269571 CPUtime=58.31 cores=0,2,4,6
/proc/3020/task/3024/stat : 3024 (java) S 3017 3020 31794 0 -1 1077944384 13944 0 0 0 5683 148 0 0 20 0 15 0 96769564 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139649057573392 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3025] ppid=3017 vsize=10555476 memory=11032 CPUtime=57.74 cores=0,2,4,6
/proc/3020/task/3025/stat : 3025 (java) S 3017 3020 31794 0 -1 1077944384 12232 0 0 0 5627 147 0 0 20 0 15 0 96769564 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139649056520592 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3026] ppid=3017 vsize=10555476 memory=1712 CPUtime=57.85 cores=0,2,4,6
/proc/3020/task/3026/stat : 3026 (java) S 3017 3020 31794 0 -1 1077944384 13430 0 0 0 5623 162 0 0 20 0 15 0 96769564 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139649055467792 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3027] ppid=3017 vsize=10555476 memory=1952 CPUtime=8.65 cores=0,2,4,6
/proc/3020/task/3027/stat : 3027 (java) R 3017 3020 31794 0 -1 4202560 20997 0 0 0 863 2 0 0 20 0 15 0 96769566 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648613242192 139649106931505 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3028] ppid=3017 vsize=10555476 memory=8099240 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3028/stat : 3028 (java) S 3017 3020 31794 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96769566 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648612189792 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3029] ppid=3017 vsize=10555476 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3029/stat : 3029 (java) S 3017 3020 31794 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96769566 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648611136896 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3030] ppid=3017 vsize=10555476 memory=6504 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3030/stat : 3030 (java) S 3017 3020 31794 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648610084848 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3031] ppid=3017 vsize=10555476 memory=840 CPUtime=0.57 cores=0,2,4,6
/proc/3020/task/3031/stat : 3031 (java) S 3017 3020 31794 0 -1 1077944384 4163 0 0 0 57 0 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648609032320 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3032] ppid=3017 vsize=10555476 memory=8099240 CPUtime=0.55 cores=0,2,4,6
/proc/3020/task/3032/stat : 3032 (java) S 3017 3020 31794 0 -1 1077944384 2782 0 0 0 55 0 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648607979808 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3033] ppid=3017 vsize=10555476 memory=2536 CPUtime=0.26 cores=0,2,4,6
/proc/3020/task/3033/stat : 3033 (java) S 3017 3020 31794 0 -1 1077944384 2451 0 0 0 26 0 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648606927008 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3034] ppid=3017 vsize=10555476 memory=2536 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3034/stat : 3034 (java) S 3017 3020 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648605874400 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3035] ppid=3017 vsize=10555476 memory=1156 CPUtime=0.02 cores=0,2,4,6
/proc/3020/task/3035/stat : 3035 (java) S 3017 3020 31794 0 -1 1077944384 620 0 0 0 1 1 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648604822704 139649121946242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
Current children cumulated CPU time: 256.08 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8099240 KiB
[startup+82.0016 s]*
/proc/loadavg: 4.71 2.59 2.09 6/216 3111
/proc/meminfo: memFree=12818636/32770624 swapFree=67108860/67108860
[pid=3020] ppid=3017 vsize=10555476 memory=8099240 CPUtime=256.49 cores=0,2,4,6
/proc/3020/stat : 3020 (java) S 3017 3020 31794 0 -1 1077944320 103518 0 0 0 25022 627 0 0 20 0 15 0 96769563 10808807424 2024810 33554432000 4194304 4196468 140731354816400 140731354798944 139649121935095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
/proc/3020/statm: 2638869 2024810 3131 1 0 2627263 0
[pid=3020/tid=3022] ppid=3017 vsize=10555476 memory=6935054825532540783 CPUtime=14.02 cores=0,2,4,6
/proc/3020/task/3022/stat : 3022 (java) S 3017 3020 31794 0 -1 1077944384 11463 0 0 0 1387 15 0 0 20 0 15 0 96769564 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139649126171968 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3023] ppid=3017 vsize=10555476 memory=4126316290023845779 CPUtime=58.02 cores=0,2,4,6
/proc/3020/task/3023/stat : 3023 (java) S 3017 3020 31794 0 -1 1077944384 20070 0 0 0 5653 149 0 0 20 0 15 0 96769564 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139649058626192 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3024] ppid=3017 vsize=10555476 memory=281008033308104 CPUtime=58.31 cores=0,2,4,6
/proc/3020/task/3024/stat : 3024 (java) S 3017 3020 31794 0 -1 1077944384 13944 0 0 0 5683 148 0 0 20 0 15 0 96769564 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139649057573392 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3025] ppid=3017 vsize=10555476 memory=281008033308136 CPUtime=57.74 cores=0,2,4,6
/proc/3020/task/3025/stat : 3025 (java) S 3017 3020 31794 0 -1 1077944384 12232 0 0 0 5627 147 0 0 20 0 15 0 96769564 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139649056520592 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3026] ppid=3017 vsize=10555476 memory=4140 CPUtime=57.85 cores=0,2,4,6
/proc/3020/task/3026/stat : 3026 (java) S 3017 3020 31794 0 -1 1077944384 13430 0 0 0 5623 162 0 0 20 0 15 0 96769564 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139649055467792 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3027] ppid=3017 vsize=10555476 memory=27676 CPUtime=9.05 cores=0,2,4,6
/proc/3020/task/3027/stat : 3027 (java) R 3017 3020 31794 0 -1 4202560 20997 0 0 0 903 2 0 0 20 0 15 0 96769566 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648613242192 139649106635699 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3028] ppid=3017 vsize=10555476 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3028/stat : 3028 (java) S 3017 3020 31794 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96769566 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648612189792 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3029] ppid=3017 vsize=10555476 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3029/stat : 3029 (java) S 3017 3020 31794 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96769566 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648611136896 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3030] ppid=3017 vsize=10555476 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3030/stat : 3030 (java) S 3017 3020 31794 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648610084848 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3031] ppid=3017 vsize=10555476 memory=3472468800244824096 CPUtime=0.57 cores=0,2,4,6
/proc/3020/task/3031/stat : 3031 (java) S 3017 3020 31794 0 -1 1077944384 4163 0 0 0 57 0 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648609032320 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3032] ppid=3017 vsize=10555476 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/3020/task/3032/stat : 3032 (java) S 3017 3020 31794 0 -1 1077944384 2782 0 0 0 55 0 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648607979808 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3033] ppid=3017 vsize=10555476 memory=140504016775367 CPUtime=0.26 cores=0,2,4,6
/proc/3020/task/3033/stat : 3033 (java) S 3017 3020 31794 0 -1 1077944384 2451 0 0 0 26 0 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648606927008 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3034] ppid=3017 vsize=10555476 memory=140504016785905 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3034/stat : 3034 (java) S 3017 3020 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648605874400 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3035] ppid=3017 vsize=10555476 memory=140504016775559 CPUtime=0.02 cores=0,2,4,6
/proc/3020/task/3035/stat : 3035 (java) S 3017 3020 31794 0 -1 1077944384 620 0 0 0 1 1 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648604822704 139649121946242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
Current children cumulated CPU time: 256.49 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8099240 KiB
[startup+82.4007 s]
/proc/loadavg: 4.71 2.59 2.09 6/216 3111
/proc/meminfo: memFree=12818636/32770624 swapFree=67108860/67108860
[pid=3020] ppid=3017 vsize=10555476 memory=8099240 CPUtime=256.88 cores=0,2,4,6
/proc/3020/stat : 3020 (java) S 3017 3020 31794 0 -1 1077944320 103518 0 0 0 25061 627 0 0 20 0 15 0 96769563 10808807424 2024810 33554432000 4194304 4196468 140731354816400 140731354798944 139649121935095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
/proc/3020/statm: 2638869 2024810 3131 1 0 2627263 0
[pid=3020/tid=3022] ppid=3017 vsize=10555476 memory=8099240 CPUtime=14.02 cores=0,2,4,6
/proc/3020/task/3022/stat : 3022 (java) S 3017 3020 31794 0 -1 1077944384 11463 0 0 0 1387 15 0 0 20 0 15 0 96769564 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139649126171968 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3023] ppid=3017 vsize=10555476 memory=1156 CPUtime=58.02 cores=0,2,4,6
/proc/3020/task/3023/stat : 3023 (java) S 3017 3020 31794 0 -1 1077944384 20070 0 0 0 5653 149 0 0 20 0 15 0 96769564 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139649058626192 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3024] ppid=3017 vsize=10555476 memory=2840 CPUtime=58.31 cores=0,2,4,6
/proc/3020/task/3024/stat : 3024 (java) S 3017 3020 31794 0 -1 1077944384 13944 0 0 0 5683 148 0 0 20 0 15 0 96769564 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139649057573392 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3025] ppid=3017 vsize=10555476 memory=8099240 CPUtime=57.74 cores=0,2,4,6
/proc/3020/task/3025/stat : 3025 (java) S 3017 3020 31794 0 -1 1077944384 12232 0 0 0 5627 147 0 0 20 0 15 0 96769564 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139649056520592 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3026] ppid=3017 vsize=10555476 memory=1692 CPUtime=57.85 cores=0,2,4,6
/proc/3020/task/3026/stat : 3026 (java) S 3017 3020 31794 0 -1 1077944384 13430 0 0 0 5623 162 0 0 20 0 15 0 96769564 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139649055467792 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3027] ppid=3017 vsize=10555476 memory=916 CPUtime=9.44 cores=0,2,4,6
/proc/3020/task/3027/stat : 3027 (java) R 3017 3020 31794 0 -1 4202560 20997 0 0 0 942 2 0 0 20 0 15 0 96769566 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648613242192 139649100305270 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3028] ppid=3017 vsize=10555476 memory=3832 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3028/stat : 3028 (java) S 3017 3020 31794 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96769566 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648612189792 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3029] ppid=3017 vsize=10555476 memory=6935054825532540783 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3029/stat : 3029 (java) S 3017 3020 31794 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96769566 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648611136896 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3030] ppid=3017 vsize=10555476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3030/stat : 3030 (java) S 3017 3020 31794 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648610084848 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3031] ppid=3017 vsize=10555476 memory=14698478437665088 CPUtime=0.57 cores=0,2,4,6
/proc/3020/task/3031/stat : 3031 (java) S 3017 3020 31794 0 -1 1077944384 4163 0 0 0 57 0 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648609032320 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3032] ppid=3017 vsize=10555476 memory=12224 CPUtime=0.55 cores=0,2,4,6
/proc/3020/task/3032/stat : 3032 (java) S 3017 3020 31794 0 -1 1077944384 2782 0 0 0 55 0 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648607979808 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3033] ppid=3017 vsize=10555476 memory=7092154930682883176 CPUtime=0.26 cores=0,2,4,6
/proc/3020/task/3033/stat : 3033 (java) S 3017 3020 31794 0 -1 1077944384 2451 0 0 0 26 0 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648606927008 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3034] ppid=3017 vsize=10555476 memory=4638778424102571344 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3034/stat : 3034 (java) S 3017 3020 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648605874400 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3035] ppid=3017 vsize=10555476 memory=7223889699418368105 CPUtime=0.02 cores=0,2,4,6
/proc/3020/task/3035/stat : 3035 (java) S 3017 3020 31794 0 -1 1077944384 620 0 0 0 1 1 0 0 20 0 15 0 96769569 10808807424 2024810 33554432000 4194304 4196468 140731354816400 139648604822704 139649121946242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
Current children cumulated CPU time: 256.88 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8099240 KiB
[startup+82.5009 s]
/proc/loadavg: 4.71 2.59 2.09 6/216 3111
/proc/meminfo: memFree=12818636/32770624 swapFree=67108860/67108860
[pid=3020] ppid=3017 vsize=10755168 memory=8099272 CPUtime=256.98 cores=0,2,4,6
/proc/3020/stat : 3020 (java) S 3017 3020 31794 0 -1 1077944320 103660 0 0 0 25071 627 0 0 20 0 17 0 96769563 11013292032 2024818 33554432000 4194304 4196468 140731354816400 140731354798944 139649121935095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
/proc/3020/statm: 2688792 2024818 3133 1 0 2677186 0
[pid=3020/tid=3022] ppid=3017 vsize=10755168 memory=8099240 CPUtime=14.11 cores=0,2,4,6
/proc/3020/task/3022/stat : 3022 (java) R 3017 3020 31794 0 -1 4202560 11463 0 0 0 1396 15 0 0 20 0 17 0 96769564 11013292032 2024818 33554432000 4194304 4196468 140731354816400 139649126171968 139648733859463 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3023] ppid=3017 vsize=10755168 memory=8099240 CPUtime=58.02 cores=0,2,4,6
/proc/3020/task/3023/stat : 3023 (java) S 3017 3020 31794 0 -1 1077944384 20070 0 0 0 5653 149 0 0 20 0 17 0 96769564 11013292032 2024818 33554432000 4194304 4196468 140731354816400 139649058626192 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3024] ppid=3017 vsize=10755168 memory=55 CPUtime=58.31 cores=0,2,4,6
/proc/3020/task/3024/stat : 3024 (java) S 3017 3020 31794 0 -1 1077944384 13944 0 0 0 5683 148 0 0 20 0 17 0 96769564 11013292032 2024818 33554432000 4194304 4196468 140731354816400 139649057573392 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3025] ppid=3017 vsize=10755168 memory=164 CPUtime=57.74 cores=0,2,4,6
/proc/3020/task/3025/stat : 3025 (java) S 3017 3020 31794 0 -1 1077944384 12232 0 0 0 5627 147 0 0 20 0 17 0 96769564 11013292032 2024818 33554432000 4194304 4196468 140731354816400 139649056520592 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3026] ppid=3017 vsize=10755168 memory=33 CPUtime=57.85 cores=0,2,4,6
/proc/3020/task/3026/stat : 3026 (java) S 3017 3020 31794 0 -1 1077944384 13430 0 0 0 5623 162 0 0 20 0 17 0 96769564 11013292032 2024818 33554432000 4194304 4196468 140731354816400 139649055467792 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3027] ppid=3017 vsize=10755168 memory=8099240 CPUtime=9.45 cores=0,2,4,6
/proc/3020/task/3027/stat : 3027 (java) S 3017 3020 31794 0 -1 1077944384 20998 0 0 0 943 2 0 0 20 0 17 0 96769566 11013292032 2024818 33554432000 4194304 4196468 140731354816400 139648613243760 139649121946242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3028] ppid=3017 vsize=10755168 memory=8099240 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3028/stat : 3028 (java) S 3017 3020 31794 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 17 0 96769566 11013292032 2024818 33554432000 4194304 4196468 140731354816400 139648612189792 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3029] ppid=3017 vsize=10755168 memory=-6107074336271262049 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3029/stat : 3029 (java) S 3017 3020 31794 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 96769566 11013292032 2024818 33554432000 4194304 4196468 140731354816400 139648611136896 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3030] ppid=3017 vsize=10755168 memory=8099240 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3030/stat : 3030 (java) S 3017 3020 31794 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 17 0 96769569 11013292032 2024818 33554432000 4194304 4196468 140731354816400 139648610085200 139649121953691 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3031] ppid=3017 vsize=10755168 memory=8099224 CPUtime=0.57 cores=0,2,4,6
/proc/3020/task/3031/stat : 3031 (java) S 3017 3020 31794 0 -1 1077944384 4163 0 0 0 57 0 0 0 20 0 17 0 96769569 11013292032 2024818 33554432000 4194304 4196468 140731354816400 139648609032560 139649121946242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3032] ppid=3017 vsize=10755168 memory=8099224 CPUtime=0.55 cores=0,2,4,6
/proc/3020/task/3032/stat : 3032 (java) S 3017 3020 31794 0 -1 1077944384 2782 0 0 0 55 0 0 0 20 0 17 0 96769569 11013292032 2024818 33554432000 4194304 4196468 140731354816400 139648607979760 139649121946242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3033] ppid=3017 vsize=10755168 memory=8099240 CPUtime=0.26 cores=0,2,4,6
/proc/3020/task/3033/stat : 3033 (java) S 3017 3020 31794 0 -1 1077944384 2455 0 0 0 26 0 0 0 20 0 17 0 96769569 11013292032 2024818 33554432000 4194304 4196468 140731354816400 139648606926960 139649121946242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3034] ppid=3017 vsize=10755168 memory=7521979366237623122 CPUtime=0 cores=0,2,4,6
/proc/3020/task/3034/stat : 3034 (java) S 3017 3020 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 96769569 11013292032 2024818 33554432000 4194304 4196468 140731354816400 139648605874400 139649121945301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
[pid=3020/tid=3035] ppid=3017 vsize=10755168 memory=8099224 CPUtime=0.02 cores=0,2,4,6
/proc/3020/task/3035/stat : 3035 (java) S 3017 3020 31794 0 -1 1077944384 620 0 0 0 1 1 0 0 20 0 17 0 96769569 11013292032 2024818 33554432000 4194304 4196468 140731354816400 139648604822704 139649121946242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38019072 140731354821771 140731354821924 140731354821924 140731354824655 0
Current children cumulated CPU time: 256.98 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 8099272 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 82.5392
CPU time (s): 257.028
CPU user time (s): 250.722
CPU system time (s): 6.30587
CPU usage (%): 311.401
Max. virtual memory (cumulated for all children) (KiB): 10755168
Max. memory (cumulated for all children) (KiB): 8099272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.722
system time used= 6.30587
maximum resident set size= 8099900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103664
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5947
involuntary context switches= 5474
# summary of solver processes directly reported to runsolver:
# pid: 3020
# total CPU time (s): 257.028
# total CPU user time (s): 250.722
# total CPU system time (s): 6.30587
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.49455 second user time and 0.837265 second system time
The end