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 (5702 MiB free)
memory of node 1: 16384 MiB (9733 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293998-1532413607/watcher-4293998-1532413607 -o /tmp/evaluation-result-4293998-1532413607/solver-4293998-1532413607 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532413601-12741 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2132434447 -superng HOME/instance-4293998-1532413607.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=12965, runsolver pid=12962
Current StackSize limit: 8192 KiB
[startup+0.101055 s]*
/proc/loadavg: 1.90 1.98 2.03 2/210 13022
/proc/meminfo: memFree=15797720/32770624 swapFree=67108860/67108860
[pid=12965] ppid=12962 vsize=9972712 memory=18860 CPUtime=0.08 cores=1,3,5,7
/proc/12965/stat : 12965 (java) S 12962 12965 12709 0 -1 1077944320 4360 13398 0 0 1 0 4 3 20 0 6 0 58923990 10212057088 4715 33554432000 4194304 4196468 140721544488288 140721544470832 140167559024375 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
/proc/12965/statm: 2493178 4715 1934 1 0 2481616 0
[pid=12965/tid=13018] ppid=12962 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=1,3,5,7
/proc/12965/task/13018/stat : 13018 (java) R 12962 12965 12709 0 -1 4202560 2180 13398 0 0 1 0 4 3 20 0 6 0 58923999 10212057088 4715 33554432000 4194304 4196468 140721544488288 140167530861136 140167540402358 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13019] ppid=12962 vsize=9972712 memory=5793855305536428473 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13019/stat : 13019 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 6 0 58923999 10212057088 4715 33554432000 4194304 4196468 140721544488288 140167563266576 140167559034581 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13020] ppid=12962 vsize=9972712 memory=140054526535296 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13020/stat : 13020 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 6 0 58923999 10212057088 4715 33554432000 4194304 4196468 140721544488288 140167467469456 140167559034581 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13021] ppid=12962 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13021/stat : 13021 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 6 0 58923999 10212057088 4715 33554432000 4194304 4196468 140721544488288 140167130962192 140167559034581 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13022] ppid=12962 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13022/stat : 13022 (java) S 12962 12965 12709 0 -1 1077944384 2 13398 0 0 0 0 4 3 20 0 6 0 58923999 10212057088 4715 33554432000 4194304 4196468 140721544488288 140167129909648 140167559034581 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18860 KiB
[startup+0.20996 s]*
/proc/loadavg: 1.90 1.98 2.03 3/219 13031
/proc/meminfo: memFree=15704732/32770624 swapFree=67108860/67108860
[pid=12965] ppid=12962 vsize=10818936 memory=49172 CPUtime=0.25 cores=1,3,5,7
/proc/12965/stat : 12965 (java) S 12962 12965 12709 0 -1 1077944320 9141 13398 0 0 16 2 4 3 20 0 15 0 58923990 11078590464 12227 33554432000 4194304 4196468 140721544488288 140721544470832 140167559024375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
/proc/12965/statm: 2704734 12293 2940 1 0 2667157 0
[pid=12965/tid=13018] ppid=12962 vsize=10818936 memory=-8540663193526752614 CPUtime=0.18 cores=1,3,5,7
/proc/12965/task/13018/stat : 13018 (java) R 12962 12965 12709 0 -1 4202560 5875 13398 0 0 10 1 4 3 20 0 15 0 58923999 11078590464 12346 33554432000 4194304 4196468 140721544488288 140167530849184 140167551704093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13019] ppid=12962 vsize=10818936 memory=4211973780731325834 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13019/stat : 13019 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 15 0 58923999 11078590464 12346 33554432000 4194304 4196468 140721544488288 140167563266576 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13020] ppid=12962 vsize=10818936 memory=140054526535296 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13020/stat : 13020 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 15 0 58923999 11078590464 12346 33554432000 4194304 4196468 140721544488288 140167467469456 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13021] ppid=12962 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13021/stat : 13021 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 15 0 58923999 11078590464 12346 33554432000 4194304 4196468 140721544488288 140167130962192 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13022] ppid=12962 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13022/stat : 13022 (java) S 12962 12965 12709 0 -1 1077944384 2 13398 0 0 0 0 4 3 20 0 15 0 58923999 11078590464 12346 33554432000 4194304 4196468 140721544488288 140167129909648 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13023] ppid=12962 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13023/stat : 13023 (java) S 12962 12965 12709 0 -1 1077944384 2 13398 0 0 0 0 4 3 20 0 15 0 58924001 11078590464 12346 33554432000 4194304 4196468 140721544488288 140167085656816 140167559035522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13024] ppid=12962 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13024/stat : 13024 (java) S 12962 12965 12709 0 -1 1077944384 13 13398 0 0 0 0 4 3 20 0 15 0 58924001 11078590464 12346 33554432000 4194304 4196468 140721544488288 140166995895968 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13025] ppid=12962 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13025/stat : 13025 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 15 0 58924001 11078557696 12346 33554432000 4194304 4196468 140721544488288 140166526133488 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13026] ppid=12962 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13026/stat : 13026 (java) S 12962 12965 12709 0 -1 1077944384 2 13398 0 0 0 0 4 3 20 0 15 0 58924004 11078557696 12346 33554432000 4194304 4196468 140721544488288 140166257699280 140167559042971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13027] ppid=12962 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12965/task/13027/stat : 13027 (java) S 12962 12965 12709 0 -1 1077944384 514 13398 0 0 1 0 4 3 20 0 15 0 58924004 11078557696 12346 33554432000 4194304 4196468 140721544488288 140167084603632 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13028] ppid=12962 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13028/stat : 13028 (java) S 12962 12965 12709 0 -1 1077944384 56 13398 0 0 0 0 4 3 20 0 15 0 58924004 11078557696 12346 33554432000 4194304 4196468 140721544488288 140167083551088 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13029] ppid=12962 vsize=10818904 memory=140054526535296 CPUtime=0.1 cores=1,3,5,7
/proc/12965/task/13029/stat : 13029 (java) S 12962 12965 12709 0 -1 1077944384 559 13398 0 0 3 0 4 3 20 0 15 0 58924004 11078557696 12346 33554432000 4194304 4196468 140721544488288 140167082498032 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13030] ppid=12962 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13030/stat : 13030 (java) S 12962 12965 12709 0 -1 1077944384 3 13398 0 0 0 0 4 3 20 0 15 0 58924004 11078557696 12346 33554432000 4194304 4196468 140721544488288 140165787937120 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13031] ppid=12962 vsize=10818904 memory=140054526535296 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13031/stat : 13031 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 15 0 58924005 11078557696 12346 33554432000 4194304 4196468 140721544488288 140167081446448 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 49172 KiB
[startup+0.310547 s]*
/proc/loadavg: 1.90 1.98 2.03 3/219 13031
/proc/meminfo: memFree=15586268/32770624 swapFree=67108860/67108860
[pid=12965] ppid=12962 vsize=10819352 memory=57260 CPUtime=0.38 cores=1,3,5,7
/proc/12965/stat : 12965 (java) S 12962 12965 12709 0 -1 1077944320 10447 13398 0 0 28 3 4 3 20 0 15 0 58923990 11079016448 14315 33554432000 4194304 4196468 140721544488288 140721544470832 140167559024375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
/proc/12965/statm: 2704838 14315 3059 1 0 2667149 0
[pid=12965/tid=13018] ppid=12962 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/12965/task/13018/stat : 13018 (java) R 12962 12965 12709 0 -1 4202560 7075 13398 0 0 19 2 4 3 20 0 15 0 58923999 11079016448 14315 33554432000 4194304 4196468 140721544488288 140167530836384 140167542211209 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13019] ppid=12962 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13019/stat : 13019 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 15 0 58923999 11079016448 14315 33554432000 4194304 4196468 140721544488288 140167563266576 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13020] ppid=12962 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13020/stat : 13020 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 15 0 58923999 11079016448 14315 33554432000 4194304 4196468 140721544488288 140167467469456 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13021] ppid=12962 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13021/stat : 13021 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 15 0 58923999 11079016448 14315 33554432000 4194304 4196468 140721544488288 140167130962192 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13022] ppid=12962 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13022/stat : 13022 (java) S 12962 12965 12709 0 -1 1077944384 2 13398 0 0 0 0 4 3 20 0 15 0 58923999 11079016448 14315 33554432000 4194304 4196468 140721544488288 140167129909648 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13023] ppid=12962 vsize=10819352 memory=140054526535295 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13023/stat : 13023 (java) S 12962 12965 12709 0 -1 1077944384 2 13398 0 0 0 0 4 3 20 0 15 0 58924001 11079016448 14315 33554432000 4194304 4196468 140721544488288 140167085656816 140167559035522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13024] ppid=12962 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13024/stat : 13024 (java) S 12962 12965 12709 0 -1 1077944384 13 13398 0 0 0 0 4 3 20 0 15 0 58924001 11079016448 14315 33554432000 4194304 4196468 140721544488288 140166995895968 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13025] ppid=12962 vsize=10819352 memory=140054526535296 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13025/stat : 13025 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 15 0 58924001 11079016448 14315 33554432000 4194304 4196468 140721544488288 140166526133488 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13026] ppid=12962 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13026/stat : 13026 (java) S 12962 12965 12709 0 -1 1077944384 2 13398 0 0 0 0 4 3 20 0 15 0 58924004 11079016448 14315 33554432000 4194304 4196468 140721544488288 140166257699280 140167559042971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13027] ppid=12962 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12965/task/13027/stat : 13027 (java) S 12962 12965 12709 0 -1 1077944384 514 13398 0 0 1 0 4 3 20 0 15 0 58924004 11079016448 14315 33554432000 4194304 4196468 140721544488288 140167084603632 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13028] ppid=12962 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12965/task/13028/stat : 13028 (java) S 12962 12965 12709 0 -1 1077944384 57 13398 0 0 1 0 4 3 20 0 15 0 58924004 11079016448 14315 33554432000 4194304 4196468 140721544488288 140167083551088 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13029] ppid=12962 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12965/task/13029/stat : 13029 (java) S 12962 12965 12709 0 -1 1077944384 582 13398 0 0 5 0 4 3 20 0 15 0 58924004 11079016448 14315 33554432000 4194304 4196468 140721544488288 140167082498032 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13030] ppid=12962 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13030/stat : 13030 (java) S 12962 12965 12709 0 -1 1077944384 3 13398 0 0 0 0 4 3 20 0 15 0 58924004 11079016448 14315 33554432000 4194304 4196468 140721544488288 140165787937120 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13031] ppid=12962 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13031/stat : 13031 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 15 0 58924005 11079016448 14315 33554432000 4194304 4196468 140721544488288 140167081446448 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57260 KiB
[startup+0.700748 s]
/proc/loadavg: 1.90 1.98 2.03 4/219 13031
/proc/meminfo: memFree=15363228/32770624 swapFree=67108860/67108860
[pid=12965] ppid=12962 vsize=10819352 memory=90784 CPUtime=0.99 cores=1,3,5,7
/proc/12965/stat : 12965 (java) S 12962 12965 12709 0 -1 1077944320 16758 13398 0 0 87 5 4 3 20 0 15 0 58923990 11079016448 22696 33554432000 4194304 4196468 140721544488288 140721544470832 140167559024375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
/proc/12965/statm: 2704838 22696 3240 1 0 2667149 0
[pid=12965/tid=13018] ppid=12962 vsize=10819352 memory=18588 CPUtime=0.65 cores=1,3,5,7
/proc/12965/task/13018/stat : 13018 (java) R 12962 12965 12709 0 -1 4202560 12279 13398 0 0 55 3 4 3 20 0 15 0 58923999 11079016448 22696 33554432000 4194304 4196468 140721544488288 140167530845200 140167539299527 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13019] ppid=12962 vsize=10819352 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13019/stat : 13019 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 15 0 58923999 11079016448 22696 33554432000 4194304 4196468 140721544488288 140167563266576 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13020] ppid=12962 vsize=10819352 memory=140054387532275 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13020/stat : 13020 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 15 0 58923999 11079016448 22696 33554432000 4194304 4196468 140721544488288 140167467469456 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13021] ppid=12962 vsize=10819352 memory=140054588556171 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13021/stat : 13021 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 15 0 58923999 11079016448 22696 33554432000 4194304 4196468 140721544488288 140167130962192 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13022] ppid=12962 vsize=10819352 memory=1792 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13022/stat : 13022 (java) S 12962 12965 12709 0 -1 1077944384 2 13398 0 0 0 0 4 3 20 0 15 0 58923999 11079016448 22696 33554432000 4194304 4196468 140721544488288 140167129909648 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13023] ppid=12962 vsize=10819352 memory=6296143700806424935 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13023/stat : 13023 (java) S 12962 12965 12709 0 -1 1077944384 5 13398 0 0 0 0 4 3 20 0 15 0 58924001 11079016448 22696 33554432000 4194304 4196468 140721544488288 140167085656816 140167559035522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13024] ppid=12962 vsize=10819352 memory=8099279071866868837 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13024/stat : 13024 (java) S 12962 12965 12709 0 -1 1077944384 13 13398 0 0 0 0 4 3 20 0 15 0 58924001 11079016448 22696 33554432000 4194304 4196468 140721544488288 140166995895968 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13025] ppid=12962 vsize=10819352 memory=6004820471124940137 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13025/stat : 13025 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 15 0 58924001 11079016448 22696 33554432000 4194304 4196468 140721544488288 140166526133488 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13026] ppid=12962 vsize=10819352 memory=3054156605368933524 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13026/stat : 13026 (java) S 12962 12965 12709 0 -1 1077944384 2 13398 0 0 0 0 4 3 20 0 15 0 58924004 11079016448 22696 33554432000 4194304 4196468 140721544488288 140166257699280 140167559042971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13027] ppid=12962 vsize=10819352 memory=8326441112149131689 CPUtime=0.14 cores=1,3,5,7
/proc/12965/task/13027/stat : 13027 (java) S 12962 12965 12709 0 -1 1077944384 912 13398 0 0 7 0 4 3 20 0 15 0 58924004 11079016448 22696 33554432000 4194304 4196468 140721544488288 140167084603632 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13028] ppid=12962 vsize=10819352 memory=-7025452035940392864 CPUtime=0.17 cores=1,3,5,7
/proc/12965/task/13028/stat : 13028 (java) S 12962 12965 12709 0 -1 1077944384 668 13398 0 0 10 0 4 3 20 0 15 0 58924004 11079016448 22696 33554432000 4194304 4196468 140721544488288 140167083551088 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13029] ppid=12962 vsize=10819352 memory=6944656592452807326 CPUtime=0.2 cores=1,3,5,7
/proc/12965/task/13029/stat : 13029 (java) S 12962 12965 12709 0 -1 1077944384 677 13398 0 0 13 0 4 3 20 0 15 0 58924004 11079016448 22696 33554432000 4194304 4196468 140721544488288 140167082498032 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13030] ppid=12962 vsize=10819352 memory=-9178176116494409632 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13030/stat : 13030 (java) S 12962 12965 12709 0 -1 1077944384 3 13398 0 0 0 0 4 3 20 0 15 0 58924004 11079016448 22696 33554432000 4194304 4196468 140721544488288 140165787937120 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13031] ppid=12962 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13031/stat : 13031 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 15 0 58924005 11079016448 22696 33554432000 4194304 4196468 140721544488288 140167081446448 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90784 KiB
[startup+1.50306 s]
/proc/loadavg: 1.90 1.98 2.03 3/219 13031
/proc/meminfo: memFree=15174344/32770624 swapFree=67108860/67108860
[pid=12965] ppid=12962 vsize=10828108 memory=452120 CPUtime=2.76 cores=1,3,5,7
/proc/12965/stat : 12965 (java) S 12962 12965 12709 0 -1 1077944320 22961 13398 0 0 232 37 4 3 20 0 15 0 58923990 11087982592 113030 33554432000 4194304 4196468 140721544488288 140721544470832 140167559024375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
/proc/12965/statm: 2707027 113030 3468 1 0 2668685 0
[pid=12965/tid=13018] ppid=12962 vsize=10828108 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/12965/task/13018/stat : 13018 (java) R 12962 12965 12709 0 -1 4202560 14893 13398 0 0 118 8 4 3 20 0 15 0 58923999 11087982592 113030 33554432000 4194304 4196468 140721544488288 140167530858104 140167147948999 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13019] ppid=12962 vsize=10828108 memory=104688 CPUtime=0.16 cores=1,3,5,7
/proc/12965/task/13019/stat : 13019 (java) S 12962 12965 12709 0 -1 1077944384 547 13398 0 0 3 6 4 3 20 0 15 0 58923999 11087982592 113030 33554432000 4194304 4196468 140721544488288 140167563266576 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13020] ppid=12962 vsize=10828108 memory=5790086053191909267 CPUtime=0.18 cores=1,3,5,7
/proc/12965/task/13020/stat : 13020 (java) S 12962 12965 12709 0 -1 1077944384 162 13398 0 0 4 7 4 3 20 0 15 0 58923999 11087982592 113030 33554432000 4194304 4196468 140721544488288 140167467469456 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13021] ppid=12962 vsize=10828108 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/12965/task/13021/stat : 13021 (java) S 12962 12965 12709 0 -1 1077944384 245 13398 0 0 4 6 4 3 20 0 15 0 58923999 11087982592 113030 33554432000 4194304 4196468 140721544488288 140167130962192 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13022] ppid=12962 vsize=10828108 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/12965/task/13022/stat : 13022 (java) S 12962 12965 12709 0 -1 1077944384 156 13398 0 0 3 5 4 3 20 0 15 0 58923999 11087982592 113030 33554432000 4194304 4196468 140721544488288 140167129909648 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13023] ppid=12962 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13023/stat : 13023 (java) S 12962 12965 12709 0 -1 1077944384 97 13398 0 0 0 0 4 3 20 0 15 0 58924001 11087982592 113030 33554432000 4194304 4196468 140721544488288 140167085656816 140167559035522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13024] ppid=12962 vsize=10828108 memory=-6221781267475802396 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13024/stat : 13024 (java) S 12962 12965 12709 0 -1 1077944384 14 13398 0 0 0 0 4 3 20 0 15 0 58924001 11087982592 113030 33554432000 4194304 4196468 140721544488288 140166995896032 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13025] ppid=12962 vsize=10828108 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13025/stat : 13025 (java) S 12962 12965 12709 0 -1 1077944384 2 13398 0 0 0 0 4 3 20 0 15 0 58924001 11087982592 113030 33554432000 4194304 4196468 140721544488288 140166526133504 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13026] ppid=12962 vsize=10828108 memory=2196 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13026/stat : 13026 (java) S 12962 12965 12709 0 -1 1077944384 2 13398 0 0 0 0 4 3 20 0 15 0 58924004 11087982592 113030 33554432000 4194304 4196468 140721544488288 140166257699280 140167559042971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13027] ppid=12962 vsize=10828108 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/12965/task/13027/stat : 13027 (java) R 12962 12965 12709 0 -1 4202560 1453 13398 0 0 28 0 4 3 20 0 15 0 58924004 11087982592 113030 33554432000 4194304 4196468 140721544488288 140167084584832 140167559038262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13028] ppid=12962 vsize=10828108 memory=195987746384126 CPUtime=0.43 cores=1,3,5,7
/proc/12965/task/13028/stat : 13028 (java) R 12962 12965 12709 0 -1 4202560 1963 13398 0 0 36 0 4 3 20 0 15 0 58924004 11087982592 113030 33554432000 4194304 4196468 140721544488288 140167083539088 140167551261502 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13029] ppid=12962 vsize=10828108 memory=318075 CPUtime=0.39 cores=1,3,5,7
/proc/12965/task/13029/stat : 13029 (java) R 12962 12965 12709 0 -1 4202560 1231 13398 0 0 32 0 4 3 20 0 15 0 58924004 11087982592 113030 33554432000 4194304 4196468 140721544488288 140167082493984 140167537608526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13030] ppid=12962 vsize=10828108 memory=4638778424102965584 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13030/stat : 13030 (java) S 12962 12965 12709 0 -1 1077944384 3 13398 0 0 0 0 4 3 20 0 15 0 58924004 11087982592 113030 33554432000 4194304 4196468 140721544488288 140165787937120 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13031] ppid=12962 vsize=10828108 memory=6935649255776346176 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13031/stat : 13031 (java) S 12962 12965 12709 0 -1 1077944384 1 13398 0 0 0 0 4 3 20 0 15 0 58924005 11087982592 113030 33554432000 4194304 4196468 140721544488288 140167081446448 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
[startup+1154.37 s]
# the end of solver process 12965 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.72 s, system=15.1516 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1153.6 s]
/proc/loadavg: 4.70 3.82 2.87 6/219 13069
/proc/meminfo: memFree=5510184/32770624 swapFree=67108860/67108860
[pid=12965] ppid=12962 vsize=10912096 memory=8547712 CPUtime=2525.11 cores=1,3,5,7
/proc/12965/stat : 12965 (java) S 12962 12965 12709 0 -1 1077944320 923683 13398 1 0 250999 1505 4 3 20 0 15 0 58923990 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140721544470832 140167559024375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
/proc/12965/statm: 2728024 2136928 3516 1 0 2689677 0
[pid=12965/tid=13018] ppid=12962 vsize=10912096 memory=18604 CPUtime=666.43 cores=1,3,5,7
/proc/12965/task/13018/stat : 13018 (java) S 12962 12965 12709 0 -1 1077944384 97498 13398 0 0 66601 35 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167526286336 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13019] ppid=12962 vsize=10912096 memory=4872558044660077418 CPUtime=457.1 cores=1,3,5,7
/proc/12965/task/13019/stat : 13019 (java) R 12962 12965 12709 0 -1 4202560 146366 13398 0 0 45331 372 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167563266160 140167551652583 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13020] ppid=12962 vsize=10912096 memory=8547712 CPUtime=458.24 cores=1,3,5,7
/proc/12965/task/13020/stat : 13020 (java) R 12962 12965 12709 0 -1 4202560 143801 13398 1 0 45475 342 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167467469040 140167551652583 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13021] ppid=12962 vsize=10912096 memory=15868 CPUtime=458.61 cores=1,3,5,7
/proc/12965/task/13021/stat : 13021 (java) R 12962 12965 12709 0 -1 4202560 118210 13398 0 0 45510 344 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167130962080 140167543722150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13022] ppid=12962 vsize=10912096 memory=4012 CPUtime=456.07 cores=1,3,5,7
/proc/12965/task/13022/stat : 13022 (java) R 12962 12965 12709 0 -1 4202560 146759 13398 0 0 45240 360 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167129909544 140167551652583 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13023] ppid=12962 vsize=10912096 memory=-7003737579269690708 CPUtime=20.02 cores=1,3,5,7
/proc/12965/task/13023/stat : 13023 (java) S 12962 12965 12709 0 -1 1077944384 215048 13398 0 0 1979 16 4 3 20 0 15 0 58924001 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167085655136 140167559034581 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13024] ppid=12962 vsize=10912096 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13024/stat : 13024 (java) S 12962 12965 12709 0 -1 1077944384 15 13398 0 0 0 0 4 3 20 0 15 0 58924001 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140166995896096 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13025] ppid=12962 vsize=10912096 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13025/stat : 13025 (java) S 12962 12965 12709 0 -1 1077944384 9 13398 0 0 0 0 4 3 20 0 15 0 58924001 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140166526133504 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13026] ppid=12962 vsize=10912096 memory=-7003737579269690708 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13026/stat : 13026 (java) S 12962 12965 12709 0 -1 1077944384 12 13398 0 0 0 0 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140166257698928 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13027] ppid=12962 vsize=10912096 memory=8547712 CPUtime=3.19 cores=1,3,5,7
/proc/12965/task/13027/stat : 13027 (java) S 12962 12965 12709 0 -1 1077944384 14611 13398 0 0 309 3 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167084603392 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13028] ppid=12962 vsize=10912096 memory=792 CPUtime=3.61 cores=1,3,5,7
/proc/12965/task/13028/stat : 13028 (java) S 12962 12965 12709 0 -1 1077944384 14883 13398 0 0 351 3 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167083551136 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13029] ppid=12962 vsize=10912096 memory=1228 CPUtime=1.54 cores=1,3,5,7
/proc/12965/task/13029/stat : 13029 (java) S 12962 12965 12709 0 -1 1077944384 22529 13398 0 0 143 4 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167082498080 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13030] ppid=12962 vsize=10912096 memory=1948 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13030/stat : 13030 (java) S 12962 12965 12709 0 -1 1077944384 3 13398 0 0 0 0 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140165787937120 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13031] ppid=12962 vsize=10912096 memory=4872558044660077418 CPUtime=0.81 cores=1,3,5,7
/proc/12965/task/13031/stat : 13031 (java) S 12962 12965 12709 0 -1 1077944384 1744 13398 0 0 35 39 4 3 20 0 15 0 58924005 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167081446448 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
Current children cumulated CPU time: 2525.11 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 8547712 KiB
[startup+1154 s]*
/proc/loadavg: 4.64 3.83 2.88 3/219 13069
/proc/meminfo: memFree=5510680/32770624 swapFree=67108860/67108860
[pid=12965] ppid=12962 vsize=10912096 memory=8547712 CPUtime=2526.63 cores=1,3,5,7
/proc/12965/stat : 12965 (java) S 12962 12965 12709 0 -1 1077944320 936862 13398 1 0 251150 1506 4 3 20 0 15 0 58923990 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140721544470832 140167559024375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
/proc/12965/statm: 2728024 2136928 3516 1 0 2689677 0
[pid=12965/tid=13018] ppid=12962 vsize=10912096 memory=4872558044660077418 CPUtime=666.43 cores=1,3,5,7
/proc/12965/task/13018/stat : 13018 (java) S 12962 12965 12709 0 -1 1077944384 97498 13398 0 0 66601 35 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167526286336 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13019] ppid=12962 vsize=10912096 memory=-7003737579269690708 CPUtime=457.48 cores=1,3,5,7
/proc/12965/task/13019/stat : 13019 (java) S 12962 12965 12709 0 -1 1077944384 146368 13398 0 0 45369 372 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167563266576 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13020] ppid=12962 vsize=10912096 memory=928 CPUtime=458.61 cores=1,3,5,7
/proc/12965/task/13020/stat : 13020 (java) S 12962 12965 12709 0 -1 1077944384 143803 13398 1 0 45512 342 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167467469456 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13021] ppid=12962 vsize=10912096 memory=2244 CPUtime=458.99 cores=1,3,5,7
/proc/12965/task/13021/stat : 13021 (java) S 12962 12965 12709 0 -1 1077944384 118215 13398 0 0 45548 344 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167130962192 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13022] ppid=12962 vsize=10912096 memory=4132 CPUtime=456.45 cores=1,3,5,7
/proc/12965/task/13022/stat : 13022 (java) S 12962 12965 12709 0 -1 1077944384 146759 13398 0 0 45277 361 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167129909648 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13023] ppid=12962 vsize=10912096 memory=2790572 CPUtime=20.05 cores=1,3,5,7
/proc/12965/task/13023/stat : 13023 (java) R 12962 12965 12709 0 -1 4202560 228243 13398 0 0 1981 17 4 3 20 0 15 0 58924001 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167085655136 140167543555594 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13024] ppid=12962 vsize=10912096 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13024/stat : 13024 (java) S 12962 12965 12709 0 -1 1077944384 15 13398 0 0 0 0 4 3 20 0 15 0 58924001 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140166995896096 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13025] ppid=12962 vsize=10912096 memory=3208 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13025/stat : 13025 (java) S 12962 12965 12709 0 -1 1077944384 9 13398 0 0 0 0 4 3 20 0 15 0 58924001 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140166526133504 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13026] ppid=12962 vsize=10912096 memory=8547712 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13026/stat : 13026 (java) S 12962 12965 12709 0 -1 1077944384 12 13398 0 0 0 0 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140166257698928 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13027] ppid=12962 vsize=10912096 memory=4872558044660077418 CPUtime=3.19 cores=1,3,5,7
/proc/12965/task/13027/stat : 13027 (java) S 12962 12965 12709 0 -1 1077944384 14611 13398 0 0 309 3 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167084603392 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13028] ppid=12962 vsize=10912096 memory=-7003737579269690708 CPUtime=3.61 cores=1,3,5,7
/proc/12965/task/13028/stat : 13028 (java) S 12962 12965 12709 0 -1 1077944384 14883 13398 0 0 351 3 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167083551136 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13029] ppid=12962 vsize=10912096 memory=1792 CPUtime=1.54 cores=1,3,5,7
/proc/12965/task/13029/stat : 13029 (java) S 12962 12965 12709 0 -1 1077944384 22529 13398 0 0 143 4 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167082498080 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13030] ppid=12962 vsize=10912096 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13030/stat : 13030 (java) S 12962 12965 12709 0 -1 1077944384 3 13398 0 0 0 0 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140165787937120 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13031] ppid=12962 vsize=10912096 memory=644 CPUtime=0.81 cores=1,3,5,7
/proc/12965/task/13031/stat : 13031 (java) S 12962 12965 12709 0 -1 1077944384 1744 13398 0 0 35 39 4 3 20 0 15 0 58924005 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167081446448 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
Current children cumulated CPU time: 2526.63 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 8547712 KiB
[startup+1154.2 s]
/proc/loadavg: 4.64 3.83 2.88 3/219 13069
/proc/meminfo: memFree=5510680/32770624 swapFree=67108860/67108860
[pid=12965] ppid=12962 vsize=10912096 memory=8547712 CPUtime=2527.35 cores=1,3,5,7
/proc/12965/stat : 12965 (java) S 12962 12965 12709 0 -1 1077944320 939781 13398 1 0 251222 1506 4 3 20 0 15 0 58923990 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140721544470832 140167559024375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
/proc/12965/statm: 2728024 2136928 3516 1 0 2689677 0
[pid=12965/tid=13018] ppid=12962 vsize=10912096 memory=18604 CPUtime=666.43 cores=1,3,5,7
/proc/12965/task/13018/stat : 13018 (java) S 12962 12965 12709 0 -1 1077944384 97498 13398 0 0 66601 35 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167526286336 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13019] ppid=12962 vsize=10912096 memory=1296 CPUtime=457.65 cores=1,3,5,7
/proc/12965/task/13019/stat : 13019 (java) R 12962 12965 12709 0 -1 4202560 146369 13398 0 0 45386 372 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167563266576 140167540634061 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13020] ppid=12962 vsize=10912096 memory=4872558044660077418 CPUtime=458.79 cores=1,3,5,7
/proc/12965/task/13020/stat : 13020 (java) R 12962 12965 12709 0 -1 4202560 143803 13398 1 0 45530 342 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167467469456 140167543724223 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13021] ppid=12962 vsize=10912096 memory=288230596050944315 CPUtime=459.17 cores=1,3,5,7
/proc/12965/task/13021/stat : 13021 (java) R 12962 12965 12709 0 -1 4202560 118219 13398 0 0 45566 344 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167130962192 140167544013998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13022] ppid=12962 vsize=10912096 memory=16101468159609437 CPUtime=456.63 cores=1,3,5,7
/proc/12965/task/13022/stat : 13022 (java) R 12962 12965 12709 0 -1 4202560 146759 13398 0 0 45295 361 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167129909848 140167543724136 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13023] ppid=12962 vsize=10912096 memory=2296 CPUtime=20.06 cores=1,3,5,7
/proc/12965/task/13023/stat : 13023 (java) S 12962 12965 12709 0 -1 1077944384 231132 13398 0 0 1982 17 4 3 20 0 15 0 58924001 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167085655360 140167559034581 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13024] ppid=12962 vsize=10912096 memory=2600 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13024/stat : 13024 (java) S 12962 12965 12709 0 -1 1077944384 15 13398 0 0 0 0 4 3 20 0 15 0 58924001 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140166995896096 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13025] ppid=12962 vsize=10912096 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13025/stat : 13025 (java) S 12962 12965 12709 0 -1 1077944384 9 13398 0 0 0 0 4 3 20 0 15 0 58924001 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140166526133504 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13026] ppid=12962 vsize=10912096 memory=3128 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13026/stat : 13026 (java) S 12962 12965 12709 0 -1 1077944384 12 13398 0 0 0 0 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140166257698928 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13027] ppid=12962 vsize=10912096 memory=2791084 CPUtime=3.19 cores=1,3,5,7
/proc/12965/task/13027/stat : 13027 (java) S 12962 12965 12709 0 -1 1077944384 14611 13398 0 0 309 3 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167084603392 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13028] ppid=12962 vsize=10912096 memory=1408 CPUtime=3.61 cores=1,3,5,7
/proc/12965/task/13028/stat : 13028 (java) S 12962 12965 12709 0 -1 1077944384 14883 13398 0 0 351 3 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167083551136 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13029] ppid=12962 vsize=10912096 memory=3208 CPUtime=1.54 cores=1,3,5,7
/proc/12965/task/13029/stat : 13029 (java) S 12962 12965 12709 0 -1 1077944384 22529 13398 0 0 143 4 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167082498080 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13030] ppid=12962 vsize=10912096 memory=8547712 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13030/stat : 13030 (java) S 12962 12965 12709 0 -1 1077944384 3 13398 0 0 0 0 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140165787937120 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13031] ppid=12962 vsize=10912096 memory=6791534058613427641 CPUtime=0.81 cores=1,3,5,7
/proc/12965/task/13031/stat : 13031 (java) S 12962 12965 12709 0 -1 1077944384 1744 13398 0 0 35 39 4 3 20 0 15 0 58924005 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167081446448 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
Current children cumulated CPU time: 2527.35 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 8547712 KiB
[startup+1154.3 s]
/proc/loadavg: 4.64 3.83 2.88 3/219 13069
/proc/meminfo: memFree=5510680/32770624 swapFree=67108860/67108860
[pid=12965] ppid=12962 vsize=10912096 memory=8547712 CPUtime=2527.75 cores=1,3,5,7
/proc/12965/stat : 12965 (java) S 12962 12965 12709 0 -1 1077944320 939781 13398 1 0 251262 1506 4 3 20 0 15 0 58923990 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140721544470832 140167559024375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
/proc/12965/statm: 2728024 2136928 3516 1 0 2689677 0
[pid=12965/tid=13018] ppid=12962 vsize=10912096 memory=8547712 CPUtime=666.43 cores=1,3,5,7
/proc/12965/task/13018/stat : 13018 (java) S 12962 12965 12709 0 -1 1077944384 97498 13398 0 0 66601 35 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167526286336 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13019] ppid=12962 vsize=10912096 memory=18488 CPUtime=457.75 cores=1,3,5,7
/proc/12965/task/13019/stat : 13019 (java) R 12962 12965 12709 0 -1 4202560 146369 13398 0 0 45396 372 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167563266576 140167544013849 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13020] ppid=12962 vsize=10912096 memory=8547712 CPUtime=458.89 cores=1,3,5,7
/proc/12965/task/13020/stat : 13020 (java) R 12962 12965 12709 0 -1 4202560 143803 13398 1 0 45540 342 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167467469456 140167544014005 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13021] ppid=12962 vsize=10912096 memory=0 CPUtime=459.27 cores=1,3,5,7
/proc/12965/task/13021/stat : 13021 (java) R 12962 12965 12709 0 -1 4202560 118219 13398 0 0 45576 344 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167130962192 140167540634125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13022] ppid=12962 vsize=10912096 memory=43034 CPUtime=456.73 cores=1,3,5,7
/proc/12965/task/13022/stat : 13022 (java) R 12962 12965 12709 0 -1 4202560 146759 13398 0 0 45305 361 4 3 20 0 15 0 58923999 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167129909848 140167544020779 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13023] ppid=12962 vsize=10912096 memory=8547708 CPUtime=20.06 cores=1,3,5,7
/proc/12965/task/13023/stat : 13023 (java) S 12962 12965 12709 0 -1 1077944384 231132 13398 0 0 1982 17 4 3 20 0 15 0 58924001 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167085655360 140167559034581 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13024] ppid=12962 vsize=10912096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13024/stat : 13024 (java) S 12962 12965 12709 0 -1 1077944384 15 13398 0 0 0 0 4 3 20 0 15 0 58924001 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140166995896096 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13025] ppid=12962 vsize=10912096 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13025/stat : 13025 (java) S 12962 12965 12709 0 -1 1077944384 9 13398 0 0 0 0 4 3 20 0 15 0 58924001 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140166526133504 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13026] ppid=12962 vsize=10912096 memory=6947195313398703470 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13026/stat : 13026 (java) S 12962 12965 12709 0 -1 1077944384 12 13398 0 0 0 0 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140166257698928 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13027] ppid=12962 vsize=10912096 memory=8547712 CPUtime=3.19 cores=1,3,5,7
/proc/12965/task/13027/stat : 13027 (java) S 12962 12965 12709 0 -1 1077944384 14611 13398 0 0 309 3 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167084603392 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13028] ppid=12962 vsize=10912096 memory=1696 CPUtime=3.61 cores=1,3,5,7
/proc/12965/task/13028/stat : 13028 (java) S 12962 12965 12709 0 -1 1077944384 14883 13398 0 0 351 3 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167083551136 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13029] ppid=12962 vsize=10912096 memory=0 CPUtime=1.54 cores=1,3,5,7
/proc/12965/task/13029/stat : 13029 (java) S 12962 12965 12709 0 -1 1077944384 22529 13398 0 0 143 4 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167082498080 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13030] ppid=12962 vsize=10912096 memory=8547712 CPUtime=0.07 cores=1,3,5,7
/proc/12965/task/13030/stat : 13030 (java) S 12962 12965 12709 0 -1 1077944384 3 13398 0 0 0 0 4 3 20 0 15 0 58924004 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140165787937120 140167559034581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
[pid=12965/tid=13031] ppid=12962 vsize=10912096 memory=1444 CPUtime=0.81 cores=1,3,5,7
/proc/12965/task/13031/stat : 13031 (java) S 12962 12965 12709 0 -1 1077944384 1744 13398 0 0 35 39 4 3 20 0 15 0 58924005 11173986304 2136928 33554432000 4194304 4196468 140721544488288 140167081446448 140167559035522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26865664 140721544497323 140721544500572 140721544500572 140721544503247 0
Current children cumulated CPU time: 2527.75 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 8547712 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1154.37
CPU time (s): 2527.87
CPU user time (s): 2512.72
CPU system time (s): 15.1516
CPU usage (%): 218.983
Max. virtual memory (cumulated for all children) (KiB): 10912096
Max. memory (cumulated for all children) (KiB): 8547712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.72
system time used= 15.1516
maximum resident set size= 8547896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 953184
page faults= 1
swaps= 0
block input operations= 392
block output operations= 1568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65799
involuntary context switches= 24917
# summary of solver processes directly reported to runsolver:
# pid: 12965
# total CPU time (s): 2527.87
# total CPU user time (s): 2512.72
# total CPU system time (s): 15.1516
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38347 second user time and 12.0012 second system time
The end