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 (12090 MiB free)
memory of node 1: 16384 MiB (14810 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302732-1532897128/watcher-4302732-1532897128 -o /tmp/evaluation-result-4302732-1532897128/solver-4302732-1532897128 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22776 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=555977672 -superng HOME/instance-4302732-1532897128.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27875, runsolver pid=27872
[startup+0.100026 s]*
/proc/loadavg: 1.51 1.93 1.91 3/206 27932
/proc/meminfo: memFree=27540176/32770624 swapFree=67108860/67108860
[pid=27875] ppid=27872 vsize=10005480 memory=16816 CPUtime=0.09 cores=0,2,4,6
/proc/27875/stat : 27875 (java) S 27872 27875 13514 0 -1 1077944320 4376 13391 0 0 1 0 5 3 20 0 6 0 107275938 10245611520 4204 33554432000 4194304 4196468 140734565072816 140734565055360 139949946322679 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
/proc/27875/statm: 2501370 4204 1935 1 0 2489808 0
[pid=27875/tid=27928] ppid=27872 vsize=10005480 memory=4279135704013571469 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27928/stat : 27928 (java) R 27872 27875 13514 0 -1 4202560 2186 13391 0 0 0 0 5 3 20 0 6 0 107275947 10245611520 4204 33554432000 4194304 4196468 140734565072816 139949918159440 139949930403166 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27929] ppid=27872 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27929/stat : 27929 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 6 0 107275948 10245611520 4204 33554432000 4194304 4196468 140734565072816 139949950565136 139949946332885 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27930] ppid=27872 vsize=10005480 memory=140678906455680 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27930/stat : 27930 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 6 0 107275948 10245611520 4204 33554432000 4194304 4196468 140734565072816 139949486300048 139949946332885 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27931] ppid=27872 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27931/stat : 27931 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 6 0 107275948 10245611520 4204 33554432000 4194304 4196468 140734565072816 139949485247504 139949946332885 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27932] ppid=27872 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27932/stat : 27932 (java) S 27872 27875 13514 0 -1 1077944384 2 13391 0 0 0 0 5 3 20 0 6 0 107275948 10245611520 4204 33554432000 4194304 4196468 140734565072816 139949484194960 139949946332885 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16816 KiB
[startup+0.211216 s]*
/proc/loadavg: 1.47 1.91 1.91 2/215 27941
/proc/meminfo: memFree=27515156/32770624 swapFree=67108860/67108860
[pid=27875] ppid=27872 vsize=10982696 memory=44936 CPUtime=0.27 cores=0,2,4,6
/proc/27875/stat : 27875 (java) S 27872 27875 13514 0 -1 1077944320 8628 13391 0 0 17 2 5 3 20 0 15 0 107275938 11246280704 11234 33554432000 4194304 4196468 140734565072816 140734565055360 139949946322679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
/proc/27875/statm: 2745674 11234 2942 1 0 2708109 0
[pid=27875/tid=27928] ppid=27872 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/27875/task/27928/stat : 27928 (java) R 27872 27875 13514 0 -1 4202560 5162 13391 0 0 10 1 5 3 20 0 15 0 107275947 11246280704 11234 33554432000 4194304 4196468 140734565072816 139949918100784 139949926598344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27929] ppid=27872 vsize=10982696 memory=339 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27929/stat : 27929 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275948 11246280704 11234 33554432000 4194304 4196468 140734565072816 139949950565136 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27930] ppid=27872 vsize=10982696 memory=3617998143783904928 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27930/stat : 27930 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275948 11246280704 11234 33554432000 4194304 4196468 140734565072816 139949486300048 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27931] ppid=27872 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27931/stat : 27931 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275948 11246280704 11234 33554432000 4194304 4196468 140734565072816 139949485247504 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27932] ppid=27872 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27932/stat : 27932 (java) S 27872 27875 13514 0 -1 1077944384 2 13391 0 0 0 0 5 3 20 0 15 0 107275948 11246280704 11234 33554432000 4194304 4196468 140734565072816 139949484194960 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27933] ppid=27872 vsize=10982696 memory=140678906455680 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27933/stat : 27933 (java) S 27872 27875 13514 0 -1 1077944384 2 13391 0 0 0 0 5 3 20 0 15 0 107275949 11246280704 11234 33554432000 4194304 4196468 140734565072816 139949439379440 139949946333826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27934] ppid=27872 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27934/stat : 27934 (java) S 27872 27875 13514 0 -1 1077944384 13 13391 0 0 0 0 5 3 20 0 15 0 107275950 11246280704 11234 33554432000 4194304 4196468 140734565072816 139948757869472 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27935] ppid=27872 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27935/stat : 27935 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275950 11246280704 11234 33554432000 4194304 4196468 140734565072816 139948556542960 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27936] ppid=27872 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27936/stat : 27936 (java) S 27872 27875 13514 0 -1 1077944384 3 13391 0 0 0 0 5 3 20 0 15 0 107275952 11246280704 11234 33554432000 4194304 4196468 140734565072816 139948249143504 139949946341275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27937] ppid=27872 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27875/task/27937/stat : 27937 (java) S 27872 27875 13514 0 -1 1077944384 435 13391 0 0 1 0 5 3 20 0 15 0 107275952 11246280704 11234 33554432000 4194304 4196468 140734565072816 139949438327280 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27938] ppid=27872 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27938/stat : 27938 (java) S 27872 27875 13514 0 -1 1077944384 180 13391 0 0 0 0 5 3 20 0 15 0 107275952 11246280704 11234 33554432000 4194304 4196468 140734565072816 139949437274736 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27939] ppid=27872 vsize=10982696 memory=140678906455680 CPUtime=0.11 cores=0,2,4,6
/proc/27875/task/27939/stat : 27939 (java) S 27872 27875 13514 0 -1 1077944384 631 13391 0 0 3 0 5 3 20 0 15 0 107275953 11246280704 11234 33554432000 4194304 4196468 140734565072816 139949436222192 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27940] ppid=27872 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27940/stat : 27940 (java) S 27872 27875 13514 0 -1 1077944384 3 13391 0 0 0 0 5 3 20 0 15 0 107275953 11246280704 11234 33554432000 4194304 4196468 140734565072816 139947818347616 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27941] ppid=27872 vsize=10982696 memory=140678906455680 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27941/stat : 27941 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275953 11246280704 11234 33554432000 4194304 4196468 140734565072816 139949435169072 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 44936 KiB
[startup+0.310201 s]*
/proc/loadavg: 1.47 1.91 1.91 3/215 27941
/proc/meminfo: memFree=27504800/32770624 swapFree=67108860/67108860
[pid=27875] ppid=27872 vsize=10983192 memory=56264 CPUtime=0.39 cores=0,2,4,6
/proc/27875/stat : 27875 (java) S 27872 27875 13514 0 -1 1077944320 10640 13391 0 0 28 3 5 3 20 0 15 0 107275938 11246788608 14066 33554432000 4194304 4196468 140734565072816 140734565055360 139949946322679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
/proc/27875/statm: 2745798 14066 3074 1 0 2708109 0
[pid=27875/tid=27928] ppid=27872 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/27875/task/27928/stat : 27928 (java) R 27872 27875 13514 0 -1 4202560 7171 13391 0 0 19 2 5 3 20 0 15 0 107275947 11246788608 14066 33554432000 4194304 4196468 140734565072816 139949918134688 139949930403166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27929] ppid=27872 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27929/stat : 27929 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275948 11246788608 14066 33554432000 4194304 4196468 140734565072816 139949950565136 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27930] ppid=27872 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27930/stat : 27930 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275948 11246788608 14066 33554432000 4194304 4196468 140734565072816 139949486300048 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27931] ppid=27872 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27931/stat : 27931 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275948 11246788608 14066 33554432000 4194304 4196468 140734565072816 139949485247504 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27932] ppid=27872 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27932/stat : 27932 (java) S 27872 27875 13514 0 -1 1077944384 2 13391 0 0 0 0 5 3 20 0 15 0 107275948 11246788608 14066 33554432000 4194304 4196468 140734565072816 139949484194960 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27933] ppid=27872 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27933/stat : 27933 (java) S 27872 27875 13514 0 -1 1077944384 2 13391 0 0 0 0 5 3 20 0 15 0 107275949 11246788608 14066 33554432000 4194304 4196468 140734565072816 139949439379440 139949946333826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27934] ppid=27872 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27934/stat : 27934 (java) S 27872 27875 13514 0 -1 1077944384 13 13391 0 0 0 0 5 3 20 0 15 0 107275950 11246788608 14066 33554432000 4194304 4196468 140734565072816 139948757869472 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27935] ppid=27872 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27935/stat : 27935 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275950 11246788608 14066 33554432000 4194304 4196468 140734565072816 139948556542960 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27936] ppid=27872 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27936/stat : 27936 (java) S 27872 27875 13514 0 -1 1077944384 3 13391 0 0 0 0 5 3 20 0 15 0 107275952 11246788608 14066 33554432000 4194304 4196468 140734565072816 139948249143504 139949946341275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27937] ppid=27872 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27875/task/27937/stat : 27937 (java) S 27872 27875 13514 0 -1 1077944384 435 13391 0 0 1 0 5 3 20 0 15 0 107275952 11246788608 14066 33554432000 4194304 4196468 140734565072816 139949438327280 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27938] ppid=27872 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/27875/task/27938/stat : 27938 (java) S 27872 27875 13514 0 -1 1077944384 181 13391 0 0 1 0 5 3 20 0 15 0 107275952 11246788608 14066 33554432000 4194304 4196468 140734565072816 139949437274736 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27939] ppid=27872 vsize=10983192 memory=140678906455680 CPUtime=0.13 cores=0,2,4,6
/proc/27875/task/27939/stat : 27939 (java) S 27872 27875 13514 0 -1 1077944384 636 13391 0 0 5 0 5 3 20 0 15 0 107275953 11246788608 14066 33554432000 4194304 4196468 140734565072816 139949436222192 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27940] ppid=27872 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27940/stat : 27940 (java) S 27872 27875 13514 0 -1 1077944384 3 13391 0 0 0 0 5 3 20 0 15 0 107275953 11246788608 14066 33554432000 4194304 4196468 140734565072816 139947818347616 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27941] ppid=27872 vsize=10983192 memory=140678906455680 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27941/stat : 27941 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275953 11246788608 14066 33554432000 4194304 4196468 140734565072816 139949435169072 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56264 KiB
[startup+0.700736 s]
/proc/loadavg: 1.47 1.91 1.91 4/215 27941
/proc/meminfo: memFree=27493396/32770624 swapFree=67108860/67108860
[pid=27875] ppid=27872 vsize=10983192 memory=88740 CPUtime=0.99 cores=0,2,4,6
/proc/27875/stat : 27875 (java) S 27872 27875 13514 0 -1 1077944320 16887 13391 0 0 86 5 5 3 20 0 15 0 107275938 11246788608 22185 33554432000 4194304 4196468 140734565072816 140734565055360 139949946322679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
/proc/27875/statm: 2745798 22185 3237 1 0 2708109 0
[pid=27875/tid=27928] ppid=27872 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/27875/task/27928/stat : 27928 (java) R 27872 27875 13514 0 -1 4202560 12459 13391 0 0 55 4 5 3 20 0 15 0 107275947 11246788608 22185 33554432000 4194304 4196468 140734565072816 139949918143504 139949930403166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27929] ppid=27872 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27929/stat : 27929 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275948 11246788608 22185 33554432000 4194304 4196468 140734565072816 139949950565136 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27930] ppid=27872 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27930/stat : 27930 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275948 11246788608 22185 33554432000 4194304 4196468 140734565072816 139949486300048 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27931] ppid=27872 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27931/stat : 27931 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275948 11246788608 22185 33554432000 4194304 4196468 140734565072816 139949485247504 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27932] ppid=27872 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27932/stat : 27932 (java) S 27872 27875 13514 0 -1 1077944384 2 13391 0 0 0 0 5 3 20 0 15 0 107275948 11246788608 22185 33554432000 4194304 4196468 140734565072816 139949484194960 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27933] ppid=27872 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27933/stat : 27933 (java) S 27872 27875 13514 0 -1 1077944384 6 13391 0 0 0 0 5 3 20 0 15 0 107275949 11246788608 22185 33554432000 4194304 4196468 140734565072816 139949439379440 139949946333826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27934] ppid=27872 vsize=10983192 memory=140678768243376 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27934/stat : 27934 (java) S 27872 27875 13514 0 -1 1077944384 13 13391 0 0 0 0 5 3 20 0 15 0 107275950 11246788608 22185 33554432000 4194304 4196468 140734565072816 139948757869472 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27935] ppid=27872 vsize=10983192 memory=140681653781072 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27935/stat : 27935 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275950 11246788608 22185 33554432000 4194304 4196468 140734565072816 139948556542960 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27936] ppid=27872 vsize=10983192 memory=1020 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27936/stat : 27936 (java) S 27872 27875 13514 0 -1 1077944384 3 13391 0 0 0 0 5 3 20 0 15 0 107275952 11246788608 22185 33554432000 4194304 4196468 140734565072816 139948249143504 139949946341275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27937] ppid=27872 vsize=10983192 memory=7089042195949315648 CPUtime=0.18 cores=0,2,4,6
/proc/27875/task/27937/stat : 27937 (java) S 27872 27875 13514 0 -1 1077944384 1098 13391 0 0 10 0 5 3 20 0 15 0 107275952 11246788608 22185 33554432000 4194304 4196468 140734565072816 139949438327280 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27938] ppid=27872 vsize=10983192 memory=7881696724453321575 CPUtime=0.14 cores=0,2,4,6
/proc/27875/task/27938/stat : 27938 (java) S 27872 27875 13514 0 -1 1077944384 425 13391 0 0 6 0 5 3 20 0 15 0 107275952 11246788608 22185 33554432000 4194304 4196468 140734565072816 139949437274736 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27939] ppid=27872 vsize=10983192 memory=5789189752906409301 CPUtime=0.21 cores=0,2,4,6
/proc/27875/task/27939/stat : 27939 (java) R 27872 27875 13514 0 -1 4202560 683 13391 0 0 13 0 5 3 20 0 15 0 107275953 11246788608 22185 33554432000 4194304 4196468 140734565072816 139949436222192 139949946334614 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27940] ppid=27872 vsize=10983192 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27940/stat : 27940 (java) S 27872 27875 13514 0 -1 1077944384 3 13391 0 0 0 0 5 3 20 0 15 0 107275953 11246788608 22185 33554432000 4194304 4196468 140734565072816 139947818347616 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27941] ppid=27872 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27941/stat : 27941 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275953 11246788608 22185 33554432000 4194304 4196468 140734565072816 139949435169072 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88740 KiB
[startup+1.50107 s]
/proc/loadavg: 1.47 1.91 1.91 3/215 27941
/proc/meminfo: memFree=27448428/32770624 swapFree=67108860/67108860
[pid=27875] ppid=27872 vsize=10998092 memory=179908 CPUtime=2.31 cores=0,2,4,6
/proc/27875/stat : 27875 (java) S 27872 27875 13514 0 -1 1077944320 23927 13391 0 0 212 11 5 3 20 0 15 0 107275938 11262046208 44977 33554432000 4194304 4196468 140734565072816 140734565055360 139949946322679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
/proc/27875/statm: 2749523 44977 3472 1 0 2711181 0
[pid=27875/tid=27928] ppid=27872 vsize=10998092 memory=10757 CPUtime=1.43 cores=0,2,4,6
/proc/27875/task/27928/stat : 27928 (java) R 27872 27875 13514 0 -1 4202560 17913 13391 0 0 129 6 5 3 20 0 15 0 107275947 11262046208 44977 33554432000 4194304 4196468 140734565072816 139949918140608 139949930403166 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27929] ppid=27872 vsize=10998092 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/27875/task/27929/stat : 27929 (java) S 27872 27875 13514 0 -1 1077944384 195 13391 0 0 1 0 5 3 20 0 15 0 107275948 11262046208 44977 33554432000 4194304 4196468 140734565072816 139949950565136 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27930] ppid=27872 vsize=10998092 memory=1408 CPUtime=0.09 cores=0,2,4,6
/proc/27875/task/27930/stat : 27930 (java) S 27872 27875 13514 0 -1 1077944384 19 13391 0 0 1 0 5 3 20 0 15 0 107275948 11262046208 44977 33554432000 4194304 4196468 140734565072816 139949486300048 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27931] ppid=27872 vsize=10998092 memory=2872 CPUtime=0.09 cores=0,2,4,6
/proc/27875/task/27931/stat : 27931 (java) S 27872 27875 13514 0 -1 1077944384 20 13391 0 0 1 0 5 3 20 0 15 0 107275948 11262046208 44977 33554432000 4194304 4196468 140734565072816 139949485247504 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27932] ppid=27872 vsize=10998092 memory=88740 CPUtime=0.09 cores=0,2,4,6
/proc/27875/task/27932/stat : 27932 (java) S 27872 27875 13514 0 -1 1077944384 69 13391 0 0 1 0 5 3 20 0 15 0 107275948 11262046208 44977 33554432000 4194304 4196468 140734565072816 139949484194960 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27933] ppid=27872 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27875/task/27933/stat : 27933 (java) S 27872 27875 13514 0 -1 1077944384 54 13391 0 0 1 0 5 3 20 0 15 0 107275949 11262046208 44977 33554432000 4194304 4196468 140734565072816 139949439379440 139949946333826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27934] ppid=27872 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27934/stat : 27934 (java) S 27872 27875 13514 0 -1 1077944384 14 13391 0 0 0 0 5 3 20 0 15 0 107275950 11262046208 44977 33554432000 4194304 4196468 140734565072816 139948757869536 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27935] ppid=27872 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27935/stat : 27935 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275950 11262046208 44977 33554432000 4194304 4196468 140734565072816 139948556542976 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27936] ppid=27872 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27936/stat : 27936 (java) S 27872 27875 13514 0 -1 1077944384 3 13391 0 0 0 0 5 3 20 0 15 0 107275952 11262046208 44977 33554432000 4194304 4196468 140734565072816 139948249143504 139949946341275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27937] ppid=27872 vsize=10998092 memory=4638778398332698720 CPUtime=0.29 cores=0,2,4,6
/proc/27875/task/27937/stat : 27937 (java) S 27872 27875 13514 0 -1 1077944384 1240 13391 0 0 20 1 5 3 20 0 15 0 107275952 11262046208 44977 33554432000 4194304 4196468 140734565072816 139949438327280 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27938] ppid=27872 vsize=10998092 memory=281357536762752 CPUtime=0.29 cores=0,2,4,6
/proc/27875/task/27938/stat : 27938 (java) S 27872 27875 13514 0 -1 1077944384 883 13391 0 0 21 0 5 3 20 0 15 0 107275952 11262046208 44977 33554432000 4194304 4196468 140734565072816 139949437274736 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27939] ppid=27872 vsize=10998092 memory=6944656592452807323 CPUtime=0.42 cores=0,2,4,6
/proc/27875/task/27939/stat : 27939 (java) S 27872 27875 13514 0 -1 1077944384 1320 13391 0 0 34 0 5 3 20 0 15 0 107275953 11262046208 44977 33554432000 4194304 4196468 140734565072816 139949436222192 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27940] ppid=27872 vsize=10998092 memory=6944656591801719708 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27940/stat : 27940 (java) S 27872 27875 13514 0 -1 1077944384 3 13391 0 0 0 0 5 3 20 0 15 0 107275953 11262046208 44977 33554432000 4194304 4196468 140734565072816 139947818347616 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27941] ppid=27872 vsize=10998092 memory=1399101730491701635 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27941/stat : 27941 (java) S 27872 27875 13514 0 -1 1077944384 1 13391 0 0 0 0 5 3 20 0 15 0 107275953 11262046208 44977 33554432000 4194304 4196468 140734565072816 139949435169072 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/27875/task/27928/stat : 27928 (java) R 27872 27875 13514 0 -1 4202560 61873 13391 0 0 16082 23 5 3 20 0 15 0 107275947 11345952768 240860 33554432000 4194304 4196468 140734565072816 139949918157328 139949528737871 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27929] ppid=27872 vsize=11080032 memory=963364 CPUtime=0.58 cores=0,2,4,6
/proc/27875/task/27929/stat : 27929 (java) S 27872 27875 13514 0 -1 1077944384 4432 13391 0 0 45 5 5 3 20 0 15 0 107275948 11345952768 240860 33554432000 4194304 4196468 140734565072816 139949950565136 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27930] ppid=27872 vsize=11080032 memory=963404 CPUtime=0.57 cores=0,2,4,6
/proc/27875/task/27930/stat : 27930 (java) S 27872 27875 13514 0 -1 1077944384 3473 13391 0 0 43 6 5 3 20 0 15 0 107275948 11345952768 240860 33554432000 4194304 4196468 140734565072816 139949486300048 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27931] ppid=27872 vsize=11080032 memory=963404 CPUtime=0.58 cores=0,2,4,6
/proc/27875/task/27931/stat : 27931 (java) S 27872 27875 13514 0 -1 1077944384 1522 13391 0 0 45 5 5 3 20 0 15 0 107275948 11345952768 240860 33554432000 4194304 4196468 140734565072816 139949485247504 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27932] ppid=27872 vsize=11080032 memory=963440 CPUtime=0.57 cores=0,2,4,6
/proc/27875/task/27932/stat : 27932 (java) S 27872 27875 13514 0 -1 1077944384 1242 13391 0 0 43 6 5 3 20 0 15 0 107275948 11345952768 240860 33554432000 4194304 4196468 140734565072816 139949484194960 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27933] ppid=27872 vsize=11080032 memory=963440 CPUtime=0.51 cores=0,2,4,6
/proc/27875/task/27933/stat : 27933 (java) S 27872 27875 13514 0 -1 1077944384 2928 13391 0 0 41 2 5 3 20 0 15 0 107275949 11345952768 240860 33554432000 4194304 4196468 140734565072816 139949439379440 139949946333826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27934] ppid=27872 vsize=11080032 memory=963404 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27934/stat : 27934 (java) S 27872 27875 13514 0 -1 1077944384 15 13391 0 0 0 0 5 3 20 0 15 0 107275950 11345952768 240860 33554432000 4194304 4196468 140734565072816 139948757869600 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27935] ppid=27872 vsize=11080032 memory=963404 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27935/stat : 27935 (java) S 27872 27875 13514 0 -1 1077944384 8 13391 0 0 0 0 5 3 20 0 15 0 107275950 11345952768 240860 33554432000 4194304 4196468 140734565072816 139948556542976 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27936] ppid=27872 vsize=11080032 memory=963404 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27936/stat : 27936 (java) S 27872 27875 13514 0 -1 1077944384 3 13391 0 0 0 0 5 3 20 0 15 0 107275952 11345952768 240860 33554432000 4194304 4196468 140734565072816 139948249143504 139949946341275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27937] ppid=27872 vsize=11080032 memory=963420 CPUtime=5.75 cores=0,2,4,6
/proc/27875/task/27937/stat : 27937 (java) S 27872 27875 13514 0 -1 1077944384 27846 13391 0 0 561 6 5 3 20 0 15 0 107275952 11345952768 240860 33554432000 4194304 4196468 140734565072816 139949438327280 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27938] ppid=27872 vsize=11080032 memory=963420 CPUtime=4.64 cores=0,2,4,6
/proc/27875/task/27938/stat : 27938 (java) S 27872 27875 13514 0 -1 1077944384 15894 13391 0 0 454 2 5 3 20 0 15 0 107275952 11345952768 240860 33554432000 4194304 4196468 140734565072816 139949437274736 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27939] ppid=27872 vsize=11080032 memory=963404 CPUtime=2.36 cores=0,2,4,6
/proc/27875/task/27939/stat : 27939 (java) S 27872 27875 13514 0 -1 1077944384 18965 13391 0 0 224 4 5 3 20 0 15 0 107275953 11345952768 240860 33554432000 4194304 4196468 140734565072816 139949436222192 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27940] ppid=27872 vsize=11080032 memory=963404 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27940/stat : 27940 (java) S 27872 27875 13514 0 -1 1077944384 3 13391 0 0 0 0 5 3 20 0 15 0 107275953 11345952768 240860 33554432000 4194304 4196468 140734565072816 139947818347616 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27941] ppid=27872 vsize=11080032 memory=963440 CPUtime=0.17 cores=0,2,4,6
/proc/27875/task/27941/stat : 27941 (java) S 27872 27875 13514 0 -1 1077944384 904 13391 0 0 5 4 5 3 20 0 15 0 107275953 11345952768 240860 33554432000 4194304 4196468 140734565072816 139949435169072 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
Current children cumulated CPU time: 176.23 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 963440 KiB
[startup+222.301 s]
/proc/loadavg: 1.55 1.74 1.84 3/215 28072
/proc/meminfo: memFree=26259192/32770624 swapFree=67108860/67108860
[pid=27875] ppid=27872 vsize=11080032 memory=965588 CPUtime=237.36 cores=0,2,4,6
/proc/27875/stat : 27875 (java) S 27872 27875 13514 0 -1 1077944320 152738 13391 0 0 23658 70 5 3 20 0 15 0 107275938 11345952768 241397 33554432000 4194304 4196468 140734565072816 140734565055360 139949946322679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
/proc/27875/statm: 2770008 241397 3529 1 0 2731661 0
[pid=27875/tid=27928] ppid=27872 vsize=11080032 memory=965588 CPUtime=220.49 cores=0,2,4,6
/proc/27875/task/27928/stat : 27928 (java) R 27872 27875 13514 0 -1 4202560 63462 13391 0 0 22016 25 5 3 20 0 15 0 107275947 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949918154024 139949528226878 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27929] ppid=27872 vsize=11080032 memory=965576 CPUtime=0.86 cores=0,2,4,6
/proc/27875/task/27929/stat : 27929 (java) S 27872 27875 13514 0 -1 1077944384 5684 13391 0 0 71 7 5 3 20 0 15 0 107275948 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949950565136 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27930] ppid=27872 vsize=11080032 memory=965576 CPUtime=0.85 cores=0,2,4,6
/proc/27875/task/27930/stat : 27930 (java) S 27872 27875 13514 0 -1 1077944384 3532 13391 0 0 70 7 5 3 20 0 15 0 107275948 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949486300048 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27931] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.86 cores=0,2,4,6
/proc/27875/task/27931/stat : 27931 (java) S 27872 27875 13514 0 -1 1077944384 1570 13391 0 0 72 6 5 3 20 0 15 0 107275948 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949485247504 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27932] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.85 cores=0,2,4,6
/proc/27875/task/27932/stat : 27932 (java) S 27872 27875 13514 0 -1 1077944384 1889 13391 0 0 70 7 5 3 20 0 15 0 107275948 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949484194960 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27933] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.77 cores=0,2,4,6
/proc/27875/task/27933/stat : 27933 (java) S 27872 27875 13514 0 -1 1077944384 3277 13391 0 0 66 3 5 3 20 0 15 0 107275949 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949439379440 139949946333826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27934] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27934/stat : 27934 (java) S 27872 27875 13514 0 -1 1077944384 15 13391 0 0 0 0 5 3 20 0 15 0 107275950 11345952768 241397 33554432000 4194304 4196468 140734565072816 139948757869600 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27935] ppid=27872 vsize=11080032 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27935/stat : 27935 (java) S 27872 27875 13514 0 -1 1077944384 8 13391 0 0 0 0 5 3 20 0 15 0 107275950 11345952768 241397 33554432000 4194304 4196468 140734565072816 139948556542976 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27936] ppid=27872 vsize=11080032 memory=965576 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27936/stat : 27936 (java) S 27872 27875 13514 0 -1 1077944384 3 13391 0 0 0 0 5 3 20 0 15 0 107275952 11345952768 241397 33554432000 4194304 4196468 140734565072816 139948249143504 139949946341275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27937] ppid=27872 vsize=11080032 memory=8 CPUtime=5.88 cores=0,2,4,6
/proc/27875/task/27937/stat : 27937 (java) S 27872 27875 13514 0 -1 1077944384 29618 13391 0 0 573 7 5 3 20 0 15 0 107275952 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949438327280 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27938] ppid=27872 vsize=11080032 memory=965588 CPUtime=4.8 cores=0,2,4,6
/proc/27875/task/27938/stat : 27938 (java) S 27872 27875 13514 0 -1 1077944384 18624 13391 0 0 470 2 5 3 20 0 15 0 107275952 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949437274736 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27939] ppid=27872 vsize=11080032 memory=965588 CPUtime=2.42 cores=0,2,4,6
/proc/27875/task/27939/stat : 27939 (java) S 27872 27875 13514 0 -1 1077944384 21917 13391 0 0 230 4 5 3 20 0 15 0 107275953 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949436222192 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27940] ppid=27872 vsize=11080032 memory=1812 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27940/stat : 27940 (java) S 27872 27875 13514 0 -1 1077944384 3 13391 0 0 0 0 5 3 20 0 15 0 107275953 11345952768 241397 33554432000 4194304 4196468 140734565072816 139947818347616 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27941] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.2 cores=0,2,4,6
/proc/27875/task/27941/stat : 27941 (java) S 27872 27875 13514 0 -1 1077944384 944 13391 0 0 7 5 5 3 20 0 15 0 107275953 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949435169072 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
Current children cumulated CPU time: 237.36 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 965588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+236.701 s]
/proc/loadavg: 1.37 1.69 1.82 3/215 28072
/proc/meminfo: memFree=26143140/32770624 swapFree=67108860/67108860
[pid=27875] ppid=27872 vsize=11080032 memory=965588 CPUtime=252.02 cores=0,2,4,6
/proc/27875/stat : 27875 (java) S 27872 27875 13514 0 -1 1077944320 154380 13391 0 0 25123 71 5 3 20 0 15 0 107275938 11345952768 241397 33554432000 4194304 4196468 140734565072816 140734565055360 139949946322679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
/proc/27875/statm: 2770008 241397 3529 1 0 2731661 0
[pid=27875/tid=27928] ppid=27872 vsize=11080032 memory=4140 CPUtime=234.73 cores=0,2,4,6
/proc/27875/task/27928/stat : 27928 (java) R 27872 27875 13514 0 -1 4202560 63572 13391 0 0 23440 25 5 3 20 0 15 0 107275947 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949918157632 139949518470794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27929] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.93 cores=0,2,4,6
/proc/27875/task/27929/stat : 27929 (java) S 27872 27875 13514 0 -1 1077944384 5691 13391 0 0 78 7 5 3 20 0 15 0 107275948 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949950565136 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27930] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.92 cores=0,2,4,6
/proc/27875/task/27930/stat : 27930 (java) S 27872 27875 13514 0 -1 1077944384 3537 13391 0 0 77 7 5 3 20 0 15 0 107275948 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949486300048 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27931] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.93 cores=0,2,4,6
/proc/27875/task/27931/stat : 27931 (java) S 27872 27875 13514 0 -1 1077944384 1572 13391 0 0 79 6 5 3 20 0 15 0 107275948 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949485247504 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27932] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.93 cores=0,2,4,6
/proc/27875/task/27932/stat : 27932 (java) S 27872 27875 13514 0 -1 1077944384 1891 13391 0 0 77 8 5 3 20 0 15 0 107275948 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949484194960 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27933] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.84 cores=0,2,4,6
/proc/27875/task/27933/stat : 27933 (java) S 27872 27875 13514 0 -1 1077944384 3277 13391 0 0 72 4 5 3 20 0 15 0 107275949 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949439379440 139949946333826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27934] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27934/stat : 27934 (java) S 27872 27875 13514 0 -1 1077944384 15 13391 0 0 0 0 5 3 20 0 15 0 107275950 11345952768 241397 33554432000 4194304 4196468 140734565072816 139948757869600 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27935] ppid=27872 vsize=11080032 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27935/stat : 27935 (java) S 27872 27875 13514 0 -1 1077944384 8 13391 0 0 0 0 5 3 20 0 15 0 107275950 11345952768 241397 33554432000 4194304 4196468 140734565072816 139948556542976 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27936] ppid=27872 vsize=11080032 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27936/stat : 27936 (java) S 27872 27875 13514 0 -1 1077944384 3 13391 0 0 0 0 5 3 20 0 15 0 107275952 11345952768 241397 33554432000 4194304 4196468 140734565072816 139948249143504 139949946341275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27937] ppid=27872 vsize=11080032 memory=965588 CPUtime=5.91 cores=0,2,4,6
/proc/27875/task/27937/stat : 27937 (java) S 27872 27875 13514 0 -1 1077944384 29925 13391 0 0 576 7 5 3 20 0 15 0 107275952 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949438327280 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27938] ppid=27872 vsize=11080032 memory=965588 CPUtime=4.83 cores=0,2,4,6
/proc/27875/task/27938/stat : 27938 (java) S 27872 27875 13514 0 -1 1077944384 19230 13391 0 0 473 2 5 3 20 0 15 0 107275952 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949437274736 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27939] ppid=27872 vsize=11080032 memory=965588 CPUtime=2.43 cores=0,2,4,6
/proc/27875/task/27939/stat : 27939 (java) S 27872 27875 13514 0 -1 1077944384 22519 13391 0 0 231 4 5 3 20 0 15 0 107275953 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949436222192 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27940] ppid=27872 vsize=11080032 memory=30468 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27940/stat : 27940 (java) S 27872 27875 13514 0 -1 1077944384 3 13391 0 0 0 0 5 3 20 0 15 0 107275953 11345952768 241397 33554432000 4194304 4196468 140734565072816 139947818347616 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27941] ppid=27872 vsize=11080032 memory=2204 CPUtime=0.21 cores=0,2,4,6
/proc/27875/task/27941/stat : 27941 (java) S 27872 27875 13514 0 -1 1077944384 945 13391 0 0 7 6 5 3 20 0 15 0 107275953 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949435169072 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 965588 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+236.738 s]
# the end of solver process 27875 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.307 s, system=0.770166 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+236.701 s]
/proc/loadavg: 1.37 1.69 1.82 3/215 28072
/proc/meminfo: memFree=26143140/32770624 swapFree=67108860/67108860
[pid=27875] ppid=27872 vsize=11080032 memory=965588 CPUtime=252.02 cores=0,2,4,6
/proc/27875/stat : 27875 (java) S 27872 27875 13514 0 -1 1077944320 154380 13391 0 0 25123 71 5 3 20 0 15 0 107275938 11345952768 241397 33554432000 4194304 4196468 140734565072816 140734565055360 139949946322679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
/proc/27875/statm: 2770008 241397 3529 1 0 2731661 0
[pid=27875/tid=27928] ppid=27872 vsize=11080032 memory=4140 CPUtime=234.73 cores=0,2,4,6
/proc/27875/task/27928/stat : 27928 (java) R 27872 27875 13514 0 -1 4202560 63572 13391 0 0 23440 25 5 3 20 0 15 0 107275947 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949918157632 139949518470794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27929] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.93 cores=0,2,4,6
/proc/27875/task/27929/stat : 27929 (java) S 27872 27875 13514 0 -1 1077944384 5691 13391 0 0 78 7 5 3 20 0 15 0 107275948 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949950565136 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27930] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.92 cores=0,2,4,6
/proc/27875/task/27930/stat : 27930 (java) S 27872 27875 13514 0 -1 1077944384 3537 13391 0 0 77 7 5 3 20 0 15 0 107275948 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949486300048 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27931] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.93 cores=0,2,4,6
/proc/27875/task/27931/stat : 27931 (java) S 27872 27875 13514 0 -1 1077944384 1572 13391 0 0 79 6 5 3 20 0 15 0 107275948 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949485247504 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27932] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.93 cores=0,2,4,6
/proc/27875/task/27932/stat : 27932 (java) S 27872 27875 13514 0 -1 1077944384 1891 13391 0 0 77 8 5 3 20 0 15 0 107275948 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949484194960 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27933] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.84 cores=0,2,4,6
/proc/27875/task/27933/stat : 27933 (java) S 27872 27875 13514 0 -1 1077944384 3277 13391 0 0 72 4 5 3 20 0 15 0 107275949 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949439379440 139949946333826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27934] ppid=27872 vsize=11080032 memory=965588 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27934/stat : 27934 (java) S 27872 27875 13514 0 -1 1077944384 15 13391 0 0 0 0 5 3 20 0 15 0 107275950 11345952768 241397 33554432000 4194304 4196468 140734565072816 139948757869600 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27935] ppid=27872 vsize=11080032 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27935/stat : 27935 (java) S 27872 27875 13514 0 -1 1077944384 8 13391 0 0 0 0 5 3 20 0 15 0 107275950 11345952768 241397 33554432000 4194304 4196468 140734565072816 139948556542976 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27936] ppid=27872 vsize=11080032 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27936/stat : 27936 (java) S 27872 27875 13514 0 -1 1077944384 3 13391 0 0 0 0 5 3 20 0 15 0 107275952 11345952768 241397 33554432000 4194304 4196468 140734565072816 139948249143504 139949946341275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27937] ppid=27872 vsize=11080032 memory=965588 CPUtime=5.91 cores=0,2,4,6
/proc/27875/task/27937/stat : 27937 (java) S 27872 27875 13514 0 -1 1077944384 29925 13391 0 0 576 7 5 3 20 0 15 0 107275952 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949438327280 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27938] ppid=27872 vsize=11080032 memory=965588 CPUtime=4.83 cores=0,2,4,6
/proc/27875/task/27938/stat : 27938 (java) S 27872 27875 13514 0 -1 1077944384 19230 13391 0 0 473 2 5 3 20 0 15 0 107275952 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949437274736 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27939] ppid=27872 vsize=11080032 memory=965588 CPUtime=2.43 cores=0,2,4,6
/proc/27875/task/27939/stat : 27939 (java) S 27872 27875 13514 0 -1 1077944384 22519 13391 0 0 231 4 5 3 20 0 15 0 107275953 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949436222192 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27940] ppid=27872 vsize=11080032 memory=30468 CPUtime=0.08 cores=0,2,4,6
/proc/27875/task/27940/stat : 27940 (java) S 27872 27875 13514 0 -1 1077944384 3 13391 0 0 0 0 5 3 20 0 15 0 107275953 11345952768 241397 33554432000 4194304 4196468 140734565072816 139947818347616 139949946332885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
[pid=27875/tid=27941] ppid=27872 vsize=11080032 memory=2204 CPUtime=0.21 cores=0,2,4,6
/proc/27875/task/27941/stat : 27941 (java) S 27872 27875 13514 0 -1 1077944384 945 13391 0 0 7 6 5 3 20 0 15 0 107275953 11345952768 241397 33554432000 4194304 4196468 140734565072816 139949435169072 139949946333826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28164096 140734565079657 140734565082465 140734565082465 140734565085135 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 965588 KiB
Child status: 143
Real time (s): 236.738
CPU time (s): 252.077
CPU user time (s): 251.307
CPU system time (s): 0.770166
CPU usage (%): 106.48
Max. virtual memory (cumulated for all children) (KiB): 11082672
Max. memory (cumulated for all children) (KiB): 987552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.307
system time used= 0.770166
maximum resident set size= 988044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168652
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29668
involuntary context switches= 1154
# summary of solver processes directly reported to runsolver:
# pid: 27875
# total CPU time (s): 252.077
# total CPU user time (s): 251.307
# total CPU system time (s): 0.770166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36908 second user time and 2.28904 second system time
The end