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 (6680 MiB free)
memory of node 1: 16384 MiB (9612 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295737-1532592603/watcher-4295737-1532592603 -o /tmp/evaluation-result-4295737-1532592603/solver-4295737-1532592603 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532582651-32591 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1256850846 -superng HOME/instance-4295737-1532592603.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1964, runsolver pid=1961
[startup+0.103034 s]*
/proc/loadavg: 1.41 1.41 1.43 2/207 2021
/proc/meminfo: memFree=16676448/32770624 swapFree=67108796/67108860
[pid=1964] ppid=1961 vsize=9972712 memory=16424 CPUtime=0.09 cores=0,2,4,6
/proc/1964/stat : 1964 (java) S 1961 1964 32560 0 -1 1077944320 4269 13155 0 0 1 0 5 3 20 0 6 0 76823460 10212057088 4106 33554432000 4194304 4196468 140729422741376 140729422723920 139740046065399 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
/proc/1964/statm: 2493178 4106 1930 1 0 2481616 0
[pid=1964/tid=2017] ppid=1961 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2017/stat : 2017 (java) R 1961 1964 32560 0 -1 4202560 2096 13155 0 0 0 0 5 3 20 0 6 0 76823470 10212057088 4106 33554432000 4194304 4196468 140729422741376 139740017902160 139740027459133 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2018] ppid=1961 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2018/stat : 2018 (java) S 1961 1964 32560 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 6 0 76823470 10212057088 4106 33554432000 4194304 4196468 140729422741376 139740050307728 139740046075605 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2019] ppid=1961 vsize=9972712 memory=139637523314304 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2019/stat : 2019 (java) S 1961 1964 32560 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 6 0 76823470 10212057088 4106 33554432000 4194304 4196468 140729422741376 139739619789328 139740046075605 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2020] ppid=1961 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2020/stat : 2020 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 6 0 76823470 10212057088 4106 33554432000 4194304 4196468 140729422741376 139739618736528 139740046075605 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2021] ppid=1961 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2021/stat : 2021 (java) S 1961 1964 32560 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 6 0 76823470 10212057088 4106 33554432000 4194304 4196468 140729422741376 139739617683728 139740046075605 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16424 KiB
[startup+0.209929 s]*
/proc/loadavg: 1.41 1.41 1.43 3/216 2030
/proc/meminfo: memFree=16654808/32770624 swapFree=67108796/67108860
[pid=1964] ppid=1961 vsize=10818856 memory=43768 CPUtime=0.26 cores=0,2,4,6
/proc/1964/stat : 1964 (java) S 1961 1964 32560 0 -1 1077944320 8314 13155 0 0 16 2 5 3 20 0 15 0 76823460 11078508544 10942 33554432000 4194304 4196468 140729422741376 140729422723920 139740046065399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
/proc/1964/statm: 2704714 10942 2955 1 0 2667149 0
[pid=1964/tid=2017] ppid=1961 vsize=10818856 memory=-8171376296011865461 CPUtime=0.19 cores=0,2,4,6
/proc/1964/task/2017/stat : 2017 (java) R 1961 1964 32560 0 -1 4202560 4871 13155 0 0 10 1 5 3 20 0 15 0 76823470 11078508544 10942 33554432000 4194304 4196468 140729422741376 139740017863056 139740026341067 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2018] ppid=1961 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2018/stat : 2018 (java) S 1961 1964 32560 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 76823470 11078508544 10942 33554432000 4194304 4196468 140729422741376 139740050307728 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2019] ppid=1961 vsize=10818856 memory=139637523314304 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2019/stat : 2019 (java) S 1961 1964 32560 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 76823470 11078508544 10942 33554432000 4194304 4196468 140729422741376 139739619789328 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2020] ppid=1961 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2020/stat : 2020 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823470 11078508544 10942 33554432000 4194304 4196468 140729422741376 139739618736528 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2021] ppid=1961 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2021/stat : 2021 (java) S 1961 1964 32560 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 76823470 11078508544 10942 33554432000 4194304 4196468 140729422741376 139739617683728 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2022] ppid=1961 vsize=10818856 memory=139637523314304 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2022/stat : 2022 (java) S 1961 1964 32560 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 76823472 11078508544 10942 33554432000 4194304 4196468 140729422741376 139739116043120 139740046076546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2023] ppid=1961 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2023/stat : 2023 (java) S 1961 1964 32560 0 -1 1077944384 13 13155 0 0 0 0 5 3 20 0 15 0 76823472 11078508544 10942 33554432000 4194304 4196468 140729422741376 139739042670112 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2024] ppid=1961 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2024/stat : 2024 (java) S 1961 1964 32560 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 76823473 11078508544 10942 33554432000 4194304 4196468 140729422741376 139738841343344 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2025] ppid=1961 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2025/stat : 2025 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823475 11078508544 10942 33554432000 4194304 4196468 140729422741376 139738601052496 139740046083995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2026] ppid=1961 vsize=10818856 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1964/task/2026/stat : 2026 (java) S 1961 1964 32560 0 -1 1077944384 539 13155 0 0 1 0 5 3 20 0 15 0 76823475 11078508544 10942 33554432000 4194304 4196468 140729422741376 139739114989936 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2027] ppid=1961 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2027/stat : 2027 (java) S 1961 1964 32560 0 -1 1077944384 60 13155 0 0 0 0 5 3 20 0 15 0 76823475 11078508544 10942 33554432000 4194304 4196468 140729422741376 139739113937136 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2028] ppid=1961 vsize=10818856 memory=139637523314304 CPUtime=0.11 cores=0,2,4,6
/proc/1964/task/2028/stat : 2028 (java) S 1961 1964 32560 0 -1 1077944384 622 13155 0 0 3 0 5 3 20 0 15 0 76823475 11078508544 10942 33554432000 4194304 4196468 140729422741376 139739112884336 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2029] ppid=1961 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2029/stat : 2029 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823476 11078508544 10942 33554432000 4194304 4196468 140729422741376 139738567493856 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2030] ppid=1961 vsize=10818856 memory=139637523314304 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2030/stat : 2030 (java) S 1961 1964 32560 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 76823476 11078508544 10942 33554432000 4194304 4196468 140729422741376 139739111832752 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 43768 KiB
[startup+0.310412 s]*
/proc/loadavg: 1.41 1.41 1.43 3/216 2030
/proc/meminfo: memFree=16645256/32770624 swapFree=67108796/67108860
[pid=1964] ppid=1961 vsize=10819352 memory=55124 CPUtime=0.39 cores=0,2,4,6
/proc/1964/stat : 1964 (java) S 1961 1964 32560 0 -1 1077944320 10349 13155 0 0 28 3 5 3 20 0 15 0 76823460 11079016448 13781 33554432000 4194304 4196468 140729422741376 140729422723920 139740046065399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
/proc/1964/statm: 2704838 13781 3086 1 0 2667149 0
[pid=1964/tid=2017] ppid=1961 vsize=10819352 memory=279274745495792 CPUtime=0.28 cores=0,2,4,6
/proc/1964/task/2017/stat : 2017 (java) R 1961 1964 32560 0 -1 4202560 6889 13155 0 0 19 1 5 3 20 0 15 0 76823470 11079016448 13781 33554432000 4194304 4196468 140729422741376 139740017877408 139740030145886 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2018] ppid=1961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2018/stat : 2018 (java) S 1961 1964 32560 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 76823470 11079016448 13781 33554432000 4194304 4196468 140729422741376 139740050307728 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2019] ppid=1961 vsize=10819352 memory=279274745736704 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2019/stat : 2019 (java) S 1961 1964 32560 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 76823470 11079016448 13781 33554432000 4194304 4196468 140729422741376 139739619789328 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2020] ppid=1961 vsize=10819352 memory=279274745638920 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2020/stat : 2020 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823470 11079016448 13781 33554432000 4194304 4196468 140729422741376 139739618736528 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2021] ppid=1961 vsize=10819352 memory=139637372882207 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2021/stat : 2021 (java) S 1961 1964 32560 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 76823470 11079016448 13781 33554432000 4194304 4196468 140729422741376 139739617683728 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2022] ppid=1961 vsize=10819352 memory=139637523314303 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2022/stat : 2022 (java) S 1961 1964 32560 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 76823472 11079016448 13781 33554432000 4194304 4196468 140729422741376 139739116043120 139740046076546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2023] ppid=1961 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2023/stat : 2023 (java) S 1961 1964 32560 0 -1 1077944384 13 13155 0 0 0 0 5 3 20 0 15 0 76823472 11079016448 13781 33554432000 4194304 4196468 140729422741376 139739042670112 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2024] ppid=1961 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2024/stat : 2024 (java) S 1961 1964 32560 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 76823473 11079016448 13781 33554432000 4194304 4196468 140729422741376 139738841343344 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2025] ppid=1961 vsize=10819352 memory=139637523314304 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2025/stat : 2025 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823475 11079016448 13781 33554432000 4194304 4196468 140729422741376 139738601052496 139740046083995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2026] ppid=1961 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/1964/task/2026/stat : 2026 (java) S 1961 1964 32560 0 -1 1077944384 544 13155 0 0 2 0 5 3 20 0 15 0 76823475 11079016448 13781 33554432000 4194304 4196468 140729422741376 139739114989936 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2027] ppid=1961 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1964/task/2027/stat : 2027 (java) S 1961 1964 32560 0 -1 1077944384 64 13155 0 0 1 0 5 3 20 0 15 0 76823475 11079016448 13781 33554432000 4194304 4196468 140729422741376 139739113937136 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2028] ppid=1961 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/1964/task/2028/stat : 2028 (java) S 1961 1964 32560 0 -1 1077944384 647 13155 0 0 5 0 5 3 20 0 15 0 76823475 11079016448 13781 33554432000 4194304 4196468 140729422741376 139739112884336 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2029] ppid=1961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2029/stat : 2029 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823476 11079016448 13781 33554432000 4194304 4196468 140729422741376 139738567493856 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2030] ppid=1961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2030/stat : 2030 (java) S 1961 1964 32560 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 76823476 11079016448 13781 33554432000 4194304 4196468 140729422741376 139739111832752 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55124 KiB
[startup+0.700748 s]
/proc/loadavg: 1.41 1.41 1.43 3/216 2030
/proc/meminfo: memFree=16633844/32770624 swapFree=67108796/67108860
[pid=1964] ppid=1961 vsize=10819352 memory=88060 CPUtime=0.98 cores=0,2,4,6
/proc/1964/stat : 1964 (java) S 1961 1964 32560 0 -1 1077944320 16675 13155 0 0 86 4 5 3 20 0 15 0 76823460 11079016448 22015 33554432000 4194304 4196468 140729422741376 140729422723920 139740046065399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
/proc/1964/statm: 2704838 22015 3236 1 0 2667149 0
[pid=1964/tid=2017] ppid=1961 vsize=10819352 memory=3708 CPUtime=0.66 cores=0,2,4,6
/proc/1964/task/2017/stat : 2017 (java) R 1961 1964 32560 0 -1 4202560 12161 13155 0 0 55 3 5 3 20 0 15 0 76823470 11079016448 22015 33554432000 4194304 4196468 140729422741376 139740017860184 139740026340729 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2018] ppid=1961 vsize=10819352 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2018/stat : 2018 (java) S 1961 1964 32560 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 76823470 11079016448 22015 33554432000 4194304 4196468 140729422741376 139740050307728 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2019] ppid=1961 vsize=10819352 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2019/stat : 2019 (java) S 1961 1964 32560 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 76823470 11079016448 22015 33554432000 4194304 4196468 140729422741376 139739619789328 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2020] ppid=1961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2020/stat : 2020 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823470 11079016448 22015 33554432000 4194304 4196468 140729422741376 139739618736528 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2021] ppid=1961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2021/stat : 2021 (java) S 1961 1964 32560 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 76823470 11079016448 22015 33554432000 4194304 4196468 140729422741376 139739617683728 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2022] ppid=1961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2022/stat : 2022 (java) S 1961 1964 32560 0 -1 1077944384 5 13155 0 0 0 0 5 3 20 0 15 0 76823472 11079016448 22015 33554432000 4194304 4196468 140729422741376 139739116043120 139740046076546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2023] ppid=1961 vsize=10819352 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2023/stat : 2023 (java) S 1961 1964 32560 0 -1 1077944384 13 13155 0 0 0 0 5 3 20 0 15 0 76823472 11079016448 22015 33554432000 4194304 4196468 140729422741376 139739042670112 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2024] ppid=1961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2024/stat : 2024 (java) S 1961 1964 32560 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 76823473 11079016448 22015 33554432000 4194304 4196468 140729422741376 139738841343344 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2025] ppid=1961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2025/stat : 2025 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823475 11079016448 22015 33554432000 4194304 4196468 140729422741376 139738601052496 139740046083995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2026] ppid=1961 vsize=10819352 memory=279274745495792 CPUtime=0.14 cores=0,2,4,6
/proc/1964/task/2026/stat : 2026 (java) S 1961 1964 32560 0 -1 1077944384 786 13155 0 0 6 0 5 3 20 0 15 0 76823475 11079016448 22015 33554432000 4194304 4196468 140729422741376 139739114989936 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2027] ppid=1961 vsize=10819352 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/1964/task/2027/stat : 2027 (java) S 1961 1964 32560 0 -1 1077944384 695 13155 0 0 10 0 5 3 20 0 15 0 76823475 11079016448 22015 33554432000 4194304 4196468 140729422741376 139739113937136 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2028] ppid=1961 vsize=10819352 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/1964/task/2028/stat : 2028 (java) S 1961 1964 32560 0 -1 1077944384 808 13155 0 0 13 0 5 3 20 0 15 0 76823475 11079016448 22015 33554432000 4194304 4196468 140729422741376 139739112884336 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2029] ppid=1961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2029/stat : 2029 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823476 11079016448 22015 33554432000 4194304 4196468 140729422741376 139738567493856 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2030] ppid=1961 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2030/stat : 2030 (java) S 1961 1964 32560 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 76823476 11079016448 22015 33554432000 4194304 4196468 140729422741376 139739111832752 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88060 KiB
[startup+1.50079 s]
/proc/loadavg: 1.41 1.41 1.43 3/216 2030
/proc/meminfo: memFree=16577132/32770624 swapFree=67108796/67108860
[pid=1964] ppid=1961 vsize=10834252 memory=183552 CPUtime=2.38 cores=0,2,4,6
/proc/1964/stat : 1964 (java) S 1961 1964 32560 0 -1 1077944320 24117 13155 0 0 220 10 5 3 20 0 15 0 76823460 11094274048 45888 33554432000 4194304 4196468 140729422741376 140729422723920 139740046065399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
/proc/1964/statm: 2708563 45888 3471 1 0 2670221 0
[pid=1964/tid=2017] ppid=1961 vsize=10834252 memory=8 CPUtime=1.42 cores=0,2,4,6
/proc/1964/task/2017/stat : 2017 (java) R 1961 1964 32560 0 -1 4202560 17407 13155 0 0 128 6 5 3 20 0 15 0 76823470 11094274048 45888 33554432000 4194304 4196468 140729422741376 139740017872200 139740027628990 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2018] ppid=1961 vsize=10834252 memory=2673 CPUtime=0.09 cores=0,2,4,6
/proc/1964/task/2018/stat : 2018 (java) S 1961 1964 32560 0 -1 1077944384 65 13155 0 0 1 0 5 3 20 0 15 0 76823470 11094274048 45888 33554432000 4194304 4196468 140729422741376 139740050307728 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2019] ppid=1961 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1964/task/2019/stat : 2019 (java) S 1961 1964 32560 0 -1 1077944384 185 13155 0 0 1 0 5 3 20 0 15 0 76823470 11094274048 45888 33554432000 4194304 4196468 140729422741376 139739619789328 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2020] ppid=1961 vsize=10834252 memory=7667211705336877667 CPUtime=0.09 cores=0,2,4,6
/proc/1964/task/2020/stat : 2020 (java) S 1961 1964 32560 0 -1 1077944384 19 13155 0 0 1 0 5 3 20 0 15 0 76823470 11094274048 45888 33554432000 4194304 4196468 140729422741376 139739618736528 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2021] ppid=1961 vsize=10834252 memory=7380671248541445222 CPUtime=0.09 cores=0,2,4,6
/proc/1964/task/2021/stat : 2021 (java) S 1961 1964 32560 0 -1 1077944384 21 13155 0 0 1 0 5 3 20 0 15 0 76823470 11094274048 45888 33554432000 4194304 4196468 140729422741376 139739617683728 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2022] ppid=1961 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1964/task/2022/stat : 2022 (java) S 1961 1964 32560 0 -1 1077944384 458 13155 0 0 1 0 5 3 20 0 15 0 76823472 11094274048 45888 33554432000 4194304 4196468 140729422741376 139739116043120 139740046076546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2023] ppid=1961 vsize=10834252 memory=279274746067008 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2023/stat : 2023 (java) S 1961 1964 32560 0 -1 1077944384 13 13155 0 0 0 0 5 3 20 0 15 0 76823472 11094274048 45888 33554432000 4194304 4196468 140729422741376 139739042670176 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2024] ppid=1961 vsize=10834252 memory=3540021859292046368 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2024/stat : 2024 (java) S 1961 1964 32560 0 -1 1077944384 2 13155 0 0 0 0 5 3 20 0 15 0 76823473 11094274048 45888 33554432000 4194304 4196468 140729422741376 139738841343360 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2025] ppid=1961 vsize=10834252 memory=6945747320724078694 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2025/stat : 2025 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823475 11094274048 45888 33554432000 4194304 4196468 140729422741376 139738601052496 139740046083995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2026] ppid=1961 vsize=10834252 memory=6075726850433241682 CPUtime=0.26 cores=0,2,4,6
/proc/1964/task/2026/stat : 2026 (java) S 1961 1964 32560 0 -1 1077944384 943 13155 0 0 18 0 5 3 20 0 15 0 76823475 11094274048 45888 33554432000 4194304 4196468 140729422741376 139739114989936 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2027] ppid=1961 vsize=10834252 memory=6363956058621372501 CPUtime=0.36 cores=0,2,4,6
/proc/1964/task/2027/stat : 2027 (java) S 1961 1964 32560 0 -1 1077944384 1190 13155 0 0 28 0 5 3 20 0 15 0 76823475 11094274048 45888 33554432000 4194304 4196468 140729422741376 139739113937136 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2028] ppid=1961 vsize=10834252 memory=7012755875661107288 CPUtime=0.45 cores=0,2,4,6
/proc/1964/task/2028/stat : 2028 (java) S 1961 1964 32560 0 -1 1077944384 1616 13155 0 0 37 0 5 3 20 0 15 0 76823475 11094274048 45888 33554432000 4194304 4196468 140729422741376 139739112884336 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2029] ppid=1961 vsize=10834252 memory=7518866584057697872 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2029/stat : 2029 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823476 11094274048 45888 33554432000 4194304 4196468 140729422741376 139738567493856 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2030] ppid=1961 vsize=10834252 memory=5787495302158181184 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2030/stat : 2030 (java) S 1961 1964 32560 0 -1 1077944384 1 13155 0 0 0 0 5 3 20 0 15 0 76823476 11094274048 45888 33554432000 4194304 4196468 140729422741376 139739111832752 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/1964/task/2017/stat : 2017 (java) R 1961 1964 32560 0 -1 4202560 242517 13155 0 0 229972 74 5 3 20 0 15 0 76823470 11111071744 1077727 33554432000 4194304 4196468 140729422741376 139740017899136 139739670652044 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2018] ppid=1961 vsize=10850656 memory=4312960 CPUtime=20.75 cores=0,2,4,6
/proc/1964/task/2018/stat : 2018 (java) S 1961 1964 32560 0 -1 1077944384 38337 13155 0 0 2007 60 5 3 20 0 15 0 76823470 11111071744 1077727 33554432000 4194304 4196468 140729422741376 139740050307728 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2019] ppid=1961 vsize=10850656 memory=4312960 CPUtime=20.66 cores=0,2,4,6
/proc/1964/task/2019/stat : 2019 (java) S 1961 1964 32560 0 -1 1077944384 35562 13155 0 0 1998 60 5 3 20 0 15 0 76823470 11111071744 1077727 33554432000 4194304 4196468 140729422741376 139739619789328 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2020] ppid=1961 vsize=10850656 memory=4312960 CPUtime=20.74 cores=0,2,4,6
/proc/1964/task/2020/stat : 2020 (java) S 1961 1964 32560 0 -1 1077944384 41608 13155 0 0 2009 57 5 3 20 0 15 0 76823470 11111071744 1077727 33554432000 4194304 4196468 140729422741376 139739618736528 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2021] ppid=1961 vsize=10850656 memory=4310908 CPUtime=20.72 cores=0,2,4,6
/proc/1964/task/2021/stat : 2021 (java) S 1961 1964 32560 0 -1 1077944384 34007 13155 0 0 2002 62 5 3 20 0 15 0 76823470 11111071744 1077727 33554432000 4194304 4196468 140729422741376 139739617683728 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2022] ppid=1961 vsize=10850656 memory=4317576 CPUtime=0.72 cores=0,2,4,6
/proc/1964/task/2022/stat : 2022 (java) S 1961 1964 32560 0 -1 1077944384 56217 13155 0 0 56 8 5 3 20 0 15 0 76823472 11111071744 1077727 33554432000 4194304 4196468 140729422741376 139739116043120 139740046076546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2023] ppid=1961 vsize=10850656 memory=4317576 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2023/stat : 2023 (java) S 1961 1964 32560 0 -1 1077944384 21 13155 0 0 0 0 5 3 20 0 15 0 76823472 11111071744 1077727 33554432000 4194304 4196468 140729422741376 139739042670176 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2024] ppid=1961 vsize=10850656 memory=4310908 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2024/stat : 2024 (java) S 1961 1964 32560 0 -1 1077944384 6 13155 0 0 0 0 5 3 20 0 15 0 76823473 11111071744 1077727 33554432000 4194304 4196468 140729422741376 139738841343360 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2025] ppid=1961 vsize=10850656 memory=4310908 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2025/stat : 2025 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823475 11111071744 1077727 33554432000 4194304 4196468 140729422741376 139738601052496 139740046083995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2026] ppid=1961 vsize=10850656 memory=4310908 CPUtime=8.9 cores=0,2,4,6
/proc/1964/task/2026/stat : 2026 (java) S 1961 1964 32560 0 -1 1077944384 50211 13155 0 0 877 5 5 3 20 0 15 0 76823475 11111071744 1077727 33554432000 4194304 4196468 140729422741376 139739114989936 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2027] ppid=1961 vsize=10850656 memory=4310908 CPUtime=8.35 cores=0,2,4,6
/proc/1964/task/2027/stat : 2027 (java) S 1961 1964 32560 0 -1 1077944384 48765 13155 0 0 822 5 5 3 20 0 15 0 76823475 11111071744 1077727 33554432000 4194304 4196468 140729422741376 139739113937136 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2028] ppid=1961 vsize=10850656 memory=4310908 CPUtime=2.73 cores=0,2,4,6
/proc/1964/task/2028/stat : 2028 (java) S 1961 1964 32560 0 -1 1077944384 33372 13155 0 0 259 6 5 3 20 0 15 0 76823475 11111071744 1077727 33554432000 4194304 4196468 140729422741376 139739112884336 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2029] ppid=1961 vsize=10850656 memory=4310908 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2029/stat : 2029 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823476 11111071744 1077727 33554432000 4194304 4196468 140729422741376 139738567493856 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2030] ppid=1961 vsize=10850656 memory=4310908 CPUtime=1.44 cores=0,2,4,6
/proc/1964/task/2030/stat : 2030 (java) S 1961 1964 32560 0 -1 1077944384 4266 13155 0 0 68 68 5 3 20 0 15 0 76823476 11111071744 1077727 33554432000 4194304 4196468 140729422741376 139739111832752 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
Current children cumulated CPU time: 2404.93 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4310908 KiB
[startup+2382.3 s]
/proc/loadavg: 1.55 1.63 1.58 3/215 2101
/proc/meminfo: memFree=12086392/32770624 swapFree=67108796/67108860
[pid=1964] ppid=1961 vsize=10850656 memory=4357112 CPUtime=2465.48 cores=0,2,4,6
/proc/1964/stat : 1964 (java) S 1961 1964 32560 0 -1 1077944320 600222 13155 0 0 246141 399 5 3 20 0 15 0 76823460 11111071744 1089278 33554432000 4194304 4196468 140729422741376 140729422723920 139740046065399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
/proc/1964/statm: 2712664 1089278 3533 1 0 2674317 0
[pid=1964/tid=2017] ppid=1961 vsize=10850656 memory=3708 CPUtime=2360.36 cores=0,2,4,6
/proc/1964/task/2017/stat : 2017 (java) R 1961 1964 32560 0 -1 4202560 248247 13155 0 0 235953 75 5 3 20 0 15 0 76823470 11111071744 1089278 33554432000 4194304 4196468 140729422741376 139740017899392 139739671507766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2018] ppid=1961 vsize=10850656 memory=4357112 CPUtime=20.91 cores=0,2,4,6
/proc/1964/task/2018/stat : 2018 (java) S 1961 1964 32560 0 -1 1077944384 39858 13155 0 0 2022 61 5 3 20 0 15 0 76823470 11111071744 1089278 33554432000 4194304 4196468 140729422741376 139740050307728 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2019] ppid=1961 vsize=10850656 memory=4356892 CPUtime=20.83 cores=0,2,4,6
/proc/1964/task/2019/stat : 2019 (java) S 1961 1964 32560 0 -1 1077944384 38112 13155 0 0 2013 62 5 3 20 0 15 0 76823470 11111071744 1089278 33554432000 4194304 4196468 140729422741376 139739619789328 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2020] ppid=1961 vsize=10850656 memory=4357112 CPUtime=20.92 cores=0,2,4,6
/proc/1964/task/2020/stat : 2020 (java) S 1961 1964 32560 0 -1 1077944384 42208 13155 0 0 2025 59 5 3 20 0 15 0 76823470 11111071744 1089278 33554432000 4194304 4196468 140729422741376 139739618736528 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2021] ppid=1961 vsize=10850656 memory=4357112 CPUtime=20.89 cores=0,2,4,6
/proc/1964/task/2021/stat : 2021 (java) S 1961 1964 32560 0 -1 1077944384 34641 13155 0 0 2018 63 5 3 20 0 15 0 76823470 11111071744 1089278 33554432000 4194304 4196468 140729422741376 139739617683728 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2022] ppid=1961 vsize=10850656 memory=4357112 CPUtime=0.73 cores=0,2,4,6
/proc/1964/task/2022/stat : 2022 (java) S 1961 1964 32560 0 -1 1077944384 56586 13155 0 0 57 8 5 3 20 0 15 0 76823472 11111071744 1089278 33554432000 4194304 4196468 140729422741376 139739116043120 139740046076546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2023] ppid=1961 vsize=10850656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2023/stat : 2023 (java) S 1961 1964 32560 0 -1 1077944384 21 13155 0 0 0 0 5 3 20 0 15 0 76823472 11111071744 1089278 33554432000 4194304 4196468 140729422741376 139739042670176 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2024] ppid=1961 vsize=10850656 memory=4357112 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2024/stat : 2024 (java) S 1961 1964 32560 0 -1 1077944384 6 13155 0 0 0 0 5 3 20 0 15 0 76823473 11111071744 1089278 33554432000 4194304 4196468 140729422741376 139738841343360 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2025] ppid=1961 vsize=10850656 memory=22800 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2025/stat : 2025 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823475 11111071744 1089278 33554432000 4194304 4196468 140729422741376 139738601052496 139740046083995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2026] ppid=1961 vsize=10850656 memory=2088 CPUtime=8.9 cores=0,2,4,6
/proc/1964/task/2026/stat : 2026 (java) S 1961 1964 32560 0 -1 1077944384 50213 13155 0 0 877 5 5 3 20 0 15 0 76823475 11111071744 1089278 33554432000 4194304 4196468 140729422741376 139739114989936 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2027] ppid=1961 vsize=10850656 memory=8112282956445269571 CPUtime=8.35 cores=0,2,4,6
/proc/1964/task/2027/stat : 2027 (java) S 1961 1964 32560 0 -1 1077944384 48767 13155 0 0 822 5 5 3 20 0 15 0 76823475 11111071744 1089278 33554432000 4194304 4196468 140729422741376 139739113937136 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2028] ppid=1961 vsize=10850656 memory=1088 CPUtime=2.73 cores=0,2,4,6
/proc/1964/task/2028/stat : 2028 (java) S 1961 1964 32560 0 -1 1077944384 35061 13155 0 0 259 6 5 3 20 0 15 0 76823475 11111071744 1089278 33554432000 4194304 4196468 140729422741376 139739112884336 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2029] ppid=1961 vsize=10850656 memory=4357112 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2029/stat : 2029 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823476 11111071744 1089278 33554432000 4194304 4196468 140729422741376 139738567493856 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2030] ppid=1961 vsize=10850656 memory=4016 CPUtime=1.46 cores=0,2,4,6
/proc/1964/task/2030/stat : 2030 (java) S 1961 1964 32560 0 -1 1077944384 4305 13155 0 0 69 69 5 3 20 0 15 0 76823476 11111071744 1089278 33554432000 4194304 4196468 140729422741376 139739111832752 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
Current children cumulated CPU time: 2465.48 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4357112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2436.5 s]
/proc/loadavg: 1.77 1.68 1.60 3/216 2110
/proc/meminfo: memFree=12113752/32770624 swapFree=67108796/67108860
[pid=1964] ppid=1961 vsize=10850656 memory=4357128 CPUtime=2520.09 cores=0,2,4,6
/proc/1964/stat : 1964 (java) S 1961 1964 32560 0 -1 1077944320 609646 13155 0 0 251600 401 5 3 20 0 15 0 76823460 11111071744 1089282 33554432000 4194304 4196468 140729422741376 140729422723920 139740046065399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
/proc/1964/statm: 2712664 1089282 3533 1 0 2674317 0
[pid=1964/tid=2017] ppid=1961 vsize=10850656 memory=4357128 CPUtime=2414.43 cores=0,2,4,6
/proc/1964/task/2017/stat : 2017 (java) R 1961 1964 32560 0 -1 4202560 253390 13155 0 0 241358 77 5 3 20 0 15 0 76823470 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139740017899392 139739670267968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2018] ppid=1961 vsize=10850656 memory=4357128 CPUtime=21.04 cores=0,2,4,6
/proc/1964/task/2018/stat : 2018 (java) S 1961 1964 32560 0 -1 1077944384 41982 13155 0 0 2035 61 5 3 20 0 15 0 76823470 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139740050307728 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2019] ppid=1961 vsize=10850656 memory=4357128 CPUtime=20.96 cores=0,2,4,6
/proc/1964/task/2019/stat : 2019 (java) S 1961 1964 32560 0 -1 1077944384 38559 13155 0 0 2026 62 5 3 20 0 15 0 76823470 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739619789328 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2020] ppid=1961 vsize=10850656 memory=4357128 CPUtime=21.05 cores=0,2,4,6
/proc/1964/task/2020/stat : 2020 (java) S 1961 1964 32560 0 -1 1077944384 43279 13155 0 0 2038 59 5 3 20 0 15 0 76823470 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739618736528 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2021] ppid=1961 vsize=10850656 memory=4357128 CPUtime=21.02 cores=0,2,4,6
/proc/1964/task/2021/stat : 2021 (java) S 1961 1964 32560 0 -1 1077944384 34899 13155 0 0 2031 63 5 3 20 0 15 0 76823470 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739617683728 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2022] ppid=1961 vsize=10850656 memory=4357128 CPUtime=0.73 cores=0,2,4,6
/proc/1964/task/2022/stat : 2022 (java) S 1961 1964 32560 0 -1 1077944384 56914 13155 0 0 57 8 5 3 20 0 15 0 76823472 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739116043120 139740046076546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2023] ppid=1961 vsize=10850656 memory=4357128 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2023/stat : 2023 (java) S 1961 1964 32560 0 -1 1077944384 21 13155 0 0 0 0 5 3 20 0 15 0 76823472 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739042670176 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2024] ppid=1961 vsize=10850656 memory=644 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2024/stat : 2024 (java) S 1961 1964 32560 0 -1 1077944384 6 13155 0 0 0 0 5 3 20 0 15 0 76823473 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139738841343360 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2025] ppid=1961 vsize=10850656 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2025/stat : 2025 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823475 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139738601052496 139740046083995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2026] ppid=1961 vsize=10850656 memory=22804 CPUtime=8.9 cores=0,2,4,6
/proc/1964/task/2026/stat : 2026 (java) S 1961 1964 32560 0 -1 1077944384 50221 13155 0 0 877 5 5 3 20 0 15 0 76823475 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739114989936 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2027] ppid=1961 vsize=10850656 memory=4357128 CPUtime=8.35 cores=0,2,4,6
/proc/1964/task/2027/stat : 2027 (java) S 1961 1964 32560 0 -1 1077944384 48771 13155 0 0 822 5 5 3 20 0 15 0 76823475 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739113937136 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2028] ppid=1961 vsize=10850656 memory=4357128 CPUtime=2.73 cores=0,2,4,6
/proc/1964/task/2028/stat : 2028 (java) S 1961 1964 32560 0 -1 1077944384 35065 13155 0 0 259 6 5 3 20 0 15 0 76823475 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739112884336 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2029] ppid=1961 vsize=10850656 memory=4357128 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2029/stat : 2029 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823476 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139738567493856 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2030] ppid=1961 vsize=10850656 memory=4357128 CPUtime=1.5 cores=0,2,4,6
/proc/1964/task/2030/stat : 2030 (java) S 1961 1964 32560 0 -1 1077944384 4342 13155 0 0 71 71 5 3 20 0 15 0 76823476 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739111832752 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4357128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2436.55 s]
# the end of solver process 1964 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.08 s, system=4.07712 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2436.5 s]
/proc/loadavg: 1.77 1.68 1.60 3/216 2110
/proc/meminfo: memFree=12113752/32770624 swapFree=67108796/67108860
[pid=1964] ppid=1961 vsize=10850656 memory=4357128 CPUtime=2520.09 cores=0,2,4,6
/proc/1964/stat : 1964 (java) S 1961 1964 32560 0 -1 1077944320 609646 13155 0 0 251600 401 5 3 20 0 15 0 76823460 11111071744 1089282 33554432000 4194304 4196468 140729422741376 140729422723920 139740046065399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
/proc/1964/statm: 2712664 1089282 3533 1 0 2674317 0
[pid=1964/tid=2017] ppid=1961 vsize=10850656 memory=4357128 CPUtime=2414.43 cores=0,2,4,6
/proc/1964/task/2017/stat : 2017 (java) R 1961 1964 32560 0 -1 4202560 253390 13155 0 0 241358 77 5 3 20 0 15 0 76823470 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139740017899392 139739670267968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2018] ppid=1961 vsize=10850656 memory=4357128 CPUtime=21.04 cores=0,2,4,6
/proc/1964/task/2018/stat : 2018 (java) S 1961 1964 32560 0 -1 1077944384 41982 13155 0 0 2035 61 5 3 20 0 15 0 76823470 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139740050307728 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2019] ppid=1961 vsize=10850656 memory=4357128 CPUtime=20.96 cores=0,2,4,6
/proc/1964/task/2019/stat : 2019 (java) S 1961 1964 32560 0 -1 1077944384 38559 13155 0 0 2026 62 5 3 20 0 15 0 76823470 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739619789328 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2020] ppid=1961 vsize=10850656 memory=4357128 CPUtime=21.05 cores=0,2,4,6
/proc/1964/task/2020/stat : 2020 (java) S 1961 1964 32560 0 -1 1077944384 43279 13155 0 0 2038 59 5 3 20 0 15 0 76823470 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739618736528 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2021] ppid=1961 vsize=10850656 memory=4357128 CPUtime=21.02 cores=0,2,4,6
/proc/1964/task/2021/stat : 2021 (java) S 1961 1964 32560 0 -1 1077944384 34899 13155 0 0 2031 63 5 3 20 0 15 0 76823470 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739617683728 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2022] ppid=1961 vsize=10850656 memory=4357128 CPUtime=0.73 cores=0,2,4,6
/proc/1964/task/2022/stat : 2022 (java) S 1961 1964 32560 0 -1 1077944384 56914 13155 0 0 57 8 5 3 20 0 15 0 76823472 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739116043120 139740046076546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2023] ppid=1961 vsize=10850656 memory=4357128 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2023/stat : 2023 (java) S 1961 1964 32560 0 -1 1077944384 21 13155 0 0 0 0 5 3 20 0 15 0 76823472 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739042670176 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2024] ppid=1961 vsize=10850656 memory=644 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2024/stat : 2024 (java) S 1961 1964 32560 0 -1 1077944384 6 13155 0 0 0 0 5 3 20 0 15 0 76823473 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139738841343360 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2025] ppid=1961 vsize=10850656 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2025/stat : 2025 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823475 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139738601052496 139740046083995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2026] ppid=1961 vsize=10850656 memory=22804 CPUtime=8.9 cores=0,2,4,6
/proc/1964/task/2026/stat : 2026 (java) S 1961 1964 32560 0 -1 1077944384 50221 13155 0 0 877 5 5 3 20 0 15 0 76823475 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739114989936 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2027] ppid=1961 vsize=10850656 memory=4357128 CPUtime=8.35 cores=0,2,4,6
/proc/1964/task/2027/stat : 2027 (java) S 1961 1964 32560 0 -1 1077944384 48771 13155 0 0 822 5 5 3 20 0 15 0 76823475 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739113937136 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2028] ppid=1961 vsize=10850656 memory=4357128 CPUtime=2.73 cores=0,2,4,6
/proc/1964/task/2028/stat : 2028 (java) S 1961 1964 32560 0 -1 1077944384 35065 13155 0 0 259 6 5 3 20 0 15 0 76823475 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739112884336 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2029] ppid=1961 vsize=10850656 memory=4357128 CPUtime=0.08 cores=0,2,4,6
/proc/1964/task/2029/stat : 2029 (java) S 1961 1964 32560 0 -1 1077944384 3 13155 0 0 0 0 5 3 20 0 15 0 76823476 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139738567493856 139740046075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
[pid=1964/tid=2030] ppid=1961 vsize=10850656 memory=4357128 CPUtime=1.5 cores=0,2,4,6
/proc/1964/task/2030/stat : 2030 (java) S 1961 1964 32560 0 -1 1077944384 4342 13155 0 0 71 71 5 3 20 0 15 0 76823476 11111071744 1089282 33554432000 4194304 4196468 140729422741376 139739111832752 139740046076546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21880832 140729422743723 140729422746972 140729422746972 140729422749647 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 4357128 KiB
Child status: 143
Real time (s): 2436.55
CPU time (s): 2520.16
CPU user time (s): 2516.08
CPU system time (s): 4.07712
CPU usage (%): 103.431
Max. virtual memory (cumulated for all children) (KiB): 10853368
Max. memory (cumulated for all children) (KiB): 4508864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.08
system time used= 4.07712
maximum resident set size= 4508864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 627109
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67900
involuntary context switches= 3504
# summary of solver processes directly reported to runsolver:
# pid: 1964
# total CPU time (s): 2520.16
# total CPU user time (s): 2516.08
# total CPU system time (s): 4.07712
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4517 second user time and 20.8835 second system time
The end