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 (3902 MiB free)
memory of node 1: 16384 MiB (3059 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304209-1534047429/watcher-4304209-1534047429 -o /tmp/evaluation-result-4304209-1534047429/solver-4304209-1534047429 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534037558-11010 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1789645816 HOME/instance-4304209-1534047429.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12960, runsolver pid=12957
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 1.42 1.43 1.42 4/211 13017
/proc/meminfo: memFree=7123688/32770624 swapFree=67108856/67108860
[pid=12960] ppid=12957 vsize=10005480 memory=16812 CPUtime=0.1 cores=1,3,5,7
/proc/12960/stat : 12960 (java) S 12957 12960 9992 0 -1 1077944320 4350 13266 0 0 1 1 5 3 20 0 6 0 222306072 10245611520 4203 33554432000 4194304 4196468 140725835762240 140725835744784 140450013630199 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
/proc/12960/statm: 2501370 4203 1934 1 0 2489808 0
[pid=12960/tid=13013] ppid=12957 vsize=10005480 memory=4279135703946462605 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13013/stat : 13013 (java) R 12957 12960 9992 0 -1 4202560 2164 13266 0 0 0 0 5 3 20 0 6 0 222306081 10245611520 4203 33554432000 4194304 4196468 140725835762240 140449985466960 140449997710716 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13014] ppid=12957 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13014/stat : 13014 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 6 0 222306082 10245611520 4203 33554432000 4194304 4196468 140725835762240 140450017873040 140450013640405 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13015] ppid=12957 vsize=10005480 memory=140137575396992 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13015/stat : 13015 (java) S 12957 12960 9992 0 -1 1077944384 2 13266 0 0 0 0 5 3 20 0 6 0 222306082 10245611520 4203 33554432000 4194304 4196468 140725835762240 140449872591888 140450013640405 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13016] ppid=12957 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13016/stat : 13016 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 6 0 222306082 10245611520 4203 33554432000 4194304 4196468 140725835762240 140449871539088 140450013640405 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13017] ppid=12957 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13017/stat : 13017 (java) S 12957 12960 9992 0 -1 1077944384 2 13266 0 0 0 0 5 3 20 0 6 0 222306082 10245611520 4203 33554432000 4194304 4196468 140725835762240 140449870486288 140450013640405 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210363 s]*
/proc/loadavg: 1.42 1.43 1.42 4/220 13026
/proc/meminfo: memFree=7099112/32770624 swapFree=67108856/67108860
[pid=12960] ppid=12957 vsize=10982744 memory=45004 CPUtime=0.26 cores=1,3,5,7
/proc/12960/stat : 12960 (java) S 12957 12960 9992 0 -1 1077944320 7986 13266 0 0 16 2 5 3 20 0 15 0 222306072 11246329856 11251 33554432000 4194304 4196468 140725835762240 140725835744784 140450013630199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
/proc/12960/statm: 2745686 11251 2945 1 0 2708109 0
[pid=12960/tid=13013] ppid=12957 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/12960/task/13013/stat : 13013 (java) R 12957 12960 9992 0 -1 4202560 4540 13266 0 0 10 1 5 3 20 0 15 0 222306081 11246329856 11251 33554432000 4194304 4196468 140725835762240 140449985453384 140450013642134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13014] ppid=12957 vsize=10982744 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13014/stat : 13014 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 15 0 222306082 11246329856 11251 33554432000 4194304 4196468 140725835762240 140450017873040 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13015] ppid=12957 vsize=10982744 memory=140137575396992 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13015/stat : 13015 (java) S 12957 12960 9992 0 -1 1077944384 2 13266 0 0 0 0 5 3 20 0 15 0 222306082 11246329856 11251 33554432000 4194304 4196468 140725835762240 140449872591888 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13016] ppid=12957 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13016/stat : 13016 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 15 0 222306082 11246329856 11251 33554432000 4194304 4196468 140725835762240 140449871539088 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13017] ppid=12957 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13017/stat : 13017 (java) S 12957 12960 9992 0 -1 1077944384 2 13266 0 0 0 0 5 3 20 0 15 0 222306082 11246329856 11251 33554432000 4194304 4196468 140725835762240 140449870486288 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13018] ppid=12957 vsize=10982744 memory=140137575396992 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13018/stat : 13018 (java) S 12957 12960 9992 0 -1 1077944384 2 13266 0 0 0 0 5 3 20 0 15 0 222306083 11246329856 11251 33554432000 4194304 4196468 140725835762240 140449439377776 140450013641346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13019] ppid=12957 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13019/stat : 13019 (java) S 12957 12960 9992 0 -1 1077944384 13 13266 0 0 0 0 5 3 20 0 15 0 222306084 11246329856 11251 33554432000 4194304 4196468 140725835762240 140448799646752 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13020] ppid=12957 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13020/stat : 13020 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 15 0 222306084 11246329856 11251 33554432000 4194304 4196468 140725835762240 140448651797360 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13021] ppid=12957 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13021/stat : 13021 (java) S 12957 12960 9992 0 -1 1077944384 3 13266 0 0 0 0 5 3 20 0 15 0 222306086 11246329856 11251 33554432000 4194304 4196468 140725835762240 140448344397648 140450013648795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13022] ppid=12957 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12960/task/13022/stat : 13022 (java) S 12957 12960 9992 0 -1 1077944384 360 13266 0 0 1 0 5 3 20 0 15 0 222306086 11246329856 11251 33554432000 4194304 4196468 140725835762240 140449438325616 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13023] ppid=12957 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13023/stat : 13023 (java) S 12957 12960 9992 0 -1 1077944384 252 13266 0 0 0 0 5 3 20 0 15 0 222306086 11246329856 11251 33554432000 4194304 4196468 140725835762240 140449437272816 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13024] ppid=12957 vsize=10982744 memory=140137575396992 CPUtime=0.11 cores=1,3,5,7
/proc/12960/task/13024/stat : 13024 (java) R 12957 12960 9992 0 -1 4202560 618 13266 0 0 3 0 5 3 20 0 15 0 222306086 11246329856 11251 33554432000 4194304 4196468 140725835762240 140449436220016 140449992433328 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13025] ppid=12957 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13025/stat : 13025 (java) S 12957 12960 9992 0 -1 1077944384 3 13266 0 0 0 0 5 3 20 0 15 0 222306087 11246329856 11251 33554432000 4194304 4196468 140725835762240 140447913601760 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13026] ppid=12957 vsize=10982744 memory=140137575396992 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13026/stat : 13026 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 15 0 222306087 11246329856 11251 33554432000 4194304 4196468 140725835762240 140449435167408 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45004 KiB
[startup+0.310417 s]*
/proc/loadavg: 1.42 1.43 1.42 4/220 13026
/proc/meminfo: memFree=7087824/32770624 swapFree=67108856/67108860
[pid=12960] ppid=12957 vsize=10983192 memory=55688 CPUtime=0.39 cores=1,3,5,7
/proc/12960/stat : 12960 (java) S 12957 12960 9992 0 -1 1077944320 10490 13266 0 0 28 3 5 3 20 0 15 0 222306072 11246788608 13922 33554432000 4194304 4196468 140725835762240 140725835744784 140450013630199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
/proc/12960/statm: 2745798 13922 3064 1 0 2708109 0
[pid=12960/tid=13013] ppid=12957 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/12960/task/13013/stat : 13013 (java) R 12957 12960 9992 0 -1 4202560 7033 13266 0 0 19 2 5 3 20 0 15 0 222306081 11246788608 13922 33554432000 4194304 4196468 140725835762240 140449985442208 140449997023536 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13014] ppid=12957 vsize=10983192 memory=7084833269481492816 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13014/stat : 13014 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 15 0 222306082 11246788608 13922 33554432000 4194304 4196468 140725835762240 140450017873040 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13015] ppid=12957 vsize=10983192 memory=2076 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13015/stat : 13015 (java) S 12957 12960 9992 0 -1 1077944384 2 13266 0 0 0 0 5 3 20 0 15 0 222306082 11246788608 13922 33554432000 4194304 4196468 140725835762240 140449872591888 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13016] ppid=12957 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13016/stat : 13016 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 15 0 222306082 11246788608 13922 33554432000 4194304 4196468 140725835762240 140449871539088 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13017] ppid=12957 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13017/stat : 13017 (java) S 12957 12960 9992 0 -1 1077944384 2 13266 0 0 0 0 5 3 20 0 15 0 222306082 11246788608 13922 33554432000 4194304 4196468 140725835762240 140449870486288 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13018] ppid=12957 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13018/stat : 13018 (java) S 12957 12960 9992 0 -1 1077944384 2 13266 0 0 0 0 5 3 20 0 15 0 222306083 11246788608 13922 33554432000 4194304 4196468 140725835762240 140449439377776 140450013641346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13019] ppid=12957 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13019/stat : 13019 (java) S 12957 12960 9992 0 -1 1077944384 13 13266 0 0 0 0 5 3 20 0 15 0 222306084 11246788608 13922 33554432000 4194304 4196468 140725835762240 140448799646752 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13020] ppid=12957 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13020/stat : 13020 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 15 0 222306084 11246788608 13922 33554432000 4194304 4196468 140725835762240 140448651797360 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13021] ppid=12957 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13021/stat : 13021 (java) S 12957 12960 9992 0 -1 1077944384 3 13266 0 0 0 0 5 3 20 0 15 0 222306086 11246788608 13922 33554432000 4194304 4196468 140725835762240 140448344397648 140450013648795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13022] ppid=12957 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12960/task/13022/stat : 13022 (java) S 12957 12960 9992 0 -1 1077944384 360 13266 0 0 1 0 5 3 20 0 15 0 222306086 11246788608 13922 33554432000 4194304 4196468 140725835762240 140449438325616 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13023] ppid=12957 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12960/task/13023/stat : 13023 (java) S 12957 12960 9992 0 -1 1077944384 255 13266 0 0 1 0 5 3 20 0 15 0 222306086 11246788608 13922 33554432000 4194304 4196468 140725835762240 140449437272816 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13024] ppid=12957 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12960/task/13024/stat : 13024 (java) S 12957 12960 9992 0 -1 1077944384 624 13266 0 0 4 0 5 3 20 0 15 0 222306086 11246788608 13922 33554432000 4194304 4196468 140725835762240 140449436220016 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13025] ppid=12957 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13025/stat : 13025 (java) S 12957 12960 9992 0 -1 1077944384 3 13266 0 0 0 0 5 3 20 0 15 0 222306087 11246788608 13922 33554432000 4194304 4196468 140725835762240 140447913601760 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13026] ppid=12957 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13026/stat : 13026 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 15 0 222306087 11246788608 13922 33554432000 4194304 4196468 140725835762240 140449435167408 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55688 KiB
[startup+0.700758 s]
/proc/loadavg: 1.42 1.43 1.42 4/220 13026
/proc/meminfo: memFree=7076428/32770624 swapFree=67108856/67108860
[pid=12960] ppid=12957 vsize=10983192 memory=88580 CPUtime=0.99 cores=1,3,5,7
/proc/12960/stat : 12960 (java) S 12957 12960 9992 0 -1 1077944320 16751 13266 0 0 87 4 5 3 20 0 15 0 222306072 11246788608 22145 33554432000 4194304 4196468 140725835762240 140725835744784 140450013630199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
/proc/12960/statm: 2745798 22145 3238 1 0 2708109 0
[pid=12960/tid=13013] ppid=12957 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/12960/task/13013/stat : 13013 (java) R 12957 12960 9992 0 -1 4202560 12174 13266 0 0 56 3 5 3 20 0 15 0 222306081 11246788608 22145 33554432000 4194304 4196468 140725835762240 140449985451024 140449995195190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13014] ppid=12957 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13014/stat : 13014 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 15 0 222306082 11246788608 22145 33554432000 4194304 4196468 140725835762240 140450017873040 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13015] ppid=12957 vsize=10983192 memory=3768 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13015/stat : 13015 (java) S 12957 12960 9992 0 -1 1077944384 2 13266 0 0 0 0 5 3 20 0 15 0 222306082 11246788608 22145 33554432000 4194304 4196468 140725835762240 140449872591888 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13016] ppid=12957 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13016/stat : 13016 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 15 0 222306082 11246788608 22145 33554432000 4194304 4196468 140725835762240 140449871539088 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13017] ppid=12957 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13017/stat : 13017 (java) S 12957 12960 9992 0 -1 1077944384 2 13266 0 0 0 0 5 3 20 0 15 0 222306082 11246788608 22145 33554432000 4194304 4196468 140725835762240 140449870486288 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13018] ppid=12957 vsize=10983192 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13018/stat : 13018 (java) S 12957 12960 9992 0 -1 1077944384 5 13266 0 0 0 0 5 3 20 0 15 0 222306083 11246788608 22145 33554432000 4194304 4196468 140725835762240 140449439377776 140450013641346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13019] ppid=12957 vsize=10983192 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13019/stat : 13019 (java) S 12957 12960 9992 0 -1 1077944384 13 13266 0 0 0 0 5 3 20 0 15 0 222306084 11246788608 22145 33554432000 4194304 4196468 140725835762240 140448799646752 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13020] ppid=12957 vsize=10983192 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13020/stat : 13020 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 15 0 222306084 11246788608 22145 33554432000 4194304 4196468 140725835762240 140448651797360 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13021] ppid=12957 vsize=10983192 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13021/stat : 13021 (java) S 12957 12960 9992 0 -1 1077944384 3 13266 0 0 0 0 5 3 20 0 15 0 222306086 11246788608 22145 33554432000 4194304 4196468 140725835762240 140448344397648 140450013648795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13022] ppid=12957 vsize=10983192 memory=13252 CPUtime=0.15 cores=1,3,5,7
/proc/12960/task/13022/stat : 13022 (java) S 12957 12960 9992 0 -1 1077944384 776 13266 0 0 7 0 5 3 20 0 15 0 222306086 11246788608 22145 33554432000 4194304 4196468 140725835762240 140449438325616 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13023] ppid=12957 vsize=10983192 memory=15460 CPUtime=0.17 cores=1,3,5,7
/proc/12960/task/13023/stat : 13023 (java) S 12957 12960 9992 0 -1 1077944384 871 13266 0 0 9 0 5 3 20 0 15 0 222306086 11246788608 22145 33554432000 4194304 4196468 140725835762240 140449437272816 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13024] ppid=12957 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/12960/task/13024/stat : 13024 (java) S 12957 12960 9992 0 -1 1077944384 706 13266 0 0 12 0 5 3 20 0 15 0 222306086 11246788608 22145 33554432000 4194304 4196468 140725835762240 140449436220016 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13025] ppid=12957 vsize=10983192 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13025/stat : 13025 (java) S 12957 12960 9992 0 -1 1077944384 3 13266 0 0 0 0 5 3 20 0 15 0 222306087 11246788608 22145 33554432000 4194304 4196468 140725835762240 140447913601760 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13026] ppid=12957 vsize=10983192 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13026/stat : 13026 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 15 0 222306087 11246788608 22145 33554432000 4194304 4196468 140725835762240 140449435167408 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88580 KiB
[startup+1.50162 s]
/proc/loadavg: 1.42 1.43 1.42 4/220 13026
/proc/meminfo: memFree=7029600/32770624 swapFree=67108856/67108860
[pid=12960] ppid=12957 vsize=10997880 memory=186092 CPUtime=3.03 cores=1,3,5,7
/proc/12960/stat : 12960 (java) S 12957 12960 9992 0 -1 1077944320 28768 13266 0 0 287 8 5 3 20 0 15 0 222306072 11261829120 46523 33554432000 4194304 4196468 140725835762240 140725835744784 140450013630199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
/proc/12960/statm: 2749470 46523 3445 1 0 2711128 0
[pid=12960/tid=13013] ppid=12957 vsize=10997880 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/12960/task/13013/stat : 13013 (java) R 12957 12960 9992 0 -1 4202560 17320 13266 0 0 133 5 5 3 20 0 15 0 222306081 11261829120 46523 33554432000 4194304 4196468 140725835762240 140449985423672 140450013652125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13014] ppid=12957 vsize=10997880 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13014/stat : 13014 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 15 0 222306082 11261829120 46523 33554432000 4194304 4196468 140725835762240 140450017873040 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13015] ppid=12957 vsize=10997880 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13015/stat : 13015 (java) S 12957 12960 9992 0 -1 1077944384 2 13266 0 0 0 0 5 3 20 0 15 0 222306082 11261829120 46523 33554432000 4194304 4196468 140725835762240 140449872591888 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13016] ppid=12957 vsize=10997880 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13016/stat : 13016 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 15 0 222306082 11261829120 46523 33554432000 4194304 4196468 140725835762240 140449871539088 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13017] ppid=12957 vsize=10997880 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13017/stat : 13017 (java) S 12957 12960 9992 0 -1 1077944384 2 13266 0 0 0 0 5 3 20 0 15 0 222306082 11261829120 46523 33554432000 4194304 4196468 140725835762240 140449870486288 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13018] ppid=12957 vsize=10997880 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13018/stat : 13018 (java) S 12957 12960 9992 0 -1 1077944384 6 13266 0 0 0 0 5 3 20 0 15 0 222306083 11261829120 46523 33554432000 4194304 4196468 140725835762240 140449439377776 140450013641346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13019] ppid=12957 vsize=10997880 memory=280274936080640 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13019/stat : 13019 (java) S 12957 12960 9992 0 -1 1077944384 13 13266 0 0 0 0 5 3 20 0 15 0 222306084 11261829120 46523 33554432000 4194304 4196468 140725835762240 140448799646752 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13020] ppid=12957 vsize=10997880 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13020/stat : 13020 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 15 0 222306084 11261829120 46523 33554432000 4194304 4196468 140725835762240 140448651797360 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13021] ppid=12957 vsize=10997880 memory=11796 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13021/stat : 13021 (java) S 12957 12960 9992 0 -1 1077944384 3 13266 0 0 0 0 5 3 20 0 15 0 222306086 11261829120 46523 33554432000 4194304 4196468 140725835762240 140448344397648 140450013648795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13022] ppid=12957 vsize=10997880 memory=5772 CPUtime=0.64 cores=1,3,5,7
/proc/12960/task/13022/stat : 13022 (java) R 12957 12960 9992 0 -1 4202560 2900 13266 0 0 55 1 5 3 20 0 15 0 222306086 11261829120 46523 33554432000 4194304 4196468 140725835762240 140449438312184 140449992876592 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13023] ppid=12957 vsize=10997880 memory=4616 CPUtime=0.62 cores=1,3,5,7
/proc/12960/task/13023/stat : 13023 (java) R 12957 12960 9992 0 -1 4202560 4194 13266 0 0 54 0 5 3 20 0 15 0 222306086 11261829120 46523 33554432000 4194304 4196468 140725835762240 140449437258792 140449995173531 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13024] ppid=12957 vsize=10997880 memory=1388 CPUtime=0.51 cores=1,3,5,7
/proc/12960/task/13024/stat : 13024 (java) S 12957 12960 9992 0 -1 1077944384 2129 13266 0 0 43 0 5 3 20 0 15 0 222306086 11261829120 46523 33554432000 4194304 4196468 140725835762240 140449436220016 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13025] ppid=12957 vsize=10997880 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13025/stat : 13025 (java) S 12957 12960 9992 0 -1 1077944384 3 13266 0 0 0 0 5 3 20 0 15 0 222306087 11261829120 46523 33554432000 4194304 4196468 140725835762240 140447913601760 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13026] ppid=12957 vsize=10997880 memory=880 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13026/stat : 13026 (java) S 12957 12960 9992 0 -1 1077944384 1 13266 0 0 0 0 5 3 20 0 15 0 222306087 11261829120 46523 33554432000 4194304 4196468 140725835762240 140449435167408 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10997880 KiB
################
# More data... #
################
/proc/12960/task/13013/stat : 13013 (java) R 12957 12960 9992 0 -1 4202560 96121 13266 0 0 236603 52 5 3 20 0 15 0 222306081 11280941056 329004 33554432000 4194304 4196468 140725835762240 140449985464848 140449563039028 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13014] ppid=12957 vsize=11016544 memory=1316016 CPUtime=7.69 cores=1,3,5,7
/proc/12960/task/13014/stat : 13014 (java) S 12957 12960 9992 0 -1 1077944384 22579 13266 0 0 722 39 5 3 20 0 15 0 222306082 11280941056 329004 33554432000 4194304 4196468 140725835762240 140450017873040 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13015] ppid=12957 vsize=11016544 memory=1316016 CPUtime=7.68 cores=1,3,5,7
/proc/12960/task/13015/stat : 13015 (java) S 12957 12960 9992 0 -1 1077944384 14251 13266 0 0 721 39 5 3 20 0 15 0 222306082 11280941056 329004 33554432000 4194304 4196468 140725835762240 140449872591888 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13016] ppid=12957 vsize=11016544 memory=1316016 CPUtime=7.7 cores=1,3,5,7
/proc/12960/task/13016/stat : 13016 (java) S 12957 12960 9992 0 -1 1077944384 14902 13266 0 0 727 35 5 3 20 0 15 0 222306082 11280941056 329004 33554432000 4194304 4196468 140725835762240 140449871539088 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13017] ppid=12957 vsize=11016544 memory=1316016 CPUtime=7.71 cores=1,3,5,7
/proc/12960/task/13017/stat : 13017 (java) S 12957 12960 9992 0 -1 1077944384 21524 13266 0 0 726 37 5 3 20 0 15 0 222306082 11280941056 329004 33554432000 4194304 4196468 140725835762240 140449870486288 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13018] ppid=12957 vsize=11016544 memory=1316016 CPUtime=6.7 cores=1,3,5,7
/proc/12960/task/13018/stat : 13018 (java) S 12957 12960 9992 0 -1 1077944384 18993 13266 0 0 629 33 5 3 20 0 15 0 222306083 11280941056 329004 33554432000 4194304 4196468 140725835762240 140449439377776 140450013641346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13019] ppid=12957 vsize=11016544 memory=1316016 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13019/stat : 13019 (java) S 12957 12960 9992 0 -1 1077944384 22 13266 0 0 0 0 5 3 20 0 15 0 222306084 11280941056 329004 33554432000 4194304 4196468 140725835762240 140448799646880 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13020] ppid=12957 vsize=11016544 memory=1316016 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13020/stat : 13020 (java) S 12957 12960 9992 0 -1 1077944384 9 13266 0 0 0 0 5 3 20 0 15 0 222306084 11280941056 329004 33554432000 4194304 4196468 140725835762240 140448651797376 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13021] ppid=12957 vsize=11016544 memory=7666341940134504295 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13021/stat : 13021 (java) S 12957 12960 9992 0 -1 1077944384 3 13266 0 0 0 0 5 3 20 0 15 0 222306086 11280941056 329004 33554432000 4194304 4196468 140725835762240 140448344397648 140450013648795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13022] ppid=12957 vsize=11016544 memory=1316016 CPUtime=8.66 cores=1,3,5,7
/proc/12960/task/13022/stat : 13022 (java) S 12957 12960 9992 0 -1 1077944384 105206 13266 0 0 848 10 5 3 20 0 15 0 222306086 11280941056 329004 33554432000 4194304 4196468 140725835762240 140449438325616 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13023] ppid=12957 vsize=11016544 memory=1316016 CPUtime=8.08 cores=1,3,5,7
/proc/12960/task/13023/stat : 13023 (java) S 12957 12960 9992 0 -1 1077944384 109377 13266 0 0 788 12 5 3 20 0 15 0 222306086 11280941056 329004 33554432000 4194304 4196468 140725835762240 140449437272816 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13024] ppid=12957 vsize=11016544 memory=1316016 CPUtime=3.5 cores=1,3,5,7
/proc/12960/task/13024/stat : 13024 (java) S 12957 12960 9992 0 -1 1077944384 109557 13266 0 0 329 13 5 3 20 0 15 0 222306086 11280941056 329004 33554432000 4194304 4196468 140725835762240 140449436220016 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13025] ppid=12957 vsize=11016544 memory=-7740096080597194087 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13025/stat : 13025 (java) S 12957 12960 9992 0 -1 1077944384 3 13266 0 0 0 0 5 3 20 0 15 0 222306087 11280941056 329004 33554432000 4194304 4196468 140725835762240 140447913601760 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13026] ppid=12957 vsize=11016544 memory=2216 CPUtime=1.3 cores=1,3,5,7
/proc/12960/task/13026/stat : 13026 (java) S 12957 12960 9992 0 -1 1077944384 3266 13266 0 0 51 71 5 3 20 0 15 0 222306087 11280941056 329004 33554432000 4194304 4196468 140725835762240 140449435167408 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
Current children cumulated CPU time: 2425.02 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1316016 KiB
[startup+2442.3 s]
/proc/loadavg: 1.19 1.42 1.52 3/220 13363
/proc/meminfo: memFree=1330672/32770624 swapFree=67108856/67108860
[pid=12960] ppid=12957 vsize=11016544 memory=1316072 CPUtime=2485.6 cores=1,3,5,7
/proc/12960/stat : 12960 (java) S 12957 12960 9992 0 -1 1077944320 520554 13266 0 0 248248 304 5 3 20 0 15 0 222306072 11280941056 329018 33554432000 4194304 4196468 140725835762240 140725835744784 140450013630199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
/proc/12960/statm: 2754136 329018 3529 1 0 2715789 0
[pid=12960/tid=13013] ppid=12957 vsize=11016544 memory=1316064 CPUtime=2426.3 cores=1,3,5,7
/proc/12960/task/13013/stat : 13013 (java) R 12957 12960 9992 0 -1 4202560 96612 13266 0 0 242569 53 5 3 20 0 15 0 222306081 11280941056 329018 33554432000 4194304 4196468 140725835762240 140449985465376 140449563039322 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13014] ppid=12957 vsize=11016544 memory=1316072 CPUtime=7.86 cores=1,3,5,7
/proc/12960/task/13014/stat : 13014 (java) S 12957 12960 9992 0 -1 1077944384 22652 13266 0 0 739 39 5 3 20 0 15 0 222306082 11280941056 329018 33554432000 4194304 4196468 140725835762240 140450017873040 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13015] ppid=12957 vsize=11016544 memory=1316072 CPUtime=7.85 cores=1,3,5,7
/proc/12960/task/13015/stat : 13015 (java) S 12957 12960 9992 0 -1 1077944384 14298 13266 0 0 738 39 5 3 20 0 15 0 222306082 11280941056 329018 33554432000 4194304 4196468 140725835762240 140449872591888 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13016] ppid=12957 vsize=11016544 memory=1316072 CPUtime=7.88 cores=1,3,5,7
/proc/12960/task/13016/stat : 13016 (java) S 12957 12960 9992 0 -1 1077944384 14954 13266 0 0 744 36 5 3 20 0 15 0 222306082 11280941056 329018 33554432000 4194304 4196468 140725835762240 140449871539088 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13017] ppid=12957 vsize=11016544 memory=1316072 CPUtime=7.88 cores=1,3,5,7
/proc/12960/task/13017/stat : 13017 (java) S 12957 12960 9992 0 -1 1077944384 21534 13266 0 0 743 37 5 3 20 0 15 0 222306082 11280941056 329018 33554432000 4194304 4196468 140725835762240 140449870486288 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13018] ppid=12957 vsize=11016544 memory=0 CPUtime=6.84 cores=1,3,5,7
/proc/12960/task/13018/stat : 13018 (java) S 12957 12960 9992 0 -1 1077944384 19212 13266 0 0 643 33 5 3 20 0 15 0 222306083 11280941056 329018 33554432000 4194304 4196468 140725835762240 140449439377776 140450013641346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13019] ppid=12957 vsize=11016544 memory=1316072 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13019/stat : 13019 (java) S 12957 12960 9992 0 -1 1077944384 22 13266 0 0 0 0 5 3 20 0 15 0 222306084 11280941056 329018 33554432000 4194304 4196468 140725835762240 140448799646880 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13020] ppid=12957 vsize=11016544 memory=280274936974592 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13020/stat : 13020 (java) S 12957 12960 9992 0 -1 1077944384 9 13266 0 0 0 0 5 3 20 0 15 0 222306084 11280941056 329018 33554432000 4194304 4196468 140725835762240 140448651797376 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13021] ppid=12957 vsize=11016544 memory=1316072 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13021/stat : 13021 (java) S 12957 12960 9992 0 -1 1077944384 3 13266 0 0 0 0 5 3 20 0 15 0 222306086 11280941056 329018 33554432000 4194304 4196468 140725835762240 140448344397648 140450013648795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13022] ppid=12957 vsize=11016544 memory=1316064 CPUtime=8.68 cores=1,3,5,7
/proc/12960/task/13022/stat : 13022 (java) S 12957 12960 9992 0 -1 1077944384 105631 13266 0 0 850 10 5 3 20 0 15 0 222306086 11280941056 329018 33554432000 4194304 4196468 140725835762240 140449438325616 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13023] ppid=12957 vsize=11016544 memory=1316072 CPUtime=8.1 cores=1,3,5,7
/proc/12960/task/13023/stat : 13023 (java) S 12957 12960 9992 0 -1 1077944384 109973 13266 0 0 790 12 5 3 20 0 15 0 222306086 11280941056 329018 33554432000 4194304 4196468 140725835762240 140449437272816 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13024] ppid=12957 vsize=11016544 memory=1316072 CPUtime=3.5 cores=1,3,5,7
/proc/12960/task/13024/stat : 13024 (java) S 12957 12960 9992 0 -1 1077944384 110161 13266 0 0 329 13 5 3 20 0 15 0 222306086 11280941056 329018 33554432000 4194304 4196468 140725835762240 140449436220016 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13025] ppid=12957 vsize=11016544 memory=1316072 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13025/stat : 13025 (java) S 12957 12960 9992 0 -1 1077944384 3 13266 0 0 0 0 5 3 20 0 15 0 222306087 11280941056 329018 33554432000 4194304 4196468 140725835762240 140447913601760 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13026] ppid=12957 vsize=11016544 memory=756 CPUtime=1.32 cores=1,3,5,7
/proc/12960/task/13026/stat : 13026 (java) S 12957 12960 9992 0 -1 1077944384 3298 13266 0 0 52 72 5 3 20 0 15 0 222306087 11280941056 329018 33554432000 4194304 4196468 140725835762240 140449435167408 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
Current children cumulated CPU time: 2485.6 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1316072 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.5 s]
/proc/loadavg: 1.01 1.35 1.49 3/220 13365
/proc/meminfo: memFree=1336112/32770624 swapFree=67108856/67108860
[pid=12960] ppid=12957 vsize=11016544 memory=1316112 CPUtime=2520.08 cores=1,3,5,7
/proc/12960/stat : 12960 (java) S 12957 12960 9992 0 -1 1077944320 522536 13266 0 0 251693 307 5 3 20 0 15 0 222306072 11280941056 329028 33554432000 4194304 4196468 140725835762240 140725835744784 140450013630199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
/proc/12960/statm: 2754136 329028 3529 1 0 2715789 0
[pid=12960/tid=13013] ppid=12957 vsize=11016544 memory=1316112 CPUtime=2460.33 cores=1,3,5,7
/proc/12960/task/13013/stat : 13013 (java) R 12957 12960 9992 0 -1 4202560 97031 13266 0 0 245972 53 5 3 20 0 15 0 222306081 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449985460608 140449542111716 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13014] ppid=12957 vsize=11016544 memory=1316112 CPUtime=7.95 cores=1,3,5,7
/proc/12960/task/13014/stat : 13014 (java) S 12957 12960 9992 0 -1 1077944384 22712 13266 0 0 748 39 5 3 20 0 15 0 222306082 11280941056 329028 33554432000 4194304 4196468 140725835762240 140450017873040 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13015] ppid=12957 vsize=11016544 memory=1316112 CPUtime=7.93 cores=1,3,5,7
/proc/12960/task/13015/stat : 13015 (java) S 12957 12960 9992 0 -1 1077944384 14304 13266 0 0 746 39 5 3 20 0 15 0 222306082 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449872591888 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13016] ppid=12957 vsize=11016544 memory=1316112 CPUtime=7.96 cores=1,3,5,7
/proc/12960/task/13016/stat : 13016 (java) S 12957 12960 9992 0 -1 1077944384 14991 13266 0 0 752 36 5 3 20 0 15 0 222306082 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449871539088 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13017] ppid=12957 vsize=11016544 memory=1316112 CPUtime=7.96 cores=1,3,5,7
/proc/12960/task/13017/stat : 13017 (java) S 12957 12960 9992 0 -1 1077944384 21584 13266 0 0 751 37 5 3 20 0 15 0 222306082 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449870486288 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13018] ppid=12957 vsize=11016544 memory=33 CPUtime=6.92 cores=1,3,5,7
/proc/12960/task/13018/stat : 13018 (java) S 12957 12960 9992 0 -1 1077944384 19390 13266 0 0 650 34 5 3 20 0 15 0 222306083 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449439377776 140450013641346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13019] ppid=12957 vsize=11016544 memory=1316112 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13019/stat : 13019 (java) S 12957 12960 9992 0 -1 1077944384 22 13266 0 0 0 0 5 3 20 0 15 0 222306084 11280941056 329028 33554432000 4194304 4196468 140725835762240 140448799646880 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13020] ppid=12957 vsize=11016544 memory=1316112 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13020/stat : 13020 (java) S 12957 12960 9992 0 -1 1077944384 9 13266 0 0 0 0 5 3 20 0 15 0 222306084 11280941056 329028 33554432000 4194304 4196468 140725835762240 140448651797376 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13021] ppid=12957 vsize=11016544 memory=1316112 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13021/stat : 13021 (java) S 12957 12960 9992 0 -1 1077944384 3 13266 0 0 0 0 5 3 20 0 15 0 222306086 11280941056 329028 33554432000 4194304 4196468 140725835762240 140448344397648 140450013648795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13022] ppid=12957 vsize=11016544 memory=1316112 CPUtime=8.68 cores=1,3,5,7
/proc/12960/task/13022/stat : 13022 (java) S 12957 12960 9992 0 -1 1077944384 106118 13266 0 0 850 10 5 3 20 0 15 0 222306086 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449438325616 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13023] ppid=12957 vsize=11016544 memory=1316112 CPUtime=8.11 cores=1,3,5,7
/proc/12960/task/13023/stat : 13023 (java) S 12957 12960 9992 0 -1 1077944384 110272 13266 0 0 791 12 5 3 20 0 15 0 222306086 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449437272816 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13024] ppid=12957 vsize=11016544 memory=1316112 CPUtime=3.51 cores=1,3,5,7
/proc/12960/task/13024/stat : 13024 (java) S 12957 12960 9992 0 -1 1077944384 110593 13266 0 0 330 13 5 3 20 0 15 0 222306086 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449436220016 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13025] ppid=12957 vsize=11016544 memory=1316112 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13025/stat : 13025 (java) S 12957 12960 9992 0 -1 1077944384 3 13266 0 0 0 0 5 3 20 0 15 0 222306087 11280941056 329028 33554432000 4194304 4196468 140725835762240 140447913601760 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13026] ppid=12957 vsize=11016544 memory=1316112 CPUtime=1.34 cores=1,3,5,7
/proc/12960/task/13026/stat : 13026 (java) S 12957 12960 9992 0 -1 1077944384 3312 13266 0 0 53 73 5 3 20 0 15 0 222306087 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449435167408 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1316112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2476.54 s]
# the end of solver process 12960 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517 s, system=3.12023 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2476.5 s]
/proc/loadavg: 1.01 1.35 1.49 3/220 13365
/proc/meminfo: memFree=1336112/32770624 swapFree=67108856/67108860
[pid=12960] ppid=12957 vsize=11016544 memory=1316112 CPUtime=2520.08 cores=1,3,5,7
/proc/12960/stat : 12960 (java) S 12957 12960 9992 0 -1 1077944320 522536 13266 0 0 251693 307 5 3 20 0 15 0 222306072 11280941056 329028 33554432000 4194304 4196468 140725835762240 140725835744784 140450013630199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
/proc/12960/statm: 2754136 329028 3529 1 0 2715789 0
[pid=12960/tid=13013] ppid=12957 vsize=11016544 memory=1316112 CPUtime=2460.33 cores=1,3,5,7
/proc/12960/task/13013/stat : 13013 (java) R 12957 12960 9992 0 -1 4202560 97031 13266 0 0 245972 53 5 3 20 0 15 0 222306081 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449985460608 140449542111716 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13014] ppid=12957 vsize=11016544 memory=1316112 CPUtime=7.95 cores=1,3,5,7
/proc/12960/task/13014/stat : 13014 (java) S 12957 12960 9992 0 -1 1077944384 22712 13266 0 0 748 39 5 3 20 0 15 0 222306082 11280941056 329028 33554432000 4194304 4196468 140725835762240 140450017873040 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13015] ppid=12957 vsize=11016544 memory=1316112 CPUtime=7.93 cores=1,3,5,7
/proc/12960/task/13015/stat : 13015 (java) S 12957 12960 9992 0 -1 1077944384 14304 13266 0 0 746 39 5 3 20 0 15 0 222306082 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449872591888 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13016] ppid=12957 vsize=11016544 memory=1316112 CPUtime=7.96 cores=1,3,5,7
/proc/12960/task/13016/stat : 13016 (java) S 12957 12960 9992 0 -1 1077944384 14991 13266 0 0 752 36 5 3 20 0 15 0 222306082 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449871539088 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13017] ppid=12957 vsize=11016544 memory=1316112 CPUtime=7.96 cores=1,3,5,7
/proc/12960/task/13017/stat : 13017 (java) S 12957 12960 9992 0 -1 1077944384 21584 13266 0 0 751 37 5 3 20 0 15 0 222306082 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449870486288 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13018] ppid=12957 vsize=11016544 memory=33 CPUtime=6.92 cores=1,3,5,7
/proc/12960/task/13018/stat : 13018 (java) S 12957 12960 9992 0 -1 1077944384 19390 13266 0 0 650 34 5 3 20 0 15 0 222306083 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449439377776 140450013641346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13019] ppid=12957 vsize=11016544 memory=1316112 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13019/stat : 13019 (java) S 12957 12960 9992 0 -1 1077944384 22 13266 0 0 0 0 5 3 20 0 15 0 222306084 11280941056 329028 33554432000 4194304 4196468 140725835762240 140448799646880 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13020] ppid=12957 vsize=11016544 memory=1316112 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13020/stat : 13020 (java) S 12957 12960 9992 0 -1 1077944384 9 13266 0 0 0 0 5 3 20 0 15 0 222306084 11280941056 329028 33554432000 4194304 4196468 140725835762240 140448651797376 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13021] ppid=12957 vsize=11016544 memory=1316112 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13021/stat : 13021 (java) S 12957 12960 9992 0 -1 1077944384 3 13266 0 0 0 0 5 3 20 0 15 0 222306086 11280941056 329028 33554432000 4194304 4196468 140725835762240 140448344397648 140450013648795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13022] ppid=12957 vsize=11016544 memory=1316112 CPUtime=8.68 cores=1,3,5,7
/proc/12960/task/13022/stat : 13022 (java) S 12957 12960 9992 0 -1 1077944384 106118 13266 0 0 850 10 5 3 20 0 15 0 222306086 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449438325616 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13023] ppid=12957 vsize=11016544 memory=1316112 CPUtime=8.11 cores=1,3,5,7
/proc/12960/task/13023/stat : 13023 (java) S 12957 12960 9992 0 -1 1077944384 110272 13266 0 0 791 12 5 3 20 0 15 0 222306086 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449437272816 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13024] ppid=12957 vsize=11016544 memory=1316112 CPUtime=3.51 cores=1,3,5,7
/proc/12960/task/13024/stat : 13024 (java) S 12957 12960 9992 0 -1 1077944384 110593 13266 0 0 330 13 5 3 20 0 15 0 222306086 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449436220016 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13025] ppid=12957 vsize=11016544 memory=1316112 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/13025/stat : 13025 (java) S 12957 12960 9992 0 -1 1077944384 3 13266 0 0 0 0 5 3 20 0 15 0 222306087 11280941056 329028 33554432000 4194304 4196468 140725835762240 140447913601760 140450013640405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
[pid=12960/tid=13026] ppid=12957 vsize=11016544 memory=1316112 CPUtime=1.34 cores=1,3,5,7
/proc/12960/task/13026/stat : 13026 (java) S 12957 12960 9992 0 -1 1077944384 3312 13266 0 0 53 73 5 3 20 0 15 0 222306087 11280941056 329028 33554432000 4194304 4196468 140725835762240 140449435167408 140450013641346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31203328 140725835766380 140725835769180 140725835769180 140725835771855 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1316112 KiB
Child status: 143
Real time (s): 2476.54
CPU time (s): 2520.12
CPU user time (s): 2517
CPU system time (s): 3.12023
CPU usage (%): 101.76
Max. virtual memory (cumulated for all children) (KiB): 11017260
Max. memory (cumulated for all children) (KiB): 1466624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517
system time used= 3.12023
maximum resident set size= 1468184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536432
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 196007
involuntary context switches= 4433
# summary of solver processes directly reported to runsolver:
# pid: 12960
# total CPU time (s): 2520.12
# total CPU user time (s): 2517
# total CPU system time (s): 3.12023
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9299 second user time and 24.8058 second system time
The end