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 (14867 MiB free)
memory of node 1: 16384 MiB (12162 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274820-1502890635/watcher-4274820-1502890635 -o /tmp/evaluation-result-4274820-1502890635/solver-4274820-1502890635 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502870159-16941 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 559390148 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274820-1502890635.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
Current StackSize limit: 8192 KiB
solver pid=19882, runsolver pid=19879
[startup+0.100148 s]*
/proc/loadavg: 1.45 1.35 1.34 2/195 19883
/proc/meminfo: memFree=27678120/32770624 swapFree=67108860/67108860
[pid=19882] ppid=19879 vsize=356952 memory=7564 CPUtime=0 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19879 19882 897 0 -1 1077944320 1744 0 0 0 0 0 0 0 20 0 2 0 91284114 365518848 1891 18446744073709551615 4194304 4196468 140735518259136 140735518241680 139655565213431 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
/proc/19882/statm: 89238 1891 1044 1 0 79208 0
[pid=19882/tid=19884] ppid=19879 vsize=356952 memory=8390339637985935414 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19884/stat : 19884 (java) R 19879 19882 897 0 -1 4202560 445 0 0 0 0 0 0 0 20 0 2 0 91284124 365518848 1955 18446744073709551615 4194304 4196468 140735518259136 139655569455520 139655543377200 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 356952 KiB
Current children cumulated memory: 7564 KiB
[startup+0.209586 s]*
/proc/loadavg: 1.45 1.35 1.34 3/209 19897
/proc/meminfo: memFree=27666052/32770624 swapFree=67108860/67108860
[pid=19882] ppid=19879 vsize=13975920 memory=28004 CPUtime=0.07 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19879 19882 897 0 -1 1077944320 6800 0 0 0 6 1 0 0 20 0 15 0 91284114 14311342080 7001 18446744073709551615 4194304 4196468 140735518259136 140735518241680 139655565213431 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
/proc/19882/statm: 3493980 7001 3326 1 0 3482759 0
[pid=19882/tid=19884] ppid=19879 vsize=13975920 memory=8318255677412212789 CPUtime=0.06 cores=0,2,4,6
/proc/19882/task/19884/stat : 19884 (java) R 19879 19882 897 0 -1 4202560 4887 0 0 0 5 1 0 0 20 0 15 0 91284124 14311342080 7001 18446744073709551615 4194304 4196468 140735518259136 139655569442808 139655565235357 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19885] ppid=19879 vsize=13975920 memory=328 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19885/stat : 19885 (java) S 19879 19882 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91284125 14311342080 7001 18446744073709551615 4194304 4196468 140735518259136 139655499647888 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19886] ppid=19879 vsize=13975920 memory=3690055282429650592 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19886/stat : 19886 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284125 14311342080 7001 18446744073709551615 4194304 4196468 140735518259136 139655498595088 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19887] ppid=19879 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19887/stat : 19887 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284125 14311342080 7001 18446744073709551615 4194304 4196468 140735518259136 139655497542800 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19888] ppid=19879 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19888/stat : 19888 (java) S 19879 19882 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91284125 14311342080 7001 18446744073709551615 4194304 4196468 140735518259136 139655496490000 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19889] ppid=19879 vsize=13975920 memory=140197761246848 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19889/stat : 19889 (java) S 19879 19882 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91284126 14311342080 7001 18446744073709551615 4194304 4196468 140735518259136 139655043827824 139655565224578 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19890] ppid=19879 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19890/stat : 19890 (java) S 19879 19882 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91284127 14311342080 7001 18446744073709551615 4194304 4196468 140735518259136 139655042773792 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19891] ppid=19879 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19891/stat : 19891 (java) S 19879 19882 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91284127 14311342080 7001 18446744073709551615 4194304 4196468 140735518259136 139655041721456 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19892] ppid=19879 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19892/stat : 19892 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284129 14311342080 7001 18446744073709551615 4194304 4196468 140735518259136 139655040669776 139655565232027 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19893] ppid=19879 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19893/stat : 19893 (java) S 19879 19882 897 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 91284129 14311342080 7001 18446744073709551615 4194304 4196468 140735518259136 139655039617648 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19894] ppid=19879 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19894/stat : 19894 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284129 14311342080 7001 18446744073709551615 4194304 4196468 140735518259136 139655038564848 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19895] ppid=19879 vsize=13975920 memory=140197761246848 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19895/stat : 19895 (java) S 19879 19882 897 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 91284129 14311342080 7001 18446744073709551615 4194304 4196468 140735518259136 139655037512560 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19896] ppid=19879 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19896/stat : 19896 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284130 14311342080 7001 18446744073709551615 4194304 4196468 140735518259136 139655036460000 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19897] ppid=19879 vsize=13975920 memory=140197761246848 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19897/stat : 19897 (java) S 19879 19882 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91284134 14311342080 7001 18446744073709551615 4194304 4196468 140735518259136 139655035406768 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 28004 KiB
[startup+0.30994 s]*
/proc/loadavg: 1.45 1.35 1.34 4/209 19897
/proc/meminfo: memFree=27650972/32770624 swapFree=67108860/67108860
[pid=19882] ppid=19879 vsize=13975920 memory=39652 CPUtime=0.23 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19879 19882 897 0 -1 1077944320 10183 0 0 0 20 3 0 0 20 0 15 0 91284114 14311342080 9913 18446744073709551615 4194304 4196468 140735518259136 140735518241680 139655565213431 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
/proc/19882/statm: 3493980 9913 3517 1 0 3482759 0
[pid=19882/tid=19884] ppid=19879 vsize=13975920 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/19882/task/19884/stat : 19884 (java) R 19879 19882 897 0 -1 4202560 7912 0 0 0 14 2 0 0 20 0 15 0 91284124 14311342080 9913 18446744073709551615 4194304 4196468 140735518259136 139655569438512 139655565235357 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19885] ppid=19879 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19885/stat : 19885 (java) S 19879 19882 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91284125 14311342080 9913 18446744073709551615 4194304 4196468 140735518259136 139655499647888 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19886] ppid=19879 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19886/stat : 19886 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284125 14311342080 9913 18446744073709551615 4194304 4196468 140735518259136 139655498595088 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19887] ppid=19879 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19887/stat : 19887 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284125 14311342080 9913 18446744073709551615 4194304 4196468 140735518259136 139655497542800 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19888] ppid=19879 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19888/stat : 19888 (java) S 19879 19882 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91284125 14311342080 9913 18446744073709551615 4194304 4196468 140735518259136 139655496490000 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19889] ppid=19879 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19889/stat : 19889 (java) S 19879 19882 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 91284126 14311342080 9913 18446744073709551615 4194304 4196468 140735518259136 139655043827824 139655565224578 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19890] ppid=19879 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19890/stat : 19890 (java) S 19879 19882 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91284127 14311342080 9913 18446744073709551615 4194304 4196468 140735518259136 139655042773792 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19891] ppid=19879 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19891/stat : 19891 (java) S 19879 19882 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91284127 14311342080 9913 18446744073709551615 4194304 4196468 140735518259136 139655041721456 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19892] ppid=19879 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19892/stat : 19892 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284129 14311342080 9913 18446744073709551615 4194304 4196468 140735518259136 139655040669776 139655565232027 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19893] ppid=19879 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19882/task/19893/stat : 19893 (java) S 19879 19882 897 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 91284129 14311342080 9913 18446744073709551615 4194304 4196468 140735518259136 139655039617648 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19894] ppid=19879 vsize=13975920 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/19882/task/19894/stat : 19894 (java) S 19879 19882 897 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 15 0 91284129 14311342080 9913 18446744073709551615 4194304 4196468 140735518259136 139655038564848 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19895] ppid=19879 vsize=13975920 memory=140197761246848 CPUtime=0.04 cores=0,2,4,6
/proc/19882/task/19895/stat : 19895 (java) S 19879 19882 897 0 -1 1077944384 383 0 0 0 4 0 0 0 20 0 15 0 91284129 14311342080 9913 18446744073709551615 4194304 4196468 140735518259136 139655037512560 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19896] ppid=19879 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19896/stat : 19896 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284130 14311342080 9913 18446744073709551615 4194304 4196468 140735518259136 139655036460000 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19897] ppid=19879 vsize=13975920 memory=140197761246848 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19897/stat : 19897 (java) S 19879 19882 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91284134 14311342080 9913 18446744073709551615 4194304 4196468 140735518259136 139655035406768 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39652 KiB
[startup+0.705621 s]
/proc/loadavg: 1.45 1.35 1.34 4/209 19897
/proc/meminfo: memFree=27639880/32770624 swapFree=67108860/67108860
[pid=19882] ppid=19879 vsize=13977988 memory=68404 CPUtime=1.05 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19879 19882 897 0 -1 1077944320 13830 0 0 0 100 5 0 0 20 0 15 0 91284114 14313459712 17101 18446744073709551615 4194304 4196468 140735518259136 140735518241680 139655565213431 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
/proc/19882/statm: 3494497 17101 3725 1 0 3483271 0
[pid=19882/tid=19884] ppid=19879 vsize=13977988 memory=4051323354264660328 CPUtime=0.55 cores=0,2,4,6
/proc/19882/task/19884/stat : 19884 (java) R 19879 19882 897 0 -1 4202560 10308 0 0 0 51 4 0 0 20 0 15 0 91284124 14313459712 17101 18446744073709551615 4194304 4196468 140735518259136 139655569448752 139655173406784 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19885] ppid=19879 vsize=13977988 memory=280395329876640 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19885/stat : 19885 (java) S 19879 19882 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91284125 14313459712 17101 18446744073709551615 4194304 4196468 140735518259136 139655499647888 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19886] ppid=19879 vsize=13977988 memory=280395329876832 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19886/stat : 19886 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284125 14313459712 17101 18446744073709551615 4194304 4196468 140735518259136 139655498595088 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19887] ppid=19879 vsize=13977988 memory=280395329877024 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19887/stat : 19887 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284125 14313459712 17101 18446744073709551615 4194304 4196468 140735518259136 139655497542800 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19888] ppid=19879 vsize=13977988 memory=280395329877216 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19888/stat : 19888 (java) S 19879 19882 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91284125 14313459712 17101 18446744073709551615 4194304 4196468 140735518259136 139655496490000 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19889] ppid=19879 vsize=13977988 memory=280395329877408 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19889/stat : 19889 (java) S 19879 19882 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 91284126 14313459712 17101 18446744073709551615 4194304 4196468 140735518259136 139655043827824 139655565224578 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19890] ppid=19879 vsize=13977988 memory=280395329877600 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19890/stat : 19890 (java) S 19879 19882 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91284127 14313459712 17101 18446744073709551615 4194304 4196468 140735518259136 139655042773792 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19891] ppid=19879 vsize=13977988 memory=280395329840704 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19891/stat : 19891 (java) S 19879 19882 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91284127 14313459712 17101 18446744073709551615 4194304 4196468 140735518259136 139655041721456 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19892] ppid=19879 vsize=13977988 memory=280395329391008 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19892/stat : 19892 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284129 14313459712 17101 18446744073709551615 4194304 4196468 140735518259136 139655040669776 139655565232027 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19893] ppid=19879 vsize=13977988 memory=280395329391200 CPUtime=0.12 cores=0,2,4,6
/proc/19882/task/19893/stat : 19893 (java) R 19879 19882 897 0 -1 4202560 631 0 0 0 12 0 0 0 20 0 15 0 91284129 14313459712 17101 18446744073709551615 4194304 4196468 140735518259136 139655039616832 139655544469238 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19894] ppid=19879 vsize=13977988 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/19882/task/19894/stat : 19894 (java) R 19879 19882 897 0 -1 4202560 640 0 0 0 14 0 0 0 20 0 15 0 91284129 14313459712 17101 18446744073709551615 4194304 4196468 140735518259136 139655038557872 139655544428479 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19895] ppid=19879 vsize=13977988 memory=7302135314614015847 CPUtime=0.22 cores=0,2,4,6
/proc/19882/task/19895/stat : 19895 (java) R 19879 19882 897 0 -1 1077944384 865 0 0 0 22 0 0 0 20 0 15 0 91284129 14313459712 17101 18446744073709551615 4194304 4196468 140735518259136 139655037512688 139655565223637 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19896] ppid=19879 vsize=13977988 memory=7739276948477864040 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19896/stat : 19896 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284130 14313459712 17101 18446744073709551615 4194304 4196468 140735518259136 139655036460000 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19897] ppid=19879 vsize=13977988 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19897/stat : 19897 (java) S 19879 19882 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91284134 14313459712 17101 18446744073709551615 4194304 4196468 140735518259136 139655035406768 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68404 KiB
[startup+1.50087 s]
/proc/loadavg: 1.45 1.35 1.34 6/209 19897
/proc/meminfo: memFree=27572240/32770624 swapFree=67108860/67108860
[pid=19882] ppid=19879 vsize=13980036 memory=228636 CPUtime=3.61 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19879 19882 897 0 -1 1077944320 32748 0 0 0 349 12 0 0 20 0 15 0 91284114 14315556864 57159 18446744073709551615 4194304 4196468 140735518259136 140735518241680 139655565213431 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
/proc/19882/statm: 3495009 57159 3790 1 0 3483783 0
[pid=19882/tid=19884] ppid=19879 vsize=13980036 memory=1156 CPUtime=1.32 cores=0,2,4,6
/proc/19882/task/19884/stat : 19884 (java) R 19879 19882 897 0 -1 4202560 15143 0 0 0 125 7 0 0 20 0 15 0 91284124 14315556864 57159 18446744073709551615 4194304 4196468 140735518259136 139655569448952 139655181105805 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19885] ppid=19879 vsize=13980036 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19885/stat : 19885 (java) S 19879 19882 897 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 91284125 14315556864 57159 18446744073709551615 4194304 4196468 140735518259136 139655499647888 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19886] ppid=19879 vsize=13980036 memory=125092 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19886/stat : 19886 (java) S 19879 19882 897 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 91284125 14315556864 57159 18446744073709551615 4194304 4196468 140735518259136 139655498595088 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19887] ppid=19879 vsize=13980036 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19887/stat : 19887 (java) S 19879 19882 897 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 91284125 14315556864 57159 18446744073709551615 4194304 4196468 140735518259136 139655497542800 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19888] ppid=19879 vsize=13980036 memory=50004 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19888/stat : 19888 (java) S 19879 19882 897 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 15 0 91284125 14315556864 57159 18446744073709551615 4194304 4196468 140735518259136 139655496490000 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19889] ppid=19879 vsize=13980036 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19889/stat : 19889 (java) S 19879 19882 897 0 -1 1077944384 508 0 0 0 0 0 0 0 20 0 15 0 91284126 14315556864 57159 18446744073709551615 4194304 4196468 140735518259136 139655043827824 139655565224578 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19890] ppid=19879 vsize=13980036 memory=2316 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19890/stat : 19890 (java) S 19879 19882 897 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 91284127 14315556864 57159 18446744073709551615 4194304 4196468 140735518259136 139655042773792 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19891] ppid=19879 vsize=13980036 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19891/stat : 19891 (java) S 19879 19882 897 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 91284127 14315556864 57159 18446744073709551615 4194304 4196468 140735518259136 139655041721456 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19892] ppid=19879 vsize=13980036 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19892/stat : 19892 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284129 14315556864 57159 18446744073709551615 4194304 4196468 140735518259136 139655040669776 139655565232027 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19893] ppid=19879 vsize=13980036 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/19882/task/19893/stat : 19893 (java) R 19879 19882 897 0 -1 4202560 4211 0 0 0 75 0 0 0 20 0 15 0 91284129 14315556864 57159 18446744073709551615 4194304 4196468 140735518259136 139655039605280 139655550817374 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19894] ppid=19879 vsize=13980036 memory=7446534215326326616 CPUtime=0.79 cores=0,2,4,6
/proc/19882/task/19894/stat : 19894 (java) R 19879 19882 897 0 -1 4202560 4051 0 0 0 79 0 0 0 20 0 15 0 91284129 14315556864 57159 18446744073709551615 4194304 4196468 140735518259136 139655038552528 139655550142901 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19895] ppid=19879 vsize=13980036 memory=-7019007802211101846 CPUtime=0.66 cores=0,2,4,6
/proc/19882/task/19895/stat : 19895 (java) S 19879 19882 897 0 -1 1077944384 6861 0 0 0 65 1 0 0 20 0 15 0 91284129 14315556864 57159 18446744073709551615 4194304 4196468 140735518259136 139655037512560 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19896] ppid=19879 vsize=13980036 memory=6933690305039933585 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19896/stat : 19896 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284130 14315556864 57159 18446744073709551615 4194304 4196468 140735518259136 139655036460000 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19897] ppid=19879 vsize=13980036 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19897/stat : 19897 (java) S 19879 19882 897 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 91284134 14315556864 57159 18446744073709551615 4194304 4196468 140735518259136 139655035406768 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
Current children cumulated CPU time: 3.61 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 228636 KiB
[startup+3.10969 s]
/proc/loadavg: 1.74 1.42 1.36 3/209 19897
/proc/meminfo: memFree=27045616/32770624 swapFree=67108860/67108860
[pid=19882] ppid=19879 vsize=13982084 memory=645480 CPUtime=6.63 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19879 19882 897 0 -1 1077944320 36279 0 0 0 637 26 0 0 20 0 15 0 91284114 14317654016 161370 18446744073709551615 4194304 4196468 140735518259136 140735518241680 139655565213431 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
/proc/19882/statm: 3495521 161370 3796 1 0 3484295 0
################
# More data... #
################
/proc/19882/task/19884/stat : 19884 (java) R 19879 19882 897 0 -1 4202560 83988 0 0 0 235615 76 0 0 20 0 15 0 91284124 14317654016 325379 18446744073709551615 4194304 4196468 140735518259136 139655569451888 139655183754882 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19885] ppid=19879 vsize=13982084 memory=1307672 CPUtime=19.5 cores=0,2,4,6
/proc/19882/task/19885/stat : 19885 (java) S 19879 19882 897 0 -1 1077944384 46236 0 0 0 1917 33 0 0 20 0 15 0 91284125 14317654016 325379 18446744073709551615 4194304 4196468 140735518259136 139655499647888 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19886] ppid=19879 vsize=13982084 memory=1304080 CPUtime=19.47 cores=0,2,4,6
/proc/19882/task/19886/stat : 19886 (java) S 19879 19882 897 0 -1 1077944384 40078 0 0 0 1914 33 0 0 20 0 15 0 91284125 14317654016 325379 18446744073709551615 4194304 4196468 140735518259136 139655498595088 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19887] ppid=19879 vsize=13982084 memory=1302544 CPUtime=19.46 cores=0,2,4,6
/proc/19882/task/19887/stat : 19887 (java) S 19879 19882 897 0 -1 1077944384 43757 0 0 0 1912 34 0 0 20 0 15 0 91284125 14317654016 325379 18446744073709551615 4194304 4196468 140735518259136 139655497542800 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19888] ppid=19879 vsize=13982084 memory=1301516 CPUtime=19.46 cores=0,2,4,6
/proc/19882/task/19888/stat : 19888 (java) S 19879 19882 897 0 -1 1077944384 44771 0 0 0 1913 33 0 0 20 0 15 0 91284125 14317654016 325379 18446744073709551615 4194304 4196468 140735518259136 139655496490000 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19889] ppid=19879 vsize=13982084 memory=1306648 CPUtime=3.58 cores=0,2,4,6
/proc/19882/task/19889/stat : 19889 (java) S 19879 19882 897 0 -1 1077944384 63588 0 0 0 298 60 0 0 20 0 15 0 91284126 14317654016 325379 18446744073709551615 4194304 4196468 140735518259136 139655043827824 139655565224578 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19890] ppid=19879 vsize=13982084 memory=4275151224513503264 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19890/stat : 19890 (java) S 19879 19882 897 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 91284127 14317654016 325379 18446744073709551615 4194304 4196468 140735518259136 139655042773856 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19891] ppid=19879 vsize=13982084 memory=1304596 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19891/stat : 19891 (java) S 19879 19882 897 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 91284127 14317654016 325379 18446744073709551615 4194304 4196468 140735518259136 139655041721472 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19892] ppid=19879 vsize=13982084 memory=1304596 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19892/stat : 19892 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284129 14317654016 325379 18446744073709551615 4194304 4196468 140735518259136 139655040669776 139655565232027 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19893] ppid=19879 vsize=13982084 memory=133 CPUtime=3.57 cores=0,2,4,6
/proc/19882/task/19893/stat : 19893 (java) S 19879 19882 897 0 -1 1077944384 19742 0 0 0 354 3 0 0 20 0 15 0 91284129 14317654016 325379 18446744073709551615 4194304 4196468 140735518259136 139655039617648 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19894] ppid=19879 vsize=13982084 memory=0 CPUtime=3.28 cores=0,2,4,6
/proc/19882/task/19894/stat : 19894 (java) S 19879 19882 897 0 -1 1077944384 16370 0 0 0 326 2 0 0 20 0 15 0 91284129 14317654016 325379 18446744073709551615 4194304 4196468 140735518259136 139655038564848 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19895] ppid=19879 vsize=13982084 memory=-8774313645642428999 CPUtime=1.07 cores=0,2,4,6
/proc/19882/task/19895/stat : 19895 (java) S 19879 19882 897 0 -1 1077944384 23531 0 0 0 104 3 0 0 20 0 15 0 91284129 14317654016 325379 18446744073709551615 4194304 4196468 140735518259136 139655037512560 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19896] ppid=19879 vsize=13982084 memory=2000 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19896/stat : 19896 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284130 14317654016 325379 18446744073709551615 4194304 4196468 140735518259136 139655036460000 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19897] ppid=19879 vsize=13982084 memory=8996 CPUtime=1.38 cores=0,2,4,6
/proc/19882/task/19897/stat : 19897 (java) S 19879 19882 897 0 -1 1077944384 2118 0 0 0 66 72 0 0 20 0 15 0 91284134 14317654016 325379 18446744073709551615 4194304 4196468 140735518259136 139655035406768 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
Current children cumulated CPU time: 2447.77 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1301516 KiB
[startup+2442.3 s]
/proc/loadavg: 1.57 1.58 1.47 3/211 20145
/proc/meminfo: memFree=26002500/32770624 swapFree=67108860/67108860
[pid=19882] ppid=19879 vsize=13982084 memory=1263464 CPUtime=2509.28 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19879 19882 897 0 -1 1077944320 389176 0 0 0 250601 327 0 0 20 0 15 0 91284114 14317654016 315866 18446744073709551615 4194304 4196468 140735518259136 140735518241680 139655565213431 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
/proc/19882/statm: 3495521 315866 3827 1 0 3484295 0
[pid=19882/tid=19884] ppid=19879 vsize=13982084 memory=1263832 CPUtime=2416.29 cores=0,2,4,6
/proc/19882/task/19884/stat : 19884 (java) R 19879 19882 897 0 -1 4202560 84873 0 0 0 241553 76 0 0 20 0 15 0 91284124 14317654016 315866 18446744073709551615 4194304 4196468 140735518259136 139655569451664 139655183754915 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19885] ppid=19879 vsize=13982084 memory=1264860 CPUtime=20.01 cores=0,2,4,6
/proc/19882/task/19885/stat : 19885 (java) S 19879 19882 897 0 -1 1077944384 47039 0 0 0 1967 34 0 0 20 0 15 0 91284125 14317654016 315866 18446744073709551615 4194304 4196468 140735518259136 139655499647888 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19886] ppid=19879 vsize=13982084 memory=1264860 CPUtime=19.96 cores=0,2,4,6
/proc/19882/task/19886/stat : 19886 (java) S 19879 19882 897 0 -1 1077944384 40477 0 0 0 1963 33 0 0 20 0 15 0 91284125 14317654016 315866 18446744073709551615 4194304 4196468 140735518259136 139655498595088 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19887] ppid=19879 vsize=13982084 memory=1263832 CPUtime=19.95 cores=0,2,4,6
/proc/19882/task/19887/stat : 19887 (java) S 19879 19882 897 0 -1 1077944384 44181 0 0 0 1961 34 0 0 20 0 15 0 91284125 14317654016 315866 18446744073709551615 4194304 4196468 140735518259136 139655497542800 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19888] ppid=19879 vsize=13982084 memory=1264860 CPUtime=19.94 cores=0,2,4,6
/proc/19882/task/19888/stat : 19888 (java) S 19879 19882 897 0 -1 1077944384 45252 0 0 0 1961 33 0 0 20 0 15 0 91284125 14317654016 315866 18446744073709551615 4194304 4196468 140735518259136 139655496490000 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19889] ppid=19879 vsize=13982084 memory=1263464 CPUtime=3.68 cores=0,2,4,6
/proc/19882/task/19889/stat : 19889 (java) S 19879 19882 897 0 -1 1077944384 64068 0 0 0 306 62 0 0 20 0 15 0 91284126 14317654016 315866 18446744073709551615 4194304 4196468 140735518259136 139655043827824 139655565224578 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19890] ppid=19879 vsize=13982084 memory=1264860 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19890/stat : 19890 (java) S 19879 19882 897 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 91284127 14317654016 315866 18446744073709551615 4194304 4196468 140735518259136 139655042773856 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19891] ppid=19879 vsize=13982084 memory=1264860 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19891/stat : 19891 (java) S 19879 19882 897 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 91284127 14317654016 315866 18446744073709551615 4194304 4196468 140735518259136 139655041721472 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19892] ppid=19879 vsize=13982084 memory=1263832 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19892/stat : 19892 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284129 14317654016 315866 18446744073709551615 4194304 4196468 140735518259136 139655040669776 139655565232027 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19893] ppid=19879 vsize=13982084 memory=4116 CPUtime=3.57 cores=0,2,4,6
/proc/19882/task/19893/stat : 19893 (java) S 19879 19882 897 0 -1 1077944384 19746 0 0 0 354 3 0 0 20 0 15 0 91284129 14317654016 315866 18446744073709551615 4194304 4196468 140735518259136 139655039617648 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19894] ppid=19879 vsize=13982084 memory=1263832 CPUtime=3.28 cores=0,2,4,6
/proc/19882/task/19894/stat : 19894 (java) S 19879 19882 897 0 -1 1077944384 16374 0 0 0 326 2 0 0 20 0 15 0 91284129 14317654016 315866 18446744073709551615 4194304 4196468 140735518259136 139655038564848 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19895] ppid=19879 vsize=13982084 memory=1266912 CPUtime=1.07 cores=0,2,4,6
/proc/19882/task/19895/stat : 19895 (java) S 19879 19882 897 0 -1 1077944384 23535 0 0 0 104 3 0 0 20 0 15 0 91284129 14317654016 315866 18446744073709551615 4194304 4196468 140735518259136 139655037512560 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19896] ppid=19879 vsize=13982084 memory=1263832 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19896/stat : 19896 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284130 14317654016 315866 18446744073709551615 4194304 4196468 140735518259136 139655036460000 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19897] ppid=19879 vsize=13982084 memory=1263464 CPUtime=1.42 cores=0,2,4,6
/proc/19882/task/19897/stat : 19897 (java) S 19879 19882 897 0 -1 1077944384 2176 0 0 0 68 74 0 0 20 0 15 0 91284134 14317654016 315866 18446744073709551615 4194304 4196468 140735518259136 139655035406768 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
Current children cumulated CPU time: 2509.28 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1263464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2452.7 s]
/proc/loadavg: 1.56 1.58 1.47 3/211 20145
/proc/meminfo: memFree=26022968/32770624 swapFree=67108860/67108860
[pid=19882] ppid=19879 vsize=13982084 memory=1256236 CPUtime=2520.02 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19879 19882 897 0 -1 1077944320 391579 0 0 0 251673 329 0 0 20 0 15 0 91284114 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 140735518241680 139655565213431 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
/proc/19882/statm: 3495521 314059 3827 1 0 3484295 0
[pid=19882/tid=19884] ppid=19879 vsize=13982084 memory=1256748 CPUtime=2426.55 cores=0,2,4,6
/proc/19882/task/19884/stat : 19884 (java) R 19879 19882 897 0 -1 4202560 85043 0 0 0 242579 76 0 0 20 0 15 0 91284124 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655569451888 139655183754882 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19885] ppid=19879 vsize=13982084 memory=1261368 CPUtime=20.11 cores=0,2,4,6
/proc/19882/task/19885/stat : 19885 (java) S 19879 19882 897 0 -1 1077944384 47133 0 0 0 1977 34 0 0 20 0 15 0 91284125 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655499647888 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19886] ppid=19879 vsize=13982084 memory=1264860 CPUtime=20.07 cores=0,2,4,6
/proc/19882/task/19886/stat : 19886 (java) S 19879 19882 897 0 -1 1077944384 40520 0 0 0 1974 33 0 0 20 0 15 0 91284125 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655498595088 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19887] ppid=19879 vsize=13982084 memory=141 CPUtime=20.07 cores=0,2,4,6
/proc/19882/task/19887/stat : 19887 (java) S 19879 19882 897 0 -1 1077944384 44293 0 0 0 1972 35 0 0 20 0 15 0 91284125 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655497542800 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19888] ppid=19879 vsize=13982084 memory=1256748 CPUtime=20.05 cores=0,2,4,6
/proc/19882/task/19888/stat : 19888 (java) S 19879 19882 897 0 -1 1077944384 45295 0 0 0 1972 33 0 0 20 0 15 0 91284125 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655496490000 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19889] ppid=19879 vsize=13982084 memory=1256748 CPUtime=3.7 cores=0,2,4,6
/proc/19882/task/19889/stat : 19889 (java) S 19879 19882 897 0 -1 1077944384 66009 0 0 0 308 62 0 0 20 0 15 0 91284126 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655043827824 139655565224578 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19890] ppid=19879 vsize=13982084 memory=1262436 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19890/stat : 19890 (java) S 19879 19882 897 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 91284127 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655042773856 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19891] ppid=19879 vsize=13982084 memory=1258288 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19891/stat : 19891 (java) S 19879 19882 897 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 91284127 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655041721472 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19892] ppid=19879 vsize=13982084 memory=1259828 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19892/stat : 19892 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284129 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655040669776 139655565232027 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19893] ppid=19879 vsize=13982084 memory=4116 CPUtime=3.57 cores=0,2,4,6
/proc/19882/task/19893/stat : 19893 (java) S 19879 19882 897 0 -1 1077944384 19746 0 0 0 354 3 0 0 20 0 15 0 91284129 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655039617648 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19894] ppid=19879 vsize=13982084 memory=1258288 CPUtime=3.28 cores=0,2,4,6
/proc/19882/task/19894/stat : 19894 (java) S 19879 19882 897 0 -1 1077944384 16374 0 0 0 326 2 0 0 20 0 15 0 91284129 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655038564848 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19895] ppid=19879 vsize=13982084 memory=1258288 CPUtime=1.07 cores=0,2,4,6
/proc/19882/task/19895/stat : 19895 (java) S 19879 19882 897 0 -1 1077944384 23535 0 0 0 104 3 0 0 20 0 15 0 91284129 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655037512560 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19896] ppid=19879 vsize=13982084 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19896/stat : 19896 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284130 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655036460000 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19897] ppid=19879 vsize=13982084 memory=1156 CPUtime=1.43 cores=0,2,4,6
/proc/19882/task/19897/stat : 19897 (java) S 19879 19882 897 0 -1 1077944384 2176 0 0 0 68 75 0 0 20 0 15 0 91284134 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655035406768 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1256236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2452.73 s]
# the end of solver process 19882 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.75 s, system=3.2998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2452.7 s]
/proc/loadavg: 1.56 1.58 1.47 3/211 20145
/proc/meminfo: memFree=26022968/32770624 swapFree=67108860/67108860
[pid=19882] ppid=19879 vsize=13982084 memory=1256236 CPUtime=2520.02 cores=0,2,4,6
/proc/19882/stat : 19882 (java) S 19879 19882 897 0 -1 1077944320 391579 0 0 0 251673 329 0 0 20 0 15 0 91284114 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 140735518241680 139655565213431 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
/proc/19882/statm: 3495521 314059 3827 1 0 3484295 0
[pid=19882/tid=19884] ppid=19879 vsize=13982084 memory=1256748 CPUtime=2426.55 cores=0,2,4,6
/proc/19882/task/19884/stat : 19884 (java) R 19879 19882 897 0 -1 4202560 85043 0 0 0 242579 76 0 0 20 0 15 0 91284124 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655569451888 139655183754882 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19885] ppid=19879 vsize=13982084 memory=1261368 CPUtime=20.11 cores=0,2,4,6
/proc/19882/task/19885/stat : 19885 (java) S 19879 19882 897 0 -1 1077944384 47133 0 0 0 1977 34 0 0 20 0 15 0 91284125 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655499647888 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19886] ppid=19879 vsize=13982084 memory=1264860 CPUtime=20.07 cores=0,2,4,6
/proc/19882/task/19886/stat : 19886 (java) S 19879 19882 897 0 -1 1077944384 40520 0 0 0 1974 33 0 0 20 0 15 0 91284125 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655498595088 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19887] ppid=19879 vsize=13982084 memory=141 CPUtime=20.07 cores=0,2,4,6
/proc/19882/task/19887/stat : 19887 (java) S 19879 19882 897 0 -1 1077944384 44293 0 0 0 1972 35 0 0 20 0 15 0 91284125 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655497542800 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19888] ppid=19879 vsize=13982084 memory=1256748 CPUtime=20.05 cores=0,2,4,6
/proc/19882/task/19888/stat : 19888 (java) S 19879 19882 897 0 -1 1077944384 45295 0 0 0 1972 33 0 0 20 0 15 0 91284125 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655496490000 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19889] ppid=19879 vsize=13982084 memory=1256748 CPUtime=3.7 cores=0,2,4,6
/proc/19882/task/19889/stat : 19889 (java) S 19879 19882 897 0 -1 1077944384 66009 0 0 0 308 62 0 0 20 0 15 0 91284126 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655043827824 139655565224578 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19890] ppid=19879 vsize=13982084 memory=1262436 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19890/stat : 19890 (java) S 19879 19882 897 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 91284127 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655042773856 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19891] ppid=19879 vsize=13982084 memory=1258288 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19891/stat : 19891 (java) S 19879 19882 897 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 91284127 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655041721472 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19892] ppid=19879 vsize=13982084 memory=1259828 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19892/stat : 19892 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284129 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655040669776 139655565232027 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19893] ppid=19879 vsize=13982084 memory=4116 CPUtime=3.57 cores=0,2,4,6
/proc/19882/task/19893/stat : 19893 (java) S 19879 19882 897 0 -1 1077944384 19746 0 0 0 354 3 0 0 20 0 15 0 91284129 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655039617648 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19894] ppid=19879 vsize=13982084 memory=1258288 CPUtime=3.28 cores=0,2,4,6
/proc/19882/task/19894/stat : 19894 (java) S 19879 19882 897 0 -1 1077944384 16374 0 0 0 326 2 0 0 20 0 15 0 91284129 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655038564848 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19895] ppid=19879 vsize=13982084 memory=1258288 CPUtime=1.07 cores=0,2,4,6
/proc/19882/task/19895/stat : 19895 (java) S 19879 19882 897 0 -1 1077944384 23535 0 0 0 104 3 0 0 20 0 15 0 91284129 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655037512560 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19896] ppid=19879 vsize=13982084 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/19882/task/19896/stat : 19896 (java) S 19879 19882 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91284130 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655036460000 139655565223637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
[pid=19882/tid=19897] ppid=19879 vsize=13982084 memory=1156 CPUtime=1.43 cores=0,2,4,6
/proc/19882/task/19897/stat : 19897 (java) S 19879 19882 897 0 -1 1077944384 2176 0 0 0 68 75 0 0 20 0 15 0 91284134 14317654016 314059 18446744073709551615 4194304 4196468 140735518259136 139655035406768 139655565224578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16187392 140735518261619 140735518261801 140735518261801 140735518265295 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1256236 KiB
Child status: 143
Real time (s): 2452.73
CPU time (s): 2520.05
CPU user time (s): 2516.75
CPU system time (s): 3.2998
CPU usage (%): 102.745
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3825144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.75
system time used= 3.2998
maximum resident set size= 3828244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142182
involuntary context switches= 6911
# summary of solver processes directly reported to runsolver:
# pid: 19882
# total CPU time (s): 2520.05
# total CPU user time (s): 2516.75
# total CPU system time (s): 3.2998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1046 second user time and 24.571 second system time
The end