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 (7450 MiB free)
memory of node 1: 16384 MiB (14033 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293353-1532313781/watcher-4293353-1532313781 -o /tmp/evaluation-result-4293353-1532313781/solver-4293353-1532313781 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532297041-4850 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1736405370 -superng HOME/instance-4293353-1532313781.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
Current StackSize limit: 8192 KiB
solver pid=7936, runsolver pid=7933
[startup+0.100112 s]*
/proc/loadavg: 2.05 1.94 1.94 3/207 7993
/proc/meminfo: memFree=21993024/32770624 swapFree=67108860/67108860
[pid=7936] ppid=7933 vsize=9972712 memory=16424 CPUtime=0.09 cores=1,3,5,7
/proc/7936/stat : 7936 (java) S 7933 7936 4818 0 -1 1077944320 4283 13134 0 0 1 0 5 3 20 0 6 0 48941427 10212057088 4106 33554432000 4194304 4196468 140731652845408 140731652827952 140123571412727 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
/proc/7936/statm: 2493178 4106 1930 1 0 2481616 0
[pid=7936/tid=7989] ppid=7933 vsize=9972712 memory=-8889670002768396227 CPUtime=0.09 cores=1,3,5,7
/proc/7936/task/7989/stat : 7989 (java) R 7933 7936 4818 0 -1 4202560 2098 13134 0 0 1 0 5 3 20 0 6 0 48941436 10212057088 4172 33554432000 4194304 4196468 140731652845408 140123543249488 140123563649854 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7990] ppid=7933 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7990/stat : 7990 (java) S 7933 7936 4818 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 6 0 48941437 10212057088 4172 33554432000 4194304 4196468 140731652845408 140123575655568 140123571422933 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7991] ppid=7933 vsize=9972712 memory=139764334245504 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7991/stat : 7991 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 6 0 48941437 10212057088 4172 33554432000 4194304 4196468 140731652845408 140123144817680 140123571422933 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7992] ppid=7933 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7992/stat : 7992 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 6 0 48941437 10212057088 4172 33554432000 4194304 4196468 140731652845408 140123143764880 140123571422933 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7993] ppid=7933 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7993/stat : 7993 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 6 0 48941437 10212057088 4172 33554432000 4194304 4196468 140731652845408 140123142712080 140123571422933 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16424 KiB
[startup+0.21133 s]*
/proc/loadavg: 2.05 1.94 1.94 3/216 8002
/proc/meminfo: memFree=21969508/32770624 swapFree=67108860/67108860
[pid=7936] ppid=7933 vsize=10818856 memory=42620 CPUtime=0.27 cores=1,3,5,7
/proc/7936/stat : 7936 (java) S 7933 7936 4818 0 -1 1077944320 8529 13134 0 0 17 2 5 3 20 0 15 0 48941427 11078508544 10655 33554432000 4194304 4196468 140731652845408 140731652827952 140123571412727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
/proc/7936/statm: 2704714 10655 2960 1 0 2667149 0
[pid=7936/tid=7989] ppid=7933 vsize=10818856 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/7936/task/7989/stat : 7989 (java) R 7933 7936 4818 0 -1 4202560 5246 13134 0 0 11 1 5 3 20 0 15 0 48941436 11078508544 10787 33554432000 4194304 4196468 140731652845408 140123543210384 140123551688541 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7990] ppid=7933 vsize=10818856 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7990/stat : 7990 (java) S 7933 7936 4818 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 48941437 11078508544 10787 33554432000 4194304 4196468 140731652845408 140123575655568 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7991] ppid=7933 vsize=10818856 memory=139764334253694 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7991/stat : 7991 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 48941437 11078508544 10787 33554432000 4194304 4196468 140731652845408 140123144817680 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7992] ppid=7933 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7992/stat : 7992 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 48941437 11078508544 10787 33554432000 4194304 4196468 140731652845408 140123143764880 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7993] ppid=7933 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7993/stat : 7993 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 48941437 11078508544 10787 33554432000 4194304 4196468 140731652845408 140123142712080 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7994] ppid=7933 vsize=10818856 memory=139764334245504 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7994/stat : 7994 (java) S 7933 7936 4818 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 48941439 11078508544 10787 33554432000 4194304 4196468 140731652845408 140122776095088 140123571423874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7995] ppid=7933 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7995/stat : 7995 (java) S 7933 7936 4818 0 -1 1077944384 13 13134 0 0 0 0 5 3 20 0 15 0 48941439 11078508544 10787 33554432000 4194304 4196468 140731652845408 140122569827360 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7996] ppid=7933 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7996/stat : 7996 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 48941439 11078508544 10853 33554432000 4194304 4196468 140731652845408 140122368500592 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7997] ppid=7933 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7997/stat : 7997 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941442 11078508544 10853 33554432000 4194304 4196468 140731652845408 140122128209744 140123571431323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7998] ppid=7933 vsize=10818856 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7936/task/7998/stat : 7998 (java) S 7933 7936 4818 0 -1 1077944384 496 13134 0 0 1 0 5 3 20 0 15 0 48941442 11078508544 10853 33554432000 4194304 4196468 140731652845408 140122775042928 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7999] ppid=7933 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7999/stat : 7999 (java) S 7933 7936 4818 0 -1 1077944384 95 13134 0 0 0 0 5 3 20 0 15 0 48941442 11078508544 10853 33554432000 4194304 4196468 140731652845408 140122773990128 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8000] ppid=7933 vsize=10818856 memory=139764334245504 CPUtime=0.11 cores=1,3,5,7
/proc/7936/task/8000/stat : 8000 (java) S 7933 7936 4818 0 -1 1077944384 630 13134 0 0 3 0 5 3 20 0 15 0 48941442 11078508544 10853 33554432000 4194304 4196468 140731652845408 140122772937328 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8001] ppid=7933 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/8001/stat : 8001 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941442 11078508544 10853 33554432000 4194304 4196468 140731652845408 140122094652128 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8002] ppid=7933 vsize=10818856 memory=139764334245504 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/8002/stat : 8002 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 48941442 11078508544 10853 33554432000 4194304 4196468 140731652845408 140122536270512 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 42620 KiB
[startup+0.310199 s]*
/proc/loadavg: 2.05 1.94 1.94 3/216 8002
/proc/meminfo: memFree=21960200/32770624 swapFree=67108860/67108860
[pid=7936] ppid=7933 vsize=10819352 memory=53164 CPUtime=0.38 cores=1,3,5,7
/proc/7936/stat : 7936 (java) S 7933 7936 4818 0 -1 1077944320 10391 13134 0 0 28 2 5 3 20 0 15 0 48941427 11079016448 13291 33554432000 4194304 4196468 140731652845408 140731652827952 140123571412727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
/proc/7936/statm: 2704838 13291 3091 1 0 2667149 0
[pid=7936/tid=7989] ppid=7933 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/7936/task/7989/stat : 7989 (java) R 7933 7936 4818 0 -1 4202560 6923 13134 0 0 20 1 5 3 20 0 15 0 48941436 11079016448 13291 33554432000 4194304 4196468 140731652845408 140123543215504 140123571434074 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7990] ppid=7933 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7990/stat : 7990 (java) S 7933 7936 4818 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 48941437 11079016448 13291 33554432000 4194304 4196468 140731652845408 140123575655568 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7991] ppid=7933 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7991/stat : 7991 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 48941437 11079016448 13291 33554432000 4194304 4196468 140731652845408 140123144817680 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7992] ppid=7933 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7992/stat : 7992 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 48941437 11079016448 13291 33554432000 4194304 4196468 140731652845408 140123143764880 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7993] ppid=7933 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7993/stat : 7993 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 48941437 11079016448 13291 33554432000 4194304 4196468 140731652845408 140123142712080 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7994] ppid=7933 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7994/stat : 7994 (java) S 7933 7936 4818 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 48941439 11079016448 13291 33554432000 4194304 4196468 140731652845408 140122776095088 140123571423874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7995] ppid=7933 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7995/stat : 7995 (java) S 7933 7936 4818 0 -1 1077944384 13 13134 0 0 0 0 5 3 20 0 15 0 48941439 11079016448 13291 33554432000 4194304 4196468 140731652845408 140122569827360 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7996] ppid=7933 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7996/stat : 7996 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 48941439 11079016448 13291 33554432000 4194304 4196468 140731652845408 140122368500592 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7997] ppid=7933 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7997/stat : 7997 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941442 11079016448 13291 33554432000 4194304 4196468 140731652845408 140122128209744 140123571431323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7998] ppid=7933 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7936/task/7998/stat : 7998 (java) S 7933 7936 4818 0 -1 1077944384 501 13134 0 0 1 0 5 3 20 0 15 0 48941442 11079016448 13291 33554432000 4194304 4196468 140731652845408 140122775042928 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7999] ppid=7933 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/7936/task/7999/stat : 7999 (java) R 7933 7936 4818 0 -1 4202560 98 13134 0 0 1 0 5 3 20 0 15 0 48941442 11079016448 13291 33554432000 4194304 4196468 140731652845408 140122773990128 140123571434074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8000] ppid=7933 vsize=10819352 memory=139764334245504 CPUtime=0.12 cores=1,3,5,7
/proc/7936/task/8000/stat : 8000 (java) R 7933 7936 4818 0 -1 4202560 658 13134 0 0 4 0 5 3 20 0 15 0 48941442 11079016448 13291 33554432000 4194304 4196468 140731652845408 140122772937328 140123555600090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8001] ppid=7933 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/8001/stat : 8001 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941442 11079016448 13291 33554432000 4194304 4196468 140731652845408 140122094652128 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8002] ppid=7933 vsize=10819352 memory=139764334245504 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/8002/stat : 8002 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 48941442 11079016448 13291 33554432000 4194304 4196468 140731652845408 140122536270512 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53164 KiB
[startup+0.700737 s]
/proc/loadavg: 2.05 1.94 1.94 3/216 8002
/proc/meminfo: memFree=21949132/32770624 swapFree=67108860/67108860
[pid=7936] ppid=7933 vsize=10819352 memory=86616 CPUtime=0.99 cores=1,3,5,7
/proc/7936/stat : 7936 (java) S 7933 7936 4818 0 -1 1077944320 16735 13134 0 0 87 4 5 3 20 0 15 0 48941427 11079016448 21654 33554432000 4194304 4196468 140731652845408 140731652827952 140123571412727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
/proc/7936/statm: 2704838 21654 3241 1 0 2667149 0
[pid=7936/tid=7989] ppid=7933 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/7936/task/7989/stat : 7989 (java) R 7933 7936 4818 0 -1 4202560 12224 13134 0 0 56 2 5 3 20 0 15 0 48941436 11079016448 21654 33554432000 4194304 4196468 140731652845408 140123543233552 140123571426591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7990] ppid=7933 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7990/stat : 7990 (java) S 7933 7936 4818 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 48941437 11079016448 21654 33554432000 4194304 4196468 140731652845408 140123575655568 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7991] ppid=7933 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7991/stat : 7991 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 48941437 11079016448 21654 33554432000 4194304 4196468 140731652845408 140123144817680 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7992] ppid=7933 vsize=10819352 memory=139764208644880 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7992/stat : 7992 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 48941437 11079016448 21654 33554432000 4194304 4196468 140731652845408 140123143764880 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7993] ppid=7933 vsize=10819352 memory=139766825747040 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7993/stat : 7993 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 48941437 11079016448 21654 33554432000 4194304 4196468 140731652845408 140123142712080 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7994] ppid=7933 vsize=10819352 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7994/stat : 7994 (java) S 7933 7936 4818 0 -1 1077944384 5 13134 0 0 0 0 5 3 20 0 15 0 48941439 11079016448 21654 33554432000 4194304 4196468 140731652845408 140122776095088 140123571423874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7995] ppid=7933 vsize=10819352 memory=4639098309541126758 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7995/stat : 7995 (java) S 7933 7936 4818 0 -1 1077944384 13 13134 0 0 0 0 5 3 20 0 15 0 48941439 11079016448 21654 33554432000 4194304 4196468 140731652845408 140122569827360 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7996] ppid=7933 vsize=10819352 memory=7885635084775281010 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7996/stat : 7996 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 48941439 11079016448 21654 33554432000 4194304 4196468 140731652845408 140122368500592 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7997] ppid=7933 vsize=10819352 memory=18464 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7997/stat : 7997 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941442 11079016448 21654 33554432000 4194304 4196468 140731652845408 140122128209744 140123571431323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7998] ppid=7933 vsize=10819352 memory=10580 CPUtime=0.16 cores=1,3,5,7
/proc/7936/task/7998/stat : 7998 (java) S 7933 7936 4818 0 -1 1077944384 1060 13134 0 0 8 0 5 3 20 0 15 0 48941442 11079016448 21654 33554432000 4194304 4196468 140731652845408 140122775042928 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7999] ppid=7933 vsize=10819352 memory=4052 CPUtime=0.15 cores=1,3,5,7
/proc/7936/task/7999/stat : 7999 (java) S 7933 7936 4818 0 -1 1077944384 411 13134 0 0 7 0 5 3 20 0 15 0 48941442 11079016448 21654 33554432000 4194304 4196468 140731652845408 140122773990128 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8000] ppid=7933 vsize=10819352 memory=644 CPUtime=0.2 cores=1,3,5,7
/proc/7936/task/8000/stat : 8000 (java) S 7933 7936 4818 0 -1 1077944384 817 13134 0 0 12 0 5 3 20 0 15 0 48941442 11079016448 21654 33554432000 4194304 4196468 140731652845408 140122772937328 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8001] ppid=7933 vsize=10819352 memory=1792 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/8001/stat : 8001 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941442 11079016448 21654 33554432000 4194304 4196468 140731652845408 140122094652128 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8002] ppid=7933 vsize=10819352 memory=1232 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/8002/stat : 8002 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 48941442 11079016448 21654 33554432000 4194304 4196468 140731652845408 140122536270512 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86616 KiB
[startup+1.50073 s]
/proc/loadavg: 2.05 1.94 1.94 5/216 8002
/proc/meminfo: memFree=21901744/32770624 swapFree=67108860/67108860
[pid=7936] ppid=7933 vsize=10836300 memory=181232 CPUtime=2.25 cores=1,3,5,7
/proc/7936/stat : 7936 (java) S 7933 7936 4818 0 -1 1077944320 24586 13134 0 0 208 9 5 3 20 0 15 0 48941427 11096371200 45308 33554432000 4194304 4196468 140731652845408 140731652827952 140123571412727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
/proc/7936/statm: 2709075 45308 3467 1 0 2670733 0
[pid=7936/tid=7989] ppid=7933 vsize=10836300 memory=62508 CPUtime=1.43 cores=1,3,5,7
/proc/7936/task/7989/stat : 7989 (java) R 7933 7936 4818 0 -1 4202560 17900 13134 0 0 131 4 5 3 20 0 15 0 48941436 11096371200 45308 33554432000 4194304 4196468 140731652845408 140123543242928 140123555456357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7990] ppid=7933 vsize=10836300 memory=8112282956445269571 CPUtime=0.09 cores=1,3,5,7
/proc/7936/task/7990/stat : 7990 (java) S 7933 7936 4818 0 -1 1077944384 26 13134 0 0 1 0 5 3 20 0 15 0 48941437 11096371200 45308 33554432000 4194304 4196468 140731652845408 140123575655568 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7991] ppid=7933 vsize=10836300 memory=279528417321120 CPUtime=0.09 cores=1,3,5,7
/proc/7936/task/7991/stat : 7991 (java) S 7933 7936 4818 0 -1 1077944384 23 13134 0 0 1 0 5 3 20 0 15 0 48941437 11096371200 45308 33554432000 4194304 4196468 140731652845408 140123144817680 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7992] ppid=7933 vsize=10836300 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7936/task/7992/stat : 7992 (java) S 7933 7936 4818 0 -1 1077944384 256 13134 0 0 1 0 5 3 20 0 15 0 48941437 11096371200 45308 33554432000 4194304 4196468 140731652845408 140123143764880 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7993] ppid=7933 vsize=10836300 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7993/stat : 7993 (java) S 7933 7936 4818 0 -1 1077944384 73 13134 0 0 0 0 5 3 20 0 15 0 48941437 11096371200 45308 33554432000 4194304 4196468 140731652845408 140123142712080 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7994] ppid=7933 vsize=10836300 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7936/task/7994/stat : 7994 (java) S 7933 7936 4818 0 -1 1077944384 483 13134 0 0 1 0 5 3 20 0 15 0 48941439 11096371200 45308 33554432000 4194304 4196468 140731652845408 140122776095088 140123571423874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7995] ppid=7933 vsize=10836300 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7995/stat : 7995 (java) S 7933 7936 4818 0 -1 1077944384 13 13134 0 0 0 0 5 3 20 0 15 0 48941439 11096371200 45308 33554432000 4194304 4196468 140731652845408 140122569827424 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7996] ppid=7933 vsize=10836300 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7996/stat : 7996 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941439 11096371200 45308 33554432000 4194304 4196468 140731652845408 140122368500608 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7997] ppid=7933 vsize=10836300 memory=-2746958450906831424 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7997/stat : 7997 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941442 11096371200 45308 33554432000 4194304 4196468 140731652845408 140122128209744 140123571431323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7998] ppid=7933 vsize=10836300 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/7936/task/7998/stat : 7998 (java) S 7933 7936 4818 0 -1 1077944384 1203 13134 0 0 20 0 5 3 20 0 15 0 48941442 11096371200 45308 33554432000 4194304 4196468 140731652845408 140122775042928 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7999] ppid=7933 vsize=10836300 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/7936/task/7999/stat : 7999 (java) R 7933 7936 4818 0 -1 1077944384 885 13134 0 0 20 0 5 3 20 0 15 0 48941442 11096371200 45308 33554432000 4194304 4196468 140731652845408 140122773990128 140123571423874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8000] ppid=7933 vsize=10836300 memory=8112282956445269571 CPUtime=0.37 cores=1,3,5,7
/proc/7936/task/8000/stat : 8000 (java) S 7933 7936 4818 0 -1 1077944384 1522 13134 0 0 29 0 5 3 20 0 15 0 48941442 11096371200 45308 33554432000 4194304 4196468 140731652845408 140122772937328 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8001] ppid=7933 vsize=10836300 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/8001/stat : 8001 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941442 11096371200 45308 33554432000 4194304 4196468 140731652845408 140122094652128 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8002] ppid=7933 vsize=10836300 memory=279528417565568 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/8002/stat : 8002 (java) S 7933 7936 4818 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 48941442 11096371200 45308 33554432000 4194304 4196468 140731652845408 140122536270512 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 10836300 KiB
################
# More data... #
################
[startup+7.55154 s]
# the end of solver process 7936 was just reported to runsolver
# cumulated CPU time of all completed processes: user=13.2878 s, system=0.286931 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40094 s]
/proc/loadavg: 2.29 1.99 1.96 3/216 8002
/proc/meminfo: memFree=21597164/32770624 swapFree=67108860/67108860
[pid=7936] ppid=7933 vsize=10914144 memory=420100 CPUtime=12.32 cores=1,3,5,7
/proc/7936/stat : 7936 (java) S 7933 7936 4818 0 -1 1077944320 64126 13134 0 0 1201 23 5 3 20 0 15 0 48941427 11176083456 105025 33554432000 4194304 4196468 140731652845408 140731652827952 140123571412727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
/proc/7936/statm: 2728536 105025 3518 1 0 2690189 0
[pid=7936/tid=7989] ppid=7933 vsize=10914144 memory=8 CPUtime=6.25 cores=1,3,5,7
/proc/7936/task/7989/stat : 7989 (java) R 7933 7936 4818 0 -1 4202560 38551 13134 0 0 607 10 5 3 20 0 15 0 48941436 11176083456 105025 33554432000 4194304 4196468 140731652845408 140123543245072 140123188802076 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7990] ppid=7933 vsize=10914144 memory=8 CPUtime=0.12 cores=1,3,5,7
/proc/7936/task/7990/stat : 7990 (java) S 7933 7936 4818 0 -1 1077944384 162 13134 0 0 3 1 5 3 20 0 15 0 48941437 11176083456 105025 33554432000 4194304 4196468 140731652845408 140123575655568 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7991] ppid=7933 vsize=10914144 memory=8112282956445269571 CPUtime=0.12 cores=1,3,5,7
/proc/7936/task/7991/stat : 7991 (java) S 7933 7936 4818 0 -1 1077944384 268 13134 0 0 3 1 5 3 20 0 15 0 48941437 11176083456 105025 33554432000 4194304 4196468 140731652845408 140123144817680 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7992] ppid=7933 vsize=10914144 memory=145 CPUtime=0.12 cores=1,3,5,7
/proc/7936/task/7992/stat : 7992 (java) S 7933 7936 4818 0 -1 1077944384 1062 13134 0 0 3 1 5 3 20 0 15 0 48941437 11176083456 105025 33554432000 4194304 4196468 140731652845408 140123143764880 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7993] ppid=7933 vsize=10914144 memory=1 CPUtime=0.12 cores=1,3,5,7
/proc/7936/task/7993/stat : 7993 (java) S 7933 7936 4818 0 -1 1077944384 153 13134 0 0 3 1 5 3 20 0 15 0 48941437 11176083456 105025 33554432000 4194304 4196468 140731652845408 140123142712080 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7994] ppid=7933 vsize=10914144 memory=1 CPUtime=0.12 cores=1,3,5,7
/proc/7936/task/7994/stat : 7994 (java) S 7933 7936 4818 0 -1 1077944384 1198 13134 0 0 4 0 5 3 20 0 15 0 48941439 11176083456 105025 33554432000 4194304 4196468 140731652845408 140122776095088 140123571423874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7995] ppid=7933 vsize=10914144 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7995/stat : 7995 (java) S 7933 7936 4818 0 -1 1077944384 13 13134 0 0 0 0 5 3 20 0 15 0 48941439 11176083456 105025 33554432000 4194304 4196468 140731652845408 140122569827424 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7996] ppid=7933 vsize=10914144 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7996/stat : 7996 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941439 11176083456 105025 33554432000 4194304 4196468 140731652845408 140122368500608 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7997] ppid=7933 vsize=10914144 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7997/stat : 7997 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941442 11176083456 105025 33554432000 4194304 4196468 140731652845408 140122128209744 140123571431323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7998] ppid=7933 vsize=10914144 memory=0 CPUtime=2.22 cores=1,3,5,7
/proc/7936/task/7998/stat : 7998 (java) S 7933 7936 4818 0 -1 1077944384 8035 13134 0 0 213 1 5 3 20 0 15 0 48941442 11176083456 105025 33554432000 4194304 4196468 140731652845408 140122775042928 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7999] ppid=7933 vsize=10914144 memory=0 CPUtime=2.22 cores=1,3,5,7
/proc/7936/task/7999/stat : 7999 (java) S 7933 7936 4818 0 -1 1077944384 5436 13134 0 0 213 1 5 3 20 0 15 0 48941442 11176083456 105025 33554432000 4194304 4196468 140731652845408 140122773990128 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8000] ppid=7933 vsize=10914144 memory=409704 CPUtime=1.55 cores=1,3,5,7
/proc/7936/task/8000/stat : 8000 (java) S 7933 7936 4818 0 -1 1077944384 5984 13134 0 0 144 3 5 3 20 0 15 0 48941442 11176083456 105025 33554432000 4194304 4196468 140731652845408 140122772937328 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8001] ppid=7933 vsize=10914144 memory=15876 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/8001/stat : 8001 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941442 11176083456 105025 33554432000 4194304 4196468 140731652845408 140122094652128 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8002] ppid=7933 vsize=10914144 memory=18464 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/8002/stat : 8002 (java) S 7933 7936 4818 0 -1 1077944384 1063 13134 0 0 0 0 5 3 20 0 15 0 48941442 11176083456 105025 33554432000 4194304 4196468 140731652845408 140122536270512 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
Current children cumulated CPU time: 12.32 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 420100 KiB
[startup+7.20077 s]
/proc/loadavg: 2.29 1.99 1.96 3/216 8002
/proc/meminfo: memFree=21545732/32770624 swapFree=67108860/67108860
[pid=7936] ppid=7933 vsize=10914144 memory=467448 CPUtime=13.18 cores=1,3,5,7
/proc/7936/stat : 7936 (java) S 7933 7936 4818 0 -1 1077944320 64249 13134 0 0 1286 24 5 3 20 0 15 0 48941427 11176083456 116862 33554432000 4194304 4196468 140731652845408 140731652827952 140123571412727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
/proc/7936/statm: 2728536 116862 3518 1 0 2690189 0
[pid=7936/tid=7989] ppid=7933 vsize=10914144 memory=215 CPUtime=7.05 cores=1,3,5,7
/proc/7936/task/7989/stat : 7989 (java) R 7933 7936 4818 0 -1 4202560 38576 13134 0 0 687 10 5 3 20 0 15 0 48941436 11176083456 116862 33554432000 4194304 4196468 140731652845408 140123543246832 140123187314027 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7990] ppid=7933 vsize=10914144 memory=214 CPUtime=0.13 cores=1,3,5,7
/proc/7936/task/7990/stat : 7990 (java) S 7933 7936 4818 0 -1 1077944384 163 13134 0 0 4 1 5 3 20 0 15 0 48941437 11176083456 116862 33554432000 4194304 4196468 140731652845408 140123575655568 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7991] ppid=7933 vsize=10914144 memory=147 CPUtime=0.13 cores=1,3,5,7
/proc/7936/task/7991/stat : 7991 (java) S 7933 7936 4818 0 -1 1077944384 269 13134 0 0 4 1 5 3 20 0 15 0 48941437 11176083456 116862 33554432000 4194304 4196468 140731652845408 140123144817680 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7992] ppid=7933 vsize=10914144 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7936/task/7992/stat : 7992 (java) S 7933 7936 4818 0 -1 1077944384 1064 13134 0 0 3 1 5 3 20 0 15 0 48941437 11176083456 116862 33554432000 4194304 4196468 140731652845408 140123143764880 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7993] ppid=7933 vsize=10914144 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7936/task/7993/stat : 7993 (java) S 7933 7936 4818 0 -1 1077944384 154 13134 0 0 3 1 5 3 20 0 15 0 48941437 11176083456 116862 33554432000 4194304 4196468 140731652845408 140123142712080 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7994] ppid=7933 vsize=10914144 memory=420100 CPUtime=0.12 cores=1,3,5,7
/proc/7936/task/7994/stat : 7994 (java) S 7933 7936 4818 0 -1 1077944384 1215 13134 0 0 4 0 5 3 20 0 15 0 48941439 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122776095088 140123571423874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7995] ppid=7933 vsize=10914144 memory=4052 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7995/stat : 7995 (java) S 7933 7936 4818 0 -1 1077944384 13 13134 0 0 0 0 5 3 20 0 15 0 48941439 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122569827424 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7996] ppid=7933 vsize=10914144 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7996/stat : 7996 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941439 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122368500608 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7997] ppid=7933 vsize=10914144 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7997/stat : 7997 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941442 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122128209744 140123571431323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7998] ppid=7933 vsize=10914144 memory=9920 CPUtime=2.25 cores=1,3,5,7
/proc/7936/task/7998/stat : 7998 (java) S 7933 7936 4818 0 -1 1077944384 8079 13134 0 0 216 1 5 3 20 0 15 0 48941442 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122775042928 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7999] ppid=7933 vsize=10914144 memory=1944 CPUtime=2.24 cores=1,3,5,7
/proc/7936/task/7999/stat : 7999 (java) S 7933 7936 4818 0 -1 1077944384 5441 13134 0 0 215 1 5 3 20 0 15 0 48941442 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122773990128 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8000] ppid=7933 vsize=10914144 memory=279528417836288 CPUtime=1.56 cores=1,3,5,7
/proc/7936/task/8000/stat : 8000 (java) S 7933 7936 4818 0 -1 1077944384 6011 13134 0 0 145 3 5 3 20 0 15 0 48941442 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122772937328 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8001] ppid=7933 vsize=10914144 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/8001/stat : 8001 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941442 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122094652128 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8002] ppid=7933 vsize=10914144 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/8002/stat : 8002 (java) S 7933 7936 4818 0 -1 1077944384 1063 13134 0 0 0 0 5 3 20 0 15 0 48941442 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122536270512 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
Current children cumulated CPU time: 13.18 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 467448 KiB
[startup+7.40073 s]
/proc/loadavg: 2.29 1.99 1.96 3/216 8002
/proc/meminfo: memFree=21545732/32770624 swapFree=67108860/67108860
[pid=7936] ppid=7933 vsize=10914144 memory=467448 CPUtime=13.38 cores=1,3,5,7
/proc/7936/stat : 7936 (java) S 7933 7936 4818 0 -1 1077944320 64574 13134 0 0 1306 24 5 3 20 0 15 0 48941427 11176083456 116862 33554432000 4194304 4196468 140731652845408 140731652827952 140123571412727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
/proc/7936/statm: 2728536 116862 3518 1 0 2690189 0
[pid=7936/tid=7989] ppid=7933 vsize=10914144 memory=6935650355287975249 CPUtime=7.25 cores=1,3,5,7
/proc/7936/task/7989/stat : 7989 (java) R 7933 7936 4818 0 -1 4202560 38899 13134 0 0 707 10 5 3 20 0 15 0 48941436 11176083456 116862 33554432000 4194304 4196468 140731652845408 140123543246832 140123186369964 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7990] ppid=7933 vsize=10914144 memory=7236547281622689387 CPUtime=0.13 cores=1,3,5,7
/proc/7936/task/7990/stat : 7990 (java) S 7933 7936 4818 0 -1 1077944384 163 13134 0 0 4 1 5 3 20 0 15 0 48941437 11176083456 116862 33554432000 4194304 4196468 140731652845408 140123575655568 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7991] ppid=7933 vsize=10914144 memory=5859295640689987664 CPUtime=0.13 cores=1,3,5,7
/proc/7936/task/7991/stat : 7991 (java) S 7933 7936 4818 0 -1 1077944384 269 13134 0 0 4 1 5 3 20 0 15 0 48941437 11176083456 116862 33554432000 4194304 4196468 140731652845408 140123144817680 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7992] ppid=7933 vsize=10914144 memory=7014751519700571729 CPUtime=0.12 cores=1,3,5,7
/proc/7936/task/7992/stat : 7992 (java) S 7933 7936 4818 0 -1 1077944384 1064 13134 0 0 3 1 5 3 20 0 15 0 48941437 11176083456 116862 33554432000 4194304 4196468 140731652845408 140123143764880 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7993] ppid=7933 vsize=10914144 memory=8319106358719820342 CPUtime=0.12 cores=1,3,5,7
/proc/7936/task/7993/stat : 7993 (java) S 7933 7936 4818 0 -1 1077944384 154 13134 0 0 3 1 5 3 20 0 15 0 48941437 11176083456 116862 33554432000 4194304 4196468 140731652845408 140123142712080 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7994] ppid=7933 vsize=10914144 memory=15876 CPUtime=0.12 cores=1,3,5,7
/proc/7936/task/7994/stat : 7994 (java) S 7933 7936 4818 0 -1 1077944384 1215 13134 0 0 4 0 5 3 20 0 15 0 48941439 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122776095088 140123571423874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7995] ppid=7933 vsize=10914144 memory=4 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7995/stat : 7995 (java) S 7933 7936 4818 0 -1 1077944384 13 13134 0 0 0 0 5 3 20 0 15 0 48941439 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122569827424 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7996] ppid=7933 vsize=10914144 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7996/stat : 7996 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941439 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122368500608 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7997] ppid=7933 vsize=10914144 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7997/stat : 7997 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941442 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122128209744 140123571431323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7998] ppid=7933 vsize=10914144 memory=279528417307552 CPUtime=2.25 cores=1,3,5,7
/proc/7936/task/7998/stat : 7998 (java) S 7933 7936 4818 0 -1 1077944384 8079 13134 0 0 216 1 5 3 20 0 15 0 48941442 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122775042928 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7999] ppid=7933 vsize=10914144 memory=25412 CPUtime=2.24 cores=1,3,5,7
/proc/7936/task/7999/stat : 7999 (java) S 7933 7936 4818 0 -1 1077944384 5441 13134 0 0 215 1 5 3 20 0 15 0 48941442 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122773990128 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8000] ppid=7933 vsize=10914144 memory=2244 CPUtime=1.56 cores=1,3,5,7
/proc/7936/task/8000/stat : 8000 (java) S 7933 7936 4818 0 -1 1077944384 6011 13134 0 0 145 3 5 3 20 0 15 0 48941442 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122772937328 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8001] ppid=7933 vsize=10914144 memory=139764208660661 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/8001/stat : 8001 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941442 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122094652128 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8002] ppid=7933 vsize=10914144 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/8002/stat : 8002 (java) S 7933 7936 4818 0 -1 1077944384 1065 13134 0 0 0 0 5 3 20 0 15 0 48941442 11176083456 116862 33554432000 4194304 4196468 140731652845408 140122536270512 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
Current children cumulated CPU time: 13.38 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 467448 KiB
[startup+7.50076 s]
/proc/loadavg: 2.29 1.99 1.96 3/216 8002
/proc/meminfo: memFree=21545732/32770624 swapFree=67108860/67108860
[pid=7936] ppid=7933 vsize=10914144 memory=467576 CPUtime=13.49 cores=1,3,5,7
/proc/7936/stat : 7936 (java) S 7933 7936 4818 0 -1 1077944320 66562 13134 0 0 1317 24 5 3 20 0 15 0 48941427 11176083456 116894 33554432000 4194304 4196468 140731652845408 140731652827952 140123571412727 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
/proc/7936/statm: 2728536 116894 3518 1 0 2690189 0
[pid=7936/tid=7989] ppid=7933 vsize=10914144 memory=0 CPUtime=7.35 cores=1,3,5,7
/proc/7936/task/7989/stat : 7989 (java) R 7933 7936 4818 0 -1 4202560 40204 13134 0 0 717 10 5 3 20 0 15 0 48941436 11176083456 116894 33554432000 4194304 4196468 140731652845408 140123543242040 140123557652145 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7990] ppid=7933 vsize=10914144 memory=-7531822216213012384 CPUtime=0.13 cores=1,3,5,7
/proc/7936/task/7990/stat : 7990 (java) S 7933 7936 4818 0 -1 1077944384 163 13134 0 0 4 1 5 3 20 0 15 0 48941437 11176083456 116894 33554432000 4194304 4196468 140731652845408 140123575655568 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7991] ppid=7933 vsize=10914144 memory=4206468019014099040 CPUtime=0.13 cores=1,3,5,7
/proc/7936/task/7991/stat : 7991 (java) S 7933 7936 4818 0 -1 1077944384 269 13134 0 0 4 1 5 3 20 0 15 0 48941437 11176083456 116894 33554432000 4194304 4196468 140731652845408 140123144817680 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7992] ppid=7933 vsize=10914144 memory=-7384994778349281184 CPUtime=0.12 cores=1,3,5,7
/proc/7936/task/7992/stat : 7992 (java) S 7933 7936 4818 0 -1 1077944384 1064 13134 0 0 3 1 5 3 20 0 15 0 48941437 11176083456 116894 33554432000 4194304 4196468 140731652845408 140123143764880 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7993] ppid=7933 vsize=10914144 memory=279528417650496 CPUtime=0.12 cores=1,3,5,7
/proc/7936/task/7993/stat : 7993 (java) S 7933 7936 4818 0 -1 1077944384 154 13134 0 0 3 1 5 3 20 0 15 0 48941437 11176083456 116894 33554432000 4194304 4196468 140731652845408 140123142712080 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7994] ppid=7933 vsize=10914144 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7936/task/7994/stat : 7994 (java) S 7933 7936 4818 0 -1 1077944384 1215 13134 0 0 4 0 5 3 20 0 15 0 48941439 11176083456 116894 33554432000 4194304 4196468 140731652845408 140122776095088 140123571423874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7995] ppid=7933 vsize=10914144 memory=14410445029116127 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7995/stat : 7995 (java) S 7933 7936 4818 0 -1 1077944384 13 13134 0 0 0 0 5 3 20 0 15 0 48941439 11176083456 116894 33554432000 4194304 4196468 140731652845408 140122569827424 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7996] ppid=7933 vsize=10914144 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7996/stat : 7996 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941439 11176083456 116894 33554432000 4194304 4196468 140731652845408 140122368500608 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7997] ppid=7933 vsize=10914144 memory=309796 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/7997/stat : 7997 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941442 11176083456 116894 33554432000 4194304 4196468 140731652845408 140122128209744 140123571431323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7998] ppid=7933 vsize=10914144 memory=1 CPUtime=2.25 cores=1,3,5,7
/proc/7936/task/7998/stat : 7998 (java) S 7933 7936 4818 0 -1 1077944384 8081 13134 0 0 216 1 5 3 20 0 15 0 48941442 11176083456 116894 33554432000 4194304 4196468 140731652845408 140122775042928 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=7999] ppid=7933 vsize=10914144 memory=1 CPUtime=2.25 cores=1,3,5,7
/proc/7936/task/7999/stat : 7999 (java) S 7933 7936 4818 0 -1 1077944384 6102 13134 0 0 216 1 5 3 20 0 15 0 48941442 11176083456 116894 33554432000 4194304 4196468 140731652845408 140122773990128 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8000] ppid=7933 vsize=10914144 memory=382640 CPUtime=1.56 cores=1,3,5,7
/proc/7936/task/8000/stat : 8000 (java) S 7933 7936 4818 0 -1 1077944384 6032 13134 0 0 145 3 5 3 20 0 15 0 48941442 11176083456 116894 33554432000 4194304 4196468 140731652845408 140122772937328 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8001] ppid=7933 vsize=10914144 memory=4136 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/8001/stat : 8001 (java) S 7933 7936 4818 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 48941442 11176083456 116894 33554432000 4194304 4196468 140731652845408 140122094652128 140123571422933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
[pid=7936/tid=8002] ppid=7933 vsize=10914144 memory=16192 CPUtime=0.08 cores=1,3,5,7
/proc/7936/task/8002/stat : 8002 (java) S 7933 7936 4818 0 -1 1077944384 1065 13134 0 0 0 0 5 3 20 0 15 0 48941442 11176083456 116894 33554432000 4194304 4196468 140731652845408 140122536270512 140123571423874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39600128 140731652847787 140731652851036 140731652851036 140731652853711 0
Current children cumulated CPU time: 13.49 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 467576 KiB
Child status: 0
Real time (s): 7.5516
CPU time (s): 13.5747
CPU user time (s): 13.2878
CPU system time (s): 0.286931
CPU usage (%): 179.76
Max. virtual memory (cumulated for all children) (KiB): 10914736
Max. memory (cumulated for all children) (KiB): 467576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.2878
system time used= 0.286931
maximum resident set size= 470004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80419
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7344
involuntary context switches= 47
# summary of solver processes directly reported to runsolver:
# pid: 7936
# total CPU time (s): 13.5747
# total CPU user time (s): 13.2878
# total CPU system time (s): 0.286931
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.071053 second user time and 0.110073 second system time
The end