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 (15274 MiB free)
memory of node 1: 16384 MiB (15638 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392204-1568301301/watcher-4392204-1568301301 -o /tmp/evaluation-result-4392204-1568301301/solver-4392204-1568301301 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568301260-5610 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=804636591 HOME/instance-4392204-1568301301.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=5634, runsolver pid=5630
Current StackSize limit: 8192 KiB
[startup+0.100282 s]*
/proc/loadavg: 1.00 1.01 1.09 7/230 5721
/proc/meminfo: memFree=31624596/32770624 swapFree=66999688/67108860
[pid=5634] ppid=5630 vsize=113256 memory=1616 CPUtime=0.07 cores=1,3,5,7
/proc/5634/stat : 5634 (bash) S 5630 5634 5578 0 -1 4202496 926 11354 0 1 0 0 5 2 20 0 1 0 406044148 115974144 404 33554432000 4194304 5098028 140736309773744 140736309766968 139947780750336 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 1 0 0 7196144 7232144 9601024 140736309781525 140736309781649 140736309781649 140736309784558 0
/proc/5634/statm: 28314 404 320 221 0 119 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1616 KiB
[startup+0.21016 s]*
/proc/loadavg: 1.00 1.01 1.09 7/227 5770
/proc/meminfo: memFree=31615856/32770624 swapFree=66999688/67108860
[pid=5634] ppid=5630 vsize=10818520 memory=29372 CPUtime=0.14 cores=1,3,5,7
/proc/5634/stat : 5634 (java) S 5630 5634 5578 0 -1 1077944320 5713 13387 0 2 6 1 5 2 20 0 15 0 406044148 11078164480 7343 33554432000 4194304 4196468 140728280511824 140728280494368 140654187687671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
/proc/5634/statm: 2704630 7343 2725 1 0 2667149 0
[pid=5634/tid=5743] ppid=5630 vsize=10818520 memory=7022364594140610616 CPUtime=0.13 cores=1,3,5,7
/proc/5634/task/5743/stat : 5743 (java) R 5630 5634 5578 0 -1 4202560 2808 13387 0 2 5 1 5 2 20 0 15 0 406044161 11078164480 7343 33554432000 4194304 4196468 140728280511824 140654159514000 140654187709597 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5745] ppid=5630 vsize=10818520 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5745/stat : 5745 (java) S 5630 5634 5578 0 -1 1077944384 1 13387 0 2 0 0 5 2 20 0 15 0 406044162 11078164480 7343 33554432000 4194304 4196468 140728280511824 140654191930256 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5746] ppid=5630 vsize=10818520 memory=140617766378635 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5746/stat : 5746 (java) S 5630 5634 5578 0 -1 1077944384 1 13387 0 2 0 0 5 2 20 0 15 0 406044162 11078164480 7343 33554432000 4194304 4196468 140728280511824 140654080203536 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5747] ppid=5630 vsize=10818520 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5747/stat : 5747 (java) S 5630 5634 5578 0 -1 1077944384 1 13387 0 2 0 0 5 2 20 0 15 0 406044162 11078164480 7343 33554432000 4194304 4196468 140728280511824 140654079151248 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5749] ppid=5630 vsize=10818520 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5749/stat : 5749 (java) S 5630 5634 5578 0 -1 1077944384 2 13387 0 2 0 0 5 2 20 0 15 0 406044162 11078164480 7343 33554432000 4194304 4196468 140728280511824 140654078098448 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5753] ppid=5630 vsize=10818520 memory=140617766364800 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5753/stat : 5753 (java) S 5630 5634 5578 0 -1 1077944384 2 13387 0 2 0 0 5 2 20 0 15 0 406044163 11078164480 7343 33554432000 4194304 4196468 140728280511824 140653646252144 140654187698818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5755] ppid=5630 vsize=10818520 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5755/stat : 5755 (java) S 5630 5634 5578 0 -1 1077944384 33 13387 0 2 0 0 5 2 20 0 15 0 406044164 11078164480 7343 33554432000 4194304 4196468 140728280511824 140653645198112 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5757] ppid=5630 vsize=10818520 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5757/stat : 5757 (java) S 5630 5634 5578 0 -1 1077944384 1 13387 0 2 0 0 5 2 20 0 15 0 406044164 11078164480 7343 33554432000 4194304 4196468 140728280511824 140653065397360 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5759] ppid=5630 vsize=10818520 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5759/stat : 5759 (java) S 5630 5634 5578 0 -1 1077944384 3 13387 0 2 0 0 5 2 20 0 15 0 406044167 11078164480 7343 33554432000 4194304 4196468 140728280511824 140652757997648 140654187706267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5760] ppid=5630 vsize=10818520 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5760/stat : 5760 (java) S 5630 5634 5578 0 -1 1077944384 419 13387 0 2 0 0 5 2 20 0 15 0 406044167 11078164480 7343 33554432000 4194304 4196468 140728280511824 140653611641456 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5761] ppid=5630 vsize=10818520 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5761/stat : 5761 (java) S 5630 5634 5578 0 -1 1077944384 3 13387 0 2 0 0 5 2 20 0 15 0 406044167 11078164480 7343 33554432000 4194304 4196468 140728280511824 140653610588656 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5762] ppid=5630 vsize=10818520 memory=140617766364800 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5762/stat : 5762 (java) S 5630 5634 5578 0 -1 1077944384 226 13387 0 2 0 0 5 2 20 0 15 0 406044167 11078164480 7343 33554432000 4194304 4196468 140728280511824 140653609536368 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5764] ppid=5630 vsize=10818520 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5764/stat : 5764 (java) S 5630 5634 5578 0 -1 1077944384 3 13387 0 2 0 0 5 2 20 0 15 0 406044167 11078164480 7343 33554432000 4194304 4196468 140728280511824 140652724440032 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5770] ppid=5630 vsize=10818520 memory=140617766364800 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5770/stat : 5770 (java) S 5630 5634 5578 0 -1 1077944384 1 13387 0 2 0 0 5 2 20 0 15 0 406044169 11078164480 7343 33554432000 4194304 4196468 140728280511824 140653608483248 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10818520 KiB
Current children cumulated memory: 29372 KiB
[startup+0.310191 s]*
/proc/loadavg: 1.00 1.01 1.09 1/227 5770
/proc/meminfo: memFree=31585836/32770624 swapFree=66999688/67108860
[pid=5634] ppid=5630 vsize=10819084 memory=43112 CPUtime=0.29 cores=1,3,5,7
/proc/5634/stat : 5634 (java) S 5630 5634 5578 0 -1 1077944320 9420 13387 0 2 19 3 5 2 20 0 15 0 406044148 11078742016 10778 33554432000 4194304 4196468 140728280511824 140728280494368 140654187687671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
/proc/5634/statm: 2704771 10778 2984 1 0 2667149 0
[pid=5634/tid=5743] ppid=5630 vsize=10819084 memory=7378976918337972584 CPUtime=0.21 cores=1,3,5,7
/proc/5634/task/5743/stat : 5743 (java) R 5630 5634 5578 0 -1 4202560 5912 13387 0 2 12 2 5 2 20 0 15 0 406044161 11078742016 10838 33554432000 4194304 4196468 140728280511824 140654159514736 140654171768158 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5745] ppid=5630 vsize=10819084 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5745/stat : 5745 (java) S 5630 5634 5578 0 -1 1077944384 1 13387 0 2 0 0 5 2 20 0 15 0 406044162 11078742016 10838 33554432000 4194304 4196468 140728280511824 140654191930256 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5746] ppid=5630 vsize=10819084 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5746/stat : 5746 (java) S 5630 5634 5578 0 -1 1077944384 1 13387 0 2 0 0 5 2 20 0 15 0 406044162 11078742016 10838 33554432000 4194304 4196468 140728280511824 140654080203536 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5747] ppid=5630 vsize=10819084 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5747/stat : 5747 (java) S 5630 5634 5578 0 -1 1077944384 1 13387 0 2 0 0 5 2 20 0 15 0 406044162 11078742016 10838 33554432000 4194304 4196468 140728280511824 140654079151248 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5749] ppid=5630 vsize=10819084 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5749/stat : 5749 (java) S 5630 5634 5578 0 -1 1077944384 2 13387 0 2 0 0 5 2 20 0 15 0 406044162 11078742016 10838 33554432000 4194304 4196468 140728280511824 140654078098448 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5753] ppid=5630 vsize=10819084 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5753/stat : 5753 (java) S 5630 5634 5578 0 -1 1077944384 2 13387 0 2 0 0 5 2 20 0 15 0 406044163 11078742016 10838 33554432000 4194304 4196468 140728280511824 140653646252144 140654187698818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5755] ppid=5630 vsize=10819084 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5755/stat : 5755 (java) S 5630 5634 5578 0 -1 1077944384 33 13387 0 2 0 0 5 2 20 0 15 0 406044164 11078742016 10838 33554432000 4194304 4196468 140728280511824 140653645198112 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5757] ppid=5630 vsize=10819084 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5757/stat : 5757 (java) S 5630 5634 5578 0 -1 1077944384 1 13387 0 2 0 0 5 2 20 0 15 0 406044164 11078742016 10838 33554432000 4194304 4196468 140728280511824 140653065397360 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5759] ppid=5630 vsize=10819084 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5759/stat : 5759 (java) S 5630 5634 5578 0 -1 1077944384 3 13387 0 2 0 0 5 2 20 0 15 0 406044167 11078742016 10838 33554432000 4194304 4196468 140728280511824 140652757997648 140654187706267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5760] ppid=5630 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5634/task/5760/stat : 5760 (java) S 5630 5634 5578 0 -1 1077944384 473 13387 0 2 1 0 5 2 20 0 15 0 406044167 11078742016 10838 33554432000 4194304 4196468 140728280511824 140653611641456 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5761] ppid=5630 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5634/task/5761/stat : 5761 (java) S 5630 5634 5578 0 -1 1077944384 159 13387 0 2 1 0 5 2 20 0 15 0 406044167 11078742016 10838 33554432000 4194304 4196468 140728280511824 140653610588656 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5762] ppid=5630 vsize=10819084 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/5634/task/5762/stat : 5762 (java) R 5630 5634 5578 0 -1 4202560 629 13387 0 2 4 0 5 2 20 0 15 0 406044167 11078742016 10838 33554432000 4194304 4196468 140728280511824 140653609536368 140654187709018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5764] ppid=5630 vsize=10819084 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5764/stat : 5764 (java) S 5630 5634 5578 0 -1 1077944384 3 13387 0 2 0 0 5 2 20 0 15 0 406044167 11078742016 10838 33554432000 4194304 4196468 140728280511824 140652724440032 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5770] ppid=5630 vsize=10819084 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5770/stat : 5770 (java) S 5630 5634 5578 0 -1 1077944384 1 13387 0 2 0 0 5 2 20 0 15 0 406044169 11078742016 10838 33554432000 4194304 4196468 140728280511824 140653608483248 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10819084 KiB
Current children cumulated memory: 43112 KiB
[startup+0.700718 s]
/proc/loadavg: 1.08 1.03 1.09 3/227 5770
/proc/meminfo: memFree=31567000/32770624 swapFree=66999688/67108860
[pid=5634] ppid=5630 vsize=10822292 memory=71632 CPUtime=0.93 cores=1,3,5,7
/proc/5634/stat : 5634 (java) S 5630 5634 5578 0 -1 1077944320 13569 13387 0 2 80 6 5 2 20 0 15 0 406044148 11082027008 17908 33554432000 4194304 4196468 140728280511824 140728280494368 140654187687671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
/proc/5634/statm: 2705573 17908 3477 1 0 2667661 0
[pid=5634/tid=5743] ppid=5630 vsize=10822292 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/5634/task/5743/stat : 5743 (java) R 5630 5634 5578 0 -1 4202560 9367 13387 0 2 46 4 5 2 20 0 15 0 406044161 11082027008 17908 33554432000 4194304 4196468 140728280511824 140654159517504 140654187699606 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5745] ppid=5630 vsize=10822292 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5745/stat : 5745 (java) S 5630 5634 5578 0 -1 1077944384 1 13387 0 2 0 0 5 2 20 0 15 0 406044162 11082027008 17908 33554432000 4194304 4196468 140728280511824 140654191930256 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5746] ppid=5630 vsize=10822292 memory=281235264130624 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5746/stat : 5746 (java) S 5630 5634 5578 0 -1 1077944384 1 13387 0 2 0 0 5 2 20 0 15 0 406044162 11082027008 17908 33554432000 4194304 4196468 140728280511824 140654080203536 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5747] ppid=5630 vsize=10822292 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5747/stat : 5747 (java) S 5630 5634 5578 0 -1 1077944384 1 13387 0 2 0 0 5 2 20 0 15 0 406044162 11082027008 17908 33554432000 4194304 4196468 140728280511824 140654079151248 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5749] ppid=5630 vsize=10822292 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5749/stat : 5749 (java) S 5630 5634 5578 0 -1 1077944384 2 13387 0 2 0 0 5 2 20 0 15 0 406044162 11082027008 17908 33554432000 4194304 4196468 140728280511824 140654078098448 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5753] ppid=5630 vsize=10822292 memory=7230073181148178532 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5753/stat : 5753 (java) S 5630 5634 5578 0 -1 1077944384 5 13387 0 2 0 0 5 2 20 0 15 0 406044163 11082027008 17908 33554432000 4194304 4196468 140728280511824 140653646252144 140654187698818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5755] ppid=5630 vsize=10822292 memory=7300728970739542608 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5755/stat : 5755 (java) S 5630 5634 5578 0 -1 1077944384 33 13387 0 2 0 0 5 2 20 0 15 0 406044164 11082027008 17908 33554432000 4194304 4196468 140728280511824 140653645198112 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5757] ppid=5630 vsize=10822292 memory=6941561329782120512 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5757/stat : 5757 (java) S 5630 5634 5578 0 -1 1077944384 1 13387 0 2 0 0 5 2 20 0 15 0 406044164 11082027008 17908 33554432000 4194304 4196468 140728280511824 140653065397360 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5759] ppid=5630 vsize=10822292 memory=7100839861566347365 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5759/stat : 5759 (java) S 5630 5634 5578 0 -1 1077944384 3 13387 0 2 0 0 5 2 20 0 15 0 406044167 11082027008 17908 33554432000 4194304 4196468 140728280511824 140652757997648 140654187706267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5760] ppid=5630 vsize=10822292 memory=3467832393282892095 CPUtime=0.17 cores=1,3,5,7
/proc/5634/task/5760/stat : 5760 (java) R 5630 5634 5578 0 -1 1077944384 817 13387 0 2 10 0 5 2 20 0 15 0 406044167 11082027008 17908 33554432000 4194304 4196468 140728280511824 140653611641456 140654187698818 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5761] ppid=5630 vsize=10822292 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/5634/task/5761/stat : 5761 (java) R 5630 5634 5578 0 -1 4202560 390 13387 0 2 8 0 5 2 20 0 15 0 406044167 11082027008 17908 33554432000 4194304 4196468 140728280511824 140653610588656 140654187709018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5762] ppid=5630 vsize=10822292 memory=1564 CPUtime=0.22 cores=1,3,5,7
/proc/5634/task/5762/stat : 5762 (java) R 5630 5634 5578 0 -1 4202560 735 13387 0 2 15 0 5 2 20 0 15 0 406044167 11082027008 17908 33554432000 4194304 4196468 140728280511824 140653609536368 140654167120810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5764] ppid=5630 vsize=10822292 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5764/stat : 5764 (java) S 5630 5634 5578 0 -1 1077944384 3 13387 0 2 0 0 5 2 20 0 15 0 406044167 11082027008 17908 33554432000 4194304 4196468 140728280511824 140652724440032 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5770] ppid=5630 vsize=10822292 memory=1980 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5770/stat : 5770 (java) S 5630 5634 5578 0 -1 1077944384 1 13387 0 2 0 0 5 2 20 0 15 0 406044169 11082027008 17908 33554432000 4194304 4196468 140728280511824 140653608483248 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
Current children cumulated CPU time: 0.93 s
Current children cumulated vsize: 10822292 KiB
Current children cumulated memory: 71632 KiB
[startup+1.50241 s]
/proc/loadavg: 1.08 1.03 1.09 8/227 5770
/proc/meminfo: memFree=31470868/32770624 swapFree=66999688/67108860
[pid=5634] ppid=5630 vsize=10834656 memory=179592 CPUtime=2.63 cores=1,3,5,7
/proc/5634/stat : 5634 (java) S 5630 5634 5578 0 -1 1077944320 21486 13387 0 2 245 11 5 2 20 0 15 0 406044148 11094687744 44898 33554432000 4194304 4196468 140728280511824 140728280494368 140654187687671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
/proc/5634/statm: 2708664 44898 3581 1 0 2670733 0
[pid=5634/tid=5743] ppid=5630 vsize=10834656 memory=28504 CPUtime=1.33 cores=1,3,5,7
/proc/5634/task/5743/stat : 5743 (java) R 5630 5634 5578 0 -1 4202560 14795 13387 0 2 119 7 5 2 20 0 15 0 406044161 11094687744 44898 33554432000 4194304 4196468 140728280511824 140654159515968 140654171768158 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5745] ppid=5630 vsize=10834656 memory=33028 CPUtime=0.08 cores=1,3,5,7
/proc/5634/task/5745/stat : 5745 (java) S 5630 5634 5578 0 -1 1077944384 77 13387 0 2 1 0 5 2 20 0 15 0 406044162 11094687744 44898 33554432000 4194304 4196468 140728280511824 140654191930256 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5746] ppid=5630 vsize=10834656 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/5634/task/5746/stat : 5746 (java) S 5630 5634 5578 0 -1 1077944384 31 13387 0 2 1 0 5 2 20 0 15 0 406044162 11094687744 44898 33554432000 4194304 4196468 140728280511824 140654080203536 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5747] ppid=5630 vsize=10834656 memory=2012 CPUtime=0.08 cores=1,3,5,7
/proc/5634/task/5747/stat : 5747 (java) S 5630 5634 5578 0 -1 1077944384 293 13387 0 2 1 0 5 2 20 0 15 0 406044162 11094687744 44898 33554432000 4194304 4196468 140728280511824 140654079151248 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5749] ppid=5630 vsize=10834656 memory=1240 CPUtime=0.08 cores=1,3,5,7
/proc/5634/task/5749/stat : 5749 (java) S 5630 5634 5578 0 -1 1077944384 94 13387 0 2 1 0 5 2 20 0 15 0 406044162 11094687744 44898 33554432000 4194304 4196468 140728280511824 140654078098448 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5753] ppid=5630 vsize=10834656 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/5634/task/5753/stat : 5753 (java) S 5630 5634 5578 0 -1 1077944384 95 13387 0 2 1 0 5 2 20 0 15 0 406044163 11094687744 44898 33554432000 4194304 4196468 140728280511824 140653646252144 140654187698818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5755] ppid=5630 vsize=10834656 memory=-6876588628754522503 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5755/stat : 5755 (java) S 5630 5634 5578 0 -1 1077944384 34 13387 0 2 0 0 5 2 20 0 15 0 406044164 11094687744 44898 33554432000 4194304 4196468 140728280511824 140653645198176 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5757] ppid=5630 vsize=10834656 memory=8303054830060986464 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5757/stat : 5757 (java) S 5630 5634 5578 0 -1 1077944384 1 13387 0 2 0 0 5 2 20 0 15 0 406044164 11094687744 44898 33554432000 4194304 4196468 140728280511824 140653065397376 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5759] ppid=5630 vsize=10834656 memory=4206468019014099040 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5759/stat : 5759 (java) S 5630 5634 5578 0 -1 1077944384 3 13387 0 2 0 0 5 2 20 0 15 0 406044167 11094687744 44898 33554432000 4194304 4196468 140728280511824 140652757997648 140654187706267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5760] ppid=5630 vsize=10834656 memory=6944656592455360608 CPUtime=0.49 cores=1,3,5,7
/proc/5634/task/5760/stat : 5760 (java) S 5630 5634 5578 0 -1 1077944384 1460 13387 0 2 42 0 5 2 20 0 15 0 406044167 11094687744 44898 33554432000 4194304 4196468 140728280511824 140653611641456 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5761] ppid=5630 vsize=10834656 memory=-7966001967256141664 CPUtime=0.41 cores=1,3,5,7
/proc/5634/task/5761/stat : 5761 (java) S 5630 5634 5578 0 -1 1077944384 991 13387 0 2 34 0 5 2 20 0 15 0 406044167 11094687744 44898 33554432000 4194304 4196468 140728280511824 140653610588656 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5762] ppid=5630 vsize=10834656 memory=8303054830060986464 CPUtime=0.48 cores=1,3,5,7
/proc/5634/task/5762/stat : 5762 (java) S 5630 5634 5578 0 -1 1077944384 1398 13387 0 2 41 0 5 2 20 0 15 0 406044167 11094687744 44898 33554432000 4194304 4196468 140728280511824 140653609536368 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5764] ppid=5630 vsize=10834656 memory=-6737208495982354336 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5764/stat : 5764 (java) S 5630 5634 5578 0 -1 1077944384 3 13387 0 2 0 0 5 2 20 0 15 0 406044167 11094687744 44898 33554432000 4194304 4196468 140728280511824 140652724440032 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5770] ppid=5630 vsize=10834656 memory=7235702856556765807 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5770/stat : 5770 (java) S 5630 5634 5578 0 -1 1077944384 2 13387 0 2 0 0 5 2 20 0 15 0 406044169 11094687744 44898 33554432000 4194304 4196468 140728280511824 140653608483248 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 10834656 KiB
Current children cumulated memory: 179592 KiB
[startup+3.11035 s]
/proc/loadavg: 1.08 1.03 1.09 6/227 5770
/proc/meminfo: memFree=31195328/32770624 swapFree=66999688/67108860
[pid=5634] ppid=5630 vsize=10842868 memory=239624 CPUtime=6.91 cores=1,3,5,7
/proc/5634/stat : 5634 (java) S 5630 5634 5578 0 -1 1077944320 33878 13387 0 2 667 17 5 2 20 0 15 0 406044148 11103096832 59906 33554432000 4194304 4196468 140728280511824 140728280494368 140654187687671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
/proc/5634/statm: 2710717 59906 3602 1 0 2672781 0
[pid=5634/tid=5743] ppid=5630 vsize=10842868 memory=1 CPUtime=2.93 cores=1,3,5,7
/proc/5634/task/5743/stat : 5743 (java) R 5630 5634 5578 0 -1 4202560 18516 13387 0 2 277 9 5 2 20 0 15 0 406044161 11103096832 59906 33554432000 4194304 4196468 140728280511824 140654159522160 140654169556104 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
################
# More data... #
################
/proc/5634/task/5743/stat : 5743 (java) R 5630 5634 5578 0 -1 4202560 153889 13387 0 2 224805 81 5 2 20 0 15 0 406044161 11107291136 843172 33554432000 4194304 4196468 140728280511824 140654159520800 140653754391342 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5745] ppid=5630 vsize=10846964 memory=3372688 CPUtime=11.88 cores=1,3,5,7
/proc/5634/task/5745/stat : 5745 (java) S 5630 5634 5578 0 -1 1077944384 28560 13387 0 2 1143 38 5 2 20 0 15 0 406044162 11107291136 843172 33554432000 4194304 4196468 140728280511824 140654191930256 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5746] ppid=5630 vsize=10846964 memory=3372688 CPUtime=11.87 cores=1,3,5,7
/proc/5634/task/5746/stat : 5746 (java) S 5630 5634 5578 0 -1 1077944384 27425 13387 0 2 1142 38 5 2 20 0 15 0 406044162 11107291136 843172 33554432000 4194304 4196468 140728280511824 140654080203536 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5747] ppid=5630 vsize=10846964 memory=3372688 CPUtime=11.85 cores=1,3,5,7
/proc/5634/task/5747/stat : 5747 (java) S 5630 5634 5578 0 -1 1077944384 28133 13387 0 2 1141 37 5 2 20 0 15 0 406044162 11107291136 843172 33554432000 4194304 4196468 140728280511824 140654079151248 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5749] ppid=5630 vsize=10846964 memory=3372688 CPUtime=11.83 cores=1,3,5,7
/proc/5634/task/5749/stat : 5749 (java) S 5630 5634 5578 0 -1 1077944384 28322 13387 0 2 1140 36 5 2 20 0 15 0 406044162 11107291136 843172 33554432000 4194304 4196468 140728280511824 140654078098448 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5753] ppid=5630 vsize=10846964 memory=3372688 CPUtime=1.35 cores=1,3,5,7
/proc/5634/task/5753/stat : 5753 (java) S 5630 5634 5578 0 -1 1077944384 27275 13387 0 2 110 18 5 2 20 0 15 0 406044163 11107291136 843172 33554432000 4194304 4196468 140728280511824 140653646252144 140654187698818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5755] ppid=5630 vsize=10846964 memory=3372688 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5755/stat : 5755 (java) S 5630 5634 5578 0 -1 1077944384 66 13387 0 2 0 0 5 2 20 0 15 0 406044164 11107291136 843172 33554432000 4194304 4196468 140728280511824 140653645198240 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5757] ppid=5630 vsize=10846964 memory=3472328296227679505 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5757/stat : 5757 (java) S 5630 5634 5578 0 -1 1077944384 23 13387 0 2 0 0 5 2 20 0 15 0 406044164 11107291136 843172 33554432000 4194304 4196468 140728280511824 140653065397376 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5759] ppid=5630 vsize=10846964 memory=7510432583741839257 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5759/stat : 5759 (java) S 5630 5634 5578 0 -1 1077944384 3 13387 0 2 0 0 5 2 20 0 15 0 406044167 11107291136 843172 33554432000 4194304 4196468 140728280511824 140652757997648 140654187706267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5760] ppid=5630 vsize=10846964 memory=3372688 CPUtime=11.03 cores=1,3,5,7
/proc/5634/task/5760/stat : 5760 (java) S 5630 5634 5578 0 -1 1077944384 58001 13387 0 2 1089 7 5 2 20 0 15 0 406044167 11107291136 843172 33554432000 4194304 4196468 140728280511824 140653611641456 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5761] ppid=5630 vsize=10846964 memory=154 CPUtime=10.66 cores=1,3,5,7
/proc/5634/task/5761/stat : 5761 (java) S 5630 5634 5578 0 -1 1077944384 44526 13387 0 2 1051 8 5 2 20 0 15 0 406044167 11107291136 843172 33554432000 4194304 4196468 140728280511824 140653610588656 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5762] ppid=5630 vsize=10846964 memory=3372688 CPUtime=4.33 cores=1,3,5,7
/proc/5634/task/5762/stat : 5762 (java) S 5630 5634 5578 0 -1 1077944384 72226 13387 0 2 415 11 5 2 20 0 15 0 406044167 11107291136 843172 33554432000 4194304 4196468 140728280511824 140653609536368 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5764] ppid=5630 vsize=10846964 memory=3372688 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5764/stat : 5764 (java) S 5630 5634 5578 0 -1 1077944384 3 13387 0 2 0 0 5 2 20 0 15 0 406044167 11107291136 843172 33554432000 4194304 4196468 140728280511824 140652724440032 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5770] ppid=5630 vsize=10846964 memory=3372688 CPUtime=1.47 cores=1,3,5,7
/proc/5634/task/5770/stat : 5770 (java) S 5630 5634 5578 0 -1 1077944384 2154 13387 0 2 62 78 5 2 20 0 15 0 406044169 11107291136 843172 33554432000 4194304 4196468 140728280511824 140653608483248 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
Current children cumulated CPU time: 2324.66 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 3372688 KiB
[startup+2322.3 s]
/proc/loadavg: 1.49 1.48 1.45 3/228 5986
/proc/meminfo: memFree=24397308/32770624 swapFree=66999704/67108860
[pid=5634] ppid=5630 vsize=10846964 memory=3375472 CPUtime=2384.98 cores=1,3,5,7
/proc/5634/stat : 5634 (java) S 5630 5634 5578 0 -1 1077944320 480209 13387 0 2 238152 339 5 2 20 0 15 0 406044148 11107291136 843868 33554432000 4194304 4196468 140728280511824 140728280494368 140654187687671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
/proc/5634/statm: 2711741 843868 3641 1 0 2673805 0
[pid=5634/tid=5743] ppid=5630 vsize=10846964 memory=3375472 CPUtime=2308.81 cores=1,3,5,7
/proc/5634/task/5743/stat : 5743 (java) R 5630 5634 5578 0 -1 4202560 158003 13387 0 2 230793 81 5 2 20 0 15 0 406044161 11107291136 843868 33554432000 4194304 4196468 140728280511824 140654159521264 140653754390831 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5745] ppid=5630 vsize=10846964 memory=3375472 CPUtime=11.97 cores=1,3,5,7
/proc/5634/task/5745/stat : 5745 (java) S 5630 5634 5578 0 -1 1077944384 28856 13387 0 2 1152 38 5 2 20 0 15 0 406044162 11107291136 843868 33554432000 4194304 4196468 140728280511824 140654191930256 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5746] ppid=5630 vsize=10846964 memory=3375472 CPUtime=11.96 cores=1,3,5,7
/proc/5634/task/5746/stat : 5746 (java) S 5630 5634 5578 0 -1 1077944384 27795 13387 0 2 1151 38 5 2 20 0 15 0 406044162 11107291136 843868 33554432000 4194304 4196468 140728280511824 140654080203536 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5747] ppid=5630 vsize=10846964 memory=3375472 CPUtime=11.94 cores=1,3,5,7
/proc/5634/task/5747/stat : 5747 (java) S 5630 5634 5578 0 -1 1077944384 28413 13387 0 2 1150 37 5 2 20 0 15 0 406044162 11107291136 843868 33554432000 4194304 4196468 140728280511824 140654079151248 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5749] ppid=5630 vsize=10846964 memory=1556 CPUtime=11.93 cores=1,3,5,7
/proc/5634/task/5749/stat : 5749 (java) S 5630 5634 5578 0 -1 1077944384 30292 13387 0 2 1149 37 5 2 20 0 15 0 406044162 11107291136 843868 33554432000 4194304 4196468 140728280511824 140654078098448 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5753] ppid=5630 vsize=10846964 memory=3375472 CPUtime=1.37 cores=1,3,5,7
/proc/5634/task/5753/stat : 5753 (java) S 5630 5634 5578 0 -1 1077944384 27604 13387 0 2 111 19 5 2 20 0 15 0 406044163 11107291136 843868 33554432000 4194304 4196468 140728280511824 140653646252144 140654187698818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5755] ppid=5630 vsize=10846964 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5755/stat : 5755 (java) S 5630 5634 5578 0 -1 1077944384 66 13387 0 2 0 0 5 2 20 0 15 0 406044164 11107291136 843868 33554432000 4194304 4196468 140728280511824 140653645198240 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5757] ppid=5630 vsize=10846964 memory=3375472 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5757/stat : 5757 (java) S 5630 5634 5578 0 -1 1077944384 23 13387 0 2 0 0 5 2 20 0 15 0 406044164 11107291136 843868 33554432000 4194304 4196468 140728280511824 140653065397376 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5759] ppid=5630 vsize=10846964 memory=4108 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5759/stat : 5759 (java) S 5630 5634 5578 0 -1 1077944384 3 13387 0 2 0 0 5 2 20 0 15 0 406044167 11107291136 843868 33554432000 4194304 4196468 140728280511824 140652757997648 140654187706267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5760] ppid=5630 vsize=10846964 memory=3375472 CPUtime=11.03 cores=1,3,5,7
/proc/5634/task/5760/stat : 5760 (java) S 5630 5634 5578 0 -1 1077944384 58003 13387 0 2 1089 7 5 2 20 0 15 0 406044167 11107291136 843868 33554432000 4194304 4196468 140728280511824 140653611641456 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5761] ppid=5630 vsize=10846964 memory=3616 CPUtime=10.66 cores=1,3,5,7
/proc/5634/task/5761/stat : 5761 (java) S 5630 5634 5578 0 -1 1077944384 44530 13387 0 2 1051 8 5 2 20 0 15 0 406044167 11107291136 843868 33554432000 4194304 4196468 140728280511824 140653610588656 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5762] ppid=5630 vsize=10846964 memory=3375472 CPUtime=4.33 cores=1,3,5,7
/proc/5634/task/5762/stat : 5762 (java) S 5630 5634 5578 0 -1 1077944384 72228 13387 0 2 415 11 5 2 20 0 15 0 406044167 11107291136 843868 33554432000 4194304 4196468 140728280511824 140653609536368 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5764] ppid=5630 vsize=10846964 memory=3375472 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5764/stat : 5764 (java) S 5630 5634 5578 0 -1 1077944384 3 13387 0 2 0 0 5 2 20 0 15 0 406044167 11107291136 843868 33554432000 4194304 4196468 140728280511824 140652724440032 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5770] ppid=5630 vsize=10846964 memory=3375472 CPUtime=1.51 cores=1,3,5,7
/proc/5634/task/5770/stat : 5770 (java) S 5630 5634 5578 0 -1 1077944384 2180 13387 0 2 64 80 5 2 20 0 15 0 406044169 11107291136 843868 33554432000 4194304 4196468 140728280511824 140653608483248 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
Current children cumulated CPU time: 2384.98 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 3375472 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2337.3 s]
/proc/loadavg: 1.90 1.58 1.48 3/228 6114
/proc/meminfo: memFree=27718184/32770624 swapFree=66999704/67108860
[pid=5634] ppid=5630 vsize=10846964 memory=3375724 CPUtime=2400.07 cores=1,3,5,7
/proc/5634/stat : 5634 (java) S 5630 5634 5578 0 -1 1077944320 481117 13387 0 2 239660 340 5 2 20 0 15 0 406044148 11107291136 843931 33554432000 4194304 4196468 140728280511824 140728280494368 140654187687671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
/proc/5634/statm: 2711741 843931 3641 1 0 2673805 0
[pid=5634/tid=5743] ppid=5630 vsize=10846964 memory=3375724 CPUtime=2323.78 cores=1,3,5,7
/proc/5634/task/5743/stat : 5743 (java) R 5630 5634 5578 0 -1 4202560 158886 13387 0 2 232290 81 5 2 20 0 15 0 406044161 11107291136 843931 33554432000 4194304 4196468 140728280511824 140654159520464 140653769253387 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5745] ppid=5630 vsize=10846964 memory=3375724 CPUtime=11.99 cores=1,3,5,7
/proc/5634/task/5745/stat : 5745 (java) S 5630 5634 5578 0 -1 1077944384 28861 13387 0 2 1154 38 5 2 20 0 15 0 406044162 11107291136 843931 33554432000 4194304 4196468 140728280511824 140654191930256 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5746] ppid=5630 vsize=10846964 memory=3375724 CPUtime=11.98 cores=1,3,5,7
/proc/5634/task/5746/stat : 5746 (java) S 5630 5634 5578 0 -1 1077944384 27799 13387 0 2 1153 38 5 2 20 0 15 0 406044162 11107291136 843931 33554432000 4194304 4196468 140728280511824 140654080203536 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5747] ppid=5630 vsize=10846964 memory=3375472 CPUtime=11.97 cores=1,3,5,7
/proc/5634/task/5747/stat : 5747 (java) S 5630 5634 5578 0 -1 1077944384 28416 13387 0 2 1153 37 5 2 20 0 15 0 406044162 11107291136 843931 33554432000 4194304 4196468 140728280511824 140654079151248 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5749] ppid=5630 vsize=10846964 memory=3375472 CPUtime=11.95 cores=1,3,5,7
/proc/5634/task/5749/stat : 5749 (java) S 5630 5634 5578 0 -1 1077944384 30294 13387 0 2 1151 37 5 2 20 0 15 0 406044162 11107291136 843931 33554432000 4194304 4196468 140728280511824 140654078098448 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5753] ppid=5630 vsize=10846964 memory=3375724 CPUtime=1.37 cores=1,3,5,7
/proc/5634/task/5753/stat : 5753 (java) S 5630 5634 5578 0 -1 1077944384 27615 13387 0 2 111 19 5 2 20 0 15 0 406044163 11107291136 843931 33554432000 4194304 4196468 140728280511824 140653646252144 140654187698818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5755] ppid=5630 vsize=10846964 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5755/stat : 5755 (java) S 5630 5634 5578 0 -1 1077944384 66 13387 0 2 0 0 5 2 20 0 15 0 406044164 11107291136 843931 33554432000 4194304 4196468 140728280511824 140653645198240 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5757] ppid=5630 vsize=10846964 memory=3375724 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5757/stat : 5757 (java) S 5630 5634 5578 0 -1 1077944384 23 13387 0 2 0 0 5 2 20 0 15 0 406044164 11107291136 843931 33554432000 4194304 4196468 140728280511824 140653065397376 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5759] ppid=5630 vsize=10846964 memory=33088 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5759/stat : 5759 (java) S 5630 5634 5578 0 -1 1077944384 3 13387 0 2 0 0 5 2 20 0 15 0 406044167 11107291136 843931 33554432000 4194304 4196468 140728280511824 140652757997648 140654187706267 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5760] ppid=5630 vsize=10846964 memory=988 CPUtime=11.03 cores=1,3,5,7
/proc/5634/task/5760/stat : 5760 (java) S 5630 5634 5578 0 -1 1077944384 58003 13387 0 2 1089 7 5 2 20 0 15 0 406044167 11107291136 843931 33554432000 4194304 4196468 140728280511824 140653611641456 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5761] ppid=5630 vsize=10846964 memory=3375724 CPUtime=10.66 cores=1,3,5,7
/proc/5634/task/5761/stat : 5761 (java) S 5630 5634 5578 0 -1 1077944384 44530 13387 0 2 1051 8 5 2 20 0 15 0 406044167 11107291136 843931 33554432000 4194304 4196468 140728280511824 140653610588656 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5762] ppid=5630 vsize=10846964 memory=4108 CPUtime=4.33 cores=1,3,5,7
/proc/5634/task/5762/stat : 5762 (java) S 5630 5634 5578 0 -1 1077944384 72228 13387 0 2 415 11 5 2 20 0 15 0 406044167 11107291136 843931 33554432000 4194304 4196468 140728280511824 140653609536368 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5764] ppid=5630 vsize=10846964 memory=3375724 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5764/stat : 5764 (java) S 5630 5634 5578 0 -1 1077944384 3 13387 0 2 0 0 5 2 20 0 15 0 406044167 11107291136 843931 33554432000 4194304 4196468 140728280511824 140652724440032 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5770] ppid=5630 vsize=10846964 memory=3616 CPUtime=1.52 cores=1,3,5,7
/proc/5634/task/5770/stat : 5770 (java) S 5630 5634 5578 0 -1 1077944384 2180 13387 0 2 64 81 5 2 20 0 15 0 406044169 11107291136 843931 33554432000 4194304 4196468 140728280511824 140653608483248 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 3375724 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2337.43 s]
# the end of solver process 5634 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.76 s, system=3.4554 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2337.41 s]
/proc/loadavg: 1.90 1.58 1.48 3/228 6114
/proc/meminfo: memFree=27718184/32770624 swapFree=66999704/67108860
[pid=5634] ppid=5630 vsize=11043580 memory=3379920 CPUtime=2400.17 cores=1,3,5,7
/proc/5634/stat : 5634 (java) S 5630 5634 5578 0 -1 1077944320 483262 13387 0 2 239670 340 5 2 20 0 17 0 406044148 11308625920 844980 33554432000 4194304 4196468 140728280511824 140728280494368 140654187687671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 1 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
/proc/5634/statm: 2760895 844980 3643 1 0 2722959 0
[pid=5634/tid=5743] ppid=5630 vsize=11043580 memory=288230596050944315 CPUtime=2323.9 cores=1,3,5,7
/proc/5634/task/5743/stat : 5743 (java) S 5630 5634 5578 0 -1 1077944384 159240 13387 0 2 232301 82 5 2 20 0 17 0 406044161 11308625920 844980 33554432000 4194304 4196468 140728280511824 140654159531184 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5745] ppid=5630 vsize=11043580 memory=15261432686053796 CPUtime=11.99 cores=1,3,5,7
/proc/5634/task/5745/stat : 5745 (java) S 5630 5634 5578 0 -1 1077944384 28861 13387 0 2 1154 38 5 2 20 0 17 0 406044162 11308625920 844980 33554432000 4194304 4196468 140728280511824 140654191930256 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5746] ppid=5630 vsize=11043580 memory=2308 CPUtime=11.98 cores=1,3,5,7
/proc/5634/task/5746/stat : 5746 (java) S 5630 5634 5578 0 -1 1077944384 27799 13387 0 2 1153 38 5 2 20 0 17 0 406044162 11308625920 844980 33554432000 4194304 4196468 140728280511824 140654080203536 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5747] ppid=5630 vsize=11043580 memory=1408 CPUtime=11.97 cores=1,3,5,7
/proc/5634/task/5747/stat : 5747 (java) S 5630 5634 5578 0 -1 1077944384 28416 13387 0 2 1153 37 5 2 20 0 17 0 406044162 11308625920 844980 33554432000 4194304 4196468 140728280511824 140654079151248 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5749] ppid=5630 vsize=11043580 memory=3204 CPUtime=11.95 cores=1,3,5,7
/proc/5634/task/5749/stat : 5749 (java) S 5630 5634 5578 0 -1 1077944384 30294 13387 0 2 1151 37 5 2 20 0 17 0 406044162 11308625920 844980 33554432000 4194304 4196468 140728280511824 140654078098448 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5753] ppid=5630 vsize=11043580 memory=3375724 CPUtime=1.37 cores=1,3,5,7
/proc/5634/task/5753/stat : 5753 (java) S 5630 5634 5578 0 -1 1077944384 27623 13387 0 2 111 19 5 2 20 0 17 0 406044163 11308625920 844980 33554432000 4194304 4196468 140728280511824 140653646252144 140654187698818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5755] ppid=5630 vsize=11043580 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5755/stat : 5755 (java) S 5630 5634 5578 0 -1 1077944384 66 13387 0 2 0 0 5 2 20 0 17 0 406044164 11308625920 844980 33554432000 4194304 4196468 140728280511824 140653645198240 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5757] ppid=5630 vsize=11043580 memory=2532 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5757/stat : 5757 (java) S 5630 5634 5578 0 -1 1077944384 23 13387 0 2 0 0 5 2 20 0 17 0 406044164 11308625920 844980 33554432000 4194304 4196468 140728280511824 140653065397376 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5759] ppid=5630 vsize=11043580 memory=435532 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5759/stat : 5759 (java) S 5630 5634 5578 0 -1 1077944384 228 13387 0 2 0 0 5 2 20 0 17 0 406044167 11308625920 844980 33554432000 4194304 4196468 140728280511824 140652757997648 140654187706267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5760] ppid=5630 vsize=11043580 memory=7548 CPUtime=11.03 cores=1,3,5,7
/proc/5634/task/5760/stat : 5760 (java) S 5630 5634 5578 0 -1 1077944384 58514 13387 0 2 1089 7 5 2 20 0 17 0 406044167 11308625920 844980 33554432000 4194304 4196468 140728280511824 140653611641456 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5761] ppid=5630 vsize=11043580 memory=2832 CPUtime=10.66 cores=1,3,5,7
/proc/5634/task/5761/stat : 5761 (java) S 5630 5634 5578 0 -1 1077944384 44530 13387 0 2 1051 8 5 2 20 0 17 0 406044167 11308625920 844980 33554432000 4194304 4196468 140728280511824 140653610588656 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5762] ppid=5630 vsize=11043580 memory=1224 CPUtime=4.33 cores=1,3,5,7
/proc/5634/task/5762/stat : 5762 (java) S 5630 5634 5578 0 -1 1077944384 73107 13387 0 2 415 11 5 2 20 0 17 0 406044167 11308625920 844980 33554432000 4194304 4196468 140728280511824 140653609536368 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5764] ppid=5630 vsize=11043580 memory=5904 CPUtime=0.07 cores=1,3,5,7
/proc/5634/task/5764/stat : 5764 (java) S 5630 5634 5578 0 -1 1077944384 3 13387 0 2 0 0 5 2 20 0 17 0 406044167 11308625920 844980 33554432000 4194304 4196468 140728280511824 140652724440032 140654187697877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
[pid=5634/tid=5770] ppid=5630 vsize=11043580 memory=1720 CPUtime=1.52 cores=1,3,5,7
/proc/5634/task/5770/stat : 5770 (java) S 5630 5634 5578 0 -1 1077944384 2180 13387 0 2 64 81 5 2 20 0 17 0 406044169 11308625920 844980 33554432000 4194304 4196468 140728280511824 140653608483248 140654187698818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38223872 140728280513270 140728280515781 140728280515781 140728280518607 0
Current children cumulated CPU time: 2400.17 s
Current children cumulated vsize: 11043580 KiB
Current children cumulated memory: 3379920 KiB
Child status: 143
Real time (s): 2337.43
CPU time (s): 2400.22
CPU user time (s): 2396.76
CPU system time (s): 3.4554
CPU usage (%): 102.686
Max. virtual memory (cumulated for all children) (KiB): 11043580
Max. memory (cumulated for all children) (KiB): 3379920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.76
system time used= 3.4554
maximum resident set size= 3379932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 497168
page faults= 2
swaps= 0
block input operations= 8936
block output operations= 3056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89606
involuntary context switches= 2281
# summary of solver processes directly reported to runsolver:
# pid: 5634
# total CPU time (s): 2400.22
# total CPU user time (s): 2396.76
# total CPU system time (s): 3.4554
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8836 second user time and 22.7855 second system time
The end