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 (14780 MiB free)
memory of node 1: 16384 MiB (13910 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400863-1568697226/watcher-4400863-1568697226 -o /tmp/evaluation-result-4400863-1568697226/solver-4400863-1568697226 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568673290-5121 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=59759252 HOME/instance-4400863-1568697226.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11867, runsolver pid=11864
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 1.47 1.44 1.43 3/220 11924
/proc/meminfo: memFree=29374700/32770624 swapFree=67002012/67108860
[pid=11867] ppid=11864 vsize=9972712 memory=16816 CPUtime=0.1 cores=0,2,4,6
/proc/11867/stat : 11867 (java) S 11864 11867 5090 0 -1 1077944320 4467 13022 0 0 1 1 5 3 20 0 6 0 445636578 10212057088 4204 33554432000 4194304 4196468 140736747478000 140736747460544 140038116134647 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
/proc/11867/statm: 2493178 4204 1935 1 0 2481616 0
[pid=11867/tid=11920] ppid=11864 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11920/stat : 11920 (java) R 11864 11867 5090 0 -1 4202560 2284 13022 0 0 0 0 5 3 20 0 6 0 445636587 10212057088 4270 33554432000 4194304 4196468 140736747478000 140038087971408 140038100215134 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11921] ppid=11864 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11921/stat : 11921 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 6 0 445636588 10212057088 4270 33554432000 4194304 4196468 140736747478000 140038120377104 140038116144853 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11922] ppid=11864 vsize=9972712 memory=140656213554816 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11922/stat : 11922 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 6 0 445636588 10212057088 4270 33554432000 4194304 4196468 140736747478000 140038019267472 140038116144853 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11923] ppid=11864 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11923/stat : 11923 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 6 0 445636588 10212057088 4270 33554432000 4194304 4196468 140736747478000 140038018214928 140038116144853 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11924] ppid=11864 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11924/stat : 11924 (java) S 11864 11867 5090 0 -1 1077944384 2 13022 0 0 0 0 5 3 20 0 6 0 445636588 10212057088 4270 33554432000 4194304 4196468 140736747478000 140038017162384 140038116144853 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB
[startup+0.212004 s]*
/proc/loadavg: 1.47 1.44 1.43 4/229 11933
/proc/meminfo: memFree=29354648/32770624 swapFree=67002012/67108860
[pid=11867] ppid=11864 vsize=10820020 memory=42012 CPUtime=0.27 cores=0,2,4,6
/proc/11867/stat : 11867 (java) S 11864 11867 5090 0 -1 1077944320 7323 13022 0 0 17 2 5 3 20 0 15 0 445636578 11079700480 10503 33554432000 4194304 4196468 140736747478000 140736747460544 140038116134647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
/proc/11867/statm: 2705005 10503 3210 1 0 2667149 0
[pid=11867/tid=11920] ppid=11864 vsize=10820164 memory=5450916389569530688 CPUtime=0.19 cores=0,2,4,6
/proc/11867/task/11920/stat : 11920 (java) R 11864 11867 5090 0 -1 4202560 3853 13022 0 0 10 1 5 3 20 0 15 0 445636587 11079847936 10569 33554432000 4194304 4196468 140736747478000 140038087967696 140038039211894 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11921] ppid=11864 vsize=10820164 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11921/stat : 11921 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 445636588 11079847936 10569 33554432000 4194304 4196468 140736747478000 140038120377104 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11922] ppid=11864 vsize=10820164 memory=140656213554816 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11922/stat : 11922 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 445636588 11079847936 10569 33554432000 4194304 4196468 140736747478000 140038019267472 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11923] ppid=11864 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11923/stat : 11923 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 445636588 11079847936 10569 33554432000 4194304 4196468 140736747478000 140038018214928 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11924] ppid=11864 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11924/stat : 11924 (java) S 11864 11867 5090 0 -1 1077944384 2 13022 0 0 0 0 5 3 20 0 15 0 445636588 11079847936 10569 33554432000 4194304 4196468 140736747478000 140038017162384 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11925] ppid=11864 vsize=10820164 memory=140656213554816 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11925/stat : 11925 (java) S 11864 11867 5090 0 -1 1077944384 2 13022 0 0 0 0 5 3 20 0 15 0 445636589 11079847936 10569 33554432000 4194304 4196468 140736747478000 140037575165936 140038116145794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11926] ppid=11864 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11926/stat : 11926 (java) S 11864 11867 5090 0 -1 1077944384 13 13022 0 0 0 0 5 3 20 0 15 0 445636590 11079847936 10569 33554432000 4194304 4196468 140736747478000 140037073134496 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11927] ppid=11864 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11927/stat : 11927 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 445636590 11079847936 10569 33554432000 4194304 4196468 140736747478000 140036871807984 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11928] ppid=11864 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11928/stat : 11928 (java) S 11864 11867 5090 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 445636593 11079847936 10569 33554432000 4194304 4196468 140736747478000 140036631517392 140038116153243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11929] ppid=11864 vsize=10820164 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11867/task/11929/stat : 11929 (java) R 11864 11867 5090 0 -1 4202560 475 13022 0 0 1 0 5 3 20 0 15 0 445636593 11079847936 10569 33554432000 4194304 4196468 140736747478000 140037574113776 140038109119689 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11930] ppid=11864 vsize=10820176 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11867/task/11930/stat : 11930 (java) S 11864 11867 5090 0 -1 1077944384 180 13022 0 0 1 0 5 3 20 0 15 0 445636593 11079860224 10569 33554432000 4194304 4196468 140736747478000 140037573061232 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11931] ppid=11864 vsize=10820176 memory=140656213554816 CPUtime=0.11 cores=0,2,4,6
/proc/11867/task/11931/stat : 11931 (java) R 11864 11867 5090 0 -1 4202560 604 13022 0 0 3 0 5 3 20 0 15 0 445636593 11079860224 10569 33554432000 4194304 4196468 140736747478000 140037572008688 140038116155994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11932] ppid=11864 vsize=10820176 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11932/stat : 11932 (java) S 11864 11867 5090 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 445636593 11079860224 10569 33554432000 4194304 4196468 140736747478000 140036597959776 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11933] ppid=11864 vsize=10820176 memory=140656213554816 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11933/stat : 11933 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 445636593 11079860224 10569 33554432000 4194304 4196468 140736747478000 140037570955568 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820020 KiB
Current children cumulated memory: 42012 KiB
[startup+0.310376 s]*
/proc/loadavg: 1.47 1.44 1.43 3/229 11933
/proc/meminfo: memFree=29340972/32770624 swapFree=67002012/67108860
[pid=11867] ppid=11864 vsize=10820196 memory=50556 CPUtime=0.4 cores=0,2,4,6
/proc/11867/stat : 11867 (java) S 11864 11867 5090 0 -1 1077944320 10854 13022 0 0 29 3 5 3 20 0 15 0 445636578 11079880704 12639 33554432000 4194304 4196468 140736747478000 140736747460544 140038116134647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
/proc/11867/statm: 2705049 12639 3305 1 0 2667149 0
[pid=11867/tid=11920] ppid=11864 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/11867/task/11920/stat : 11920 (java) R 11864 11867 5090 0 -1 4202560 7348 13022 0 0 19 2 5 3 20 0 15 0 445636587 11079880704 12639 33554432000 4194304 4196468 140736747478000 140038087943600 140736747935958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11921] ppid=11864 vsize=10820196 memory=6009042604835433320 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11921/stat : 11921 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 445636588 11079880704 12639 33554432000 4194304 4196468 140736747478000 140038120377104 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11922] ppid=11864 vsize=10820196 memory=5787213827347079232 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11922/stat : 11922 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 445636588 11079880704 12639 33554432000 4194304 4196468 140736747478000 140038019267472 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11923] ppid=11864 vsize=10820196 memory=7649540044679169985 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11923/stat : 11923 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 445636588 11079880704 12639 33554432000 4194304 4196468 140736747478000 140038018214928 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11924] ppid=11864 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11924/stat : 11924 (java) S 11864 11867 5090 0 -1 1077944384 2 13022 0 0 0 0 5 3 20 0 15 0 445636588 11079880704 12639 33554432000 4194304 4196468 140736747478000 140038017162384 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11925] ppid=11864 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11925/stat : 11925 (java) S 11864 11867 5090 0 -1 1077944384 2 13022 0 0 0 0 5 3 20 0 15 0 445636589 11079880704 12639 33554432000 4194304 4196468 140736747478000 140037575165936 140038116145794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11926] ppid=11864 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11926/stat : 11926 (java) S 11864 11867 5090 0 -1 1077944384 13 13022 0 0 0 0 5 3 20 0 15 0 445636590 11079880704 12639 33554432000 4194304 4196468 140736747478000 140037073134496 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11927] ppid=11864 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11927/stat : 11927 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 445636590 11079880704 12639 33554432000 4194304 4196468 140736747478000 140036871807984 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11928] ppid=11864 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11928/stat : 11928 (java) S 11864 11867 5090 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 445636593 11079880704 12639 33554432000 4194304 4196468 140736747478000 140036631517392 140038116153243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11929] ppid=11864 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/11867/task/11929/stat : 11929 (java) S 11864 11867 5090 0 -1 1077944384 484 13022 0 0 2 0 5 3 20 0 15 0 445636593 11079880704 12639 33554432000 4194304 4196468 140736747478000 140037574113776 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11930] ppid=11864 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11867/task/11930/stat : 11930 (java) S 11864 11867 5090 0 -1 1077944384 181 13022 0 0 1 0 5 3 20 0 15 0 445636593 11079880704 12639 33554432000 4194304 4196468 140736747478000 140037573061232 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11931] ppid=11864 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11867/task/11931/stat : 11931 (java) S 11864 11867 5090 0 -1 1077944384 611 13022 0 0 5 0 5 3 20 0 15 0 445636593 11079880704 12639 33554432000 4194304 4196468 140736747478000 140037572008688 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11932] ppid=11864 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11932/stat : 11932 (java) S 11864 11867 5090 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 445636593 11079880704 12639 33554432000 4194304 4196468 140736747478000 140036597959776 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11933] ppid=11864 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11933/stat : 11933 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 445636593 11079880704 12639 33554432000 4194304 4196468 140736747478000 140037570955568 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50556 KiB
[startup+0.709999 s]
/proc/loadavg: 1.43 1.43 1.43 4/229 11933
/proc/meminfo: memFree=29328060/32770624 swapFree=67002012/67108860
[pid=11867] ppid=11864 vsize=10824364 memory=83464 CPUtime=1.14 cores=0,2,4,6
/proc/11867/stat : 11867 (java) S 11864 11867 5090 0 -1 1077944320 15105 13022 0 0 101 5 5 3 20 0 15 0 445636578 11084148736 20866 33554432000 4194304 4196468 140736747478000 140736747460544 140038116134647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
/proc/11867/statm: 2706091 20866 3513 1 0 2668173 0
[pid=11867/tid=11920] ppid=11864 vsize=10824364 memory=2241 CPUtime=0.68 cores=0,2,4,6
/proc/11867/task/11920/stat : 11920 (java) R 11864 11867 5090 0 -1 4202560 10507 13022 0 0 56 4 5 3 20 0 15 0 445636587 11084148736 20866 33554432000 4194304 4196468 140736747478000 140038087959888 140038095844928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11921] ppid=11864 vsize=10824364 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11921/stat : 11921 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 445636588 11084148736 20866 33554432000 4194304 4196468 140736747478000 140038120377104 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11922] ppid=11864 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11922/stat : 11922 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 445636588 11084148736 20866 33554432000 4194304 4196468 140736747478000 140038019267472 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11923] ppid=11864 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11923/stat : 11923 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 445636588 11084148736 20866 33554432000 4194304 4196468 140736747478000 140038018214928 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11924] ppid=11864 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11924/stat : 11924 (java) S 11864 11867 5090 0 -1 1077944384 2 13022 0 0 0 0 5 3 20 0 15 0 445636588 11084148736 20866 33554432000 4194304 4196468 140736747478000 140038017162384 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11925] ppid=11864 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11925/stat : 11925 (java) S 11864 11867 5090 0 -1 1077944384 6 13022 0 0 0 0 5 3 20 0 15 0 445636589 11084148736 20866 33554432000 4194304 4196468 140736747478000 140037575165936 140038116145794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11926] ppid=11864 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11926/stat : 11926 (java) S 11864 11867 5090 0 -1 1077944384 13 13022 0 0 0 0 5 3 20 0 15 0 445636590 11084148736 20866 33554432000 4194304 4196468 140736747478000 140037073134496 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11927] ppid=11864 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11927/stat : 11927 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 445636590 11084148736 20866 33554432000 4194304 4196468 140736747478000 140036871807984 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11928] ppid=11864 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11928/stat : 11928 (java) S 11864 11867 5090 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 445636593 11084148736 20866 33554432000 4194304 4196468 140736747478000 140036631517392 140038116153243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11929] ppid=11864 vsize=10824364 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/11867/task/11929/stat : 11929 (java) R 11864 11867 5090 0 -1 4202560 886 13022 0 0 14 0 5 3 20 0 15 0 445636593 11084148736 20866 33554432000 4194304 4196468 140736747478000 140037574105232 140038100025468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11930] ppid=11864 vsize=10824364 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/11867/task/11930/stat : 11930 (java) R 11864 11867 5090 0 -1 4202560 629 13022 0 0 12 0 5 3 20 0 15 0 445636593 11084148736 20866 33554432000 4194304 4196468 140736747478000 140037573061152 140038095791056 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11931] ppid=11864 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/11867/task/11931/stat : 11931 (java) R 11864 11867 5090 0 -1 4202560 846 13022 0 0 17 0 5 3 20 0 15 0 445636593 11084148736 20866 33554432000 4194304 4196468 140736747478000 140037572003264 140038094943615 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11932] ppid=11864 vsize=10824364 memory=140656085338096 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11932/stat : 11932 (java) S 11864 11867 5090 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 445636593 11084148736 20866 33554432000 4194304 4196468 140736747478000 140036597959776 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11933] ppid=11864 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11933/stat : 11933 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 445636593 11084148736 20866 33554432000 4194304 4196468 140736747478000 140037570955568 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83464 KiB
[startup+1.50069 s]
/proc/loadavg: 1.43 1.43 1.43 4/229 11933
/proc/meminfo: memFree=29285544/32770624 swapFree=67002012/67108860
[pid=11867] ppid=11864 vsize=10834680 memory=178984 CPUtime=2.66 cores=0,2,4,6
/proc/11867/stat : 11867 (java) S 11864 11867 5090 0 -1 1077944320 22577 13022 0 0 249 9 5 3 20 0 15 0 445636578 11094712320 44746 33554432000 4194304 4196468 140736747478000 140736747460544 140038116134647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
/proc/11867/statm: 2708670 44746 3578 1 0 2670733 0
[pid=11867/tid=11920] ppid=11864 vsize=10834680 memory=21 CPUtime=1.44 cores=0,2,4,6
/proc/11867/task/11920/stat : 11920 (java) R 11864 11867 5090 0 -1 4202560 15855 13022 0 0 130 6 5 3 20 0 15 0 445636587 11094712320 44746 33554432000 4194304 4196468 140736747478000 140038087950720 140038096407296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11921] ppid=11864 vsize=10834680 memory=31 CPUtime=0.09 cores=0,2,4,6
/proc/11867/task/11921/stat : 11921 (java) S 11864 11867 5090 0 -1 1077944384 30 13022 0 0 1 0 5 3 20 0 15 0 445636588 11094712320 44746 33554432000 4194304 4196468 140736747478000 140038120377104 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11922] ppid=11864 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11867/task/11922/stat : 11922 (java) S 11864 11867 5090 0 -1 1077944384 63 13022 0 0 1 0 5 3 20 0 15 0 445636588 11094712320 44746 33554432000 4194304 4196468 140736747478000 140038019267472 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11923] ppid=11864 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11867/task/11923/stat : 11923 (java) S 11864 11867 5090 0 -1 1077944384 292 13022 0 0 1 0 5 3 20 0 15 0 445636588 11094712320 44746 33554432000 4194304 4196468 140736747478000 140038018214928 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11924] ppid=11864 vsize=10834680 memory=96372 CPUtime=0.09 cores=0,2,4,6
/proc/11867/task/11924/stat : 11924 (java) S 11864 11867 5090 0 -1 1077944384 57 13022 0 0 1 0 5 3 20 0 15 0 445636588 11094712320 44746 33554432000 4194304 4196468 140736747478000 140038017162384 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11925] ppid=11864 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11867/task/11925/stat : 11925 (java) S 11864 11867 5090 0 -1 1077944384 126 13022 0 0 1 0 5 3 20 0 15 0 445636589 11094712320 44746 33554432000 4194304 4196468 140736747478000 140037575165936 140038116145794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11926] ppid=11864 vsize=10834680 memory=6296149172610226022 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11926/stat : 11926 (java) S 11864 11867 5090 0 -1 1077944384 13 13022 0 0 0 0 5 3 20 0 15 0 445636590 11094712320 44746 33554432000 4194304 4196468 140736747478000 140037073134560 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11927] ppid=11864 vsize=10834680 memory=7811609441981720418 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11927/stat : 11927 (java) S 11864 11867 5090 0 -1 1077944384 2 13022 0 0 0 0 5 3 20 0 15 0 445636590 11094712320 44746 33554432000 4194304 4196468 140736747478000 140036871808000 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11928] ppid=11864 vsize=10834680 memory=7593723629710763873 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11928/stat : 11928 (java) S 11864 11867 5090 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 445636593 11094712320 44746 33554432000 4194304 4196468 140736747478000 140036631517392 140038116153243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11929] ppid=11864 vsize=10834680 memory=5787218259806017892 CPUtime=0.42 cores=0,2,4,6
/proc/11867/task/11929/stat : 11929 (java) S 11864 11867 5090 0 -1 1077944384 1168 13022 0 0 34 0 5 3 20 0 15 0 445636593 11094712320 44746 33554432000 4194304 4196468 140736747478000 140037574113776 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11930] ppid=11864 vsize=10834680 memory=7738991105855214696 CPUtime=0.44 cores=0,2,4,6
/proc/11867/task/11930/stat : 11930 (java) S 11864 11867 5090 0 -1 1077944384 1179 13022 0 0 36 0 5 3 20 0 15 0 445636593 11094712320 44746 33554432000 4194304 4196468 140736747478000 140037573061232 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11931] ppid=11864 vsize=10834680 memory=6296149172610226022 CPUtime=0.49 cores=0,2,4,6
/proc/11867/task/11931/stat : 11931 (java) R 11864 11867 5090 0 -1 4202560 1580 13022 0 0 41 0 5 3 20 0 15 0 445636593 11094712320 44746 33554432000 4194304 4196468 140736747478000 140037572008688 140038116155994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11932] ppid=11864 vsize=10834680 memory=6296149172610226022 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11932/stat : 11932 (java) S 11864 11867 5090 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 445636593 11094712320 44746 33554432000 4194304 4196468 140736747478000 140036597959776 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11933] ppid=11864 vsize=10834680 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11933/stat : 11933 (java) S 11864 11867 5090 0 -1 1077944384 1 13022 0 0 0 0 5 3 20 0 15 0 445636593 11094712320 44746 33554432000 4194304 4196468 140736747478000 140037570955568 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/11867/task/11920/stat : 11920 (java) R 11864 11867 5090 0 -1 4202560 67651 13022 0 0 235635 55 5 3 20 0 15 0 445636587 11107315712 321782 33554432000 4194304 4196468 140736747478000 140038087970304 140037701134559 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11921] ppid=11864 vsize=10846988 memory=1285080 CPUtime=12.25 cores=0,2,4,6
/proc/11867/task/11921/stat : 11921 (java) S 11864 11867 5090 0 -1 1077944384 14180 13022 0 0 1161 56 5 3 20 0 15 0 445636588 11107315712 321782 33554432000 4194304 4196468 140736747478000 140038120377104 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11922] ppid=11864 vsize=10846988 memory=1287128 CPUtime=12.31 cores=0,2,4,6
/proc/11867/task/11922/stat : 11922 (java) S 11864 11867 5090 0 -1 1077944384 11920 13022 0 0 1167 56 5 3 20 0 15 0 445636588 11107315712 321782 33554432000 4194304 4196468 140736747478000 140038019267472 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11923] ppid=11864 vsize=10846988 memory=1287128 CPUtime=12.25 cores=0,2,4,6
/proc/11867/task/11923/stat : 11923 (java) S 11864 11867 5090 0 -1 1077944384 14831 13022 0 0 1159 58 5 3 20 0 15 0 445636588 11107315712 321782 33554432000 4194304 4196468 140736747478000 140038018214928 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11924] ppid=11864 vsize=10846988 memory=1287128 CPUtime=12.23 cores=0,2,4,6
/proc/11867/task/11924/stat : 11924 (java) S 11864 11867 5090 0 -1 1077944384 10684 13022 0 0 1158 57 5 3 20 0 15 0 445636588 11107315712 321782 33554432000 4194304 4196468 140736747478000 140038017162384 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11925] ppid=11864 vsize=10846988 memory=281312172249216 CPUtime=10.73 cores=0,2,4,6
/proc/11867/task/11925/stat : 11925 (java) S 11864 11867 5090 0 -1 1077944384 17129 13022 0 0 1011 54 5 3 20 0 15 0 445636589 11107315712 321782 33554432000 4194304 4196468 140736747478000 140037575165936 140038116145794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11926] ppid=11864 vsize=10846988 memory=1285068 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11926/stat : 11926 (java) S 11864 11867 5090 0 -1 1077944384 25 13022 0 0 0 0 5 3 20 0 15 0 445636590 11107315712 321782 33554432000 4194304 4196468 140736747478000 140037073134560 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11927] ppid=11864 vsize=10846988 memory=772 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11927/stat : 11927 (java) S 11864 11867 5090 0 -1 1077944384 22 13022 0 0 0 0 5 3 20 0 15 0 445636590 11107315712 321782 33554432000 4194304 4196468 140736747478000 140036871808000 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11928] ppid=11864 vsize=10846988 memory=1287128 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11928/stat : 11928 (java) S 11864 11867 5090 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 445636593 11107315712 321782 33554432000 4194304 4196468 140736747478000 140036631517392 140038116153243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11929] ppid=11864 vsize=10846988 memory=1287128 CPUtime=5.93 cores=0,2,4,6
/proc/11867/task/11929/stat : 11929 (java) S 11864 11867 5090 0 -1 1077944384 25655 13022 0 0 581 4 5 3 20 0 15 0 445636593 11107315712 321782 33554432000 4194304 4196468 140736747478000 140037574113776 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11930] ppid=11864 vsize=10846988 memory=6791534058613427641 CPUtime=6 cores=0,2,4,6
/proc/11867/task/11930/stat : 11930 (java) S 11864 11867 5090 0 -1 1077944384 20887 13022 0 0 590 2 5 3 20 0 15 0 445636593 11107315712 321782 33554432000 4194304 4196468 140736747478000 140037573061232 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11931] ppid=11864 vsize=10846988 memory=928 CPUtime=2.4 cores=0,2,4,6
/proc/11867/task/11931/stat : 11931 (java) S 11864 11867 5090 0 -1 1077944384 18232 13022 0 0 227 5 5 3 20 0 15 0 445636593 11107315712 321782 33554432000 4194304 4196468 140736747478000 140037572008688 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11932] ppid=11864 vsize=10846988 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11932/stat : 11932 (java) S 11864 11867 5090 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 445636593 11107315712 321782 33554432000 4194304 4196468 140736747478000 140036597959776 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11933] ppid=11864 vsize=10846988 memory=1056 CPUtime=1.54 cores=0,2,4,6
/proc/11867/task/11933/stat : 11933 (java) S 11864 11867 5090 0 -1 1077944384 2234 13022 0 0 72 74 5 3 20 0 15 0 445636593 11107315712 321782 33554432000 4194304 4196468 140736747478000 140037570955568 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
Current children cumulated CPU time: 2431.99 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1287128 KiB
[startup+2442.3 s]
/proc/loadavg: 0.79 0.77 0.98 2/207 12205
/proc/meminfo: memFree=29422664/32770624 swapFree=67002032/67108860
[pid=11867] ppid=11864 vsize=10846988 memory=1287164 CPUtime=2493 cores=0,2,4,6
/proc/11867/stat : 11867 (java) S 11864 11867 5090 0 -1 1077944320 207202 13022 0 0 248928 364 5 3 20 0 15 0 445636578 11107315712 321791 33554432000 4194304 4196468 140736747478000 140736747460544 140038116134647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
/proc/11867/statm: 2711747 321791 3630 1 0 2673805 0
[pid=11867/tid=11920] ppid=11864 vsize=10846988 memory=1287164 CPUtime=2416.3 cores=0,2,4,6
/proc/11867/task/11920/stat : 11920 (java) R 11864 11867 5090 0 -1 4202560 68429 13022 0 0 241567 55 5 3 20 0 15 0 445636587 11107315712 321791 33554432000 4194304 4196468 140736747478000 140038087969888 140037695867148 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11921] ppid=11864 vsize=10846988 memory=1287164 CPUtime=12.6 cores=0,2,4,6
/proc/11867/task/11921/stat : 11921 (java) S 11864 11867 5090 0 -1 1077944384 14278 13022 0 0 1194 58 5 3 20 0 15 0 445636588 11107315712 321791 33554432000 4194304 4196468 140736747478000 140038120377104 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11922] ppid=11864 vsize=10846988 memory=1287164 CPUtime=12.65 cores=0,2,4,6
/proc/11867/task/11922/stat : 11922 (java) S 11864 11867 5090 0 -1 1077944384 12004 13022 0 0 1200 57 5 3 20 0 15 0 445636588 11107315712 321791 33554432000 4194304 4196468 140736747478000 140038019267472 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11923] ppid=11864 vsize=10846988 memory=1287164 CPUtime=12.58 cores=0,2,4,6
/proc/11867/task/11923/stat : 11923 (java) S 11864 11867 5090 0 -1 1077944384 14846 13022 0 0 1191 59 5 3 20 0 15 0 445636588 11107315712 321791 33554432000 4194304 4196468 140736747478000 140038018214928 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11924] ppid=11864 vsize=10846988 memory=1287148 CPUtime=12.57 cores=0,2,4,6
/proc/11867/task/11924/stat : 11924 (java) S 11864 11867 5090 0 -1 1077944384 11017 13022 0 0 1191 58 5 3 20 0 15 0 445636588 11107315712 321791 33554432000 4194304 4196468 140736747478000 140038017162384 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11925] ppid=11864 vsize=10846988 memory=1287148 CPUtime=11.01 cores=0,2,4,6
/proc/11867/task/11925/stat : 11925 (java) S 11864 11867 5090 0 -1 1077944384 17338 13022 0 0 1038 55 5 3 20 0 15 0 445636589 11107315712 321791 33554432000 4194304 4196468 140736747478000 140037575165936 140038116145794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11926] ppid=11864 vsize=10846988 memory=1287164 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11926/stat : 11926 (java) S 11864 11867 5090 0 -1 1077944384 25 13022 0 0 0 0 5 3 20 0 15 0 445636590 11107315712 321791 33554432000 4194304 4196468 140736747478000 140037073134560 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11927] ppid=11864 vsize=10846988 memory=1287164 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11927/stat : 11927 (java) S 11864 11867 5090 0 -1 1077944384 22 13022 0 0 0 0 5 3 20 0 15 0 445636590 11107315712 321791 33554432000 4194304 4196468 140736747478000 140036871808000 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11928] ppid=11864 vsize=10846988 memory=1287164 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11928/stat : 11928 (java) S 11864 11867 5090 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 445636593 11107315712 321791 33554432000 4194304 4196468 140736747478000 140036631517392 140038116153243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11929] ppid=11864 vsize=10846988 memory=1287164 CPUtime=5.93 cores=0,2,4,6
/proc/11867/task/11929/stat : 11929 (java) S 11864 11867 5090 0 -1 1077944384 25657 13022 0 0 581 4 5 3 20 0 15 0 445636593 11107315712 321791 33554432000 4194304 4196468 140736747478000 140037574113776 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11930] ppid=11864 vsize=10846988 memory=1287164 CPUtime=6 cores=0,2,4,6
/proc/11867/task/11930/stat : 11930 (java) S 11864 11867 5090 0 -1 1077944384 20889 13022 0 0 590 2 5 3 20 0 15 0 445636593 11107315712 321791 33554432000 4194304 4196468 140736747478000 140037573061232 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11931] ppid=11864 vsize=10846988 memory=1287164 CPUtime=2.4 cores=0,2,4,6
/proc/11867/task/11931/stat : 11931 (java) S 11864 11867 5090 0 -1 1077944384 18234 13022 0 0 227 5 5 3 20 0 15 0 445636593 11107315712 321791 33554432000 4194304 4196468 140736747478000 140037572008688 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11932] ppid=11864 vsize=10846988 memory=1287164 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11932/stat : 11932 (java) S 11864 11867 5090 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 445636593 11107315712 321791 33554432000 4194304 4196468 140736747478000 140036597959776 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11933] ppid=11864 vsize=10846988 memory=1287164 CPUtime=1.57 cores=0,2,4,6
/proc/11867/task/11933/stat : 11933 (java) S 11864 11867 5090 0 -1 1077944384 2252 13022 0 0 73 76 5 3 20 0 15 0 445636593 11107315712 321791 33554432000 4194304 4196468 140736747478000 140037570955568 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
Current children cumulated CPU time: 2493 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1287164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2468.9 s]
/proc/loadavg: 0.86 0.79 0.98 2/207 12208
/proc/meminfo: memFree=29422892/32770624 swapFree=67002032/67108860
[pid=11867] ppid=11864 vsize=10846988 memory=1287168 CPUtime=2520.02 cores=0,2,4,6
/proc/11867/stat : 11867 (java) S 11864 11867 5090 0 -1 1077944320 207985 13022 0 0 251628 366 5 3 20 0 15 0 445636578 11107315712 321792 33554432000 4194304 4196468 140736747478000 140736747460544 140038116134647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
/proc/11867/statm: 2711747 321792 3630 1 0 2673805 0
[pid=11867/tid=11920] ppid=11864 vsize=10846988 memory=0 CPUtime=2442.62 cores=0,2,4,6
/proc/11867/task/11920/stat : 11920 (java) R 11864 11867 5090 0 -1 4202560 68816 13022 0 0 244199 55 5 3 20 0 15 0 445636587 11107315712 321792 33554432000 4194304 4196468 140736747478000 140038087970256 140037705165210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11921] ppid=11864 vsize=10846988 memory=1287168 CPUtime=12.73 cores=0,2,4,6
/proc/11867/task/11921/stat : 11921 (java) S 11864 11867 5090 0 -1 1077944384 14319 13022 0 0 1207 58 5 3 20 0 15 0 445636588 11107315712 321792 33554432000 4194304 4196468 140736747478000 140038120377104 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11922] ppid=11864 vsize=10846988 memory=1287168 CPUtime=12.79 cores=0,2,4,6
/proc/11867/task/11922/stat : 11922 (java) S 11864 11867 5090 0 -1 1077944384 12053 13022 0 0 1214 57 5 3 20 0 15 0 445636588 11107315712 321792 33554432000 4194304 4196468 140736747478000 140038019267472 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11923] ppid=11864 vsize=10846988 memory=1287168 CPUtime=12.72 cores=0,2,4,6
/proc/11867/task/11923/stat : 11923 (java) S 11864 11867 5090 0 -1 1077944384 14923 13022 0 0 1205 59 5 3 20 0 15 0 445636588 11107315712 321792 33554432000 4194304 4196468 140736747478000 140038018214928 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11924] ppid=11864 vsize=10846988 memory=1287168 CPUtime=12.72 cores=0,2,4,6
/proc/11867/task/11924/stat : 11924 (java) S 11864 11867 5090 0 -1 1077944384 11030 13022 0 0 1205 59 5 3 20 0 15 0 445636588 11107315712 321792 33554432000 4194304 4196468 140736747478000 140038017162384 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11925] ppid=11864 vsize=10846988 memory=1287168 CPUtime=11.13 cores=0,2,4,6
/proc/11867/task/11925/stat : 11925 (java) S 11864 11867 5090 0 -1 1077944384 17533 13022 0 0 1049 56 5 3 20 0 15 0 445636589 11107315712 321792 33554432000 4194304 4196468 140736747478000 140037575165936 140038116145794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11926] ppid=11864 vsize=10846988 memory=281312171865600 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11926/stat : 11926 (java) S 11864 11867 5090 0 -1 1077944384 25 13022 0 0 0 0 5 3 20 0 15 0 445636590 11107315712 321792 33554432000 4194304 4196468 140736747478000 140037073134560 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11927] ppid=11864 vsize=10846988 memory=1287148 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11927/stat : 11927 (java) S 11864 11867 5090 0 -1 1077944384 22 13022 0 0 0 0 5 3 20 0 15 0 445636590 11107315712 321792 33554432000 4194304 4196468 140736747478000 140036871808000 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11928] ppid=11864 vsize=10846988 memory=1287168 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11928/stat : 11928 (java) S 11864 11867 5090 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 445636593 11107315712 321792 33554432000 4194304 4196468 140736747478000 140036631517392 140038116153243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11929] ppid=11864 vsize=10846988 memory=6791534058613427641 CPUtime=5.93 cores=0,2,4,6
/proc/11867/task/11929/stat : 11929 (java) S 11864 11867 5090 0 -1 1077944384 25659 13022 0 0 581 4 5 3 20 0 15 0 445636593 11107315712 321792 33554432000 4194304 4196468 140736747478000 140037574113776 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11930] ppid=11864 vsize=10846988 memory=1287168 CPUtime=6 cores=0,2,4,6
/proc/11867/task/11930/stat : 11930 (java) S 11864 11867 5090 0 -1 1077944384 20891 13022 0 0 590 2 5 3 20 0 15 0 445636593 11107315712 321792 33554432000 4194304 4196468 140736747478000 140037573061232 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11931] ppid=11864 vsize=10846988 memory=1287168 CPUtime=2.4 cores=0,2,4,6
/proc/11867/task/11931/stat : 11931 (java) S 11864 11867 5090 0 -1 1077944384 18236 13022 0 0 227 5 5 3 20 0 15 0 445636593 11107315712 321792 33554432000 4194304 4196468 140736747478000 140037572008688 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11932] ppid=11864 vsize=10846988 memory=1287168 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11932/stat : 11932 (java) S 11864 11867 5090 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 445636593 11107315712 321792 33554432000 4194304 4196468 140736747478000 140036597959776 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11933] ppid=11864 vsize=10846988 memory=1287168 CPUtime=1.6 cores=0,2,4,6
/proc/11867/task/11933/stat : 11933 (java) S 11864 11867 5090 0 -1 1077944384 2267 13022 0 0 75 77 5 3 20 0 15 0 445636593 11107315712 321792 33554432000 4194304 4196468 140736747478000 140037570955568 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1287168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.94 s]
# the end of solver process 11867 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.37 s, system=3.71391 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468.9 s]
/proc/loadavg: 0.86 0.79 0.98 2/207 12208
/proc/meminfo: memFree=29422892/32770624 swapFree=67002032/67108860
[pid=11867] ppid=11864 vsize=10846988 memory=1287168 CPUtime=2520.02 cores=0,2,4,6
/proc/11867/stat : 11867 (java) S 11864 11867 5090 0 -1 1077944320 207985 13022 0 0 251628 366 5 3 20 0 15 0 445636578 11107315712 321792 33554432000 4194304 4196468 140736747478000 140736747460544 140038116134647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
/proc/11867/statm: 2711747 321792 3630 1 0 2673805 0
[pid=11867/tid=11920] ppid=11864 vsize=10846988 memory=0 CPUtime=2442.62 cores=0,2,4,6
/proc/11867/task/11920/stat : 11920 (java) R 11864 11867 5090 0 -1 4202560 68816 13022 0 0 244199 55 5 3 20 0 15 0 445636587 11107315712 321792 33554432000 4194304 4196468 140736747478000 140038087970256 140037705165210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11921] ppid=11864 vsize=10846988 memory=1287168 CPUtime=12.73 cores=0,2,4,6
/proc/11867/task/11921/stat : 11921 (java) S 11864 11867 5090 0 -1 1077944384 14319 13022 0 0 1207 58 5 3 20 0 15 0 445636588 11107315712 321792 33554432000 4194304 4196468 140736747478000 140038120377104 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11922] ppid=11864 vsize=10846988 memory=1287168 CPUtime=12.79 cores=0,2,4,6
/proc/11867/task/11922/stat : 11922 (java) S 11864 11867 5090 0 -1 1077944384 12053 13022 0 0 1214 57 5 3 20 0 15 0 445636588 11107315712 321792 33554432000 4194304 4196468 140736747478000 140038019267472 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11923] ppid=11864 vsize=10846988 memory=1287168 CPUtime=12.72 cores=0,2,4,6
/proc/11867/task/11923/stat : 11923 (java) S 11864 11867 5090 0 -1 1077944384 14923 13022 0 0 1205 59 5 3 20 0 15 0 445636588 11107315712 321792 33554432000 4194304 4196468 140736747478000 140038018214928 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11924] ppid=11864 vsize=10846988 memory=1287168 CPUtime=12.72 cores=0,2,4,6
/proc/11867/task/11924/stat : 11924 (java) S 11864 11867 5090 0 -1 1077944384 11030 13022 0 0 1205 59 5 3 20 0 15 0 445636588 11107315712 321792 33554432000 4194304 4196468 140736747478000 140038017162384 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11925] ppid=11864 vsize=10846988 memory=1287168 CPUtime=11.13 cores=0,2,4,6
/proc/11867/task/11925/stat : 11925 (java) S 11864 11867 5090 0 -1 1077944384 17533 13022 0 0 1049 56 5 3 20 0 15 0 445636589 11107315712 321792 33554432000 4194304 4196468 140736747478000 140037575165936 140038116145794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11926] ppid=11864 vsize=10846988 memory=281312171865600 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11926/stat : 11926 (java) S 11864 11867 5090 0 -1 1077944384 25 13022 0 0 0 0 5 3 20 0 15 0 445636590 11107315712 321792 33554432000 4194304 4196468 140736747478000 140037073134560 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11927] ppid=11864 vsize=10846988 memory=1287148 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11927/stat : 11927 (java) S 11864 11867 5090 0 -1 1077944384 22 13022 0 0 0 0 5 3 20 0 15 0 445636590 11107315712 321792 33554432000 4194304 4196468 140736747478000 140036871808000 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11928] ppid=11864 vsize=10846988 memory=1287168 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11928/stat : 11928 (java) S 11864 11867 5090 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 445636593 11107315712 321792 33554432000 4194304 4196468 140736747478000 140036631517392 140038116153243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11929] ppid=11864 vsize=10846988 memory=6791534058613427641 CPUtime=5.93 cores=0,2,4,6
/proc/11867/task/11929/stat : 11929 (java) S 11864 11867 5090 0 -1 1077944384 25659 13022 0 0 581 4 5 3 20 0 15 0 445636593 11107315712 321792 33554432000 4194304 4196468 140736747478000 140037574113776 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11930] ppid=11864 vsize=10846988 memory=1287168 CPUtime=6 cores=0,2,4,6
/proc/11867/task/11930/stat : 11930 (java) S 11864 11867 5090 0 -1 1077944384 20891 13022 0 0 590 2 5 3 20 0 15 0 445636593 11107315712 321792 33554432000 4194304 4196468 140736747478000 140037573061232 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11931] ppid=11864 vsize=10846988 memory=1287168 CPUtime=2.4 cores=0,2,4,6
/proc/11867/task/11931/stat : 11931 (java) S 11864 11867 5090 0 -1 1077944384 18236 13022 0 0 227 5 5 3 20 0 15 0 445636593 11107315712 321792 33554432000 4194304 4196468 140736747478000 140037572008688 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11932] ppid=11864 vsize=10846988 memory=1287168 CPUtime=0.08 cores=0,2,4,6
/proc/11867/task/11932/stat : 11932 (java) S 11864 11867 5090 0 -1 1077944384 3 13022 0 0 0 0 5 3 20 0 15 0 445636593 11107315712 321792 33554432000 4194304 4196468 140736747478000 140036597959776 140038116144853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
[pid=11867/tid=11933] ppid=11864 vsize=10846988 memory=1287168 CPUtime=1.6 cores=0,2,4,6
/proc/11867/task/11933/stat : 11933 (java) S 11864 11867 5090 0 -1 1077944384 2267 13022 0 0 75 77 5 3 20 0 15 0 445636593 11107315712 321792 33554432000 4194304 4196468 140736747478000 140037570955568 140038116145794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140736747481841 140736747484357 140736747484357 140736747487183 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1287168 KiB
Child status: 143
Real time (s): 2468.94
CPU time (s): 2520.08
CPU user time (s): 2516.37
CPU system time (s): 3.71391
CPU usage (%): 102.071
Max. virtual memory (cumulated for all children) (KiB): 10849820
Max. memory (cumulated for all children) (KiB): 1287168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.37
system time used= 3.71391
maximum resident set size= 1291384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221893
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 291882
involuntary context switches= 7071
# summary of solver processes directly reported to runsolver:
# pid: 11867
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.37
# total CPU system time (s): 3.71391
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4608 second user time and 22.1754 second system time
The end