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 (13928 MiB free)
memory of node 1: 16384 MiB (14904 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400899-1568686550/watcher-4400899-1568686550 -o /tmp/evaluation-result-4400899-1568686550/solver-4400899-1568686550 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568673287-18224 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=520998890 HOME/instance-4400899-1568686550.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22878, runsolver pid=22875
Current StackSize limit: 8192 KiB
[startup+0.100134 s]*
/proc/loadavg: 1.58 1.45 1.42 3/219 22935
/proc/meminfo: memFree=29519452/32770624 swapFree=66917056/67108860
[pid=22878] ppid=22875 vsize=9972712 memory=14912 CPUtime=0.1 cores=0,2,4,6
/proc/22878/stat : 22878 (java) S 22875 22878 18193 0 -1 1077944320 4519 13140 0 0 1 1 5 3 20 0 6 0 444568807 10212057088 3728 33554432000 4194304 4196468 140727639298768 140727639281312 140484623023863 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
/proc/22878/statm: 2493178 3728 1935 1 0 2481616 0
[pid=22878/tid=22931] ppid=22875 vsize=9972712 memory=4279135703946462859 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22931/stat : 22931 (java) R 22875 22878 18193 0 -1 4202560 2309 13140 0 0 0 0 5 3 20 0 6 0 444568816 10212057088 3728 33554432000 4194304 4196468 140727639298768 140484594860624 140484604417597 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22932] ppid=22875 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22932/stat : 22932 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 6 0 444568817 10212057088 3794 33554432000 4194304 4196468 140727639298768 140484627265936 140484623034069 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22933] ppid=22875 vsize=9972712 memory=140055803709056 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22933/stat : 22933 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 6 0 444568817 10212057088 3794 33554432000 4194304 4196468 140727639298768 140484557023504 140484623034069 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22934] ppid=22875 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22934/stat : 22934 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 6 0 444568817 10212057088 3794 33554432000 4194304 4196468 140727639298768 140484194790032 140484623034069 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22935] ppid=22875 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22935/stat : 22935 (java) S 22875 22878 18193 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 6 0 444568817 10212057088 3794 33554432000 4194304 4196468 140727639298768 140484193737232 140484623034069 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14912 KiB
[startup+0.210016 s]*
/proc/loadavg: 1.58 1.45 1.42 4/228 22944
/proc/meminfo: memFree=29497692/32770624 swapFree=66917056/67108860
[pid=22878] ppid=22875 vsize=10819712 memory=42336 CPUtime=0.27 cores=0,2,4,6
/proc/22878/stat : 22878 (java) S 22875 22878 18193 0 -1 1077944320 7344 13140 0 0 17 2 5 3 20 0 15 0 444568807 11079385088 10584 33554432000 4194304 4196468 140727639298768 140727639281312 140484623023863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
/proc/22878/statm: 2704928 10584 3196 1 0 2667149 0
[pid=22878/tid=22931] ppid=22875 vsize=10819712 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/22878/task/22931/stat : 22931 (java) R 22875 22878 18193 0 -1 4202560 3732 13140 0 0 10 1 5 3 20 0 15 0 444568816 11079385088 10584 33554432000 4194304 4196468 140727639298768 140484594856064 140484607104350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22932] ppid=22875 vsize=10819712 memory=343 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22932/stat : 22932 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568817 11079385088 10584 33554432000 4194304 4196468 140727639298768 140484627265936 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22933] ppid=22875 vsize=10819712 memory=140055803730239 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22933/stat : 22933 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568817 11079385088 10584 33554432000 4194304 4196468 140727639298768 140484557023504 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22934] ppid=22875 vsize=10819712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22934/stat : 22934 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568817 11079385088 10584 33554432000 4194304 4196468 140727639298768 140484194790032 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22935] ppid=22875 vsize=10819712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22935/stat : 22935 (java) S 22875 22878 18193 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 444568817 11079385088 10584 33554432000 4194304 4196468 140727639298768 140484193737232 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22936] ppid=22875 vsize=10819856 memory=140055803709056 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22936/stat : 22936 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568818 11079532544 10584 33554432000 4194304 4196468 140727639298768 140484082121328 140484623035010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22937] ppid=22875 vsize=10819856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22937/stat : 22937 (java) S 22875 22878 18193 0 -1 1077944384 33 13140 0 0 0 0 5 3 20 0 15 0 444568819 11079532544 10584 33554432000 4194304 4196468 140727639298768 140484081067296 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22938] ppid=22875 vsize=10819856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22938/stat : 22938 (java) S 22875 22878 18193 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 444568819 11079532544 10584 33554432000 4194304 4196468 140727639298768 140483951060592 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22939] ppid=22875 vsize=10819856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22939/stat : 22939 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568822 11079532544 10584 33554432000 4194304 4196468 140727639298768 140483347081808 140484623042459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22940] ppid=22875 vsize=10819856 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22878/task/22940/stat : 22940 (java) S 22875 22878 18193 0 -1 1077944384 612 13140 0 0 1 0 5 3 20 0 15 0 444568822 11079532544 10584 33554432000 4194304 4196468 140727639298768 140484047509616 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22941] ppid=22875 vsize=10819856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22941/stat : 22941 (java) S 22875 22878 18193 0 -1 1077944384 67 13140 0 0 0 0 5 3 20 0 15 0 444568822 11079532544 10584 33554432000 4194304 4196468 140727639298768 140484046456816 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22942] ppid=22875 vsize=10819856 memory=140055803709056 CPUtime=0.11 cores=0,2,4,6
/proc/22878/task/22942/stat : 22942 (java) S 22875 22878 18193 0 -1 1077944384 675 13140 0 0 3 0 5 3 20 0 15 0 444568822 11079532544 10584 33554432000 4194304 4196468 140727639298768 140484045404528 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22943] ppid=22875 vsize=10819856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22943/stat : 22943 (java) S 22875 22878 18193 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 444568822 11079532544 10584 33554432000 4194304 4196468 140727639298768 140482877319648 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22944] ppid=22875 vsize=10819856 memory=140055803709056 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22944/stat : 22944 (java) S 22875 22878 18193 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 444568822 11079532544 10584 33554432000 4194304 4196468 140727639298768 140484044352432 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 42336 KiB
[startup+0.310646 s]*
/proc/loadavg: 1.58 1.45 1.42 3/228 22944
/proc/meminfo: memFree=29483868/32770624 swapFree=66917056/67108860
[pid=22878] ppid=22875 vsize=10820196 memory=51096 CPUtime=0.4 cores=0,2,4,6
/proc/22878/stat : 22878 (java) S 22875 22878 18193 0 -1 1077944320 11008 13140 0 0 29 3 5 3 20 0 15 0 444568807 11079880704 12774 33554432000 4194304 4196468 140727639298768 140727639281312 140484623023863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
/proc/22878/statm: 2705049 12774 3328 1 0 2667149 0
[pid=22878/tid=22931] ppid=22875 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/22878/task/22931/stat : 22931 (java) R 22875 22878 18193 0 -1 4202560 7343 13140 0 0 19 2 5 3 20 0 15 0 444568816 11079880704 12774 33554432000 4194304 4196468 140727639298768 140484594833472 140484623045789 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22932] ppid=22875 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22932/stat : 22932 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568817 11079880704 12774 33554432000 4194304 4196468 140727639298768 140484627265936 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22933] ppid=22875 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22933/stat : 22933 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568817 11079880704 12774 33554432000 4194304 4196468 140727639298768 140484557023504 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22934] ppid=22875 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22934/stat : 22934 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568817 11079880704 12774 33554432000 4194304 4196468 140727639298768 140484194790032 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22935] ppid=22875 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22935/stat : 22935 (java) S 22875 22878 18193 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 444568817 11079880704 12774 33554432000 4194304 4196468 140727639298768 140484193737232 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22936] ppid=22875 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22936/stat : 22936 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568818 11079880704 12774 33554432000 4194304 4196468 140727639298768 140484082121328 140484623035010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22937] ppid=22875 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22937/stat : 22937 (java) S 22875 22878 18193 0 -1 1077944384 33 13140 0 0 0 0 5 3 20 0 15 0 444568819 11079880704 12774 33554432000 4194304 4196468 140727639298768 140484081067296 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22938] ppid=22875 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22938/stat : 22938 (java) S 22875 22878 18193 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 444568819 11079880704 12774 33554432000 4194304 4196468 140727639298768 140483951060592 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22939] ppid=22875 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22939/stat : 22939 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568822 11079880704 12774 33554432000 4194304 4196468 140727639298768 140483347081808 140484623042459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22940] ppid=22875 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/22878/task/22940/stat : 22940 (java) S 22875 22878 18193 0 -1 1077944384 617 13140 0 0 2 0 5 3 20 0 15 0 444568822 11079880704 12774 33554432000 4194304 4196468 140727639298768 140484047509616 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22941] ppid=22875 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/22878/task/22941/stat : 22941 (java) S 22875 22878 18193 0 -1 1077944384 86 13140 0 0 1 0 5 3 20 0 15 0 444568822 11079880704 12774 33554432000 4194304 4196468 140727639298768 140484046456816 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22942] ppid=22875 vsize=10820196 memory=140055803709056 CPUtime=0.13 cores=0,2,4,6
/proc/22878/task/22942/stat : 22942 (java) R 22875 22878 18193 0 -1 4202560 704 13140 0 0 5 0 5 3 20 0 15 0 444568822 11079880704 12774 33554432000 4194304 4196468 140727639298768 140484045404528 140484601727441 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22943] ppid=22875 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22943/stat : 22943 (java) S 22875 22878 18193 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 444568822 11079880704 12774 33554432000 4194304 4196468 140727639298768 140482877319648 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22944] ppid=22875 vsize=10820196 memory=140055803709056 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22944/stat : 22944 (java) S 22875 22878 18193 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 444568822 11079880704 12774 33554432000 4194304 4196468 140727639298768 140484044352432 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 51096 KiB
[startup+0.701427 s]
/proc/loadavg: 1.58 1.45 1.42 3/228 22944
/proc/meminfo: memFree=29454880/32770624 swapFree=66917056/67108860
[pid=22878] ppid=22875 vsize=10824364 memory=84872 CPUtime=1.13 cores=0,2,4,6
/proc/22878/stat : 22878 (java) S 22875 22878 18193 0 -1 1077944320 15431 13140 0 0 99 6 5 3 20 0 15 0 444568807 11084148736 21218 33554432000 4194304 4196468 140727639298768 140727639281312 140484623023863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
/proc/22878/statm: 2706091 21218 3513 1 0 2668173 0
[pid=22878/tid=22931] ppid=22875 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/22878/task/22931/stat : 22931 (java) R 22875 22878 18193 0 -1 4202560 10594 13140 0 0 55 4 5 3 20 0 15 0 444568816 11084148736 21218 33554432000 4194304 4196468 140727639298768 140484594853408 140484623045789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22932] ppid=22875 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22932/stat : 22932 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568817 11084148736 21218 33554432000 4194304 4196468 140727639298768 140484627265936 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22933] ppid=22875 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22933/stat : 22933 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568817 11084148736 21218 33554432000 4194304 4196468 140727639298768 140484557023504 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22934] ppid=22875 vsize=10824364 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22934/stat : 22934 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568817 11084148736 21218 33554432000 4194304 4196468 140727639298768 140484194790032 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22935] ppid=22875 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22935/stat : 22935 (java) S 22875 22878 18193 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 444568817 11084148736 21218 33554432000 4194304 4196468 140727639298768 140484193737232 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22936] ppid=22875 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22936/stat : 22936 (java) S 22875 22878 18193 0 -1 1077944384 5 13140 0 0 0 0 5 3 20 0 15 0 444568818 11084148736 21218 33554432000 4194304 4196468 140727639298768 140484082121328 140484623035010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22937] ppid=22875 vsize=10824364 memory=140055662441168 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22937/stat : 22937 (java) S 22875 22878 18193 0 -1 1077944384 33 13140 0 0 0 0 5 3 20 0 15 0 444568819 11084148736 21218 33554432000 4194304 4196468 140727639298768 140484081067296 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22938] ppid=22875 vsize=10824364 memory=140058883523149 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22938/stat : 22938 (java) S 22875 22878 18193 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 444568819 11084148736 21218 33554432000 4194304 4196468 140727639298768 140483951060592 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22939] ppid=22875 vsize=10824364 memory=1112 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22939/stat : 22939 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568822 11084148736 21218 33554432000 4194304 4196468 140727639298768 140483347081808 140484623042459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22940] ppid=22875 vsize=10824364 memory=7089886620845893184 CPUtime=0.19 cores=0,2,4,6
/proc/22878/task/22940/stat : 22940 (java) S 22875 22878 18193 0 -1 1077944384 1020 13140 0 0 11 0 5 3 20 0 15 0 444568822 11084148736 21218 33554432000 4194304 4196468 140727639298768 140484047509616 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22941] ppid=22875 vsize=10824364 memory=7739276948478192999 CPUtime=0.22 cores=0,2,4,6
/proc/22878/task/22941/stat : 22941 (java) S 22875 22878 18193 0 -1 1077944384 538 13140 0 0 14 0 5 3 20 0 15 0 444568822 11084148736 21218 33554432000 4194304 4196468 140727639298768 140484046456816 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22942] ppid=22875 vsize=10824364 memory=6148935659200796009 CPUtime=0.25 cores=0,2,4,6
/proc/22878/task/22942/stat : 22942 (java) S 22875 22878 18193 0 -1 1077944384 1018 13140 0 0 17 0 5 3 20 0 15 0 444568822 11084148736 21218 33554432000 4194304 4196468 140727639298768 140484045404528 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22943] ppid=22875 vsize=10824364 memory=3512 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22943/stat : 22943 (java) S 22875 22878 18193 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 444568822 11084148736 21218 33554432000 4194304 4196468 140727639298768 140482877319648 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22944] ppid=22875 vsize=10824364 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22944/stat : 22944 (java) S 22875 22878 18193 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 444568822 11084148736 21218 33554432000 4194304 4196468 140727639298768 140484044352432 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 84872 KiB
[startup+1.50081 s]
/proc/loadavg: 1.86 1.51 1.44 6/227 22944
/proc/meminfo: memFree=29420264/32770624 swapFree=66917056/67108860
[pid=22878] ppid=22875 vsize=10832632 memory=202864 CPUtime=3.02 cores=0,2,4,6
/proc/22878/stat : 22878 (java) S 22875 22878 18193 0 -1 1077944320 24002 13140 0 0 281 13 5 3 20 0 15 0 444568807 11092615168 50716 33554432000 4194304 4196468 140727639298768 140727639281312 140484623023863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
/proc/22878/statm: 2708158 50716 3587 1 0 2670221 0
[pid=22878/tid=22931] ppid=22875 vsize=10832632 memory=9174 CPUtime=1.42 cores=0,2,4,6
/proc/22878/task/22931/stat : 22931 (java) R 22875 22878 18193 0 -1 4202560 15233 13140 0 0 127 7 5 3 20 0 15 0 444568816 11092615168 50716 33554432000 4194304 4196468 140727639298768 140484594856608 140484623045789 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22932] ppid=22875 vsize=10832632 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/22878/task/22932/stat : 22932 (java) S 22875 22878 18193 0 -1 1077944384 239 13140 0 0 1 0 5 3 20 0 15 0 444568817 11092615168 50716 33554432000 4194304 4196468 140727639298768 140484627265936 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22933] ppid=22875 vsize=10832632 memory=3309 CPUtime=0.09 cores=0,2,4,6
/proc/22878/task/22933/stat : 22933 (java) S 22875 22878 18193 0 -1 1077944384 25 13140 0 0 1 0 5 3 20 0 15 0 444568817 11092615168 50716 33554432000 4194304 4196468 140727639298768 140484557023504 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22934] ppid=22875 vsize=10832632 memory=220301 CPUtime=0.09 cores=0,2,4,6
/proc/22878/task/22934/stat : 22934 (java) S 22875 22878 18193 0 -1 1077944384 70 13140 0 0 1 0 5 3 20 0 15 0 444568817 11092615168 50716 33554432000 4194304 4196468 140727639298768 140484194790032 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22935] ppid=22875 vsize=10832632 memory=84872 CPUtime=0.09 cores=0,2,4,6
/proc/22878/task/22935/stat : 22935 (java) S 22875 22878 18193 0 -1 1077944384 21 13140 0 0 1 0 5 3 20 0 15 0 444568817 11092615168 50716 33554432000 4194304 4196468 140727639298768 140484193737232 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22936] ppid=22875 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22878/task/22936/stat : 22936 (java) S 22875 22878 18193 0 -1 1077944384 1010 13140 0 0 1 0 5 3 20 0 15 0 444568818 11092615168 50716 33554432000 4194304 4196468 140727639298768 140484082121328 140484623035010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22937] ppid=22875 vsize=10832632 memory=280111324824048 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22937/stat : 22937 (java) S 22875 22878 18193 0 -1 1077944384 34 13140 0 0 0 0 5 3 20 0 15 0 444568819 11092615168 50716 33554432000 4194304 4196468 140727639298768 140484081067360 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22938] ppid=22875 vsize=10832632 memory=280111324874848 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22938/stat : 22938 (java) S 22875 22878 18193 0 -1 1077944384 1 13140 0 0 0 0 5 3 20 0 15 0 444568819 11092615168 50716 33554432000 4194304 4196468 140727639298768 140483951060608 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22939] ppid=22875 vsize=10832632 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22939/stat : 22939 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568822 11092615168 50716 33554432000 4194304 4196468 140727639298768 140483347081808 140484623042459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22940] ppid=22875 vsize=10832632 memory=6935649255759568960 CPUtime=0.57 cores=0,2,4,6
/proc/22878/task/22940/stat : 22940 (java) S 22875 22878 18193 0 -1 1077944384 1878 13140 0 0 49 0 5 3 20 0 15 0 444568822 11092615168 50716 33554432000 4194304 4196468 140727639298768 140484047509616 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22941] ppid=22875 vsize=10832632 memory=280111325158336 CPUtime=0.6 cores=0,2,4,6
/proc/22878/task/22941/stat : 22941 (java) S 22875 22878 18193 0 -1 1077944384 1290 13140 0 0 52 0 5 3 20 0 15 0 444568822 11092615168 50716 33554432000 4194304 4196468 140727639298768 140484046456816 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22942] ppid=22875 vsize=10832632 memory=6944656425123290226 CPUtime=0.52 cores=0,2,4,6
/proc/22878/task/22942/stat : 22942 (java) S 22875 22878 18193 0 -1 1077944384 1984 13140 0 0 43 1 5 3 20 0 15 0 444568822 11092615168 50716 33554432000 4194304 4196468 140727639298768 140484045404528 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22943] ppid=22875 vsize=10832632 memory=-7233780906022716832 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22943/stat : 22943 (java) S 22875 22878 18193 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 444568822 11092615168 50716 33554432000 4194304 4196468 140727639298768 140482877319648 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22944] ppid=22875 vsize=10832632 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22944/stat : 22944 (java) S 22875 22878 18193 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 444568822 11092615168 50716 33554432000 4194304 4196468 140727639298768 140484044352432 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10832632 KiB
################
# More data... #
################
/proc/22878/task/22931/stat : 22931 (java) S 22875 22878 18193 0 -1 1077944384 67831 13140 0 0 235604 49 5 3 20 0 15 0 444568816 11107315712 301341 33554432000 4194304 4196468 140727639298768 140484594859600 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22932] ppid=22875 vsize=10846988 memory=1205344 CPUtime=13.08 cores=0,2,4,6
/proc/22878/task/22932/stat : 22932 (java) R 22875 22878 18193 0 -1 4202560 16946 13140 0 0 1247 53 5 3 20 0 15 0 444568817 11107315712 301341 33554432000 4194304 4196468 140727639298768 140484627265936 140484623035798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22933] ppid=22875 vsize=10846988 memory=1205288 CPUtime=13.03 cores=0,2,4,6
/proc/22878/task/22933/stat : 22933 (java) R 22875 22878 18193 0 -1 4202560 15940 13140 0 0 1247 48 5 3 20 0 15 0 444568817 11107315712 301341 33554432000 4194304 4196468 140727639298768 140484557023504 140484623035798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22934] ppid=22875 vsize=10846988 memory=1205344 CPUtime=13.04 cores=0,2,4,6
/proc/22878/task/22934/stat : 22934 (java) R 22875 22878 18193 0 -1 4202560 14068 13140 0 0 1245 51 5 3 20 0 15 0 444568817 11107315712 301341 33554432000 4194304 4196468 140727639298768 140484194790032 140484623035798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22935] ppid=22875 vsize=10846988 memory=1205288 CPUtime=13.02 cores=0,2,4,6
/proc/22878/task/22935/stat : 22935 (java) R 22875 22878 18193 0 -1 1077944384 14466 13140 0 0 1243 51 5 3 20 0 15 0 444568817 11107315712 301341 33554432000 4194304 4196468 140727639298768 140484193737232 140484623034069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22936] ppid=22875 vsize=10846988 memory=1205344 CPUtime=10.16 cores=0,2,4,6
/proc/22878/task/22936/stat : 22936 (java) S 22875 22878 18193 0 -1 1077944384 15821 13140 0 0 958 50 5 3 20 0 15 0 444568818 11107315712 301341 33554432000 4194304 4196468 140727639298768 140484082119840 140484623034069 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22937] ppid=22875 vsize=10846988 memory=1205364 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22937/stat : 22937 (java) S 22875 22878 18193 0 -1 1077944384 39 13140 0 0 0 0 5 3 20 0 15 0 444568819 11107315712 301341 33554432000 4194304 4196468 140727639298768 140484081067360 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22938] ppid=22875 vsize=10846988 memory=1205364 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22938/stat : 22938 (java) S 22875 22878 18193 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 444568819 11107315712 301341 33554432000 4194304 4196468 140727639298768 140483951060608 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22939] ppid=22875 vsize=10846988 memory=1205364 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22939/stat : 22939 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568822 11107315712 301341 33554432000 4194304 4196468 140727639298768 140483347081808 140484623042459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22940] ppid=22875 vsize=10846988 memory=1205364 CPUtime=3.82 cores=0,2,4,6
/proc/22878/task/22940/stat : 22940 (java) S 22875 22878 18193 0 -1 1077944384 19482 13140 0 0 369 5 5 3 20 0 15 0 444568822 11107315712 301341 33554432000 4194304 4196468 140727639298768 140484047509616 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22941] ppid=22875 vsize=10846988 memory=1205364 CPUtime=3.48 cores=0,2,4,6
/proc/22878/task/22941/stat : 22941 (java) S 22875 22878 18193 0 -1 1077944384 15017 13140 0 0 336 4 5 3 20 0 15 0 444568822 11107315712 301341 33554432000 4194304 4196468 140727639298768 140484046456816 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22942] ppid=22875 vsize=10846988 memory=1205364 CPUtime=1.79 cores=0,2,4,6
/proc/22878/task/22942/stat : 22942 (java) S 22875 22878 18193 0 -1 1077944384 17750 13140 0 0 165 6 5 3 20 0 15 0 444568822 11107315712 301341 33554432000 4194304 4196468 140727639298768 140484045404528 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22943] ppid=22875 vsize=10846988 memory=1205364 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22943/stat : 22943 (java) S 22875 22878 18193 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 444568822 11107315712 301341 33554432000 4194304 4196468 140727639298768 140482877319648 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22944] ppid=22875 vsize=10846988 memory=1205364 CPUtime=1.52 cores=0,2,4,6
/proc/22878/task/22944/stat : 22944 (java) S 22875 22878 18193 0 -1 1077944384 972 13140 0 0 67 77 5 3 20 0 15 0 444568822 11107315712 301341 33554432000 4194304 4196468 140727639298768 140484044352432 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
Current children cumulated CPU time: 2428.92 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1205364 KiB
[startup+2442.3 s]
/proc/loadavg: 1.53 1.30 1.32 3/227 23320
/proc/meminfo: memFree=27824568/32770624 swapFree=66917056/67108860
[pid=22878] ppid=22875 vsize=10846988 memory=1205404 CPUtime=2489.96 cores=0,2,4,6
/proc/22878/stat : 22878 (java) S 22875 22878 18193 0 -1 1077944320 202199 13140 0 0 248642 346 5 3 20 0 15 0 444568807 11107315712 301351 33554432000 4194304 4196468 140727639298768 140727639281312 140484623023863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
/proc/22878/statm: 2711747 301351 3627 1 0 2673805 0
[pid=22878/tid=22931] ppid=22875 vsize=10846988 memory=1205404 CPUtime=2415.92 cores=0,2,4,6
/proc/22878/task/22931/stat : 22931 (java) R 22875 22878 18193 0 -1 4202560 68757 13140 0 0 241535 49 5 3 20 0 15 0 444568816 11107315712 301351 33554432000 4194304 4196468 140727639298768 140484594859088 140484240412635 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22932] ppid=22875 vsize=10846988 memory=1205404 CPUtime=13.44 cores=0,2,4,6
/proc/22878/task/22932/stat : 22932 (java) S 22875 22878 18193 0 -1 1077944384 16969 13140 0 0 1282 54 5 3 20 0 15 0 444568817 11107315712 301351 33554432000 4194304 4196468 140727639298768 140484627265936 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22933] ppid=22875 vsize=10846988 memory=1205384 CPUtime=13.38 cores=0,2,4,6
/proc/22878/task/22933/stat : 22933 (java) S 22875 22878 18193 0 -1 1077944384 16062 13140 0 0 1280 50 5 3 20 0 15 0 444568817 11107315712 301351 33554432000 4194304 4196468 140727639298768 140484557023504 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22934] ppid=22875 vsize=10846988 memory=1205384 CPUtime=13.39 cores=0,2,4,6
/proc/22878/task/22934/stat : 22934 (java) S 22875 22878 18193 0 -1 1077944384 14226 13140 0 0 1279 52 5 3 20 0 15 0 444568817 11107315712 301351 33554432000 4194304 4196468 140727639298768 140484194790032 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22935] ppid=22875 vsize=10846988 memory=1205384 CPUtime=13.36 cores=0,2,4,6
/proc/22878/task/22935/stat : 22935 (java) S 22875 22878 18193 0 -1 1077944384 14663 13140 0 0 1276 52 5 3 20 0 15 0 444568817 11107315712 301351 33554432000 4194304 4196468 140727639298768 140484193737232 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22936] ppid=22875 vsize=10846988 memory=1205364 CPUtime=10.42 cores=0,2,4,6
/proc/22878/task/22936/stat : 22936 (java) S 22875 22878 18193 0 -1 1077944384 16021 13140 0 0 983 51 5 3 20 0 15 0 444568818 11107315712 301351 33554432000 4194304 4196468 140727639298768 140484082121328 140484623035010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22937] ppid=22875 vsize=10846988 memory=1205404 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22937/stat : 22937 (java) S 22875 22878 18193 0 -1 1077944384 39 13140 0 0 0 0 5 3 20 0 15 0 444568819 11107315712 301351 33554432000 4194304 4196468 140727639298768 140484081067360 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22938] ppid=22875 vsize=10846988 memory=1205404 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22938/stat : 22938 (java) S 22875 22878 18193 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 444568819 11107315712 301351 33554432000 4194304 4196468 140727639298768 140483951060608 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22939] ppid=22875 vsize=10846988 memory=1205404 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22939/stat : 22939 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568822 11107315712 301351 33554432000 4194304 4196468 140727639298768 140483347081808 140484623042459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22940] ppid=22875 vsize=10846988 memory=1205404 CPUtime=3.82 cores=0,2,4,6
/proc/22878/task/22940/stat : 22940 (java) S 22875 22878 18193 0 -1 1077944384 19484 13140 0 0 369 5 5 3 20 0 15 0 444568822 11107315712 301351 33554432000 4194304 4196468 140727639298768 140484047509616 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22941] ppid=22875 vsize=10846988 memory=0 CPUtime=3.48 cores=0,2,4,6
/proc/22878/task/22941/stat : 22941 (java) S 22875 22878 18193 0 -1 1077944384 15019 13140 0 0 336 4 5 3 20 0 15 0 444568822 11107315712 301351 33554432000 4194304 4196468 140727639298768 140484046456816 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22942] ppid=22875 vsize=10846988 memory=1205404 CPUtime=1.79 cores=0,2,4,6
/proc/22878/task/22942/stat : 22942 (java) S 22875 22878 18193 0 -1 1077944384 17752 13140 0 0 165 6 5 3 20 0 15 0 444568822 11107315712 301351 33554432000 4194304 4196468 140727639298768 140484045404528 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22943] ppid=22875 vsize=10846988 memory=3512 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22943/stat : 22943 (java) S 22875 22878 18193 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 444568822 11107315712 301351 33554432000 4194304 4196468 140727639298768 140482877319648 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22944] ppid=22875 vsize=10846988 memory=1205404 CPUtime=1.56 cores=0,2,4,6
/proc/22878/task/22944/stat : 22944 (java) S 22875 22878 18193 0 -1 1077944384 990 13140 0 0 69 79 5 3 20 0 15 0 444568822 11107315712 301351 33554432000 4194304 4196468 140727639298768 140484044352432 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
Current children cumulated CPU time: 2489.96 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1205404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.9 s]
/proc/loadavg: 1.48 1.31 1.32 3/227 23321
/proc/meminfo: memFree=27820888/32770624 swapFree=66917056/67108860
[pid=22878] ppid=22875 vsize=10846988 memory=1207488 CPUtime=2520.08 cores=0,2,4,6
/proc/22878/stat : 22878 (java) S 22875 22878 18193 0 -1 1077944320 203463 13140 0 0 251651 349 5 3 20 0 15 0 444568807 11107315712 301872 33554432000 4194304 4196468 140727639298768 140727639281312 140484623023863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
/proc/22878/statm: 2711747 301872 3627 1 0 2673805 0
[pid=22878/tid=22931] ppid=22875 vsize=10846988 memory=1207488 CPUtime=2445.18 cores=0,2,4,6
/proc/22878/task/22931/stat : 22931 (java) R 22875 22878 18193 0 -1 4202560 69298 13140 0 0 244460 50 5 3 20 0 15 0 444568816 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484594859200 140484240412573 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22932] ppid=22875 vsize=10846988 memory=1207488 CPUtime=13.62 cores=0,2,4,6
/proc/22878/task/22932/stat : 22932 (java) S 22875 22878 18193 0 -1 1077944384 17149 13140 0 0 1300 54 5 3 20 0 15 0 444568817 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484627265936 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22933] ppid=22875 vsize=10846988 memory=1207488 CPUtime=13.57 cores=0,2,4,6
/proc/22878/task/22933/stat : 22933 (java) S 22875 22878 18193 0 -1 1077944384 16167 13140 0 0 1298 51 5 3 20 0 15 0 444568817 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484557023504 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22934] ppid=22875 vsize=10846988 memory=1207468 CPUtime=13.58 cores=0,2,4,6
/proc/22878/task/22934/stat : 22934 (java) S 22875 22878 18193 0 -1 1077944384 14247 13140 0 0 1297 53 5 3 20 0 15 0 444568817 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484194790032 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22935] ppid=22875 vsize=10846988 memory=280111324788688 CPUtime=13.54 cores=0,2,4,6
/proc/22878/task/22935/stat : 22935 (java) S 22875 22878 18193 0 -1 1077944384 14857 13140 0 0 1294 52 5 3 20 0 15 0 444568817 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484193737232 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22936] ppid=22875 vsize=10846988 memory=1207488 CPUtime=10.55 cores=0,2,4,6
/proc/22878/task/22936/stat : 22936 (java) S 22875 22878 18193 0 -1 1077944384 16223 13140 0 0 996 51 5 3 20 0 15 0 444568818 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484082121328 140484623035010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22937] ppid=22875 vsize=10846988 memory=1207488 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22937/stat : 22937 (java) S 22875 22878 18193 0 -1 1077944384 39 13140 0 0 0 0 5 3 20 0 15 0 444568819 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484081067360 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22938] ppid=22875 vsize=10846988 memory=1207488 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22938/stat : 22938 (java) S 22875 22878 18193 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 444568819 11107315712 301872 33554432000 4194304 4196468 140727639298768 140483951060608 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22939] ppid=22875 vsize=10846988 memory=1207488 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22939/stat : 22939 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568822 11107315712 301872 33554432000 4194304 4196468 140727639298768 140483347081808 140484623042459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22940] ppid=22875 vsize=10846988 memory=1207488 CPUtime=3.82 cores=0,2,4,6
/proc/22878/task/22940/stat : 22940 (java) S 22875 22878 18193 0 -1 1077944384 19486 13140 0 0 369 5 5 3 20 0 15 0 444568822 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484047509616 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22941] ppid=22875 vsize=10846988 memory=8 CPUtime=3.48 cores=0,2,4,6
/proc/22878/task/22941/stat : 22941 (java) S 22875 22878 18193 0 -1 1077944384 15021 13140 0 0 336 4 5 3 20 0 15 0 444568822 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484046456816 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22942] ppid=22875 vsize=10846988 memory=1207488 CPUtime=1.79 cores=0,2,4,6
/proc/22878/task/22942/stat : 22942 (java) S 22875 22878 18193 0 -1 1077944384 17754 13140 0 0 165 6 5 3 20 0 15 0 444568822 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484045404528 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22943] ppid=22875 vsize=10846988 memory=1205404 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22943/stat : 22943 (java) S 22875 22878 18193 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 444568822 11107315712 301872 33554432000 4194304 4196468 140727639298768 140482877319648 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22944] ppid=22875 vsize=10846988 memory=6791534058613427641 CPUtime=1.58 cores=0,2,4,6
/proc/22878/task/22944/stat : 22944 (java) S 22875 22878 18193 0 -1 1077944384 1005 13140 0 0 70 80 5 3 20 0 15 0 444568822 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484044352432 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1207488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.93 s]
# the end of solver process 22878 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.59 s, system=3.54231 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2471.9 s]
/proc/loadavg: 1.48 1.31 1.32 3/227 23321
/proc/meminfo: memFree=27820888/32770624 swapFree=66917056/67108860
[pid=22878] ppid=22875 vsize=10846988 memory=1207488 CPUtime=2520.08 cores=0,2,4,6
/proc/22878/stat : 22878 (java) S 22875 22878 18193 0 -1 1077944320 203463 13140 0 0 251651 349 5 3 20 0 15 0 444568807 11107315712 301872 33554432000 4194304 4196468 140727639298768 140727639281312 140484623023863 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
/proc/22878/statm: 2711747 301872 3627 1 0 2673805 0
[pid=22878/tid=22931] ppid=22875 vsize=10846988 memory=1207488 CPUtime=2445.18 cores=0,2,4,6
/proc/22878/task/22931/stat : 22931 (java) R 22875 22878 18193 0 -1 4202560 69298 13140 0 0 244460 50 5 3 20 0 15 0 444568816 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484594859200 140484240412573 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22932] ppid=22875 vsize=10846988 memory=1207488 CPUtime=13.62 cores=0,2,4,6
/proc/22878/task/22932/stat : 22932 (java) S 22875 22878 18193 0 -1 1077944384 17149 13140 0 0 1300 54 5 3 20 0 15 0 444568817 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484627265936 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22933] ppid=22875 vsize=10846988 memory=1207488 CPUtime=13.57 cores=0,2,4,6
/proc/22878/task/22933/stat : 22933 (java) S 22875 22878 18193 0 -1 1077944384 16167 13140 0 0 1298 51 5 3 20 0 15 0 444568817 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484557023504 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22934] ppid=22875 vsize=10846988 memory=1207468 CPUtime=13.58 cores=0,2,4,6
/proc/22878/task/22934/stat : 22934 (java) S 22875 22878 18193 0 -1 1077944384 14247 13140 0 0 1297 53 5 3 20 0 15 0 444568817 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484194790032 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22935] ppid=22875 vsize=10846988 memory=280111324788688 CPUtime=13.54 cores=0,2,4,6
/proc/22878/task/22935/stat : 22935 (java) S 22875 22878 18193 0 -1 1077944384 14857 13140 0 0 1294 52 5 3 20 0 15 0 444568817 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484193737232 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22936] ppid=22875 vsize=10846988 memory=1207488 CPUtime=10.55 cores=0,2,4,6
/proc/22878/task/22936/stat : 22936 (java) S 22875 22878 18193 0 -1 1077944384 16223 13140 0 0 996 51 5 3 20 0 15 0 444568818 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484082121328 140484623035010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22937] ppid=22875 vsize=10846988 memory=1207488 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22937/stat : 22937 (java) S 22875 22878 18193 0 -1 1077944384 39 13140 0 0 0 0 5 3 20 0 15 0 444568819 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484081067360 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22938] ppid=22875 vsize=10846988 memory=1207488 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22938/stat : 22938 (java) S 22875 22878 18193 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 444568819 11107315712 301872 33554432000 4194304 4196468 140727639298768 140483951060608 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22939] ppid=22875 vsize=10846988 memory=1207488 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22939/stat : 22939 (java) S 22875 22878 18193 0 -1 1077944384 2 13140 0 0 0 0 5 3 20 0 15 0 444568822 11107315712 301872 33554432000 4194304 4196468 140727639298768 140483347081808 140484623042459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22940] ppid=22875 vsize=10846988 memory=1207488 CPUtime=3.82 cores=0,2,4,6
/proc/22878/task/22940/stat : 22940 (java) S 22875 22878 18193 0 -1 1077944384 19486 13140 0 0 369 5 5 3 20 0 15 0 444568822 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484047509616 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22941] ppid=22875 vsize=10846988 memory=8 CPUtime=3.48 cores=0,2,4,6
/proc/22878/task/22941/stat : 22941 (java) S 22875 22878 18193 0 -1 1077944384 15021 13140 0 0 336 4 5 3 20 0 15 0 444568822 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484046456816 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22942] ppid=22875 vsize=10846988 memory=1207488 CPUtime=1.79 cores=0,2,4,6
/proc/22878/task/22942/stat : 22942 (java) S 22875 22878 18193 0 -1 1077944384 17754 13140 0 0 165 6 5 3 20 0 15 0 444568822 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484045404528 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22943] ppid=22875 vsize=10846988 memory=1205404 CPUtime=0.08 cores=0,2,4,6
/proc/22878/task/22943/stat : 22943 (java) S 22875 22878 18193 0 -1 1077944384 3 13140 0 0 0 0 5 3 20 0 15 0 444568822 11107315712 301872 33554432000 4194304 4196468 140727639298768 140482877319648 140484623034069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
[pid=22878/tid=22944] ppid=22875 vsize=10846988 memory=6791534058613427641 CPUtime=1.58 cores=0,2,4,6
/proc/22878/task/22944/stat : 22944 (java) S 22875 22878 18193 0 -1 1077944384 1005 13140 0 0 70 80 5 3 20 0 15 0 444568822 11107315712 301872 33554432000 4194304 4196468 140727639298768 140484044352432 140484623035010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26079232 140727639300848 140727639303365 140727639303365 140727639306191 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1207488 KiB
Child status: 143
Real time (s): 2471.93
CPU time (s): 2520.13
CPU user time (s): 2516.59
CPU system time (s): 3.54231
CPU usage (%): 101.95
Max. virtual memory (cumulated for all children) (KiB): 10847604
Max. memory (cumulated for all children) (KiB): 1308320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.59
system time used= 3.54231
maximum resident set size= 1310368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217614
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 265798
involuntary context switches= 7474
# summary of solver processes directly reported to runsolver:
# pid: 22878
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.59
# total CPU system time (s): 3.54231
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9299 second user time and 23.7694 second system time
The end