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 (12124 MiB free)
memory of node 1: 16384 MiB (15672 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395990-1568413365/watcher-4395990-1568413365 -o /tmp/evaluation-result-4395990-1568413365/solver-4395990-1568413365 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568398330-31020 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1871641095 HOME/instance-4395990-1568413365.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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2001, runsolver pid=1998
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.79 1.64 1.60 3/224 2059
/proc/meminfo: memFree=28454396/32770624 swapFree=67009508/67108860
[pid=2001] ppid=1998 vsize=9972712 memory=16552 CPUtime=0.09 cores=1,3,5,7
/proc/2001/stat : 2001 (java) S 1998 2001 30988 0 -1 1077944320 4383 13302 0 0 1 0 5 3 20 0 6 0 417259273 10212057088 4138 33554432000 4194304 4196468 140734795709216 140734795691760 140273330015991 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
/proc/2001/statm: 2493178 4138 1933 1 0 2481616 0
[pid=2001/tid=2055] ppid=1998 vsize=9972712 memory=7100839887284177512 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2055/stat : 2055 (java) R 1998 2001 30988 0 -1 4202560 2276 13302 0 0 0 0 5 3 20 0 6 0 417259283 10212057088 4270 33554432000 4194304 4196468 140734795709216 140273301852752 140273314096478 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2056] ppid=1998 vsize=9972712 memory=3472328128895609921 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2056/stat : 2056 (java) S 1998 2001 30988 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 6 0 417259283 10212057088 4270 33554432000 4194304 4196468 140734795709216 140273334258704 140273330026197 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2057] ppid=1998 vsize=9972712 memory=139647583491712 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2057/stat : 2057 (java) S 1998 2001 30988 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 6 0 417259283 10212057088 4270 33554432000 4194304 4196468 140734795709216 140273233149072 140273330026197 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2058] ppid=1998 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2058/stat : 2058 (java) S 1998 2001 30988 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 6 0 417259283 10212057088 4270 33554432000 4194304 4196468 140734795709216 140273232096016 140273330026197 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2059] ppid=1998 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2059/stat : 2059 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 6 0 417259283 10212057088 4270 33554432000 4194304 4196468 140734795709216 140273231043472 140273330026197 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16552 KiB
[startup+0.21038 s]*
/proc/loadavg: 1.79 1.64 1.60 4/233 2068
/proc/meminfo: memFree=28433984/32770624 swapFree=67009508/67108860
[pid=2001] ppid=1998 vsize=10819664 memory=39192 CPUtime=0.26 cores=1,3,5,7
/proc/2001/stat : 2001 (java) S 1998 2001 30988 0 -1 1077944320 7184 13302 0 0 17 1 5 3 20 0 15 0 417259273 11079335936 9798 33554432000 4194304 4196468 140734795709216 140734795691760 140273330015991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
/proc/2001/statm: 2704916 9798 3139 1 0 2667149 0
[pid=2001/tid=2055] ppid=1998 vsize=10819664 memory=7100839887284177512 CPUtime=0.19 cores=1,3,5,7
/proc/2001/task/2055/stat : 2055 (java) R 1998 2001 30988 0 -1 4202560 3695 13302 0 0 11 0 5 3 20 0 15 0 417259283 11079335936 9798 33554432000 4194304 4196468 140734795709216 140273301839152 140273314096478 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2056] ppid=1998 vsize=10819664 memory=3472328128895609921 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2056/stat : 2056 (java) S 1998 2001 30988 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 417259283 11079335936 9798 33554432000 4194304 4196468 140734795709216 140273334258704 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2057] ppid=1998 vsize=10819664 memory=139647583491712 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2057/stat : 2057 (java) S 1998 2001 30988 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 417259283 11079335936 9798 33554432000 4194304 4196468 140734795709216 140273233149072 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2058] ppid=1998 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2058/stat : 2058 (java) S 1998 2001 30988 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 417259283 11079335936 9798 33554432000 4194304 4196468 140734795709216 140273232096016 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2059] ppid=1998 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2059/stat : 2059 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259283 11079335936 9798 33554432000 4194304 4196468 140734795709216 140273231043472 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2060] ppid=1998 vsize=10819664 memory=139647583491712 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2060/stat : 2060 (java) S 1998 2001 30988 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 417259285 11079335936 9798 33554432000 4194304 4196468 140734795709216 140272789494000 140273330027138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2061] ppid=1998 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2061/stat : 2061 (java) S 1998 2001 30988 0 -1 1077944384 13 13302 0 0 0 0 5 3 20 0 15 0 417259285 11079335936 9798 33554432000 4194304 4196468 140734795709216 140272692356256 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2062] ppid=1998 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2062/stat : 2062 (java) S 1998 2001 30988 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 417259285 11079335936 9798 33554432000 4194304 4196468 140734795709216 140272088376048 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2063] ppid=1998 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2063/stat : 2063 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259288 11079335936 9798 33554432000 4194304 4196468 140734795709216 140271848085456 140273330034587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2064] ppid=1998 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2001/task/2064/stat : 2064 (java) S 1998 2001 30988 0 -1 1077944384 458 13302 0 0 1 0 5 3 20 0 15 0 417259288 11079335936 9798 33554432000 4194304 4196468 140734795709216 140272788441840 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2065] ppid=1998 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2065/stat : 2065 (java) S 1998 2001 30988 0 -1 1077944384 185 13302 0 0 0 0 5 3 20 0 15 0 417259288 11079335936 9798 33554432000 4194304 4196468 140734795709216 140272787389296 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2066] ppid=1998 vsize=10819664 memory=139647583491712 CPUtime=0.11 cores=1,3,5,7
/proc/2001/task/2066/stat : 2066 (java) R 1998 2001 30988 0 -1 4202560 621 13302 0 0 3 0 5 3 20 0 15 0 417259288 11079335936 9798 33554432000 4194304 4196468 140734795709216 140272786336240 140273330037338 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2067] ppid=1998 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2067/stat : 2067 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259288 11079335936 9798 33554432000 4194304 4196468 140734795709216 140271814527840 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2068] ppid=1998 vsize=10819664 memory=139647583491712 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2068/stat : 2068 (java) S 1998 2001 30988 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 417259289 11079335936 9798 33554432000 4194304 4196468 140734795709216 140272785283632 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39192 KiB
[startup+0.310758 s]*
/proc/loadavg: 1.79 1.64 1.60 3/233 2068
/proc/meminfo: memFree=28421304/32770624 swapFree=67009508/67108860
[pid=2001] ppid=1998 vsize=10820148 memory=50324 CPUtime=0.41 cores=1,3,5,7
/proc/2001/stat : 2001 (java) S 1998 2001 30988 0 -1 1077944320 10883 13302 0 0 29 4 5 3 20 0 15 0 417259273 11079831552 12581 33554432000 4194304 4196468 140734795709216 140734795691760 140273330015991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
/proc/2001/statm: 2705037 12581 3271 1 0 2667149 0
[pid=2001/tid=2055] ppid=1998 vsize=10820148 memory=4134692831991786133 CPUtime=0.29 cores=1,3,5,7
/proc/2001/task/2055/stat : 2055 (java) R 1998 2001 30988 0 -1 4202560 7369 13302 0 0 19 2 5 3 20 0 15 0 417259283 11079831552 12581 33554432000 4194304 4196468 140734795709216 140273301815904 140272911795661 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2056] ppid=1998 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2056/stat : 2056 (java) S 1998 2001 30988 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 417259283 11079831552 12581 33554432000 4194304 4196468 140734795709216 140273334258704 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2057] ppid=1998 vsize=10820148 memory=139647583491712 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2057/stat : 2057 (java) S 1998 2001 30988 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 417259283 11079831552 12581 33554432000 4194304 4196468 140734795709216 140273233149072 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2058] ppid=1998 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2058/stat : 2058 (java) S 1998 2001 30988 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 417259283 11079831552 12581 33554432000 4194304 4196468 140734795709216 140273232096016 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2059] ppid=1998 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2059/stat : 2059 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259283 11079831552 12581 33554432000 4194304 4196468 140734795709216 140273231043472 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2060] ppid=1998 vsize=10820148 memory=139647583491711 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2060/stat : 2060 (java) S 1998 2001 30988 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 417259285 11079831552 12581 33554432000 4194304 4196468 140734795709216 140272789494000 140273330027138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2061] ppid=1998 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2061/stat : 2061 (java) S 1998 2001 30988 0 -1 1077944384 13 13302 0 0 0 0 5 3 20 0 15 0 417259285 11079831552 12581 33554432000 4194304 4196468 140734795709216 140272692356256 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2062] ppid=1998 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2062/stat : 2062 (java) S 1998 2001 30988 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 417259285 11079831552 12581 33554432000 4194304 4196468 140734795709216 140272088376048 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2063] ppid=1998 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2063/stat : 2063 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259288 11079831552 12581 33554432000 4194304 4196468 140734795709216 140271848085456 140273330034587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2064] ppid=1998 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2001/task/2064/stat : 2064 (java) S 1998 2001 30988 0 -1 1077944384 459 13302 0 0 1 0 5 3 20 0 15 0 417259288 11079831552 12581 33554432000 4194304 4196468 140734795709216 140272788441840 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2065] ppid=1998 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/2001/task/2065/stat : 2065 (java) S 1998 2001 30988 0 -1 1077944384 194 13302 0 0 1 0 5 3 20 0 15 0 417259288 11079831552 12581 33554432000 4194304 4196468 140734795709216 140272787389296 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2066] ppid=1998 vsize=10820148 memory=139647583491712 CPUtime=0.13 cores=1,3,5,7
/proc/2001/task/2066/stat : 2066 (java) R 1998 2001 30988 0 -1 4202560 630 13302 0 0 5 0 5 3 20 0 15 0 417259288 11079831552 12581 33554432000 4194304 4196468 140734795709216 140272786336240 140273330027926 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2067] ppid=1998 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2067/stat : 2067 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259288 11079831552 12581 33554432000 4194304 4196468 140734795709216 140271814527840 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2068] ppid=1998 vsize=10820148 memory=139647583491712 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2068/stat : 2068 (java) S 1998 2001 30988 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 417259289 11079831552 12581 33554432000 4194304 4196468 140734795709216 140272785283632 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50324 KiB
[startup+0.70074 s]
/proc/loadavg: 1.79 1.64 1.60 3/233 2068
/proc/meminfo: memFree=28407004/32770624 swapFree=67009508/67108860
[pid=2001] ppid=1998 vsize=10824360 memory=83456 CPUtime=1.14 cores=1,3,5,7
/proc/2001/stat : 2001 (java) S 1998 2001 30988 0 -1 1077944320 15093 13302 0 0 101 5 5 3 20 0 15 0 417259273 11084144640 20864 33554432000 4194304 4196468 140734795709216 140734795691760 140273330015991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
/proc/2001/statm: 2706090 20864 3501 1 0 2668173 0
[pid=2001/tid=2055] ppid=1998 vsize=10824360 memory=3484 CPUtime=0.67 cores=1,3,5,7
/proc/2001/task/2055/stat : 2055 (java) R 1998 2001 30988 0 -1 4202560 10332 13302 0 0 55 4 5 3 20 0 15 0 417259283 11084144640 20864 33554432000 4194304 4196468 140734795709216 140273301845536 140273314059621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2056] ppid=1998 vsize=10824360 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2056/stat : 2056 (java) S 1998 2001 30988 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 417259283 11084144640 20864 33554432000 4194304 4196468 140734795709216 140273334258704 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2057] ppid=1998 vsize=10824360 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2057/stat : 2057 (java) S 1998 2001 30988 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 417259283 11084144640 20864 33554432000 4194304 4196468 140734795709216 140273233149072 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2058] ppid=1998 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2058/stat : 2058 (java) S 1998 2001 30988 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 417259283 11084144640 20864 33554432000 4194304 4196468 140734795709216 140273232096016 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2059] ppid=1998 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2059/stat : 2059 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259283 11084144640 20864 33554432000 4194304 4196468 140734795709216 140273231043472 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2060] ppid=1998 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2060/stat : 2060 (java) S 1998 2001 30988 0 -1 1077944384 5 13302 0 0 0 0 5 3 20 0 15 0 417259285 11084144640 20864 33554432000 4194304 4196468 140734795709216 140272789494000 140273330027138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2061] ppid=1998 vsize=10824360 memory=19265 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2061/stat : 2061 (java) S 1998 2001 30988 0 -1 1077944384 13 13302 0 0 0 0 5 3 20 0 15 0 417259285 11084144640 20864 33554432000 4194304 4196468 140734795709216 140272692356256 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2062] ppid=1998 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2062/stat : 2062 (java) S 1998 2001 30988 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 417259285 11084144640 20864 33554432000 4194304 4196468 140734795709216 140272088376048 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2063] ppid=1998 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2063/stat : 2063 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259288 11084144640 20864 33554432000 4194304 4196468 140734795709216 140271848085456 140273330034587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2064] ppid=1998 vsize=10824360 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/2001/task/2064/stat : 2064 (java) S 1998 2001 30988 0 -1 1077944384 1043 13302 0 0 15 0 5 3 20 0 15 0 417259288 11084144640 20864 33554432000 4194304 4196468 140734795709216 140272788441840 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2065] ppid=1998 vsize=10824360 memory=10 CPUtime=0.2 cores=1,3,5,7
/proc/2001/task/2065/stat : 2065 (java) R 1998 2001 30988 0 -1 4202560 607 13302 0 0 12 0 5 3 20 0 15 0 417259288 11084144640 20864 33554432000 4194304 4196468 140734795709216 140272787389296 140273311550543 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2066] ppid=1998 vsize=10824360 memory=-6305711719810622336 CPUtime=0.24 cores=1,3,5,7
/proc/2001/task/2066/stat : 2066 (java) S 1998 2001 30988 0 -1 1077944384 874 13302 0 0 16 0 5 3 20 0 15 0 417259288 11084144640 20864 33554432000 4194304 4196468 140734795709216 140272786336240 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2067] ppid=1998 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2067/stat : 2067 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259288 11084144640 20864 33554432000 4194304 4196468 140734795709216 140271814527840 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2068] ppid=1998 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2068/stat : 2068 (java) S 1998 2001 30988 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 417259289 11084144640 20864 33554432000 4194304 4196468 140734795709216 140272785283632 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83456 KiB
[startup+1.50076 s]
/proc/loadavg: 1.79 1.64 1.60 5/233 2068
/proc/meminfo: memFree=28356820/32770624 swapFree=67009508/67108860
[pid=2001] ppid=1998 vsize=10834676 memory=192076 CPUtime=2.8 cores=1,3,5,7
/proc/2001/stat : 2001 (java) S 1998 2001 30988 0 -1 1077944320 24450 13302 0 0 260 12 5 3 20 0 15 0 417259273 11094708224 48019 33554432000 4194304 4196468 140734795709216 140734795691760 140273330015991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
/proc/2001/statm: 2708669 48019 3579 1 0 2670733 0
[pid=2001/tid=2055] ppid=1998 vsize=10834676 memory=5859271421084456296 CPUtime=1.43 cores=1,3,5,7
/proc/2001/task/2055/stat : 2055 (java) R 1998 2001 30988 0 -1 4202560 15667 13302 0 0 128 7 5 3 20 0 15 0 417259283 11094708224 48019 33554432000 4194304 4196468 140734795709216 140273301841280 140273330037917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2056] ppid=1998 vsize=10834676 memory=2276 CPUtime=0.09 cores=1,3,5,7
/proc/2001/task/2056/stat : 2056 (java) S 1998 2001 30988 0 -1 1077944384 24 13302 0 0 1 0 5 3 20 0 15 0 417259283 11094708224 48019 33554432000 4194304 4196468 140734795709216 140273334258704 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2057] ppid=1998 vsize=10834676 memory=2308 CPUtime=0.09 cores=1,3,5,7
/proc/2001/task/2057/stat : 2057 (java) S 1998 2001 30988 0 -1 1077944384 66 13302 0 0 1 0 5 3 20 0 15 0 417259283 11094708224 48019 33554432000 4194304 4196468 140734795709216 140273233149072 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2058] ppid=1998 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2001/task/2058/stat : 2058 (java) S 1998 2001 30988 0 -1 1077944384 63 13302 0 0 1 0 5 3 20 0 15 0 417259283 11094708224 48019 33554432000 4194304 4196468 140734795709216 140273232096016 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2059] ppid=1998 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2001/task/2059/stat : 2059 (java) S 1998 2001 30988 0 -1 1077944384 282 13302 0 0 1 0 5 3 20 0 15 0 417259283 11094708224 48019 33554432000 4194304 4196468 140734795709216 140273231043472 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2060] ppid=1998 vsize=10834676 memory=6872598998417432672 CPUtime=0.09 cores=1,3,5,7
/proc/2001/task/2060/stat : 2060 (java) S 1998 2001 30988 0 -1 1077944384 120 13302 0 0 1 0 5 3 20 0 15 0 417259285 11094708224 48019 33554432000 4194304 4196468 140734795709216 140272789494000 140273330027138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2061] ppid=1998 vsize=10834676 memory=-2746958450906831424 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2061/stat : 2061 (java) S 1998 2001 30988 0 -1 1077944384 13 13302 0 0 0 0 5 3 20 0 15 0 417259285 11094708224 48019 33554432000 4194304 4196468 140734795709216 140272692356320 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2062] ppid=1998 vsize=10834676 memory=6872598998417432672 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2062/stat : 2062 (java) S 1998 2001 30988 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 417259285 11094708224 48019 33554432000 4194304 4196468 140734795709216 140272088376064 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2063] ppid=1998 vsize=10834676 memory=6872598998417432672 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2063/stat : 2063 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259288 11094708224 48019 33554432000 4194304 4196468 140734795709216 140271848085456 140273330034587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2064] ppid=1998 vsize=10834676 memory=6944656592387989600 CPUtime=0.47 cores=1,3,5,7
/proc/2001/task/2064/stat : 2064 (java) S 1998 2001 30988 0 -1 1077944384 2193 13302 0 0 39 0 5 3 20 0 15 0 417259288 11094708224 48019 33554432000 4194304 4196468 140734795709216 140272788441840 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2065] ppid=1998 vsize=10834676 memory=6655300316396806240 CPUtime=0.47 cores=1,3,5,7
/proc/2001/task/2065/stat : 2065 (java) S 1998 2001 30988 0 -1 1077944384 1887 13302 0 0 39 0 5 3 20 0 15 0 417259288 11094708224 48047 33554432000 4194304 4196468 140734795709216 140272787389296 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2066] ppid=1998 vsize=10834676 memory=-3704326594973231466 CPUtime=0.52 cores=1,3,5,7
/proc/2001/task/2066/stat : 2066 (java) R 1998 2001 30988 0 -1 4202560 1922 13302 0 0 44 0 5 3 20 0 15 0 417259288 11094708224 48047 33554432000 4194304 4196468 140734795709216 140272786336368 140273322733143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2067] ppid=1998 vsize=10834676 memory=-7384994778349281184 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2067/stat : 2067 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259288 11094708224 48047 33554432000 4194304 4196468 140734795709216 140271814527840 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2068] ppid=1998 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2068/stat : 2068 (java) S 1998 2001 30988 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 417259289 11094708224 48047 33554432000 4194304 4196468 140734795709216 140272785283632 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
Current children cumulated CPU time: 2.8 s
################
# More data... #
################
/proc/2001/task/2055/stat : 2055 (java) R 1998 2001 30988 0 -1 4202560 63171 13302 0 0 236533 37 5 3 20 0 15 0 417259283 11107323904 193294 33554432000 4194304 4196468 140734795709216 140273301851088 140272925787036 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2056] ppid=1998 vsize=10846996 memory=773176 CPUtime=7.8 cores=1,3,5,7
/proc/2001/task/2056/stat : 2056 (java) S 1998 2001 30988 0 -1 1077944384 10799 13302 0 0 728 44 5 3 20 0 15 0 417259283 11107323904 193294 33554432000 4194304 4196468 140734795709216 140273334258704 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2057] ppid=1998 vsize=10846996 memory=773176 CPUtime=7.79 cores=1,3,5,7
/proc/2001/task/2057/stat : 2057 (java) S 1998 2001 30988 0 -1 1077944384 7071 13302 0 0 730 41 5 3 20 0 15 0 417259283 11107323904 193294 33554432000 4194304 4196468 140734795709216 140273233149072 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2058] ppid=1998 vsize=10846996 memory=773176 CPUtime=7.8 cores=1,3,5,7
/proc/2001/task/2058/stat : 2058 (java) S 1998 2001 30988 0 -1 1077944384 7500 13302 0 0 732 40 5 3 20 0 15 0 417259283 11107323904 193294 33554432000 4194304 4196468 140734795709216 140273232096016 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2059] ppid=1998 vsize=10846996 memory=773176 CPUtime=7.78 cores=1,3,5,7
/proc/2001/task/2059/stat : 2059 (java) S 1998 2001 30988 0 -1 1077944384 6493 13302 0 0 731 39 5 3 20 0 15 0 417259283 11107323904 193294 33554432000 4194304 4196468 140734795709216 140273231043472 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2060] ppid=1998 vsize=10846996 memory=776 CPUtime=7.04 cores=1,3,5,7
/proc/2001/task/2060/stat : 2060 (java) S 1998 2001 30988 0 -1 1077944384 9598 13302 0 0 655 41 5 3 20 0 15 0 417259285 11107323904 193294 33554432000 4194304 4196468 140734795709216 140272789494000 140273330027138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2061] ppid=1998 vsize=10846996 memory=1764 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2061/stat : 2061 (java) S 1998 2001 30988 0 -1 1077944384 31 13302 0 0 0 0 5 3 20 0 15 0 417259285 11107323904 193294 33554432000 4194304 4196468 140734795709216 140272692356320 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2062] ppid=1998 vsize=10846996 memory=773176 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2062/stat : 2062 (java) S 1998 2001 30988 0 -1 1077944384 32 13302 0 0 0 0 5 3 20 0 15 0 417259285 11107323904 193294 33554432000 4194304 4196468 140734795709216 140272088376064 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2063] ppid=1998 vsize=10846996 memory=3484 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2063/stat : 2063 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259288 11107323904 193294 33554432000 4194304 4196468 140734795709216 140271848085456 140273330034587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2064] ppid=1998 vsize=10846996 memory=17660 CPUtime=5.25 cores=1,3,5,7
/proc/2001/task/2064/stat : 2064 (java) S 1998 2001 30988 0 -1 1077944384 36770 13302 0 0 509 8 5 3 20 0 15 0 417259288 11107323904 193294 33554432000 4194304 4196468 140734795709216 140272788441840 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2065] ppid=1998 vsize=10846996 memory=773176 CPUtime=5.05 cores=1,3,5,7
/proc/2001/task/2065/stat : 2065 (java) S 1998 2001 30988 0 -1 1077944384 39415 13302 0 0 490 7 5 3 20 0 15 0 417259288 11107323904 193294 33554432000 4194304 4196468 140734795709216 140272787389296 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2066] ppid=1998 vsize=10846996 memory=13948 CPUtime=5.03 cores=1,3,5,7
/proc/2001/task/2066/stat : 2066 (java) S 1998 2001 30988 0 -1 1077944384 36155 13302 0 0 486 9 5 3 20 0 15 0 417259288 11107323904 193294 33554432000 4194304 4196468 140734795709216 140272786336240 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2067] ppid=1998 vsize=10846996 memory=773176 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2067/stat : 2067 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259288 11107323904 193294 33554432000 4194304 4196468 140734795709216 140271814527840 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2068] ppid=1998 vsize=10846996 memory=1060 CPUtime=1.19 cores=1,3,5,7
/proc/2001/task/2068/stat : 2068 (java) S 1998 2001 30988 0 -1 1077944384 1364 13302 0 0 56 55 5 3 20 0 15 0 417259289 11107323904 193294 33554432000 4194304 4196468 140734795709216 140272785283632 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
Current children cumulated CPU time: 2419.9 s
Current children cumulated vsize: 10846996 KiB
Current children cumulated memory: 773176 KiB
[startup+2442.3 s]
/proc/loadavg: 1.17 1.36 1.41 3/232 2457
/proc/meminfo: memFree=30184212/32770624 swapFree=67009528/67108860
[pid=2001] ppid=1998 vsize=10846996 memory=773176 CPUtime=2480.46 cores=1,3,5,7
/proc/2001/stat : 2001 (java) S 1998 2001 30988 0 -1 1077944320 221818 13302 0 0 247754 284 5 3 20 0 15 0 417259273 11107323904 193294 33554432000 4194304 4196468 140734795709216 140734795691760 140273330015991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
/proc/2001/statm: 2711749 193294 3632 1 0 2673805 0
[pid=2001/tid=2055] ppid=1998 vsize=10846996 memory=773176 CPUtime=2425.38 cores=1,3,5,7
/proc/2001/task/2055/stat : 2055 (java) R 1998 2001 30988 0 -1 4202560 63754 13302 0 0 242493 37 5 3 20 0 15 0 417259283 11107323904 193294 33554432000 4194304 4196468 140734795709216 140273301851120 140272925787466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2056] ppid=1998 vsize=10846996 memory=1188 CPUtime=7.99 cores=1,3,5,7
/proc/2001/task/2056/stat : 2056 (java) S 1998 2001 30988 0 -1 1077944384 10876 13302 0 0 746 45 5 3 20 0 15 0 417259283 11107323904 193294 33554432000 4194304 4196468 140734795709216 140273334258704 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2057] ppid=1998 vsize=10846996 memory=773176 CPUtime=7.98 cores=1,3,5,7
/proc/2001/task/2057/stat : 2057 (java) S 1998 2001 30988 0 -1 1077944384 7285 13302 0 0 749 41 5 3 20 0 15 0 417259283 11107323904 193294 33554432000 4194304 4196468 140734795709216 140273233149072 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2058] ppid=1998 vsize=10846996 memory=773176 CPUtime=8 cores=1,3,5,7
/proc/2001/task/2058/stat : 2058 (java) S 1998 2001 30988 0 -1 1077944384 7597 13302 0 0 751 41 5 3 20 0 15 0 417259283 11107323904 193294 33554432000 4194304 4196468 140734795709216 140273232096016 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2059] ppid=1998 vsize=10846996 memory=773176 CPUtime=7.97 cores=1,3,5,7
/proc/2001/task/2059/stat : 2059 (java) S 1998 2001 30988 0 -1 1077944384 6508 13302 0 0 749 40 5 3 20 0 15 0 417259283 11107323904 193294 33554432000 4194304 4196468 140734795709216 140273231043472 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2060] ppid=1998 vsize=10846996 memory=773176 CPUtime=7.19 cores=1,3,5,7
/proc/2001/task/2060/stat : 2060 (java) S 1998 2001 30988 0 -1 1077944384 9796 13302 0 0 670 41 5 3 20 0 15 0 417259285 11107323904 193294 33554432000 4194304 4196468 140734795709216 140272789494000 140273330027138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2061] ppid=1998 vsize=10846996 memory=773176 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2061/stat : 2061 (java) S 1998 2001 30988 0 -1 1077944384 31 13302 0 0 0 0 5 3 20 0 15 0 417259285 11107323904 193294 33554432000 4194304 4196468 140734795709216 140272692356320 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2062] ppid=1998 vsize=10846996 memory=773176 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2062/stat : 2062 (java) S 1998 2001 30988 0 -1 1077944384 32 13302 0 0 0 0 5 3 20 0 15 0 417259285 11107323904 193294 33554432000 4194304 4196468 140734795709216 140272088376064 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2063] ppid=1998 vsize=10846996 memory=773176 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2063/stat : 2063 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259288 11107323904 193294 33554432000 4194304 4196468 140734795709216 140271848085456 140273330034587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2064] ppid=1998 vsize=10846996 memory=1948 CPUtime=5.25 cores=1,3,5,7
/proc/2001/task/2064/stat : 2064 (java) S 1998 2001 30988 0 -1 1077944384 36772 13302 0 0 509 8 5 3 20 0 15 0 417259288 11107323904 193294 33554432000 4194304 4196468 140734795709216 140272788441840 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2065] ppid=1998 vsize=10846996 memory=773176 CPUtime=5.05 cores=1,3,5,7
/proc/2001/task/2065/stat : 2065 (java) S 1998 2001 30988 0 -1 1077944384 39417 13302 0 0 490 7 5 3 20 0 15 0 417259288 11107323904 193294 33554432000 4194304 4196468 140734795709216 140272787389296 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2066] ppid=1998 vsize=10846996 memory=773176 CPUtime=5.03 cores=1,3,5,7
/proc/2001/task/2066/stat : 2066 (java) S 1998 2001 30988 0 -1 1077944384 36157 13302 0 0 486 9 5 3 20 0 15 0 417259288 11107323904 193294 33554432000 4194304 4196468 140734795709216 140272786336240 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2067] ppid=1998 vsize=10846996 memory=773176 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2067/stat : 2067 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259288 11107323904 193294 33554432000 4194304 4196468 140734795709216 140271814527840 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2068] ppid=1998 vsize=10846996 memory=13948 CPUtime=1.22 cores=1,3,5,7
/proc/2001/task/2068/stat : 2068 (java) S 1998 2001 30988 0 -1 1077944384 1381 13302 0 0 58 56 5 3 20 0 15 0 417259289 11107323904 193294 33554432000 4194304 4196468 140734795709216 140272785283632 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
Current children cumulated CPU time: 2480.46 s
Current children cumulated vsize: 10846996 KiB
Current children cumulated memory: 773176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2481.5 s]
/proc/loadavg: 1.08 1.31 1.40 7/232 2460
/proc/meminfo: memFree=30182112/32770624 swapFree=67009528/67108860
[pid=2001] ppid=1998 vsize=10846996 memory=775224 CPUtime=2520.07 cores=1,3,5,7
/proc/2001/stat : 2001 (java) S 1998 2001 30988 0 -1 1077944320 222956 13302 0 0 251710 289 5 3 20 0 15 0 417259273 11107323904 193806 33554432000 4194304 4196468 140734795709216 140734795691760 140273330015991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
/proc/2001/statm: 2711749 193806 3632 1 0 2673805 0
[pid=2001/tid=2055] ppid=1998 vsize=10846996 memory=775224 CPUtime=2464.34 cores=1,3,5,7
/proc/2001/task/2055/stat : 2055 (java) R 1998 2001 30988 0 -1 4202560 64212 13302 0 0 246388 38 5 3 20 0 15 0 417259283 11107323904 193806 33554432000 4194304 4196468 140734795709216 140273301851056 140272925787036 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2056] ppid=1998 vsize=10846996 memory=773176 CPUtime=8.12 cores=1,3,5,7
/proc/2001/task/2056/stat : 2056 (java) S 1998 2001 30988 0 -1 1077944384 11080 13302 0 0 758 46 5 3 20 0 15 0 417259283 11107323904 193806 33554432000 4194304 4196468 140734795709216 140273334258704 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2057] ppid=1998 vsize=10846996 memory=773176 CPUtime=8.11 cores=1,3,5,7
/proc/2001/task/2057/stat : 2057 (java) S 1998 2001 30988 0 -1 1077944384 7348 13302 0 0 761 42 5 3 20 0 15 0 417259283 11107323904 193806 33554432000 4194304 4196468 140734795709216 140273233149072 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2058] ppid=1998 vsize=10846996 memory=775224 CPUtime=8.13 cores=1,3,5,7
/proc/2001/task/2058/stat : 2058 (java) S 1998 2001 30988 0 -1 1077944384 7682 13302 0 0 763 42 5 3 20 0 15 0 417259283 11107323904 193806 33554432000 4194304 4196468 140734795709216 140273232096016 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2059] ppid=1998 vsize=10846996 memory=775224 CPUtime=8.11 cores=1,3,5,7
/proc/2001/task/2059/stat : 2059 (java) S 1998 2001 30988 0 -1 1077944384 6619 13302 0 0 762 41 5 3 20 0 15 0 417259283 11107323904 193806 33554432000 4194304 4196468 140734795709216 140273231043472 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2060] ppid=1998 vsize=10846996 memory=775224 CPUtime=7.3 cores=1,3,5,7
/proc/2001/task/2060/stat : 2060 (java) S 1998 2001 30988 0 -1 1077944384 9991 13302 0 0 680 42 5 3 20 0 15 0 417259285 11107323904 193806 33554432000 4194304 4196468 140734795709216 140272789494000 140273330027138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2061] ppid=1998 vsize=10846996 memory=775224 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2061/stat : 2061 (java) S 1998 2001 30988 0 -1 1077944384 31 13302 0 0 0 0 5 3 20 0 15 0 417259285 11107323904 193806 33554432000 4194304 4196468 140734795709216 140272692356320 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2062] ppid=1998 vsize=10846996 memory=3484 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2062/stat : 2062 (java) S 1998 2001 30988 0 -1 1077944384 32 13302 0 0 0 0 5 3 20 0 15 0 417259285 11107323904 193806 33554432000 4194304 4196468 140734795709216 140272088376064 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2063] ppid=1998 vsize=10846996 memory=17660 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2063/stat : 2063 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259288 11107323904 193806 33554432000 4194304 4196468 140734795709216 140271848085456 140273330034587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2064] ppid=1998 vsize=10846996 memory=984 CPUtime=5.25 cores=1,3,5,7
/proc/2001/task/2064/stat : 2064 (java) S 1998 2001 30988 0 -1 1077944384 36774 13302 0 0 509 8 5 3 20 0 15 0 417259288 11107323904 193806 33554432000 4194304 4196468 140734795709216 140272788441840 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2065] ppid=1998 vsize=10846996 memory=775224 CPUtime=5.05 cores=1,3,5,7
/proc/2001/task/2065/stat : 2065 (java) S 1998 2001 30988 0 -1 1077944384 39419 13302 0 0 490 7 5 3 20 0 15 0 417259288 11107323904 193806 33554432000 4194304 4196468 140734795709216 140272787389296 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2066] ppid=1998 vsize=10846996 memory=775224 CPUtime=5.04 cores=1,3,5,7
/proc/2001/task/2066/stat : 2066 (java) S 1998 2001 30988 0 -1 1077944384 36159 13302 0 0 486 10 5 3 20 0 15 0 417259288 11107323904 193806 33554432000 4194304 4196468 140734795709216 140272786336240 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2067] ppid=1998 vsize=10846996 memory=2200 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2067/stat : 2067 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 417259288 11107323904 193806 33554432000 4194304 4196468 140734795709216 140271814527840 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2068] ppid=1998 vsize=10846996 memory=1600 CPUtime=1.24 cores=1,3,5,7
/proc/2001/task/2068/stat : 2068 (java) S 1998 2001 30988 0 -1 1077944384 1397 13302 0 0 59 57 5 3 20 0 15 0 417259289 11107323904 193806 33554432000 4194304 4196468 140734795709216 140272785283632 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846996 KiB
Current children cumulated memory: 775224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2481.63 s]
# the end of solver process 2001 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.28 s, system=2.93067 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2481.61 s]
/proc/loadavg: 1.08 1.31 1.40 7/232 2460
/proc/meminfo: memFree=30182112/32770624 swapFree=67009528/67108860
[pid=2001] ppid=1998 vsize=11043612 memory=779408 CPUtime=2520.18 cores=1,3,5,7
/proc/2001/stat : 2001 (java) S 1998 2001 30988 0 -1 1077944320 223088 13302 0 0 251721 289 5 3 20 0 17 0 417259273 11308658688 194852 33554432000 4194304 4196468 140734795709216 140734795691760 140273330015991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
/proc/2001/statm: 2760903 194852 3633 1 0 2722959 0
[pid=2001/tid=2055] ppid=1998 vsize=11043612 memory=775224 CPUtime=2464.44 cores=1,3,5,7
/proc/2001/task/2055/stat : 2055 (java) R 1998 2001 30988 0 -1 4202560 64212 13302 0 0 246398 38 5 3 20 0 17 0 417259283 11308658688 194852 33554432000 4194304 4196468 140734795709216 140273301851056 140272925787036 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2056] ppid=1998 vsize=11043612 memory=1060 CPUtime=8.12 cores=1,3,5,7
/proc/2001/task/2056/stat : 2056 (java) S 1998 2001 30988 0 -1 1077944384 11080 13302 0 0 758 46 5 3 20 0 17 0 417259283 11308658688 194852 33554432000 4194304 4196468 140734795709216 140273334258704 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2057] ppid=1998 vsize=11043612 memory=7988 CPUtime=8.11 cores=1,3,5,7
/proc/2001/task/2057/stat : 2057 (java) S 1998 2001 30988 0 -1 1077944384 7348 13302 0 0 761 42 5 3 20 0 17 0 417259283 11308658688 194852 33554432000 4194304 4196468 140734795709216 140273233149072 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2058] ppid=1998 vsize=11043612 memory=1584 CPUtime=8.13 cores=1,3,5,7
/proc/2001/task/2058/stat : 2058 (java) S 1998 2001 30988 0 -1 1077944384 7682 13302 0 0 763 42 5 3 20 0 17 0 417259283 11308658688 194852 33554432000 4194304 4196468 140734795709216 140273232096016 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2059] ppid=1998 vsize=11043612 memory=14008 CPUtime=8.11 cores=1,3,5,7
/proc/2001/task/2059/stat : 2059 (java) S 1998 2001 30988 0 -1 1077944384 6619 13302 0 0 762 41 5 3 20 0 17 0 417259283 11308658688 194852 33554432000 4194304 4196468 140734795709216 140273231043472 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2060] ppid=1998 vsize=11043612 memory=6072 CPUtime=7.3 cores=1,3,5,7
/proc/2001/task/2060/stat : 2060 (java) S 1998 2001 30988 0 -1 1077944384 9991 13302 0 0 680 42 5 3 20 0 17 0 417259285 11308658688 194852 33554432000 4194304 4196468 140734795709216 140272789494000 140273330027138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2061] ppid=1998 vsize=11043612 memory=13948 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2061/stat : 2061 (java) S 1998 2001 30988 0 -1 1077944384 31 13302 0 0 0 0 5 3 20 0 17 0 417259285 11308658688 194852 33554432000 4194304 4196468 140734795709216 140272692356320 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2062] ppid=1998 vsize=11043612 memory=775224 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2062/stat : 2062 (java) S 1998 2001 30988 0 -1 1077944384 32 13302 0 0 0 0 5 3 20 0 17 0 417259285 11308658688 194852 33554432000 4194304 4196468 140734795709216 140272088376064 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2063] ppid=1998 vsize=11043612 memory=1948 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2063/stat : 2063 (java) S 1998 2001 30988 0 -1 1077944384 84 13302 0 0 0 0 5 3 20 0 17 0 417259288 11308658688 194852 33554432000 4194304 4196468 140734795709216 140271848085456 140273330034587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2064] ppid=1998 vsize=11043612 memory=1296 CPUtime=5.25 cores=1,3,5,7
/proc/2001/task/2064/stat : 2064 (java) S 1998 2001 30988 0 -1 1077944384 36774 13302 0 0 509 8 5 3 20 0 17 0 417259288 11308658688 194852 33554432000 4194304 4196468 140734795709216 140272788441840 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2065] ppid=1998 vsize=11043612 memory=8112282956445269571 CPUtime=5.05 cores=1,3,5,7
/proc/2001/task/2065/stat : 2065 (java) S 1998 2001 30988 0 -1 1077944384 39419 13302 0 0 490 7 5 3 20 0 17 0 417259288 11308658688 194852 33554432000 4194304 4196468 140734795709216 140272787389296 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2066] ppid=1998 vsize=11043612 memory=1188 CPUtime=5.04 cores=1,3,5,7
/proc/2001/task/2066/stat : 2066 (java) S 1998 2001 30988 0 -1 1077944384 36159 13302 0 0 486 10 5 3 20 0 17 0 417259288 11308658688 194852 33554432000 4194304 4196468 140734795709216 140272786336240 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2067] ppid=1998 vsize=11043612 memory=1060 CPUtime=0.08 cores=1,3,5,7
/proc/2001/task/2067/stat : 2067 (java) S 1998 2001 30988 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 17 0 417259288 11308658688 194852 33554432000 4194304 4196468 140734795709216 140271814527840 140273330026197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
[pid=2001/tid=2068] ppid=1998 vsize=11043612 memory=7988 CPUtime=1.24 cores=1,3,5,7
/proc/2001/task/2068/stat : 2068 (java) S 1998 2001 30988 0 -1 1077944384 1397 13302 0 0 59 57 5 3 20 0 17 0 417259289 11308658688 194852 33554432000 4194304 4196468 140734795709216 140272785283632 140273330027138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140734795717359 140734795719877 140734795719877 140734795722703 0
Current children cumulated CPU time: 2520.18 s
Current children cumulated vsize: 11043612 KiB
Current children cumulated memory: 779408 KiB
Child status: 143
Real time (s): 2481.63
CPU time (s): 2520.21
CPU user time (s): 2517.28
CPU system time (s): 2.93067
CPU usage (%): 101.555
Max. virtual memory (cumulated for all children) (KiB): 11043612
Max. memory (cumulated for all children) (KiB): 779408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.28
system time used= 2.93067
maximum resident set size= 779432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237060
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 229423
involuntary context switches= 6255
# summary of solver processes directly reported to runsolver:
# pid: 2001
# total CPU time (s): 2520.21
# total CPU user time (s): 2517.28
# total CPU system time (s): 2.93067
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5212 second user time and 23.4551 second system time
The end