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 (12601 MiB free)
memory of node 1: 16384 MiB (14748 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301253-1532877057/watcher-4301253-1532877057 -o /tmp/evaluation-result-4301253-1532877057/solver-4301253-1532877057 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532875965-20369 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301253-1532877057.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21423, runsolver pid=21420
Current StackSize limit: 8192 KiB
[startup+0.103005 s]*
/proc/loadavg: 2.19 2.45 2.40 3/217 21438
/proc/meminfo: memFree=27986984/32770624 swapFree=67108792/67108860
[pid=21423] ppid=21420 vsize=10659012 memory=29980 CPUtime=0.13 cores=1,3,5,7
/proc/21423/stat : 21423 (java) S 21420 21423 16915 0 -1 1077944320 6591 0 0 0 12 1 0 0 20 0 15 0 105268936 10914828288 7495 33554432000 4194304 4196468 140727516022384 140727516004928 140578089733879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
/proc/21423/statm: 2664753 7495 2817 1 0 2627263 0
[pid=21423/tid=21425] ppid=21420 vsize=10659012 memory=-8125511277465734522 CPUtime=0.1 cores=1,3,5,7
/proc/21423/task/21425/stat : 21425 (java) R 21420 21423 16915 0 -1 4202560 4435 0 0 0 9 1 0 0 20 0 15 0 105268937 10914828288 7495 33554432000 4194304 4196468 140727516022384 140578093951488 140578073814396 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21426] ppid=21420 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21426/stat : 21426 (java) S 21420 21423 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105268937 10914828288 7495 33554432000 4194304 4196468 140727516022384 140578042353936 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21427] ppid=21420 vsize=10659012 memory=140365697930880 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21427/stat : 21427 (java) S 21420 21423 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105268937 10914828288 7495 33554432000 4194304 4196468 140727516022384 140578041301392 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21428] ppid=21420 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21428/stat : 21428 (java) S 21420 21423 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105268937 10914828288 7495 33554432000 4194304 4196468 140727516022384 140578040248848 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21429] ppid=21420 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21429/stat : 21429 (java) S 21420 21423 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105268937 10914828288 7495 33554432000 4194304 4196468 140727516022384 140578039196304 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21430] ppid=21420 vsize=10659012 memory=140365697930880 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21430/stat : 21430 (java) S 21420 21423 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105268939 10914828288 7495 33554432000 4194304 4196468 140727516022384 140577649527280 140578089745026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21431] ppid=21420 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21431/stat : 21431 (java) S 21420 21423 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105268939 10914828288 7495 33554432000 4194304 4196468 140727516022384 140577648473504 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21432] ppid=21420 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21432/stat : 21432 (java) S 21420 21423 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105268939 10914828288 7495 33554432000 4194304 4196468 140727516022384 140577647420912 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21433] ppid=21420 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21433/stat : 21433 (java) S 21420 21423 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105268942 10914828288 7495 33554432000 4194304 4196468 140727516022384 140577646369488 140578089752475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21434] ppid=21420 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21434/stat : 21434 (java) S 21420 21423 16915 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 105268942 10914828288 7495 33554432000 4194304 4196468 140727516022384 140577645316080 140578089745026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21435] ppid=21420 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21435/stat : 21435 (java) S 21420 21423 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105268942 10914828288 7495 33554432000 4194304 4196468 140727516022384 140577644263536 140578089745026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21436] ppid=21420 vsize=10659012 memory=140365697930880 CPUtime=0.02 cores=1,3,5,7
/proc/21423/task/21436/stat : 21436 (java) S 21420 21423 16915 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 15 0 105268942 10914828288 7495 33554432000 4194304 4196468 140727516022384 140577643210992 140578089745026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21437] ppid=21420 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21437/stat : 21437 (java) S 21420 21423 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105268942 10914828288 7495 33554432000 4194304 4196468 140727516022384 140577642158688 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21438] ppid=21420 vsize=10659012 memory=140365697930880 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21438/stat : 21438 (java) S 21420 21423 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105268942 10914828288 7495 33554432000 4194304 4196468 140727516022384 140577641106224 140578089745026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 29980 KiB
[startup+0.211574 s]*
/proc/loadavg: 2.19 2.45 2.40 4/217 21438
/proc/meminfo: memFree=27976500/32770624 swapFree=67108792/67108860
[pid=21423] ppid=21420 vsize=10659012 memory=40660 CPUtime=0.33 cores=1,3,5,7
/proc/21423/stat : 21423 (java) S 21420 21423 16915 0 -1 1077944320 7832 0 0 0 31 2 0 0 20 0 15 0 105268936 10914828288 10165 33554432000 4194304 4196468 140727516022384 140727516004928 140578089733879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
/proc/21423/statm: 2664753 10165 2968 1 0 2627263 0
[pid=21423/tid=21425] ppid=21420 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/21423/task/21425/stat : 21425 (java) R 21420 21423 16915 0 -1 4202560 5005 0 0 0 19 1 0 0 20 0 15 0 105268937 10914828288 10165 33554432000 4194304 4196468 140727516022384 140578093955008 140578073814366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21426] ppid=21420 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21426/stat : 21426 (java) S 21420 21423 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105268937 10914828288 10165 33554432000 4194304 4196468 140727516022384 140578042353936 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21427] ppid=21420 vsize=10659012 memory=288370741849642624 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21427/stat : 21427 (java) S 21420 21423 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105268937 10914828288 10165 33554432000 4194304 4196468 140727516022384 140578041301392 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21428] ppid=21420 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21428/stat : 21428 (java) S 21420 21423 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105268937 10914828288 10165 33554432000 4194304 4196468 140727516022384 140578040248848 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21429] ppid=21420 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21429/stat : 21429 (java) S 21420 21423 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105268937 10914828288 10165 33554432000 4194304 4196468 140727516022384 140578039196304 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21430] ppid=21420 vsize=10659012 memory=140365697930880 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21430/stat : 21430 (java) S 21420 21423 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105268939 10914828288 10165 33554432000 4194304 4196468 140727516022384 140577649527280 140578089745026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21431] ppid=21420 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21431/stat : 21431 (java) S 21420 21423 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105268939 10914828288 10165 33554432000 4194304 4196468 140727516022384 140577648473504 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21432] ppid=21420 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21432/stat : 21432 (java) S 21420 21423 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105268939 10914828288 10165 33554432000 4194304 4196468 140727516022384 140577647420912 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21433] ppid=21420 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21433/stat : 21433 (java) S 21420 21423 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105268942 10914828288 10165 33554432000 4194304 4196468 140727516022384 140577646369488 140578089752475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21434] ppid=21420 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21423/task/21434/stat : 21434 (java) S 21420 21423 16915 0 -1 1077944384 652 0 0 0 2 0 0 0 20 0 15 0 105268942 10914828288 10165 33554432000 4194304 4196468 140727516022384 140577645316080 140578089745026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21435] ppid=21420 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/21423/task/21435/stat : 21435 (java) R 21420 21423 16915 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 15 0 105268942 10914828288 10165 33554432000 4194304 4196468 140727516022384 140577644263536 140578089745026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21436] ppid=21420 vsize=10659012 memory=140365697930880 CPUtime=0.07 cores=1,3,5,7
/proc/21423/task/21436/stat : 21436 (java) R 21420 21423 16915 0 -1 1077944384 705 0 0 0 7 0 0 0 20 0 15 0 105268942 10914828288 10165 33554432000 4194304 4196468 140727516022384 140577643210992 140578089745026 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21437] ppid=21420 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21437/stat : 21437 (java) S 21420 21423 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105268942 10914828288 10165 33554432000 4194304 4196468 140727516022384 140577642158688 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21438] ppid=21420 vsize=10659012 memory=140365697930880 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21438/stat : 21438 (java) S 21420 21423 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105268942 10914828288 10165 33554432000 4194304 4196468 140727516022384 140577641106224 140578089745026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 40660 KiB
[startup+0.310735 s]*
/proc/loadavg: 2.19 2.45 2.40 5/217 21438
/proc/meminfo: memFree=27963908/32770624 swapFree=67108792/67108860
[pid=21423] ppid=21420 vsize=10659012 memory=54052 CPUtime=0.6 cores=1,3,5,7
/proc/21423/stat : 21423 (java) S 21420 21423 16915 0 -1 1077944320 9539 0 0 0 57 3 0 0 20 0 15 0 105268936 10914828288 13513 33554432000 4194304 4196468 140727516022384 140727516004928 140578089733879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
/proc/21423/statm: 2664753 13513 3050 1 0 2627263 0
[pid=21423/tid=21425] ppid=21420 vsize=10659012 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/21423/task/21425/stat : 21425 (java) R 21420 21423 16915 0 -1 4202560 5333 0 0 0 29 1 0 0 20 0 15 0 105268937 10914828288 13579 33554432000 4194304 4196468 140727516022384 140578093969744 140578089755805 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21426] ppid=21420 vsize=10659012 memory=4294977868 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21426/stat : 21426 (java) S 21420 21423 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105268937 10914828288 13579 33554432000 4194304 4196468 140727516022384 140578042353936 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21427] ppid=21420 vsize=10659012 memory=288370741849642624 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21427/stat : 21427 (java) S 21420 21423 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105268937 10914828288 13579 33554432000 4194304 4196468 140727516022384 140578041301392 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21428] ppid=21420 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21428/stat : 21428 (java) S 21420 21423 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105268937 10914828288 13579 33554432000 4194304 4196468 140727516022384 140578040248848 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21429] ppid=21420 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21429/stat : 21429 (java) S 21420 21423 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105268937 10914828288 13579 33554432000 4194304 4196468 140727516022384 140578039196304 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21430] ppid=21420 vsize=10659012 memory=140365697930880 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21430/stat : 21430 (java) S 21420 21423 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105268939 10914828288 13579 33554432000 4194304 4196468 140727516022384 140577649527280 140578089745026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21431] ppid=21420 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21431/stat : 21431 (java) S 21420 21423 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105268939 10914828288 13579 33554432000 4194304 4196468 140727516022384 140577648473504 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21432] ppid=21420 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21432/stat : 21432 (java) S 21420 21423 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105268939 10914828288 13579 33554432000 4194304 4196468 140727516022384 140577647420912 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21433] ppid=21420 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21433/stat : 21433 (java) S 21420 21423 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105268942 10914828288 13579 33554432000 4194304 4196468 140727516022384 140577646369488 140578089752475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21434] ppid=21420 vsize=10659012 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21423/task/21434/stat : 21434 (java) R 21420 21423 16915 0 -1 4202560 1434 0 0 0 8 0 0 0 20 0 15 0 105268942 10914828288 13579 33554432000 4194304 4196468 140727516022384 140577645297096 140578070435141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21435] ppid=21420 vsize=10659012 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21423/task/21435/stat : 21435 (java) R 21420 21423 16915 0 -1 4202560 414 0 0 0 7 0 0 0 20 0 15 0 105268942 10914828288 13579 33554432000 4194304 4196468 140727516022384 140577644244440 140578069390288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21436] ppid=21420 vsize=10659012 memory=140365697930880 CPUtime=0.13 cores=1,3,5,7
/proc/21423/task/21436/stat : 21436 (java) S 21420 21423 16915 0 -1 1077944384 1083 0 0 0 13 0 0 0 20 0 15 0 105268942 10914828288 13579 33554432000 4194304 4196468 140727516022384 140577643210992 140578089745026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21437] ppid=21420 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21437/stat : 21437 (java) S 21420 21423 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105268942 10914828288 13579 33554432000 4194304 4196468 140727516022384 140577642158688 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21438] ppid=21420 vsize=10659012 memory=140365697930880 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21438/stat : 21438 (java) S 21420 21423 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105268942 10914828288 13579 33554432000 4194304 4196468 140727516022384 140577641106224 140578089745026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 54052 KiB
[startup+0.700785 s]
/proc/loadavg: 2.19 2.45 2.40 5/217 21438
/proc/meminfo: memFree=27920488/32770624 swapFree=67108792/67108860
[pid=21423] ppid=21420 vsize=10660776 memory=146824 CPUtime=1.95 cores=1,3,5,7
/proc/21423/stat : 21423 (java) S 21420 21423 16915 0 -1 1077944320 16040 0 0 0 190 5 0 0 20 0 15 0 105268936 10916634624 36706 33554432000 4194304 4196468 140727516022384 140727516004928 140578089733879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
/proc/21423/statm: 2665194 36706 3094 1 0 2627685 0
[pid=21423/tid=21425] ppid=21420 vsize=10660776 memory=232406720210709 CPUtime=0.67 cores=1,3,5,7
/proc/21423/task/21425/stat : 21425 (java) R 21420 21423 16915 0 -1 4202560 5836 0 0 0 65 2 0 0 20 0 15 0 105268937 10916634624 36706 33554432000 4194304 4196468 140727516022384 140578093971840 140577722314080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21426] ppid=21420 vsize=10660776 memory=3977296629253554382 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21426/stat : 21426 (java) S 21420 21423 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105268937 10916634624 36706 33554432000 4194304 4196468 140727516022384 140578042353936 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21427] ppid=21420 vsize=10660776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21427/stat : 21427 (java) S 21420 21423 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105268937 10916634624 36706 33554432000 4194304 4196468 140727516022384 140578041301392 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21428] ppid=21420 vsize=10660776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21428/stat : 21428 (java) S 21420 21423 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105268937 10916634624 36706 33554432000 4194304 4196468 140727516022384 140578040248848 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21429] ppid=21420 vsize=10660776 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21429/stat : 21429 (java) S 21420 21423 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105268937 10916634624 36706 33554432000 4194304 4196468 140727516022384 140578039196304 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21430] ppid=21420 vsize=10660776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21430/stat : 21430 (java) S 21420 21423 16915 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105268939 10916634624 36706 33554432000 4194304 4196468 140727516022384 140577649527280 140578089745026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21431] ppid=21420 vsize=10660776 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21431/stat : 21431 (java) S 21420 21423 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105268939 10916634624 36706 33554432000 4194304 4196468 140727516022384 140577648473504 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21432] ppid=21420 vsize=10660776 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21432/stat : 21432 (java) S 21420 21423 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105268939 10916634624 36706 33554432000 4194304 4196468 140727516022384 140577647420912 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21433] ppid=21420 vsize=10660776 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21433/stat : 21433 (java) S 21420 21423 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105268942 10916634624 36706 33554432000 4194304 4196468 140727516022384 140577646369488 140578089752475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21434] ppid=21420 vsize=10660776 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/21423/task/21434/stat : 21434 (java) R 21420 21423 16915 0 -1 4202560 3032 0 0 0 45 0 0 0 20 0 15 0 105268942 10916634624 36706 33554432000 4194304 4196468 140727516022384 140577645302264 140578071279243 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21435] ppid=21420 vsize=10660776 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/21423/task/21435/stat : 21435 (java) R 21420 21423 16915 0 -1 4202560 2742 0 0 0 44 0 0 0 20 0 15 0 105268942 10916634624 36706 33554432000 4194304 4196468 140727516022384 140577644249512 140578074843619 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21436] ppid=21420 vsize=10660776 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/21423/task/21436/stat : 21436 (java) S 21420 21423 16915 0 -1 1077944384 3060 0 0 0 34 0 0 0 20 0 15 0 105268942 10916634624 36706 33554432000 4194304 4196468 140727516022384 140577643210992 140578089745026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21437] ppid=21420 vsize=10660776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21437/stat : 21437 (java) S 21420 21423 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105268942 10916634624 36706 33554432000 4194304 4196468 140727516022384 140577642158688 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21438] ppid=21420 vsize=10660776 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21438/stat : 21438 (java) S 21420 21423 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105268942 10916634624 36706 33554432000 4194304 4196468 140727516022384 140577641106224 140578089745026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
Current children cumulated CPU time: 1.95 s
Current children cumulated vsize: 10660776 KiB
Current children cumulated memory: 146824 KiB
[startup+1.50076 s]
/proc/loadavg: 2.19 2.45 2.40 5/217 21438
/proc/meminfo: memFree=27792792/32770624 swapFree=67108792/67108860
[pid=21423] ppid=21420 vsize=10659088 memory=270212 CPUtime=4.51 cores=1,3,5,7
/proc/21423/stat : 21423 (java) S 21420 21423 16915 0 -1 1077944320 25995 0 0 0 441 10 0 0 20 0 15 0 105268936 10914906112 67553 33554432000 4194304 4196468 140727516022384 140727516004928 140578089733879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
/proc/21423/statm: 2664772 67553 3141 1 0 2627263 0
[pid=21423/tid=21425] ppid=21420 vsize=10659088 memory=10799 CPUtime=1.41 cores=1,3,5,7
/proc/21423/task/21425/stat : 21425 (java) R 21420 21423 16915 0 -1 4202560 5950 0 0 0 137 4 0 0 20 0 15 0 105268937 10914906112 67553 33554432000 4194304 4196468 140727516022384 140578093969776 140577723673983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21426] ppid=21420 vsize=10659088 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/21423/task/21426/stat : 21426 (java) S 21420 21423 16915 0 -1 1077944384 50 0 0 0 4 0 0 0 20 0 15 0 105268937 10914906112 67553 33554432000 4194304 4196468 140727516022384 140578042353936 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21427] ppid=21420 vsize=10659088 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21423/task/21427/stat : 21427 (java) S 21420 21423 16915 0 -1 1077944384 30 0 0 0 3 0 0 0 20 0 15 0 105268937 10914906112 67553 33554432000 4194304 4196468 140727516022384 140578041301392 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21428] ppid=21420 vsize=10659088 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21423/task/21428/stat : 21428 (java) S 21420 21423 16915 0 -1 1077944384 147 0 0 0 3 0 0 0 20 0 15 0 105268937 10914906112 67553 33554432000 4194304 4196468 140727516022384 140578040248848 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21429] ppid=21420 vsize=10659088 memory=6943526294502006880 CPUtime=0.02 cores=1,3,5,7
/proc/21423/task/21429/stat : 21429 (java) S 21420 21423 16915 0 -1 1077944384 159 0 0 0 2 0 0 0 20 0 15 0 105268937 10914906112 67553 33554432000 4194304 4196468 140727516022384 140578039196304 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21430] ppid=21420 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21430/stat : 21430 (java) S 21420 21423 16915 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 105268939 10914906112 67553 33554432000 4194304 4196468 140727516022384 140577649527280 140578089745026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
################
# More data... #
################
/proc/21423/statm: 2665284 2105657 3194 1 0 2627775 0
[pid=21423/tid=21425] ppid=21420 vsize=10661136 memory=8512 CPUtime=23.27 cores=1,3,5,7
/proc/21423/task/21425/stat : 21425 (java) S 21420 21423 16915 0 -1 1077944384 34965 0 0 0 2285 42 0 0 20 0 15 0 105268937 10917003264 2105657 33554432000 4194304 4196468 140727516022384 140578093972368 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21426] ppid=21420 vsize=10661136 memory=792 CPUtime=50.37 cores=1,3,5,7
/proc/21423/task/21426/stat : 21426 (java) R 21420 21423 16915 0 -1 4202560 163762 0 0 0 4931 106 0 0 20 0 15 0 105268937 10917003264 2105657 33554432000 4194304 4196468 140727516022384 140578042354136 140578071343545 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21427] ppid=21420 vsize=10661136 memory=1008 CPUtime=50.34 cores=1,3,5,7
/proc/21423/task/21427/stat : 21427 (java) R 21420 21423 16915 0 -1 4202560 202598 0 0 0 4927 107 0 0 20 0 15 0 105268937 10917003264 2105657 33554432000 4194304 4196468 140727516022384 140578041301512 140578082362087 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21428] ppid=21420 vsize=10661136 memory=1728 CPUtime=50.75 cores=1,3,5,7
/proc/21423/task/21428/stat : 21428 (java) R 21420 21423 16915 0 -1 4202560 205937 0 0 0 4971 104 0 0 20 0 15 0 105268937 10917003264 2105657 33554432000 4194304 4196468 140727516022384 140578040248656 140578082362087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21429] ppid=21420 vsize=10661136 memory=1720 CPUtime=50.59 cores=1,3,5,7
/proc/21423/task/21429/stat : 21429 (java) R 21420 21423 16915 0 -1 4202560 236021 0 0 0 4947 112 0 0 20 0 15 0 105268937 10917003264 2105657 33554432000 4194304 4196468 140727516022384 140578039196112 140578082362087 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21430] ppid=21420 vsize=10661136 memory=5760 CPUtime=11.97 cores=1,3,5,7
/proc/21423/task/21430/stat : 21430 (java) S 21420 21423 16915 0 -1 1077944384 32725 0 0 0 1196 1 0 0 20 0 15 0 105268939 10917003264 2105657 33554432000 4194304 4196468 140727516022384 140577649525824 140578089744085 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21431] ppid=21420 vsize=10661136 memory=4588 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21431/stat : 21431 (java) S 21420 21423 16915 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 105268939 10917003264 2105657 33554432000 4194304 4196468 140727516022384 140577648473568 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21432] ppid=21420 vsize=10661136 memory=9920 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21432/stat : 21432 (java) S 21420 21423 16915 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 105268939 10917003264 2105657 33554432000 4194304 4196468 140727516022384 140577647420928 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21433] ppid=21420 vsize=10661136 memory=30328 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21433/stat : 21433 (java) S 21420 21423 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105268942 10917003264 2105657 33554432000 4194304 4196468 140727516022384 140577646369488 140578089752475 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21434] ppid=21420 vsize=10661136 memory=1292 CPUtime=7.33 cores=1,3,5,7
/proc/21423/task/21434/stat : 21434 (java) S 21420 21423 16915 0 -1 1077944384 27200 0 0 0 730 3 0 0 20 0 15 0 105268942 10917003264 2105657 33554432000 4194304 4196468 140727516022384 140577645316128 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21435] ppid=21420 vsize=10661136 memory=2436 CPUtime=6.39 cores=1,3,5,7
/proc/21423/task/21435/stat : 21435 (java) S 21420 21423 16915 0 -1 1077944384 19558 0 0 0 636 3 0 0 20 0 15 0 105268942 10917003264 2105657 33554432000 4194304 4196468 140727516022384 140577644263584 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21436] ppid=21420 vsize=10661136 memory=8363236 CPUtime=0.95 cores=1,3,5,7
/proc/21423/task/21436/stat : 21436 (java) S 21420 21423 16915 0 -1 1077944384 9543 0 0 0 93 2 0 0 20 0 15 0 105268942 10917003264 2105657 33554432000 4194304 4196468 140727516022384 140577643210752 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21437] ppid=21420 vsize=10661136 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21437/stat : 21437 (java) S 21420 21423 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105268942 10917003264 2105657 33554432000 4194304 4196468 140727516022384 140577642158688 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21438] ppid=21420 vsize=10661136 memory=1228 CPUtime=0.05 cores=1,3,5,7
/proc/21423/task/21438/stat : 21438 (java) S 21420 21423 16915 0 -1 1077944384 1322 0 0 0 3 2 0 0 20 0 15 0 105268942 10917003264 2105657 33554432000 4194304 4196468 140727516022384 140577641106224 140578089745026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
Current children cumulated CPU time: 252.13 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8422628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+88.6841 s]
# the end of solver process 21423 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.447 s, system=4.96391 s
Solver just ended.
Dumping a history of the last processes samples
[startup+88.0017 s]*
/proc/loadavg: 3.11 2.68 2.48 6/217 21439
/proc/meminfo: memFree=19532380/32770624 swapFree=67108792/67108860
[pid=21423] ppid=21420 vsize=10661136 memory=8422636 CPUtime=257.73 cores=1,3,5,7
/proc/21423/stat : 21423 (java) S 21420 21423 16915 0 -1 1077944320 967519 0 0 0 25285 488 0 0 20 0 15 0 105268936 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140727516004928 140578089733879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
/proc/21423/statm: 2665284 2105659 3194 1 0 2627775 0
[pid=21423/tid=21425] ppid=21420 vsize=10661136 memory=6791534058613427641 CPUtime=23.27 cores=1,3,5,7
/proc/21423/task/21425/stat : 21425 (java) S 21420 21423 16915 0 -1 1077944384 34965 0 0 0 2285 42 0 0 20 0 15 0 105268937 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140578093972368 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21426] ppid=21420 vsize=10661136 memory=7451326952419386472 CPUtime=51.79 cores=1,3,5,7
/proc/21423/task/21426/stat : 21426 (java) R 21420 21423 16915 0 -1 4202560 172118 0 0 0 5072 107 0 0 20 0 15 0 105268937 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140578042354056 140578074723541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21427] ppid=21420 vsize=10661136 memory=0 CPUtime=51.72 cores=1,3,5,7
/proc/21423/task/21427/stat : 21427 (java) R 21420 21423 16915 0 -1 4202560 210697 0 0 0 5064 108 0 0 20 0 15 0 105268937 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140578041301512 140578074723581 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21428] ppid=21420 vsize=10661136 memory=0 CPUtime=52.16 cores=1,3,5,7
/proc/21423/task/21428/stat : 21428 (java) R 21420 21423 16915 0 -1 4202560 213784 0 0 0 5111 105 0 0 20 0 15 0 105268937 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140578040248968 140578074730388 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21429] ppid=21420 vsize=10661136 memory=4872558044660077418 CPUtime=52 cores=1,3,5,7
/proc/21423/task/21429/stat : 21429 (java) R 21420 21423 16915 0 -1 4202560 244125 0 0 0 5088 112 0 0 20 0 15 0 105268937 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140578039196424 140578082830318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21430] ppid=21420 vsize=10661136 memory=140365571265694 CPUtime=11.97 cores=1,3,5,7
/proc/21423/task/21430/stat : 21430 (java) S 21420 21423 16915 0 -1 1077944384 32725 0 0 0 1196 1 0 0 20 0 15 0 105268939 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577649525824 140578089744085 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21431] ppid=21420 vsize=10661136 memory=280731143527072 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21431/stat : 21431 (java) S 21420 21423 16915 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 105268939 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577648473568 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21432] ppid=21420 vsize=10661136 memory=8370611207638964880 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21432/stat : 21432 (java) S 21420 21423 16915 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 105268939 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577647420928 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21433] ppid=21420 vsize=10661136 memory=1404238533774188406 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21433/stat : 21433 (java) S 21420 21423 16915 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577646369136 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21434] ppid=21420 vsize=10661136 memory=4132774494331964790 CPUtime=7.33 cores=1,3,5,7
/proc/21423/task/21434/stat : 21434 (java) S 21420 21423 16915 0 -1 1077944384 27200 0 0 0 730 3 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577645316128 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21435] ppid=21420 vsize=10661136 memory=3054156605267021953 CPUtime=6.39 cores=1,3,5,7
/proc/21423/task/21435/stat : 21435 (java) S 21420 21423 16915 0 -1 1077944384 19558 0 0 0 636 3 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577644263584 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21436] ppid=21420 vsize=10661136 memory=8370611207638964880 CPUtime=0.95 cores=1,3,5,7
/proc/21423/task/21436/stat : 21436 (java) S 21420 21423 16915 0 -1 1077944384 9543 0 0 0 93 2 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577643210752 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21437] ppid=21420 vsize=10661136 memory=8326441112149131689 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21437/stat : 21437 (java) S 21420 21423 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577642158688 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21438] ppid=21420 vsize=10661136 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/21423/task/21438/stat : 21438 (java) S 21420 21423 16915 0 -1 1077944384 1322 0 0 0 3 2 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577641106224 140578089745026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
Current children cumulated CPU time: 257.73 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8422636 KiB
[startup+88.4007 s]
/proc/loadavg: 3.11 2.68 2.48 6/217 21439
/proc/meminfo: memFree=19532380/32770624 swapFree=67108792/67108860
[pid=21423] ppid=21420 vsize=10661136 memory=8422636 CPUtime=259.12 cores=1,3,5,7
/proc/21423/stat : 21423 (java) S 21420 21423 16915 0 -1 1077944320 967519 0 0 0 25424 488 0 0 20 0 15 0 105268936 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140727516004928 140578089733879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
/proc/21423/statm: 2665284 2105659 3194 1 0 2627775 0
[pid=21423/tid=21425] ppid=21420 vsize=10661136 memory=1576 CPUtime=23.27 cores=1,3,5,7
/proc/21423/task/21425/stat : 21425 (java) S 21420 21423 16915 0 -1 1077944384 34965 0 0 0 2285 42 0 0 20 0 15 0 105268937 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140578093972368 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21426] ppid=21420 vsize=10661136 memory=928 CPUtime=52.12 cores=1,3,5,7
/proc/21423/task/21426/stat : 21426 (java) S 21420 21423 16915 0 -1 1077944384 172118 0 0 0 5105 107 0 0 20 0 15 0 105268937 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140578042353936 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21427] ppid=21420 vsize=10661136 memory=2240 CPUtime=52.05 cores=1,3,5,7
/proc/21423/task/21427/stat : 21427 (java) S 21420 21423 16915 0 -1 1077944384 210697 0 0 0 5097 108 0 0 20 0 15 0 105268937 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140578041301392 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21428] ppid=21420 vsize=10661136 memory=4128 CPUtime=52.5 cores=1,3,5,7
/proc/21423/task/21428/stat : 21428 (java) S 21420 21423 16915 0 -1 1077944384 213784 0 0 0 5145 105 0 0 20 0 15 0 105268937 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140578040248848 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21429] ppid=21420 vsize=10661136 memory=6791534058613427641 CPUtime=52.33 cores=1,3,5,7
/proc/21423/task/21429/stat : 21429 (java) S 21420 21423 16915 0 -1 1077944384 244125 0 0 0 5121 112 0 0 20 0 15 0 105268937 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140578039196304 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21430] ppid=21420 vsize=10661136 memory=288230583166042426 CPUtime=12.03 cores=1,3,5,7
/proc/21423/task/21430/stat : 21430 (java) R 21420 21423 16915 0 -1 4202560 32725 0 0 0 1202 1 0 0 20 0 15 0 105268939 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577649525824 140578074730286 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21431] ppid=21420 vsize=10661136 memory=14410445029116127 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21431/stat : 21431 (java) S 21420 21423 16915 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 105268939 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577648473568 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21432] ppid=21420 vsize=10661136 memory=3008 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21432/stat : 21432 (java) S 21420 21423 16915 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 105268939 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577647420928 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21433] ppid=21420 vsize=10661136 memory=261436 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21433/stat : 21433 (java) S 21420 21423 16915 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577646369136 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21434] ppid=21420 vsize=10661136 memory=1408 CPUtime=7.33 cores=1,3,5,7
/proc/21423/task/21434/stat : 21434 (java) S 21420 21423 16915 0 -1 1077944384 27200 0 0 0 730 3 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577645316128 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21435] ppid=21420 vsize=10661136 memory=2948 CPUtime=6.39 cores=1,3,5,7
/proc/21423/task/21435/stat : 21435 (java) S 21420 21423 16915 0 -1 1077944384 19558 0 0 0 636 3 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577644263584 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21436] ppid=21420 vsize=10661136 memory=8363236 CPUtime=0.95 cores=1,3,5,7
/proc/21423/task/21436/stat : 21436 (java) S 21420 21423 16915 0 -1 1077944384 9543 0 0 0 93 2 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577643210752 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21437] ppid=21420 vsize=10661136 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21437/stat : 21437 (java) S 21420 21423 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577642158688 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21438] ppid=21420 vsize=10661136 memory=4872558044660077418 CPUtime=0.05 cores=1,3,5,7
/proc/21423/task/21438/stat : 21438 (java) S 21420 21423 16915 0 -1 1077944384 1322 0 0 0 3 2 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577641106224 140578089745026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
Current children cumulated CPU time: 259.12 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8422636 KiB
[startup+88.6007 s]
/proc/loadavg: 3.11 2.68 2.48 6/217 21439
/proc/meminfo: memFree=19532380/32770624 swapFree=67108792/67108860
[pid=21423] ppid=21420 vsize=10661136 memory=8422636 CPUtime=259.32 cores=1,3,5,7
/proc/21423/stat : 21423 (java) S 21420 21423 16915 0 -1 1077944320 967519 0 0 0 25444 488 0 0 20 0 15 0 105268936 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140727516004928 140578089733879 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
/proc/21423/statm: 2665284 2105659 3194 1 0 2627775 0
[pid=21423/tid=21425] ppid=21420 vsize=10661136 memory=7367994820037470033 CPUtime=23.27 cores=1,3,5,7
/proc/21423/task/21425/stat : 21425 (java) S 21420 21423 16915 0 -1 1077944384 34965 0 0 0 2285 42 0 0 20 0 15 0 105268937 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140578093972368 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21426] ppid=21420 vsize=10661136 memory=6010425776822829155 CPUtime=52.12 cores=1,3,5,7
/proc/21423/task/21426/stat : 21426 (java) S 21420 21423 16915 0 -1 1077944384 172118 0 0 0 5105 107 0 0 20 0 15 0 105268937 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140578042353936 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21427] ppid=21420 vsize=10661136 memory=5866622872212169831 CPUtime=52.05 cores=1,3,5,7
/proc/21423/task/21427/stat : 21427 (java) S 21420 21423 16915 0 -1 1077944384 210697 0 0 0 5097 108 0 0 20 0 15 0 105268937 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140578041301392 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21428] ppid=21420 vsize=10661136 memory=2209 CPUtime=52.5 cores=1,3,5,7
/proc/21423/task/21428/stat : 21428 (java) S 21420 21423 16915 0 -1 1077944384 213784 0 0 0 5145 105 0 0 20 0 15 0 105268937 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140578040248848 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21429] ppid=21420 vsize=10661136 memory=2209 CPUtime=52.33 cores=1,3,5,7
/proc/21423/task/21429/stat : 21429 (java) S 21420 21423 16915 0 -1 1077944384 244125 0 0 0 5121 112 0 0 20 0 15 0 105268937 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140578039196304 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21430] ppid=21420 vsize=10661136 memory=2209 CPUtime=12.23 cores=1,3,5,7
/proc/21423/task/21430/stat : 21430 (java) R 21420 21423 16915 0 -1 4202560 32725 0 0 0 1222 1 0 0 20 0 15 0 105268939 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577649525824 140578074434554 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21431] ppid=21420 vsize=10661136 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21431/stat : 21431 (java) S 21420 21423 16915 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 105268939 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577648473568 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21432] ppid=21420 vsize=10661136 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21432/stat : 21432 (java) S 21420 21423 16915 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 105268939 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577647420928 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21433] ppid=21420 vsize=10661136 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21433/stat : 21433 (java) S 21420 21423 16915 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577646369136 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21434] ppid=21420 vsize=10661136 memory=2209 CPUtime=7.33 cores=1,3,5,7
/proc/21423/task/21434/stat : 21434 (java) S 21420 21423 16915 0 -1 1077944384 27200 0 0 0 730 3 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577645316128 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21435] ppid=21420 vsize=10661136 memory=2209 CPUtime=6.39 cores=1,3,5,7
/proc/21423/task/21435/stat : 21435 (java) S 21420 21423 16915 0 -1 1077944384 19558 0 0 0 636 3 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577644263584 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21436] ppid=21420 vsize=10661136 memory=2209 CPUtime=0.95 cores=1,3,5,7
/proc/21423/task/21436/stat : 21436 (java) S 21420 21423 16915 0 -1 1077944384 9543 0 0 0 93 2 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577643210752 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21437] ppid=21420 vsize=10661136 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/21423/task/21437/stat : 21437 (java) S 21420 21423 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577642158688 140578089744085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
[pid=21423/tid=21438] ppid=21420 vsize=10661136 memory=2209 CPUtime=0.05 cores=1,3,5,7
/proc/21423/task/21438/stat : 21438 (java) S 21420 21423 16915 0 -1 1077944384 1322 0 0 0 3 2 0 0 20 0 15 0 105268942 10917003264 2105659 33554432000 4194304 4196468 140727516022384 140577641106224 140578089745026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8212480 140727516030070 140727516030222 140727516030222 140727516032975 0
Current children cumulated CPU time: 259.32 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8422636 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 88.6841
CPU time (s): 259.411
CPU user time (s): 254.447
CPU system time (s): 4.96391
CPU usage (%): 292.511
Max. virtual memory (cumulated for all children) (KiB): 10661740
Max. memory (cumulated for all children) (KiB): 8422636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.447
system time used= 4.96391
maximum resident set size= 8422744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 967522
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9353
involuntary context switches= 2344
# summary of solver processes directly reported to runsolver:
# pid: 21423
# total CPU time (s): 259.411
# total CPU user time (s): 254.447
# total CPU system time (s): 4.96391
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.557995 second user time and 0.883599 second system time
The end