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 (8589 MiB free)
memory of node 1: 16384 MiB (14547 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302657-1532896958/watcher-4302657-1532896958 -o /tmp/evaluation-result-4302657-1532896958/solver-4302657-1532896958 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532894180-24644 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=870108432 -superng HOME/instance-4302657-1532896958.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28829, runsolver pid=28826
[startup+0.100139 s]*
/proc/loadavg: 2.40 2.17 2.04 3/208 28886
/proc/meminfo: memFree=23683748/32770624 swapFree=67108792/67108860
[pid=28829] ppid=28826 vsize=10088124 memory=17604 CPUtime=0.09 cores=1,3,5,7
/proc/28829/stat : 28829 (java) S 28826 28829 22977 0 -1 1077944320 4550 12891 0 0 1 1 5 2 20 0 7 0 107259295 10330238976 4401 33554432000 4194304 4196468 140735282143296 140735282125840 139835764969207 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
/proc/28829/statm: 2522031 4401 1994 1 0 2510469 0
[pid=28829/tid=28882] ppid=28826 vsize=10088124 memory=4279135703979950990 CPUtime=0.08 cores=1,3,5,7
/proc/28829/task/28882/stat : 28882 (java) R 28826 28829 22977 0 -1 4202560 2391 12891 0 0 1 0 5 2 20 0 7 0 107259304 10330238976 4401 33554432000 4194304 4196468 140735282143296 139835736812304 139835749049694 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28883] ppid=28826 vsize=10088124 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28883/stat : 28883 (java) S 28826 28829 22977 0 -1 1077944384 2 12891 0 0 0 0 5 2 20 0 7 0 107259304 10330238976 4401 33554432000 4194304 4196468 140735282143296 139835769211408 139835764979413 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28884] ppid=28826 vsize=10088124 memory=140505929942656 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28884/stat : 28884 (java) S 28826 28829 22977 0 -1 1077944384 1 12891 0 0 0 0 5 2 20 0 7 0 107259304 10330238976 4467 33554432000 4194304 4196468 140735282143296 139835623930512 139835764979413 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28885] ppid=28826 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28885/stat : 28885 (java) S 28826 28829 22977 0 -1 1077944384 1 12891 0 0 0 0 5 2 20 0 7 0 107259304 10330238976 4467 33554432000 4194304 4196468 140735282143296 139835622877456 139835764979413 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28886] ppid=28826 vsize=10088124 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28886/stat : 28886 (java) S 28826 28829 22977 0 -1 1077944384 2 12891 0 0 0 0 5 2 20 0 7 0 107259304 10330238976 4467 33554432000 4194304 4196468 140735282143296 139835621824912 139835764979413 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28887] ppid=28826 vsize=10088124 memory=140505929942656 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28887/stat : 28887 (java) S 28826 28829 22977 0 -1 1077944384 2 12891 0 0 0 0 5 2 20 0 7 0 107259306 10330238976 4467 33554432000 4194304 4196468 140735282143296 139835190921968 139835764980354 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10088124 KiB
Current children cumulated memory: 17604 KiB
[startup+0.20982 s]*
/proc/loadavg: 2.40 2.17 2.04 3/217 28895
/proc/meminfo: memFree=23658748/32770624 swapFree=67108792/67108860
[pid=28829] ppid=28826 vsize=10982696 memory=45388 CPUtime=0.25 cores=1,3,5,7
/proc/28829/stat : 28829 (java) S 28826 28829 22977 0 -1 1077944320 8735 12891 0 0 16 2 5 2 20 0 15 0 107259295 11246280704 11347 33554432000 4194304 4196468 140735282143296 140735282125840 139835764969207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
/proc/28829/statm: 2745674 11347 2945 1 0 2708109 0
[pid=28829/tid=28882] ppid=28826 vsize=10982696 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/28829/task/28882/stat : 28882 (java) R 28826 28829 22977 0 -1 4202560 5275 12891 0 0 10 1 5 2 20 0 15 0 107259304 11246280704 11347 33554432000 4194304 4196468 140735282143296 139835736766336 139835746534169 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28883] ppid=28826 vsize=10982696 memory=343 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28883/stat : 28883 (java) S 28826 28829 22977 0 -1 1077944384 2 12891 0 0 0 0 5 2 20 0 15 0 107259304 11246280704 11347 33554432000 4194304 4196468 140735282143296 139835769211408 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28884] ppid=28826 vsize=10982696 memory=3978563026517165728 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28884/stat : 28884 (java) S 28826 28829 22977 0 -1 1077944384 1 12891 0 0 0 0 5 2 20 0 15 0 107259304 11246280704 11347 33554432000 4194304 4196468 140735282143296 139835623930512 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28885] ppid=28826 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28885/stat : 28885 (java) S 28826 28829 22977 0 -1 1077944384 1 12891 0 0 0 0 5 2 20 0 15 0 107259304 11246280704 11347 33554432000 4194304 4196468 140735282143296 139835622877456 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28886] ppid=28826 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28886/stat : 28886 (java) S 28826 28829 22977 0 -1 1077944384 2 12891 0 0 0 0 5 2 20 0 15 0 107259304 11246280704 11347 33554432000 4194304 4196468 140735282143296 139835621824912 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28887] ppid=28826 vsize=10982696 memory=140505929942656 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28887/stat : 28887 (java) S 28826 28829 22977 0 -1 1077944384 2 12891 0 0 0 0 5 2 20 0 15 0 107259306 11246280704 11347 33554432000 4194304 4196468 140735282143296 139835190921968 139835764980354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28888] ppid=28826 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28888/stat : 28888 (java) S 28826 28829 22977 0 -1 1077944384 13 12891 0 0 0 0 5 2 20 0 15 0 107259306 11246280704 11347 33554432000 4194304 4196468 140735282143296 139834605692576 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28889] ppid=28826 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28889/stat : 28889 (java) S 28826 28829 22977 0 -1 1077944384 1 12891 0 0 0 0 5 2 20 0 15 0 107259306 11246280704 11347 33554432000 4194304 4196468 140735282143296 139834404365552 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28890] ppid=28826 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28890/stat : 28890 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259309 11246280704 11347 33554432000 4194304 4196468 140735282143296 139834096966096 139835764987803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28891] ppid=28826 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28829/task/28891/stat : 28891 (java) S 28826 28829 22977 0 -1 1077944384 413 12891 0 0 1 0 5 2 20 0 15 0 107259309 11246280704 11347 33554432000 4194304 4196468 140735282143296 139835189868784 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28892] ppid=28826 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28829/task/28892/stat : 28892 (java) S 28826 28829 22977 0 -1 1077944384 189 12891 0 0 1 0 5 2 20 0 15 0 107259309 11246280704 11347 33554432000 4194304 4196468 140735282143296 139835188816240 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28893] ppid=28826 vsize=10982696 memory=140505929942656 CPUtime=0.1 cores=1,3,5,7
/proc/28829/task/28893/stat : 28893 (java) S 28826 28829 22977 0 -1 1077944384 637 12891 0 0 3 0 5 2 20 0 15 0 107259309 11246280704 11347 33554432000 4194304 4196468 140735282143296 139835187763184 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28894] ppid=28826 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28894/stat : 28894 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259309 11246280704 11347 33554432000 4194304 4196468 140735282143296 139833666169184 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28895] ppid=28826 vsize=10982696 memory=140505929942656 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28895/stat : 28895 (java) S 28826 28829 22977 0 -1 1077944384 1 12891 0 0 0 0 5 2 20 0 15 0 107259309 11246280704 11347 33554432000 4194304 4196468 140735282143296 139835186711600 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45388 KiB
[startup+0.310239 s]*
/proc/loadavg: 2.40 2.17 2.04 3/217 28895
/proc/meminfo: memFree=23649320/32770624 swapFree=67108792/67108860
[pid=28829] ppid=28826 vsize=10983192 memory=56732 CPUtime=0.38 cores=1,3,5,7
/proc/28829/stat : 28829 (java) S 28826 28829 22977 0 -1 1077944320 10776 12891 0 0 28 3 5 2 20 0 15 0 107259295 11246788608 14183 33554432000 4194304 4196468 140735282143296 140735282125840 139835764969207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
/proc/28829/statm: 2745798 14183 3077 1 0 2708109 0
[pid=28829/tid=28882] ppid=28826 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/28829/task/28882/stat : 28882 (java) R 28826 28829 22977 0 -1 4202560 7312 12891 0 0 19 2 5 2 20 0 15 0 107259304 11246788608 14183 33554432000 4194304 4196468 140735282143296 139835736781216 139835749049694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28883] ppid=28826 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28883/stat : 28883 (java) S 28826 28829 22977 0 -1 1077944384 2 12891 0 0 0 0 5 2 20 0 15 0 107259304 11246788608 14183 33554432000 4194304 4196468 140735282143296 139835769211408 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28884] ppid=28826 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28884/stat : 28884 (java) S 28826 28829 22977 0 -1 1077944384 1 12891 0 0 0 0 5 2 20 0 15 0 107259304 11246788608 14183 33554432000 4194304 4196468 140735282143296 139835623930512 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28885] ppid=28826 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28885/stat : 28885 (java) S 28826 28829 22977 0 -1 1077944384 1 12891 0 0 0 0 5 2 20 0 15 0 107259304 11246788608 14183 33554432000 4194304 4196468 140735282143296 139835622877456 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28886] ppid=28826 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28886/stat : 28886 (java) S 28826 28829 22977 0 -1 1077944384 2 12891 0 0 0 0 5 2 20 0 15 0 107259304 11246788608 14183 33554432000 4194304 4196468 140735282143296 139835621824912 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28887] ppid=28826 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28887/stat : 28887 (java) S 28826 28829 22977 0 -1 1077944384 2 12891 0 0 0 0 5 2 20 0 15 0 107259306 11246788608 14183 33554432000 4194304 4196468 140735282143296 139835190921968 139835764980354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28888] ppid=28826 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28888/stat : 28888 (java) S 28826 28829 22977 0 -1 1077944384 13 12891 0 0 0 0 5 2 20 0 15 0 107259306 11246788608 14183 33554432000 4194304 4196468 140735282143296 139834605692576 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28889] ppid=28826 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28889/stat : 28889 (java) S 28826 28829 22977 0 -1 1077944384 1 12891 0 0 0 0 5 2 20 0 15 0 107259306 11246788608 14183 33554432000 4194304 4196468 140735282143296 139834404365552 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28890] ppid=28826 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28890/stat : 28890 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259309 11246788608 14183 33554432000 4194304 4196468 140735282143296 139834096966096 139835764987803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28891] ppid=28826 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28829/task/28891/stat : 28891 (java) S 28826 28829 22977 0 -1 1077944384 415 12891 0 0 1 0 5 2 20 0 15 0 107259309 11246788608 14183 33554432000 4194304 4196468 140735282143296 139835189868784 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28892] ppid=28826 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28829/task/28892/stat : 28892 (java) S 28826 28829 22977 0 -1 1077944384 189 12891 0 0 1 0 5 2 20 0 15 0 107259309 11246788608 14183 33554432000 4194304 4196468 140735282143296 139835188816240 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28893] ppid=28826 vsize=10983192 memory=140505929942656 CPUtime=0.11 cores=1,3,5,7
/proc/28829/task/28893/stat : 28893 (java) R 28826 28829 22977 0 -1 4202560 643 12891 0 0 4 0 5 2 20 0 15 0 107259309 11246788608 14183 33554432000 4194304 4196468 140735282143296 139835187763184 139835757206334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28894] ppid=28826 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28894/stat : 28894 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259309 11246788608 14183 33554432000 4194304 4196468 140735282143296 139833666169184 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28895] ppid=28826 vsize=10983192 memory=140505929942656 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28895/stat : 28895 (java) S 28826 28829 22977 0 -1 1077944384 1 12891 0 0 0 0 5 2 20 0 15 0 107259309 11246788608 14183 33554432000 4194304 4196468 140735282143296 139835186711600 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56732 KiB
[startup+0.700784 s]
/proc/loadavg: 2.40 2.17 2.04 3/217 28895
/proc/meminfo: memFree=23638908/32770624 swapFree=67108792/67108860
[pid=28829] ppid=28826 vsize=10983192 memory=89392 CPUtime=0.97 cores=1,3,5,7
/proc/28829/stat : 28829 (java) S 28826 28829 22977 0 -1 1077944320 16931 12891 0 0 86 4 5 2 20 0 15 0 107259295 11246788608 22348 33554432000 4194304 4196468 140735282143296 140735282125840 139835764969207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
/proc/28829/statm: 2745798 22348 3237 1 0 2708109 0
[pid=28829/tid=28882] ppid=28826 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/28829/task/28882/stat : 28882 (java) R 28826 28829 22977 0 -1 4202560 12506 12891 0 0 56 3 5 2 20 0 15 0 107259304 11246788608 22348 33554432000 4194304 4196468 140735282143296 139835736790032 139835750134752 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28883] ppid=28826 vsize=10983192 memory=79 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28883/stat : 28883 (java) S 28826 28829 22977 0 -1 1077944384 2 12891 0 0 0 0 5 2 20 0 15 0 107259304 11246788608 22348 33554432000 4194304 4196468 140735282143296 139835769211408 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28884] ppid=28826 vsize=10983192 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28884/stat : 28884 (java) S 28826 28829 22977 0 -1 1077944384 1 12891 0 0 0 0 5 2 20 0 15 0 107259304 11246788608 22348 33554432000 4194304 4196468 140735282143296 139835623930512 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28885] ppid=28826 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28885/stat : 28885 (java) S 28826 28829 22977 0 -1 1077944384 1 12891 0 0 0 0 5 2 20 0 15 0 107259304 11246788608 22348 33554432000 4194304 4196468 140735282143296 139835622877456 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28886] ppid=28826 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28886/stat : 28886 (java) S 28826 28829 22977 0 -1 1077944384 2 12891 0 0 0 0 5 2 20 0 15 0 107259304 11246788608 22348 33554432000 4194304 4196468 140735282143296 139835621824912 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28887] ppid=28826 vsize=10983192 memory=140509855089223 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28887/stat : 28887 (java) S 28826 28829 22977 0 -1 1077944384 5 12891 0 0 0 0 5 2 20 0 15 0 107259306 11246788608 22348 33554432000 4194304 4196468 140735282143296 139835190921968 139835764980354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28888] ppid=28826 vsize=10983192 memory=140509855089243 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28888/stat : 28888 (java) S 28826 28829 22977 0 -1 1077944384 13 12891 0 0 0 0 5 2 20 0 15 0 107259306 11246788608 22348 33554432000 4194304 4196468 140735282143296 139834605692576 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28889] ppid=28826 vsize=10983192 memory=140509855089244 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28889/stat : 28889 (java) S 28826 28829 22977 0 -1 1077944384 1 12891 0 0 0 0 5 2 20 0 15 0 107259306 11246788608 22348 33554432000 4194304 4196468 140735282143296 139834404365552 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28890] ppid=28826 vsize=10983192 memory=140509855089248 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28890/stat : 28890 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259309 11246788608 22348 33554432000 4194304 4196468 140735282143296 139834096966096 139835764987803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28891] ppid=28826 vsize=10983192 memory=140509855089257 CPUtime=0.14 cores=1,3,5,7
/proc/28829/task/28891/stat : 28891 (java) S 28826 28829 22977 0 -1 1077944384 688 12891 0 0 7 0 5 2 20 0 15 0 107259309 11246788608 22348 33554432000 4194304 4196468 140735282143296 139835189868784 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28892] ppid=28826 vsize=10983192 memory=140509855089260 CPUtime=0.16 cores=1,3,5,7
/proc/28829/task/28892/stat : 28892 (java) S 28826 28829 22977 0 -1 1077944384 830 12891 0 0 9 0 5 2 20 0 15 0 107259309 11246788608 22348 33554432000 4194304 4196468 140735282143296 139835188816240 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28893] ppid=28826 vsize=10983192 memory=143095425401486 CPUtime=0.19 cores=1,3,5,7
/proc/28829/task/28893/stat : 28893 (java) S 28826 28829 22977 0 -1 1077944384 683 12891 0 0 12 0 5 2 20 0 15 0 107259309 11246788608 22348 33554432000 4194304 4196468 140735282143296 139835187763184 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28894] ppid=28826 vsize=10983192 memory=18268 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28894/stat : 28894 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259309 11246788608 22348 33554432000 4194304 4196468 140735282143296 139833666169184 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28895] ppid=28826 vsize=10983192 memory=18356 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28895/stat : 28895 (java) S 28826 28829 22977 0 -1 1077944384 1 12891 0 0 0 0 5 2 20 0 15 0 107259309 11246788608 22348 33554432000 4194304 4196468 140735282143296 139835186711600 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89392 KiB
[startup+1.50084 s]
/proc/loadavg: 2.40 2.17 2.04 3/217 28895
/proc/meminfo: memFree=23592328/32770624 swapFree=67108792/67108860
[pid=28829] ppid=28826 vsize=10991872 memory=460420 CPUtime=2.66 cores=1,3,5,7
/proc/28829/stat : 28829 (java) S 28826 28829 22977 0 -1 1077944320 22225 12891 0 0 224 35 5 2 20 0 15 0 107259295 11255676928 115105 33554432000 4194304 4196468 140735282143296 140735282125840 139835764969207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
/proc/28829/statm: 2747968 115105 3444 1 0 2709645 0
[pid=28829/tid=28882] ppid=28826 vsize=10991872 memory=10799 CPUtime=1.31 cores=1,3,5,7
/proc/28829/task/28882/stat : 28882 (java) R 28826 28829 22977 0 -1 4202560 14730 12891 0 0 115 9 5 2 20 0 15 0 107259304 11255676928 115105 33554432000 4194304 4196468 140735282143296 139835736804896 139835764991133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28883] ppid=28826 vsize=10991872 memory=25313 CPUtime=0.14 cores=1,3,5,7
/proc/28829/task/28883/stat : 28883 (java) S 28826 28829 22977 0 -1 1077944384 155 12891 0 0 3 4 5 2 20 0 15 0 107259304 11255676928 115105 33554432000 4194304 4196468 140735282143296 139835769211408 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28884] ppid=28826 vsize=10991872 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/28829/task/28884/stat : 28884 (java) S 28826 28829 22977 0 -1 1077944384 234 12891 0 0 7 6 5 2 20 0 15 0 107259304 11255676928 115105 33554432000 4194304 4196468 140735282143296 139835623930512 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28885] ppid=28826 vsize=10991872 memory=321013415751723303 CPUtime=0.2 cores=1,3,5,7
/proc/28829/task/28885/stat : 28885 (java) S 28826 28829 22977 0 -1 1077944384 511 12891 0 0 7 6 5 2 20 0 15 0 107259304 11255676928 115105 33554432000 4194304 4196468 140735282143296 139835622877456 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28886] ppid=28826 vsize=10991872 memory=288288891742739861 CPUtime=0.17 cores=1,3,5,7
/proc/28829/task/28886/stat : 28886 (java) S 28826 28829 22977 0 -1 1077944384 236 12891 0 0 6 4 5 2 20 0 15 0 107259304 11255676928 115105 33554432000 4194304 4196468 140735282143296 139835621824912 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28887] ppid=28826 vsize=10991872 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28887/stat : 28887 (java) S 28826 28829 22977 0 -1 1077944384 95 12891 0 0 0 0 5 2 20 0 15 0 107259306 11255676928 115105 33554432000 4194304 4196468 140735282143296 139835190921968 139835764980354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28888] ppid=28826 vsize=10991872 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28888/stat : 28888 (java) S 28826 28829 22977 0 -1 1077944384 15 12891 0 0 0 0 5 2 20 0 15 0 107259306 11255676928 115105 33554432000 4194304 4196468 140735282143296 139834605692576 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28889] ppid=28826 vsize=10991872 memory=-2672971631320983069 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28889/stat : 28889 (java) S 28826 28829 22977 0 -1 1077944384 2 12891 0 0 0 0 5 2 20 0 15 0 107259306 11255676928 115105 33554432000 4194304 4196468 140735282143296 139834404365552 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28890] ppid=28826 vsize=10991872 memory=-7606742920825102191 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28890/stat : 28890 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259309 11255676928 115105 33554432000 4194304 4196468 140735282143296 139834096966096 139835764987803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28891] ppid=28826 vsize=10991872 memory=-3472574944341025154 CPUtime=0.28 cores=1,3,5,7
/proc/28829/task/28891/stat : 28891 (java) S 28826 28829 22977 0 -1 1077944384 1060 12891 0 0 21 0 5 2 20 0 15 0 107259309 11255676928 115105 33554432000 4194304 4196468 140735282143296 139835189868784 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28892] ppid=28826 vsize=10991872 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/28829/task/28892/stat : 28892 (java) S 28826 28829 22977 0 -1 1077944384 1997 12891 0 0 36 0 5 2 20 0 15 0 107259309 11255676928 115105 33554432000 4194304 4196468 140735282143296 139835188816240 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28893] ppid=28826 vsize=10991872 memory=-2892745056951965031 CPUtime=0.32 cores=1,3,5,7
/proc/28829/task/28893/stat : 28893 (java) S 28826 28829 22977 0 -1 1077944384 991 12891 0 0 25 0 5 2 20 0 15 0 107259309 11255676928 115105 33554432000 4194304 4196468 140735282143296 139835187763184 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28894] ppid=28826 vsize=10991872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28894/stat : 28894 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259309 11255676928 115105 33554432000 4194304 4196468 140735282143296 139833666169184 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28895] ppid=28826 vsize=10991872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28895/stat : 28895 (java) S 28826 28829 22977 0 -1 1077944384 1 12891 0 0 0 0 5 2 20 0 15 0 107259309 11255676928 115105 33554432000 4194304 4196468 140735282143296 139835186711600 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
################
# More data... #
################
/proc/28829/statm: 2751576 1847494 3511 1 0 2713229 0
[pid=28829/tid=28882] ppid=28826 vsize=11006304 memory=2436 CPUtime=116.86 cores=1,3,5,7
/proc/28829/task/28882/stat : 28882 (java) S 28826 28829 22977 0 -1 1077944384 47109 12891 0 0 11655 24 5 2 20 0 15 0 107259304 11270455296 1847494 33554432000 4194304 4196468 140735282143296 139835736800688 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28883] ppid=28826 vsize=11006304 memory=7015908 CPUtime=31.36 cores=1,3,5,7
/proc/28829/task/28883/stat : 28883 (java) R 28826 28829 22977 0 -1 4202560 32334 12891 0 0 2998 131 5 2 20 0 15 0 107259304 11270455296 1847494 33554432000 4194304 4196468 140735282143296 139835769211296 139835746565674 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28884] ppid=28826 vsize=11006304 memory=7003620 CPUtime=31.44 cores=1,3,5,7
/proc/28829/task/28884/stat : 28884 (java) R 28826 28829 22977 0 -1 4202560 54200 12891 0 0 2998 139 5 2 20 0 15 0 107259304 11270455296 1847494 33554432000 4194304 4196468 140735282143296 139835623930096 139835757597415 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28885] ppid=28826 vsize=11006304 memory=7389968 CPUtime=31.43 cores=1,3,5,7
/proc/28829/task/28885/stat : 28885 (java) R 28826 28829 22977 0 -1 4202560 35775 12891 0 0 3001 135 5 2 20 0 15 0 107259304 11270455296 1847494 33554432000 4194304 4196468 140735282143296 139835622877040 139835757597415 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28886] ppid=28826 vsize=11006304 memory=7293696 CPUtime=31.32 cores=1,3,5,7
/proc/28829/task/28886/stat : 28886 (java) R 28826 28829 22977 0 -1 4202560 28565 12891 0 0 2999 126 5 2 20 0 15 0 107259304 11270455296 1847494 33554432000 4194304 4196468 140735282143296 139835621824496 139835757597415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28887] ppid=28826 vsize=11006304 memory=30824 CPUtime=1.82 cores=1,3,5,7
/proc/28829/task/28887/stat : 28887 (java) S 28826 28829 22977 0 -1 1077944384 38453 12891 0 0 172 3 5 2 20 0 15 0 107259306 11270455296 1847494 33554432000 4194304 4196468 140735282143296 139835190920288 139835764979413 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28888] ppid=28826 vsize=11006304 memory=1292 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28888/stat : 28888 (java) S 28826 28829 22977 0 -1 1077944384 20 12891 0 0 0 0 5 2 20 0 15 0 107259306 11270455296 1847494 33554432000 4194304 4196468 140735282143296 139834605692640 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28889] ppid=28826 vsize=11006304 memory=7389976 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28889/stat : 28889 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259306 11270455296 1847494 33554432000 4194304 4196468 140735282143296 139834404365568 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28890] ppid=28826 vsize=11006304 memory=-7966001734536614954 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28890/stat : 28890 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259309 11270455296 1847494 33554432000 4194304 4196468 140735282143296 139834096966096 139835764987803 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28891] ppid=28826 vsize=11006304 memory=-7595754389018307680 CPUtime=3.73 cores=1,3,5,7
/proc/28829/task/28891/stat : 28891 (java) S 28826 28829 22977 0 -1 1077944384 13602 12891 0 0 364 2 5 2 20 0 15 0 107259309 11270455296 1847494 33554432000 4194304 4196468 140735282143296 139835189868544 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28892] ppid=28826 vsize=11006304 memory=6791534058613427641 CPUtime=3.44 cores=1,3,5,7
/proc/28829/task/28892/stat : 28892 (java) S 28826 28829 22977 0 -1 1077944384 12235 12891 0 0 335 2 5 2 20 0 15 0 107259309 11270455296 1847494 33554432000 4194304 4196468 140735282143296 139835188816288 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28893] ppid=28826 vsize=11006304 memory=1944 CPUtime=1.2 cores=1,3,5,7
/proc/28829/task/28893/stat : 28893 (java) S 28826 28829 22977 0 -1 1077944384 5467 12891 0 0 111 2 5 2 20 0 15 0 107259309 11270455296 1847494 33554432000 4194304 4196468 140735282143296 139835187763232 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28894] ppid=28826 vsize=11006304 memory=1428 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28894/stat : 28894 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259309 11270455296 1847494 33554432000 4194304 4196468 140735282143296 139833666169184 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28895] ppid=28826 vsize=11006304 memory=8512 CPUtime=0.15 cores=1,3,5,7
/proc/28829/task/28895/stat : 28895 (java) S 28826 28829 22977 0 -1 1077944384 718 12891 0 0 4 4 5 2 20 0 15 0 107259309 11270455296 1847494 33554432000 4194304 4196468 140735282143296 139835186711600 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
Current children cumulated CPU time: 252.22 s
Current children cumulated vsize: 11006304 KiB
Current children cumulated memory: 7389976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+152.457 s]
# the end of solver process 28829 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.223 s, system=5.83999 s
Solver just ended.
Dumping a history of the last processes samples
[startup+151.201 s]
/proc/loadavg: 2.27 2.29 2.12 6/216 29152
/proc/meminfo: memFree=19557260/32770624 swapFree=67108792/67108860
[pid=28829] ppid=28826 vsize=11006304 memory=7389984 CPUtime=255.31 cores=1,3,5,7
/proc/28829/stat : 28829 (java) S 28826 28829 22977 0 -1 1077944320 270747 12891 0 0 24952 572 5 2 20 0 15 0 107259295 11270455296 1847496 33554432000 4194304 4196468 140735282143296 140735282125840 139835764969207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
/proc/28829/statm: 2751576 1847496 3511 1 0 2713229 0
[pid=28829/tid=28882] ppid=28826 vsize=11006304 memory=8475934422144292502 CPUtime=116.86 cores=1,3,5,7
/proc/28829/task/28882/stat : 28882 (java) S 28826 28829 22977 0 -1 1077944384 47109 12891 0 0 11655 24 5 2 20 0 15 0 107259304 11270455296 1847496 33554432000 4194304 4196468 140735282143296 139835736800688 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28883] ppid=28826 vsize=11006304 memory=-7595754389018307680 CPUtime=32.14 cores=1,3,5,7
/proc/28829/task/28883/stat : 28883 (java) R 28826 28829 22977 0 -1 4202560 32391 12891 0 0 3076 131 5 2 20 0 15 0 107259304 11270455296 1847496 33554432000 4194304 4196468 140735282143296 139835769211296 139835746565789 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28884] ppid=28826 vsize=11006304 memory=4872558044660077418 CPUtime=32.2 cores=1,3,5,7
/proc/28829/task/28884/stat : 28884 (java) R 28826 28829 22977 0 -1 4202560 54200 12891 0 0 3074 139 5 2 20 0 15 0 107259304 11270455296 1847496 33554432000 4194304 4196468 140735282143296 139835623930096 139835757597415 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28885] ppid=28826 vsize=11006304 memory=1720 CPUtime=32.2 cores=1,3,5,7
/proc/28829/task/28885/stat : 28885 (java) S 28826 28829 22977 0 -1 1077944384 35775 12891 0 0 3077 136 5 2 20 0 15 0 107259304 11270455296 1847496 33554432000 4194304 4196468 140735282143296 139835622877040 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28886] ppid=28826 vsize=11006304 memory=5760 CPUtime=32.1 cores=1,3,5,7
/proc/28829/task/28886/stat : 28886 (java) R 28826 28829 22977 0 -1 4202560 28565 12891 0 0 3076 127 5 2 20 0 15 0 107259304 11270455296 1847496 33554432000 4194304 4196468 140735282143296 139835621824496 139835757597415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28887] ppid=28826 vsize=11006304 memory=4588 CPUtime=1.82 cores=1,3,5,7
/proc/28829/task/28887/stat : 28887 (java) S 28826 28829 22977 0 -1 1077944384 38453 12891 0 0 172 3 5 2 20 0 15 0 107259306 11270455296 1847496 33554432000 4194304 4196468 140735282143296 139835190920288 139835764979413 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28888] ppid=28826 vsize=11006304 memory=9920 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28888/stat : 28888 (java) S 28826 28829 22977 0 -1 1077944384 20 12891 0 0 0 0 5 2 20 0 15 0 107259306 11270455296 1847496 33554432000 4194304 4196468 140735282143296 139834605692640 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28889] ppid=28826 vsize=11006304 memory=1944 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28889/stat : 28889 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259306 11270455296 1847496 33554432000 4194304 4196468 140735282143296 139834404365568 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28890] ppid=28826 vsize=11006304 memory=1428 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28890/stat : 28890 (java) S 28826 28829 22977 0 -1 1077944384 9 12891 0 0 0 0 5 2 20 0 15 0 107259309 11270455296 1847496 33554432000 4194304 4196468 140735282143296 139834096965744 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28891] ppid=28826 vsize=11006304 memory=8512 CPUtime=3.73 cores=1,3,5,7
/proc/28829/task/28891/stat : 28891 (java) S 28826 28829 22977 0 -1 1077944384 13602 12891 0 0 364 2 5 2 20 0 15 0 107259309 11270455296 1847496 33554432000 4194304 4196468 140735282143296 139835189868544 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28892] ppid=28826 vsize=11006304 memory=792 CPUtime=3.44 cores=1,3,5,7
/proc/28829/task/28892/stat : 28892 (java) S 28826 28829 22977 0 -1 1077944384 12235 12891 0 0 335 2 5 2 20 0 15 0 107259309 11270455296 1847496 33554432000 4194304 4196468 140735282143296 139835188816288 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28893] ppid=28826 vsize=11006304 memory=1008 CPUtime=1.2 cores=1,3,5,7
/proc/28829/task/28893/stat : 28893 (java) S 28826 28829 22977 0 -1 1077944384 5467 12891 0 0 111 2 5 2 20 0 15 0 107259309 11270455296 1847496 33554432000 4194304 4196468 140735282143296 139835187763232 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28894] ppid=28826 vsize=11006304 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28894/stat : 28894 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259309 11270455296 1847496 33554432000 4194304 4196468 140735282143296 139833666169184 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28895] ppid=28826 vsize=11006304 memory=7389976 CPUtime=0.15 cores=1,3,5,7
/proc/28829/task/28895/stat : 28895 (java) S 28826 28829 22977 0 -1 1077944384 721 12891 0 0 4 4 5 2 20 0 15 0 107259309 11270455296 1847496 33554432000 4194304 4196468 140735282143296 139835186711600 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
Current children cumulated CPU time: 255.31 s
Current children cumulated vsize: 11006304 KiB
Current children cumulated memory: 7389984 KiB
[startup+152.001 s]*
/proc/loadavg: 2.41 2.32 2.13 6/216 29152
/proc/meminfo: memFree=19524492/32770624 swapFree=67108792/67108860
[pid=28829] ppid=28826 vsize=11006304 memory=7422912 CPUtime=258.4 cores=1,3,5,7
/proc/28829/stat : 28829 (java) S 28826 28829 22977 0 -1 1077944320 284521 12891 0 0 25258 575 5 2 20 0 15 0 107259295 11270455296 1855728 33554432000 4194304 4196468 140735282143296 140735282125840 139835764969207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
/proc/28829/statm: 2751576 1855728 3511 1 0 2713229 0
[pid=28829/tid=28882] ppid=28826 vsize=11006304 memory=6791534058613427641 CPUtime=116.86 cores=1,3,5,7
/proc/28829/task/28882/stat : 28882 (java) S 28826 28829 22977 0 -1 1077944384 47109 12891 0 0 11655 24 5 2 20 0 15 0 107259304 11270455296 1855728 33554432000 4194304 4196468 140735282143296 139835736800688 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28883] ppid=28826 vsize=11006304 memory=1008 CPUtime=32.92 cores=1,3,5,7
/proc/28829/task/28883/stat : 28883 (java) R 28826 28829 22977 0 -1 4202560 32421 12891 0 0 3153 132 5 2 20 0 15 0 107259304 11270455296 1855728 33554432000 4194304 4196468 140735282143296 139835769211608 139835749669898 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28884] ppid=28826 vsize=11006304 memory=1228 CPUtime=32.96 cores=1,3,5,7
/proc/28829/task/28884/stat : 28884 (java) R 28826 28829 22977 0 -1 4202560 54201 12891 0 0 3150 139 5 2 20 0 15 0 107259304 11270455296 1855728 33554432000 4194304 4196468 140735282143296 139835623930512 139835749669935 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28885] ppid=28826 vsize=11006304 memory=4872558044660077418 CPUtime=32.96 cores=1,3,5,7
/proc/28829/task/28885/stat : 28885 (java) R 28826 28829 22977 0 -1 4202560 35776 12891 0 0 3153 136 5 2 20 0 15 0 107259304 11270455296 1855728 33554432000 4194304 4196468 140735282143296 139835622877456 139835749669891 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28886] ppid=28826 vsize=11006304 memory=6655300153221735266 CPUtime=32.86 cores=1,3,5,7
/proc/28829/task/28886/stat : 28886 (java) R 28826 28829 22977 0 -1 4202560 28566 12891 0 0 3152 127 5 2 20 0 15 0 107259304 11270455296 1855728 33554432000 4194304 4196468 140735282143296 139835621825112 139835749669684 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28887] ppid=28826 vsize=11006304 memory=-2707326808899071271 CPUtime=1.83 cores=1,3,5,7
/proc/28829/task/28887/stat : 28887 (java) S 28826 28829 22977 0 -1 1077944384 52194 12891 0 0 173 3 5 2 20 0 15 0 107259306 11270455296 1855728 33554432000 4194304 4196468 140735282143296 139835190920512 139835764979413 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28888] ppid=28826 vsize=11006304 memory=3416 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28888/stat : 28888 (java) S 28826 28829 22977 0 -1 1077944384 20 12891 0 0 0 0 5 2 20 0 15 0 107259306 11270455296 1855728 33554432000 4194304 4196468 140735282143296 139834605692640 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28889] ppid=28826 vsize=11006304 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28889/stat : 28889 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259306 11270455296 1855728 33554432000 4194304 4196468 140735282143296 139834404365568 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28890] ppid=28826 vsize=11006304 memory=4628410944579000979 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28890/stat : 28890 (java) S 28826 28829 22977 0 -1 1077944384 9 12891 0 0 0 0 5 2 20 0 15 0 107259309 11270455296 1855728 33554432000 4194304 4196468 140735282143296 139834096965744 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28891] ppid=28826 vsize=11006304 memory=-8616047316690939175 CPUtime=3.73 cores=1,3,5,7
/proc/28829/task/28891/stat : 28891 (java) S 28826 28829 22977 0 -1 1077944384 13602 12891 0 0 364 2 5 2 20 0 15 0 107259309 11270455296 1855728 33554432000 4194304 4196468 140735282143296 139835189868544 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28892] ppid=28826 vsize=11006304 memory=4206186544037388384 CPUtime=3.44 cores=1,3,5,7
/proc/28829/task/28892/stat : 28892 (java) S 28826 28829 22977 0 -1 1077944384 12235 12891 0 0 335 2 5 2 20 0 15 0 107259309 11270455296 1855728 33554432000 4194304 4196468 140735282143296 139835188816288 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28893] ppid=28826 vsize=11006304 memory=6944656575208382560 CPUtime=1.2 cores=1,3,5,7
/proc/28829/task/28893/stat : 28893 (java) S 28826 28829 22977 0 -1 1077944384 5467 12891 0 0 111 2 5 2 20 0 15 0 107259309 11270455296 1855728 33554432000 4194304 4196468 140735282143296 139835187763232 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28894] ppid=28826 vsize=11006304 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28894/stat : 28894 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259309 11270455296 1855728 33554432000 4194304 4196468 140735282143296 139833666169184 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28895] ppid=28826 vsize=11006304 memory=9051283677730746851 CPUtime=0.15 cores=1,3,5,7
/proc/28829/task/28895/stat : 28895 (java) S 28826 28829 22977 0 -1 1077944384 721 12891 0 0 4 4 5 2 20 0 15 0 107259309 11270455296 1855728 33554432000 4194304 4196468 140735282143296 139835186711600 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
Current children cumulated CPU time: 258.4 s
Current children cumulated vsize: 11006304 KiB
Current children cumulated memory: 7422912 KiB
[startup+152.401 s]
/proc/loadavg: 2.41 2.32 2.13 6/216 29152
/proc/meminfo: memFree=19524492/32770624 swapFree=67108792/67108860
[pid=28829] ppid=28826 vsize=11006304 memory=7507612 CPUtime=259.95 cores=1,3,5,7
/proc/28829/stat : 28829 (java) S 28826 28829 22977 0 -1 1077944320 294133 12891 0 0 25412 576 5 2 20 0 15 0 107259295 11270455296 1876903 33554432000 4194304 4196468 140735282143296 140735282125840 139835764969207 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
/proc/28829/statm: 2751576 1876903 3511 1 0 2713229 0
[pid=28829/tid=28882] ppid=28826 vsize=11006304 memory=18356 CPUtime=116.86 cores=1,3,5,7
/proc/28829/task/28882/stat : 28882 (java) S 28826 28829 22977 0 -1 1077944384 47109 12891 0 0 11655 24 5 2 20 0 15 0 107259304 11270455296 1876903 33554432000 4194304 4196468 140735282143296 139835736800688 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28883] ppid=28826 vsize=11006304 memory=4872558044660077418 CPUtime=33.3 cores=1,3,5,7
/proc/28829/task/28883/stat : 28883 (java) R 28826 28829 22977 0 -1 4202560 41905 12891 0 0 3190 133 5 2 20 0 15 0 107259304 11270455296 1876903 33554432000 4194304 4196468 140735282143296 139835769211608 139835749965869 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28884] ppid=28826 vsize=11006304 memory=644 CPUtime=33.36 cores=1,3,5,7
/proc/28829/task/28884/stat : 28884 (java) R 28826 28829 22977 0 -1 4202560 54329 12891 0 0 3190 139 5 2 20 0 15 0 107259304 11270455296 1876903 33554432000 4194304 4196468 140735282143296 139835623930400 139835749965660 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28885] ppid=28826 vsize=11006304 memory=1792 CPUtime=33.35 cores=1,3,5,7
/proc/28829/task/28885/stat : 28885 (java) R 28826 28829 22977 0 -1 4202560 35776 12891 0 0 3192 136 5 2 20 0 15 0 107259304 11270455296 1876903 33554432000 4194304 4196468 140735282143296 139835622877456 139835749669923 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28886] ppid=28826 vsize=11006304 memory=1232 CPUtime=33.25 cores=1,3,5,7
/proc/28829/task/28886/stat : 28886 (java) R 28826 28829 22977 0 -1 4202560 28566 12891 0 0 3191 127 5 2 20 0 15 0 107259304 11270455296 1876903 33554432000 4194304 4196468 140735282143296 139835621825112 139835746579023 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28887] ppid=28826 vsize=11006304 memory=956 CPUtime=1.83 cores=1,3,5,7
/proc/28829/task/28887/stat : 28887 (java) S 28826 28829 22977 0 -1 1077944384 52194 12891 0 0 173 3 5 2 20 0 15 0 107259306 11270455296 1876903 33554432000 4194304 4196468 140735282143296 139835190920512 139835764979413 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28888] ppid=28826 vsize=11006304 memory=2464 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28888/stat : 28888 (java) S 28826 28829 22977 0 -1 1077944384 20 12891 0 0 0 0 5 2 20 0 15 0 107259306 11270455296 1876903 33554432000 4194304 4196468 140735282143296 139834605692640 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28889] ppid=28826 vsize=11006304 memory=1576 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28889/stat : 28889 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259306 11270455296 1876903 33554432000 4194304 4196468 140735282143296 139834404365568 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28890] ppid=28826 vsize=11006304 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28890/stat : 28890 (java) S 28826 28829 22977 0 -1 1077944384 9 12891 0 0 0 0 5 2 20 0 15 0 107259309 11270455296 1876903 33554432000 4194304 4196468 140735282143296 139834096965744 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28891] ppid=28826 vsize=11006304 memory=2240 CPUtime=3.73 cores=1,3,5,7
/proc/28829/task/28891/stat : 28891 (java) S 28826 28829 22977 0 -1 1077944384 13602 12891 0 0 364 2 5 2 20 0 15 0 107259309 11270455296 1876903 33554432000 4194304 4196468 140735282143296 139835189868544 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28892] ppid=28826 vsize=11006304 memory=4128 CPUtime=3.44 cores=1,3,5,7
/proc/28829/task/28892/stat : 28892 (java) S 28826 28829 22977 0 -1 1077944384 12235 12891 0 0 335 2 5 2 20 0 15 0 107259309 11270455296 1876903 33554432000 4194304 4196468 140735282143296 139835188816288 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28893] ppid=28826 vsize=11006304 memory=2200 CPUtime=1.2 cores=1,3,5,7
/proc/28829/task/28893/stat : 28893 (java) S 28826 28829 22977 0 -1 1077944384 5467 12891 0 0 111 2 5 2 20 0 15 0 107259309 11270455296 1876903 33554432000 4194304 4196468 140735282143296 139835187763232 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28894] ppid=28826 vsize=11006304 memory=7892 CPUtime=0.07 cores=1,3,5,7
/proc/28829/task/28894/stat : 28894 (java) S 28826 28829 22977 0 -1 1077944384 3 12891 0 0 0 0 5 2 20 0 15 0 107259309 11270455296 1876903 33554432000 4194304 4196468 140735282143296 139833666169184 139835764979413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
[pid=28829/tid=28895] ppid=28826 vsize=11006304 memory=840 CPUtime=0.15 cores=1,3,5,7
/proc/28829/task/28895/stat : 28895 (java) S 28826 28829 22977 0 -1 1077944384 721 12891 0 0 4 4 5 2 20 0 15 0 107259309 11270455296 1876903 33554432000 4194304 4196468 140735282143296 139835186711600 139835764980354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31514624 140735282145897 140735282148705 140735282148705 140735282151375 0
Current children cumulated CPU time: 259.95 s
Current children cumulated vsize: 11006304 KiB
Current children cumulated memory: 7507612 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 152.457
CPU time (s): 260.063
CPU user time (s): 254.223
CPU system time (s): 5.83999
CPU usage (%): 170.582
Max. virtual memory (cumulated for all children) (KiB): 11006304
Max. memory (cumulated for all children) (KiB): 7507612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.223
system time used= 5.84
maximum resident set size= 7508012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307027
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11888
involuntary context switches= 1679
# summary of solver processes directly reported to runsolver:
# pid: 28829
# total CPU time (s): 260.063
# total CPU user time (s): 254.223
# total CPU system time (s): 5.83999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.921468 second user time and 1.51277 second system time
The end