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 (6675 MiB free)
memory of node 1: 16384 MiB (3926 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304366-1534064484/watcher-4304366-1534064484 -o /tmp/evaluation-result-4304366-1534064484/solver-4304366-1534064484 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534062012-21371 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1193627451 -superng HOME/instance-4304366-1534064484.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21820, runsolver pid=21817
Current StackSize limit: 8192 KiB
[startup+0.101021 s]*
/proc/loadavg: 1.31 1.42 1.39 2/207 21877
/proc/meminfo: memFree=10848108/32770624 swapFree=67108404/67108860
[pid=21820] ppid=21817 vsize=10005480 memory=17076 CPUtime=0.1 cores=0,2,4,6
/proc/21820/stat : 21820 (java) S 21817 21820 21340 0 -1 1077944320 4435 12883 0 0 1 1 5 3 20 0 6 0 224011555 10245611520 4269 33554432000 4194304 4196468 140722606442384 140722606424928 140594149986039 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
/proc/21820/statm: 2501370 4269 1934 1 0 2489808 0
[pid=21820/tid=21873] ppid=21817 vsize=10005480 memory=4279135704013962638 CPUtime=0.09 cores=0,2,4,6
/proc/21820/task/21873/stat : 21873 (java) R 21817 21820 21340 0 -1 4202560 2251 12883 0 0 1 0 5 3 20 0 6 0 224011564 10245611520 4269 33554432000 4194304 4196468 140722606442384 140594121822800 140594133178806 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21874] ppid=21817 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21874/stat : 21874 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 6 0 224011564 10245611520 4269 33554432000 4194304 4196468 140722606442384 140594154228368 140594149996245 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21875] ppid=21817 vsize=10005480 memory=140492772066944 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21875/stat : 21875 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 6 0 224011564 10245611520 4269 33554432000 4194304 4196468 140722606442384 140594019564048 140594149996245 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21876] ppid=21817 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21876/stat : 21876 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 6 0 224011564 10245611520 4269 33554432000 4194304 4196468 140722606442384 140594018511248 140594149996245 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21877] ppid=21817 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21877/stat : 21877 (java) S 21817 21820 21340 0 -1 1077944384 2 12883 0 0 0 0 5 3 20 0 6 0 224011564 10245611520 4269 33554432000 4194304 4196468 140722606442384 140594017458448 140594149996245 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17076 KiB
[startup+0.209921 s]*
/proc/loadavg: 1.31 1.42 1.39 3/216 21886
/proc/meminfo: memFree=10826688/32770624 swapFree=67108404/67108860
[pid=21820] ppid=21817 vsize=10982744 memory=44920 CPUtime=0.26 cores=0,2,4,6
/proc/21820/stat : 21820 (java) S 21817 21820 21340 0 -1 1077944320 7881 12883 0 0 16 2 5 3 20 0 15 0 224011555 11246329856 11230 33554432000 4194304 4196468 140722606442384 140722606424928 140594149986039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
/proc/21820/statm: 2745686 11230 2976 1 0 2708109 0
[pid=21820/tid=21873] ppid=21817 vsize=10982744 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/21820/task/21873/stat : 21873 (java) R 21817 21820 21340 0 -1 4202560 4492 12883 0 0 11 1 5 3 20 0 15 0 224011564 11246329856 11296 33554432000 4194304 4196468 140722606442384 140594121785952 140594130261788 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21874] ppid=21817 vsize=10982744 memory=364 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21874/stat : 21874 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011564 11246329856 11296 33554432000 4194304 4196468 140722606442384 140594154228368 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21875] ppid=21817 vsize=10982744 memory=4122120731859994272 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21875/stat : 21875 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011564 11246329856 11296 33554432000 4194304 4196468 140722606442384 140594019564048 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21876] ppid=21817 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21876/stat : 21876 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011564 11246329856 11296 33554432000 4194304 4196468 140722606442384 140594018511248 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21877] ppid=21817 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21877/stat : 21877 (java) S 21817 21820 21340 0 -1 1077944384 2 12883 0 0 0 0 5 3 20 0 15 0 224011564 11246329856 11296 33554432000 4194304 4196468 140722606442384 140594017458448 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21878] ppid=21817 vsize=10982744 memory=140492772066944 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21878/stat : 21878 (java) S 21817 21820 21340 0 -1 1077944384 2 12883 0 0 0 0 5 3 20 0 15 0 224011566 11246329856 11296 33554432000 4194304 4196468 140722606442384 140593575263088 140594149997186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21879] ppid=21817 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21879/stat : 21879 (java) S 21817 21820 21340 0 -1 1077944384 13 12883 0 0 0 0 5 3 20 0 15 0 224011566 11246329856 11296 33554432000 4194304 4196468 140722606442384 140593002964512 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21880] ppid=21817 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21880/stat : 21880 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011567 11246329856 11296 33554432000 4194304 4196468 140722606442384 140592801637744 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21881] ppid=21817 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21881/stat : 21881 (java) S 21817 21820 21340 0 -1 1077944384 3 12883 0 0 0 0 5 3 20 0 15 0 224011569 11246329856 11362 33554432000 4194304 4196468 140722606442384 140592494238032 140594150004635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21882] ppid=21817 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21820/task/21882/stat : 21882 (java) S 21817 21820 21340 0 -1 1077944384 475 12883 0 0 1 0 5 3 20 0 15 0 224011569 11246329856 11362 33554432000 4194304 4196468 140722606442384 140593574209904 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21883] ppid=21817 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21883/stat : 21883 (java) S 21817 21820 21340 0 -1 1077944384 143 12883 0 0 0 0 5 3 20 0 15 0 224011569 11246329856 11362 33554432000 4194304 4196468 140722606442384 140593573157104 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21884] ppid=21817 vsize=10982744 memory=140492772066944 CPUtime=0.11 cores=0,2,4,6
/proc/21820/task/21884/stat : 21884 (java) S 21817 21820 21340 0 -1 1077944384 606 12883 0 0 3 0 5 3 20 0 15 0 224011569 11246329856 11362 33554432000 4194304 4196468 140722606442384 140593572104304 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21885] ppid=21817 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21885/stat : 21885 (java) S 21817 21820 21340 0 -1 1077944384 3 12883 0 0 0 0 5 3 20 0 15 0 224011570 11246329856 11362 33554432000 4194304 4196468 140722606442384 140592063441120 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21886] ppid=21817 vsize=10982744 memory=140492772066944 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21886/stat : 21886 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011570 11246329856 11362 33554432000 4194304 4196468 140722606442384 140593571052720 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44920 KiB
[startup+0.310254 s]*
/proc/loadavg: 1.31 1.42 1.39 3/216 21886
/proc/meminfo: memFree=10814780/32770624 swapFree=67108404/67108860
[pid=21820] ppid=21817 vsize=10983192 memory=56384 CPUtime=0.39 cores=0,2,4,6
/proc/21820/stat : 21820 (java) S 21817 21820 21340 0 -1 1077944320 10594 12883 0 0 28 3 5 3 20 0 15 0 224011555 11246788608 14096 33554432000 4194304 4196468 140722606442384 140722606424928 140594149986039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
/proc/21820/statm: 2745798 14096 3095 1 0 2708109 0
[pid=21820/tid=21873] ppid=21817 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/21820/task/21873/stat : 21873 (java) R 21817 21820 21340 0 -1 4202560 7133 12883 0 0 19 2 5 3 20 0 15 0 224011564 11246788608 14096 33554432000 4194304 4196468 140722606442384 140594121798048 140594130261853 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21874] ppid=21817 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21874/stat : 21874 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011564 11246788608 14096 33554432000 4194304 4196468 140722606442384 140594154228368 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21875] ppid=21817 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21875/stat : 21875 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011564 11246788608 14096 33554432000 4194304 4196468 140722606442384 140594019564048 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21876] ppid=21817 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21876/stat : 21876 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011564 11246788608 14096 33554432000 4194304 4196468 140722606442384 140594018511248 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21877] ppid=21817 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21877/stat : 21877 (java) S 21817 21820 21340 0 -1 1077944384 2 12883 0 0 0 0 5 3 20 0 15 0 224011564 11246788608 14096 33554432000 4194304 4196468 140722606442384 140594017458448 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21878] ppid=21817 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21878/stat : 21878 (java) S 21817 21820 21340 0 -1 1077944384 2 12883 0 0 0 0 5 3 20 0 15 0 224011566 11246788608 14096 33554432000 4194304 4196468 140722606442384 140593575263088 140594149997186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21879] ppid=21817 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21879/stat : 21879 (java) S 21817 21820 21340 0 -1 1077944384 13 12883 0 0 0 0 5 3 20 0 15 0 224011566 11246788608 14096 33554432000 4194304 4196468 140722606442384 140593002964512 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21880] ppid=21817 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21880/stat : 21880 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011567 11246788608 14096 33554432000 4194304 4196468 140722606442384 140592801637744 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21881] ppid=21817 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21881/stat : 21881 (java) S 21817 21820 21340 0 -1 1077944384 3 12883 0 0 0 0 5 3 20 0 15 0 224011569 11246788608 14096 33554432000 4194304 4196468 140722606442384 140592494238032 140594150004635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21882] ppid=21817 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21820/task/21882/stat : 21882 (java) S 21817 21820 21340 0 -1 1077944384 475 12883 0 0 1 0 5 3 20 0 15 0 224011569 11246788608 14096 33554432000 4194304 4196468 140722606442384 140593574209904 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21883] ppid=21817 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/21820/task/21883/stat : 21883 (java) S 21817 21820 21340 0 -1 1077944384 146 12883 0 0 1 0 5 3 20 0 15 0 224011569 11246788608 14096 33554432000 4194304 4196468 140722606442384 140593573157104 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21884] ppid=21817 vsize=10983192 memory=140492772066944 CPUtime=0.12 cores=0,2,4,6
/proc/21820/task/21884/stat : 21884 (java) S 21817 21820 21340 0 -1 1077944384 616 12883 0 0 4 0 5 3 20 0 15 0 224011569 11246788608 14096 33554432000 4194304 4196468 140722606442384 140593572104304 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21885] ppid=21817 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21885/stat : 21885 (java) S 21817 21820 21340 0 -1 1077944384 3 12883 0 0 0 0 5 3 20 0 15 0 224011570 11246788608 14096 33554432000 4194304 4196468 140722606442384 140592063441120 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21886] ppid=21817 vsize=10983192 memory=140492772066944 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21886/stat : 21886 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011570 11246788608 14096 33554432000 4194304 4196468 140722606442384 140593571052720 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56384 KiB
[startup+0.700726 s]
/proc/loadavg: 1.31 1.42 1.39 4/216 21886
/proc/meminfo: memFree=10803740/32770624 swapFree=67108404/67108860
[pid=21820] ppid=21817 vsize=10983192 memory=88528 CPUtime=1 cores=0,2,4,6
/proc/21820/stat : 21820 (java) S 21817 21820 21340 0 -1 1077944320 16762 12883 0 0 87 5 5 3 20 0 15 0 224011555 11246788608 22132 33554432000 4194304 4196468 140722606442384 140722606424928 140594149986039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
/proc/21820/statm: 2745798 22132 3238 1 0 2708109 0
[pid=21820/tid=21873] ppid=21817 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/21820/task/21873/stat : 21873 (java) R 21817 21820 21340 0 -1 4202560 12226 12883 0 0 56 3 5 3 20 0 15 0 224011564 11246788608 22132 33554432000 4194304 4196468 140722606442384 140594121806864 140594134066526 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21874] ppid=21817 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21874/stat : 21874 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011564 11246788608 22132 33554432000 4194304 4196468 140722606442384 140594154228368 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21875] ppid=21817 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21875/stat : 21875 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011564 11246788608 22132 33554432000 4194304 4196468 140722606442384 140594019564048 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21876] ppid=21817 vsize=10983192 memory=140492675363632 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21876/stat : 21876 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011564 11246788608 22132 33554432000 4194304 4196468 140722606442384 140594018511248 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21877] ppid=21817 vsize=10983192 memory=140496970187340 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21877/stat : 21877 (java) S 21817 21820 21340 0 -1 1077944384 2 12883 0 0 0 0 5 3 20 0 15 0 224011564 11246788608 22132 33554432000 4194304 4196468 140722606442384 140594017458448 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21878] ppid=21817 vsize=10983192 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21878/stat : 21878 (java) S 21817 21820 21340 0 -1 1077944384 5 12883 0 0 0 0 5 3 20 0 15 0 224011566 11246788608 22132 33554432000 4194304 4196468 140722606442384 140593575263088 140594149997186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21879] ppid=21817 vsize=10983192 memory=4639098309541128813 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21879/stat : 21879 (java) S 21817 21820 21340 0 -1 1077944384 13 12883 0 0 0 0 5 3 20 0 15 0 224011566 11246788608 22132 33554432000 4194304 4196468 140722606442384 140593002964512 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21880] ppid=21817 vsize=10983192 memory=6082220498126138728 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21880/stat : 21880 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011567 11246788608 22132 33554432000 4194304 4196468 140722606442384 140592801637744 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21881] ppid=21817 vsize=10983192 memory=4044 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21881/stat : 21881 (java) S 21817 21820 21340 0 -1 1077944384 3 12883 0 0 0 0 5 3 20 0 15 0 224011569 11246788608 22132 33554432000 4194304 4196468 140722606442384 140592494238032 140594150004635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21882] ppid=21817 vsize=10983192 memory=33636 CPUtime=0.19 cores=0,2,4,6
/proc/21820/task/21882/stat : 21882 (java) S 21817 21820 21340 0 -1 1077944384 1099 12883 0 0 11 0 5 3 20 0 15 0 224011569 11246788608 22132 33554432000 4194304 4196468 140722606442384 140593574209904 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21883] ppid=21817 vsize=10983192 memory=14644 CPUtime=0.14 cores=0,2,4,6
/proc/21820/task/21883/stat : 21883 (java) S 21817 21820 21340 0 -1 1077944384 525 12883 0 0 6 0 5 3 20 0 15 0 224011569 11246788608 22132 33554432000 4194304 4196468 140722606442384 140593573157104 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21884] ppid=21817 vsize=10983192 memory=1720 CPUtime=0.21 cores=0,2,4,6
/proc/21820/task/21884/stat : 21884 (java) S 21817 21820 21340 0 -1 1077944384 685 12883 0 0 13 0 5 3 20 0 15 0 224011569 11246788608 22132 33554432000 4194304 4196468 140722606442384 140593572104304 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21885] ppid=21817 vsize=10983192 memory=508 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21885/stat : 21885 (java) S 21817 21820 21340 0 -1 1077944384 3 12883 0 0 0 0 5 3 20 0 15 0 224011570 11246788608 22132 33554432000 4194304 4196468 140722606442384 140592063441120 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21886] ppid=21817 vsize=10983192 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21886/stat : 21886 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011570 11246788608 22132 33554432000 4194304 4196468 140722606442384 140593571052720 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88528 KiB
[startup+1.50139 s]
/proc/loadavg: 1.31 1.42 1.39 4/216 21886
/proc/meminfo: memFree=10758144/32770624 swapFree=67108404/67108860
[pid=21820] ppid=21817 vsize=10991948 memory=197612 CPUtime=3.06 cores=0,2,4,6
/proc/21820/stat : 21820 (java) S 21817 21820 21340 0 -1 1077944320 22521 12883 0 0 289 9 5 3 20 0 15 0 224011555 11255754752 49403 33554432000 4194304 4196468 140722606442384 140722606424928 140594149986039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
/proc/21820/statm: 2747987 49403 3453 1 0 2709645 0
[pid=21820/tid=21873] ppid=21817 vsize=10991948 memory=65232 CPUtime=1.47 cores=0,2,4,6
/proc/21820/task/21873/stat : 21873 (java) R 21817 21820 21340 0 -1 4202560 15110 12883 0 0 132 7 5 3 20 0 15 0 224011564 11255754752 49403 33554432000 4194304 4196468 140722606442384 140594121816656 140594131635632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21874] ppid=21817 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21874/stat : 21874 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011564 11255754752 49403 33554432000 4194304 4196468 140722606442384 140594154228368 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21875] ppid=21817 vsize=10991948 memory=280985350758560 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21875/stat : 21875 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011564 11255754752 49403 33554432000 4194304 4196468 140722606442384 140594019564048 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21876] ppid=21817 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21876/stat : 21876 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011564 11255754752 49403 33554432000 4194304 4196468 140722606442384 140594018511248 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21877] ppid=21817 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21877/stat : 21877 (java) S 21817 21820 21340 0 -1 1077944384 2 12883 0 0 0 0 5 3 20 0 15 0 224011564 11255754752 49403 33554432000 4194304 4196468 140722606442384 140594017458448 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21878] ppid=21817 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21878/stat : 21878 (java) S 21817 21820 21340 0 -1 1077944384 13 12883 0 0 0 0 5 3 20 0 15 0 224011566 11255754752 49403 33554432000 4194304 4196468 140722606442384 140593575263088 140594149997186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21879] ppid=21817 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21879/stat : 21879 (java) S 21817 21820 21340 0 -1 1077944384 13 12883 0 0 0 0 5 3 20 0 15 0 224011566 11255754752 49403 33554432000 4194304 4196468 140722606442384 140593002964512 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21880] ppid=21817 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21880/stat : 21880 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011567 11255754752 49403 33554432000 4194304 4196468 140722606442384 140592801637744 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21881] ppid=21817 vsize=10991948 memory=-5921431000321636112 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21881/stat : 21881 (java) S 21817 21820 21340 0 -1 1077944384 3 12883 0 0 0 0 5 3 20 0 15 0 224011569 11255754752 49403 33554432000 4194304 4196468 140722606442384 140592494238032 140594150004635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21882] ppid=21817 vsize=10991948 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/21820/task/21882/stat : 21882 (java) R 21817 21820 21340 0 -1 4202560 1834 12883 0 0 61 0 5 3 20 0 15 0 224011569 11255754752 49403 33554432000 4194304 4196468 140722606442384 140593574196448 140594134908005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21883] ppid=21817 vsize=10991948 memory=10 CPUtime=0.6 cores=0,2,4,6
/proc/21820/task/21883/stat : 21883 (java) R 21817 21820 21340 0 -1 4202560 1834 12883 0 0 52 0 5 3 20 0 15 0 224011569 11255754752 49403 33554432000 4194304 4196468 140722606442384 140593573139280 140594129679116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21884] ppid=21817 vsize=10991948 memory=6791534058613427641 CPUtime=0.5 cores=0,2,4,6
/proc/21820/task/21884/stat : 21884 (java) S 21817 21820 21340 0 -1 1077944384 1508 12883 0 0 42 0 5 3 20 0 15 0 224011569 11255754752 49403 33554432000 4194304 4196468 140722606442384 140593572104304 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21885] ppid=21817 vsize=10991948 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21885/stat : 21885 (java) S 21817 21820 21340 0 -1 1077944384 3 12883 0 0 0 0 5 3 20 0 15 0 224011570 11255754752 49403 33554432000 4194304 4196468 140722606442384 140592063441120 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21886] ppid=21817 vsize=10991948 memory=280985351003072 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21886/stat : 21886 (java) S 21817 21820 21340 0 -1 1077944384 1 12883 0 0 0 0 5 3 20 0 15 0 224011570 11255754752 49403 33554432000 4194304 4196468 140722606442384 140593571052720 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/21820/task/21878/stat : 21878 (java) S 21817 21820 21340 0 -1 1077944384 23485 12883 0 0 74 12 5 3 20 0 15 0 224011566 11272552448 752228 33554432000 4194304 4196468 140722606442384 140593575263088 140594149997186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21879] ppid=21817 vsize=11008352 memory=7301830677129290322 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21879/stat : 21879 (java) S 21817 21820 21340 0 -1 1077944384 15 12883 0 0 0 0 5 3 20 0 15 0 224011566 11272552448 752228 33554432000 4194304 4196468 140722606442384 140593002964576 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21880] ppid=21817 vsize=11008352 memory=4123362355305460535 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21880/stat : 21880 (java) S 21817 21820 21340 0 -1 1077944384 2 12883 0 0 0 0 5 3 20 0 15 0 224011567 11272552448 752228 33554432000 4194304 4196468 140722606442384 140592801637760 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21881] ppid=21817 vsize=11008352 memory=3008912 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21881/stat : 21881 (java) S 21817 21820 21340 0 -1 1077944384 3 12883 0 0 0 0 5 3 20 0 15 0 224011569 11272552448 752228 33554432000 4194304 4196468 140722606442384 140592494238032 140594150004635 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21882] ppid=21817 vsize=11008352 memory=3008912 CPUtime=3.56 cores=0,2,4,6
/proc/21820/task/21882/stat : 21882 (java) S 21817 21820 21340 0 -1 1077944384 6774 12883 0 0 346 2 5 3 20 0 15 0 224011569 11272552448 752228 33554432000 4194304 4196468 140722606442384 140593574209904 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21883] ppid=21817 vsize=11008352 memory=756 CPUtime=3.35 cores=0,2,4,6
/proc/21820/task/21883/stat : 21883 (java) S 21817 21820 21340 0 -1 1077944384 7181 12883 0 0 326 1 5 3 20 0 15 0 224011569 11272552448 752228 33554432000 4194304 4196468 140722606442384 140593573157104 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21884] ppid=21817 vsize=11008352 memory=9624 CPUtime=1.65 cores=0,2,4,6
/proc/21820/task/21884/stat : 21884 (java) S 21817 21820 21340 0 -1 1077944384 10196 12883 0 0 154 3 5 3 20 0 15 0 224011569 11272552448 752228 33554432000 4194304 4196468 140722606442384 140593572104304 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21885] ppid=21817 vsize=11008352 memory=876 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21885/stat : 21885 (java) S 21817 21820 21340 0 -1 1077944384 3 12883 0 0 0 0 5 3 20 0 15 0 224011570 11272552448 752228 33554432000 4194304 4196468 140722606442384 140592063441120 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21886] ppid=21817 vsize=11008352 memory=1924 CPUtime=1.44 cores=0,2,4,6
/proc/21820/task/21886/stat : 21886 (java) S 21817 21820 21340 0 -1 1077944384 1314 12883 0 0 72 64 5 3 20 0 15 0 224011570 11272552448 752228 33554432000 4194304 4196468 140722606442384 140593571052720 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 3008912 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+2470.82 s]
# the end of solver process 21820 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.88 s, system=2.24846 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2469.6 s]
/proc/loadavg: 1.66 1.72 1.71 3/218 22090
/proc/meminfo: memFree=7172500/32770624 swapFree=67108404/67108860
[pid=21820] ppid=21817 vsize=11270504 memory=3013096 CPUtime=2520.84 cores=0,2,4,6
/proc/21820/stat : 21820 (java) S 21817 21820 21340 0 -1 1077944320 298105 12883 0 0 251856 220 5 3 20 0 17 0 224011555 11540996096 753274 33554432000 4194304 4196468 140722606442384 140722606424928 140594149986039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
/proc/21820/statm: 2817626 753274 3530 1 0 2779279 0
[pid=21820/tid=21873] ppid=21817 vsize=11270504 memory=1404 CPUtime=2454.2 cores=0,2,4,6
/proc/21820/task/21873/stat : 21873 (java) R 21817 21820 21340 0 -1 4202560 160672 12883 0 0 245338 74 5 3 20 0 17 0 224011564 11540996096 753274 33554432000 4194304 4196468 140722606442384 140594121818528 140593701607847 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21874] ppid=21817 vsize=11270504 memory=4000 CPUtime=14.09 cores=0,2,4,6
/proc/21820/task/21874/stat : 21874 (java) S 21817 21820 21340 0 -1 1077944384 22590 12883 0 0 1383 18 5 3 20 0 17 0 224011564 11540996096 753274 33554432000 4194304 4196468 140722606442384 140594154228368 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21875] ppid=21817 vsize=11270504 memory=1156 CPUtime=14.05 cores=0,2,4,6
/proc/21820/task/21875/stat : 21875 (java) S 21817 21820 21340 0 -1 1077944384 22741 12883 0 0 1379 18 5 3 20 0 17 0 224011564 11540996096 753274 33554432000 4194304 4196468 140722606442384 140594019564048 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21876] ppid=21817 vsize=11270504 memory=15212 CPUtime=14.07 cores=0,2,4,6
/proc/21820/task/21876/stat : 21876 (java) S 21817 21820 21340 0 -1 1077944384 21217 12883 0 0 1380 19 5 3 20 0 17 0 224011564 11540996096 753274 33554432000 4194304 4196468 140722606442384 140594018511248 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21877] ppid=21817 vsize=11270504 memory=4044 CPUtime=14.07 cores=0,2,4,6
/proc/21820/task/21877/stat : 21877 (java) S 21817 21820 21340 0 -1 1077944384 19526 12883 0 0 1379 20 5 3 20 0 17 0 224011564 11540996096 753274 33554432000 4194304 4196468 140722606442384 140594017458448 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21878] ppid=21817 vsize=11270504 memory=33656 CPUtime=0.94 cores=0,2,4,6
/proc/21820/task/21878/stat : 21878 (java) S 21817 21820 21340 0 -1 1077944384 23485 12883 0 0 74 12 5 3 20 0 17 0 224011566 11540996096 753274 33554432000 4194304 4196468 140722606442384 140593575263088 140594149997186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21879] ppid=21817 vsize=11270504 memory=14644 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21879/stat : 21879 (java) S 21817 21820 21340 0 -1 1077944384 15 12883 0 0 0 0 5 3 20 0 17 0 224011566 11540996096 753274 33554432000 4194304 4196468 140722606442384 140593002964576 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21880] ppid=21817 vsize=11270504 memory=1720 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21880/stat : 21880 (java) S 21817 21820 21340 0 -1 1077944384 2 12883 0 0 0 0 5 3 20 0 17 0 224011567 11540996096 753274 33554432000 4194304 4196468 140722606442384 140592801637760 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21881] ppid=21817 vsize=11270504 memory=508 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21881/stat : 21881 (java) S 21817 21820 21340 0 -1 1077944384 129 12883 0 0 0 0 5 3 20 0 17 0 224011569 11540996096 753274 33554432000 4194304 4196468 140722606442384 140592494238032 140594150004635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21882] ppid=21817 vsize=11270504 memory=928 CPUtime=3.56 cores=0,2,4,6
/proc/21820/task/21882/stat : 21882 (java) S 21817 21820 21340 0 -1 1077944384 6774 12883 0 0 346 2 5 3 20 0 17 0 224011569 11540996096 753274 33554432000 4194304 4196468 140722606442384 140593574209904 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21883] ppid=21817 vsize=11270504 memory=1172 CPUtime=3.35 cores=0,2,4,6
/proc/21820/task/21883/stat : 21883 (java) S 21817 21820 21340 0 -1 1077944384 7181 12883 0 0 326 1 5 3 20 0 17 0 224011569 11540996096 753274 33554432000 4194304 4196468 140722606442384 140593573157104 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21884] ppid=21817 vsize=11270504 memory=2404 CPUtime=1.65 cores=0,2,4,6
/proc/21820/task/21884/stat : 21884 (java) S 21817 21820 21340 0 -1 1077944384 10196 12883 0 0 154 3 5 3 20 0 17 0 224011569 11540996096 753274 33554432000 4194304 4196468 140722606442384 140593572104304 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21885] ppid=21817 vsize=11270504 memory=1576 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21885/stat : 21885 (java) S 21817 21820 21340 0 -1 1077944384 3 12883 0 0 0 0 5 3 20 0 17 0 224011570 11540996096 753274 33554432000 4194304 4196468 140722606442384 140592063441120 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21886] ppid=21817 vsize=11270504 memory=928 CPUtime=1.44 cores=0,2,4,6
/proc/21820/task/21886/stat : 21886 (java) S 21817 21820 21340 0 -1 1077944384 1314 12883 0 0 72 64 5 3 20 0 17 0 224011570 11540996096 753274 33554432000 4194304 4196468 140722606442384 140593571052720 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=22089] ppid=21817 vsize=11270504 memory=2216 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/22089/stat : 22089 (java) S 21817 21820 21340 0 -1 1077944384 19 12883 0 0 0 0 5 3 20 0 17 0 224258435 11540996096 753274 33554432000 4194304 4196468 140722606442384 140591862113008 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=22090] ppid=21817 vsize=11270504 memory=3984 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/22090/stat : 22090 (java) S 21817 21820 21340 0 -1 1077944384 43 12883 0 0 0 0 5 3 20 0 17 0 224258435 11540996096 753274 33554432000 4194304 4196468 140722606442384 140591660787296 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
Current children cumulated CPU time: 2520.84 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 3013096 KiB
[startup+2470.4 s]
/proc/loadavg: 1.66 1.72 1.71 3/218 22090
/proc/meminfo: memFree=7172468/32770624 swapFree=67108404/67108860
[pid=21820] ppid=21817 vsize=11270504 memory=3013096 CPUtime=2521.65 cores=0,2,4,6
/proc/21820/stat : 21820 (java) S 21817 21820 21340 0 -1 1077944320 298206 12883 0 0 251937 220 5 3 20 0 17 0 224011555 11540996096 753274 33554432000 4194304 4196468 140722606442384 140722606424928 140594149986039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
/proc/21820/statm: 2817626 753274 3530 1 0 2779279 0
[pid=21820/tid=21873] ppid=21817 vsize=11270504 memory=3684 CPUtime=2455 cores=0,2,4,6
/proc/21820/task/21873/stat : 21873 (java) R 21817 21820 21340 0 -1 4202560 160772 12883 0 0 245418 74 5 3 20 0 17 0 224011564 11540996096 753274 33554432000 4194304 4196468 140722606442384 140594121818528 140593694398232 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21874] ppid=21817 vsize=11270504 memory=61040 CPUtime=14.09 cores=0,2,4,6
/proc/21820/task/21874/stat : 21874 (java) S 21817 21820 21340 0 -1 1077944384 22590 12883 0 0 1383 18 5 3 20 0 17 0 224011564 11540996096 753274 33554432000 4194304 4196468 140722606442384 140594154228368 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21875] ppid=21817 vsize=11270504 memory=3008912 CPUtime=14.05 cores=0,2,4,6
/proc/21820/task/21875/stat : 21875 (java) S 21817 21820 21340 0 -1 1077944384 22741 12883 0 0 1379 18 5 3 20 0 17 0 224011564 11540996096 753274 33554432000 4194304 4196468 140722606442384 140594019564048 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21876] ppid=21817 vsize=11270504 memory=3684 CPUtime=14.07 cores=0,2,4,6
/proc/21820/task/21876/stat : 21876 (java) S 21817 21820 21340 0 -1 1077944384 21217 12883 0 0 1380 19 5 3 20 0 17 0 224011564 11540996096 753274 33554432000 4194304 4196468 140722606442384 140594018511248 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21877] ppid=21817 vsize=11270504 memory=61040 CPUtime=14.07 cores=0,2,4,6
/proc/21820/task/21877/stat : 21877 (java) S 21817 21820 21340 0 -1 1077944384 19526 12883 0 0 1379 20 5 3 20 0 17 0 224011564 11540996096 753274 33554432000 4194304 4196468 140722606442384 140594017458448 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21878] ppid=21817 vsize=11270504 memory=6791534058613427641 CPUtime=0.94 cores=0,2,4,6
/proc/21820/task/21878/stat : 21878 (java) S 21817 21820 21340 0 -1 1077944384 23485 12883 0 0 74 12 5 3 20 0 17 0 224011566 11540996096 753274 33554432000 4194304 4196468 140722606442384 140593575263088 140594149997186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21879] ppid=21817 vsize=11270504 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21879/stat : 21879 (java) S 21817 21820 21340 0 -1 1077944384 15 12883 0 0 0 0 5 3 20 0 17 0 224011566 11540996096 753274 33554432000 4194304 4196468 140722606442384 140593002964576 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21880] ppid=21817 vsize=11270504 memory=-7879453651693621650 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21880/stat : 21880 (java) S 21817 21820 21340 0 -1 1077944384 2 12883 0 0 0 0 5 3 20 0 17 0 224011567 11540996096 753274 33554432000 4194304 4196468 140722606442384 140592801637760 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21881] ppid=21817 vsize=11270504 memory=1720 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21881/stat : 21881 (java) S 21817 21820 21340 0 -1 1077944384 129 12883 0 0 0 0 5 3 20 0 17 0 224011569 11540996096 753274 33554432000 4194304 4196468 140722606442384 140592494238032 140594150004635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21882] ppid=21817 vsize=11270504 memory=508 CPUtime=3.56 cores=0,2,4,6
/proc/21820/task/21882/stat : 21882 (java) S 21817 21820 21340 0 -1 1077944384 6774 12883 0 0 346 2 5 3 20 0 17 0 224011569 11540996096 753274 33554432000 4194304 4196468 140722606442384 140593574209904 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21883] ppid=21817 vsize=11270504 memory=928 CPUtime=3.35 cores=0,2,4,6
/proc/21820/task/21883/stat : 21883 (java) S 21817 21820 21340 0 -1 1077944384 7181 12883 0 0 326 1 5 3 20 0 17 0 224011569 11540996096 753274 33554432000 4194304 4196468 140722606442384 140593573157104 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21884] ppid=21817 vsize=11270504 memory=3684 CPUtime=1.65 cores=0,2,4,6
/proc/21820/task/21884/stat : 21884 (java) S 21817 21820 21340 0 -1 1077944384 10196 12883 0 0 154 3 5 3 20 0 17 0 224011569 11540996096 753274 33554432000 4194304 4196468 140722606442384 140593572104304 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21885] ppid=21817 vsize=11270504 memory=61040 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21885/stat : 21885 (java) S 21817 21820 21340 0 -1 1077944384 3 12883 0 0 0 0 5 3 20 0 17 0 224011570 11540996096 753274 33554432000 4194304 4196468 140722606442384 140592063441120 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21886] ppid=21817 vsize=11270504 memory=3008912 CPUtime=1.44 cores=0,2,4,6
/proc/21820/task/21886/stat : 21886 (java) S 21817 21820 21340 0 -1 1077944384 1314 12883 0 0 72 64 5 3 20 0 17 0 224011570 11540996096 753274 33554432000 4194304 4196468 140722606442384 140593571052720 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=22089] ppid=21817 vsize=11270504 memory=1616 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/22089/stat : 22089 (java) S 21817 21820 21340 0 -1 1077944384 19 12883 0 0 0 0 5 3 20 0 17 0 224258435 11540996096 753274 33554432000 4194304 4196468 140722606442384 140591862113008 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=22090] ppid=21817 vsize=11270504 memory=756 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/22090/stat : 22090 (java) S 21817 21820 21340 0 -1 1077944384 44 12883 0 0 0 0 5 3 20 0 17 0 224258435 11540996096 753274 33554432000 4194304 4196468 140722606442384 140591660787296 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
Current children cumulated CPU time: 2521.65 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 3013096 KiB
[startup+2470.8 s]
/proc/loadavg: 1.66 1.72 1.71 3/218 22090
/proc/meminfo: memFree=7172468/32770624 swapFree=67108404/67108860
[pid=21820] ppid=21817 vsize=11270504 memory=3013100 CPUtime=2522.1 cores=0,2,4,6
/proc/21820/stat : 21820 (java) S 21817 21820 21340 0 -1 1077944320 298668 12883 0 0 251982 220 5 3 20 0 17 0 224011555 11540996096 753275 33554432000 4194304 4196468 140722606442384 140722606424928 140594149986039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
/proc/21820/statm: 2817626 753275 3530 1 0 2779279 0
[pid=21820/tid=21873] ppid=21817 vsize=11270504 memory=916 CPUtime=2455.39 cores=0,2,4,6
/proc/21820/task/21873/stat : 21873 (java) R 21817 21820 21340 0 -1 4202560 160877 12883 0 0 245457 74 5 3 20 0 17 0 224011564 11540996096 753275 33554432000 4194304 4196468 140722606442384 140594121818560 140593694398309 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21874] ppid=21817 vsize=11270504 memory=3848 CPUtime=14.11 cores=0,2,4,6
/proc/21820/task/21874/stat : 21874 (java) S 21817 21820 21340 0 -1 1077944384 22630 12883 0 0 1385 18 5 3 20 0 17 0 224011564 11540996096 753275 33554432000 4194304 4196468 140722606442384 140594154228368 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21875] ppid=21817 vsize=11270504 memory=6791534058613427641 CPUtime=14.08 cores=0,2,4,6
/proc/21820/task/21875/stat : 21875 (java) S 21817 21820 21340 0 -1 1077944384 22901 12883 0 0 1381 19 5 3 20 0 17 0 224011564 11540996096 753275 33554432000 4194304 4196468 140722606442384 140594019564048 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21876] ppid=21817 vsize=11270504 memory=1172 CPUtime=14.08 cores=0,2,4,6
/proc/21820/task/21876/stat : 21876 (java) S 21817 21820 21340 0 -1 1077944384 21225 12883 0 0 1381 19 5 3 20 0 17 0 224011564 11540996096 753275 33554432000 4194304 4196468 140722606442384 140594018511248 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21877] ppid=21817 vsize=11270504 memory=2404 CPUtime=14.09 cores=0,2,4,6
/proc/21820/task/21877/stat : 21877 (java) S 21817 21820 21340 0 -1 1077944384 19530 12883 0 0 1381 20 5 3 20 0 17 0 224011564 11540996096 753275 33554432000 4194304 4196468 140722606442384 140594017458448 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21878] ppid=21817 vsize=11270504 memory=1576 CPUtime=0.94 cores=0,2,4,6
/proc/21820/task/21878/stat : 21878 (java) S 21817 21820 21340 0 -1 1077944384 23629 12883 0 0 74 12 5 3 20 0 17 0 224011566 11540996096 753275 33554432000 4194304 4196468 140722606442384 140593575263088 140594149997186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21879] ppid=21817 vsize=11270504 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21879/stat : 21879 (java) S 21817 21820 21340 0 -1 1077944384 15 12883 0 0 0 0 5 3 20 0 17 0 224011566 11540996096 753275 33554432000 4194304 4196468 140722606442384 140593002964576 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21880] ppid=21817 vsize=11270504 memory=2216 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21880/stat : 21880 (java) S 21817 21820 21340 0 -1 1077944384 2 12883 0 0 0 0 5 3 20 0 17 0 224011567 11540996096 753275 33554432000 4194304 4196468 140722606442384 140592801637760 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21881] ppid=21817 vsize=11270504 memory=3984 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21881/stat : 21881 (java) S 21817 21820 21340 0 -1 1077944384 129 12883 0 0 0 0 5 3 20 0 17 0 224011569 11540996096 753275 33554432000 4194304 4196468 140722606442384 140592494238032 140594150004635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21882] ppid=21817 vsize=11270504 memory=2144 CPUtime=3.56 cores=0,2,4,6
/proc/21820/task/21882/stat : 21882 (java) S 21817 21820 21340 0 -1 1077944384 6774 12883 0 0 346 2 5 3 20 0 17 0 224011569 11540996096 753275 33554432000 4194304 4196468 140722606442384 140593574209904 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21883] ppid=21817 vsize=11270504 memory=7540 CPUtime=3.35 cores=0,2,4,6
/proc/21820/task/21883/stat : 21883 (java) S 21817 21820 21340 0 -1 1077944384 7181 12883 0 0 326 1 5 3 20 0 17 0 224011569 11540996096 753275 33554432000 4194304 4196468 140722606442384 140593573157104 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21884] ppid=21817 vsize=11270504 memory=1784 CPUtime=1.65 cores=0,2,4,6
/proc/21820/task/21884/stat : 21884 (java) S 21817 21820 21340 0 -1 1077944384 10196 12883 0 0 154 3 5 3 20 0 17 0 224011569 11540996096 753275 33554432000 4194304 4196468 140722606442384 140593572104304 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21885] ppid=21817 vsize=11270504 memory=1616 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/21885/stat : 21885 (java) S 21817 21820 21340 0 -1 1077944384 3 12883 0 0 0 0 5 3 20 0 17 0 224011570 11540996096 753275 33554432000 4194304 4196468 140722606442384 140592063441120 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=21886] ppid=21817 vsize=11270504 memory=756 CPUtime=1.44 cores=0,2,4,6
/proc/21820/task/21886/stat : 21886 (java) S 21817 21820 21340 0 -1 1077944384 1314 12883 0 0 72 64 5 3 20 0 17 0 224011570 11540996096 753275 33554432000 4194304 4196468 140722606442384 140593571052720 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=22089] ppid=21817 vsize=11270504 memory=2148 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/22089/stat : 22089 (java) S 21817 21820 21340 0 -1 1077944384 19 12883 0 0 0 0 5 3 20 0 17 0 224258435 11540996096 753275 33554432000 4194304 4196468 140722606442384 140591862113008 140594149996245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
[pid=21820/tid=22090] ppid=21817 vsize=11270504 memory=1160 CPUtime=0.08 cores=0,2,4,6
/proc/21820/task/22090/stat : 22090 (java) S 21817 21820 21340 0 -1 1077944384 45 12883 0 0 0 0 5 3 20 0 17 0 224258435 11540996096 753275 33554432000 4194304 4196468 140722606442384 140591660787296 140594149997186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140722606451299 140722606454108 140722606454108 140722606456783 0
Current children cumulated CPU time: 2522.1 s
Current children cumulated vsize: 11270504 KiB
Current children cumulated memory: 3013100 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2470.82
CPU time (s): 2522.13
CPU user time (s): 2519.88
CPU system time (s): 2.24846
CPU usage (%): 102.076
Max. virtual memory (cumulated for all children) (KiB): 11270504
Max. memory (cumulated for all children) (KiB): 3013100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.88
system time used= 2.24846
maximum resident set size= 3013288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311554
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75190
involuntary context switches= 5231
# summary of solver processes directly reported to runsolver:
# pid: 21820
# total CPU time (s): 2522.13
# total CPU user time (s): 2519.88
# total CPU system time (s): 2.24846
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7114 second user time and 24.1503 second system time
The end