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 (13293 MiB free)
memory of node 1: 16384 MiB (14344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304826-1534155249/watcher-4304826-1534155249 -o /tmp/evaluation-result-4304826-1534155249/solver-4304826-1534155249 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534155249-12836 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1308680966 -superng HOME/instance-4304826-1534155249.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB
solver pid=12901, runsolver pid=12897
[startup+0.100024 s]*
/proc/loadavg: 1.03 1.26 1.35 4/207 12986
/proc/meminfo: memFree=28282036/32770624 swapFree=67108804/67108860
[pid=12901] ppid=12897 vsize=10005480 memory=18860 CPUtime=0.1 cores=1,3,5,7
/proc/12901/stat : 12901 (java) S 12897 12901 8955 0 -1 1077944320 4385 12954 0 0 1 1 5 3 20 0 6 0 233088054 10245611520 4715 33554432000 4194304 4196468 140733738940272 140733738922816 140552987934455 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
/proc/12901/statm: 2501370 4715 1934 1 0 2489808 0
[pid=12901/tid=12977] ppid=12897 vsize=10005480 memory=4279135703913235855 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12977/stat : 12977 (java) R 12897 12901 8955 0 -1 4202560 2195 12954 0 0 0 0 5 3 20 0 6 0 233088063 10245611520 4780 33554432000 4194304 4196468 140733738940272 140552959771216 140552973616981 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12979] ppid=12897 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12979/stat : 12979 (java) S 12897 12901 8955 0 -1 1077944384 1 12954 0 0 0 0 5 3 20 0 6 0 233088064 10245611520 4780 33554432000 4194304 4196468 140733738940272 140552992176656 140552987944661 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12980] ppid=12897 vsize=10005480 memory=140338173556352 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12980/stat : 12980 (java) S 12897 12901 8955 0 -1 1077944384 1 12954 0 0 0 0 5 3 20 0 6 0 233088064 10245611520 4780 33554432000 4194304 4196468 140733738940272 140552873441936 140552987944661 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12982] ppid=12897 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12982/stat : 12982 (java) S 12897 12901 8955 0 -1 1077944384 2 12954 0 0 0 0 5 3 20 0 6 0 233088064 10245611520 4780 33554432000 4194304 4196468 140733738940272 140552526551312 140552987944661 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12984] ppid=12897 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12984/stat : 12984 (java) S 12897 12901 8955 0 -1 1077944384 2 12954 0 0 0 0 5 3 20 0 6 0 233088064 10245611520 4780 33554432000 4194304 4196468 140733738940272 140552525498768 140552987944661 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18860 KiB
[startup+0.210047 s]*
/proc/loadavg: 1.03 1.26 1.35 3/217 12996
/proc/meminfo: memFree=28237988/32770624 swapFree=67108804/67108860
[pid=12901] ppid=12897 vsize=10982744 memory=44736 CPUtime=0.26 cores=1,3,5,7
/proc/12901/stat : 12901 (java) S 12897 12901 8955 0 -1 1077944320 7928 12954 0 0 17 1 5 3 20 0 15 0 233088054 11246329856 11184 33554432000 4194304 4196468 140733738940272 140733738922816 140552987934455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
/proc/12901/statm: 2745686 11184 2956 1 0 2708109 0
[pid=12901/tid=12977] ppid=12897 vsize=10985364 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/12901/task/12977/stat : 12977 (java) R 12897 12901 8955 0 -1 4202560 4771 12954 0 0 10 1 5 3 20 0 15 0 233088063 11249012736 11514 33554432000 4194304 4196468 140733738940272 140552959759264 140552980614173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12979] ppid=12897 vsize=10985364 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12979/stat : 12979 (java) S 12897 12901 8955 0 -1 1077944384 1 12954 0 0 0 0 5 3 20 0 15 0 233088064 11249012736 11514 33554432000 4194304 4196468 140733738940272 140552992176656 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12980] ppid=12897 vsize=10985364 memory=140338173556352 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12980/stat : 12980 (java) S 12897 12901 8955 0 -1 1077944384 1 12954 0 0 0 0 5 3 20 0 15 0 233088064 11249012736 11514 33554432000 4194304 4196468 140733738940272 140552873441936 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12982] ppid=12897 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12982/stat : 12982 (java) S 12897 12901 8955 0 -1 1077944384 2 12954 0 0 0 0 5 3 20 0 15 0 233088064 11249012736 11514 33554432000 4194304 4196468 140733738940272 140552526551312 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12984] ppid=12897 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12984/stat : 12984 (java) S 12897 12901 8955 0 -1 1077944384 2 12954 0 0 0 0 5 3 20 0 15 0 233088064 11249012736 11580 33554432000 4194304 4196468 140733738940272 140552525498768 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12988] ppid=12897 vsize=10985364 memory=140338173556352 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12988/stat : 12988 (java) S 12897 12901 8955 0 -1 1077944384 2 12954 0 0 0 0 5 3 20 0 15 0 233088065 11249012736 11580 33554432000 4194304 4196468 140733738940272 140552481057520 140552987945602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12989] ppid=12897 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12989/stat : 12989 (java) S 12897 12901 8955 0 -1 1077944384 13 12954 0 0 0 0 5 3 20 0 15 0 233088066 11249012736 11580 33554432000 4194304 4196468 140733738940272 140551798122144 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12990] ppid=12897 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12990/stat : 12990 (java) S 12897 12901 8955 0 -1 1077944384 1 12954 0 0 0 0 5 3 20 0 15 0 233088066 11249012736 11580 33554432000 4194304 4196468 140733738940272 140551596795120 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12991] ppid=12897 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12991/stat : 12991 (java) S 12897 12901 8955 0 -1 1077944384 3 12954 0 0 0 0 5 3 20 0 15 0 233088068 11249012736 11646 33554432000 4194304 4196468 140733738940272 140551289395664 140552987953051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12992] ppid=12897 vsize=10985364 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12901/task/12992/stat : 12992 (java) S 12897 12901 8955 0 -1 1077944384 418 12954 0 0 1 0 5 3 20 0 15 0 233088068 11249012736 11646 33554432000 4194304 4196468 140733738940272 140552480004336 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12993] ppid=12897 vsize=10985364 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/12901/task/12993/stat : 12993 (java) S 12897 12901 8955 0 -1 1077944384 188 12954 0 0 1 0 5 3 20 0 15 0 233088068 11249012736 11646 33554432000 4194304 4196468 140733738940272 140552478951792 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12994] ppid=12897 vsize=10985364 memory=140338173556352 CPUtime=0.11 cores=1,3,5,7
/proc/12901/task/12994/stat : 12994 (java) S 12897 12901 8955 0 -1 1077944384 620 12954 0 0 3 0 5 3 20 0 15 0 233088068 11249012736 11646 33554432000 4194304 4196468 140733738940272 140552477898736 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12995] ppid=12897 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12995/stat : 12995 (java) S 12897 12901 8955 0 -1 1077944384 3 12954 0 0 0 0 5 3 20 0 15 0 233088069 11249012736 11712 33554432000 4194304 4196468 140733738940272 140550858598752 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12996] ppid=12897 vsize=10985364 memory=140338173556352 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12996/stat : 12996 (java) S 12897 12901 8955 0 -1 1077944384 1 12954 0 0 0 0 5 3 20 0 15 0 233088069 11249012736 11712 33554432000 4194304 4196468 140733738940272 140552476847152 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44736 KiB
[startup+0.310332 s]*
/proc/loadavg: 1.03 1.26 1.35 3/217 12996
/proc/meminfo: memFree=28218700/32770624 swapFree=67108804/67108860
[pid=12901] ppid=12897 vsize=10983192 memory=55436 CPUtime=0.39 cores=1,3,5,7
/proc/12901/stat : 12901 (java) S 12897 12901 8955 0 -1 1077944320 10430 12954 0 0 28 3 5 3 20 0 15 0 233088054 11246788608 13859 33554432000 4194304 4196468 140733738940272 140733738922816 140552987934455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
/proc/12901/statm: 2745798 13859 3075 1 0 2708109 0
[pid=12901/tid=12977] ppid=12897 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/12901/task/12977/stat : 12977 (java) R 12897 12901 8955 0 -1 4202560 6982 12954 0 0 19 2 5 3 20 0 15 0 233088063 11246788608 13859 33554432000 4194304 4196468 140733738940272 140552959749416 140552987956381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12979] ppid=12897 vsize=10983192 memory=7157172338496131408 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12979/stat : 12979 (java) S 12897 12901 8955 0 -1 1077944384 1 12954 0 0 0 0 5 3 20 0 15 0 233088064 11246788608 13859 33554432000 4194304 4196468 140733738940272 140552992176656 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12980] ppid=12897 vsize=10983192 memory=6172 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12980/stat : 12980 (java) S 12897 12901 8955 0 -1 1077944384 1 12954 0 0 0 0 5 3 20 0 15 0 233088064 11246788608 13859 33554432000 4194304 4196468 140733738940272 140552873441936 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12982] ppid=12897 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12982/stat : 12982 (java) S 12897 12901 8955 0 -1 1077944384 2 12954 0 0 0 0 5 3 20 0 15 0 233088064 11246788608 13859 33554432000 4194304 4196468 140733738940272 140552526551312 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12984] ppid=12897 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12984/stat : 12984 (java) S 12897 12901 8955 0 -1 1077944384 2 12954 0 0 0 0 5 3 20 0 15 0 233088064 11246788608 13859 33554432000 4194304 4196468 140733738940272 140552525498768 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12988] ppid=12897 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12988/stat : 12988 (java) S 12897 12901 8955 0 -1 1077944384 2 12954 0 0 0 0 5 3 20 0 15 0 233088065 11246788608 13859 33554432000 4194304 4196468 140733738940272 140552481057520 140552987945602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12989] ppid=12897 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12989/stat : 12989 (java) S 12897 12901 8955 0 -1 1077944384 13 12954 0 0 0 0 5 3 20 0 15 0 233088066 11246788608 13859 33554432000 4194304 4196468 140733738940272 140551798122144 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12990] ppid=12897 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12990/stat : 12990 (java) S 12897 12901 8955 0 -1 1077944384 1 12954 0 0 0 0 5 3 20 0 15 0 233088066 11246788608 13859 33554432000 4194304 4196468 140733738940272 140551596795120 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12991] ppid=12897 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12991/stat : 12991 (java) S 12897 12901 8955 0 -1 1077944384 3 12954 0 0 0 0 5 3 20 0 15 0 233088068 11246788608 13859 33554432000 4194304 4196468 140733738940272 140551289395664 140552987953051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12992] ppid=12897 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12901/task/12992/stat : 12992 (java) S 12897 12901 8955 0 -1 1077944384 421 12954 0 0 1 0 5 3 20 0 15 0 233088068 11246788608 13859 33554432000 4194304 4196468 140733738940272 140552480004336 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12993] ppid=12897 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12901/task/12993/stat : 12993 (java) S 12897 12901 8955 0 -1 1077944384 188 12954 0 0 1 0 5 3 20 0 15 0 233088068 11246788608 13859 33554432000 4194304 4196468 140733738940272 140552478951792 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12994] ppid=12897 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/12901/task/12994/stat : 12994 (java) R 12897 12901 8955 0 -1 4202560 626 12954 0 0 5 0 5 3 20 0 15 0 233088068 11246788608 13859 33554432000 4194304 4196468 140733738940272 140552477898736 140552972115152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12995] ppid=12897 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12995/stat : 12995 (java) S 12897 12901 8955 0 -1 1077944384 3 12954 0 0 0 0 5 3 20 0 15 0 233088069 11246788608 13859 33554432000 4194304 4196468 140733738940272 140550858598752 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12996] ppid=12897 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12996/stat : 12996 (java) S 12897 12901 8955 0 -1 1077944384 1 12954 0 0 0 0 5 3 20 0 15 0 233088069 11246788608 13859 33554432000 4194304 4196468 140733738940272 140552476847152 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55436 KiB
[startup+0.700811 s]
/proc/loadavg: 1.03 1.26 1.35 4/217 12996
/proc/meminfo: memFree=28201580/32770624 swapFree=67108804/67108860
[pid=12901] ppid=12897 vsize=10983192 memory=88280 CPUtime=0.99 cores=1,3,5,7
/proc/12901/stat : 12901 (java) S 12897 12901 8955 0 -1 1077944320 16741 12954 0 0 86 5 5 3 20 0 15 0 233088054 11246788608 22070 33554432000 4194304 4196468 140733738940272 140733738922816 140552987934455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
/proc/12901/statm: 2745798 22070 3244 1 0 2708109 0
[pid=12901/tid=12977] ppid=12897 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/12901/task/12977/stat : 12977 (java) R 12897 12901 8955 0 -1 4202560 12221 12954 0 0 54 3 5 3 20 0 15 0 233088063 11246788608 22070 33554432000 4194304 4196468 140733738940272 140552959762336 140552969498051 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12979] ppid=12897 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12979/stat : 12979 (java) S 12897 12901 8955 0 -1 1077944384 1 12954 0 0 0 0 5 3 20 0 15 0 233088064 11246788608 22070 33554432000 4194304 4196468 140733738940272 140552992176656 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12980] ppid=12897 vsize=10983192 memory=3708 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12980/stat : 12980 (java) S 12897 12901 8955 0 -1 1077944384 1 12954 0 0 0 0 5 3 20 0 15 0 233088064 11246788608 22070 33554432000 4194304 4196468 140733738940272 140552873441936 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12982] ppid=12897 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12982/stat : 12982 (java) S 12897 12901 8955 0 -1 1077944384 2 12954 0 0 0 0 5 3 20 0 15 0 233088064 11246788608 22070 33554432000 4194304 4196468 140733738940272 140552526551312 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12984] ppid=12897 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12984/stat : 12984 (java) S 12897 12901 8955 0 -1 1077944384 2 12954 0 0 0 0 5 3 20 0 15 0 233088064 11246788608 22070 33554432000 4194304 4196468 140733738940272 140552525498768 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12988] ppid=12897 vsize=10983192 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12988/stat : 12988 (java) S 12897 12901 8955 0 -1 1077944384 5 12954 0 0 0 0 5 3 20 0 15 0 233088065 11246788608 22070 33554432000 4194304 4196468 140733738940272 140552481057520 140552987945602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12989] ppid=12897 vsize=10983192 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12989/stat : 12989 (java) S 12897 12901 8955 0 -1 1077944384 13 12954 0 0 0 0 5 3 20 0 15 0 233088066 11246788608 22070 33554432000 4194304 4196468 140733738940272 140551798122144 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12990] ppid=12897 vsize=10983192 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12990/stat : 12990 (java) S 12897 12901 8955 0 -1 1077944384 1 12954 0 0 0 0 5 3 20 0 15 0 233088066 11246788608 22070 33554432000 4194304 4196468 140733738940272 140551596795120 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12991] ppid=12897 vsize=10983192 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12991/stat : 12991 (java) S 12897 12901 8955 0 -1 1077944384 3 12954 0 0 0 0 5 3 20 0 15 0 233088068 11246788608 22070 33554432000 4194304 4196468 140733738940272 140551289395664 140552987953051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12992] ppid=12897 vsize=10983192 memory=13252 CPUtime=0.15 cores=1,3,5,7
/proc/12901/task/12992/stat : 12992 (java) S 12897 12901 8955 0 -1 1077944384 810 12954 0 0 7 0 5 3 20 0 15 0 233088068 11246788608 22070 33554432000 4194304 4196468 140733738940272 140552480004336 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12993] ppid=12897 vsize=10983192 memory=15460 CPUtime=0.17 cores=1,3,5,7
/proc/12901/task/12993/stat : 12993 (java) S 12897 12901 8955 0 -1 1077944384 773 12954 0 0 9 0 5 3 20 0 15 0 233088068 11246788608 22070 33554432000 4194304 4196468 140733738940272 140552478951792 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12994] ppid=12897 vsize=10983192 memory=17668 CPUtime=0.21 cores=1,3,5,7
/proc/12901/task/12994/stat : 12994 (java) S 12897 12901 8955 0 -1 1077944384 713 12954 0 0 13 0 5 3 20 0 15 0 233088068 11246788608 22070 33554432000 4194304 4196468 140733738940272 140552477898736 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12995] ppid=12897 vsize=10983192 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12995/stat : 12995 (java) S 12897 12901 8955 0 -1 1077944384 3 12954 0 0 0 0 5 3 20 0 15 0 233088069 11246788608 22070 33554432000 4194304 4196468 140733738940272 140550858598752 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12996] ppid=12897 vsize=10983192 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12996/stat : 12996 (java) S 12897 12901 8955 0 -1 1077944384 1 12954 0 0 0 0 5 3 20 0 15 0 233088069 11246788608 22070 33554432000 4194304 4196468 140733738940272 140552476847152 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88280 KiB
[startup+1.50099 s]
/proc/loadavg: 1.19 1.29 1.35 5/217 12996
/proc/meminfo: memFree=28111832/32770624 swapFree=67108804/67108860
[pid=12901] ppid=12897 vsize=10998092 memory=179656 CPUtime=2.29 cores=1,3,5,7
/proc/12901/stat : 12901 (java) S 12897 12901 8955 0 -1 1077944320 23974 12954 0 0 211 10 5 3 20 0 15 0 233088054 11262046208 44914 33554432000 4194304 4196468 140733738940272 140733738922816 140552987934455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
/proc/12901/statm: 2749523 44914 3468 1 0 2711181 0
[pid=12901/tid=12977] ppid=12897 vsize=10998092 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/12901/task/12977/stat : 12977 (java) R 12897 12901 8955 0 -1 4202560 17823 12954 0 0 128 6 5 3 20 0 15 0 233088063 11262046208 44914 33554432000 4194304 4196468 140733738940272 140552959745552 140552969497993 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12979] ppid=12897 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12901/task/12979/stat : 12979 (java) S 12897 12901 8955 0 -1 1077944384 19 12954 0 0 1 0 5 3 20 0 15 0 233088064 11262046208 44914 33554432000 4194304 4196468 140733738940272 140552992176656 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12980] ppid=12897 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12901/task/12980/stat : 12980 (java) S 12897 12901 8955 0 -1 1077944384 193 12954 0 0 1 0 5 3 20 0 15 0 233088064 11262046208 44914 33554432000 4194304 4196468 140733738940272 140552873441936 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12982] ppid=12897 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12901/task/12982/stat : 12982 (java) S 12897 12901 8955 0 -1 1077944384 55 12954 0 0 1 0 5 3 20 0 15 0 233088064 11262046208 44914 33554432000 4194304 4196468 140733738940272 140552526551312 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12984] ppid=12897 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12984/stat : 12984 (java) S 12897 12901 8955 0 -1 1077944384 38 12954 0 0 0 0 5 3 20 0 15 0 233088064 11262046208 44914 33554432000 4194304 4196468 140733738940272 140552525498768 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12988] ppid=12897 vsize=10998092 memory=1399103955520229747 CPUtime=0.09 cores=1,3,5,7
/proc/12901/task/12988/stat : 12988 (java) S 12897 12901 8955 0 -1 1077944384 65 12954 0 0 1 0 5 3 20 0 15 0 233088065 11262046208 44914 33554432000 4194304 4196468 140733738940272 140552481057520 140552987945602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12989] ppid=12897 vsize=10998092 memory=280676112869632 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12989/stat : 12989 (java) S 12897 12901 8955 0 -1 1077944384 14 12954 0 0 0 0 5 3 20 0 15 0 233088066 11262046208 44914 33554432000 4194304 4196468 140733738940272 140551798122208 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12990] ppid=12897 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12990/stat : 12990 (java) S 12897 12901 8955 0 -1 1077944384 2 12954 0 0 0 0 5 3 20 0 15 0 233088066 11262046208 44914 33554432000 4194304 4196468 140733738940272 140551596795120 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12991] ppid=12897 vsize=10998092 memory=1084 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12991/stat : 12991 (java) S 12897 12901 8955 0 -1 1077944384 3 12954 0 0 0 0 5 3 20 0 15 0 233088068 11262046208 44914 33554432000 4194304 4196468 140733738940272 140551289395664 140552987953051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12992] ppid=12897 vsize=10998092 memory=1600 CPUtime=0.3 cores=1,3,5,7
/proc/12901/task/12992/stat : 12992 (java) S 12897 12901 8955 0 -1 1077944384 1293 12954 0 0 22 0 5 3 20 0 15 0 233088068 11262046208 44914 33554432000 4194304 4196468 140733738940272 140552480004336 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12993] ppid=12897 vsize=10998092 memory=7952 CPUtime=0.28 cores=1,3,5,7
/proc/12901/task/12993/stat : 12993 (java) S 12897 12901 8955 0 -1 1077944384 954 12954 0 0 20 0 5 3 20 0 15 0 233088068 11262046208 44914 33554432000 4194304 4196468 140733738940272 140552478951792 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12994] ppid=12897 vsize=10998092 memory=4088 CPUtime=0.41 cores=1,3,5,7
/proc/12901/task/12994/stat : 12994 (java) S 12897 12901 8955 0 -1 1077944384 1319 12954 0 0 33 0 5 3 20 0 15 0 233088068 11262046208 44914 33554432000 4194304 4196468 140733738940272 140552477898736 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12995] ppid=12897 vsize=10998092 memory=1784 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12995/stat : 12995 (java) S 12897 12901 8955 0 -1 1077944384 3 12954 0 0 0 0 5 3 20 0 15 0 233088069 11262046208 44914 33554432000 4194304 4196468 140733738940272 140550858598752 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12996] ppid=12897 vsize=10998092 memory=1060 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12996/stat : 12996 (java) S 12897 12901 8955 0 -1 1077944384 1 12954 0 0 0 0 5 3 20 0 15 0 233088069 11262046208 44914 33554432000 4194304 4196468 140733738940272 140552476847152 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/12901/task/12977/stat : 12977 (java) R 12897 12901 8955 0 -1 4202560 85261 12954 0 0 236143 44 5 3 20 0 15 0 233088063 11345952768 212986 33554432000 4194304 4196468 140733738940272 140552959769088 140552567783025 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12979] ppid=12897 vsize=11080032 memory=851944 CPUtime=9.46 cores=1,3,5,7
/proc/12901/task/12979/stat : 12979 (java) S 12897 12901 8955 0 -1 1077944384 8810 12954 0 0 891 47 5 3 20 0 15 0 233088064 11345952768 212986 33554432000 4194304 4196468 140733738940272 140552992176656 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12980] ppid=12897 vsize=11080032 memory=851908 CPUtime=9.45 cores=1,3,5,7
/proc/12901/task/12980/stat : 12980 (java) S 12897 12901 8955 0 -1 1077944384 11525 12954 0 0 891 46 5 3 20 0 15 0 233088064 11345952768 212986 33554432000 4194304 4196468 140733738940272 140552873441936 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12982] ppid=12897 vsize=11080032 memory=851908 CPUtime=9.45 cores=1,3,5,7
/proc/12901/task/12982/stat : 12982 (java) S 12897 12901 8955 0 -1 1077944384 8950 12954 0 0 894 43 5 3 20 0 15 0 233088064 11345952768 212986 33554432000 4194304 4196468 140733738940272 140552526551312 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12984] ppid=12897 vsize=11080032 memory=851944 CPUtime=9.44 cores=1,3,5,7
/proc/12901/task/12984/stat : 12984 (java) S 12897 12901 8955 0 -1 1077944384 8180 12954 0 0 890 46 5 3 20 0 15 0 233088064 11345952768 212986 33554432000 4194304 4196468 140733738940272 140552525498768 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12988] ppid=12897 vsize=11080032 memory=851944 CPUtime=8.64 cores=1,3,5,7
/proc/12901/task/12988/stat : 12988 (java) S 12897 12901 8955 0 -1 1077944384 13315 12954 0 0 812 44 5 3 20 0 15 0 233088065 11345952768 212986 33554432000 4194304 4196468 140733738940272 140552481057520 140552987945602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12989] ppid=12897 vsize=11080032 memory=851944 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12989/stat : 12989 (java) S 12897 12901 8955 0 -1 1077944384 18 12954 0 0 0 0 5 3 20 0 15 0 233088066 11345952768 212986 33554432000 4194304 4196468 140733738940272 140551798122208 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12990] ppid=12897 vsize=11080032 memory=851944 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12990/stat : 12990 (java) S 12897 12901 8955 0 -1 1077944384 5 12954 0 0 0 0 5 3 20 0 15 0 233088066 11345952768 212986 33554432000 4194304 4196468 140733738940272 140551596795136 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12991] ppid=12897 vsize=11080032 memory=851944 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12991/stat : 12991 (java) S 12897 12901 8955 0 -1 1077944384 3 12954 0 0 0 0 5 3 20 0 15 0 233088068 11345952768 212986 33554432000 4194304 4196468 140733738940272 140551289395664 140552987953051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12992] ppid=12897 vsize=11080032 memory=851908 CPUtime=7.87 cores=1,3,5,7
/proc/12901/task/12992/stat : 12992 (java) S 12897 12901 8955 0 -1 1077944384 34285 12954 0 0 775 4 5 3 20 0 15 0 233088068 11345952768 212986 33554432000 4194304 4196468 140733738940272 140552480004336 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12993] ppid=12897 vsize=11080032 memory=851944 CPUtime=6.48 cores=1,3,5,7
/proc/12901/task/12993/stat : 12993 (java) S 12897 12901 8955 0 -1 1077944384 25252 12954 0 0 634 6 5 3 20 0 15 0 233088068 11345952768 212986 33554432000 4194304 4196468 140733738940272 140552478951792 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12994] ppid=12897 vsize=11080032 memory=1060 CPUtime=3.31 cores=1,3,5,7
/proc/12901/task/12994/stat : 12994 (java) S 12897 12901 8955 0 -1 1077944384 26749 12954 0 0 316 7 5 3 20 0 15 0 233088068 11345952768 212986 33554432000 4194304 4196468 140733738940272 140552477898736 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12995] ppid=12897 vsize=11080032 memory=851892 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12995/stat : 12995 (java) S 12897 12901 8955 0 -1 1077944384 3 12954 0 0 0 0 5 3 20 0 15 0 233088069 11345952768 212986 33554432000 4194304 4196468 140733738940272 140550858598752 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12996] ppid=12897 vsize=11080032 memory=851892 CPUtime=1.59 cores=1,3,5,7
/proc/12901/task/12996/stat : 12996 (java) S 12897 12901 8955 0 -1 1077944384 1465 12954 0 0 68 83 5 3 20 0 15 0 233088069 11345952768 212986 33554432000 4194304 4196468 140733738940272 140552476847152 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
Current children cumulated CPU time: 2427.03 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 851944 KiB
[startup+2442.3 s]
/proc/loadavg: 0.68 0.73 0.75 2/194 13248
/proc/meminfo: memFree=27492920/32770624 swapFree=67108804/67108860
[pid=12901] ppid=12897 vsize=11080032 memory=852012 CPUtime=2487.71 cores=1,3,5,7
/proc/12901/stat : 12901 (java) S 12897 12901 8955 0 -1 1077944320 226942 12954 0 0 248444 319 5 3 20 0 15 0 233088054 11345952768 213003 33554432000 4194304 4196468 140733738940272 140733738922816 140552987934455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
/proc/12901/statm: 2770008 213003 3528 1 0 2731661 0
[pid=12901/tid=12977] ppid=12897 vsize=11080032 memory=852012 CPUtime=2421.47 cores=1,3,5,7
/proc/12901/task/12977/stat : 12977 (java) R 12897 12901 8955 0 -1 4202560 85724 12954 0 0 242095 44 5 3 20 0 15 0 233088063 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552959769248 140552569670032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12979] ppid=12897 vsize=11080032 memory=851944 CPUtime=9.68 cores=1,3,5,7
/proc/12901/task/12979/stat : 12979 (java) S 12897 12901 8955 0 -1 1077944384 8826 12954 0 0 913 47 5 3 20 0 15 0 233088064 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552992176656 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12980] ppid=12897 vsize=11080032 memory=851944 CPUtime=9.67 cores=1,3,5,7
/proc/12901/task/12980/stat : 12980 (java) S 12897 12901 8955 0 -1 1077944384 11588 12954 0 0 913 46 5 3 20 0 15 0 233088064 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552873441936 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12982] ppid=12897 vsize=11080032 memory=851944 CPUtime=9.68 cores=1,3,5,7
/proc/12901/task/12982/stat : 12982 (java) S 12897 12901 8955 0 -1 1077944384 9001 12954 0 0 916 44 5 3 20 0 15 0 233088064 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552526551312 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12984] ppid=12897 vsize=11080032 memory=851992 CPUtime=9.66 cores=1,3,5,7
/proc/12901/task/12984/stat : 12984 (java) S 12897 12901 8955 0 -1 1077944384 8278 12954 0 0 912 46 5 3 20 0 15 0 233088064 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552525498768 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12988] ppid=12897 vsize=11080032 memory=851992 CPUtime=8.84 cores=1,3,5,7
/proc/12901/task/12988/stat : 12988 (java) S 12897 12901 8955 0 -1 1077944384 13531 12954 0 0 831 45 5 3 20 0 15 0 233088065 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552481057520 140552987945602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12989] ppid=12897 vsize=11080032 memory=851992 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12989/stat : 12989 (java) S 12897 12901 8955 0 -1 1077944384 18 12954 0 0 0 0 5 3 20 0 15 0 233088066 11345952768 213003 33554432000 4194304 4196468 140733738940272 140551798122208 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12990] ppid=12897 vsize=11080032 memory=851992 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12990/stat : 12990 (java) S 12897 12901 8955 0 -1 1077944384 5 12954 0 0 0 0 5 3 20 0 15 0 233088066 11345952768 213003 33554432000 4194304 4196468 140733738940272 140551596795136 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12991] ppid=12897 vsize=11080032 memory=852012 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12991/stat : 12991 (java) S 12897 12901 8955 0 -1 1077944384 3 12954 0 0 0 0 5 3 20 0 15 0 233088068 11345952768 213003 33554432000 4194304 4196468 140733738940272 140551289395664 140552987953051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12992] ppid=12897 vsize=11080032 memory=852012 CPUtime=7.87 cores=1,3,5,7
/proc/12901/task/12992/stat : 12992 (java) S 12897 12901 8955 0 -1 1077944384 34287 12954 0 0 775 4 5 3 20 0 15 0 233088068 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552480004336 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12993] ppid=12897 vsize=11080032 memory=852012 CPUtime=6.48 cores=1,3,5,7
/proc/12901/task/12993/stat : 12993 (java) S 12897 12901 8955 0 -1 1077944384 25254 12954 0 0 634 6 5 3 20 0 15 0 233088068 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552478951792 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12994] ppid=12897 vsize=11080032 memory=3708 CPUtime=3.31 cores=1,3,5,7
/proc/12901/task/12994/stat : 12994 (java) S 12897 12901 8955 0 -1 1077944384 26751 12954 0 0 316 7 5 3 20 0 15 0 233088068 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552477898736 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12995] ppid=12897 vsize=11080032 memory=852012 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12995/stat : 12995 (java) S 12897 12901 8955 0 -1 1077944384 3 12954 0 0 0 0 5 3 20 0 15 0 233088069 11345952768 213003 33554432000 4194304 4196468 140733738940272 140550858598752 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12996] ppid=12897 vsize=11080032 memory=852012 CPUtime=1.63 cores=1,3,5,7
/proc/12901/task/12996/stat : 12996 (java) S 12897 12901 8955 0 -1 1077944384 1481 12954 0 0 69 86 5 3 20 0 15 0 233088069 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552476847152 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
Current children cumulated CPU time: 2487.71 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 852012 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.3 s]
/proc/loadavg: 0.60 0.71 0.74 2/194 13249
/proc/meminfo: memFree=27493128/32770624 swapFree=67108804/67108860
[pid=12901] ppid=12897 vsize=11080032 memory=852012 CPUtime=2520.09 cores=1,3,5,7
/proc/12901/stat : 12901 (java) S 12897 12901 8955 0 -1 1077944320 227178 12954 0 0 251679 322 5 3 20 0 15 0 233088054 11345952768 213003 33554432000 4194304 4196468 140733738940272 140733738922816 140552987934455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
/proc/12901/statm: 2770008 213003 3528 1 0 2731661 0
[pid=12901/tid=12977] ppid=12897 vsize=11080032 memory=852012 CPUtime=2453.22 cores=1,3,5,7
/proc/12901/task/12977/stat : 12977 (java) R 12897 12901 8955 0 -1 4202560 85937 12954 0 0 245269 45 5 3 20 0 15 0 233088063 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552959770080 140552567853076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12979] ppid=12897 vsize=11080032 memory=852012 CPUtime=9.82 cores=1,3,5,7
/proc/12901/task/12979/stat : 12979 (java) S 12897 12901 8955 0 -1 1077944384 8830 12954 0 0 926 48 5 3 20 0 15 0 233088064 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552992176656 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12980] ppid=12897 vsize=11080032 memory=852012 CPUtime=9.8 cores=1,3,5,7
/proc/12901/task/12980/stat : 12980 (java) S 12897 12901 8955 0 -1 1077944384 11592 12954 0 0 925 47 5 3 20 0 15 0 233088064 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552873441936 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12982] ppid=12897 vsize=11080032 memory=852012 CPUtime=9.8 cores=1,3,5,7
/proc/12901/task/12982/stat : 12982 (java) S 12897 12901 8955 0 -1 1077944384 9004 12954 0 0 928 44 5 3 20 0 15 0 233088064 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552526551312 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12984] ppid=12897 vsize=11080032 memory=852012 CPUtime=9.8 cores=1,3,5,7
/proc/12901/task/12984/stat : 12984 (java) S 12897 12901 8955 0 -1 1077944384 8280 12954 0 0 925 47 5 3 20 0 15 0 233088064 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552525498768 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12988] ppid=12897 vsize=11080032 memory=852012 CPUtime=8.95 cores=1,3,5,7
/proc/12901/task/12988/stat : 12988 (java) S 12897 12901 8955 0 -1 1077944384 13539 12954 0 0 841 46 5 3 20 0 15 0 233088065 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552481057520 140552987945602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12989] ppid=12897 vsize=11080032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12989/stat : 12989 (java) S 12897 12901 8955 0 -1 1077944384 18 12954 0 0 0 0 5 3 20 0 15 0 233088066 11345952768 213003 33554432000 4194304 4196468 140733738940272 140551798122208 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12990] ppid=12897 vsize=11080032 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12990/stat : 12990 (java) S 12897 12901 8955 0 -1 1077944384 5 12954 0 0 0 0 5 3 20 0 15 0 233088066 11345952768 213003 33554432000 4194304 4196468 140733738940272 140551596795136 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12991] ppid=12897 vsize=11080032 memory=1084 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12991/stat : 12991 (java) S 12897 12901 8955 0 -1 1077944384 3 12954 0 0 0 0 5 3 20 0 15 0 233088068 11345952768 213003 33554432000 4194304 4196468 140733738940272 140551289395664 140552987953051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12992] ppid=12897 vsize=11080032 memory=852012 CPUtime=7.87 cores=1,3,5,7
/proc/12901/task/12992/stat : 12992 (java) S 12897 12901 8955 0 -1 1077944384 34287 12954 0 0 775 4 5 3 20 0 15 0 233088068 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552480004336 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12993] ppid=12897 vsize=11080032 memory=496 CPUtime=6.48 cores=1,3,5,7
/proc/12901/task/12993/stat : 12993 (java) S 12897 12901 8955 0 -1 1077944384 25254 12954 0 0 634 6 5 3 20 0 15 0 233088068 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552478951792 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12994] ppid=12897 vsize=11080032 memory=852012 CPUtime=3.31 cores=1,3,5,7
/proc/12901/task/12994/stat : 12994 (java) S 12897 12901 8955 0 -1 1077944384 26751 12954 0 0 316 7 5 3 20 0 15 0 233088068 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552477898736 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12995] ppid=12897 vsize=11080032 memory=2080 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12995/stat : 12995 (java) S 12897 12901 8955 0 -1 1077944384 3 12954 0 0 0 0 5 3 20 0 15 0 233088069 11345952768 213003 33554432000 4194304 4196468 140733738940272 140550858598752 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12996] ppid=12897 vsize=11080032 memory=852012 CPUtime=1.65 cores=1,3,5,7
/proc/12901/task/12996/stat : 12996 (java) S 12897 12901 8955 0 -1 1077944384 1483 12954 0 0 70 87 5 3 20 0 15 0 233088069 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552476847152 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 852012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.33 s]
# the end of solver process 12901 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.86 s, system=3.27105 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.3 s]
/proc/loadavg: 0.60 0.71 0.74 2/194 13249
/proc/meminfo: memFree=27493128/32770624 swapFree=67108804/67108860
[pid=12901] ppid=12897 vsize=11080032 memory=852012 CPUtime=2520.09 cores=1,3,5,7
/proc/12901/stat : 12901 (java) S 12897 12901 8955 0 -1 1077944320 227178 12954 0 0 251679 322 5 3 20 0 15 0 233088054 11345952768 213003 33554432000 4194304 4196468 140733738940272 140733738922816 140552987934455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
/proc/12901/statm: 2770008 213003 3528 1 0 2731661 0
[pid=12901/tid=12977] ppid=12897 vsize=11080032 memory=852012 CPUtime=2453.22 cores=1,3,5,7
/proc/12901/task/12977/stat : 12977 (java) R 12897 12901 8955 0 -1 4202560 85937 12954 0 0 245269 45 5 3 20 0 15 0 233088063 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552959770080 140552567853076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12979] ppid=12897 vsize=11080032 memory=852012 CPUtime=9.82 cores=1,3,5,7
/proc/12901/task/12979/stat : 12979 (java) S 12897 12901 8955 0 -1 1077944384 8830 12954 0 0 926 48 5 3 20 0 15 0 233088064 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552992176656 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12980] ppid=12897 vsize=11080032 memory=852012 CPUtime=9.8 cores=1,3,5,7
/proc/12901/task/12980/stat : 12980 (java) S 12897 12901 8955 0 -1 1077944384 11592 12954 0 0 925 47 5 3 20 0 15 0 233088064 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552873441936 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12982] ppid=12897 vsize=11080032 memory=852012 CPUtime=9.8 cores=1,3,5,7
/proc/12901/task/12982/stat : 12982 (java) S 12897 12901 8955 0 -1 1077944384 9004 12954 0 0 928 44 5 3 20 0 15 0 233088064 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552526551312 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12984] ppid=12897 vsize=11080032 memory=852012 CPUtime=9.8 cores=1,3,5,7
/proc/12901/task/12984/stat : 12984 (java) S 12897 12901 8955 0 -1 1077944384 8280 12954 0 0 925 47 5 3 20 0 15 0 233088064 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552525498768 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12988] ppid=12897 vsize=11080032 memory=852012 CPUtime=8.95 cores=1,3,5,7
/proc/12901/task/12988/stat : 12988 (java) S 12897 12901 8955 0 -1 1077944384 13539 12954 0 0 841 46 5 3 20 0 15 0 233088065 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552481057520 140552987945602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12989] ppid=12897 vsize=11080032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12989/stat : 12989 (java) S 12897 12901 8955 0 -1 1077944384 18 12954 0 0 0 0 5 3 20 0 15 0 233088066 11345952768 213003 33554432000 4194304 4196468 140733738940272 140551798122208 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12990] ppid=12897 vsize=11080032 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12990/stat : 12990 (java) S 12897 12901 8955 0 -1 1077944384 5 12954 0 0 0 0 5 3 20 0 15 0 233088066 11345952768 213003 33554432000 4194304 4196468 140733738940272 140551596795136 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12991] ppid=12897 vsize=11080032 memory=1084 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12991/stat : 12991 (java) S 12897 12901 8955 0 -1 1077944384 3 12954 0 0 0 0 5 3 20 0 15 0 233088068 11345952768 213003 33554432000 4194304 4196468 140733738940272 140551289395664 140552987953051 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12992] ppid=12897 vsize=11080032 memory=852012 CPUtime=7.87 cores=1,3,5,7
/proc/12901/task/12992/stat : 12992 (java) S 12897 12901 8955 0 -1 1077944384 34287 12954 0 0 775 4 5 3 20 0 15 0 233088068 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552480004336 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12993] ppid=12897 vsize=11080032 memory=496 CPUtime=6.48 cores=1,3,5,7
/proc/12901/task/12993/stat : 12993 (java) S 12897 12901 8955 0 -1 1077944384 25254 12954 0 0 634 6 5 3 20 0 15 0 233088068 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552478951792 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12994] ppid=12897 vsize=11080032 memory=852012 CPUtime=3.31 cores=1,3,5,7
/proc/12901/task/12994/stat : 12994 (java) S 12897 12901 8955 0 -1 1077944384 26751 12954 0 0 316 7 5 3 20 0 15 0 233088068 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552477898736 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12995] ppid=12897 vsize=11080032 memory=2080 CPUtime=0.08 cores=1,3,5,7
/proc/12901/task/12995/stat : 12995 (java) S 12897 12901 8955 0 -1 1077944384 3 12954 0 0 0 0 5 3 20 0 15 0 233088069 11345952768 213003 33554432000 4194304 4196468 140733738940272 140550858598752 140552987944661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
[pid=12901/tid=12996] ppid=12897 vsize=11080032 memory=852012 CPUtime=1.65 cores=1,3,5,7
/proc/12901/task/12996/stat : 12996 (java) S 12897 12901 8955 0 -1 1077944384 1483 12954 0 0 70 87 5 3 20 0 15 0 233088069 11345952768 213003 33554432000 4194304 4196468 140733738940272 140552476847152 140552987945602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140733738945123 140733738947932 140733738947932 140733738950607 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 852012 KiB
Child status: 143
Real time (s): 2474.33
CPU time (s): 2520.13
CPU user time (s): 2516.86
CPU system time (s): 3.27105
CPU usage (%): 101.851
Max. virtual memory (cumulated for all children) (KiB): 11082904
Max. memory (cumulated for all children) (KiB): 856704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.86
system time used= 3.27105
maximum resident set size= 858752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240707
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 246051
involuntary context switches= 6010
# summary of solver processes directly reported to runsolver:
# pid: 12901
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.86
# total CPU system time (s): 3.27105
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4039 second user time and 22.3329 second system time
The end