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 (13413 MiB free)
memory of node 1: 16384 MiB (13060 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302310-1532897700/watcher-4302310-1532897700 -o /tmp/evaluation-result-4302310-1532897700/solver-4302310-1532897700 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14549 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=45854914 HOME/instance-4302310-1532897700.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=21733, runsolver pid=21730
[startup+0.100093 s]*
/proc/loadavg: 1.27 1.58 1.78 3/202 21785
/proc/meminfo: memFree=27107888/32770624 swapFree=67108436/67108860
[pid=21733] ppid=21730 vsize=425712 memory=7664 CPUtime=0.08 cores=0,2,4,6
/proc/21733/stat : 21733 (java) S 21730 21733 9814 0 -1 1077944320 2598 13171 0 0 0 0 5 3 20 0 2 0 107333150 435929088 1916 33554432000 4194304 4196468 140720405448000 140720405430544 140294767558391 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
/proc/21733/statm: 106428 1916 1065 1 0 95339 0
[pid=21733/tid=21786] ppid=21730 vsize=425712 memory=3054156605335569294 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21786/stat : 21786 (java) S 21730 21733 9814 0 -1 1077944384 405 13171 0 0 0 0 5 3 20 0 2 0 107333161 435929088 1916 33554432000 4194304 4196468 140720405448000 140294739401120 140294767569538 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 425712 KiB
Current children cumulated memory: 7664 KiB
[startup+0.210418 s]*
/proc/loadavg: 1.27 1.58 1.78 3/216 21799
/proc/meminfo: memFree=27081152/32770624 swapFree=67108436/67108860
[pid=21733] ppid=21730 vsize=10982696 memory=40528 CPUtime=0.24 cores=0,2,4,6
/proc/21733/stat : 21733 (java) S 21730 21733 9814 0 -1 1077944320 6828 13171 0 0 15 1 5 3 20 0 15 0 107333150 11246280704 10132 33554432000 4194304 4196468 140720405448000 140720405430544 140294767558391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
/proc/21733/statm: 2745674 10132 2932 1 0 2708109 0
[pid=21733/tid=21786] ppid=21730 vsize=10982696 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/21733/task/21786/stat : 21786 (java) R 21730 21733 9814 0 -1 4202560 3372 13171 0 0 9 0 5 3 20 0 15 0 107333161 11246280704 10132 33554432000 4194304 4196468 140720405448000 140294739366464 140294748931928 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21787] ppid=21730 vsize=10982696 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21787/stat : 21787 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333161 11246280704 10132 33554432000 4194304 4196468 140720405448000 140294771800592 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21788] ppid=21730 vsize=10982696 memory=139914236072181 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21788/stat : 21788 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333161 11246280704 10132 33554432000 4194304 4196468 140720405448000 140294307572368 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21789] ppid=21730 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21789/stat : 21789 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333161 11246280704 10132 33554432000 4194304 4196468 140720405448000 140294306519312 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21790] ppid=21730 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21790/stat : 21790 (java) S 21730 21733 9814 0 -1 1077944384 2 13171 0 0 0 0 5 3 20 0 15 0 107333161 11246280704 10132 33554432000 4194304 4196468 140720405448000 140294305466768 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21791] ppid=21730 vsize=10982696 memory=139914236053120 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21791/stat : 21791 (java) S 21730 21733 9814 0 -1 1077944384 2 13171 0 0 0 0 5 3 20 0 15 0 107333163 11246280704 10132 33554432000 4194304 4196468 140720405448000 140294193470192 140294767569538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21792] ppid=21730 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21792/stat : 21792 (java) S 21730 21733 9814 0 -1 1077944384 13 13171 0 0 0 0 5 3 20 0 15 0 107333163 11246280704 10132 33554432000 4194304 4196468 140720405448000 140293576844960 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21793] ppid=21730 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21793/stat : 21793 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333163 11246280704 10132 33554432000 4194304 4196468 140720405448000 140293428995312 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21794] ppid=21730 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21794/stat : 21794 (java) S 21730 21733 9814 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 107333166 11246280704 10132 33554432000 4194304 4196468 140720405448000 140293121595856 140294767576987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21795] ppid=21730 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21733/task/21795/stat : 21795 (java) S 21730 21733 9814 0 -1 1077944384 484 13171 0 0 1 0 5 3 20 0 15 0 107333166 11246280704 10132 33554432000 4194304 4196468 140720405448000 140294192417008 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21796] ppid=21730 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21796/stat : 21796 (java) S 21730 21733 9814 0 -1 1077944384 131 13171 0 0 0 0 5 3 20 0 15 0 107333166 11246280704 10132 33554432000 4194304 4196468 140720405448000 140294191364464 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21797] ppid=21730 vsize=10982696 memory=139914236053120 CPUtime=0.11 cores=0,2,4,6
/proc/21733/task/21797/stat : 21797 (java) S 21730 21733 9814 0 -1 1077944384 620 13171 0 0 3 0 5 3 20 0 15 0 107333166 11246280704 10132 33554432000 4194304 4196468 140720405448000 140294190311408 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21798] ppid=21730 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21798/stat : 21798 (java) S 21730 21733 9814 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 107333166 11246280704 10132 33554432000 4194304 4196468 140720405448000 140292690798944 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21799] ppid=21730 vsize=10982696 memory=139914236053120 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21799/stat : 21799 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333167 11246280704 10132 33554432000 4194304 4196468 140720405448000 140294189259824 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 40528 KiB
[startup+0.310407 s]*
/proc/loadavg: 1.27 1.58 1.78 4/216 21799
/proc/meminfo: memFree=27068748/32770624 swapFree=67108436/67108860
[pid=21733] ppid=21730 vsize=10983192 memory=53116 CPUtime=0.37 cores=0,2,4,6
/proc/21733/stat : 21733 (java) S 21730 21733 9814 0 -1 1077944320 9882 13171 0 0 27 2 5 3 20 0 15 0 107333150 11246788608 13279 33554432000 4194304 4196468 140720405448000 140720405430544 140294767558391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
/proc/21733/statm: 2745798 13279 3063 1 0 2708109 0
[pid=21733/tid=21786] ppid=21730 vsize=10983192 memory=7721456969662542131 CPUtime=0.27 cores=0,2,4,6
/proc/21733/task/21786/stat : 21786 (java) R 21730 21733 9814 0 -1 4202560 6412 13171 0 0 18 1 5 3 20 0 15 0 107333161 11246788608 13279 33554432000 4194304 4196468 140720405448000 140294739370400 140294749121966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21787] ppid=21730 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21787/stat : 21787 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333161 11246788608 13279 33554432000 4194304 4196468 140720405448000 140294771800592 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21788] ppid=21730 vsize=10983192 memory=139914236053120 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21788/stat : 21788 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333161 11246788608 13279 33554432000 4194304 4196468 140720405448000 140294307572368 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21789] ppid=21730 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21789/stat : 21789 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333161 11246788608 13279 33554432000 4194304 4196468 140720405448000 140294306519312 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21790] ppid=21730 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21790/stat : 21790 (java) S 21730 21733 9814 0 -1 1077944384 2 13171 0 0 0 0 5 3 20 0 15 0 107333161 11246788608 13279 33554432000 4194304 4196468 140720405448000 140294305466768 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21791] ppid=21730 vsize=10983192 memory=139914236053120 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21791/stat : 21791 (java) S 21730 21733 9814 0 -1 1077944384 2 13171 0 0 0 0 5 3 20 0 15 0 107333163 11246788608 13279 33554432000 4194304 4196468 140720405448000 140294193470192 140294767569538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21792] ppid=21730 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21792/stat : 21792 (java) S 21730 21733 9814 0 -1 1077944384 13 13171 0 0 0 0 5 3 20 0 15 0 107333163 11246788608 13279 33554432000 4194304 4196468 140720405448000 140293576844960 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21793] ppid=21730 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21793/stat : 21793 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333163 11246788608 13279 33554432000 4194304 4196468 140720405448000 140293428995312 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21794] ppid=21730 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21794/stat : 21794 (java) S 21730 21733 9814 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 107333166 11246788608 13279 33554432000 4194304 4196468 140720405448000 140293121595856 140294767576987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21795] ppid=21730 vsize=10983192 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/21733/task/21795/stat : 21795 (java) S 21730 21733 9814 0 -1 1077944384 486 13171 0 0 2 0 5 3 20 0 15 0 107333166 11246788608 13279 33554432000 4194304 4196468 140720405448000 140294192417008 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21796] ppid=21730 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/21733/task/21796/stat : 21796 (java) S 21730 21733 9814 0 -1 1077944384 131 13171 0 0 1 0 5 3 20 0 15 0 107333166 11246788608 13279 33554432000 4194304 4196468 140720405448000 140294191364464 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21797] ppid=21730 vsize=10983192 memory=139914236053120 CPUtime=0.13 cores=0,2,4,6
/proc/21733/task/21797/stat : 21797 (java) S 21730 21733 9814 0 -1 1077944384 631 13171 0 0 5 0 5 3 20 0 15 0 107333166 11246788608 13279 33554432000 4194304 4196468 140720405448000 140294190311408 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21798] ppid=21730 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21798/stat : 21798 (java) S 21730 21733 9814 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 107333166 11246788608 13279 33554432000 4194304 4196468 140720405448000 140292690798944 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21799] ppid=21730 vsize=10983192 memory=139914236053120 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21799/stat : 21799 (java) S 21730 21733 9814 0 -1 1077944384 2 13171 0 0 0 0 5 3 20 0 15 0 107333167 11246788608 13279 33554432000 4194304 4196468 140720405448000 140294189259824 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53116 KiB
[startup+0.70072 s]
/proc/loadavg: 1.27 1.58 1.78 3/216 21799
/proc/meminfo: memFree=27057584/32770624 swapFree=67108436/67108860
[pid=21733] ppid=21730 vsize=10983192 memory=88392 CPUtime=0.98 cores=0,2,4,6
/proc/21733/stat : 21733 (java) S 21730 21733 9814 0 -1 1077944320 16790 13171 0 0 85 5 5 3 20 0 15 0 107333150 11246788608 22098 33554432000 4194304 4196468 140720405448000 140720405430544 140294767558391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
/proc/21733/statm: 2745798 22098 3237 1 0 2708109 0
[pid=21733/tid=21786] ppid=21730 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/21733/task/21786/stat : 21786 (java) R 21730 21733 9814 0 -1 4202560 12374 13171 0 0 54 3 5 3 20 0 15 0 107333161 11246788608 22098 33554432000 4194304 4196468 140720405448000 140294739362344 140294767580317 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21787] ppid=21730 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21787/stat : 21787 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333161 11246788608 22098 33554432000 4194304 4196468 140720405448000 140294771800592 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21788] ppid=21730 vsize=10983192 memory=2462291330817 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21788/stat : 21788 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333161 11246788608 22098 33554432000 4194304 4196468 140720405448000 140294307572368 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21789] ppid=21730 vsize=10983192 memory=19773262 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21789/stat : 21789 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333161 11246788608 22098 33554432000 4194304 4196468 140720405448000 140294306519312 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21790] ppid=21730 vsize=10983192 memory=-6366808295634154084 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21790/stat : 21790 (java) S 21730 21733 9814 0 -1 1077944384 2 13171 0 0 0 0 5 3 20 0 15 0 107333161 11246788608 22098 33554432000 4194304 4196468 140720405448000 140294305466768 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21791] ppid=21730 vsize=10983192 memory=7882800668286210407 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21791/stat : 21791 (java) S 21730 21733 9814 0 -1 1077944384 5 13171 0 0 0 0 5 3 20 0 15 0 107333163 11246788608 22098 33554432000 4194304 4196468 140720405448000 140294193470192 140294767569538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21792] ppid=21730 vsize=10983192 memory=7807103587664548964 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21792/stat : 21792 (java) S 21730 21733 9814 0 -1 1077944384 13 13171 0 0 0 0 5 3 20 0 15 0 107333163 11246788608 22098 33554432000 4194304 4196468 140720405448000 140293576844960 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21793] ppid=21730 vsize=10983192 memory=-8629894644521667947 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21793/stat : 21793 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333163 11246788608 22098 33554432000 4194304 4196468 140720405448000 140293428995312 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21794] ppid=21730 vsize=10983192 memory=7753118821576485451 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21794/stat : 21794 (java) S 21730 21733 9814 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 107333166 11246788608 22098 33554432000 4194304 4196468 140720405448000 140293121595856 140294767576987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21795] ppid=21730 vsize=10983192 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/21733/task/21795/stat : 21795 (java) S 21730 21733 9814 0 -1 1077944384 1105 13171 0 0 10 0 5 3 20 0 15 0 107333166 11246788608 22098 33554432000 4194304 4196468 140720405448000 140294192417008 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21796] ppid=21730 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/21733/task/21796/stat : 21796 (java) S 21730 21733 9814 0 -1 1077944384 393 13171 0 0 7 0 5 3 20 0 15 0 107333166 11246788608 22098 33554432000 4194304 4196468 140720405448000 140294191364464 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21797] ppid=21730 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/21733/task/21797/stat : 21797 (java) S 21730 21733 9814 0 -1 1077944384 693 13171 0 0 13 0 5 3 20 0 15 0 107333166 11246788608 22098 33554432000 4194304 4196468 140720405448000 140294190311408 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21798] ppid=21730 vsize=10983192 memory=17468 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21798/stat : 21798 (java) S 21730 21733 9814 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 107333166 11246788608 22098 33554432000 4194304 4196468 140720405448000 140292690798944 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21799] ppid=21730 vsize=10983192 memory=16148 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21799/stat : 21799 (java) S 21730 21733 9814 0 -1 1077944384 2 13171 0 0 0 0 5 3 20 0 15 0 107333167 11246788608 22098 33554432000 4194304 4196468 140720405448000 140294189259824 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88392 KiB
[startup+1.50071 s]
/proc/loadavg: 1.27 1.58 1.78 3/216 21800
/proc/meminfo: memFree=27012904/32770624 swapFree=67108436/67108860
[pid=21733] ppid=21730 vsize=10996044 memory=166992 CPUtime=2.82 cores=0,2,4,6
/proc/21733/stat : 21733 (java) S 21730 21733 9814 0 -1 1077944320 24059 13171 0 0 265 9 5 3 20 0 15 0 107333150 11259949056 41748 33554432000 4194304 4196468 140720405448000 140720405430544 140294767558391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
/proc/21733/statm: 2749011 41748 3449 1 0 2710669 0
[pid=21733/tid=21786] ppid=21730 vsize=10996044 memory=6791534058613427641 CPUtime=1.45 cores=0,2,4,6
/proc/21733/task/21786/stat : 21786 (java) R 21730 21733 9814 0 -1 4202560 16916 13171 0 0 131 6 5 3 20 0 15 0 107333161 11259949056 41748 33554432000 4194304 4196468 140720405448000 140294739378192 140294747833564 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21787] ppid=21730 vsize=10996044 memory=-7606742951091920751 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21787/stat : 21787 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333161 11259949056 41748 33554432000 4194304 4196468 140720405448000 140294771800592 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21788] ppid=21730 vsize=10996044 memory=1414355462422710185 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21788/stat : 21788 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333161 11259949056 41748 33554432000 4194304 4196468 140720405448000 140294307572368 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21789] ppid=21730 vsize=10996044 memory=1414298054980309879 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21789/stat : 21789 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333161 11259949056 41748 33554432000 4194304 4196468 140720405448000 140294306519312 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21790] ppid=21730 vsize=10996044 memory=8475934422144292502 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21790/stat : 21790 (java) S 21730 21733 9814 0 -1 1077944384 2 13171 0 0 0 0 5 3 20 0 15 0 107333161 11259949056 41748 33554432000 4194304 4196468 140720405448000 140294305466768 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21791] ppid=21730 vsize=10996044 memory=-6876588452865875872 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21791/stat : 21791 (java) S 21730 21733 9814 0 -1 1077944384 6 13171 0 0 0 0 5 3 20 0 15 0 107333163 11259949056 41748 33554432000 4194304 4196468 140720405448000 140294193470192 140294767569538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21792] ppid=21730 vsize=10996044 memory=-7606742951091949510 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21792/stat : 21792 (java) S 21730 21733 9814 0 -1 1077944384 13 13171 0 0 0 0 5 3 20 0 15 0 107333163 11259949056 41748 33554432000 4194304 4196468 140720405448000 140293576844960 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21793] ppid=21730 vsize=10996044 memory=7522788623958503524 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21793/stat : 21793 (java) S 21730 21733 9814 0 -1 1077944384 1 13171 0 0 0 0 5 3 20 0 15 0 107333163 11259949056 41748 33554432000 4194304 4196468 140720405448000 140293428995312 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21794] ppid=21730 vsize=10996044 memory=7308895141610350421 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21794/stat : 21794 (java) S 21730 21733 9814 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 107333166 11259949056 41748 33554432000 4194304 4196468 140720405448000 140293121595856 140294767576987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21795] ppid=21730 vsize=10996044 memory=7305794553920382544 CPUtime=0.51 cores=0,2,4,6
/proc/21733/task/21795/stat : 21795 (java) S 21730 21733 9814 0 -1 1077944384 2228 13171 0 0 43 0 5 3 20 0 15 0 107333166 11259949056 41748 33554432000 4194304 4196468 140720405448000 140294192417008 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21796] ppid=21730 vsize=10996044 memory=7308895142485716329 CPUtime=0.54 cores=0,2,4,6
/proc/21733/task/21796/stat : 21796 (java) S 21730 21733 9814 0 -1 1077944384 1083 13171 0 0 46 0 5 3 20 0 15 0 107333166 11259949056 41748 33554432000 4194304 4196468 140720405448000 140294191364464 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21797] ppid=21730 vsize=10996044 memory=7522788619613007716 CPUtime=0.51 cores=0,2,4,6
/proc/21733/task/21797/stat : 21797 (java) S 21730 21733 9814 0 -1 1077944384 1606 13171 0 0 43 0 5 3 20 0 15 0 107333166 11259949056 41748 33554432000 4194304 4196468 140720405448000 140294190311408 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21798] ppid=21730 vsize=10996044 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21798/stat : 21798 (java) S 21730 21733 9814 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 107333166 11259949056 41748 33554432000 4194304 4196468 140720405448000 140292690798944 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21799] ppid=21730 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21799/stat : 21799 (java) S 21730 21733 9814 0 -1 1077944384 2 13171 0 0 0 0 5 3 20 0 15 0 107333167 11259949056 41748 33554432000 4194304 4196468 140720405448000 140294189259824 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 10996044 KiB
Current children cumulated memory: 166992 KiB
[startup+3.11045 s]
/proc/loadavg: 1.27 1.58 1.78 5/215 21800
/proc/meminfo: memFree=26884264/32770624 swapFree=67108436/67108860
[pid=21733] ppid=21730 vsize=11006304 memory=260832 CPUtime=6.69 cores=0,2,4,6
/proc/21733/stat : 21733 (java) S 21730 21733 9814 0 -1 1077944320 31110 13171 0 0 646 15 5 3 20 0 15 0 107333150 11270455296 65208 33554432000 4194304 4196468 140720405448000 140720405430544 140294767558391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
/proc/21733/statm: 2751576 65208 3502 1 0 2713229 0
################
# More data... #
################
/proc/21733/task/21786/stat : 21786 (java) R 21730 21733 9814 0 -1 4202560 49857 13171 0 0 16064 44 5 3 20 0 15 0 107333161 11278843904 627497 33554432000 4194304 4196468 140720405448000 140294739393920 140294321028461 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21787] ppid=21730 vsize=11014496 memory=2512528 CPUtime=0.86 cores=0,2,4,6
/proc/21733/task/21787/stat : 21787 (java) S 21730 21733 9814 0 -1 1077944384 1064 13171 0 0 66 12 5 3 20 0 15 0 107333161 11278843904 627497 33554432000 4194304 4196468 140720405448000 140294771800592 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21788] ppid=21730 vsize=11014496 memory=2520736 CPUtime=0.88 cores=0,2,4,6
/proc/21733/task/21788/stat : 21788 (java) S 21730 21733 9814 0 -1 1077944384 1982 13171 0 0 67 13 5 3 20 0 15 0 107333161 11278843904 627497 33554432000 4194304 4196468 140720405448000 140294307572368 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21789] ppid=21730 vsize=11014496 memory=187226214410822 CPUtime=0.89 cores=0,2,4,6
/proc/21733/task/21789/stat : 21789 (java) S 21730 21733 9814 0 -1 1077944384 3074 13171 0 0 67 14 5 3 20 0 15 0 107333161 11278843904 627497 33554432000 4194304 4196468 140720405448000 140294306519312 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21790] ppid=21730 vsize=11014496 memory=2522764 CPUtime=0.87 cores=0,2,4,6
/proc/21733/task/21790/stat : 21790 (java) S 21730 21733 9814 0 -1 1077944384 2733 13171 0 0 66 13 5 3 20 0 15 0 107333161 11278843904 627497 33554432000 4194304 4196468 140720405448000 140294305466768 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21791] ppid=21730 vsize=11014496 memory=2518684 CPUtime=0.26 cores=0,2,4,6
/proc/21733/task/21791/stat : 21791 (java) S 21730 21733 9814 0 -1 1077944384 6126 13171 0 0 17 1 5 3 20 0 15 0 107333163 11278843904 627497 33554432000 4194304 4196468 140720405448000 140294193470192 140294767569538 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21792] ppid=21730 vsize=11014496 memory=2516632 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21792/stat : 21792 (java) S 21730 21733 9814 0 -1 1077944384 18 13171 0 0 0 0 5 3 20 0 15 0 107333163 11278843904 627497 33554432000 4194304 4196468 140720405448000 140293576845024 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21793] ppid=21730 vsize=11014496 memory=2516632 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21793/stat : 21793 (java) S 21730 21733 9814 0 -1 1077944384 7 13171 0 0 0 0 5 3 20 0 15 0 107333163 11278843904 627497 33554432000 4194304 4196468 140720405448000 140293428995328 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21794] ppid=21730 vsize=11014496 memory=2514580 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21794/stat : 21794 (java) S 21730 21733 9814 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 107333166 11278843904 627497 33554432000 4194304 4196468 140720405448000 140293121595856 140294767576987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21795] ppid=21730 vsize=11014496 memory=2513040 CPUtime=8.12 cores=0,2,4,6
/proc/21733/task/21795/stat : 21795 (java) S 21730 21733 9814 0 -1 1077944384 21463 13171 0 0 800 4 5 3 20 0 15 0 107333166 11278843904 627497 33554432000 4194304 4196468 140720405448000 140294192417008 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21796] ppid=21730 vsize=11014496 memory=2511012 CPUtime=8.3 cores=0,2,4,6
/proc/21733/task/21796/stat : 21796 (java) S 21730 21733 9814 0 -1 1077944384 21200 13171 0 0 819 3 5 3 20 0 15 0 107333166 11278843904 627497 33554432000 4194304 4196468 140720405448000 140294191364464 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21797] ppid=21730 vsize=11014496 memory=2511012 CPUtime=2.87 cores=0,2,4,6
/proc/21733/task/21797/stat : 21797 (java) S 21730 21733 9814 0 -1 1077944384 18125 13171 0 0 274 5 5 3 20 0 15 0 107333166 11278843904 627497 33554432000 4194304 4196468 140720405448000 140294190311408 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21798] ppid=21730 vsize=11014496 memory=2517144 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21798/stat : 21798 (java) S 21730 21733 9814 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 107333166 11278843904 627497 33554432000 4194304 4196468 140720405448000 140292690798944 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21799] ppid=21730 vsize=11014496 memory=2512528 CPUtime=0.17 cores=0,2,4,6
/proc/21733/task/21799/stat : 21799 (java) S 21730 21733 9814 0 -1 1077944384 840 13171 0 0 4 5 5 3 20 0 15 0 107333167 11278843904 627497 33554432000 4194304 4196468 140720405448000 140294189259824 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
Current children cumulated CPU time: 183.77 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2509988 KiB
[startup+222.302 s]
/proc/loadavg: 1.51 1.58 1.74 3/215 22185
/proc/meminfo: memFree=24213620/32770624 swapFree=67108436/67108860
[pid=21733] ppid=21730 vsize=11014496 memory=2448540 CPUtime=244.76 cores=0,2,4,6
/proc/21733/stat : 21733 (java) S 21730 21733 9814 0 -1 1077944320 142214 13171 0 0 24345 123 5 3 20 0 15 0 107333150 11278843904 612135 33554432000 4194304 4196468 140720405448000 140720405430544 140294767558391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
/proc/21733/statm: 2753624 612135 3531 1 0 2715277 0
[pid=21733/tid=21786] ppid=21730 vsize=11014496 memory=30600 CPUtime=220.66 cores=0,2,4,6
/proc/21733/task/21786/stat : 21786 (java) R 21730 21733 9814 0 -1 4202560 52331 13171 0 0 22013 45 5 3 20 0 15 0 107333161 11278843904 612135 33554432000 4194304 4196468 140720405448000 140294739393792 140294321028461 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21787] ppid=21730 vsize=11014496 memory=2452644 CPUtime=1.19 cores=0,2,4,6
/proc/21733/task/21787/stat : 21787 (java) S 21730 21733 9814 0 -1 1077944384 2241 13171 0 0 97 14 5 3 20 0 15 0 107333161 11278843904 612135 33554432000 4194304 4196468 140720405448000 140294771800592 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21788] ppid=21730 vsize=11014496 memory=2461352 CPUtime=1.2 cores=0,2,4,6
/proc/21733/task/21788/stat : 21788 (java) S 21730 21733 9814 0 -1 1077944384 3067 13171 0 0 99 13 5 3 20 0 15 0 107333161 11278843904 612135 33554432000 4194304 4196468 140720405448000 140294307572368 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21789] ppid=21730 vsize=11014496 memory=2459812 CPUtime=1.22 cores=0,2,4,6
/proc/21733/task/21789/stat : 21789 (java) S 21730 21733 9814 0 -1 1077944384 3529 13171 0 0 99 15 5 3 20 0 15 0 107333161 11278843904 612135 33554432000 4194304 4196468 140720405448000 140294306519312 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21790] ppid=21730 vsize=11014496 memory=0 CPUtime=1.19 cores=0,2,4,6
/proc/21733/task/21790/stat : 21790 (java) S 21730 21733 9814 0 -1 1077944384 2932 13171 0 0 98 13 5 3 20 0 15 0 107333161 11278843904 612135 33554432000 4194304 4196468 140720405448000 140294305466768 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21791] ppid=21730 vsize=11014496 memory=2453668 CPUtime=0.37 cores=0,2,4,6
/proc/21733/task/21791/stat : 21791 (java) S 21730 21733 9814 0 -1 1077944384 6733 13171 0 0 26 3 5 3 20 0 15 0 107333163 11278843904 612135 33554432000 4194304 4196468 140720405448000 140294193470192 140294767569538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21792] ppid=21730 vsize=11014496 memory=2451616 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21792/stat : 21792 (java) S 21730 21733 9814 0 -1 1077944384 18 13171 0 0 0 0 5 3 20 0 15 0 107333163 11278843904 612135 33554432000 4194304 4196468 140720405448000 140293576845024 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21793] ppid=21730 vsize=11014496 memory=2454180 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21793/stat : 21793 (java) S 21730 21733 9814 0 -1 1077944384 7 13171 0 0 0 0 5 3 20 0 15 0 107333163 11278843904 612135 33554432000 4194304 4196468 140720405448000 140293428995328 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21794] ppid=21730 vsize=11014496 memory=2449564 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21794/stat : 21794 (java) S 21730 21733 9814 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 107333166 11278843904 612135 33554432000 4194304 4196468 140720405448000 140293121595856 140294767576987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21795] ppid=21730 vsize=11014496 memory=2450592 CPUtime=8.13 cores=0,2,4,6
/proc/21733/task/21795/stat : 21795 (java) S 21730 21733 9814 0 -1 1077944384 22789 13171 0 0 801 4 5 3 20 0 15 0 107333166 11278843904 612135 33554432000 4194304 4196468 140720405448000 140294192417008 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21796] ppid=21730 vsize=11014496 memory=2457776 CPUtime=8.33 cores=0,2,4,6
/proc/21733/task/21796/stat : 21796 (java) S 21730 21733 9814 0 -1 1077944384 25778 13171 0 0 822 3 5 3 20 0 15 0 107333166 11278843904 612135 33554432000 4194304 4196468 140720405448000 140294191364464 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21797] ppid=21730 vsize=11014496 memory=279828260214288 CPUtime=2.88 cores=0,2,4,6
/proc/21733/task/21797/stat : 21797 (java) S 21730 21733 9814 0 -1 1077944384 19691 13171 0 0 275 5 5 3 20 0 15 0 107333166 11278843904 612135 33554432000 4194304 4196468 140720405448000 140294190311408 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21798] ppid=21730 vsize=11014496 memory=2451616 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21798/stat : 21798 (java) S 21730 21733 9814 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 107333166 11278843904 612135 33554432000 4194304 4196468 140720405448000 140292690798944 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21799] ppid=21730 vsize=11014496 memory=2448540 CPUtime=0.2 cores=0,2,4,6
/proc/21733/task/21799/stat : 21799 (java) S 21730 21733 9814 0 -1 1077944384 899 13171 0 0 5 7 5 3 20 0 15 0 107333167 11278843904 612135 33554432000 4194304 4196468 140720405448000 140294189259824 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
Current children cumulated CPU time: 244.76 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2448540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+229.501 s]
/proc/loadavg: 1.50 1.58 1.74 3/215 22185
/proc/meminfo: memFree=24222284/32770624 swapFree=67108436/67108860
[pid=21733] ppid=21730 vsize=11014496 memory=2439864 CPUtime=252.08 cores=0,2,4,6
/proc/21733/stat : 21733 (java) S 21730 21733 9814 0 -1 1077944320 144658 13171 0 0 25076 124 5 3 20 0 15 0 107333150 11278843904 609966 33554432000 4194304 4196468 140720405448000 140720405430544 140294767558391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
/proc/21733/statm: 2753624 609966 3531 1 0 2715277 0
[pid=21733/tid=21786] ppid=21730 vsize=11014496 memory=2442924 CPUtime=227.81 cores=0,2,4,6
/proc/21733/task/21786/stat : 21786 (java) R 21730 21733 9814 0 -1 4202560 52458 13171 0 0 22728 45 5 3 20 0 15 0 107333161 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294739393808 140294331491431 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21787] ppid=21730 vsize=11014496 memory=2461352 CPUtime=1.23 cores=0,2,4,6
/proc/21733/task/21787/stat : 21787 (java) S 21730 21733 9814 0 -1 1077944384 2250 13171 0 0 101 14 5 3 20 0 15 0 107333161 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294771800592 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21788] ppid=21730 vsize=11014496 memory=2459812 CPUtime=1.23 cores=0,2,4,6
/proc/21733/task/21788/stat : 21788 (java) S 21730 21733 9814 0 -1 1077944384 3090 13171 0 0 102 13 5 3 20 0 15 0 107333161 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294307572368 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21789] ppid=21730 vsize=11014496 memory=0 CPUtime=1.25 cores=0,2,4,6
/proc/21733/task/21789/stat : 21789 (java) S 21730 21733 9814 0 -1 1077944384 3618 13171 0 0 102 15 5 3 20 0 15 0 107333161 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294306519312 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21790] ppid=21730 vsize=11014496 memory=2454180 CPUtime=1.23 cores=0,2,4,6
/proc/21733/task/21790/stat : 21790 (java) S 21730 21733 9814 0 -1 1077944384 3964 13171 0 0 102 13 5 3 20 0 15 0 107333161 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294305466768 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21791] ppid=21730 vsize=11014496 memory=2449564 CPUtime=0.39 cores=0,2,4,6
/proc/21733/task/21791/stat : 21791 (java) S 21730 21733 9814 0 -1 1077944384 6756 13171 0 0 28 3 5 3 20 0 15 0 107333163 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294193470192 140294767569538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21792] ppid=21730 vsize=11014496 memory=2441916 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21792/stat : 21792 (java) S 21730 21733 9814 0 -1 1077944384 18 13171 0 0 0 0 5 3 20 0 15 0 107333163 11278843904 609966 33554432000 4194304 4196468 140720405448000 140293576845024 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21793] ppid=21730 vsize=11014496 memory=2439864 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21793/stat : 21793 (java) S 21730 21733 9814 0 -1 1077944384 7 13171 0 0 0 0 5 3 20 0 15 0 107333163 11278843904 609966 33554432000 4194304 4196468 140720405448000 140293428995328 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21794] ppid=21730 vsize=11014496 memory=2439864 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21794/stat : 21794 (java) S 21730 21733 9814 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 107333166 11278843904 609966 33554432000 4194304 4196468 140720405448000 140293121595856 140294767576987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21795] ppid=21730 vsize=11014496 memory=2451616 CPUtime=8.14 cores=0,2,4,6
/proc/21733/task/21795/stat : 21795 (java) S 21730 21733 9814 0 -1 1077944384 23554 13171 0 0 802 4 5 3 20 0 15 0 107333166 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294192417008 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21796] ppid=21730 vsize=11014496 memory=2457776 CPUtime=8.33 cores=0,2,4,6
/proc/21733/task/21796/stat : 21796 (java) S 21730 21733 9814 0 -1 1077944384 25778 13171 0 0 822 3 5 3 20 0 15 0 107333166 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294191364464 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21797] ppid=21730 vsize=11014496 memory=2444464 CPUtime=2.88 cores=0,2,4,6
/proc/21733/task/21797/stat : 21797 (java) S 21730 21733 9814 0 -1 1077944384 20067 13171 0 0 275 5 5 3 20 0 15 0 107333166 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294190311408 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21798] ppid=21730 vsize=11014496 memory=2448540 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21798/stat : 21798 (java) S 21730 21733 9814 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 107333166 11278843904 609966 33554432000 4194304 4196468 140720405448000 140292690798944 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21799] ppid=21730 vsize=11014496 memory=2441404 CPUtime=0.21 cores=0,2,4,6
/proc/21733/task/21799/stat : 21799 (java) S 21730 21733 9814 0 -1 1077944384 899 13171 0 0 6 7 5 3 20 0 15 0 107333167 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294189259824 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2439864 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+229.604 s]
# the end of solver process 21733 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.915 s, system=1.30352 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+229.501 s]
/proc/loadavg: 1.50 1.58 1.74 3/215 22185
/proc/meminfo: memFree=24222284/32770624 swapFree=67108436/67108860
[pid=21733] ppid=21730 vsize=11014496 memory=2439864 CPUtime=252.08 cores=0,2,4,6
/proc/21733/stat : 21733 (java) S 21730 21733 9814 0 -1 1077944320 144658 13171 0 0 25076 124 5 3 20 0 15 0 107333150 11278843904 609966 33554432000 4194304 4196468 140720405448000 140720405430544 140294767558391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
/proc/21733/statm: 2753624 609966 3531 1 0 2715277 0
[pid=21733/tid=21786] ppid=21730 vsize=11014496 memory=2442924 CPUtime=227.81 cores=0,2,4,6
/proc/21733/task/21786/stat : 21786 (java) R 21730 21733 9814 0 -1 4202560 52458 13171 0 0 22728 45 5 3 20 0 15 0 107333161 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294739393808 140294331491431 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21787] ppid=21730 vsize=11014496 memory=2461352 CPUtime=1.23 cores=0,2,4,6
/proc/21733/task/21787/stat : 21787 (java) S 21730 21733 9814 0 -1 1077944384 2250 13171 0 0 101 14 5 3 20 0 15 0 107333161 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294771800592 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21788] ppid=21730 vsize=11014496 memory=2459812 CPUtime=1.23 cores=0,2,4,6
/proc/21733/task/21788/stat : 21788 (java) S 21730 21733 9814 0 -1 1077944384 3090 13171 0 0 102 13 5 3 20 0 15 0 107333161 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294307572368 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21789] ppid=21730 vsize=11014496 memory=0 CPUtime=1.25 cores=0,2,4,6
/proc/21733/task/21789/stat : 21789 (java) S 21730 21733 9814 0 -1 1077944384 3618 13171 0 0 102 15 5 3 20 0 15 0 107333161 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294306519312 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21790] ppid=21730 vsize=11014496 memory=2454180 CPUtime=1.23 cores=0,2,4,6
/proc/21733/task/21790/stat : 21790 (java) S 21730 21733 9814 0 -1 1077944384 3964 13171 0 0 102 13 5 3 20 0 15 0 107333161 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294305466768 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21791] ppid=21730 vsize=11014496 memory=2449564 CPUtime=0.39 cores=0,2,4,6
/proc/21733/task/21791/stat : 21791 (java) S 21730 21733 9814 0 -1 1077944384 6756 13171 0 0 28 3 5 3 20 0 15 0 107333163 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294193470192 140294767569538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21792] ppid=21730 vsize=11014496 memory=2441916 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21792/stat : 21792 (java) S 21730 21733 9814 0 -1 1077944384 18 13171 0 0 0 0 5 3 20 0 15 0 107333163 11278843904 609966 33554432000 4194304 4196468 140720405448000 140293576845024 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21793] ppid=21730 vsize=11014496 memory=2439864 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21793/stat : 21793 (java) S 21730 21733 9814 0 -1 1077944384 7 13171 0 0 0 0 5 3 20 0 15 0 107333163 11278843904 609966 33554432000 4194304 4196468 140720405448000 140293428995328 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21794] ppid=21730 vsize=11014496 memory=2439864 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21794/stat : 21794 (java) S 21730 21733 9814 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 107333166 11278843904 609966 33554432000 4194304 4196468 140720405448000 140293121595856 140294767576987 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21795] ppid=21730 vsize=11014496 memory=2451616 CPUtime=8.14 cores=0,2,4,6
/proc/21733/task/21795/stat : 21795 (java) S 21730 21733 9814 0 -1 1077944384 23554 13171 0 0 802 4 5 3 20 0 15 0 107333166 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294192417008 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21796] ppid=21730 vsize=11014496 memory=2457776 CPUtime=8.33 cores=0,2,4,6
/proc/21733/task/21796/stat : 21796 (java) S 21730 21733 9814 0 -1 1077944384 25778 13171 0 0 822 3 5 3 20 0 15 0 107333166 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294191364464 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21797] ppid=21730 vsize=11014496 memory=2444464 CPUtime=2.88 cores=0,2,4,6
/proc/21733/task/21797/stat : 21797 (java) S 21730 21733 9814 0 -1 1077944384 20067 13171 0 0 275 5 5 3 20 0 15 0 107333166 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294190311408 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21798] ppid=21730 vsize=11014496 memory=2448540 CPUtime=0.08 cores=0,2,4,6
/proc/21733/task/21798/stat : 21798 (java) S 21730 21733 9814 0 -1 1077944384 3 13171 0 0 0 0 5 3 20 0 15 0 107333166 11278843904 609966 33554432000 4194304 4196468 140720405448000 140292690798944 140294767568597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
[pid=21733/tid=21799] ppid=21730 vsize=11014496 memory=2441404 CPUtime=0.21 cores=0,2,4,6
/proc/21733/task/21799/stat : 21799 (java) S 21730 21733 9814 0 -1 1077944384 899 13171 0 0 6 7 5 3 20 0 15 0 107333167 11278843904 609966 33554432000 4194304 4196468 140720405448000 140294189259824 140294767569538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24215552 140720405449331 140720405452129 140720405452129 140720405454799 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 2439864 KiB
Child status: 143
Real time (s): 229.604
CPU time (s): 252.219
CPU user time (s): 250.915
CPU system time (s): 1.30352
CPU usage (%): 109.85
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 2663108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.915
system time used= 1.30352
maximum resident set size= 2667204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159815
page faults= 0
swaps= 0
block input operations= 0
block output operations= 544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19276
involuntary context switches= 552
# summary of solver processes directly reported to runsolver:
# pid: 21733
# total CPU time (s): 252.219
# total CPU user time (s): 250.915
# total CPU system time (s): 1.30352
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.35288 second user time and 2.23072 second system time
The end