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 (14463 MiB free)
memory of node 1: 16384 MiB (15625 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391965-1568310841/watcher-4391965-1568310841 -o /tmp/evaluation-result-4391965-1568310841/solver-4391965-1568310841 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568301421-20991 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=394606395 HOME/instance-4391965-1568310841.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=23971, runsolver pid=23968
Current StackSize limit: 8192 KiB
[startup+0.100139 s]*
/proc/loadavg: 1.30 1.36 1.34 3/224 24028
/proc/meminfo: memFree=30806928/32770624 swapFree=67003336/67108860
[pid=23971] ppid=23968 vsize=9972712 memory=15180 CPUtime=0.1 cores=1,3,5,7
/proc/23971/stat : 23971 (java) S 23968 23971 20959 0 -1 1077944320 4552 13083 0 0 1 1 5 3 20 0 6 0 407323735 10212057088 3795 33554432000 4194304 4196468 140724726217680 140724726200224 140555418595063 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
/proc/23971/statm: 2493178 3795 1935 1 0 2481616 0
[pid=23971/tid=24024] ppid=23968 vsize=9972712 memory=4279135703913365132 CPUtime=0.09 cores=1,3,5,7
/proc/23971/task/24024/stat : 24024 (java) R 23968 23971 20959 0 -1 4202560 2365 13083 0 0 1 0 5 3 20 0 6 0 407323744 10212057088 3795 33554432000 4194304 4196468 140724726217680 140555390431824 140555403718000 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24025] ppid=23968 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24025/stat : 24025 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 6 0 407323745 10212057088 3795 33554432000 4194304 4196468 140724726217680 140555422837520 140555418605269 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24026] ppid=23968 vsize=9972712 memory=140495704299136 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24026/stat : 24026 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 6 0 407323745 10212057088 3795 33554432000 4194304 4196468 140724726217680 140555356879760 140555418605269 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24027] ppid=23968 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24027/stat : 24027 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 6 0 407323745 10212057088 3795 33554432000 4194304 4196468 140724726217680 140554990357520 140555418605269 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24028] ppid=23968 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24028/stat : 24028 (java) S 23968 23971 20959 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 6 0 407323745 10212057088 3795 33554432000 4194304 4196468 140724726217680 140554989304976 140555418605269 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15180 KiB
[startup+0.210323 s]*
/proc/loadavg: 1.30 1.36 1.34 3/233 24037
/proc/meminfo: memFree=30786900/32770624 swapFree=67003336/67108860
[pid=23971] ppid=23968 vsize=10818940 memory=37060 CPUtime=0.27 cores=1,3,5,7
/proc/23971/stat : 23971 (java) S 23968 23971 20959 0 -1 1077944320 7093 13083 0 0 17 2 5 3 20 0 15 0 407323735 11078594560 9265 33554432000 4194304 4196468 140724726217680 140724726200224 140555418595063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
/proc/23971/statm: 2704735 9265 2988 1 0 2667149 0
[pid=23971/tid=24024] ppid=23968 vsize=10818940 memory=-6517102902069810590 CPUtime=0.2 cores=1,3,5,7
/proc/23971/task/24024/stat : 24024 (java) R 23968 23971 20959 0 -1 4202560 3535 13083 0 0 11 1 5 3 20 0 15 0 407323744 11078594560 9265 33554432000 4194304 4196468 140724726217680 140555390382848 140555402675550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24025] ppid=23968 vsize=10818940 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24025/stat : 24025 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 407323745 11078594560 9265 33554432000 4194304 4196468 140724726217680 140555422837520 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24026] ppid=23968 vsize=10818940 memory=140495704299136 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24026/stat : 24026 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 407323745 11078594560 9265 33554432000 4194304 4196468 140724726217680 140555356879760 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24027] ppid=23968 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24027/stat : 24027 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 407323745 11078594560 9265 33554432000 4194304 4196468 140724726217680 140554990357520 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24028] ppid=23968 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24028/stat : 24028 (java) S 23968 23971 20959 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 15 0 407323745 11078594560 9265 33554432000 4194304 4196468 140724726217680 140554989304976 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24029] ppid=23968 vsize=10818940 memory=140495704299136 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24029/stat : 24029 (java) S 23968 23971 20959 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 15 0 407323746 11078594560 9265 33554432000 4194304 4196468 140724726217680 140554421630960 140555418606210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24030] ppid=23968 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24030/stat : 24030 (java) S 23968 23971 20959 0 -1 1077944384 13 13083 0 0 0 0 5 3 20 0 15 0 407323747 11078594560 9265 33554432000 4194304 4196468 140724726217680 140554348258208 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24031] ppid=23968 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24031/stat : 24031 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 407323747 11078594560 9265 33554432000 4194304 4196468 140724726217680 140554214040560 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24032] ppid=23968 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24032/stat : 24032 (java) S 23968 23971 20959 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 407323750 11078594560 9265 33554432000 4194304 4196468 140724726217680 140553973749968 140555418613659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24033] ppid=23968 vsize=10818940 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23971/task/24033/stat : 24033 (java) S 23968 23971 20959 0 -1 1077944384 367 13083 0 0 1 0 5 3 20 0 15 0 407323750 11078594560 9265 33554432000 4194304 4196468 140724726217680 140554420578800 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24034] ppid=23968 vsize=10818940 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/23971/task/24034/stat : 24034 (java) S 23968 23971 20959 0 -1 1077944384 277 13083 0 0 1 0 5 3 20 0 15 0 407323750 11078594560 9265 33554432000 4194304 4196468 140724726217680 140554419526256 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24035] ppid=23968 vsize=10818940 memory=140495704299136 CPUtime=0.11 cores=1,3,5,7
/proc/23971/task/24035/stat : 24035 (java) R 23968 23971 20959 0 -1 4202560 683 13083 0 0 3 0 5 3 20 0 15 0 407323750 11078594560 9265 33554432000 4194304 4196468 140724726217680 140554418473712 140555418606998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24036] ppid=23968 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24036/stat : 24036 (java) S 23968 23971 20959 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 407323750 11078594560 9265 33554432000 4194304 4196468 140724726217680 140553940192352 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24037] ppid=23968 vsize=10818940 memory=140495704299136 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24037/stat : 24037 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 407323750 11078594560 9265 33554432000 4194304 4196468 140724726217680 140554417420592 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 37060 KiB
[startup+0.311569 s]*
/proc/loadavg: 1.30 1.36 1.34 4/233 24037
/proc/meminfo: memFree=30776988/32770624 swapFree=67003336/67108860
[pid=23971] ppid=23968 vsize=10820096 memory=48480 CPUtime=0.4 cores=1,3,5,7
/proc/23971/stat : 23971 (java) S 23968 23971 20959 0 -1 1077944320 10834 13083 0 0 29 3 5 3 20 0 15 0 407323735 11079778304 12120 33554432000 4194304 4196468 140724726217680 140724726200224 140555418595063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
/proc/23971/statm: 2705024 12120 3253 1 0 2667149 0
[pid=23971/tid=24024] ppid=23968 vsize=10820096 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/23971/task/24024/stat : 24024 (java) R 23968 23971 20959 0 -1 4202560 7216 13083 0 0 19 2 5 3 20 0 15 0 407323744 11079778304 12120 33554432000 4194304 4196468 140724726217680 140555390413488 140555020991920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24025] ppid=23968 vsize=10820096 memory=7228928657774891088 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24025/stat : 24025 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 407323745 11079778304 12120 33554432000 4194304 4196468 140724726217680 140555422837520 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24026] ppid=23968 vsize=10820096 memory=2076 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24026/stat : 24026 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 407323745 11079778304 12120 33554432000 4194304 4196468 140724726217680 140555356879760 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24027] ppid=23968 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24027/stat : 24027 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 407323745 11079778304 12120 33554432000 4194304 4196468 140724726217680 140554990357520 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24028] ppid=23968 vsize=10820096 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24028/stat : 24028 (java) S 23968 23971 20959 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 15 0 407323745 11079778304 12120 33554432000 4194304 4196468 140724726217680 140554989304976 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24029] ppid=23968 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24029/stat : 24029 (java) S 23968 23971 20959 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 15 0 407323746 11079778304 12120 33554432000 4194304 4196468 140724726217680 140554421630960 140555418606210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24030] ppid=23968 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24030/stat : 24030 (java) S 23968 23971 20959 0 -1 1077944384 13 13083 0 0 0 0 5 3 20 0 15 0 407323747 11079778304 12120 33554432000 4194304 4196468 140724726217680 140554348258208 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24031] ppid=23968 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24031/stat : 24031 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 407323747 11079778304 12120 33554432000 4194304 4196468 140724726217680 140554214040560 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24032] ppid=23968 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24032/stat : 24032 (java) S 23968 23971 20959 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 407323750 11079778304 12120 33554432000 4194304 4196468 140724726217680 140553973749968 140555418613659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24033] ppid=23968 vsize=10820096 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23971/task/24033/stat : 24033 (java) S 23968 23971 20959 0 -1 1077944384 369 13083 0 0 1 0 5 3 20 0 15 0 407323750 11079778304 12120 33554432000 4194304 4196468 140724726217680 140554420578800 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24034] ppid=23968 vsize=10820096 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/23971/task/24034/stat : 24034 (java) S 23968 23971 20959 0 -1 1077944384 286 13083 0 0 2 0 5 3 20 0 15 0 407323750 11079778304 12120 33554432000 4194304 4196468 140724726217680 140554419526256 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24035] ppid=23968 vsize=10820096 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/23971/task/24035/stat : 24035 (java) S 23968 23971 20959 0 -1 1077944384 730 13083 0 0 5 0 5 3 20 0 15 0 407323750 11079778304 12120 33554432000 4194304 4196468 140724726217680 140554418473712 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24036] ppid=23968 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24036/stat : 24036 (java) S 23968 23971 20959 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 407323750 11079778304 12120 33554432000 4194304 4196468 140724726217680 140553940192352 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24037] ppid=23968 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24037/stat : 24037 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 407323750 11079778304 12120 33554432000 4194304 4196468 140724726217680 140554417420592 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 48480 KiB
[startup+0.700779 s]
/proc/loadavg: 1.30 1.36 1.34 5/233 24037
/proc/meminfo: memFree=30762888/32770624 swapFree=67003336/67108860
[pid=23971] ppid=23968 vsize=10824340 memory=79520 CPUtime=1.14 cores=1,3,5,7
/proc/23971/stat : 23971 (java) S 23968 23971 20959 0 -1 1077944320 15130 13083 0 0 100 6 5 3 20 0 15 0 407323735 11084124160 19880 33554432000 4194304 4196468 140724726217680 140724726200224 140555418595063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
/proc/23971/statm: 2706085 19880 3500 1 0 2668173 0
[pid=23971/tid=24024] ppid=23968 vsize=10824340 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/23971/task/24024/stat : 24024 (java) R 23968 23971 20959 0 -1 4202560 10567 13083 0 0 55 4 5 3 20 0 15 0 407323744 11084124160 19880 33554432000 4194304 4196468 140724726217680 140555390417200 140555418616989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24025] ppid=23968 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24025/stat : 24025 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 407323745 11084124160 19880 33554432000 4194304 4196468 140724726217680 140555422837520 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24026] ppid=23968 vsize=10824340 memory=3280 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24026/stat : 24026 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 407323745 11084124160 19880 33554432000 4194304 4196468 140724726217680 140555356879760 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24027] ppid=23968 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24027/stat : 24027 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 407323745 11084124160 19880 33554432000 4194304 4196468 140724726217680 140554990357520 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24028] ppid=23968 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24028/stat : 24028 (java) S 23968 23971 20959 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 15 0 407323745 11084124160 19880 33554432000 4194304 4196468 140724726217680 140554989304976 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24029] ppid=23968 vsize=10824340 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24029/stat : 24029 (java) S 23968 23971 20959 0 -1 1077944384 6 13083 0 0 0 0 5 3 20 0 15 0 407323746 11084124160 19880 33554432000 4194304 4196468 140724726217680 140554421630960 140555418606210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24030] ppid=23968 vsize=10824340 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24030/stat : 24030 (java) S 23968 23971 20959 0 -1 1077944384 13 13083 0 0 0 0 5 3 20 0 15 0 407323747 11084124160 19880 33554432000 4194304 4196468 140724726217680 140554348258208 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24031] ppid=23968 vsize=10824340 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24031/stat : 24031 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 407323747 11084124160 19880 33554432000 4194304 4196468 140724726217680 140554214040560 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24032] ppid=23968 vsize=10824340 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24032/stat : 24032 (java) S 23968 23971 20959 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 407323750 11084124160 19880 33554432000 4194304 4196468 140724726217680 140553973749968 140555418613659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24033] ppid=23968 vsize=10824340 memory=13252 CPUtime=0.23 cores=1,3,5,7
/proc/23971/task/24033/stat : 24033 (java) S 23968 23971 20959 0 -1 1077944384 739 13083 0 0 15 0 5 3 20 0 15 0 407323750 11084124160 19880 33554432000 4194304 4196468 140724726217680 140554420578800 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24034] ppid=23968 vsize=10824340 memory=15460 CPUtime=0.19 cores=1,3,5,7
/proc/23971/task/24034/stat : 24034 (java) R 23968 23971 20959 0 -1 4202560 559 13083 0 0 11 0 5 3 20 0 15 0 407323750 11084124160 19880 33554432000 4194304 4196468 140724726217680 140554419526256 140555399347723 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24035] ppid=23968 vsize=10824340 memory=17668 CPUtime=0.25 cores=1,3,5,7
/proc/23971/task/24035/stat : 24035 (java) S 23968 23971 20959 0 -1 1077944384 1028 13083 0 0 17 0 5 3 20 0 15 0 407323750 11084124160 19880 33554432000 4194304 4196468 140724726217680 140554418473712 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24036] ppid=23968 vsize=10824340 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24036/stat : 24036 (java) S 23968 23971 20959 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 407323750 11084124160 19880 33554432000 4194304 4196468 140724726217680 140553940192352 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24037] ppid=23968 vsize=10824340 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24037/stat : 24037 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 407323750 11084124160 19880 33554432000 4194304 4196468 140724726217680 140554417420592 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 79520 KiB
[startup+1.50072 s]
/proc/loadavg: 1.30 1.36 1.34 3/233 24037
/proc/meminfo: memFree=30717972/32770624 swapFree=67003336/67108860
[pid=23971] ppid=23968 vsize=10834656 memory=171016 CPUtime=2.52 cores=1,3,5,7
/proc/23971/stat : 23971 (java) S 23968 23971 20959 0 -1 1077944320 22289 13083 0 0 232 12 5 3 20 0 15 0 407323735 11094687744 42754 33554432000 4194304 4196468 140724726217680 140724726200224 140555418595063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
/proc/23971/statm: 2708664 42754 3580 1 0 2670733 0
[pid=23971/tid=24024] ppid=23968 vsize=10834656 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/23971/task/24024/stat : 24024 (java) R 23968 23971 20959 0 -1 4202560 15828 13083 0 0 129 7 5 3 20 0 15 0 407323744 11094687744 42754 33554432000 4194304 4196468 140724726217680 140555390401712 140555402675550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24025] ppid=23968 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24025/stat : 24025 (java) S 23968 23971 20959 0 -1 1077944384 337 13083 0 0 0 0 5 3 20 0 15 0 407323745 11094687744 42754 33554432000 4194304 4196468 140724726217680 140555422837520 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24026] ppid=23968 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23971/task/24026/stat : 24026 (java) S 23968 23971 20959 0 -1 1077944384 66 13083 0 0 1 0 5 3 20 0 15 0 407323745 11094687744 42754 33554432000 4194304 4196468 140724726217680 140555356879760 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24027] ppid=23968 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23971/task/24027/stat : 24027 (java) S 23968 23971 20959 0 -1 1077944384 60 13083 0 0 1 0 5 3 20 0 15 0 407323745 11094687744 42754 33554432000 4194304 4196468 140724726217680 140554990357520 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24028] ppid=23968 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24028/stat : 24028 (java) S 23968 23971 20959 0 -1 1077944384 26 13083 0 0 0 0 5 3 20 0 15 0 407323745 11094687744 42754 33554432000 4194304 4196468 140724726217680 140554989304976 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24029] ppid=23968 vsize=10834656 memory=-7965959130280075168 CPUtime=0.09 cores=1,3,5,7
/proc/23971/task/24029/stat : 24029 (java) S 23968 23971 20959 0 -1 1077944384 403 13083 0 0 1 0 5 3 20 0 15 0 407323746 11094687744 42754 33554432000 4194304 4196468 140724726217680 140554421630960 140555418606210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24030] ppid=23968 vsize=10834656 memory=280991121877248 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24030/stat : 24030 (java) S 23968 23971 20959 0 -1 1077944384 13 13083 0 0 0 0 5 3 20 0 15 0 407323747 11094687744 42754 33554432000 4194304 4196468 140724726217680 140554348258272 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24031] ppid=23968 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24031/stat : 24031 (java) S 23968 23971 20959 0 -1 1077944384 2 13083 0 0 0 0 5 3 20 0 15 0 407323747 11094687744 42754 33554432000 4194304 4196468 140724726217680 140554214040576 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24032] ppid=23968 vsize=10834656 memory=8252 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24032/stat : 24032 (java) S 23968 23971 20959 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 407323750 11094687744 42754 33554432000 4194304 4196468 140724726217680 140553973749968 140555418613659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24033] ppid=23968 vsize=10834656 memory=5912 CPUtime=0.37 cores=1,3,5,7
/proc/23971/task/24033/stat : 24033 (java) S 23968 23971 20959 0 -1 1077944384 853 13083 0 0 29 0 5 3 20 0 15 0 407323750 11094687744 42754 33554432000 4194304 4196468 140724726217680 140554420578800 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24034] ppid=23968 vsize=10834656 memory=1056 CPUtime=0.34 cores=1,3,5,7
/proc/23971/task/24034/stat : 24034 (java) S 23968 23971 20959 0 -1 1077944384 754 13083 0 0 26 0 5 3 20 0 15 0 407323750 11094687744 42754 33554432000 4194304 4196468 140724726217680 140554419526256 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24035] ppid=23968 vsize=10834656 memory=1540 CPUtime=0.48 cores=1,3,5,7
/proc/23971/task/24035/stat : 24035 (java) R 23968 23971 20959 0 -1 4202560 1737 13083 0 0 40 0 5 3 20 0 15 0 407323750 11094687744 42806 33554432000 4194304 4196468 140724726217680 140554418473712 140555400005213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24036] ppid=23968 vsize=10834656 memory=728 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24036/stat : 24036 (java) S 23968 23971 20959 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 407323750 11094687744 42806 33554432000 4194304 4196468 140724726217680 140553940192352 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24037] ppid=23968 vsize=10834656 memory=3436 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24037/stat : 24037 (java) S 23968 23971 20959 0 -1 1077944384 1 13083 0 0 0 0 5 3 20 0 15 0 407323750 11094687744 42806 33554432000 4194304 4196468 140724726217680 140554417420592 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
[startup+7.51927 s]
# the end of solver process 23971 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17.551 s, system=0.315003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40089 s]
/proc/loadavg: 1.51 1.41 1.35 4/233 24037
/proc/meminfo: memFree=30457880/32770624 swapFree=67003336/67108860
[pid=23971] ppid=23968 vsize=10846964 memory=370872 CPUtime=15.83 cores=1,3,5,7
/proc/23971/stat : 23971 (java) S 23968 23971 20959 0 -1 1077944320 50257 13083 0 0 1550 25 5 3 20 0 15 0 407323735 11107291136 92718 33554432000 4194304 4196468 140724726217680 140724726200224 140555418595063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
/proc/23971/statm: 2711741 92718 3622 1 0 2673805 0
[pid=23971/tid=24024] ppid=23968 vsize=10846964 memory=8 CPUtime=6.24 cores=1,3,5,7
/proc/23971/task/24024/stat : 24024 (java) R 23968 23971 20959 0 -1 4202560 23784 13083 0 0 604 12 5 3 20 0 15 0 407323744 11107291136 92718 33554432000 4194304 4196468 140724726217680 140555390430600 140555418606998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24025] ppid=23968 vsize=10846964 memory=8 CPUtime=0.12 cores=1,3,5,7
/proc/23971/task/24025/stat : 24025 (java) S 23968 23971 20959 0 -1 1077944384 370 13083 0 0 4 0 5 3 20 0 15 0 407323745 11107291136 92718 33554432000 4194304 4196468 140724726217680 140555422837520 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24026] ppid=23968 vsize=10846964 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/23971/task/24026/stat : 24026 (java) S 23968 23971 20959 0 -1 1077944384 280 13083 0 0 4 0 5 3 20 0 15 0 407323745 11107291136 92718 33554432000 4194304 4196468 140724726217680 140555356879760 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24027] ppid=23968 vsize=10846964 memory=6153433744107136358 CPUtime=0.12 cores=1,3,5,7
/proc/23971/task/24027/stat : 24027 (java) S 23968 23971 20959 0 -1 1077944384 85 13083 0 0 4 0 5 3 20 0 15 0 407323745 11107291136 92718 33554432000 4194304 4196468 140724726217680 140554990357520 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24028] ppid=23968 vsize=10846964 memory=6153433744107136358 CPUtime=0.12 cores=1,3,5,7
/proc/23971/task/24028/stat : 24028 (java) S 23968 23971 20959 0 -1 1077944384 597 13083 0 0 4 0 5 3 20 0 15 0 407323745 11107291136 92718 33554432000 4194304 4196468 140724726217680 140554989304976 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24029] ppid=23968 vsize=10846964 memory=7235987539975826263 CPUtime=0.13 cores=1,3,5,7
/proc/23971/task/24029/stat : 24029 (java) S 23968 23971 20959 0 -1 1077944384 3750 13083 0 0 5 0 5 3 20 0 15 0 407323746 11107291136 92718 33554432000 4194304 4196468 140724726217680 140554421630960 140555418606210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24030] ppid=23968 vsize=10846964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24030/stat : 24030 (java) S 23968 23971 20959 0 -1 1077944384 16 13083 0 0 0 0 5 3 20 0 15 0 407323747 11107291136 92718 33554432000 4194304 4196468 140724726217680 140554348258336 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24031] ppid=23968 vsize=10846964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24031/stat : 24031 (java) S 23968 23971 20959 0 -1 1077944384 9 13083 0 0 0 0 5 3 20 0 15 0 407323747 11107291136 92718 33554432000 4194304 4196468 140724726217680 140554214040576 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24032] ppid=23968 vsize=10846964 memory=140495561126415 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24032/stat : 24032 (java) S 23968 23971 20959 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 407323750 11107291136 92718 33554432000 4194304 4196468 140724726217680 140553973749968 140555418613659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24033] ppid=23968 vsize=10846964 memory=280991122237040 CPUtime=3.61 cores=1,3,5,7
/proc/23971/task/24033/stat : 24033 (java) R 23968 23971 20959 0 -1 4202560 5856 13083 0 0 351 2 5 3 20 0 15 0 407323750 11107291136 92718 33554432000 4194304 4196468 140724726217680 140554420561632 140555402984945 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24034] ppid=23968 vsize=10846964 memory=0 CPUtime=3.69 cores=1,3,5,7
/proc/23971/task/24034/stat : 24034 (java) S 23968 23971 20959 0 -1 1077944384 5295 13083 0 0 358 3 5 3 20 0 15 0 407323750 11107291136 92718 33554432000 4194304 4196468 140724726217680 140554419526256 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24035] ppid=23968 vsize=10846964 memory=0 CPUtime=2.22 cores=1,3,5,7
/proc/23971/task/24035/stat : 24035 (java) S 23968 23971 20959 0 -1 1077944384 7994 13083 0 0 211 3 5 3 20 0 15 0 407323750 11107291136 92718 33554432000 4194304 4196468 140724726217680 140554418473712 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24036] ppid=23968 vsize=10846964 memory=-2541025662029814883 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24036/stat : 24036 (java) S 23968 23971 20959 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 407323750 11107291136 92718 33554432000 4194304 4196468 140724726217680 140553940192352 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24037] ppid=23968 vsize=10846964 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24037/stat : 24037 (java) S 23968 23971 20959 0 -1 1077944384 10 13083 0 0 0 0 5 3 20 0 15 0 407323750 11107291136 92718 33554432000 4194304 4196468 140724726217680 140554417420592 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
Current children cumulated CPU time: 15.83 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 370872 KiB
[startup+7.20071 s]
/proc/loadavg: 1.51 1.41 1.35 6/233 24037
/proc/meminfo: memFree=30348844/32770624 swapFree=67003336/67108860
[pid=23971] ppid=23968 vsize=10846964 memory=477428 CPUtime=17.2 cores=1,3,5,7
/proc/23971/stat : 23971 (java) S 23968 23971 20959 0 -1 1077944320 50868 13083 0 0 1685 27 5 3 20 0 15 0 407323735 11107291136 119357 33554432000 4194304 4196468 140724726217680 140724726200224 140555418595063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
/proc/23971/statm: 2711741 119357 3622 1 0 2673805 0
[pid=23971/tid=24024] ppid=23968 vsize=10846964 memory=342060 CPUtime=7.03 cores=1,3,5,7
/proc/23971/task/24024/stat : 24024 (java) R 23968 23971 20959 0 -1 4202560 23841 13083 0 0 682 13 5 3 20 0 15 0 407323744 11107291136 119357 33554432000 4194304 4196468 140724726217680 140555390429792 140555036191744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24025] ppid=23968 vsize=10846964 memory=14694080391154107 CPUtime=0.13 cores=1,3,5,7
/proc/23971/task/24025/stat : 24025 (java) S 23968 23971 20959 0 -1 1077944384 375 13083 0 0 4 1 5 3 20 0 15 0 407323745 11107291136 119357 33554432000 4194304 4196468 140724726217680 140555422837520 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24026] ppid=23968 vsize=10846964 memory=6944656575208382560 CPUtime=0.13 cores=1,3,5,7
/proc/23971/task/24026/stat : 24026 (java) S 23968 23971 20959 0 -1 1077944384 281 13083 0 0 5 0 5 3 20 0 15 0 407323745 11107291136 119357 33554432000 4194304 4196468 140724726217680 140555356879760 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24027] ppid=23968 vsize=10846964 memory=6944656592387989600 CPUtime=0.12 cores=1,3,5,7
/proc/23971/task/24027/stat : 24027 (java) S 23968 23971 20959 0 -1 1077944384 85 13083 0 0 4 0 5 3 20 0 15 0 407323745 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554990357520 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24028] ppid=23968 vsize=10846964 memory=6944656575208382560 CPUtime=0.12 cores=1,3,5,7
/proc/23971/task/24028/stat : 24028 (java) S 23968 23971 20959 0 -1 1077944384 598 13083 0 0 4 0 5 3 20 0 15 0 407323745 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554989304976 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24029] ppid=23968 vsize=10846964 memory=-7022074515825631275 CPUtime=0.13 cores=1,3,5,7
/proc/23971/task/24029/stat : 24029 (java) S 23968 23971 20959 0 -1 1077944384 3821 13083 0 0 5 0 5 3 20 0 15 0 407323746 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554421630960 140555418606210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24030] ppid=23968 vsize=10846964 memory=8292088533921144977 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24030/stat : 24030 (java) S 23968 23971 20959 0 -1 1077944384 16 13083 0 0 0 0 5 3 20 0 15 0 407323747 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554348258336 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24031] ppid=23968 vsize=10846964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24031/stat : 24031 (java) S 23968 23971 20959 0 -1 1077944384 9 13083 0 0 0 0 5 3 20 0 15 0 407323747 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554214040576 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24032] ppid=23968 vsize=10846964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24032/stat : 24032 (java) S 23968 23971 20959 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140553973749968 140555418613659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24033] ppid=23968 vsize=10846964 memory=0 CPUtime=3.77 cores=1,3,5,7
/proc/23971/task/24033/stat : 24033 (java) S 23968 23971 20959 0 -1 1077944384 5856 13083 0 0 367 2 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554420578800 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24034] ppid=23968 vsize=10846964 memory=6791534058613427641 CPUtime=3.85 cores=1,3,5,7
/proc/23971/task/24034/stat : 24034 (java) S 23968 23971 20959 0 -1 1077944384 5297 13083 0 0 374 3 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554419526256 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24035] ppid=23968 vsize=10846964 memory=0 CPUtime=2.45 cores=1,3,5,7
/proc/23971/task/24035/stat : 24035 (java) S 23968 23971 20959 0 -1 1077944384 8468 13083 0 0 234 3 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554418473712 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24036] ppid=23968 vsize=10846964 memory=4639082993419309137 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24036/stat : 24036 (java) S 23968 23971 20959 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140553940192352 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24037] ppid=23968 vsize=10846964 memory=140495560938417 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24037/stat : 24037 (java) S 23968 23971 20959 0 -1 1077944384 10 13083 0 0 0 0 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554417420592 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
Current children cumulated CPU time: 17.2 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 477428 KiB
[startup+7.40151 s]
/proc/loadavg: 1.51 1.41 1.35 6/233 24037
/proc/meminfo: memFree=30348844/32770624 swapFree=67003336/67108860
[pid=23971] ppid=23968 vsize=10846964 memory=477428 CPUtime=17.65 cores=1,3,5,7
/proc/23971/stat : 23971 (java) S 23968 23971 20959 0 -1 1077944320 50925 13083 0 0 1730 27 5 3 20 0 15 0 407323735 11107291136 119357 33554432000 4194304 4196468 140724726217680 140724726200224 140555418595063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
/proc/23971/statm: 2711741 119357 3622 1 0 2673805 0
[pid=23971/tid=24024] ppid=23968 vsize=10846964 memory=37276 CPUtime=7.23 cores=1,3,5,7
/proc/23971/task/24024/stat : 24024 (java) R 23968 23971 20959 0 -1 4202560 23841 13083 0 0 702 13 5 3 20 0 15 0 407323744 11107291136 119357 33554432000 4194304 4196468 140724726217680 140555390428136 140555024138666 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24025] ppid=23968 vsize=10846964 memory=988 CPUtime=0.13 cores=1,3,5,7
/proc/23971/task/24025/stat : 24025 (java) S 23968 23971 20959 0 -1 1077944384 375 13083 0 0 4 1 5 3 20 0 15 0 407323745 11107291136 119357 33554432000 4194304 4196468 140724726217680 140555422837520 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24026] ppid=23968 vsize=10846964 memory=2052 CPUtime=0.13 cores=1,3,5,7
/proc/23971/task/24026/stat : 24026 (java) S 23968 23971 20959 0 -1 1077944384 281 13083 0 0 5 0 5 3 20 0 15 0 407323745 11107291136 119357 33554432000 4194304 4196468 140724726217680 140555356879760 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24027] ppid=23968 vsize=10846964 memory=1220 CPUtime=0.12 cores=1,3,5,7
/proc/23971/task/24027/stat : 24027 (java) S 23968 23971 20959 0 -1 1077944384 85 13083 0 0 4 0 5 3 20 0 15 0 407323745 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554990357520 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24028] ppid=23968 vsize=10846964 memory=1616 CPUtime=0.12 cores=1,3,5,7
/proc/23971/task/24028/stat : 24028 (java) S 23968 23971 20959 0 -1 1077944384 598 13083 0 0 4 0 5 3 20 0 15 0 407323745 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554989304976 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24029] ppid=23968 vsize=10846964 memory=784 CPUtime=0.13 cores=1,3,5,7
/proc/23971/task/24029/stat : 24029 (java) S 23968 23971 20959 0 -1 1077944384 3821 13083 0 0 5 0 5 3 20 0 15 0 407323746 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554421630960 140555418606210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24030] ppid=23968 vsize=10846964 memory=8252 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24030/stat : 24030 (java) S 23968 23971 20959 0 -1 1077944384 16 13083 0 0 0 0 5 3 20 0 15 0 407323747 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554348258336 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24031] ppid=23968 vsize=10846964 memory=5912 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24031/stat : 24031 (java) S 23968 23971 20959 0 -1 1077944384 9 13083 0 0 0 0 5 3 20 0 15 0 407323747 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554214040576 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24032] ppid=23968 vsize=10846964 memory=1056 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24032/stat : 24032 (java) S 23968 23971 20959 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140553973749968 140555418613659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24033] ppid=23968 vsize=10846964 memory=1540 CPUtime=3.87 cores=1,3,5,7
/proc/23971/task/24033/stat : 24033 (java) R 23968 23971 20959 0 -1 4202560 5904 13083 0 0 377 2 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554420565616 140555400114383 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24034] ppid=23968 vsize=10846964 memory=728 CPUtime=3.95 cores=1,3,5,7
/proc/23971/task/24034/stat : 24034 (java) R 23968 23971 20959 0 -1 4202560 5306 13083 0 0 384 3 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554419526256 140555400139520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24035] ppid=23968 vsize=10846964 memory=3436 CPUtime=2.5 cores=1,3,5,7
/proc/23971/task/24035/stat : 24035 (java) S 23968 23971 20959 0 -1 1077944384 8468 13083 0 0 239 3 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554418473712 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24036] ppid=23968 vsize=10846964 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24036/stat : 24036 (java) S 23968 23971 20959 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140553940192352 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24037] ppid=23968 vsize=10846964 memory=1212 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24037/stat : 24037 (java) S 23968 23971 20959 0 -1 1077944384 10 13083 0 0 0 0 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554417420592 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
Current children cumulated CPU time: 17.65 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 477428 KiB
[startup+7.50073 s]
/proc/loadavg: 1.51 1.41 1.35 6/233 24037
/proc/meminfo: memFree=30348844/32770624 swapFree=67003336/67108860
[pid=23971] ppid=23968 vsize=10846964 memory=477428 CPUtime=17.83 cores=1,3,5,7
/proc/23971/stat : 23971 (java) S 23968 23971 20959 0 -1 1077944320 50925 13083 0 0 1748 27 5 3 20 0 15 0 407323735 11107291136 119357 33554432000 4194304 4196468 140724726217680 140724726200224 140555418595063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
/proc/23971/statm: 2711741 119357 3622 1 0 2673805 0
[pid=23971/tid=24024] ppid=23968 vsize=10846964 memory=11169 CPUtime=7.33 cores=1,3,5,7
/proc/23971/task/24024/stat : 24024 (java) R 23968 23971 20959 0 -1 4202560 23841 13083 0 0 712 13 5 3 20 0 15 0 407323744 11107291136 119357 33554432000 4194304 4196468 140724726217680 140555390429920 140555037228506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24025] ppid=23968 vsize=10846964 memory=288371095873512360 CPUtime=0.13 cores=1,3,5,7
/proc/23971/task/24025/stat : 24025 (java) S 23968 23971 20959 0 -1 1077944384 375 13083 0 0 4 1 5 3 20 0 15 0 407323745 11107291136 119357 33554432000 4194304 4196468 140724726217680 140555422837520 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24026] ppid=23968 vsize=10846964 memory=6791534058613427641 CPUtime=0.13 cores=1,3,5,7
/proc/23971/task/24026/stat : 24026 (java) S 23968 23971 20959 0 -1 1077944384 281 13083 0 0 5 0 5 3 20 0 15 0 407323745 11107291136 119357 33554432000 4194304 4196468 140724726217680 140555356879760 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24027] ppid=23968 vsize=10846964 memory=37276 CPUtime=0.12 cores=1,3,5,7
/proc/23971/task/24027/stat : 24027 (java) S 23968 23971 20959 0 -1 1077944384 85 13083 0 0 4 0 5 3 20 0 15 0 407323745 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554990357520 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24028] ppid=23968 vsize=10846964 memory=370484 CPUtime=0.12 cores=1,3,5,7
/proc/23971/task/24028/stat : 24028 (java) S 23968 23971 20959 0 -1 1077944384 598 13083 0 0 4 0 5 3 20 0 15 0 407323745 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554989304976 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24029] ppid=23968 vsize=10846964 memory=1212 CPUtime=0.13 cores=1,3,5,7
/proc/23971/task/24029/stat : 24029 (java) S 23968 23971 20959 0 -1 1077944384 3821 13083 0 0 5 0 5 3 20 0 15 0 407323746 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554421630960 140555418606210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24030] ppid=23968 vsize=10846964 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24030/stat : 24030 (java) S 23968 23971 20959 0 -1 1077944384 16 13083 0 0 0 0 5 3 20 0 15 0 407323747 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554348258336 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24031] ppid=23968 vsize=10846964 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24031/stat : 24031 (java) S 23968 23971 20959 0 -1 1077944384 9 13083 0 0 0 0 5 3 20 0 15 0 407323747 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554214040576 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24032] ppid=23968 vsize=10846964 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24032/stat : 24032 (java) S 23968 23971 20959 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140553973749968 140555418613659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24033] ppid=23968 vsize=10846964 memory=3280 CPUtime=3.91 cores=1,3,5,7
/proc/23971/task/24033/stat : 24033 (java) S 23968 23971 20959 0 -1 1077944384 5904 13083 0 0 381 2 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554420578800 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24034] ppid=23968 vsize=10846964 memory=0 CPUtime=3.97 cores=1,3,5,7
/proc/23971/task/24034/stat : 24034 (java) S 23968 23971 20959 0 -1 1077944384 5306 13083 0 0 386 3 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554419526256 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24035] ppid=23968 vsize=10846964 memory=280991122665848 CPUtime=2.53 cores=1,3,5,7
/proc/23971/task/24035/stat : 24035 (java) S 23968 23971 20959 0 -1 1077944384 8468 13083 0 0 242 3 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554418473712 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24036] ppid=23968 vsize=10846964 memory=280991122245664 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24036/stat : 24036 (java) S 23968 23971 20959 0 -1 1077944384 3 13083 0 0 0 0 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140553940192352 140555418605269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
[pid=23971/tid=24037] ppid=23968 vsize=10846964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23971/task/24037/stat : 24037 (java) S 23968 23971 20959 0 -1 1077944384 10 13083 0 0 0 0 5 3 20 0 15 0 407323750 11107291136 119357 33554432000 4194304 4196468 140724726217680 140554417420592 140555418606210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15319040 140724726225654 140724726228165 140724726228165 140724726230991 0
Current children cumulated CPU time: 17.83 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 477428 KiB
Child status: 0
Real time (s): 7.51933
CPU time (s): 17.866
CPU user time (s): 17.551
CPU system time (s): 0.315003
CPU usage (%): 237.601
Max. virtual memory (cumulated for all children) (KiB): 10846964
Max. memory (cumulated for all children) (KiB): 477428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.551
system time used= 0.315003
maximum resident set size= 479484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64056
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9866
involuntary context switches= 85
# summary of solver processes directly reported to runsolver:
# pid: 23971
# total CPU time (s): 17.866
# total CPU user time (s): 17.551
# total CPU system time (s): 0.315003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.073776 second user time and 0.115424 second system time
The end