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 (7839 MiB free)
memory of node 1: 16384 MiB (5884 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304355-1534061122/watcher-4304355-1534061122 -o /tmp/evaluation-result-4304355-1534061122/solver-4304355-1534061122 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534039158-26716 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1448051362 HOME/instance-4304355-1534061122.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=30971, runsolver pid=30968
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 1.60 1.55 1.59 3/206 31028
/proc/meminfo: memFree=14045580/32770624 swapFree=67108844/67108860
[pid=30971] ppid=30968 vsize=10021560 memory=17336 CPUtime=0.08 cores=1,3,5,7
/proc/30971/stat : 30971 (java) S 30968 30971 25584 0 -1 1077944320 4498 12909 0 0 1 0 5 2 20 0 6 0 223675386 10262077440 4334 33554432000 4194304 4196468 140735854162032 140735854144576 139781029949175 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
/proc/30971/statm: 2505390 4334 1957 1 0 2493828 0
[pid=30971/tid=31024] ppid=30968 vsize=10021560 memory=4279135704013701262 CPUtime=0.08 cores=1,3,5,7
/proc/30971/task/31024/stat : 31024 (java) R 30968 30971 25584 0 -1 4202560 2316 12909 0 0 1 0 5 2 20 0 6 0 223675394 10262077440 4334 33554432000 4194304 4196468 140735854162032 139781001785936 139781015474173 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31025] ppid=30968 vsize=10021560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31025/stat : 31025 (java) S 30968 30971 25584 0 -1 1077944384 1 12909 0 0 0 0 5 2 20 0 6 0 223675395 10262077440 4334 33554432000 4194304 4196468 140735854162032 139781034191632 139781029959381 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31026] ppid=30968 vsize=10021560 memory=140397052257920 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31026/stat : 31026 (java) S 30968 30971 25584 0 -1 1077944384 1 12909 0 0 0 0 5 2 20 0 6 0 223675395 10262077440 4334 33554432000 4194304 4196468 140735854162032 139780569357200 139781029959381 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31027] ppid=30968 vsize=10021560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31027/stat : 31027 (java) S 30968 30971 25584 0 -1 1077944384 2 12909 0 0 0 0 5 2 20 0 6 0 223675395 10262077440 4334 33554432000 4194304 4196468 140735854162032 139780568304656 139781029959381 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31028] ppid=30968 vsize=10021560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31028/stat : 31028 (java) S 30968 30971 25584 0 -1 1077944384 2 12909 0 0 0 0 5 2 20 0 6 0 223675395 10262077440 4334 33554432000 4194304 4196468 140735854162032 139780567252112 139781029959381 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10021560 KiB
Current children cumulated memory: 17336 KiB
[startup+0.209846 s]*
/proc/loadavg: 1.60 1.55 1.59 3/215 31037
/proc/meminfo: memFree=14023100/32770624 swapFree=67108844/67108860
[pid=30971] ppid=30968 vsize=10983736 memory=46332 CPUtime=0.26 cores=1,3,5,7
/proc/30971/stat : 30971 (java) S 30968 30971 25584 0 -1 1077944320 8262 12909 0 0 17 2 5 2 20 0 15 0 223675386 11247345664 11583 33554432000 4194304 4196468 140735854162032 140735854144576 139781029949175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
/proc/30971/statm: 2745934 11583 2954 1 0 2708357 0
[pid=30971/tid=31024] ppid=30968 vsize=10983736 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/30971/task/31024/stat : 31024 (java) R 30968 30971 25584 0 -1 4202560 4892 12909 0 0 10 1 5 2 20 0 15 0 223675394 11247345664 11649 33554432000 4194304 4196468 140735854162032 139781001773984 139781022628893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31025] ppid=30968 vsize=10983736 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31025/stat : 31025 (java) S 30968 30971 25584 0 -1 1077944384 1 12909 0 0 0 0 5 2 20 0 15 0 223675395 11247345664 11649 33554432000 4194304 4196468 140735854162032 139781034191632 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31026] ppid=30968 vsize=10983736 memory=288370773203969664 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31026/stat : 31026 (java) S 30968 30971 25584 0 -1 1077944384 1 12909 0 0 0 0 5 2 20 0 15 0 223675395 11247345664 11649 33554432000 4194304 4196468 140735854162032 139780569357200 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31027] ppid=30968 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31027/stat : 31027 (java) S 30968 30971 25584 0 -1 1077944384 2 12909 0 0 0 0 5 2 20 0 15 0 223675395 11249012736 11649 33554432000 4194304 4196468 140735854162032 139780568304656 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31028] ppid=30968 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31028/stat : 31028 (java) S 30968 30971 25584 0 -1 1077944384 2 12909 0 0 0 0 5 2 20 0 15 0 223675395 11249012736 11715 33554432000 4194304 4196468 140735854162032 139780567252112 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31029] ppid=30968 vsize=10985364 memory=140397052257920 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31029/stat : 31029 (java) S 30968 30971 25584 0 -1 1077944384 2 12909 0 0 0 0 5 2 20 0 15 0 223675397 11249012736 11715 33554432000 4194304 4196468 140735854162032 139780522997744 139781029960322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31030] ppid=30968 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31030/stat : 31030 (java) S 30968 30971 25584 0 -1 1077944384 13 12909 0 0 0 0 5 2 20 0 15 0 223675397 11249012736 11715 33554432000 4194304 4196468 140735854162032 139779844858784 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31031] ppid=30968 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31031/stat : 31031 (java) S 30968 30971 25584 0 -1 1077944384 1 12909 0 0 0 0 5 2 20 0 15 0 223675397 11249012736 11715 33554432000 4194304 4196468 140735854162032 139779643532272 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31032] ppid=30968 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31032/stat : 31032 (java) S 30968 30971 25584 0 -1 1077944384 3 12909 0 0 0 0 5 2 20 0 15 0 223675400 11249012736 11715 33554432000 4194304 4196468 140735854162032 139779336132816 139781029967771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31033] ppid=30968 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30971/task/31033/stat : 31033 (java) S 30968 30971 25584 0 -1 1077944384 351 12909 0 0 1 0 5 2 20 0 15 0 223675400 11249012736 11781 33554432000 4194304 4196468 140735854162032 139780521945584 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31034] ppid=30968 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31034/stat : 31034 (java) S 30968 30971 25584 0 -1 1077944384 258 12909 0 0 0 0 5 2 20 0 15 0 223675400 11249012736 11781 33554432000 4194304 4196468 140735854162032 139780520893040 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31035] ppid=30968 vsize=10985364 memory=140397052257920 CPUtime=0.1 cores=1,3,5,7
/proc/30971/task/31035/stat : 31035 (java) S 30968 30971 25584 0 -1 1077944384 606 12909 0 0 3 0 5 2 20 0 15 0 223675400 11249012736 11781 33554432000 4194304 4196468 140735854162032 139780519840496 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31036] ppid=30968 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31036/stat : 31036 (java) S 30968 30971 25584 0 -1 1077944384 3 12909 0 0 0 0 5 2 20 0 15 0 223675400 11249012736 11781 33554432000 4194304 4196468 140735854162032 139778905336928 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31037] ppid=30968 vsize=10985364 memory=140397052257920 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31037/stat : 31037 (java) S 30968 30971 25584 0 -1 1077944384 1 12909 0 0 0 0 5 2 20 0 15 0 223675400 11249012736 11781 33554432000 4194304 4196468 140735854162032 139780518787376 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10983736 KiB
Current children cumulated memory: 46332 KiB
[startup+0.31025 s]*
/proc/loadavg: 1.60 1.55 1.59 3/215 31037
/proc/meminfo: memFree=14009332/32770624 swapFree=67108844/67108860
[pid=30971] ppid=30968 vsize=10983192 memory=56260 CPUtime=0.38 cores=1,3,5,7
/proc/30971/stat : 30971 (java) S 30968 30971 25584 0 -1 1077944320 10643 12909 0 0 29 2 5 2 20 0 15 0 223675386 11246788608 14065 33554432000 4194304 4196468 140735854162032 140735854144576 139781029949175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
/proc/30971/statm: 2745798 14065 3073 1 0 2708109 0
[pid=30971/tid=31024] ppid=30968 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/30971/task/31024/stat : 31024 (java) R 30968 30971 25584 0 -1 4202560 7203 12909 0 0 19 2 5 2 20 0 15 0 223675394 11246788608 14065 33554432000 4194304 4196468 140735854162032 139781001761184 139781010594050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31025] ppid=30968 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31025/stat : 31025 (java) S 30968 30971 25584 0 -1 1077944384 1 12909 0 0 0 0 5 2 20 0 15 0 223675395 11246788608 14065 33554432000 4194304 4196468 140735854162032 139781034191632 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31026] ppid=30968 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31026/stat : 31026 (java) S 30968 30971 25584 0 -1 1077944384 1 12909 0 0 0 0 5 2 20 0 15 0 223675395 11246788608 14065 33554432000 4194304 4196468 140735854162032 139780569357200 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31027] ppid=30968 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31027/stat : 31027 (java) S 30968 30971 25584 0 -1 1077944384 2 12909 0 0 0 0 5 2 20 0 15 0 223675395 11246788608 14065 33554432000 4194304 4196468 140735854162032 139780568304656 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31028] ppid=30968 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31028/stat : 31028 (java) S 30968 30971 25584 0 -1 1077944384 2 12909 0 0 0 0 5 2 20 0 15 0 223675395 11246788608 14065 33554432000 4194304 4196468 140735854162032 139780567252112 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31029] ppid=30968 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31029/stat : 31029 (java) S 30968 30971 25584 0 -1 1077944384 2 12909 0 0 0 0 5 2 20 0 15 0 223675397 11246788608 14065 33554432000 4194304 4196468 140735854162032 139780522997744 139781029960322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31030] ppid=30968 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31030/stat : 31030 (java) S 30968 30971 25584 0 -1 1077944384 13 12909 0 0 0 0 5 2 20 0 15 0 223675397 11246788608 14065 33554432000 4194304 4196468 140735854162032 139779844858784 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31031] ppid=30968 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31031/stat : 31031 (java) S 30968 30971 25584 0 -1 1077944384 1 12909 0 0 0 0 5 2 20 0 15 0 223675397 11246788608 14065 33554432000 4194304 4196468 140735854162032 139779643532272 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31032] ppid=30968 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31032/stat : 31032 (java) S 30968 30971 25584 0 -1 1077944384 3 12909 0 0 0 0 5 2 20 0 15 0 223675400 11246788608 14065 33554432000 4194304 4196468 140735854162032 139779336132816 139781029967771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31033] ppid=30968 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30971/task/31033/stat : 31033 (java) S 30968 30971 25584 0 -1 1077944384 352 12909 0 0 2 0 5 2 20 0 15 0 223675400 11246788608 14065 33554432000 4194304 4196468 140735854162032 139780521945584 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31034] ppid=30968 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30971/task/31034/stat : 31034 (java) S 30968 30971 25584 0 -1 1077944384 258 12909 0 0 1 0 5 2 20 0 15 0 223675400 11246788608 14065 33554432000 4194304 4196468 140735854162032 139780520893040 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31035] ppid=30968 vsize=10983192 memory=140397052257920 CPUtime=0.12 cores=1,3,5,7
/proc/30971/task/31035/stat : 31035 (java) R 30968 30971 25584 0 -1 4202560 614 12909 0 0 5 0 5 2 20 0 15 0 223675400 11246788608 14065 33554432000 4194304 4196468 140735854162032 139780519840496 139781022186302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31036] ppid=30968 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31036/stat : 31036 (java) S 30968 30971 25584 0 -1 1077944384 3 12909 0 0 0 0 5 2 20 0 15 0 223675400 11246788608 14065 33554432000 4194304 4196468 140735854162032 139778905336928 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31037] ppid=30968 vsize=10983192 memory=140397052257920 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31037/stat : 31037 (java) S 30968 30971 25584 0 -1 1077944384 1 12909 0 0 0 0 5 2 20 0 15 0 223675400 11246788608 14065 33554432000 4194304 4196468 140735854162032 139780518787376 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56260 KiB
[startup+0.700785 s]
/proc/loadavg: 1.60 1.55 1.59 3/215 31037
/proc/meminfo: memFree=14000916/32770624 swapFree=67108844/67108860
[pid=30971] ppid=30968 vsize=10983192 memory=88760 CPUtime=0.98 cores=1,3,5,7
/proc/30971/stat : 30971 (java) S 30968 30971 25584 0 -1 1077944320 16754 12909 0 0 87 4 5 2 20 0 15 0 223675386 11246788608 22190 33554432000 4194304 4196468 140735854162032 140735854144576 139781029949175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
/proc/30971/statm: 2745798 22190 3238 1 0 2708109 0
[pid=30971/tid=31024] ppid=30968 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/30971/task/31024/stat : 31024 (java) R 30968 30971 25584 0 -1 4202560 12221 12909 0 0 56 3 5 2 20 0 15 0 223675394 11246788608 22190 33554432000 4194304 4196468 140735854162032 139781001770000 139781010225064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31025] ppid=30968 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31025/stat : 31025 (java) S 30968 30971 25584 0 -1 1077944384 1 12909 0 0 0 0 5 2 20 0 15 0 223675395 11246788608 22190 33554432000 4194304 4196468 140735854162032 139781034191632 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31026] ppid=30968 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31026/stat : 31026 (java) S 30968 30971 25584 0 -1 1077944384 1 12909 0 0 0 0 5 2 20 0 15 0 223675395 11246788608 22190 33554432000 4194304 4196468 140735854162032 139780569357200 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31027] ppid=30968 vsize=10983192 memory=140396911014672 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31027/stat : 31027 (java) S 30968 30971 25584 0 -1 1077944384 2 12909 0 0 0 0 5 2 20 0 15 0 223675395 11246788608 22190 33554432000 4194304 4196468 140735854162032 139780568304656 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31028] ppid=30968 vsize=10983192 memory=140398185939540 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31028/stat : 31028 (java) S 30968 30971 25584 0 -1 1077944384 2 12909 0 0 0 0 5 2 20 0 15 0 223675395 11246788608 22190 33554432000 4194304 4196468 140735854162032 139780567252112 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31029] ppid=30968 vsize=10983192 memory=5776 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31029/stat : 31029 (java) S 30968 30971 25584 0 -1 1077944384 6 12909 0 0 0 0 5 2 20 0 15 0 223675397 11246788608 22190 33554432000 4194304 4196468 140735854162032 139780522997744 139781029960322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31030] ppid=30968 vsize=10983192 memory=7662705889289527641 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31030/stat : 31030 (java) S 30968 30971 25584 0 -1 1077944384 13 12909 0 0 0 0 5 2 20 0 15 0 223675397 11246788608 22190 33554432000 4194304 4196468 140735854162032 139779844858784 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31031] ppid=30968 vsize=10983192 memory=6082220498109623144 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31031/stat : 31031 (java) S 30968 30971 25584 0 -1 1077944384 1 12909 0 0 0 0 5 2 20 0 15 0 223675397 11246788608 22190 33554432000 4194304 4196468 140735854162032 139779643532272 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31032] ppid=30968 vsize=10983192 memory=12708 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31032/stat : 31032 (java) S 30968 30971 25584 0 -1 1077944384 3 12909 0 0 0 0 5 2 20 0 15 0 223675400 11246788608 22190 33554432000 4194304 4196468 140735854162032 139779336132816 139781029967771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31033] ppid=30968 vsize=10983192 memory=33460 CPUtime=0.14 cores=1,3,5,7
/proc/30971/task/31033/stat : 31033 (java) S 30968 30971 25584 0 -1 1077944384 753 12909 0 0 7 0 5 2 20 0 15 0 223675400 11246788608 22190 33554432000 4194304 4196468 140735854162032 139780521945584 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31034] ppid=30968 vsize=10983192 memory=2324 CPUtime=0.16 cores=1,3,5,7
/proc/30971/task/31034/stat : 31034 (java) S 30968 30971 25584 0 -1 1077944384 891 12909 0 0 9 0 5 2 20 0 15 0 223675400 11246788608 22190 33554432000 4194304 4196468 140735854162032 139780520893040 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31035] ppid=30968 vsize=10983192 memory=1584 CPUtime=0.2 cores=1,3,5,7
/proc/30971/task/31035/stat : 31035 (java) S 30968 30971 25584 0 -1 1077944384 668 12909 0 0 13 0 5 2 20 0 15 0 223675400 11246788608 22190 33554432000 4194304 4196468 140735854162032 139780519840496 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31036] ppid=30968 vsize=10983192 memory=496 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31036/stat : 31036 (java) S 30968 30971 25584 0 -1 1077944384 3 12909 0 0 0 0 5 2 20 0 15 0 223675400 11246788608 22190 33554432000 4194304 4196468 140735854162032 139778905336928 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31037] ppid=30968 vsize=10983192 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31037/stat : 31037 (java) S 30968 30971 25584 0 -1 1077944384 1 12909 0 0 0 0 5 2 20 0 15 0 223675400 11246788608 22190 33554432000 4194304 4196468 140735854162032 139780518787376 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88760 KiB
[startup+1.50081 s]
/proc/loadavg: 1.60 1.55 1.59 3/215 31037
/proc/meminfo: memFree=13954504/32770624 swapFree=67108844/67108860
[pid=30971] ppid=30968 vsize=10998092 memory=198752 CPUtime=2.95 cores=1,3,5,7
/proc/30971/stat : 30971 (java) S 30968 30971 25584 0 -1 1077944320 25234 12909 0 0 279 9 5 2 20 0 15 0 223675386 11262046208 49688 33554432000 4194304 4196468 140735854162032 140735854144576 139781029949175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
/proc/30971/statm: 2749523 49688 3477 1 0 2711181 0
[pid=30971/tid=31024] ppid=30968 vsize=10998092 memory=65312 CPUtime=1.41 cores=1,3,5,7
/proc/30971/task/31024/stat : 31024 (java) R 30968 30971 25584 0 -1 4202560 17194 12909 0 0 129 5 5 2 20 0 15 0 223675394 11262046208 49688 33554432000 4194304 4196468 140735854162032 139781001766320 139781029971101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31025] ppid=30968 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/30971/task/31025/stat : 31025 (java) S 30968 30971 25584 0 -1 1077944384 70 12909 0 0 1 0 5 2 20 0 15 0 223675395 11262046208 49688 33554432000 4194304 4196468 140735854162032 139781034191632 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31026] ppid=30968 vsize=10998092 memory=280793822060704 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31026/stat : 31026 (java) S 30968 30971 25584 0 -1 1077944384 170 12909 0 0 0 0 5 2 20 0 15 0 223675395 11262046208 49688 33554432000 4194304 4196468 140735854162032 139780569357200 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31027] ppid=30968 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30971/task/31027/stat : 31027 (java) S 30968 30971 25584 0 -1 1077944384 16 12909 0 0 1 0 5 2 20 0 15 0 223675395 11262046208 49688 33554432000 4194304 4196468 140735854162032 139780568304656 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31028] ppid=30968 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30971/task/31028/stat : 31028 (java) S 30968 30971 25584 0 -1 1077944384 64 12909 0 0 1 0 5 2 20 0 15 0 223675395 11262046208 49688 33554432000 4194304 4196468 140735854162032 139780567252112 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31029] ppid=30968 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30971/task/31029/stat : 31029 (java) S 30968 30971 25584 0 -1 1077944384 118 12909 0 0 1 0 5 2 20 0 15 0 223675397 11262046208 49688 33554432000 4194304 4196468 140735854162032 139780522997744 139781029960322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31030] ppid=30968 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31030/stat : 31030 (java) S 30968 30971 25584 0 -1 1077944384 13 12909 0 0 0 0 5 2 20 0 15 0 223675397 11262046208 49688 33554432000 4194304 4196468 140735854162032 139779844858784 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31031] ppid=30968 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31031/stat : 31031 (java) S 30968 30971 25584 0 -1 1077944384 2 12909 0 0 0 0 5 2 20 0 15 0 223675397 11262046208 49688 33554432000 4194304 4196468 140735854162032 139779643532272 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31032] ppid=30968 vsize=10998092 memory=-2746958450906831424 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31032/stat : 31032 (java) S 30968 30971 25584 0 -1 1077944384 3 12909 0 0 0 0 5 2 20 0 15 0 223675400 11262046208 49688 33554432000 4194304 4196468 140735854162032 139779336132816 139781029967771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31033] ppid=30968 vsize=10998092 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/30971/task/31033/stat : 31033 (java) R 30968 30971 25584 0 -1 4202560 2359 12909 0 0 56 0 5 2 20 0 15 0 223675400 11262046208 49688 33554432000 4194304 4196468 140735854162032 139780521931464 139781014868200 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31034] ppid=30968 vsize=10998092 memory=10 CPUtime=0.47 cores=1,3,5,7
/proc/30971/task/31034/stat : 31034 (java) S 30968 30971 25584 0 -1 1077944384 1444 12909 0 0 40 0 5 2 20 0 15 0 223675400 11262046208 49688 33554432000 4194304 4196468 140735854162032 139780520893040 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31035] ppid=30968 vsize=10998092 memory=6791534058613427641 CPUtime=0.5 cores=1,3,5,7
/proc/30971/task/31035/stat : 31035 (java) S 30968 30971 25584 0 -1 1077944384 1589 12909 0 0 43 0 5 2 20 0 15 0 223675400 11262046208 49688 33554432000 4194304 4196468 140735854162032 139780519840496 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31036] ppid=30968 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31036/stat : 31036 (java) S 30968 30971 25584 0 -1 1077944384 3 12909 0 0 0 0 5 2 20 0 15 0 223675400 11262046208 49688 33554432000 4194304 4196468 140735854162032 139778905336928 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31037] ppid=30968 vsize=10998092 memory=280793822305152 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31037/stat : 31037 (java) S 30968 30971 25584 0 -1 1077944384 1 12909 0 0 0 0 5 2 20 0 15 0 223675400 11262046208 49688 33554432000 4194304 4196468 140735854162032 139780518787376 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/30971/task/31024/stat : 31024 (java) R 30968 30971 25584 0 -1 4202560 102846 12909 0 0 235494 63 5 2 20 0 15 0 223675394 11343855616 383036 33554432000 4194304 4196468 140735854162032 139781001783984 139780618547791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31025] ppid=30968 vsize=11077984 memory=3952 CPUtime=13.07 cores=1,3,5,7
/proc/30971/task/31025/stat : 31025 (java) S 30968 30971 25584 0 -1 1077944384 22762 12909 0 0 1243 57 5 2 20 0 15 0 223675395 11343855616 383036 33554432000 4194304 4196468 140735854162032 139781034191632 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31026] ppid=30968 vsize=11077984 memory=1532144 CPUtime=13.06 cores=1,3,5,7
/proc/30971/task/31026/stat : 31026 (java) S 30968 30971 25584 0 -1 1077944384 23835 12909 0 0 1240 59 5 2 20 0 15 0 223675395 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780569357200 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31027] ppid=30968 vsize=11077984 memory=1532144 CPUtime=13.12 cores=1,3,5,7
/proc/30971/task/31027/stat : 31027 (java) S 30968 30971 25584 0 -1 1077944384 21928 12909 0 0 1249 56 5 2 20 0 15 0 223675395 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780568304656 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31028] ppid=30968 vsize=11077984 memory=1532144 CPUtime=13.07 cores=1,3,5,7
/proc/30971/task/31028/stat : 31028 (java) S 30968 30971 25584 0 -1 1077944384 28912 12909 0 0 1240 60 5 2 20 0 15 0 223675395 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780567252112 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31029] ppid=30968 vsize=11077984 memory=1532144 CPUtime=10.76 cores=1,3,5,7
/proc/30971/task/31029/stat : 31029 (java) S 30968 30971 25584 0 -1 1077944384 20028 12909 0 0 1015 54 5 2 20 0 15 0 223675397 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780522997744 139781029960322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31030] ppid=30968 vsize=11077984 memory=1532144 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31030/stat : 31030 (java) S 30968 30971 25584 0 -1 1077944384 15 12909 0 0 0 0 5 2 20 0 15 0 223675397 11343855616 383036 33554432000 4194304 4196468 140735854162032 139779844858912 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31031] ppid=30968 vsize=11077984 memory=1532144 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31031/stat : 31031 (java) S 30968 30971 25584 0 -1 1077944384 2 12909 0 0 0 0 5 2 20 0 15 0 223675397 11343855616 383036 33554432000 4194304 4196468 140735854162032 139779643532288 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31032] ppid=30968 vsize=11077984 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31032/stat : 31032 (java) S 30968 30971 25584 0 -1 1077944384 3 12909 0 0 0 0 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139779336132816 139781029967771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31033] ppid=30968 vsize=11077984 memory=33 CPUtime=7.2 cores=1,3,5,7
/proc/30971/task/31033/stat : 31033 (java) S 30968 30971 25584 0 -1 1077944384 54205 12909 0 0 706 7 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780521945584 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31034] ppid=30968 vsize=11077984 memory=1532144 CPUtime=7.23 cores=1,3,5,7
/proc/30971/task/31034/stat : 31034 (java) S 30968 30971 25584 0 -1 1077944384 58441 12909 0 0 710 6 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780520893040 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31035] ppid=30968 vsize=11077984 memory=1532144 CPUtime=3.96 cores=1,3,5,7
/proc/30971/task/31035/stat : 31035 (java) S 30968 30971 25584 0 -1 1077944384 58001 12909 0 0 381 8 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780519840496 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31036] ppid=30968 vsize=11077984 memory=1532144 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31036/stat : 31036 (java) S 30968 30971 25584 0 -1 1077944384 3 12909 0 0 0 0 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139778905336928 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31037] ppid=30968 vsize=11077984 memory=924 CPUtime=1.61 cores=1,3,5,7
/proc/30971/task/31037/stat : 31037 (java) S 30968 30971 25584 0 -1 1077944384 1893 12909 0 0 70 84 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780518787376 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
Current children cumulated CPU time: 2438.22 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1532144 KiB
[startup+2442.3 s]
/proc/loadavg: 0.69 0.90 1.19 2/194 31157
/proc/meminfo: memFree=15365036/32770624 swapFree=67108844/67108860
[pid=30971] ppid=30968 vsize=11077984 memory=1532144 CPUtime=2499.32 cores=1,3,5,7
/proc/30971/stat : 30971 (java) S 30968 30971 25584 0 -1 1077944320 399875 12909 0 0 249523 402 5 2 20 0 15 0 223675386 11343855616 383036 33554432000 4194304 4196468 140735854162032 140735854144576 139781029949175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
/proc/30971/statm: 2769496 383036 3529 1 0 2731149 0
[pid=30971/tid=31024] ppid=30968 vsize=11077984 memory=1532144 CPUtime=2414.98 cores=1,3,5,7
/proc/30971/task/31024/stat : 31024 (java) R 30968 30971 25584 0 -1 4202560 103948 12909 0 0 241428 63 5 2 20 0 15 0 223675394 11343855616 383036 33554432000 4194304 4196468 140735854162032 139781001783968 139780618555158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31025] ppid=30968 vsize=11077984 memory=1532144 CPUtime=13.43 cores=1,3,5,7
/proc/30971/task/31025/stat : 31025 (java) S 30968 30971 25584 0 -1 1077944384 23030 12909 0 0 1278 58 5 2 20 0 15 0 223675395 11343855616 383036 33554432000 4194304 4196468 140735854162032 139781034191632 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31026] ppid=30968 vsize=11077984 memory=1532144 CPUtime=13.42 cores=1,3,5,7
/proc/30971/task/31026/stat : 31026 (java) S 30968 30971 25584 0 -1 1077944384 23991 12909 0 0 1275 60 5 2 20 0 15 0 223675395 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780569357200 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31027] ppid=30968 vsize=11077984 memory=1532144 CPUtime=13.48 cores=1,3,5,7
/proc/30971/task/31027/stat : 31027 (java) S 30968 30971 25584 0 -1 1077944384 23524 12909 0 0 1284 57 5 2 20 0 15 0 223675395 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780568304656 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31028] ppid=30968 vsize=11077984 memory=1532144 CPUtime=13.43 cores=1,3,5,7
/proc/30971/task/31028/stat : 31028 (java) S 30968 30971 25584 0 -1 1077944384 30180 12909 0 0 1275 61 5 2 20 0 15 0 223675395 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780567252112 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31029] ppid=30968 vsize=11077984 memory=1532144 CPUtime=11.04 cores=1,3,5,7
/proc/30971/task/31029/stat : 31029 (java) S 30968 30971 25584 0 -1 1077944384 20422 12909 0 0 1042 55 5 2 20 0 15 0 223675397 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780522997744 139781029960322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31030] ppid=30968 vsize=11077984 memory=1532144 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31030/stat : 31030 (java) S 30968 30971 25584 0 -1 1077944384 15 12909 0 0 0 0 5 2 20 0 15 0 223675397 11343855616 383036 33554432000 4194304 4196468 140735854162032 139779844858912 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31031] ppid=30968 vsize=11077984 memory=1532144 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31031/stat : 31031 (java) S 30968 30971 25584 0 -1 1077944384 2 12909 0 0 0 0 5 2 20 0 15 0 223675397 11343855616 383036 33554432000 4194304 4196468 140735854162032 139779643532288 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31032] ppid=30968 vsize=11077984 memory=1532144 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31032/stat : 31032 (java) S 30968 30971 25584 0 -1 1077944384 3 12909 0 0 0 0 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139779336132816 139781029967771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31033] ppid=30968 vsize=11077984 memory=928 CPUtime=7.2 cores=1,3,5,7
/proc/30971/task/31033/stat : 31033 (java) S 30968 30971 25584 0 -1 1077944384 54207 12909 0 0 706 7 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780521945584 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31034] ppid=30968 vsize=11077984 memory=6791534058613427641 CPUtime=7.24 cores=1,3,5,7
/proc/30971/task/31034/stat : 31034 (java) S 30968 30971 25584 0 -1 1077944384 58444 12909 0 0 711 6 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780520893040 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31035] ppid=30968 vsize=11077984 memory=10464 CPUtime=3.96 cores=1,3,5,7
/proc/30971/task/31035/stat : 31035 (java) S 30968 30971 25584 0 -1 1077944384 58004 12909 0 0 381 8 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780519840496 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31036] ppid=30968 vsize=11077984 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31036/stat : 31036 (java) S 30968 30971 25584 0 -1 1077944384 3 12909 0 0 0 0 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139778905336928 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31037] ppid=30968 vsize=11077984 memory=1408 CPUtime=1.65 cores=1,3,5,7
/proc/30971/task/31037/stat : 31037 (java) S 30968 30971 25584 0 -1 1077944384 1914 12909 0 0 72 86 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780518787376 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
Current children cumulated CPU time: 2499.32 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1532144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2462.7 s]
/proc/loadavg: 0.50 0.84 1.16 2/194 31157
/proc/meminfo: memFree=15365036/32770624 swapFree=67108844/67108860
[pid=30971] ppid=30968 vsize=11077984 memory=1532144 CPUtime=2520.08 cores=1,3,5,7
/proc/30971/stat : 30971 (java) S 30968 30971 25584 0 -1 1077944320 401559 12909 0 0 251596 405 5 2 20 0 15 0 223675386 11343855616 383036 33554432000 4194304 4196468 140735854162032 140735854144576 139781029949175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
/proc/30971/statm: 2769496 383036 3529 1 0 2731149 0
[pid=30971/tid=31024] ppid=30968 vsize=11077984 memory=1532144 CPUtime=2435.15 cores=1,3,5,7
/proc/30971/task/31024/stat : 31024 (java) R 30968 30971 25584 0 -1 4202560 104506 12909 0 0 243444 64 5 2 20 0 15 0 223675394 11343855616 383036 33554432000 4194304 4196468 140735854162032 139781001784176 139780603255584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31025] ppid=30968 vsize=11077984 memory=1532144 CPUtime=13.56 cores=1,3,5,7
/proc/30971/task/31025/stat : 31025 (java) S 30968 30971 25584 0 -1 1077944384 23067 12909 0 0 1290 59 5 2 20 0 15 0 223675395 11343855616 383036 33554432000 4194304 4196468 140735854162032 139781034191632 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31026] ppid=30968 vsize=11077984 memory=1532144 CPUtime=13.55 cores=1,3,5,7
/proc/30971/task/31026/stat : 31026 (java) S 30968 30971 25584 0 -1 1077944384 24147 12909 0 0 1287 61 5 2 20 0 15 0 223675395 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780569357200 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31027] ppid=30968 vsize=11077984 memory=1532144 CPUtime=13.61 cores=1,3,5,7
/proc/30971/task/31027/stat : 31027 (java) S 30968 30971 25584 0 -1 1077944384 23546 12909 0 0 1296 58 5 2 20 0 15 0 223675395 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780568304656 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31028] ppid=30968 vsize=11077984 memory=1532144 CPUtime=13.56 cores=1,3,5,7
/proc/30971/task/31028/stat : 31028 (java) S 30968 30971 25584 0 -1 1077944384 30745 12909 0 0 1287 62 5 2 20 0 15 0 223675395 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780567252112 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31029] ppid=30968 vsize=11077984 memory=2324 CPUtime=11.14 cores=1,3,5,7
/proc/30971/task/31029/stat : 31029 (java) S 30968 30971 25584 0 -1 1077944384 20742 12909 0 0 1051 56 5 2 20 0 15 0 223675397 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780522997744 139781029960322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31030] ppid=30968 vsize=11077984 memory=1532144 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31030/stat : 31030 (java) S 30968 30971 25584 0 -1 1077944384 15 12909 0 0 0 0 5 2 20 0 15 0 223675397 11343855616 383036 33554432000 4194304 4196468 140735854162032 139779844858912 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31031] ppid=30968 vsize=11077984 memory=1532144 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31031/stat : 31031 (java) S 30968 30971 25584 0 -1 1077944384 2 12909 0 0 0 0 5 2 20 0 15 0 223675397 11343855616 383036 33554432000 4194304 4196468 140735854162032 139779643532288 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31032] ppid=30968 vsize=11077984 memory=1532144 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31032/stat : 31032 (java) S 30968 30971 25584 0 -1 1077944384 3 12909 0 0 0 0 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139779336132816 139781029967771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31033] ppid=30968 vsize=11077984 memory=68 CPUtime=7.2 cores=1,3,5,7
/proc/30971/task/31033/stat : 31033 (java) S 30968 30971 25584 0 -1 1077944384 54210 12909 0 0 706 7 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780521945584 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31034] ppid=30968 vsize=11077984 memory=7306339903198685797 CPUtime=7.24 cores=1,3,5,7
/proc/30971/task/31034/stat : 31034 (java) S 30968 30971 25584 0 -1 1077944384 58446 12909 0 0 711 6 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780520893040 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31035] ppid=30968 vsize=11077984 memory=1534204 CPUtime=3.96 cores=1,3,5,7
/proc/30971/task/31035/stat : 31035 (java) S 30968 30971 25584 0 -1 1077944384 58007 12909 0 0 381 8 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780519840496 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31036] ppid=30968 vsize=11077984 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31036/stat : 31036 (java) S 30968 30971 25584 0 -1 1077944384 3 12909 0 0 0 0 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139778905336928 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31037] ppid=30968 vsize=11077984 memory=5776 CPUtime=1.66 cores=1,3,5,7
/proc/30971/task/31037/stat : 31037 (java) S 30968 30971 25584 0 -1 1077944384 1932 12909 0 0 73 86 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780518787376 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1532144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2462.74 s]
# the end of solver process 30971 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.04 s, system=4.11095 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2462.7 s]
/proc/loadavg: 0.50 0.84 1.16 2/194 31157
/proc/meminfo: memFree=15365036/32770624 swapFree=67108844/67108860
[pid=30971] ppid=30968 vsize=11077984 memory=1532144 CPUtime=2520.08 cores=1,3,5,7
/proc/30971/stat : 30971 (java) S 30968 30971 25584 0 -1 1077944320 401559 12909 0 0 251596 405 5 2 20 0 15 0 223675386 11343855616 383036 33554432000 4194304 4196468 140735854162032 140735854144576 139781029949175 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
/proc/30971/statm: 2769496 383036 3529 1 0 2731149 0
[pid=30971/tid=31024] ppid=30968 vsize=11077984 memory=1532144 CPUtime=2435.15 cores=1,3,5,7
/proc/30971/task/31024/stat : 31024 (java) R 30968 30971 25584 0 -1 4202560 104506 12909 0 0 243444 64 5 2 20 0 15 0 223675394 11343855616 383036 33554432000 4194304 4196468 140735854162032 139781001784176 139780603255584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31025] ppid=30968 vsize=11077984 memory=1532144 CPUtime=13.56 cores=1,3,5,7
/proc/30971/task/31025/stat : 31025 (java) S 30968 30971 25584 0 -1 1077944384 23067 12909 0 0 1290 59 5 2 20 0 15 0 223675395 11343855616 383036 33554432000 4194304 4196468 140735854162032 139781034191632 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31026] ppid=30968 vsize=11077984 memory=1532144 CPUtime=13.55 cores=1,3,5,7
/proc/30971/task/31026/stat : 31026 (java) S 30968 30971 25584 0 -1 1077944384 24147 12909 0 0 1287 61 5 2 20 0 15 0 223675395 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780569357200 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31027] ppid=30968 vsize=11077984 memory=1532144 CPUtime=13.61 cores=1,3,5,7
/proc/30971/task/31027/stat : 31027 (java) S 30968 30971 25584 0 -1 1077944384 23546 12909 0 0 1296 58 5 2 20 0 15 0 223675395 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780568304656 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31028] ppid=30968 vsize=11077984 memory=1532144 CPUtime=13.56 cores=1,3,5,7
/proc/30971/task/31028/stat : 31028 (java) S 30968 30971 25584 0 -1 1077944384 30745 12909 0 0 1287 62 5 2 20 0 15 0 223675395 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780567252112 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31029] ppid=30968 vsize=11077984 memory=2324 CPUtime=11.14 cores=1,3,5,7
/proc/30971/task/31029/stat : 31029 (java) S 30968 30971 25584 0 -1 1077944384 20742 12909 0 0 1051 56 5 2 20 0 15 0 223675397 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780522997744 139781029960322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31030] ppid=30968 vsize=11077984 memory=1532144 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31030/stat : 31030 (java) S 30968 30971 25584 0 -1 1077944384 15 12909 0 0 0 0 5 2 20 0 15 0 223675397 11343855616 383036 33554432000 4194304 4196468 140735854162032 139779844858912 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31031] ppid=30968 vsize=11077984 memory=1532144 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31031/stat : 31031 (java) S 30968 30971 25584 0 -1 1077944384 2 12909 0 0 0 0 5 2 20 0 15 0 223675397 11343855616 383036 33554432000 4194304 4196468 140735854162032 139779643532288 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31032] ppid=30968 vsize=11077984 memory=1532144 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31032/stat : 31032 (java) S 30968 30971 25584 0 -1 1077944384 3 12909 0 0 0 0 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139779336132816 139781029967771 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31033] ppid=30968 vsize=11077984 memory=68 CPUtime=7.2 cores=1,3,5,7
/proc/30971/task/31033/stat : 31033 (java) S 30968 30971 25584 0 -1 1077944384 54210 12909 0 0 706 7 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780521945584 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31034] ppid=30968 vsize=11077984 memory=7306339903198685797 CPUtime=7.24 cores=1,3,5,7
/proc/30971/task/31034/stat : 31034 (java) S 30968 30971 25584 0 -1 1077944384 58446 12909 0 0 711 6 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780520893040 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31035] ppid=30968 vsize=11077984 memory=1534204 CPUtime=3.96 cores=1,3,5,7
/proc/30971/task/31035/stat : 31035 (java) S 30968 30971 25584 0 -1 1077944384 58007 12909 0 0 381 8 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780519840496 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31036] ppid=30968 vsize=11077984 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/30971/task/31036/stat : 31036 (java) S 30968 30971 25584 0 -1 1077944384 3 12909 0 0 0 0 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139778905336928 139781029959381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
[pid=30971/tid=31037] ppid=30968 vsize=11077984 memory=5776 CPUtime=1.66 cores=1,3,5,7
/proc/30971/task/31037/stat : 31037 (java) S 30968 30971 25584 0 -1 1077944384 1932 12909 0 0 73 86 5 2 20 0 15 0 223675400 11343855616 383036 33554432000 4194304 4196468 140735854162032 139780518787376 139781029960322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 34553856 140735854164588 140735854167388 140735854167388 140735854170063 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1532144 KiB
Child status: 143
Real time (s): 2462.74
CPU time (s): 2520.15
CPU user time (s): 2516.04
CPU system time (s): 4.11095
CPU usage (%): 102.331
Max. virtual memory (cumulated for all children) (KiB): 11080620
Max. memory (cumulated for all children) (KiB): 1717564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.04
system time used= 4.11095
maximum resident set size= 1719104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 418576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 288095
involuntary context switches= 5248
# summary of solver processes directly reported to runsolver:
# pid: 30971
# total CPU time (s): 2520.15
# total CPU user time (s): 2516.04
# total CPU system time (s): 4.11095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4116 second user time and 21.5955 second system time
The end