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 (15295 MiB free)
memory of node 1: 16384 MiB (14791 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392166-1568309672/watcher-4392166-1568309672 -o /tmp/evaluation-result-4392166-1568309672/solver-4392166-1568309672 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568301421-20990 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=586099170 HOME/instance-4392166-1568309672.xml
running on 4 cores: 0,2,4,6
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=23731, runsolver pid=23728
Current StackSize limit: 8192 KiB
[startup+0.10947 s]*
/proc/loadavg: 1.42 1.29 1.33 3/223 23788
/proc/meminfo: memFree=30799304/32770624 swapFree=67003332/67108860
[pid=23731] ppid=23728 vsize=10355560 memory=22680 CPUtime=0.11 cores=0,2,4,6
/proc/23731/stat : 23731 (java) S 23728 23731 20959 0 -1 1077944320 4904 13183 0 0 2 1 5 3 20 0 9 0 407206852 10604093440 5670 33554432000 4194304 4196468 140731661346208 140731661328752 139691877695223 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
/proc/23731/statm: 2588890 5670 2102 1 0 2551431 0
[pid=23731/tid=23784] ppid=23728 vsize=10355560 memory=4351193297951294345 CPUtime=0.09 cores=0,2,4,6
/proc/23731/task/23784/stat : 23784 (java) R 23728 23731 20959 0 -1 4202560 2684 13183 0 0 1 0 5 3 20 0 9 0 407206861 10604093440 5670 33554432000 4194304 4196468 140731661346208 139691849531248 139691861775710 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23785] ppid=23728 vsize=10355560 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23785/stat : 23785 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 9 0 407206862 10604093440 5670 33554432000 4194304 4196468 140731661346208 139691881937680 139691877705429 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23786] ppid=23728 vsize=10355560 memory=140644495472256 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23786/stat : 23786 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 9 0 407206862 10604093440 5670 33554432000 4194304 4196468 140731661346208 139691800689552 139691877705429 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23787] ppid=23728 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23787/stat : 23787 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 9 0 407206862 10604093440 5670 33554432000 4194304 4196468 140731661346208 139691799637008 139691877705429 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23788] ppid=23728 vsize=10355560 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23788/stat : 23788 (java) S 23728 23731 20959 0 -1 1077944384 2 13183 0 0 0 0 5 3 20 0 9 0 407206862 10604093440 5670 33554432000 4194304 4196468 140731661346208 139691448786064 139691877705429 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23789] ppid=23728 vsize=10355560 memory=140644495472256 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23789/stat : 23789 (java) S 23728 23731 20959 0 -1 1077944384 2 13183 0 0 0 0 5 3 20 0 9 0 407206863 10604093440 5670 33554432000 4194304 4196468 140731661346208 139691404343280 139691877706370 0 0 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23790] ppid=23728 vsize=10355560 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23790/stat : 23790 (java) S 23728 23731 20959 0 -1 1077944384 13 13183 0 0 0 0 5 3 20 0 9 0 407206864 10604093440 5670 33554432000 4194304 4196468 140731661346208 139691328267168 139691877705429 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23791] ppid=23728 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23791/stat : 23791 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 9 0 407206864 10604093440 5670 33554432000 4194304 4196468 140731661346208 139691194049584 139691877705429 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 22680 KiB
[startup+0.210334 s]*
/proc/loadavg: 1.42 1.29 1.33 4/232 23797
/proc/meminfo: memFree=30779188/32770624 swapFree=67003332/67108860
[pid=23731] ppid=23728 vsize=10818940 memory=42840 CPUtime=0.26 cores=0,2,4,6
/proc/23731/stat : 23731 (java) S 23728 23731 20959 0 -1 1077944320 7058 13183 0 0 17 1 5 3 20 0 15 0 407206852 11078594560 10710 33554432000 4194304 4196468 140731661346208 140731661328752 139691877695223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
/proc/23731/statm: 2704735 10710 2958 1 0 2667149 0
[pid=23731/tid=23784] ppid=23728 vsize=10818940 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/23731/task/23784/stat : 23784 (java) R 23728 23731 20959 0 -1 4202560 3588 13183 0 0 11 0 5 3 20 0 15 0 407206861 11078594560 10710 33554432000 4194304 4196468 140731661346208 139691849528256 139691877707158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23785] ppid=23728 vsize=10818940 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23785/stat : 23785 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 15 0 407206862 11078594560 10710 33554432000 4194304 4196468 140731661346208 139691881937680 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23786] ppid=23728 vsize=10818940 memory=140644495472256 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23786/stat : 23786 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 15 0 407206862 11078594560 10710 33554432000 4194304 4196468 140731661346208 139691800689552 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23787] ppid=23728 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23787/stat : 23787 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 15 0 407206862 11078594560 10710 33554432000 4194304 4196468 140731661346208 139691799637008 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23788] ppid=23728 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23788/stat : 23788 (java) S 23728 23731 20959 0 -1 1077944384 2 13183 0 0 0 0 5 3 20 0 15 0 407206862 11078594560 10710 33554432000 4194304 4196468 140731661346208 139691448786064 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23789] ppid=23728 vsize=10818940 memory=140644495472256 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23789/stat : 23789 (java) S 23728 23731 20959 0 -1 1077944384 2 13183 0 0 0 0 5 3 20 0 15 0 407206863 11078594560 10710 33554432000 4194304 4196468 140731661346208 139691404343280 139691877706370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23790] ppid=23728 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23790/stat : 23790 (java) S 23728 23731 20959 0 -1 1077944384 13 13183 0 0 0 0 5 3 20 0 15 0 407206864 11078594560 10710 33554432000 4194304 4196468 140731661346208 139691328267168 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23791] ppid=23728 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23791/stat : 23791 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 15 0 407206864 11078594560 10710 33554432000 4194304 4196468 140731661346208 139691194049520 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23792] ppid=23728 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23792/stat : 23792 (java) S 23728 23731 20959 0 -1 1077944384 2 13183 0 0 0 0 5 3 20 0 15 0 407206867 11078594560 10710 33554432000 4194304 4196468 140731661346208 139690388744400 139691877713819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23793] ppid=23728 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/23731/task/23793/stat : 23793 (java) S 23728 23731 20959 0 -1 1077944384 355 13183 0 0 1 0 5 3 20 0 15 0 407206867 11078594560 10710 33554432000 4194304 4196468 140731661346208 139691403291120 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23794] ppid=23728 vsize=10818940 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/23731/task/23794/stat : 23794 (java) S 23728 23731 20959 0 -1 1077944384 257 13183 0 0 1 0 5 3 20 0 15 0 407206867 11078594560 10710 33554432000 4194304 4196468 140731661346208 139691402238576 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23795] ppid=23728 vsize=10818940 memory=140644495472256 CPUtime=0.11 cores=0,2,4,6
/proc/23731/task/23795/stat : 23795 (java) R 23728 23731 20959 0 -1 4202560 629 13183 0 0 3 0 5 3 20 0 15 0 407206867 11078594560 10710 33554432000 4194304 4196468 140731661346208 139691401186032 139691877707158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23796] ppid=23728 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23796/stat : 23796 (java) S 23728 23731 20959 0 -1 1077944384 3 13183 0 0 0 0 5 3 20 0 15 0 407206867 11078594560 10710 33554432000 4194304 4196468 140731661346208 139690120309856 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23797] ppid=23728 vsize=10818940 memory=140644495472256 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23797/stat : 23797 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 15 0 407206867 11078594560 10710 33554432000 4194304 4196468 140731661346208 139691400132912 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 42840 KiB
[startup+0.310768 s]*
/proc/loadavg: 1.42 1.29 1.33 5/232 23797
/proc/meminfo: memFree=30768216/32770624 swapFree=67003332/67108860
[pid=23731] ppid=23728 vsize=10820096 memory=54212 CPUtime=0.4 cores=0,2,4,6
/proc/23731/stat : 23731 (java) S 23728 23731 20959 0 -1 1077944320 10799 13183 0 0 29 3 5 3 20 0 15 0 407206852 11079778304 13553 33554432000 4194304 4196468 140731661346208 140731661328752 139691877695223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
/proc/23731/statm: 2705024 13553 3212 1 0 2667149 0
[pid=23731/tid=23784] ppid=23728 vsize=10820096 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/23731/task/23784/stat : 23784 (java) R 23728 23731 20959 0 -1 4202560 7314 13183 0 0 19 2 5 3 20 0 15 0 407206861 11079778304 13553 33554432000 4194304 4196468 140731661346208 139691849494480 139691479368432 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23785] ppid=23728 vsize=10820096 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23785/stat : 23785 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 15 0 407206862 11079778304 13553 33554432000 4194304 4196468 140731661346208 139691881937680 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23786] ppid=23728 vsize=10820096 memory=140644495479249 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23786/stat : 23786 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 15 0 407206862 11079778304 13553 33554432000 4194304 4196468 140731661346208 139691800689552 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23787] ppid=23728 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23787/stat : 23787 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 15 0 407206862 11079778304 13553 33554432000 4194304 4196468 140731661346208 139691799637008 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23788] ppid=23728 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23788/stat : 23788 (java) S 23728 23731 20959 0 -1 1077944384 2 13183 0 0 0 0 5 3 20 0 15 0 407206862 11079778304 13553 33554432000 4194304 4196468 140731661346208 139691448786064 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23789] ppid=23728 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23789/stat : 23789 (java) S 23728 23731 20959 0 -1 1077944384 2 13183 0 0 0 0 5 3 20 0 15 0 407206863 11079778304 13553 33554432000 4194304 4196468 140731661346208 139691404343280 139691877706370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23790] ppid=23728 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23790/stat : 23790 (java) S 23728 23731 20959 0 -1 1077944384 13 13183 0 0 0 0 5 3 20 0 15 0 407206864 11079778304 13553 33554432000 4194304 4196468 140731661346208 139691328267168 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23791] ppid=23728 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23791/stat : 23791 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 15 0 407206864 11079778304 13553 33554432000 4194304 4196468 140731661346208 139691194049520 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23792] ppid=23728 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23792/stat : 23792 (java) S 23728 23731 20959 0 -1 1077944384 2 13183 0 0 0 0 5 3 20 0 15 0 407206867 11079778304 13553 33554432000 4194304 4196468 140731661346208 139690388744400 139691877713819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23793] ppid=23728 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/23731/task/23793/stat : 23793 (java) S 23728 23731 20959 0 -1 1077944384 355 13183 0 0 1 0 5 3 20 0 15 0 407206867 11079778304 13553 33554432000 4194304 4196468 140731661346208 139691403291120 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23794] ppid=23728 vsize=10820096 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/23731/task/23794/stat : 23794 (java) S 23728 23731 20959 0 -1 1077944384 259 13183 0 0 1 0 5 3 20 0 15 0 407206867 11079778304 13553 33554432000 4194304 4196468 140731661346208 139691402238576 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23795] ppid=23728 vsize=10820096 memory=140644495472256 CPUtime=0.13 cores=0,2,4,6
/proc/23731/task/23795/stat : 23795 (java) S 23728 23731 20959 0 -1 1077944384 638 13183 0 0 5 0 5 3 20 0 15 0 407206867 11079778304 13553 33554432000 4194304 4196468 140731661346208 139691401186032 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23796] ppid=23728 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23796/stat : 23796 (java) S 23728 23731 20959 0 -1 1077944384 3 13183 0 0 0 0 5 3 20 0 15 0 407206867 11079778304 13553 33554432000 4194304 4196468 140731661346208 139690120309856 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23797] ppid=23728 vsize=10820096 memory=140644495472256 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23797/stat : 23797 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 15 0 407206867 11079778304 13553 33554432000 4194304 4196468 140731661346208 139691400132912 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 54212 KiB
[startup+0.700718 s]
/proc/loadavg: 1.42 1.29 1.33 5/232 23797
/proc/meminfo: memFree=30753016/32770624 swapFree=67003332/67108860
[pid=23731] ppid=23728 vsize=10824340 memory=84888 CPUtime=1.14 cores=0,2,4,6
/proc/23731/stat : 23731 (java) S 23728 23731 20959 0 -1 1077944320 14868 13183 0 0 101 5 5 3 20 0 15 0 407206852 11084124160 21222 33554432000 4194304 4196468 140731661346208 140731661328752 139691877695223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
/proc/23731/statm: 2706085 21222 3508 1 0 2668173 0
[pid=23731/tid=23784] ppid=23728 vsize=10824340 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/23731/task/23784/stat : 23784 (java) R 23728 23731 20959 0 -1 4202560 10553 13183 0 0 55 4 5 3 20 0 15 0 407206861 11084124160 21222 33554432000 4194304 4196468 140731661346208 139691849522416 139691877717149 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23785] ppid=23728 vsize=10824340 memory=3689211291194629168 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23785/stat : 23785 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 15 0 407206862 11084124160 21222 33554432000 4194304 4196468 140731661346208 139691881937680 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23786] ppid=23728 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23786/stat : 23786 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 15 0 407206862 11084124160 21222 33554432000 4194304 4196468 140731661346208 139691800689552 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23787] ppid=23728 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23787/stat : 23787 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 15 0 407206862 11084124160 21222 33554432000 4194304 4196468 140731661346208 139691799637008 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23788] ppid=23728 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23788/stat : 23788 (java) S 23728 23731 20959 0 -1 1077944384 2 13183 0 0 0 0 5 3 20 0 15 0 407206862 11084124160 21222 33554432000 4194304 4196468 140731661346208 139691448786064 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23789] ppid=23728 vsize=10824340 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23789/stat : 23789 (java) S 23728 23731 20959 0 -1 1077944384 6 13183 0 0 0 0 5 3 20 0 15 0 407206863 11084124160 21222 33554432000 4194304 4196468 140731661346208 139691404343280 139691877706370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23790] ppid=23728 vsize=10824340 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23790/stat : 23790 (java) S 23728 23731 20959 0 -1 1077944384 13 13183 0 0 0 0 5 3 20 0 15 0 407206864 11084124160 21222 33554432000 4194304 4196468 140731661346208 139691328267168 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23791] ppid=23728 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23791/stat : 23791 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 15 0 407206864 11084124160 21222 33554432000 4194304 4196468 140731661346208 139691194049520 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23792] ppid=23728 vsize=10824340 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23792/stat : 23792 (java) S 23728 23731 20959 0 -1 1077944384 2 13183 0 0 0 0 5 3 20 0 15 0 407206867 11084124160 21222 33554432000 4194304 4196468 140731661346208 139690388744400 139691877713819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23793] ppid=23728 vsize=10824340 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/23731/task/23793/stat : 23793 (java) S 23728 23731 20959 0 -1 1077944384 581 13183 0 0 12 0 5 3 20 0 15 0 407206867 11084124160 21222 33554432000 4194304 4196468 140731661346208 139691403291120 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23794] ppid=23728 vsize=10824340 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/23731/task/23794/stat : 23794 (java) S 23728 23731 20959 0 -1 1077944384 662 13183 0 0 15 0 5 3 20 0 15 0 407206867 11084124160 21222 33554432000 4194304 4196468 140731661346208 139691402238576 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23795] ppid=23728 vsize=10824340 memory=140644341286928 CPUtime=0.25 cores=0,2,4,6
/proc/23731/task/23795/stat : 23795 (java) R 23728 23731 20959 0 -1 4202560 835 13183 0 0 17 0 5 3 20 0 15 0 407206867 11084124160 21222 33554432000 4194304 4196468 140731661346208 139691401186032 139691856713328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23796] ppid=23728 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23796/stat : 23796 (java) S 23728 23731 20959 0 -1 1077944384 3 13183 0 0 0 0 5 3 20 0 15 0 407206867 11084124160 21222 33554432000 4194304 4196468 140731661346208 139690120309856 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23797] ppid=23728 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23797/stat : 23797 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 15 0 407206867 11084124160 21222 33554432000 4194304 4196468 140731661346208 139691400132912 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 84888 KiB
[startup+1.5007 s]
/proc/loadavg: 1.46 1.30 1.33 3/232 23797
/proc/meminfo: memFree=30710700/32770624 swapFree=67003332/67108860
[pid=23731] ppid=23728 vsize=10834656 memory=172592 CPUtime=2.47 cores=0,2,4,6
/proc/23731/stat : 23731 (java) S 23728 23731 20959 0 -1 1077944320 22388 13183 0 0 228 11 5 3 20 0 15 0 407206852 11094687744 43148 33554432000 4194304 4196468 140731661346208 140731661328752 139691877695223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
/proc/23731/statm: 2708664 43148 3574 1 0 2670733 0
[pid=23731/tid=23784] ppid=23728 vsize=10834656 memory=100808 CPUtime=1.44 cores=0,2,4,6
/proc/23731/task/23784/stat : 23784 (java) R 23728 23731 20959 0 -1 4202560 15591 13183 0 0 130 6 5 3 20 0 15 0 407206861 11094687744 43148 33554432000 4194304 4196468 140731661346208 139691849498816 139691479413185 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23785] ppid=23728 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/23731/task/23785/stat : 23785 (java) S 23728 23731 20959 0 -1 1077944384 75 13183 0 0 1 0 5 3 20 0 15 0 407206862 11094687744 43148 33554432000 4194304 4196468 140731661346208 139691881937680 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23786] ppid=23728 vsize=10834656 memory=7893295687695687954 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23786/stat : 23786 (java) S 23728 23731 20959 0 -1 1077944384 30 13183 0 0 0 0 5 3 20 0 15 0 407206862 11094687744 43148 33554432000 4194304 4196468 140731661346208 139691800689552 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23787] ppid=23728 vsize=10834656 memory=6994781559841273980 CPUtime=0.09 cores=0,2,4,6
/proc/23731/task/23787/stat : 23787 (java) S 23728 23731 20959 0 -1 1077944384 384 13183 0 0 1 0 5 3 20 0 15 0 407206862 11094687744 43148 33554432000 4194304 4196468 140731661346208 139691799637008 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23788] ppid=23728 vsize=10834656 memory=4498404016631593314 CPUtime=0.09 cores=0,2,4,6
/proc/23731/task/23788/stat : 23788 (java) S 23728 23731 20959 0 -1 1077944384 54 13183 0 0 1 0 5 3 20 0 15 0 407206862 11094687744 43148 33554432000 4194304 4196468 140731661346208 139691448786064 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23789] ppid=23728 vsize=10834656 memory=11486985171 CPUtime=0.09 cores=0,2,4,6
/proc/23731/task/23789/stat : 23789 (java) S 23728 23731 20959 0 -1 1077944384 869 13183 0 0 1 0 5 3 20 0 15 0 407206863 11094687744 43148 33554432000 4194304 4196468 140731661346208 139691404343280 139691877706370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23790] ppid=23728 vsize=10834656 memory=281288682539544 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23790/stat : 23790 (java) S 23728 23731 20959 0 -1 1077944384 14 13183 0 0 0 0 5 3 20 0 15 0 407206864 11094687744 43148 33554432000 4194304 4196468 140731661346208 139691328267232 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23791] ppid=23728 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23791/stat : 23791 (java) S 23728 23731 20959 0 -1 1077944384 1 13183 0 0 0 0 5 3 20 0 15 0 407206864 11094687744 43148 33554432000 4194304 4196468 140731661346208 139691194049536 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23792] ppid=23728 vsize=10834656 memory=288230583166042426 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23792/stat : 23792 (java) S 23728 23731 20959 0 -1 1077944384 2 13183 0 0 0 0 5 3 20 0 15 0 407206867 11094687744 43148 33554432000 4194304 4196468 140731661346208 139690388744400 139691877713819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23793] ppid=23728 vsize=10834656 memory=14694080391154107 CPUtime=0.3 cores=0,2,4,6
/proc/23731/task/23793/stat : 23793 (java) S 23728 23731 20959 0 -1 1077944384 735 13183 0 0 22 0 5 3 20 0 15 0 407206867 11094687744 43148 33554432000 4194304 4196468 140731661346208 139691403291120 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23794] ppid=23728 vsize=10834656 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/23731/task/23794/stat : 23794 (java) S 23728 23731 20959 0 -1 1077944384 780 13183 0 0 26 0 5 3 20 0 15 0 407206867 11094687744 43148 33554432000 4194304 4196468 140731661346208 139691402238576 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23795] ppid=23728 vsize=10834656 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/23731/task/23795/stat : 23795 (java) R 23728 23731 20959 0 -1 4202560 1644 13183 0 0 41 0 5 3 20 0 15 0 407206867 11094687744 43148 33554432000 4194304 4196468 140731661346208 139691401186032 139691861775710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
################
# More data... #
################
/proc/23731/task/23784/stat : 23784 (java) R 23728 23731 20959 0 -1 4202560 61374 13183 0 0 223798 41 5 3 20 0 15 0 407206861 11107291136 215419 33554432000 4194304 4196468 140731661346208 139691849530880 139691860215800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23785] ppid=23728 vsize=10846964 memory=861676 CPUtime=12.17 cores=0,2,4,6
/proc/23731/task/23785/stat : 23785 (java) S 23728 23731 20959 0 -1 1077944384 14539 13183 0 0 1155 54 5 3 20 0 15 0 407206862 11107291136 215419 33554432000 4194304 4196468 140731661346208 139691881937680 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23786] ppid=23728 vsize=10846964 memory=861676 CPUtime=12.12 cores=0,2,4,6
/proc/23731/task/23786/stat : 23786 (java) S 23728 23731 20959 0 -1 1077944384 13791 13183 0 0 1157 47 5 3 20 0 15 0 407206862 11107291136 215419 33554432000 4194304 4196468 140731661346208 139691800689552 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23787] ppid=23728 vsize=10846964 memory=861676 CPUtime=12.14 cores=0,2,4,6
/proc/23731/task/23787/stat : 23787 (java) S 23728 23731 20959 0 -1 1077944384 10688 13183 0 0 1157 49 5 3 20 0 15 0 407206862 11107291136 215419 33554432000 4194304 4196468 140731661346208 139691799637008 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23788] ppid=23728 vsize=10846964 memory=861676 CPUtime=12.08 cores=0,2,4,6
/proc/23731/task/23788/stat : 23788 (java) S 23728 23731 20959 0 -1 1077944384 18479 13183 0 0 1148 52 5 3 20 0 15 0 407206862 11107291136 215419 33554432000 4194304 4196468 140731661346208 139691448786064 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23789] ppid=23728 vsize=10846964 memory=861676 CPUtime=9.66 cores=0,2,4,6
/proc/23731/task/23789/stat : 23789 (java) S 23728 23731 20959 0 -1 1077944384 16143 13183 0 0 906 52 5 3 20 0 15 0 407206863 11107291136 215419 33554432000 4194304 4196468 140731661346208 139691404343280 139691877706370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23790] ppid=23728 vsize=10846964 memory=1768 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23790/stat : 23790 (java) S 23728 23731 20959 0 -1 1077944384 19 13183 0 0 0 0 5 3 20 0 15 0 407206864 11107291136 215419 33554432000 4194304 4196468 140731661346208 139691328267296 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23791] ppid=23728 vsize=10846964 memory=111628 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23791/stat : 23791 (java) S 23728 23731 20959 0 -1 1077944384 4 13183 0 0 0 0 5 3 20 0 15 0 407206864 11107291136 215419 33554432000 4194304 4196468 140731661346208 139691194049536 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23792] ppid=23728 vsize=10846964 memory=861676 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23792/stat : 23792 (java) S 23728 23731 20959 0 -1 1077944384 2 13183 0 0 0 0 5 3 20 0 15 0 407206867 11107291136 215419 33554432000 4194304 4196468 140731661346208 139690388744400 139691877713819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23793] ppid=23728 vsize=10846964 memory=861676 CPUtime=8.65 cores=0,2,4,6
/proc/23731/task/23793/stat : 23793 (java) S 23728 23731 20959 0 -1 1077944384 50781 13183 0 0 849 8 5 3 20 0 15 0 407206867 11107291136 215419 33554432000 4194304 4196468 140731661346208 139691403291120 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23794] ppid=23728 vsize=10846964 memory=5912 CPUtime=8.4 cores=0,2,4,6
/proc/23731/task/23794/stat : 23794 (java) S 23728 23731 20959 0 -1 1077944384 49698 13183 0 0 825 7 5 3 20 0 15 0 407206867 11107291136 215419 33554432000 4194304 4196468 140731661346208 139691402238576 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23795] ppid=23728 vsize=10846964 memory=1056 CPUtime=5.09 cores=0,2,4,6
/proc/23731/task/23795/stat : 23795 (java) S 23728 23731 20959 0 -1 1077944384 49452 13183 0 0 492 9 5 3 20 0 15 0 407206867 11107291136 215419 33554432000 4194304 4196468 140731661346208 139691401186032 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23796] ppid=23728 vsize=10846964 memory=3280 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23796/stat : 23796 (java) S 23728 23731 20959 0 -1 1077944384 3 13183 0 0 0 0 5 3 20 0 15 0 407206867 11107291136 215419 33554432000 4194304 4196468 140731661346208 139690120309856 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23797] ppid=23728 vsize=10846964 memory=37328 CPUtime=1.41 cores=0,2,4,6
/proc/23731/task/23797/stat : 23797 (java) S 23728 23731 20959 0 -1 1077944384 1452 13183 0 0 64 69 5 3 20 0 15 0 407206867 11107291136 215419 33554432000 4194304 4196468 140731661346208 139691400132912 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
Current children cumulated CPU time: 2319.57 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 861676 KiB
[startup+2322.3 s]
/proc/loadavg: 1.21 1.39 1.42 3/230 24299
/proc/meminfo: memFree=28834996/32770624 swapFree=67003340/67108860
[pid=23731] ppid=23728 vsize=10846964 memory=856540 CPUtime=2380.55 cores=0,2,4,6
/proc/23731/stat : 23731 (java) S 23728 23731 20959 0 -1 1077944320 290172 13183 0 0 237707 340 5 3 20 0 15 0 407206852 11107291136 214135 33554432000 4194304 4196468 140731661346208 140731661328752 139691877695223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
/proc/23731/statm: 2711741 214135 3624 1 0 2673805 0
[pid=23731/tid=23784] ppid=23728 vsize=10846964 memory=856540 CPUtime=2297.79 cores=0,2,4,6
/proc/23731/task/23784/stat : 23784 (java) R 23728 23731 20959 0 -1 4202560 62134 13183 0 0 229729 42 5 3 20 0 15 0 407206861 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691849530800 139691483301063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23785] ppid=23728 vsize=10846964 memory=856540 CPUtime=12.52 cores=0,2,4,6
/proc/23731/task/23785/stat : 23785 (java) S 23728 23731 20959 0 -1 1077944384 14756 13183 0 0 1188 56 5 3 20 0 15 0 407206862 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691881937680 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23786] ppid=23728 vsize=10846964 memory=856540 CPUtime=12.47 cores=0,2,4,6
/proc/23731/task/23786/stat : 23786 (java) S 23728 23731 20959 0 -1 1077944384 13950 13183 0 0 1190 49 5 3 20 0 15 0 407206862 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691800689552 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23787] ppid=23728 vsize=10846964 memory=856540 CPUtime=12.48 cores=0,2,4,6
/proc/23731/task/23787/stat : 23787 (java) S 23728 23731 20959 0 -1 1077944384 10806 13183 0 0 1190 50 5 3 20 0 15 0 407206862 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691799637008 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23788] ppid=23728 vsize=10846964 memory=856540 CPUtime=12.41 cores=0,2,4,6
/proc/23731/task/23788/stat : 23788 (java) S 23728 23731 20959 0 -1 1077944384 18532 13183 0 0 1180 53 5 3 20 0 15 0 407206862 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691448786064 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23789] ppid=23728 vsize=10846964 memory=856540 CPUtime=9.93 cores=0,2,4,6
/proc/23731/task/23789/stat : 23789 (java) S 23728 23731 20959 0 -1 1077944384 16353 13183 0 0 932 53 5 3 20 0 15 0 407206863 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691404343280 139691877706370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23790] ppid=23728 vsize=10846964 memory=856540 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23790/stat : 23790 (java) S 23728 23731 20959 0 -1 1077944384 19 13183 0 0 0 0 5 3 20 0 15 0 407206864 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691328267296 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23791] ppid=23728 vsize=10846964 memory=856540 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23791/stat : 23791 (java) S 23728 23731 20959 0 -1 1077944384 4 13183 0 0 0 0 5 3 20 0 15 0 407206864 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691194049536 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23792] ppid=23728 vsize=10846964 memory=856540 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23792/stat : 23792 (java) S 23728 23731 20959 0 -1 1077944384 2 13183 0 0 0 0 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139690388744400 139691877713819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23793] ppid=23728 vsize=10846964 memory=856540 CPUtime=8.65 cores=0,2,4,6
/proc/23731/task/23793/stat : 23793 (java) S 23728 23731 20959 0 -1 1077944384 50783 13183 0 0 849 8 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691403291120 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23794] ppid=23728 vsize=10846964 memory=2712 CPUtime=8.4 cores=0,2,4,6
/proc/23731/task/23794/stat : 23794 (java) S 23728 23731 20959 0 -1 1077944384 49700 13183 0 0 825 7 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691402238576 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23795] ppid=23728 vsize=10846964 memory=4104 CPUtime=5.09 cores=0,2,4,6
/proc/23731/task/23795/stat : 23795 (java) S 23728 23731 20959 0 -1 1077944384 49454 13183 0 0 492 9 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691401186032 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23796] ppid=23728 vsize=10846964 memory=856540 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23796/stat : 23796 (java) S 23728 23731 20959 0 -1 1077944384 3 13183 0 0 0 0 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139690120309856 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23797] ppid=23728 vsize=10846964 memory=856540 CPUtime=1.44 cores=0,2,4,6
/proc/23731/task/23797/stat : 23797 (java) S 23728 23731 20959 0 -1 1077944384 1470 13183 0 0 65 71 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691400132912 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
Current children cumulated CPU time: 2380.55 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 856540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2341.5 s]
/proc/loadavg: 1.24 1.39 1.42 3/230 24299
/proc/meminfo: memFree=28864288/32770624 swapFree=67003340/67108860
[pid=23731] ppid=23728 vsize=10846964 memory=856540 CPUtime=2400.05 cores=0,2,4,6
/proc/23731/stat : 23731 (java) S 23728 23731 20959 0 -1 1077944320 290705 13183 0 0 239656 341 5 3 20 0 15 0 407206852 11107291136 214135 33554432000 4194304 4196468 140731661346208 140731661328752 139691877695223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
/proc/23731/statm: 2711741 214135 3624 1 0 2673805 0
[pid=23731/tid=23784] ppid=23728 vsize=10846964 memory=856540 CPUtime=2316.8 cores=0,2,4,6
/proc/23731/task/23784/stat : 23784 (java) R 23728 23731 20959 0 -1 4202560 62360 13183 0 0 231630 42 5 3 20 0 15 0 407206861 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691849531072 139691486392384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23785] ppid=23728 vsize=10846964 memory=856540 CPUtime=12.61 cores=0,2,4,6
/proc/23731/task/23785/stat : 23785 (java) S 23728 23731 20959 0 -1 1077944384 14932 13183 0 0 1197 56 5 3 20 0 15 0 407206862 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691881937680 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23786] ppid=23728 vsize=10846964 memory=856540 CPUtime=12.57 cores=0,2,4,6
/proc/23731/task/23786/stat : 23786 (java) S 23728 23731 20959 0 -1 1077944384 13980 13183 0 0 1200 49 5 3 20 0 15 0 407206862 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691800689552 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23787] ppid=23728 vsize=10846964 memory=856540 CPUtime=12.57 cores=0,2,4,6
/proc/23731/task/23787/stat : 23787 (java) S 23728 23731 20959 0 -1 1077944384 10856 13183 0 0 1199 50 5 3 20 0 15 0 407206862 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691799637008 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23788] ppid=23728 vsize=10846964 memory=856540 CPUtime=12.51 cores=0,2,4,6
/proc/23731/task/23788/stat : 23788 (java) S 23728 23731 20959 0 -1 1077944384 18551 13183 0 0 1190 53 5 3 20 0 15 0 407206862 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691448786064 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23789] ppid=23728 vsize=10846964 memory=856540 CPUtime=10 cores=0,2,4,6
/proc/23731/task/23789/stat : 23789 (java) S 23728 23731 20959 0 -1 1077944384 16377 13183 0 0 939 53 5 3 20 0 15 0 407206863 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691404343280 139691877706370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23790] ppid=23728 vsize=10846964 memory=856540 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23790/stat : 23790 (java) S 23728 23731 20959 0 -1 1077944384 19 13183 0 0 0 0 5 3 20 0 15 0 407206864 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691328267296 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23791] ppid=23728 vsize=10846964 memory=856540 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23791/stat : 23791 (java) S 23728 23731 20959 0 -1 1077944384 4 13183 0 0 0 0 5 3 20 0 15 0 407206864 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691194049536 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23792] ppid=23728 vsize=10846964 memory=856540 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23792/stat : 23792 (java) S 23728 23731 20959 0 -1 1077944384 2 13183 0 0 0 0 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139690388744400 139691877713819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23793] ppid=23728 vsize=10846964 memory=856540 CPUtime=8.65 cores=0,2,4,6
/proc/23731/task/23793/stat : 23793 (java) S 23728 23731 20959 0 -1 1077944384 50785 13183 0 0 849 8 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691403291120 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23794] ppid=23728 vsize=10846964 memory=856540 CPUtime=8.4 cores=0,2,4,6
/proc/23731/task/23794/stat : 23794 (java) S 23728 23731 20959 0 -1 1077944384 49702 13183 0 0 825 7 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691402238576 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23795] ppid=23728 vsize=10846964 memory=856540 CPUtime=5.09 cores=0,2,4,6
/proc/23731/task/23795/stat : 23795 (java) S 23728 23731 20959 0 -1 1077944384 49456 13183 0 0 492 9 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691401186032 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23796] ppid=23728 vsize=10846964 memory=856540 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23796/stat : 23796 (java) S 23728 23731 20959 0 -1 1077944384 3 13183 0 0 0 0 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139690120309856 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23797] ppid=23728 vsize=10846964 memory=856540 CPUtime=1.45 cores=0,2,4,6
/proc/23731/task/23797/stat : 23797 (java) S 23728 23731 20959 0 -1 1077944384 1472 13183 0 0 65 72 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691400132912 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 856540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2341.54 s]
# the end of solver process 23731 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.65 s, system=3.4598 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2341.5 s]
/proc/loadavg: 1.24 1.39 1.42 3/230 24299
/proc/meminfo: memFree=28864288/32770624 swapFree=67003340/67108860
[pid=23731] ppid=23728 vsize=10846964 memory=856540 CPUtime=2400.05 cores=0,2,4,6
/proc/23731/stat : 23731 (java) S 23728 23731 20959 0 -1 1077944320 290705 13183 0 0 239656 341 5 3 20 0 15 0 407206852 11107291136 214135 33554432000 4194304 4196468 140731661346208 140731661328752 139691877695223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
/proc/23731/statm: 2711741 214135 3624 1 0 2673805 0
[pid=23731/tid=23784] ppid=23728 vsize=10846964 memory=856540 CPUtime=2316.8 cores=0,2,4,6
/proc/23731/task/23784/stat : 23784 (java) R 23728 23731 20959 0 -1 4202560 62360 13183 0 0 231630 42 5 3 20 0 15 0 407206861 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691849531072 139691486392384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23785] ppid=23728 vsize=10846964 memory=856540 CPUtime=12.61 cores=0,2,4,6
/proc/23731/task/23785/stat : 23785 (java) S 23728 23731 20959 0 -1 1077944384 14932 13183 0 0 1197 56 5 3 20 0 15 0 407206862 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691881937680 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23786] ppid=23728 vsize=10846964 memory=856540 CPUtime=12.57 cores=0,2,4,6
/proc/23731/task/23786/stat : 23786 (java) S 23728 23731 20959 0 -1 1077944384 13980 13183 0 0 1200 49 5 3 20 0 15 0 407206862 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691800689552 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23787] ppid=23728 vsize=10846964 memory=856540 CPUtime=12.57 cores=0,2,4,6
/proc/23731/task/23787/stat : 23787 (java) S 23728 23731 20959 0 -1 1077944384 10856 13183 0 0 1199 50 5 3 20 0 15 0 407206862 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691799637008 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23788] ppid=23728 vsize=10846964 memory=856540 CPUtime=12.51 cores=0,2,4,6
/proc/23731/task/23788/stat : 23788 (java) S 23728 23731 20959 0 -1 1077944384 18551 13183 0 0 1190 53 5 3 20 0 15 0 407206862 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691448786064 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23789] ppid=23728 vsize=10846964 memory=856540 CPUtime=10 cores=0,2,4,6
/proc/23731/task/23789/stat : 23789 (java) S 23728 23731 20959 0 -1 1077944384 16377 13183 0 0 939 53 5 3 20 0 15 0 407206863 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691404343280 139691877706370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23790] ppid=23728 vsize=10846964 memory=856540 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23790/stat : 23790 (java) S 23728 23731 20959 0 -1 1077944384 19 13183 0 0 0 0 5 3 20 0 15 0 407206864 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691328267296 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23791] ppid=23728 vsize=10846964 memory=856540 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23791/stat : 23791 (java) S 23728 23731 20959 0 -1 1077944384 4 13183 0 0 0 0 5 3 20 0 15 0 407206864 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691194049536 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23792] ppid=23728 vsize=10846964 memory=856540 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23792/stat : 23792 (java) S 23728 23731 20959 0 -1 1077944384 2 13183 0 0 0 0 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139690388744400 139691877713819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23793] ppid=23728 vsize=10846964 memory=856540 CPUtime=8.65 cores=0,2,4,6
/proc/23731/task/23793/stat : 23793 (java) S 23728 23731 20959 0 -1 1077944384 50785 13183 0 0 849 8 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691403291120 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23794] ppid=23728 vsize=10846964 memory=856540 CPUtime=8.4 cores=0,2,4,6
/proc/23731/task/23794/stat : 23794 (java) S 23728 23731 20959 0 -1 1077944384 49702 13183 0 0 825 7 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691402238576 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23795] ppid=23728 vsize=10846964 memory=856540 CPUtime=5.09 cores=0,2,4,6
/proc/23731/task/23795/stat : 23795 (java) S 23728 23731 20959 0 -1 1077944384 49456 13183 0 0 492 9 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691401186032 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23796] ppid=23728 vsize=10846964 memory=856540 CPUtime=0.08 cores=0,2,4,6
/proc/23731/task/23796/stat : 23796 (java) S 23728 23731 20959 0 -1 1077944384 3 13183 0 0 0 0 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139690120309856 139691877705429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
[pid=23731/tid=23797] ppid=23728 vsize=10846964 memory=856540 CPUtime=1.45 cores=0,2,4,6
/proc/23731/task/23797/stat : 23797 (java) S 23728 23731 20959 0 -1 1077944384 1472 13183 0 0 65 72 5 3 20 0 15 0 407206867 11107291136 214135 33554432000 4194304 4196468 140731661346208 139691400132912 139691877706370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12627968 140731661347574 140731661350085 140731661350085 140731661352911 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 856540 KiB
Child status: 143
Real time (s): 2341.54
CPU time (s): 2400.11
CPU user time (s): 2396.65
CPU system time (s): 3.4598
CPU usage (%): 102.501
Max. virtual memory (cumulated for all children) (KiB): 10849704
Max. memory (cumulated for all children) (KiB): 910868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.65
system time used= 3.4598
maximum resident set size= 912916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305175
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 285413
involuntary context switches= 8325
# summary of solver processes directly reported to runsolver:
# pid: 23731
# total CPU time (s): 2400.11
# total CPU user time (s): 2396.65
# total CPU system time (s): 3.4598
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.048 second user time and 23.0552 second system time
The end