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 (8662 MiB free)
memory of node 1: 16384 MiB (7706 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293584-1532322503/watcher-4293584-1532322503 -o /tmp/evaluation-result-4293584-1532322503/solver-4293584-1532322503 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532295923-7918 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1409658862 HOME/instance-4293584-1532322503.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13200, runsolver pid=13197
[startup+0.102729 s]*
/proc/loadavg: 1.84 1.62 1.54 2/206 13257
/proc/meminfo: memFree=16754588/32770624 swapFree=67108860/67108860
[pid=13200] ppid=13197 vsize=9972712 memory=15176 CPUtime=0.09 cores=0,2,4,6
/proc/13200/stat : 13200 (java) S 13197 13200 7887 0 -1 1077944320 4434 13243 0 0 1 0 5 3 20 0 6 0 49813503 10212057088 3794 33554432000 4194304 4196468 140735572969360 140735572951904 139789978242807 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
/proc/13200/statm: 2493178 3794 1934 1 0 2481616 0
[pid=13200/tid=13253] ppid=13197 vsize=9972712 memory=4279135704013962892 CPUtime=0.09 cores=0,2,4,6
/proc/13200/task/13253/stat : 13253 (java) R 13197 13200 7887 0 -1 4202560 2267 13243 0 0 1 0 5 3 20 0 6 0 49813513 10212057088 3794 33554432000 4194304 4196468 140735572969360 139789950079568 139789962323294 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13254] ppid=13197 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13254/stat : 13254 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 6 0 49813513 10212057088 3794 33554432000 4194304 4196468 140735572969360 139789982485648 139789978253013 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13255] ppid=13197 vsize=9972712 memory=139751524873856 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13255/stat : 13255 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 6 0 49813513 10212057088 3794 33554432000 4194304 4196468 140735572969360 139789912243216 139789978253013 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13256] ppid=13197 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13256/stat : 13256 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 6 0 49813513 10212057088 3794 33554432000 4194304 4196468 140735572969360 139789550939024 139789978253013 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13257] ppid=13197 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13257/stat : 13257 (java) S 13197 13200 7887 0 -1 1077944384 2 13243 0 0 0 0 5 3 20 0 6 0 49813513 10212057088 3794 33554432000 4194304 4196468 140735572969360 139789549886224 139789978253013 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15176 KiB
[startup+0.210325 s]*
/proc/loadavg: 1.84 1.62 1.54 3/215 13266
/proc/meminfo: memFree=16737728/32770624 swapFree=67108860/67108860
[pid=13200] ppid=13197 vsize=10818888 memory=38824 CPUtime=0.26 cores=0,2,4,6
/proc/13200/stat : 13200 (java) S 13197 13200 7887 0 -1 1077944320 8579 13243 0 0 16 2 5 3 20 0 15 0 49813503 11078541312 9706 33554432000 4194304 4196468 140735572969360 140735572951904 139789978242807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
/proc/13200/statm: 2704722 9706 2968 1 0 2667157 0
[pid=13200/tid=13253] ppid=13197 vsize=10818856 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/13200/task/13253/stat : 13253 (java) R 13197 13200 7887 0 -1 4202560 5027 13243 0 0 10 1 5 3 20 0 15 0 49813513 11078508544 9706 33554432000 4194304 4196468 140735572969360 139789950040464 139789978264733 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13254] ppid=13197 vsize=10818856 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13254/stat : 13254 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813513 11078508544 9706 33554432000 4194304 4196468 140735572969360 139789982485648 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13255] ppid=13197 vsize=10818856 memory=139751524873856 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13255/stat : 13255 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813513 11078508544 9706 33554432000 4194304 4196468 140735572969360 139789912243216 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13256] ppid=13197 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13256/stat : 13256 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813513 11078508544 9706 33554432000 4194304 4196468 140735572969360 139789550939024 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13257] ppid=13197 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13257/stat : 13257 (java) S 13197 13200 7887 0 -1 1077944384 2 13243 0 0 0 0 5 3 20 0 15 0 49813513 11078508544 9706 33554432000 4194304 4196468 140735572969360 139789549886224 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13258] ppid=13197 vsize=10818856 memory=139751524873856 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13258/stat : 13258 (java) S 13197 13200 7887 0 -1 1077944384 2 13243 0 0 0 0 5 3 20 0 15 0 49813515 11078508544 9706 33554432000 4194304 4196468 140735572969360 139789437217136 139789978253954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13259] ppid=13197 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13259/stat : 13259 (java) S 13197 13200 7887 0 -1 1077944384 33 13243 0 0 0 0 5 3 20 0 15 0 49813515 11078508544 9706 33554432000 4194304 4196468 140735572969360 139789436163104 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13260] ppid=13197 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13260/stat : 13260 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813516 11078508544 9706 33554432000 4194304 4196468 140735572969360 139788837446512 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13261] ppid=13197 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13261/stat : 13261 (java) S 13197 13200 7887 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 49813518 11078508544 9706 33554432000 4194304 4196468 140735572969360 139788530046800 139789978261403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13262] ppid=13197 vsize=10818856 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13200/task/13262/stat : 13262 (java) S 13197 13200 7887 0 -1 1077944384 551 13243 0 0 1 0 5 3 20 0 15 0 49813518 11078508544 9706 33554432000 4194304 4196468 140735572969360 139789402606448 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13263] ppid=13197 vsize=10818856 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13200/task/13263/stat : 13263 (java) S 13197 13200 7887 0 -1 1077944384 76 13243 0 0 1 0 5 3 20 0 15 0 49813518 11078508544 9706 33554432000 4194304 4196468 140735572969360 139789401553648 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13264] ppid=13197 vsize=10818856 memory=139751524873856 CPUtime=0.11 cores=0,2,4,6
/proc/13200/task/13264/stat : 13264 (java) R 13197 13200 7887 0 -1 4202560 684 13243 0 0 3 0 5 3 20 0 15 0 49813518 11078508544 9706 33554432000 4194304 4196468 140735572969360 139789400500848 139789978264154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13265] ppid=13197 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13265/stat : 13265 (java) S 13197 13200 7887 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 49813519 11078508544 9706 33554432000 4194304 4196468 140735572969360 139788496489184 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13266] ppid=13197 vsize=10818856 memory=139751524873856 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13266/stat : 13266 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813519 11078508544 9706 33554432000 4194304 4196468 140735572969360 139789399448240 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818888 KiB
Current children cumulated memory: 38824 KiB
[startup+0.310236 s]*
/proc/loadavg: 1.84 1.62 1.54 3/215 13266
/proc/meminfo: memFree=16726316/32770624 swapFree=67108860/67108860
[pid=13200] ppid=13197 vsize=10819352 memory=47344 CPUtime=0.38 cores=0,2,4,6
/proc/13200/stat : 13200 (java) S 13197 13200 7887 0 -1 1077944320 9963 13243 0 0 28 2 5 3 20 0 15 0 49813503 11079016448 11836 33554432000 4194304 4196468 140735572969360 140735572951904 139789978242807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
/proc/13200/statm: 2704838 11836 3099 1 0 2667149 0
[pid=13200/tid=13253] ppid=13197 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/13200/task/13253/stat : 13253 (java) R 13197 13200 7887 0 -1 4202560 6369 13243 0 0 19 2 5 3 20 0 15 0 49813513 11079016448 11836 33554432000 4194304 4196468 140735572969360 139789950054816 139789959806336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13254] ppid=13197 vsize=10819352 memory=5866036802062667857 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13254/stat : 13254 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813513 11079016448 11836 33554432000 4194304 4196468 140735572969360 139789982485648 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13255] ppid=13197 vsize=10819352 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13255/stat : 13255 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813513 11079016448 11836 33554432000 4194304 4196468 140735572969360 139789912243216 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13256] ppid=13197 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13256/stat : 13256 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813513 11079016448 11836 33554432000 4194304 4196468 140735572969360 139789550939024 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13257] ppid=13197 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13257/stat : 13257 (java) S 13197 13200 7887 0 -1 1077944384 2 13243 0 0 0 0 5 3 20 0 15 0 49813513 11079016448 11836 33554432000 4194304 4196468 140735572969360 139789549886224 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13258] ppid=13197 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13258/stat : 13258 (java) S 13197 13200 7887 0 -1 1077944384 2 13243 0 0 0 0 5 3 20 0 15 0 49813515 11079016448 11836 33554432000 4194304 4196468 140735572969360 139789437217136 139789978253954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13259] ppid=13197 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13259/stat : 13259 (java) S 13197 13200 7887 0 -1 1077944384 33 13243 0 0 0 0 5 3 20 0 15 0 49813515 11079016448 11836 33554432000 4194304 4196468 140735572969360 139789436163104 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13260] ppid=13197 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13260/stat : 13260 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813516 11079016448 11836 33554432000 4194304 4196468 140735572969360 139788837446512 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13261] ppid=13197 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13261/stat : 13261 (java) S 13197 13200 7887 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 49813518 11079016448 11836 33554432000 4194304 4196468 140735572969360 139788530046800 139789978261403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13262] ppid=13197 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13200/task/13262/stat : 13262 (java) S 13197 13200 7887 0 -1 1077944384 557 13243 0 0 1 0 5 3 20 0 15 0 49813518 11079016448 11836 33554432000 4194304 4196468 140735572969360 139789402606448 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13263] ppid=13197 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13200/task/13263/stat : 13263 (java) S 13197 13200 7887 0 -1 1077944384 78 13243 0 0 1 0 5 3 20 0 15 0 49813518 11079016448 11836 33554432000 4194304 4196468 140735572969360 139789401553648 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13264] ppid=13197 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/13200/task/13264/stat : 13264 (java) S 13197 13200 7887 0 -1 1077944384 718 13243 0 0 5 0 5 3 20 0 15 0 49813518 11079016448 11836 33554432000 4194304 4196468 140735572969360 139789400500848 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13265] ppid=13197 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13265/stat : 13265 (java) S 13197 13200 7887 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 49813519 11079016448 11836 33554432000 4194304 4196468 140735572969360 139788496489184 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13266] ppid=13197 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13266/stat : 13266 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813519 11079016448 11836 33554432000 4194304 4196468 140735572969360 139789399448240 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 47344 KiB
[startup+0.701309 s]
/proc/loadavg: 1.84 1.62 1.54 3/215 13266
/proc/meminfo: memFree=16713912/32770624 swapFree=67108860/67108860
[pid=13200] ppid=13197 vsize=10819352 memory=83356 CPUtime=1 cores=0,2,4,6
/proc/13200/stat : 13200 (java) S 13197 13200 7887 0 -1 1077944320 17127 13243 0 0 88 4 5 3 20 0 15 0 49813503 11079016448 20839 33554432000 4194304 4196468 140735572969360 140735572951904 139789978242807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
/proc/13200/statm: 2704838 20839 3237 1 0 2667149 0
[pid=13200/tid=13253] ppid=13197 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/13200/task/13253/stat : 13253 (java) R 13197 13200 7887 0 -1 4202560 12456 13243 0 0 55 3 5 3 20 0 15 0 49813513 11079016448 20839 33554432000 4194304 4196468 140735572969360 139789950043560 139789961429616 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13254] ppid=13197 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13254/stat : 13254 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813513 11079016448 20839 33554432000 4194304 4196468 140735572969360 139789982485648 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13255] ppid=13197 vsize=10819352 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13255/stat : 13255 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813513 11079016448 20839 33554432000 4194304 4196468 140735572969360 139789912243216 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13256] ppid=13197 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13256/stat : 13256 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813513 11079016448 20839 33554432000 4194304 4196468 140735572969360 139789550939024 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13257] ppid=13197 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13257/stat : 13257 (java) S 13197 13200 7887 0 -1 1077944384 2 13243 0 0 0 0 5 3 20 0 15 0 49813513 11079016448 20839 33554432000 4194304 4196468 140735572969360 139789549886224 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13258] ppid=13197 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13258/stat : 13258 (java) S 13197 13200 7887 0 -1 1077944384 5 13243 0 0 0 0 5 3 20 0 15 0 49813515 11079016448 20839 33554432000 4194304 4196468 140735572969360 139789437217136 139789978253954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13259] ppid=13197 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13259/stat : 13259 (java) S 13197 13200 7887 0 -1 1077944384 33 13243 0 0 0 0 5 3 20 0 15 0 49813515 11079016448 20839 33554432000 4194304 4196468 140735572969360 139789436163104 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13260] ppid=13197 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13260/stat : 13260 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813516 11079016448 20839 33554432000 4194304 4196468 140735572969360 139788837446512 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13261] ppid=13197 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13261/stat : 13261 (java) S 13197 13200 7887 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 49813518 11079016448 20839 33554432000 4194304 4196468 140735572969360 139788530046800 139789978261403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13262] ppid=13197 vsize=10819352 memory=13252 CPUtime=0.18 cores=0,2,4,6
/proc/13200/task/13262/stat : 13262 (java) S 13197 13200 7887 0 -1 1077944384 1183 13243 0 0 10 0 5 3 20 0 15 0 49813518 11079016448 20839 33554432000 4194304 4196468 140735572969360 139789402606448 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13263] ppid=13197 vsize=10819352 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/13200/task/13263/stat : 13263 (java) S 13197 13200 7887 0 -1 1077944384 330 13243 0 0 7 0 5 3 20 0 15 0 49813518 11079016448 20839 33554432000 4194304 4196468 140735572969360 139789401553648 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13264] ppid=13197 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/13200/task/13264/stat : 13264 (java) S 13197 13200 7887 0 -1 1077944384 914 13243 0 0 13 0 5 3 20 0 15 0 49813518 11079016448 20839 33554432000 4194304 4196468 140735572969360 139789400500848 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13265] ppid=13197 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13265/stat : 13265 (java) S 13197 13200 7887 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 49813519 11079016448 20839 33554432000 4194304 4196468 140735572969360 139788496489184 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13266] ppid=13197 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13266/stat : 13266 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813519 11079016448 20839 33554432000 4194304 4196468 140735572969360 139789399448240 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 83356 KiB
[startup+1.5008 s]
/proc/loadavg: 1.84 1.62 1.54 3/215 13266
/proc/meminfo: memFree=16670112/32770624 swapFree=67108860/67108860
[pid=13200] ppid=13197 vsize=10834252 memory=185172 CPUtime=2.65 cores=0,2,4,6
/proc/13200/stat : 13200 (java) S 13197 13200 7887 0 -1 1077944320 25434 13243 0 0 248 9 5 3 20 0 15 0 49813503 11094274048 46293 33554432000 4194304 4196468 140735572969360 140735572951904 139789978242807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
/proc/13200/statm: 2708563 46293 3478 1 0 2670221 0
[pid=13200/tid=13253] ppid=13197 vsize=10834252 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/13200/task/13253/stat : 13253 (java) R 13197 13200 7887 0 -1 4202560 17556 13243 0 0 129 5 5 3 20 0 15 0 49813513 11094274048 46293 33554432000 4194304 4196468 140735572969360 139789950060512 139789978264733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13254] ppid=13197 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13254/stat : 13254 (java) S 13197 13200 7887 0 -1 1077944384 23 13243 0 0 0 0 5 3 20 0 15 0 49813513 11094274048 46293 33554432000 4194304 4196468 140735572969360 139789982485648 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13255] ppid=13197 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13200/task/13255/stat : 13255 (java) S 13197 13200 7887 0 -1 1077944384 51 13243 0 0 1 0 5 3 20 0 15 0 49813513 11094274048 46293 33554432000 4194304 4196468 140735572969360 139789912243216 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13256] ppid=13197 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13200/task/13256/stat : 13256 (java) S 13197 13200 7887 0 -1 1077944384 27 13243 0 0 1 0 5 3 20 0 15 0 49813513 11094274048 46293 33554432000 4194304 4196468 140735572969360 139789550939024 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13257] ppid=13197 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13200/task/13257/stat : 13257 (java) S 13197 13200 7887 0 -1 1077944384 183 13243 0 0 1 0 5 3 20 0 15 0 49813513 11094274048 46293 33554432000 4194304 4196468 140735572969360 139789549886224 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13258] ppid=13197 vsize=10834252 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/13200/task/13258/stat : 13258 (java) S 13197 13200 7887 0 -1 1077944384 436 13243 0 0 1 0 5 3 20 0 15 0 49813515 11094274048 46293 33554432000 4194304 4196468 140735572969360 139789437217136 139789978253954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13259] ppid=13197 vsize=10834252 memory=279502781491456 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13259/stat : 13259 (java) S 13197 13200 7887 0 -1 1077944384 34 13243 0 0 0 0 5 3 20 0 15 0 49813515 11094274048 46293 33554432000 4194304 4196468 140735572969360 139789436163168 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13260] ppid=13197 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13260/stat : 13260 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813516 11094274048 46293 33554432000 4194304 4196468 140735572969360 139788837446528 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13261] ppid=13197 vsize=10834252 memory=1952 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13261/stat : 13261 (java) S 13197 13200 7887 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 49813518 11094274048 46293 33554432000 4194304 4196468 140735572969360 139788530046800 139789978261403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13262] ppid=13197 vsize=10834252 memory=1232 CPUtime=0.37 cores=0,2,4,6
/proc/13200/task/13262/stat : 13262 (java) S 13197 13200 7887 0 -1 1077944384 1759 13243 0 0 29 0 5 3 20 0 15 0 49813518 11094274048 46293 33554432000 4194304 4196468 140735572969360 139789402606448 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13263] ppid=13197 vsize=10834252 memory=8372 CPUtime=0.48 cores=0,2,4,6
/proc/13200/task/13263/stat : 13263 (java) S 13197 13200 7887 0 -1 1077944384 1209 13243 0 0 40 0 5 3 20 0 15 0 49813518 11094274048 46293 33554432000 4194304 4196468 140735572969360 139789401553648 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13264] ppid=13197 vsize=10834252 memory=1708 CPUtime=0.51 cores=0,2,4,6
/proc/13200/task/13264/stat : 13264 (java) S 13197 13200 7887 0 -1 1077944384 1955 13243 0 0 43 0 5 3 20 0 15 0 49813518 11094274048 46293 33554432000 4194304 4196468 140735572969360 139789400500848 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13265] ppid=13197 vsize=10834252 memory=5412 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13265/stat : 13265 (java) S 13197 13200 7887 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 49813519 11094274048 46293 33554432000 4194304 4196468 140735572969360 139788496489184 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13266] ppid=13197 vsize=10834252 memory=4612 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13266/stat : 13266 (java) S 13197 13200 7887 0 -1 1077944384 1 13243 0 0 0 0 5 3 20 0 15 0 49813519 11094274048 46293 33554432000 4194304 4196468 140735572969360 139789399448240 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/13200/task/13253/stat : 13253 (java) R 13197 13200 7887 0 -1 4202560 155527 13243 0 0 235591 75 5 3 20 0 15 0 49813513 11178180608 409530 33554432000 4194304 4196468 140735572969360 139789950076096 139789582537803 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13254] ppid=13197 vsize=10916192 memory=1642736 CPUtime=16.21 cores=0,2,4,6
/proc/13200/task/13254/stat : 13254 (java) S 13197 13200 7887 0 -1 1077944384 32016 13243 0 0 1564 49 5 3 20 0 15 0 49813513 11178180608 409530 33554432000 4194304 4196468 140735572969360 139789982485648 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13255] ppid=13197 vsize=10916192 memory=1667892 CPUtime=16.2 cores=0,2,4,6
/proc/13200/task/13255/stat : 13255 (java) S 13197 13200 7887 0 -1 1077944384 41466 13243 0 0 1564 48 5 3 20 0 15 0 49813513 11178180608 409530 33554432000 4194304 4196468 140735572969360 139789912243216 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13256] ppid=13197 vsize=10916192 memory=1660700 CPUtime=16.33 cores=0,2,4,6
/proc/13200/task/13256/stat : 13256 (java) S 13197 13200 7887 0 -1 1077944384 38290 13243 0 0 1579 46 5 3 20 0 15 0 49813513 11178180608 409530 33554432000 4194304 4196468 140735572969360 139789550939024 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13257] ppid=13197 vsize=10916192 memory=1650436 CPUtime=16.17 cores=0,2,4,6
/proc/13200/task/13257/stat : 13257 (java) S 13197 13200 7887 0 -1 1077944384 38265 13243 0 0 1564 45 5 3 20 0 15 0 49813513 11178180608 409530 33554432000 4194304 4196468 140735572969360 139789549886224 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13258] ppid=13197 vsize=10916192 memory=16320 CPUtime=7.1 cores=0,2,4,6
/proc/13200/task/13258/stat : 13258 (java) S 13197 13200 7887 0 -1 1077944384 29894 13243 0 0 647 55 5 3 20 0 15 0 49813515 11178180608 409530 33554432000 4194304 4196468 140735572969360 139789437217136 139789978253954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13259] ppid=13197 vsize=10916192 memory=1643256 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13259/stat : 13259 (java) S 13197 13200 7887 0 -1 1077944384 43 13243 0 0 0 0 5 3 20 0 15 0 49813515 11178180608 409530 33554432000 4194304 4196468 140735572969360 139789436163232 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13260] ppid=13197 vsize=10916192 memory=1642740 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13260/stat : 13260 (java) S 13197 13200 7887 0 -1 1077944384 11 13243 0 0 0 0 5 3 20 0 15 0 49813516 11178180608 409530 33554432000 4194304 4196468 140735572969360 139788837446528 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13261] ppid=13197 vsize=10916192 memory=1644276 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13261/stat : 13261 (java) S 13197 13200 7887 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 49813518 11178180608 409530 33554432000 4194304 4196468 140735572969360 139788530046800 139789978261403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13262] ppid=13197 vsize=10916192 memory=1643764 CPUtime=6.32 cores=0,2,4,6
/proc/13200/task/13262/stat : 13262 (java) S 13197 13200 7887 0 -1 1077944384 94058 13243 0 0 615 9 5 3 20 0 15 0 49813518 11178180608 409530 33554432000 4194304 4196468 140735572969360 139789402606448 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13263] ppid=13197 vsize=10916192 memory=1641200 CPUtime=6.84 cores=0,2,4,6
/proc/13200/task/13263/stat : 13263 (java) S 13197 13200 7887 0 -1 1077944384 90198 13243 0 0 668 8 5 3 20 0 15 0 49813518 11178180608 409530 33554432000 4194304 4196468 140735572969360 139789401553648 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13264] ppid=13197 vsize=10916192 memory=1638632 CPUtime=2.98 cores=0,2,4,6
/proc/13200/task/13264/stat : 13264 (java) S 13197 13200 7887 0 -1 1077944384 57298 13243 0 0 282 8 5 3 20 0 15 0 49813518 11178180608 409530 33554432000 4194304 4196468 140735572969360 139789400500848 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13265] ppid=13197 vsize=10916192 memory=1638120 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13265/stat : 13265 (java) S 13197 13200 7887 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 49813519 11178180608 409530 33554432000 4194304 4196468 140735572969360 139788496489184 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13266] ppid=13197 vsize=10916192 memory=1639148 CPUtime=1.55 cores=0,2,4,6
/proc/13200/task/13266/stat : 13266 (java) S 13197 13200 7887 0 -1 1077944384 2510 13243 0 0 68 79 5 3 20 0 15 0 49813519 11178180608 409530 33554432000 4194304 4196468 140735572969360 139789399448240 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
Current children cumulated CPU time: 2445.81 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1638120 KiB
[startup+2442.3 s]
/proc/loadavg: 1.28 1.42 1.43 3/215 13468
/proc/meminfo: memFree=16822004/32770624 swapFree=67108860/67108860
[pid=13200] ppid=13197 vsize=10916192 memory=1626828 CPUtime=2507.13 cores=0,2,4,6
/proc/13200/stat : 13200 (java) S 13197 13200 7887 0 -1 1077944320 589738 13243 0 0 250318 387 5 3 20 0 15 0 49813503 11178180608 406707 33554432000 4194304 4196468 140735572969360 140735572951904 139789978242807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
/proc/13200/statm: 2729048 406707 3533 1 0 2690701 0
[pid=13200/tid=13253] ppid=13197 vsize=10916192 memory=1626828 CPUtime=2416.06 cores=0,2,4,6
/proc/13200/task/13253/stat : 13253 (java) R 13197 13200 7887 0 -1 4202560 157304 13243 0 0 241522 76 5 3 20 0 15 0 49813513 11178180608 406707 33554432000 4194304 4196468 140735572969360 139789950076128 139789587151870 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13254] ppid=13197 vsize=10916192 memory=1628880 CPUtime=16.66 cores=0,2,4,6
/proc/13200/task/13254/stat : 13254 (java) S 13197 13200 7887 0 -1 1077944384 33094 13243 0 0 1608 50 5 3 20 0 15 0 49813513 11178180608 406707 33554432000 4194304 4196468 140735572969360 139789982485648 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13255] ppid=13197 vsize=10916192 memory=1633500 CPUtime=16.64 cores=0,2,4,6
/proc/13200/task/13255/stat : 13255 (java) S 13197 13200 7887 0 -1 1077944384 41828 13243 0 0 1608 48 5 3 20 0 15 0 49813513 11178180608 406707 33554432000 4194304 4196468 140735572969360 139789912243216 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13256] ppid=13197 vsize=10916192 memory=1633500 CPUtime=16.77 cores=0,2,4,6
/proc/13200/task/13256/stat : 13256 (java) S 13197 13200 7887 0 -1 1077944384 38570 13243 0 0 1623 46 5 3 20 0 15 0 49813513 11178180608 406707 33554432000 4194304 4196468 140735572969360 139789550939024 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13257] ppid=13197 vsize=10916192 memory=1635548 CPUtime=16.61 cores=0,2,4,6
/proc/13200/task/13257/stat : 13257 (java) S 13197 13200 7887 0 -1 1077944384 38587 13243 0 0 1607 46 5 3 20 0 15 0 49813513 11178180608 406707 33554432000 4194304 4196468 140735572969360 139789549886224 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13258] ppid=13197 vsize=10916192 memory=1635548 CPUtime=7.28 cores=0,2,4,6
/proc/13200/task/13258/stat : 13258 (java) S 13197 13200 7887 0 -1 1077944384 30235 13243 0 0 664 56 5 3 20 0 15 0 49813515 11178180608 406707 33554432000 4194304 4196468 140735572969360 139789437217136 139789978253954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13259] ppid=13197 vsize=10916192 memory=1634520 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13259/stat : 13259 (java) S 13197 13200 7887 0 -1 1077944384 43 13243 0 0 0 0 5 3 20 0 15 0 49813515 11178180608 406707 33554432000 4194304 4196468 140735572969360 139789436163232 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13260] ppid=13197 vsize=10916192 memory=1632468 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13260/stat : 13260 (java) S 13197 13200 7887 0 -1 1077944384 11 13243 0 0 0 0 5 3 20 0 15 0 49813516 11178180608 406707 33554432000 4194304 4196468 140735572969360 139788837446528 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13261] ppid=13197 vsize=10916192 memory=1630416 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13261/stat : 13261 (java) S 13197 13200 7887 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 49813518 11178180608 406707 33554432000 4194304 4196468 140735572969360 139788530046800 139789978261403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13262] ppid=13197 vsize=10916192 memory=1633496 CPUtime=6.32 cores=0,2,4,6
/proc/13200/task/13262/stat : 13262 (java) S 13197 13200 7887 0 -1 1077944384 95501 13243 0 0 615 9 5 3 20 0 15 0 49813518 11178180608 406707 33554432000 4194304 4196468 140735572969360 139789402606448 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13263] ppid=13197 vsize=10916192 memory=1635548 CPUtime=6.85 cores=0,2,4,6
/proc/13200/task/13263/stat : 13263 (java) S 13197 13200 7887 0 -1 1077944384 91664 13243 0 0 669 8 5 3 20 0 15 0 49813518 11178180608 406707 33554432000 4194304 4196468 140735572969360 139789401553648 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13264] ppid=13197 vsize=10916192 memory=1584 CPUtime=2.99 cores=0,2,4,6
/proc/13200/task/13264/stat : 13264 (java) S 13197 13200 7887 0 -1 1077944384 58169 13243 0 0 283 8 5 3 20 0 15 0 49813518 11178180608 406707 33554432000 4194304 4196468 140735572969360 139789400500848 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13265] ppid=13197 vsize=10916192 memory=1635548 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13265/stat : 13265 (java) S 13197 13200 7887 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 49813519 11178180608 406707 33554432000 4194304 4196468 140735572969360 139788496489184 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13266] ppid=13197 vsize=10916192 memory=1627340 CPUtime=1.59 cores=0,2,4,6
/proc/13200/task/13266/stat : 13266 (java) S 13197 13200 7887 0 -1 1077944384 2533 13243 0 0 70 81 5 3 20 0 15 0 49813519 11178180608 406707 33554432000 4194304 4196468 140735572969360 139789399448240 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
Current children cumulated CPU time: 2507.13 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1626828 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2454.9 s]
/proc/loadavg: 1.25 1.41 1.42 3/215 13468
/proc/meminfo: memFree=16841072/32770624 swapFree=67108860/67108860
[pid=13200] ppid=13197 vsize=10916192 memory=1628876 CPUtime=2520.02 cores=0,2,4,6
/proc/13200/stat : 13200 (java) S 13197 13200 7887 0 -1 1077944320 590556 13243 0 0 251605 389 5 3 20 0 15 0 49813503 11178180608 407219 33554432000 4194304 4196468 140735572969360 140735572951904 139789978242807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
/proc/13200/statm: 2729048 407219 3533 1 0 2690701 0
[pid=13200/tid=13253] ppid=13197 vsize=10916192 memory=1628876 CPUtime=2428.52 cores=0,2,4,6
/proc/13200/task/13253/stat : 13253 (java) R 13197 13200 7887 0 -1 4202560 157618 13243 0 0 242768 76 5 3 20 0 15 0 49813513 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789950076224 139789587341070 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13254] ppid=13197 vsize=10916192 memory=1628876 CPUtime=16.75 cores=0,2,4,6
/proc/13200/task/13254/stat : 13254 (java) S 13197 13200 7887 0 -1 1077944384 33141 13243 0 0 1617 50 5 3 20 0 15 0 49813513 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789982485648 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13255] ppid=13197 vsize=10916192 memory=1635548 CPUtime=16.74 cores=0,2,4,6
/proc/13200/task/13255/stat : 13255 (java) S 13197 13200 7887 0 -1 1077944384 41865 13243 0 0 1617 49 5 3 20 0 15 0 49813513 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789912243216 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13256] ppid=13197 vsize=10916192 memory=1635548 CPUtime=16.87 cores=0,2,4,6
/proc/13200/task/13256/stat : 13256 (java) S 13197 13200 7887 0 -1 1077944384 38649 13243 0 0 1632 47 5 3 20 0 15 0 49813513 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789550939024 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13257] ppid=13197 vsize=10916192 memory=1633496 CPUtime=16.71 cores=0,2,4,6
/proc/13200/task/13257/stat : 13257 (java) S 13197 13200 7887 0 -1 1077944384 38898 13243 0 0 1616 47 5 3 20 0 15 0 49813513 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789549886224 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13258] ppid=13197 vsize=10916192 memory=1630416 CPUtime=7.31 cores=0,2,4,6
/proc/13200/task/13258/stat : 13258 (java) S 13197 13200 7887 0 -1 1077944384 30257 13243 0 0 667 56 5 3 20 0 15 0 49813515 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789437217136 139789978253954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13259] ppid=13197 vsize=10916192 memory=1634520 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13259/stat : 13259 (java) S 13197 13200 7887 0 -1 1077944384 43 13243 0 0 0 0 5 3 20 0 15 0 49813515 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789436163232 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13260] ppid=13197 vsize=10916192 memory=1635548 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13260/stat : 13260 (java) S 13197 13200 7887 0 -1 1077944384 11 13243 0 0 0 0 5 3 20 0 15 0 49813516 11178180608 407219 33554432000 4194304 4196468 140735572969360 139788837446528 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13261] ppid=13197 vsize=10916192 memory=1635548 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13261/stat : 13261 (java) S 13197 13200 7887 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 49813518 11178180608 407219 33554432000 4194304 4196468 140735572969360 139788530046800 139789978261403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13262] ppid=13197 vsize=10916192 memory=1633500 CPUtime=6.32 cores=0,2,4,6
/proc/13200/task/13262/stat : 13262 (java) S 13197 13200 7887 0 -1 1077944384 95503 13243 0 0 615 9 5 3 20 0 15 0 49813518 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789402606448 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13263] ppid=13197 vsize=10916192 memory=1628876 CPUtime=6.85 cores=0,2,4,6
/proc/13200/task/13263/stat : 13263 (java) S 13197 13200 7887 0 -1 1077944384 91666 13243 0 0 669 8 5 3 20 0 15 0 49813518 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789401553648 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13264] ppid=13197 vsize=10916192 memory=1628876 CPUtime=2.99 cores=0,2,4,6
/proc/13200/task/13264/stat : 13264 (java) S 13197 13200 7887 0 -1 1077944384 58171 13243 0 0 283 8 5 3 20 0 15 0 49813518 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789400500848 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13265] ppid=13197 vsize=10916192 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13265/stat : 13265 (java) S 13197 13200 7887 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 49813519 11178180608 407219 33554432000 4194304 4196468 140735572969360 139788496489184 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13266] ppid=13197 vsize=10916192 memory=16320 CPUtime=1.6 cores=0,2,4,6
/proc/13200/task/13266/stat : 13266 (java) S 13197 13200 7887 0 -1 1077944384 2535 13243 0 0 71 81 5 3 20 0 15 0 49813519 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789399448240 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1628876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2454.95 s]
# the end of solver process 13200 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.14 s, system=3.9435 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2454.9 s]
/proc/loadavg: 1.25 1.41 1.42 3/215 13468
/proc/meminfo: memFree=16841072/32770624 swapFree=67108860/67108860
[pid=13200] ppid=13197 vsize=10916192 memory=1628876 CPUtime=2520.02 cores=0,2,4,6
/proc/13200/stat : 13200 (java) S 13197 13200 7887 0 -1 1077944320 590556 13243 0 0 251605 389 5 3 20 0 15 0 49813503 11178180608 407219 33554432000 4194304 4196468 140735572969360 140735572951904 139789978242807 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
/proc/13200/statm: 2729048 407219 3533 1 0 2690701 0
[pid=13200/tid=13253] ppid=13197 vsize=10916192 memory=1628876 CPUtime=2428.52 cores=0,2,4,6
/proc/13200/task/13253/stat : 13253 (java) R 13197 13200 7887 0 -1 4202560 157618 13243 0 0 242768 76 5 3 20 0 15 0 49813513 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789950076224 139789587341070 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13254] ppid=13197 vsize=10916192 memory=1628876 CPUtime=16.75 cores=0,2,4,6
/proc/13200/task/13254/stat : 13254 (java) S 13197 13200 7887 0 -1 1077944384 33141 13243 0 0 1617 50 5 3 20 0 15 0 49813513 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789982485648 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13255] ppid=13197 vsize=10916192 memory=1635548 CPUtime=16.74 cores=0,2,4,6
/proc/13200/task/13255/stat : 13255 (java) S 13197 13200 7887 0 -1 1077944384 41865 13243 0 0 1617 49 5 3 20 0 15 0 49813513 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789912243216 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13256] ppid=13197 vsize=10916192 memory=1635548 CPUtime=16.87 cores=0,2,4,6
/proc/13200/task/13256/stat : 13256 (java) S 13197 13200 7887 0 -1 1077944384 38649 13243 0 0 1632 47 5 3 20 0 15 0 49813513 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789550939024 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13257] ppid=13197 vsize=10916192 memory=1633496 CPUtime=16.71 cores=0,2,4,6
/proc/13200/task/13257/stat : 13257 (java) S 13197 13200 7887 0 -1 1077944384 38898 13243 0 0 1616 47 5 3 20 0 15 0 49813513 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789549886224 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13258] ppid=13197 vsize=10916192 memory=1630416 CPUtime=7.31 cores=0,2,4,6
/proc/13200/task/13258/stat : 13258 (java) S 13197 13200 7887 0 -1 1077944384 30257 13243 0 0 667 56 5 3 20 0 15 0 49813515 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789437217136 139789978253954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13259] ppid=13197 vsize=10916192 memory=1634520 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13259/stat : 13259 (java) S 13197 13200 7887 0 -1 1077944384 43 13243 0 0 0 0 5 3 20 0 15 0 49813515 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789436163232 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13260] ppid=13197 vsize=10916192 memory=1635548 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13260/stat : 13260 (java) S 13197 13200 7887 0 -1 1077944384 11 13243 0 0 0 0 5 3 20 0 15 0 49813516 11178180608 407219 33554432000 4194304 4196468 140735572969360 139788837446528 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13261] ppid=13197 vsize=10916192 memory=1635548 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13261/stat : 13261 (java) S 13197 13200 7887 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 49813518 11178180608 407219 33554432000 4194304 4196468 140735572969360 139788530046800 139789978261403 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13262] ppid=13197 vsize=10916192 memory=1633500 CPUtime=6.32 cores=0,2,4,6
/proc/13200/task/13262/stat : 13262 (java) S 13197 13200 7887 0 -1 1077944384 95503 13243 0 0 615 9 5 3 20 0 15 0 49813518 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789402606448 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13263] ppid=13197 vsize=10916192 memory=1628876 CPUtime=6.85 cores=0,2,4,6
/proc/13200/task/13263/stat : 13263 (java) S 13197 13200 7887 0 -1 1077944384 91666 13243 0 0 669 8 5 3 20 0 15 0 49813518 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789401553648 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13264] ppid=13197 vsize=10916192 memory=1628876 CPUtime=2.99 cores=0,2,4,6
/proc/13200/task/13264/stat : 13264 (java) S 13197 13200 7887 0 -1 1077944384 58171 13243 0 0 283 8 5 3 20 0 15 0 49813518 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789400500848 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13265] ppid=13197 vsize=10916192 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/13200/task/13265/stat : 13265 (java) S 13197 13200 7887 0 -1 1077944384 3 13243 0 0 0 0 5 3 20 0 15 0 49813519 11178180608 407219 33554432000 4194304 4196468 140735572969360 139788496489184 139789978253013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
[pid=13200/tid=13266] ppid=13197 vsize=10916192 memory=16320 CPUtime=1.6 cores=0,2,4,6
/proc/13200/task/13266/stat : 13266 (java) S 13197 13200 7887 0 -1 1077944384 2535 13243 0 0 71 81 5 3 20 0 15 0 49813519 11178180608 407219 33554432000 4194304 4196468 140735572969360 139789399448240 139789978253954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 37285888 140735572974190 140735572976988 140735572976988 140735572979663 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1628876 KiB
Child status: 143
Real time (s): 2454.95
CPU time (s): 2520.08
CPU user time (s): 2516.14
CPU system time (s): 3.9435
CPU usage (%): 102.653
Max. virtual memory (cumulated for all children) (KiB): 10916780
Max. memory (cumulated for all children) (KiB): 2884700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.14
system time used= 3.9435
maximum resident set size= 2886748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 606564
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 201080
involuntary context switches= 7808
# summary of solver processes directly reported to runsolver:
# pid: 13200
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.14
# total CPU system time (s): 3.9435
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7643 second user time and 22.9426 second system time
The end