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 (236 MiB free)
memory of node 1: 16384 MiB (9339 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290087-1532273280/watcher-4290087-1532273280 -o /tmp/evaluation-result-4290087-1532273280/solver-4290087-1532273280 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532261164-3783 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290087-1532273280.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5977, runsolver pid=5974
[startup+0.100156 s]*
/proc/loadavg: 2.03 2.10 2.13 3/216 5992
/proc/meminfo: memFree=9787120/32770624 swapFree=67108860/67108860
[pid=5977] ppid=5974 vsize=10659012 memory=30856 CPUtime=0.13 cores=1,3,5,7
/proc/5977/stat : 5977 (java) S 5974 5977 3751 0 -1 1077944320 6780 0 0 0 12 1 0 0 20 0 15 0 44890880 10914828288 7714 33554432000 4194304 4196468 140727223051680 140727223034224 140000694451959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
/proc/5977/statm: 2664753 7714 2815 1 0 2627263 0
[pid=5977/tid=5979] ppid=5974 vsize=10659012 memory=-8968736661934273728 CPUtime=0.08 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (java) R 5974 5977 3751 0 -1 4202560 4617 0 0 0 8 0 0 0 20 0 15 0 44890881 10914828288 7714 33554432000 4194304 4196468 140727223051680 140000698665952 140000694463894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5980] ppid=5974 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5980/stat : 5980 (java) S 5974 5977 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44890881 10914828288 7714 33554432000 4194304 4196468 140727223051680 140000636455952 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5981] ppid=5974 vsize=10659012 memory=140374494713472 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5981/stat : 5981 (java) S 5974 5977 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44890881 10914828288 7714 33554432000 4194304 4196468 140727223051680 140000635403408 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5982] ppid=5974 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5982/stat : 5982 (java) S 5974 5977 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44890881 10914828288 7714 33554432000 4194304 4196468 140727223051680 140000634350352 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5983] ppid=5974 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5983/stat : 5983 (java) S 5974 5977 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44890881 10914828288 7714 33554432000 4194304 4196468 140727223051680 140000298326928 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5984] ppid=5974 vsize=10659012 memory=140374494713472 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5984/stat : 5984 (java) S 5974 5977 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44890883 10914828288 7714 33554432000 4194304 4196468 140727223051680 140000254052592 140000694463106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5985] ppid=5974 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5985/stat : 5985 (java) S 5974 5977 3751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44890883 10914828288 7714 33554432000 4194304 4196468 140727223051680 140000252998816 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5986] ppid=5974 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5986/stat : 5986 (java) S 5974 5977 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44890883 10914828288 7714 33554432000 4194304 4196468 140727223051680 140000251945712 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5987] ppid=5974 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5987/stat : 5987 (java) S 5974 5977 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44890886 10914828288 7714 33554432000 4194304 4196468 140727223051680 140000250894288 140000694470555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5988] ppid=5974 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5988/stat : 5988 (java) S 5974 5977 3751 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 15 0 44890886 10914828288 7714 33554432000 4194304 4196468 140727223051680 140000249842416 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5989] ppid=5974 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5989/stat : 5989 (java) S 5974 5977 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44890886 10914828288 7714 33554432000 4194304 4196468 140727223051680 140000248789872 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5990] ppid=5974 vsize=10659012 memory=140374494713472 CPUtime=0.02 cores=1,3,5,7
/proc/5977/task/5990/stat : 5990 (java) S 5974 5977 3751 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 15 0 44890886 10914828288 7714 33554432000 4194304 4196468 140727223051680 140000247736816 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5991] ppid=5974 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5991/stat : 5991 (java) S 5974 5977 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44890886 10914828288 7714 33554432000 4194304 4196468 140727223051680 140000246684512 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5992] ppid=5974 vsize=10659012 memory=140374494713472 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5992/stat : 5992 (java) S 5974 5977 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44890886 10914828288 7714 33554432000 4194304 4196468 140727223051680 140000245631536 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30856 KiB
[startup+0.210647 s]*
/proc/loadavg: 2.03 2.10 2.13 4/216 5992
/proc/meminfo: memFree=9776552/32770624 swapFree=67108860/67108860
[pid=5977] ppid=5974 vsize=10659012 memory=41856 CPUtime=0.33 cores=1,3,5,7
/proc/5977/stat : 5977 (java) S 5974 5977 3751 0 -1 1077944320 8074 0 0 0 32 1 0 0 20 0 15 0 44890880 10914828288 10464 33554432000 4194304 4196468 140727223051680 140727223034224 140000694451959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
/proc/5977/statm: 2664753 10464 3004 1 0 2627263 0
[pid=5977/tid=5979] ppid=5974 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (java) R 5974 5977 3751 0 -1 4202560 5030 0 0 0 19 1 0 0 20 0 15 0 44890881 10914828288 10464 33554432000 4194304 4196468 140727223051680 140000698686208 140000694463894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5980] ppid=5974 vsize=10659012 memory=342 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5980/stat : 5980 (java) S 5974 5977 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44890881 10914828288 10464 33554432000 4194304 4196468 140727223051680 140000636455952 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5981] ppid=5974 vsize=10659012 memory=140374494737055 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5981/stat : 5981 (java) S 5974 5977 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44890881 10914828288 10464 33554432000 4194304 4196468 140727223051680 140000635403408 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5982] ppid=5974 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5982/stat : 5982 (java) S 5974 5977 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44890881 10914828288 10464 33554432000 4194304 4196468 140727223051680 140000634350352 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5983] ppid=5974 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5983/stat : 5983 (java) S 5974 5977 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44890881 10914828288 10464 33554432000 4194304 4196468 140727223051680 140000298326928 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5984] ppid=5974 vsize=10659012 memory=140374494713472 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5984/stat : 5984 (java) S 5974 5977 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44890883 10914828288 10464 33554432000 4194304 4196468 140727223051680 140000254052592 140000694463106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5985] ppid=5974 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5985/stat : 5985 (java) S 5974 5977 3751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44890883 10914828288 10464 33554432000 4194304 4196468 140727223051680 140000252998816 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5986] ppid=5974 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5986/stat : 5986 (java) S 5974 5977 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44890883 10914828288 10464 33554432000 4194304 4196468 140727223051680 140000251945712 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5987] ppid=5974 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5987/stat : 5987 (java) S 5974 5977 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44890886 10914828288 10464 33554432000 4194304 4196468 140727223051680 140000250894288 140000694470555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5988] ppid=5974 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5977/task/5988/stat : 5988 (java) S 5974 5977 3751 0 -1 1077944384 643 0 0 0 2 0 0 0 20 0 15 0 44890886 10914828288 10464 33554432000 4194304 4196468 140727223051680 140000249842416 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5989] ppid=5974 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5977/task/5989/stat : 5989 (java) S 5974 5977 3751 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 15 0 44890886 10914828288 10464 33554432000 4194304 4196468 140727223051680 140000248789872 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5990] ppid=5974 vsize=10659012 memory=140374494713472 CPUtime=0.07 cores=1,3,5,7
/proc/5977/task/5990/stat : 5990 (java) R 5974 5977 3751 0 -1 4202560 702 0 0 0 7 0 0 0 20 0 15 0 44890886 10914828288 10464 33554432000 4194304 4196468 140727223051680 140000247736816 140000686689086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5991] ppid=5974 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5991/stat : 5991 (java) S 5974 5977 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44890886 10914828288 10464 33554432000 4194304 4196468 140727223051680 140000246684512 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5992] ppid=5974 vsize=10659012 memory=140374494713472 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5992/stat : 5992 (java) S 5974 5977 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44890886 10914828288 10464 33554432000 4194304 4196468 140727223051680 140000245631536 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41856 KiB
[startup+0.316089 s]*
/proc/loadavg: 2.03 2.10 2.13 6/216 5992
/proc/meminfo: memFree=9767256/32770624 swapFree=67108860/67108860
[pid=5977] ppid=5974 vsize=10659088 memory=49436 CPUtime=0.57 cores=1,3,5,7
/proc/5977/stat : 5977 (java) S 5974 5977 3751 0 -1 1077944320 9489 0 0 0 55 2 0 0 20 0 15 0 44890880 10914906112 12359 33554432000 4194304 4196468 140727223051680 140727223034224 140000694451959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
/proc/5977/statm: 2664772 12359 3063 1 0 2627263 0
[pid=5977/tid=5979] ppid=5974 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (java) R 5974 5977 3751 0 -1 4202560 5625 0 0 0 29 1 0 0 20 0 15 0 44890881 10914906112 12359 33554432000 4194304 4196468 140727223051680 140000698685408 140000694463894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5980] ppid=5974 vsize=10659088 memory=4294979916 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5980/stat : 5980 (java) S 5974 5977 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44890881 10914906112 12359 33554432000 4194304 4196468 140727223051680 140000636455952 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5981] ppid=5974 vsize=10659088 memory=140374494797561 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5981/stat : 5981 (java) S 5974 5977 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44890881 10914906112 12359 33554432000 4194304 4196468 140727223051680 140000635403408 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5982] ppid=5974 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5982/stat : 5982 (java) S 5974 5977 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44890881 10914906112 12359 33554432000 4194304 4196468 140727223051680 140000634350352 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5983] ppid=5974 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5983/stat : 5983 (java) S 5974 5977 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44890881 10914906112 12359 33554432000 4194304 4196468 140727223051680 140000298326928 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5984] ppid=5974 vsize=10659088 memory=140374494713472 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5984/stat : 5984 (java) S 5974 5977 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44890883 10914906112 12359 33554432000 4194304 4196468 140727223051680 140000254052592 140000694463106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5985] ppid=5974 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5985/stat : 5985 (java) S 5974 5977 3751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44890883 10914906112 12359 33554432000 4194304 4196468 140727223051680 140000252998816 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5986] ppid=5974 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5986/stat : 5986 (java) S 5974 5977 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44890883 10914906112 12359 33554432000 4194304 4196468 140727223051680 140000251945712 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5987] ppid=5974 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5987/stat : 5987 (java) S 5974 5977 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44890886 10914906112 12359 33554432000 4194304 4196468 140727223051680 140000250894288 140000694470555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5988] ppid=5974 vsize=10659088 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5977/task/5988/stat : 5988 (java) S 5974 5977 3751 0 -1 1077944384 907 0 0 0 7 0 0 0 20 0 15 0 44890886 10914906112 12359 33554432000 4194304 4196468 140727223051680 140000249842416 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5989] ppid=5974 vsize=10659088 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/5977/task/5989/stat : 5989 (java) S 5974 5977 3751 0 -1 1077944384 657 0 0 0 5 0 0 0 20 0 15 0 44890886 10914906112 12359 33554432000 4194304 4196468 140727223051680 140000248789872 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5990] ppid=5974 vsize=10659088 memory=140374494713472 CPUtime=0.13 cores=1,3,5,7
/proc/5977/task/5990/stat : 5990 (java) R 5974 5977 3751 0 -1 4202560 939 0 0 0 13 0 0 0 20 0 15 0 44890886 10914906112 12359 33554432000 4194304 4196468 140727223051680 140000247733752 140000674166756 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5991] ppid=5974 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5991/stat : 5991 (java) S 5974 5977 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44890886 10914906112 12359 33554432000 4194304 4196468 140727223051680 140000246684512 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5992] ppid=5974 vsize=10659088 memory=140374494713472 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5992/stat : 5992 (java) S 5974 5977 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44890886 10914906112 12359 33554432000 4194304 4196468 140727223051680 140000245631536 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 49436 KiB
[startup+0.700826 s]
/proc/loadavg: 2.03 2.10 2.13 5/216 5992
/proc/meminfo: memFree=9727736/32770624 swapFree=67108860/67108860
[pid=5977] ppid=5974 vsize=10659088 memory=139924 CPUtime=1.78 cores=1,3,5,7
/proc/5977/stat : 5977 (java) S 5974 5977 3751 0 -1 1077944320 11237 0 0 0 174 4 0 0 20 0 15 0 44890880 10914906112 34981 33554432000 4194304 4196468 140727223051680 140727223034224 140000694451959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
/proc/5977/statm: 2664772 34981 3104 1 0 2627263 0
[pid=5977/tid=5979] ppid=5974 vsize=10659088 memory=18460 CPUtime=0.67 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (java) R 5974 5977 3751 0 -1 4202560 5948 0 0 0 65 2 0 0 20 0 15 0 44890881 10914906112 34981 33554432000 4194304 4196468 140727223051680 140000698687696 140000317596906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5980] ppid=5974 vsize=10659088 memory=10188 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5980/stat : 5980 (java) S 5974 5977 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44890881 10914906112 34981 33554432000 4194304 4196468 140727223051680 140000636455952 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5981] ppid=5974 vsize=10659088 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5981/stat : 5981 (java) S 5974 5977 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44890881 10914906112 34981 33554432000 4194304 4196468 140727223051680 140000635403408 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5982] ppid=5974 vsize=10659088 memory=644 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5982/stat : 5982 (java) S 5974 5977 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44890881 10914906112 34981 33554432000 4194304 4196468 140727223051680 140000634350352 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5983] ppid=5974 vsize=10659088 memory=952 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5983/stat : 5983 (java) S 5974 5977 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44890881 10914906112 34981 33554432000 4194304 4196468 140727223051680 140000298326928 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5984] ppid=5974 vsize=10659088 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5984/stat : 5984 (java) S 5974 5977 3751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44890883 10914906112 34981 33554432000 4194304 4196468 140727223051680 140000254052592 140000694463106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5985] ppid=5974 vsize=10659088 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5985/stat : 5985 (java) S 5974 5977 3751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44890883 10914906112 34981 33554432000 4194304 4196468 140727223051680 140000252998816 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5986] ppid=5974 vsize=10659088 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5986/stat : 5986 (java) S 5974 5977 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44890883 10914906112 34981 33554432000 4194304 4196468 140727223051680 140000251945712 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5987] ppid=5974 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5987/stat : 5987 (java) S 5974 5977 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44890886 10914906112 34981 33554432000 4194304 4196468 140727223051680 140000250894288 140000694470555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5988] ppid=5974 vsize=10659088 memory=6081105704601809001 CPUtime=0.41 cores=1,3,5,7
/proc/5977/task/5988/stat : 5988 (java) S 5974 5977 3751 0 -1 1077944384 1537 0 0 0 41 0 0 0 20 0 15 0 44890886 10914906112 34981 33554432000 4194304 4196468 140727223051680 140000249842416 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5989] ppid=5974 vsize=10659088 memory=6148935659200796009 CPUtime=0.39 cores=1,3,5,7
/proc/5977/task/5989/stat : 5989 (java) S 5974 5977 3751 0 -1 1077944384 1056 0 0 0 39 0 0 0 20 0 15 0 44890886 10914906112 34981 33554432000 4194304 4196468 140727223051680 140000248789872 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5990] ppid=5974 vsize=10659088 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/5977/task/5990/stat : 5990 (java) S 5974 5977 3751 0 -1 1077944384 1326 0 0 0 26 0 0 0 20 0 15 0 44890886 10914906112 34981 33554432000 4194304 4196468 140727223051680 140000247736816 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5991] ppid=5974 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5991/stat : 5991 (java) S 5974 5977 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44890886 10914906112 34981 33554432000 4194304 4196468 140727223051680 140000246684512 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5992] ppid=5974 vsize=10659088 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5992/stat : 5992 (java) S 5974 5977 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44890886 10914906112 34981 33554432000 4194304 4196468 140727223051680 140000245631536 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 139924 KiB
[startup+1.50114 s]
/proc/loadavg: 2.19 2.13 2.14 5/216 5992
/proc/meminfo: memFree=9600500/32770624 swapFree=67108860/67108860
[pid=5977] ppid=5974 vsize=10661188 memory=272824 CPUtime=4.16 cores=1,3,5,7
/proc/5977/stat : 5977 (java) S 5974 5977 3751 0 -1 1077944320 19040 0 0 0 404 12 0 0 20 0 15 0 44890880 10917056512 68206 33554432000 4194304 4196468 140727223051680 140727223034224 140000694451959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
/proc/5977/statm: 2665297 68206 3142 1 0 2627788 0
[pid=5977/tid=5979] ppid=5974 vsize=10661188 memory=263692 CPUtime=1.38 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (java) R 5974 5977 3751 0 -1 4202560 6032 0 0 0 135 3 0 0 20 0 15 0 44890881 10917056512 68206 33554432000 4194304 4196468 140727223051680 140000698680856 140000317596894 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5980] ppid=5974 vsize=10661188 memory=8112282956445269571 CPUtime=0.05 cores=1,3,5,7
/proc/5977/task/5980/stat : 5980 (java) S 5974 5977 3751 0 -1 1077944384 112 0 0 0 4 1 0 0 20 0 15 0 44890881 10917056512 68206 33554432000 4194304 4196468 140727223051680 140000636455952 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5981] ppid=5974 vsize=10661188 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5977/task/5981/stat : 5981 (java) S 5974 5977 3751 0 -1 1077944384 43 0 0 0 4 1 0 0 20 0 15 0 44890881 10917056512 68206 33554432000 4194304 4196468 140727223051680 140000635403408 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5982] ppid=5974 vsize=10661188 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/5977/task/5982/stat : 5982 (java) S 5974 5977 3751 0 -1 1077944384 137 0 0 0 5 1 0 0 20 0 15 0 44890881 10917056512 68206 33554432000 4194304 4196468 140727223051680 140000634350352 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5983] ppid=5974 vsize=10661188 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5977/task/5983/stat : 5983 (java) S 5974 5977 3751 0 -1 1077944384 149 0 0 0 6 2 0 0 20 0 15 0 44890881 10917056512 68206 33554432000 4194304 4196468 140727223051680 140000298326928 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5984] ppid=5974 vsize=10661188 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5984/stat : 5984 (java) S 5974 5977 3751 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 44890883 10917056512 68206 33554432000 4194304 4196468 140727223051680 140000254052592 140000694463106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
################
# More data... #
################
/proc/5977/task/5982/stat : 5982 (java) S 5974 5977 3751 0 -1 1077944384 54666 0 0 0 608 88 0 0 20 0 16 0 44890881 10985164800 1040150 33554432000 4194304 4196468 140727223051680 140000634350352 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5983] ppid=5974 vsize=10727700 memory=4160600 CPUtime=6.94 cores=1,3,5,7
/proc/5977/task/5983/stat : 5983 (java) S 5974 5977 3751 0 -1 1077944384 48598 0 0 0 604 90 0 0 20 0 16 0 44890881 10985164800 1040150 33554432000 4194304 4196468 140727223051680 140000298326928 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5984] ppid=5974 vsize=10727700 memory=4160600 CPUtime=1.27 cores=1,3,5,7
/proc/5977/task/5984/stat : 5984 (java) S 5974 5977 3751 0 -1 1077944384 19291 0 0 0 124 3 0 0 20 0 16 0 44890883 10985164800 1040150 33554432000 4194304 4196468 140727223051680 140000254052592 140000694463106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5985] ppid=5974 vsize=10727700 memory=4160600 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5985/stat : 5985 (java) S 5974 5977 3751 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 44890883 10985164800 1040150 33554432000 4194304 4196468 140727223051680 140000252998880 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5986] ppid=5974 vsize=10727700 memory=4160600 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5986/stat : 5986 (java) S 5974 5977 3751 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 44890883 10985164800 1040150 33554432000 4194304 4196468 140727223051680 140000251945728 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5987] ppid=5974 vsize=10727700 memory=7284 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5987/stat : 5987 (java) S 5974 5977 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44890886 10985164800 1040150 33554432000 4194304 4196468 140727223051680 140000250894288 140000694470555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5988] ppid=5974 vsize=10727700 memory=4160600 CPUtime=2.17 cores=1,3,5,7
/proc/5977/task/5988/stat : 5988 (java) S 5974 5977 3751 0 -1 1077944384 9859 0 0 0 216 1 0 0 20 0 16 0 44890886 10985164800 1040150 33554432000 4194304 4196468 140727223051680 140000249842416 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5989] ppid=5974 vsize=10727700 memory=2408 CPUtime=2.62 cores=1,3,5,7
/proc/5977/task/5989/stat : 5989 (java) S 5974 5977 3751 0 -1 1077944384 11353 0 0 0 261 1 0 0 20 0 16 0 44890886 10985164800 1040150 33554432000 4194304 4196468 140727223051680 140000248789872 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5990] ppid=5974 vsize=10727700 memory=1724 CPUtime=0.51 cores=1,3,5,7
/proc/5977/task/5990/stat : 5990 (java) S 5974 5977 3751 0 -1 1077944384 5190 0 0 0 50 1 0 0 20 0 16 0 44890886 10985164800 1040150 33554432000 4194304 4196468 140727223051680 140000247736816 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5991] ppid=5974 vsize=10727700 memory=4160600 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5991/stat : 5991 (java) S 5974 5977 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44890886 10985164800 1040150 33554432000 4194304 4196468 140727223051680 140000246684512 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5992] ppid=5974 vsize=10727700 memory=1788 CPUtime=1 cores=1,3,5,7
/proc/5977/task/5992/stat : 5992 (java) S 5974 5977 3751 0 -1 1077944384 1955 0 0 0 44 56 0 0 20 0 16 0 44890886 10985164800 1040150 33554432000 4194304 4196468 140727223051680 140000245631536 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5994] ppid=5974 vsize=10727700 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5994/stat : 5994 (java) S 5974 5977 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 44891387 10985164800 1040150 33554432000 4194304 4196468 140727223051680 140000242480176 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
Current children cumulated CPU time: 2289.1 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4160600 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/217 6167
/proc/meminfo: memFree=8843512/32770624 swapFree=67108860/67108860
[pid=5977] ppid=5974 vsize=10727700 memory=4313692 CPUtime=2349.96 cores=1,3,5,7
/proc/5977/stat : 5977 (java) S 5974 5977 3751 0 -1 1077944320 350676 0 0 0 234537 459 0 0 20 0 16 0 44890880 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140727223034224 140000694451959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
/proc/5977/statm: 2681925 1078423 3191 1 0 2644416 0
[pid=5977/tid=5979] ppid=5974 vsize=10727700 memory=4313692 CPUtime=2313.37 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (java) R 5974 5977 3751 0 -1 4202560 99075 0 0 0 231312 25 0 0 20 0 16 0 44890881 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000698690896 140000319772437 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5980] ppid=5974 vsize=10727700 memory=4313692 CPUtime=7.22 cores=1,3,5,7
/proc/5977/task/5980/stat : 5980 (java) S 5974 5977 3751 0 -1 1077944384 46937 0 0 0 625 97 0 0 20 0 16 0 44890881 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000636455952 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5981] ppid=5974 vsize=10727700 memory=4313692 CPUtime=7.21 cores=1,3,5,7
/proc/5977/task/5981/stat : 5981 (java) S 5974 5977 3751 0 -1 1077944384 50158 0 0 0 627 94 0 0 20 0 16 0 44890881 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000635403408 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5982] ppid=5974 vsize=10727700 memory=4313692 CPUtime=7.24 cores=1,3,5,7
/proc/5977/task/5982/stat : 5982 (java) S 5974 5977 3751 0 -1 1077944384 55653 0 0 0 632 92 0 0 20 0 16 0 44890881 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000634350352 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5983] ppid=5974 vsize=10727700 memory=0 CPUtime=7.22 cores=1,3,5,7
/proc/5977/task/5983/stat : 5983 (java) S 5974 5977 3751 0 -1 1077944384 49482 0 0 0 627 95 0 0 20 0 16 0 44890881 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000298326928 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5984] ppid=5974 vsize=10727700 memory=4313692 CPUtime=1.27 cores=1,3,5,7
/proc/5977/task/5984/stat : 5984 (java) S 5974 5977 3751 0 -1 1077944384 19546 0 0 0 124 3 0 0 20 0 16 0 44890883 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000254052592 140000694463106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5985] ppid=5974 vsize=10727700 memory=4313692 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5985/stat : 5985 (java) S 5974 5977 3751 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 44890883 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000252998880 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5986] ppid=5974 vsize=10727700 memory=4313692 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5986/stat : 5986 (java) S 5974 5977 3751 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 44890883 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000251945728 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5987] ppid=5974 vsize=10727700 memory=4313692 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5987/stat : 5987 (java) S 5974 5977 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44890886 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000250894288 140000694470555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5988] ppid=5974 vsize=10727700 memory=4313692 CPUtime=2.17 cores=1,3,5,7
/proc/5977/task/5988/stat : 5988 (java) S 5974 5977 3751 0 -1 1077944384 9862 0 0 0 216 1 0 0 20 0 16 0 44890886 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000249842416 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5989] ppid=5974 vsize=10727700 memory=4313692 CPUtime=2.62 cores=1,3,5,7
/proc/5977/task/5989/stat : 5989 (java) S 5974 5977 3751 0 -1 1077944384 11356 0 0 0 261 1 0 0 20 0 16 0 44890886 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000248789872 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5990] ppid=5974 vsize=10727700 memory=4313692 CPUtime=0.51 cores=1,3,5,7
/proc/5977/task/5990/stat : 5990 (java) S 5974 5977 3751 0 -1 1077944384 5206 0 0 0 50 1 0 0 20 0 16 0 44890886 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000247736816 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5991] ppid=5974 vsize=10727700 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5991/stat : 5991 (java) S 5974 5977 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44890886 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000246684512 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5992] ppid=5974 vsize=10727700 memory=8112282956445269571 CPUtime=1.03 cores=1,3,5,7
/proc/5977/task/5992/stat : 5992 (java) S 5974 5977 3751 0 -1 1077944384 1994 0 0 0 45 58 0 0 20 0 16 0 44890886 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000245631536 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5994] ppid=5974 vsize=10727700 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5994/stat : 5994 (java) S 5974 5977 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 44891387 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000242480176 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
Current children cumulated CPU time: 2349.96 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4313692 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2372.4 s]
/proc/loadavg: 2.01 2.02 2.05 3/217 6168
/proc/meminfo: memFree=8843452/32770624 swapFree=67108860/67108860
[pid=5977] ppid=5974 vsize=10727700 memory=4313692 CPUtime=2400.09 cores=1,3,5,7
/proc/5977/stat : 5977 (java) S 5974 5977 3751 0 -1 1077944320 354089 0 0 0 239548 461 0 0 20 0 16 0 44890880 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140727223034224 140000694451959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
/proc/5977/statm: 2681925 1078423 3191 1 0 2644416 0
[pid=5977/tid=5979] ppid=5974 vsize=10727700 memory=1444 CPUtime=2363.47 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (java) R 5974 5977 3751 0 -1 4202560 102428 0 0 0 236321 26 0 0 20 0 16 0 44890881 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000698690896 140000320251540 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5980] ppid=5974 vsize=10727700 memory=5520 CPUtime=7.22 cores=1,3,5,7
/proc/5977/task/5980/stat : 5980 (java) S 5974 5977 3751 0 -1 1077944384 46937 0 0 0 625 97 0 0 20 0 16 0 44890881 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000636455952 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5981] ppid=5974 vsize=10727700 memory=4616 CPUtime=7.21 cores=1,3,5,7
/proc/5977/task/5981/stat : 5981 (java) S 5974 5977 3751 0 -1 1077944384 50158 0 0 0 627 94 0 0 20 0 16 0 44890881 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000635403408 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5982] ppid=5974 vsize=10727700 memory=14004 CPUtime=7.24 cores=1,3,5,7
/proc/5977/task/5982/stat : 5982 (java) S 5974 5977 3751 0 -1 1077944384 55653 0 0 0 632 92 0 0 20 0 16 0 44890881 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000634350352 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5983] ppid=5974 vsize=10727700 memory=1204 CPUtime=7.22 cores=1,3,5,7
/proc/5977/task/5983/stat : 5983 (java) S 5974 5977 3751 0 -1 1077944384 49482 0 0 0 627 95 0 0 20 0 16 0 44890881 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000298326928 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5984] ppid=5974 vsize=10727700 memory=15872 CPUtime=1.27 cores=1,3,5,7
/proc/5977/task/5984/stat : 5984 (java) S 5974 5977 3751 0 -1 1077944384 19555 0 0 0 124 3 0 0 20 0 16 0 44890883 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000254052592 140000694463106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5985] ppid=5974 vsize=10727700 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5985/stat : 5985 (java) S 5974 5977 3751 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 44890883 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000252998880 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5986] ppid=5974 vsize=10727700 memory=18460 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5986/stat : 5986 (java) S 5974 5977 3751 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 44890883 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000251945728 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5987] ppid=5974 vsize=10727700 memory=10220 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5987/stat : 5987 (java) S 5974 5977 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44890886 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000250894288 140000694470555 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5988] ppid=5974 vsize=10727700 memory=1788 CPUtime=2.17 cores=1,3,5,7
/proc/5977/task/5988/stat : 5988 (java) S 5974 5977 3751 0 -1 1077944384 9865 0 0 0 216 1 0 0 20 0 16 0 44890886 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000249842416 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5989] ppid=5974 vsize=10727700 memory=644 CPUtime=2.62 cores=1,3,5,7
/proc/5977/task/5989/stat : 5989 (java) S 5974 5977 3751 0 -1 1077944384 11363 0 0 0 261 1 0 0 20 0 16 0 44890886 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000248789872 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5990] ppid=5974 vsize=10727700 memory=952 CPUtime=0.51 cores=1,3,5,7
/proc/5977/task/5990/stat : 5990 (java) S 5974 5977 3751 0 -1 1077944384 5210 0 0 0 50 1 0 0 20 0 16 0 44890886 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000247736816 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5991] ppid=5974 vsize=10727700 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5991/stat : 5991 (java) S 5974 5977 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44890886 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000246684512 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5992] ppid=5974 vsize=10727700 memory=2340 CPUtime=1.06 cores=1,3,5,7
/proc/5977/task/5992/stat : 5992 (java) S 5974 5977 3751 0 -1 1077944384 2031 0 0 0 47 59 0 0 20 0 16 0 44890886 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000245631536 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5994] ppid=5974 vsize=10727700 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5994/stat : 5994 (java) S 5974 5977 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 44891387 10985164800 1078423 33554432000 4194304 4196468 140727223051680 140000242480176 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4313692 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2372.69 s]
# the end of solver process 5977 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.58 s, system=4.63989 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2372.6 s]
/proc/loadavg: 2.01 2.02 2.05 3/217 6168
/proc/meminfo: memFree=8843452/32770624 swapFree=67108860/67108860
[pid=5977] ppid=5974 vsize=10927392 memory=4314104 CPUtime=2400.1 cores=1,3,5,7
/proc/5977/stat : 5977 (java) S 5974 5977 3751 0 -1 1077944320 354944 0 0 0 239549 461 0 0 20 0 17 0 44890880 11189649408 1078526 33554432000 4194304 4196468 140727223051680 140727223034224 140000694451959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
/proc/5977/statm: 2731848 1078526 3194 1 0 2694339 0
[pid=5977/tid=5979] ppid=5974 vsize=10927392 memory=1444 CPUtime=2363.49 cores=1,3,5,7
/proc/5977/task/5979/stat : 5979 (java) S 5974 5977 3751 0 -1 1077944384 102504 0 0 0 236323 26 0 0 20 0 17 0 44890881 11189649408 1078526 33554432000 4194304 4196468 140727223051680 140000698694832 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5980] ppid=5974 vsize=10927392 memory=5520 CPUtime=7.22 cores=1,3,5,7
/proc/5977/task/5980/stat : 5980 (java) S 5974 5977 3751 0 -1 1077944384 46937 0 0 0 625 97 0 0 20 0 17 0 44890881 11189649408 1078526 33554432000 4194304 4196468 140727223051680 140000636455952 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5981] ppid=5974 vsize=10927392 memory=4616 CPUtime=7.21 cores=1,3,5,7
/proc/5977/task/5981/stat : 5981 (java) S 5974 5977 3751 0 -1 1077944384 50158 0 0 0 627 94 0 0 20 0 17 0 44890881 11189649408 1078526 33554432000 4194304 4196468 140727223051680 140000635403408 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5982] ppid=5974 vsize=10927392 memory=14004 CPUtime=7.24 cores=1,3,5,7
/proc/5977/task/5982/stat : 5982 (java) S 5974 5977 3751 0 -1 1077944384 55653 0 0 0 632 92 0 0 20 0 17 0 44890881 11189649408 1078526 33554432000 4194304 4196468 140727223051680 140000634350352 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5983] ppid=5974 vsize=10927392 memory=1204 CPUtime=7.22 cores=1,3,5,7
/proc/5977/task/5983/stat : 5983 (java) S 5974 5977 3751 0 -1 1077944384 49482 0 0 0 627 95 0 0 20 0 17 0 44890881 11189649408 1078526 33554432000 4194304 4196468 140727223051680 140000298326928 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5984] ppid=5974 vsize=10927392 memory=15872 CPUtime=1.27 cores=1,3,5,7
/proc/5977/task/5984/stat : 5984 (java) S 5974 5977 3751 0 -1 1077944384 19588 0 0 0 124 3 0 0 20 0 17 0 44890883 11189649408 1078526 33554432000 4194304 4196468 140727223051680 140000254052592 140000694463106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5985] ppid=5974 vsize=10927392 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5985/stat : 5985 (java) S 5974 5977 3751 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 17 0 44890883 11189649408 1078526 33554432000 4194304 4196468 140727223051680 140000252998880 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5986] ppid=5974 vsize=10927392 memory=18460 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5986/stat : 5986 (java) S 5974 5977 3751 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 44890883 11189649408 1078526 33554432000 4194304 4196468 140727223051680 140000251945728 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5987] ppid=5974 vsize=10927392 memory=10220 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5987/stat : 5987 (java) S 5974 5977 3751 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 17 0 44890886 11189649408 1078526 33554432000 4194304 4196468 140727223051680 140000250894288 140000694470555 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5988] ppid=5974 vsize=10927392 memory=1788 CPUtime=2.17 cores=1,3,5,7
/proc/5977/task/5988/stat : 5988 (java) S 5974 5977 3751 0 -1 1077944384 9865 0 0 0 216 1 0 0 20 0 17 0 44890886 11189649408 1078526 33554432000 4194304 4196468 140727223051680 140000249842416 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5989] ppid=5974 vsize=10927392 memory=644 CPUtime=2.62 cores=1,3,5,7
/proc/5977/task/5989/stat : 5989 (java) S 5974 5977 3751 0 -1 1077944384 11363 0 0 0 261 1 0 0 20 0 17 0 44890886 11189649408 1078526 33554432000 4194304 4196468 140727223051680 140000248789872 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5990] ppid=5974 vsize=10927392 memory=952 CPUtime=0.51 cores=1,3,5,7
/proc/5977/task/5990/stat : 5990 (java) S 5974 5977 3751 0 -1 1077944384 5327 0 0 0 50 1 0 0 20 0 17 0 44890886 11189649408 1078526 33554432000 4194304 4196468 140727223051680 140000247736816 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5991] ppid=5974 vsize=10927392 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/5977/task/5991/stat : 5991 (java) S 5974 5977 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 44890886 11189649408 1078526 33554432000 4194304 4196468 140727223051680 140000246684512 140000694462165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
[pid=5977/tid=5992] ppid=5974 vsize=10927392 memory=2340 CPUtime=1.06 cores=1,3,5,7
/proc/5977/task/5992/stat : 5992 (java) S 5974 5977 3751 0 -1 1077944384 2031 0 0 0 47 59 0 0 20 0 17 0 44890886 11189649408 1078526 33554432000 4194304 4196468 140727223051680 140000245631536 140000694463106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 6504448 140727223055473 140727223055625 140727223055625 140727223058383 0
Current children cumulated CPU time: 2400.1 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 4314104 KiB
Child status: 143
Real time (s): 2372.69
CPU time (s): 2400.22
CPU user time (s): 2395.58
CPU system time (s): 4.63989
CPU usage (%): 101.16
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 4314104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.58
system time used= 4.63989
maximum resident set size= 4314472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356850
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57053
involuntary context switches= 1443
# summary of solver processes directly reported to runsolver:
# pid: 5977
# total CPU time (s): 2400.22
# total CPU user time (s): 2395.58
# total CPU system time (s): 4.63989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4889 second user time and 22.5986 second system time
The end