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 (8775 MiB free)
memory of node 1: 16384 MiB (14715 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302916-1532895635/watcher-4302916-1532895635 -o /tmp/evaluation-result-4302916-1532895635/solver-4302916-1532895635 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532894180-24644 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1950264886 -superng HOME/instance-4302916-1532895635.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
Current StackSize limit: 8192 KiB
solver pid=26863, runsolver pid=26860
[startup+0.100107 s]*
/proc/loadavg: 2.81 2.15 1.97 3/207 26920
/proc/meminfo: memFree=24049072/32770624 swapFree=67108792/67108860
[pid=26863] ppid=26860 vsize=10005480 memory=17228 CPUtime=0.08 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 22977 0 -1 1077944320 4485 12960 0 0 1 0 5 2 20 0 6 0 107126796 10245611520 4307 33554432000 4194304 4196468 140735900779104 140735900761648 140419898388215 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
/proc/26863/statm: 2501370 4307 1935 1 0 2489808 0
[pid=26863/tid=26916] ppid=26860 vsize=10011648 memory=4279135704047189902 CPUtime=0.08 cores=1,3,5,7
/proc/26863/task/26916/stat : 26916 (java) R 26860 26863 22977 0 -1 4202560 2302 12960 0 0 1 0 5 2 20 0 6 0 107126805 10251927552 4372 33554432000 4194304 4196468 140735900779104 140419870224976 140419891105178 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26917] ppid=26860 vsize=10019504 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26917/stat : 26917 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 6 0 107126806 10259972096 4372 33554432000 4194304 4196468 140735900779104 140419902630160 140419898398421 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26918] ppid=26860 vsize=10021560 memory=139982608664192 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26918/stat : 26918 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 6 0 107126806 10262077440 4372 33554432000 4194304 4196468 140735900779104 140419796556176 140419898398421 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26919] ppid=26860 vsize=10021560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26919/stat : 26919 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 6 0 107126806 10262077440 4372 33554432000 4194304 4196468 140735900779104 140419437013520 140419898398421 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26920] ppid=26860 vsize=10021560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26920/stat : 26920 (java) S 26860 26863 22977 0 -1 1077944384 2 12960 0 0 0 0 5 2 20 0 6 0 107126806 10262077440 4372 33554432000 4194304 4196468 140735900779104 140419435960976 140419898398421 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17228 KiB
[startup+0.210191 s]*
/proc/loadavg: 2.81 2.15 1.97 3/216 26929
/proc/meminfo: memFree=24025012/32770624 swapFree=67108792/67108860
[pid=26863] ppid=26860 vsize=10985364 memory=46052 CPUtime=0.25 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 22977 0 -1 1077944320 8252 12960 0 0 16 2 5 2 20 0 15 0 107126796 11249012736 11513 33554432000 4194304 4196468 140735900779104 140735900761648 140419898388215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
/proc/26863/statm: 2746341 11513 2948 1 0 2708764 0
[pid=26863/tid=26916] ppid=26860 vsize=10985364 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/26863/task/26916/stat : 26916 (java) R 26860 26863 22977 0 -1 4202560 4910 12960 0 0 11 1 5 2 20 0 15 0 107126805 11249012736 11645 33554432000 4194304 4196468 140735900779104 140419870213024 140419891067933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26917] ppid=26860 vsize=10985364 memory=343 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26917/stat : 26917 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126806 11249012736 11645 33554432000 4194304 4196468 140735900779104 140419902630160 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26918] ppid=26860 vsize=10985364 memory=3978562503195887264 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26918/stat : 26918 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126806 11249012736 11645 33554432000 4194304 4196468 140735900779104 140419796556176 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26919] ppid=26860 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26919/stat : 26919 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126806 11249012736 11711 33554432000 4194304 4196468 140735900779104 140419437013520 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26920] ppid=26860 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26920/stat : 26920 (java) S 26860 26863 22977 0 -1 1077944384 2 12960 0 0 0 0 5 2 20 0 15 0 107126806 11249012736 11711 33554432000 4194304 4196468 140735900779104 140419435960976 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26921] ppid=26860 vsize=10985364 memory=139982608664192 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26921/stat : 26921 (java) S 26860 26863 22977 0 -1 1077944384 2 12960 0 0 0 0 5 2 20 0 15 0 107126807 11249012736 11711 33554432000 4194304 4196468 140735900779104 140418868042224 140419898399362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26922] ppid=26860 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26922/stat : 26922 (java) S 26860 26863 22977 0 -1 1077944384 13 12960 0 0 0 0 5 2 20 0 15 0 107126808 11249012736 11711 33554432000 4194304 4196468 140735900779104 140418788353440 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26923] ppid=26860 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26923/stat : 26923 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126808 11249012736 11711 33554432000 4194304 4196468 140735900779104 140418587026928 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26924] ppid=26860 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26924/stat : 26924 (java) S 26860 26863 22977 0 -1 1077944384 3 12960 0 0 0 0 5 2 20 0 15 0 107126811 11249012736 11777 33554432000 4194304 4196468 140735900779104 140418279627472 140419898406811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26925] ppid=26860 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26863/task/26925/stat : 26925 (java) S 26860 26863 22977 0 -1 1077944384 424 12960 0 0 1 0 5 2 20 0 15 0 107126811 11249012736 11777 33554432000 4194304 4196468 140735900779104 140418866989040 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26926] ppid=26860 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26863/task/26926/stat : 26926 (java) S 26860 26863 22977 0 -1 1077944384 198 12960 0 0 1 0 5 2 20 0 15 0 107126811 11249012736 11777 33554432000 4194304 4196468 140735900779104 140418865936496 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26927] ppid=26860 vsize=10985364 memory=139982608664192 CPUtime=0.1 cores=1,3,5,7
/proc/26863/task/26927/stat : 26927 (java) S 26860 26863 22977 0 -1 1077944384 620 12960 0 0 3 0 5 2 20 0 15 0 107126811 11249012736 11777 33554432000 4194304 4196468 140735900779104 140418864883952 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26928] ppid=26860 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26928/stat : 26928 (java) S 26860 26863 22977 0 -1 1077944384 3 12960 0 0 0 0 5 2 20 0 15 0 107126811 11249012736 11777 33554432000 4194304 4196468 140735900779104 140417848830560 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26929] ppid=26860 vsize=10985364 memory=139982608664192 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26929/stat : 26929 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126811 11249012736 11843 33554432000 4194304 4196468 140735900779104 140418863831856 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 46052 KiB
[startup+0.310191 s]*
/proc/loadavg: 2.81 2.15 1.97 3/216 26929
/proc/meminfo: memFree=24013848/32770624 swapFree=67108792/67108860
[pid=26863] ppid=26860 vsize=10983192 memory=55908 CPUtime=0.38 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 22977 0 -1 1077944320 10489 12960 0 0 28 3 5 2 20 0 15 0 107126796 11246788608 13977 33554432000 4194304 4196468 140735900779104 140735900761648 140419898388215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
/proc/26863/statm: 2745798 13977 3096 1 0 2708109 0
[pid=26863/tid=26916] ppid=26860 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/26863/task/26916/stat : 26916 (java) R 26860 26863 22977 0 -1 4202560 7021 12960 0 0 20 1 5 2 20 0 15 0 107126805 11246788608 13977 33554432000 4194304 4196468 140735900779104 140419870200224 140419882468702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26917] ppid=26860 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26917/stat : 26917 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126806 11246788608 13977 33554432000 4194304 4196468 140735900779104 140419902630160 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26918] ppid=26860 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26918/stat : 26918 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126806 11246788608 13977 33554432000 4194304 4196468 140735900779104 140419796556176 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26919] ppid=26860 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26919/stat : 26919 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126806 11246788608 13977 33554432000 4194304 4196468 140735900779104 140419437013520 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26920] ppid=26860 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26920/stat : 26920 (java) S 26860 26863 22977 0 -1 1077944384 2 12960 0 0 0 0 5 2 20 0 15 0 107126806 11246788608 13977 33554432000 4194304 4196468 140735900779104 140419435960976 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26921] ppid=26860 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26921/stat : 26921 (java) S 26860 26863 22977 0 -1 1077944384 2 12960 0 0 0 0 5 2 20 0 15 0 107126807 11246788608 13977 33554432000 4194304 4196468 140735900779104 140418868042224 140419898399362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26922] ppid=26860 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26922/stat : 26922 (java) S 26860 26863 22977 0 -1 1077944384 13 12960 0 0 0 0 5 2 20 0 15 0 107126808 11246788608 13977 33554432000 4194304 4196468 140735900779104 140418788353440 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26923] ppid=26860 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26923/stat : 26923 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126808 11246788608 13977 33554432000 4194304 4196468 140735900779104 140418587026928 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26924] ppid=26860 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26924/stat : 26924 (java) S 26860 26863 22977 0 -1 1077944384 3 12960 0 0 0 0 5 2 20 0 15 0 107126811 11246788608 13977 33554432000 4194304 4196468 140735900779104 140418279627472 140419898406811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26925] ppid=26860 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26863/task/26925/stat : 26925 (java) S 26860 26863 22977 0 -1 1077944384 424 12960 0 0 1 0 5 2 20 0 15 0 107126811 11246788608 13977 33554432000 4194304 4196468 140735900779104 140418866989040 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26926] ppid=26860 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26863/task/26926/stat : 26926 (java) S 26860 26863 22977 0 -1 1077944384 199 12960 0 0 1 0 5 2 20 0 15 0 107126811 11246788608 13977 33554432000 4194304 4196468 140735900779104 140418865936496 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26927] ppid=26860 vsize=10983192 memory=139982608664192 CPUtime=0.11 cores=1,3,5,7
/proc/26863/task/26927/stat : 26927 (java) S 26860 26863 22977 0 -1 1077944384 626 12960 0 0 4 0 5 2 20 0 15 0 107126811 11246788608 13977 33554432000 4194304 4196468 140735900779104 140418864883952 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26928] ppid=26860 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26928/stat : 26928 (java) S 26860 26863 22977 0 -1 1077944384 3 12960 0 0 0 0 5 2 20 0 15 0 107126811 11246788608 13977 33554432000 4194304 4196468 140735900779104 140417848830560 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26929] ppid=26860 vsize=10983192 memory=139982608664192 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26929/stat : 26929 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126811 11246788608 13977 33554432000 4194304 4196468 140735900779104 140418863831856 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55908 KiB
[startup+0.700752 s]
/proc/loadavg: 2.81 2.15 1.97 4/216 26929
/proc/meminfo: memFree=24001816/32770624 swapFree=67108792/67108860
[pid=26863] ppid=26860 vsize=10983192 memory=88316 CPUtime=0.97 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 22977 0 -1 1077944320 16779 12960 0 0 86 4 5 2 20 0 15 0 107126796 11246788608 22079 33554432000 4194304 4196468 140735900779104 140735900761648 140419898388215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
/proc/26863/statm: 2745798 22079 3239 1 0 2708109 0
[pid=26863/tid=26916] ppid=26860 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/26863/task/26916/stat : 26916 (java) R 26860 26863 22977 0 -1 4202560 12252 12960 0 0 56 3 5 2 20 0 15 0 107126805 11246788608 22079 33554432000 4194304 4196468 140735900779104 140419870208504 140419898410141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26917] ppid=26860 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26917/stat : 26917 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126806 11246788608 22079 33554432000 4194304 4196468 140735900779104 140419902630160 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26918] ppid=26860 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26918/stat : 26918 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126806 11246788608 22079 33554432000 4194304 4196468 140735900779104 140419796556176 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26919] ppid=26860 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26919/stat : 26919 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126806 11246788608 22079 33554432000 4194304 4196468 140735900779104 140419437013520 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26920] ppid=26860 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26920/stat : 26920 (java) S 26860 26863 22977 0 -1 1077944384 2 12960 0 0 0 0 5 2 20 0 15 0 107126806 11246788608 22079 33554432000 4194304 4196468 140735900779104 140419435960976 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26921] ppid=26860 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26921/stat : 26921 (java) S 26860 26863 22977 0 -1 1077944384 5 12960 0 0 0 0 5 2 20 0 15 0 107126807 11246788608 22079 33554432000 4194304 4196468 140735900779104 140418868042224 140419898399362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26922] ppid=26860 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26922/stat : 26922 (java) S 26860 26863 22977 0 -1 1077944384 13 12960 0 0 0 0 5 2 20 0 15 0 107126808 11246788608 22079 33554432000 4194304 4196468 140735900779104 140418788353440 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26923] ppid=26860 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26923/stat : 26923 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126808 11246788608 22079 33554432000 4194304 4196468 140735900779104 140418587026928 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26924] ppid=26860 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26924/stat : 26924 (java) S 26860 26863 22977 0 -1 1077944384 3 12960 0 0 0 0 5 2 20 0 15 0 107126811 11246788608 22079 33554432000 4194304 4196468 140735900779104 140418279627472 140419898406811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26925] ppid=26860 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/26863/task/26925/stat : 26925 (java) S 26860 26863 22977 0 -1 1077944384 816 12960 0 0 8 0 5 2 20 0 15 0 107126811 11246788608 22079 33554432000 4194304 4196468 140735900779104 140418866989040 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26926] ppid=26860 vsize=10983192 memory=139982446568528 CPUtime=0.15 cores=1,3,5,7
/proc/26863/task/26926/stat : 26926 (java) S 26860 26863 22977 0 -1 1077944384 780 12960 0 0 8 0 5 2 20 0 15 0 107126811 11246788608 22079 33554432000 4194304 4196468 140735900779104 140418865936496 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26927] ppid=26860 vsize=10983192 memory=142571439391374 CPUtime=0.2 cores=1,3,5,7
/proc/26863/task/26927/stat : 26927 (java) S 26860 26863 22977 0 -1 1077944384 708 12960 0 0 13 0 5 2 20 0 15 0 107126811 11246788608 22079 33554432000 4194304 4196468 140735900779104 140418864883952 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26928] ppid=26860 vsize=10983192 memory=4136 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26928/stat : 26928 (java) S 26860 26863 22977 0 -1 1077944384 3 12960 0 0 0 0 5 2 20 0 15 0 107126811 11246788608 22079 33554432000 4194304 4196468 140735900779104 140417848830560 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26929] ppid=26860 vsize=10983192 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26929/stat : 26929 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126811 11246788608 22079 33554432000 4194304 4196468 140735900779104 140418863831856 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88316 KiB
[startup+1.50128 s]
/proc/loadavg: 2.81 2.15 1.97 6/216 26929
/proc/meminfo: memFree=23923608/32770624 swapFree=67108792/67108860
[pid=26863] ppid=26860 vsize=10993996 memory=200084 CPUtime=2.98 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 22977 0 -1 1077944320 24089 12960 0 0 282 9 5 2 20 0 15 0 107126796 11257851904 50021 33554432000 4194304 4196468 140735900779104 140735900761648 140419898388215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
/proc/26863/statm: 2748499 50021 3453 1 0 2710157 0
[pid=26863/tid=26916] ppid=26860 vsize=10993996 memory=10799 CPUtime=1.44 cores=1,3,5,7
/proc/26863/task/26916/stat : 26916 (java) R 26860 26863 22977 0 -1 4202560 16047 12960 0 0 131 6 5 2 20 0 15 0 107126805 11257851904 50021 33554432000 4194304 4196468 140735900779104 140419870188384 140419882468702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26917] ppid=26860 vsize=10993996 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26917/stat : 26917 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126806 11257851904 50021 33554432000 4194304 4196468 140735900779104 140419902630160 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26918] ppid=26860 vsize=10993996 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26918/stat : 26918 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126806 11257851904 50021 33554432000 4194304 4196468 140735900779104 140419796556176 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26919] ppid=26860 vsize=10993996 memory=2948 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26919/stat : 26919 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126806 11257851904 50021 33554432000 4194304 4196468 140735900779104 140419437013520 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26920] ppid=26860 vsize=10993996 memory=88316 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26920/stat : 26920 (java) S 26860 26863 22977 0 -1 1077944384 2 12960 0 0 0 0 5 2 20 0 15 0 107126806 11257851904 50021 33554432000 4194304 4196468 140735900779104 140419435960976 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26921] ppid=26860 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26921/stat : 26921 (java) S 26860 26863 22977 0 -1 1077944384 13 12960 0 0 0 0 5 2 20 0 15 0 107126807 11257851904 50021 33554432000 4194304 4196468 140735900779104 140418868042224 140419898399362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26922] ppid=26860 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26922/stat : 26922 (java) S 26860 26863 22977 0 -1 1077944384 13 12960 0 0 0 0 5 2 20 0 15 0 107126808 11257851904 50021 33554432000 4194304 4196468 140735900779104 140418788353440 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26923] ppid=26860 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26923/stat : 26923 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126808 11257851904 50021 33554432000 4194304 4196468 140735900779104 140418587026928 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26924] ppid=26860 vsize=10993996 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26924/stat : 26924 (java) S 26860 26863 22977 0 -1 1077944384 3 12960 0 0 0 0 5 2 20 0 15 0 107126811 11257851904 50021 33554432000 4194304 4196468 140735900779104 140418279627472 140419898406811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26925] ppid=26860 vsize=10993996 memory=4638778398332698720 CPUtime=0.6 cores=1,3,5,7
/proc/26863/task/26925/stat : 26925 (java) R 26860 26863 22977 0 -1 4202560 2453 12960 0 0 53 0 5 2 20 0 15 0 107126811 11257851904 50021 33554432000 4194304 4196468 140735900779104 140418866989040 140419898400150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26926] ppid=26860 vsize=10993996 memory=279964893617024 CPUtime=0.58 cores=1,3,5,7
/proc/26863/task/26926/stat : 26926 (java) S 26860 26863 22977 0 -1 1077944384 1719 12960 0 0 51 0 5 2 20 0 15 0 107126811 11257851904 50021 33554432000 4194304 4196468 140735900779104 140418865936496 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26927] ppid=26860 vsize=10993996 memory=6944656592452807323 CPUtime=0.52 cores=1,3,5,7
/proc/26863/task/26927/stat : 26927 (java) S 26860 26863 22977 0 -1 1077944384 1640 12960 0 0 45 0 5 2 20 0 15 0 107126811 11257851904 50021 33554432000 4194304 4196468 140735900779104 140418864883952 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26928] ppid=26860 vsize=10993996 memory=1399101730491701635 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26928/stat : 26928 (java) S 26860 26863 22977 0 -1 1077944384 3 12960 0 0 0 0 5 2 20 0 15 0 107126811 11257851904 50021 33554432000 4194304 4196468 140735900779104 140417848830560 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26929] ppid=26860 vsize=10993996 memory=4137290303932963203 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26929/stat : 26929 (java) S 26860 26863 22977 0 -1 1077944384 1 12960 0 0 0 0 5 2 20 0 15 0 107126811 11257851904 50021 33554432000 4194304 4196468 140735900779104 140418863831856 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
/proc/26863/task/26924/stat : 26924 (java) S 26860 26863 22977 0 -1 1077944384 3 12960 0 0 0 0 5 2 20 0 15 0 107126811 11272552448 580702 33554432000 4194304 4196468 140735900779104 140418279627472 140419898406811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26925] ppid=26860 vsize=11008352 memory=792 CPUtime=5.19 cores=1,3,5,7
/proc/26863/task/26925/stat : 26925 (java) S 26860 26863 22977 0 -1 1077944384 9446 12960 0 0 511 1 5 2 20 0 15 0 107126811 11272552448 580702 33554432000 4194304 4196468 140735900779104 140418866989088 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26926] ppid=26860 vsize=11008352 memory=2322808 CPUtime=5.27 cores=1,3,5,7
/proc/26863/task/26926/stat : 26926 (java) S 26860 26863 22977 0 -1 1077944384 8690 12960 0 0 518 2 5 2 20 0 15 0 107126811 11272552448 580702 33554432000 4194304 4196468 140735900779104 140418865936544 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26927] ppid=26860 vsize=11008352 memory=6791534058613427641 CPUtime=2.07 cores=1,3,5,7
/proc/26863/task/26927/stat : 26927 (java) S 26860 26863 22977 0 -1 1077944384 8526 12960 0 0 196 4 5 2 20 0 15 0 107126811 11272552448 580702 33554432000 4194304 4196468 140735900779104 140418864883712 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26928] ppid=26860 vsize=11008352 memory=1576 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26928/stat : 26928 (java) S 26860 26863 22977 0 -1 1077944384 3 12960 0 0 0 0 5 2 20 0 15 0 107126811 11272552448 580702 33554432000 4194304 4196468 140735900779104 140417848830560 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26929] ppid=26860 vsize=11008352 memory=2314552 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26929/stat : 26929 (java) S 26860 26863 22977 0 -1 1077944384 112 12960 0 0 0 0 5 2 20 0 15 0 107126811 11272552448 580702 33554432000 4194304 4196468 140735900779104 140418863831856 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
Current children cumulated CPU time: 65.54 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 2322808 KiB
[startup+51.1102 s]
/proc/loadavg: 3.79 2.53 2.11 6/216 26929
/proc/meminfo: memFree=19896232/32770624 swapFree=67108792/67108860
[pid=26863] ppid=26860 vsize=11014496 memory=3148616 CPUtime=114.56 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 22977 0 -1 1077944320 226223 12960 0 0 11212 237 5 2 20 0 15 0 107126796 11278843904 787154 33554432000 4194304 4196468 140735900779104 140735900761648 140419898388215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
/proc/26863/statm: 2753624 787154 3536 1 0 2715277 0
[pid=26863/tid=26916] ppid=26860 vsize=11014496 memory=3147756 CPUtime=34.79 cores=1,3,5,7
/proc/26863/task/26916/stat : 26916 (java) R 26860 26863 22977 0 -1 4202560 48562 12960 0 0 3451 21 5 2 20 0 15 0 107126805 11278843904 787154 33554432000 4194304 4196468 140735900779104 140419870216784 140419485538297 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26917] ppid=26860 vsize=11014496 memory=3148616 CPUtime=14.66 cores=1,3,5,7
/proc/26863/task/26917/stat : 26917 (java) S 26860 26863 22977 0 -1 1077944384 17962 12960 0 0 1408 51 5 2 20 0 15 0 107126806 11278843904 787154 33554432000 4194304 4196468 140735900779104 140419902630160 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26918] ppid=26860 vsize=11014496 memory=3147780 CPUtime=14.59 cores=1,3,5,7
/proc/26863/task/26918/stat : 26918 (java) S 26860 26863 22977 0 -1 1077944384 44105 12960 0 0 1402 50 5 2 20 0 15 0 107126806 11278843904 787154 33554432000 4194304 4196468 140735900779104 140419796556176 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26919] ppid=26860 vsize=11014496 memory=0 CPUtime=14.65 cores=1,3,5,7
/proc/26863/task/26919/stat : 26919 (java) S 26860 26863 22977 0 -1 1077944384 19604 12960 0 0 1411 47 5 2 20 0 15 0 107126806 11278843904 787154 33554432000 4194304 4196468 140735900779104 140419437013520 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26920] ppid=26860 vsize=11014496 memory=279964893794080 CPUtime=14.7 cores=1,3,5,7
/proc/26863/task/26920/stat : 26920 (java) S 26860 26863 22977 0 -1 1077944384 24497 12960 0 0 1413 50 5 2 20 0 15 0 107126806 11278843904 787154 33554432000 4194304 4196468 140735900779104 140419435960976 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26921] ppid=26860 vsize=11014496 memory=1091092 CPUtime=1.57 cores=1,3,5,7
/proc/26863/task/26921/stat : 26921 (java) S 26860 26863 22977 0 -1 1077944384 28075 12960 0 0 148 2 5 2 20 0 15 0 107126807 11278843904 787154 33554432000 4194304 4196468 140735900779104 140418868042224 140419898399362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26922] ppid=26860 vsize=11014496 memory=1720 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26922/stat : 26922 (java) S 26860 26863 22977 0 -1 1077944384 38 12960 0 0 0 0 5 2 20 0 15 0 107126808 11278843904 787154 33554432000 4194304 4196468 140735900779104 140418788353504 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26923] ppid=26860 vsize=11014496 memory=3472328296227679313 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26923/stat : 26923 (java) S 26860 26863 22977 0 -1 1077944384 32 12960 0 0 0 0 5 2 20 0 15 0 107126808 11278843904 787154 33554432000 4194304 4196468 140735900779104 140418587026944 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26924] ppid=26860 vsize=11014496 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26924/stat : 26924 (java) S 26860 26863 22977 0 -1 1077944384 3 12960 0 0 0 0 5 2 20 0 15 0 107126811 11278843904 787154 33554432000 4194304 4196468 140735900779104 140418279627472 140419898406811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26925] ppid=26860 vsize=11014496 memory=928 CPUtime=8.51 cores=1,3,5,7
/proc/26863/task/26925/stat : 26925 (java) S 26860 26863 22977 0 -1 1077944384 13366 12960 0 0 842 2 5 2 20 0 15 0 107126811 11278843904 787154 33554432000 4194304 4196468 140735900779104 140418866989040 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26926] ppid=26860 vsize=11014496 memory=0 CPUtime=8.52 cores=1,3,5,7
/proc/26863/task/26926/stat : 26926 (java) S 26860 26863 22977 0 -1 1077944384 12473 12960 0 0 842 3 5 2 20 0 15 0 107126811 11278843904 787154 33554432000 4194304 4196468 140735900779104 140418865936496 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26927] ppid=26860 vsize=11014496 memory=279964894218304 CPUtime=3 cores=1,3,5,7
/proc/26863/task/26927/stat : 26927 (java) S 26860 26863 22977 0 -1 1077944384 15160 12960 0 0 288 5 5 2 20 0 15 0 107126811 11278843904 787154 33554432000 4194304 4196468 140735900779104 140418864883952 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26928] ppid=26860 vsize=11014496 memory=1899247961601 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26928/stat : 26928 (java) S 26860 26863 22977 0 -1 1077944384 3 12960 0 0 0 0 5 2 20 0 15 0 107126811 11278843904 787154 33554432000 4194304 4196468 140735900779104 140417848830560 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26929] ppid=26860 vsize=11014496 memory=792 CPUtime=0.09 cores=1,3,5,7
/proc/26863/task/26929/stat : 26929 (java) S 26860 26863 22977 0 -1 1077944384 151 12960 0 0 1 1 5 2 20 0 15 0 107126811 11278843904 787154 33554432000 4194304 4196468 140735900779104 140418863831856 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
Current children cumulated CPU time: 114.56 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3148616 KiB
[startup+102.301 s]
/proc/loadavg: 2.87 2.48 2.12 4/216 27058
/proc/meminfo: memFree=21505260/32770624 swapFree=67108792/67108860
[pid=26863] ppid=26860 vsize=11014496 memory=4613736 CPUtime=193.45 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 22977 0 -1 1077944320 294216 12960 0 0 18880 458 5 2 20 0 15 0 107126796 11278843904 1153434 33554432000 4194304 4196468 140735900779104 140735900761648 140419898388215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
/proc/26863/statm: 2753624 1153434 3542 1 0 2715277 0
[pid=26863/tid=26916] ppid=26860 vsize=11014496 memory=4613736 CPUtime=77.66 cores=1,3,5,7
/proc/26863/task/26916/stat : 26916 (java) R 26860 26863 22977 0 -1 4202560 51410 12960 0 0 7738 21 5 2 20 0 15 0 107126805 11278843904 1153434 33554432000 4194304 4196468 140735900779104 140419870220448 140419489648536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26917] ppid=26860 vsize=11014496 memory=4136 CPUtime=22.75 cores=1,3,5,7
/proc/26863/task/26917/stat : 26917 (java) S 26860 26863 22977 0 -1 1077944384 31780 12960 0 0 2165 103 5 2 20 0 15 0 107126806 11278843904 1153434 33554432000 4194304 4196468 140735900779104 140419902630160 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26918] ppid=26860 vsize=11014496 memory=4901432 CPUtime=22.75 cores=1,3,5,7
/proc/26863/task/26918/stat : 26918 (java) S 26860 26863 22977 0 -1 1077944384 57026 12960 0 0 2162 106 5 2 20 0 15 0 107126806 11278843904 1153434 33554432000 4194304 4196468 140735900779104 140419796556176 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26919] ppid=26860 vsize=11014496 memory=4613736 CPUtime=22.81 cores=1,3,5,7
/proc/26863/task/26919/stat : 26919 (java) S 26860 26863 22977 0 -1 1077944384 31951 12960 0 0 2173 101 5 2 20 0 15 0 107126806 11278843904 1153434 33554432000 4194304 4196468 140735900779104 140419437013520 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26920] ppid=26860 vsize=11014496 memory=30804 CPUtime=22.88 cores=1,3,5,7
/proc/26863/task/26920/stat : 26920 (java) S 26860 26863 22977 0 -1 1077944384 37513 12960 0 0 2177 104 5 2 20 0 15 0 107126806 11278843904 1153434 33554432000 4194304 4196468 140735900779104 140419435960976 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26921] ppid=26860 vsize=11014496 memory=1292 CPUtime=1.69 cores=1,3,5,7
/proc/26863/task/26921/stat : 26921 (java) S 26860 26863 22977 0 -1 1077944384 31554 12960 0 0 159 3 5 2 20 0 15 0 107126807 11278843904 1153434 33554432000 4194304 4196468 140735900779104 140418868042224 140419898399362 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26922] ppid=26860 vsize=11014496 memory=2436 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26922/stat : 26922 (java) S 26860 26863 22977 0 -1 1077944384 38 12960 0 0 0 0 5 2 20 0 15 0 107126808 11278843904 1153434 33554432000 4194304 4196468 140735900779104 140418788353504 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26923] ppid=26860 vsize=11014496 memory=30804 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26923/stat : 26923 (java) S 26860 26863 22977 0 -1 1077944384 32 12960 0 0 0 0 5 2 20 0 15 0 107126808 11278843904 1153434 33554432000 4194304 4196468 140735900779104 140418587026944 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26924] ppid=26860 vsize=11014496 memory=1292 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26924/stat : 26924 (java) S 26860 26863 22977 0 -1 1077944384 3 12960 0 0 0 0 5 2 20 0 15 0 107126811 11278843904 1153434 33554432000 4194304 4196468 140735900779104 140418279627472 140419898406811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26925] ppid=26860 vsize=11014496 memory=3626972 CPUtime=10.05 cores=1,3,5,7
/proc/26863/task/26925/stat : 26925 (java) S 26860 26863 22977 0 -1 1077944384 18410 12960 0 0 995 3 5 2 20 0 15 0 107126811 11278843904 1153434 33554432000 4194304 4196468 140735900779104 140418866989040 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26926] ppid=26860 vsize=11014496 memory=279964893386752 CPUtime=10.1 cores=1,3,5,7
/proc/26863/task/26926/stat : 26926 (java) S 26860 26863 22977 0 -1 1077944384 16703 12960 0 0 999 4 5 2 20 0 15 0 107126811 11278843904 1153434 33554432000 4194304 4196468 140735900779104 140418865936496 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26927] ppid=26860 vsize=11014496 memory=7295940524620804178 CPUtime=3.18 cores=1,3,5,7
/proc/26863/task/26927/stat : 26927 (java) S 26860 26863 22977 0 -1 1077944384 15429 12960 0 0 305 6 5 2 20 0 15 0 107126811 11278843904 1153434 33554432000 4194304 4196468 140735900779104 140418864883952 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26928] ppid=26860 vsize=11014496 memory=7295942723644386130 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26928/stat : 26928 (java) S 26860 26863 22977 0 -1 1077944384 3 12960 0 0 0 0 5 2 20 0 15 0 107126811 11278843904 1153434 33554432000 4194304 4196468 140735900779104 140417848830560 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26929] ppid=26860 vsize=11014496 memory=4901432 CPUtime=0.13 cores=1,3,5,7
/proc/26863/task/26929/stat : 26929 (java) S 26860 26863 22977 0 -1 1077944384 172 12960 0 0 3 3 5 2 20 0 15 0 107126811 11278843904 1153434 33554432000 4194304 4196468 140735900779104 140418863831856 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
Current children cumulated CPU time: 193.45 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 4613736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+135.411 s]
/proc/loadavg: 2.42 2.42 2.11 3/216 27058
/proc/meminfo: memFree=20097112/32770624 swapFree=67108792/67108860
[pid=26863] ppid=26860 vsize=11014496 memory=5046060 CPUtime=252.02 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 22977 0 -1 1077944320 355563 12960 0 0 24680 515 5 2 20 0 15 0 107126796 11278843904 1261515 33554432000 4194304 4196468 140735900779104 140735900761648 140419898388215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
/proc/26863/statm: 2753624 1261515 3543 1 0 2715277 0
[pid=26863/tid=26916] ppid=26860 vsize=11014496 memory=1292 CPUtime=102.24 cores=1,3,5,7
/proc/26863/task/26916/stat : 26916 (java) S 26860 26863 22977 0 -1 1077944384 54233 12960 0 0 10195 22 5 2 20 0 15 0 107126805 11278843904 1261515 33554432000 4194304 4196468 140735900779104 140419870222528 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26917] ppid=26860 vsize=11014496 memory=2436 CPUtime=31.11 cores=1,3,5,7
/proc/26863/task/26917/stat : 26917 (java) R 26860 26863 22977 0 -1 4202560 51890 12960 0 0 2986 118 5 2 20 0 15 0 107126806 11278843904 1261515 33554432000 4194304 4196468 140735900779104 140419902630160 140419883412348 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26918] ppid=26860 vsize=11014496 memory=1728 CPUtime=31.02 cores=1,3,5,7
/proc/26863/task/26918/stat : 26918 (java) R 26860 26863 22977 0 -1 4202560 59489 12960 0 0 2977 118 5 2 20 0 15 0 107126806 11278843904 1261515 33554432000 4194304 4196468 140735900779104 140419796556176 140419882836430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26919] ppid=26860 vsize=11014496 memory=1720 CPUtime=31.15 cores=1,3,5,7
/proc/26863/task/26919/stat : 26919 (java) R 26860 26863 22977 0 -1 4202560 35002 12960 0 0 2992 116 5 2 20 0 15 0 107126806 11278843904 1261515 33554432000 4194304 4196468 140735900779104 140419437013720 140419882836384 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26920] ppid=26860 vsize=11014496 memory=5760 CPUtime=31.29 cores=1,3,5,7
/proc/26863/task/26920/stat : 26920 (java) R 26860 26863 22977 0 -1 4202560 56583 12960 0 0 3004 118 5 2 20 0 15 0 107126806 11278843904 1261515 33554432000 4194304 4196468 140735900779104 140419435960976 140419883415634 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26921] ppid=26860 vsize=11014496 memory=4588 CPUtime=1.79 cores=1,3,5,7
/proc/26863/task/26921/stat : 26921 (java) S 26860 26863 22977 0 -1 1077944384 39347 12960 0 0 168 4 5 2 20 0 15 0 107126807 11278843904 1261515 33554432000 4194304 4196468 140735900779104 140418868040736 140419898398421 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26922] ppid=26860 vsize=11014496 memory=9920 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26922/stat : 26922 (java) S 26860 26863 22977 0 -1 1077944384 38 12960 0 0 0 0 5 2 20 0 15 0 107126808 11278843904 1261515 33554432000 4194304 4196468 140735900779104 140418788353504 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26923] ppid=26860 vsize=11014496 memory=139982447361552 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26923/stat : 26923 (java) S 26860 26863 22977 0 -1 1077944384 32 12960 0 0 0 0 5 2 20 0 15 0 107126808 11278843904 1261515 33554432000 4194304 4196468 140735900779104 140418587026944 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26924] ppid=26860 vsize=11014496 memory=3690611080098238574 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26924/stat : 26924 (java) S 26860 26863 22977 0 -1 1077944384 3 12960 0 0 0 0 5 2 20 0 15 0 107126811 11278843904 1261515 33554432000 4194304 4196468 140735900779104 140418279627472 140419898406811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26925] ppid=26860 vsize=11014496 memory=8025788822752027748 CPUtime=10.27 cores=1,3,5,7
/proc/26863/task/26925/stat : 26925 (java) S 26860 26863 22977 0 -1 1077944384 20553 12960 0 0 1017 3 5 2 20 0 15 0 107126811 11278843904 1261515 33554432000 4194304 4196468 140735900779104 140418866989040 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26926] ppid=26860 vsize=11014496 memory=7306088084987269233 CPUtime=10.33 cores=1,3,5,7
/proc/26863/task/26926/stat : 26926 (java) S 26860 26863 22977 0 -1 1077944384 18590 12960 0 0 1022 4 5 2 20 0 15 0 107126811 11278843904 1261515 33554432000 4194304 4196468 140735900779104 140418865936496 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26927] ppid=26860 vsize=11014496 memory=7670023126271093335 CPUtime=3.19 cores=1,3,5,7
/proc/26863/task/26927/stat : 26927 (java) S 26860 26863 22977 0 -1 1077944384 17433 12960 0 0 306 6 5 2 20 0 15 0 107126811 11278843904 1261515 33554432000 4194304 4196468 140735900779104 140418864883952 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26928] ppid=26860 vsize=11014496 memory=11385970715 CPUtime=0.07 cores=1,3,5,7
/proc/26863/task/26928/stat : 26928 (java) S 26860 26863 22977 0 -1 1077944384 3 12960 0 0 0 0 5 2 20 0 15 0 107126811 11278843904 1261515 33554432000 4194304 4196468 140735900779104 140417848830560 140419898398421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26929] ppid=26860 vsize=11014496 memory=139982447400828 CPUtime=0.15 cores=1,3,5,7
/proc/26863/task/26929/stat : 26929 (java) S 26860 26863 22977 0 -1 1077944384 175 12960 0 0 4 4 5 2 20 0 15 0 107126811 11278843904 1261515 33554432000 4194304 4196468 140735900779104 140418863831856 140419898399362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 5046060 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+135.641 s]
# the end of solver process 26863 was just reported to runsolver
# cumulated CPU time of all completed processes: user=247.536 s, system=5.22084 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+135.601 s]
/proc/loadavg: 2.42 2.42 2.11 3/216 27058
/proc/meminfo: memFree=20097112/32770624 swapFree=67108792/67108860
[pid=26863] ppid=26860 vsize=11275620 memory=5032260 CPUtime=252.7 cores=1,3,5,7
/proc/26863/stat : 26863 (java) S 26860 26863 22977 0 -1 1077944320 355683 12960 0 0 24748 515 5 2 20 0 15 0 107126796 11546234880 1258065 33554432000 4194304 4196468 140735900779104 140735900761648 140419898388215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
/proc/26863/statm: 2818905 1258065 3545 1 0 2780558 0
[pid=26863/tid=26916] ppid=26860 vsize=11275620 memory=6791534058613427641 CPUtime=102.25 cores=1,3,5,7
/proc/26863/task/26916/stat : 26916 (java) R 26860 26863 22977 0 -1 1077944384 54252 12960 0 0 10196 22 5 2 20 0 13 0 107126805 11546234880 1258081 33554432000 4194304 4196468 140735900779104 140419870230256 140419898399362 256 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26920] ppid=26860 vsize=11275620 memory=30804 CPUtime=31.45 cores=1,3,5,7
/proc/26863/task/26920/stat : 26920 (java) R 26860 26863 22977 0 -1 1077944384 56583 12960 0 0 3020 118 5 2 20 0 6 0 107126806 11546234880 1258133 33554432000 4194304 4196468 140735900779104 140419435960976 140419898398421 256 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30900224 140735900785256 140735900788065 140735900788065 140735900790735 0
[pid=26863/tid=26925] ppid=26860 vsize=0 memory=5760 CPUtime=10.28 cores=1,3,5,7
/proc/26863/task/26925/stat : 26925 (java) R 26860 26863 22977 0 -1 4203588 20558 12960 0 0 1018 3 5 2 20 0 2 0 107126811 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 252.7 s
Current children cumulated vsize: 11275620 KiB
Current children cumulated memory: 5032260 KiB
Child status: 143
Real time (s): 135.642
CPU time (s): 252.757
CPU user time (s): 247.536
CPU system time (s): 5.22084
CPU usage (%): 186.342
Max. virtual memory (cumulated for all children) (KiB): 11275620
Max. memory (cumulated for all children) (KiB): 5101568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.536
system time used= 5.22084
maximum resident set size= 5101568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368664
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16255
involuntary context switches= 1529
# summary of solver processes directly reported to runsolver:
# pid: 26863
# total CPU time (s): 252.757
# total CPU user time (s): 247.536
# total CPU system time (s): 5.22084
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.868388 second user time and 1.30941 second system time
The end