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 (7300 MiB free)
memory of node 1: 16384 MiB (10493 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291793-1532261164/watcher-4291793-1532261164 -o /tmp/evaluation-result-4291793-1532261164/solver-4291793-1532261164 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532261164-3783 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4291793-1532261164.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=3811, runsolver pid=3804
[startup+0.100061 s]*
/proc/loadavg: 0.65 0.66 0.84 4/215 3841
/proc/meminfo: memFree=18182624/32770624 swapFree=67108860/67108860
[pid=3811] ppid=3804 vsize=10659012 memory=31532 CPUtime=0.13 cores=1,3,5,7
/proc/3811/stat : 3811 (java) S 3804 3811 3751 0 -1 1077944320 6431 0 0 0 12 1 0 0 20 0 15 0 43679264 10914828288 7883 33554432000 4194304 4196468 140724458868288 140724458850832 139993871703799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
/proc/3811/statm: 2664753 7883 2821 1 0 2627263 0
[pid=3811/tid=3815] ppid=3804 vsize=10659012 memory=-8253362762721355408 CPUtime=0.09 cores=1,3,5,7
/proc/3811/task/3815/stat : 3815 (java) R 3804 3811 3751 0 -1 4202560 4278 0 0 0 8 1 0 0 20 0 15 0 43679265 10914828288 7883 33554432000 4194304 4196468 140724458868288 139993875924928 139993871725725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3820] ppid=3804 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3820/stat : 3820 (java) S 3804 3811 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43679265 10914828288 7883 33554432000 4194304 4196468 140724458868288 139993797778192 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3821] ppid=3804 vsize=10659012 memory=140654597179008 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3821/stat : 3821 (java) S 3804 3811 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43679265 10914828288 7883 33554432000 4194304 4196468 140724458868288 139993796725648 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3822] ppid=3804 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3822/stat : 3822 (java) S 3804 3811 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43679265 10914828288 7883 33554432000 4194304 4196468 140724458868288 139993795673104 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3823] ppid=3804 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3823/stat : 3823 (java) S 3804 3811 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43679265 10914828288 7883 33554432000 4194304 4196468 140724458868288 139993794620560 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3825] ppid=3804 vsize=10659012 memory=140654597179008 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3825/stat : 3825 (java) S 3804 3811 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43679267 10914828288 7883 33554432000 4194304 4196468 140724458868288 139993363191792 139993871714946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3826] ppid=3804 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3826/stat : 3826 (java) S 3804 3811 3751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43679267 10914828288 7883 33554432000 4194304 4196468 140724458868288 139993362138016 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3828] ppid=3804 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3828/stat : 3828 (java) S 3804 3811 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43679267 10914828288 7883 33554432000 4194304 4196468 140724458868288 139993361085424 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3830] ppid=3804 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3830/stat : 3830 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43679270 10914828288 7883 33554432000 4194304 4196468 140724458868288 139993360034000 139993871722395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3831] ppid=3804 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3831/stat : 3831 (java) S 3804 3811 3751 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 43679270 10914828288 7883 33554432000 4194304 4196468 140724458868288 139993358981616 139993871714946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3832] ppid=3804 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3832/stat : 3832 (java) S 3804 3811 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43679270 10914828288 7883 33554432000 4194304 4196468 140724458868288 139993357929072 139993871714946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3833] ppid=3804 vsize=10659012 memory=140654597179008 CPUtime=0.02 cores=1,3,5,7
/proc/3811/task/3833/stat : 3833 (java) R 3804 3811 3751 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 43679270 10914828288 7883 33554432000 4194304 4196468 140724458868288 139993356876528 139993863940926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3838] ppid=3804 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3838/stat : 3838 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43679270 10914828288 7883 33554432000 4194304 4196468 140724458868288 139993355824224 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3840] ppid=3804 vsize=10659012 memory=140654597179008 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3840/stat : 3840 (java) S 3804 3811 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43679270 10914828288 7883 33554432000 4194304 4196468 140724458868288 139993354770736 139993871714946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31532 KiB
[startup+0.210718 s]*
/proc/loadavg: 0.65 0.66 0.84 5/215 3841
/proc/meminfo: memFree=18161868/32770624 swapFree=67108860/67108860
[pid=3811] ppid=3804 vsize=10659012 memory=42272 CPUtime=0.34 cores=1,3,5,7
/proc/3811/stat : 3811 (java) S 3804 3811 3751 0 -1 1077944320 7673 0 0 0 32 2 0 0 20 0 15 0 43679264 10914828288 10568 33554432000 4194304 4196468 140724458868288 140724458850832 139993871703799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
/proc/3811/statm: 2664753 10568 3001 1 0 2627263 0
[pid=3811/tid=3815] ppid=3804 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/3811/task/3815/stat : 3815 (java) R 3804 3811 3751 0 -1 4202560 4629 0 0 0 19 1 0 0 20 0 15 0 43679265 10914828288 10568 33554432000 4194304 4196468 140724458868288 139993875933872 139993855784286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3820] ppid=3804 vsize=10659012 memory=342 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3820/stat : 3820 (java) S 3804 3811 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43679265 10914828288 10568 33554432000 4194304 4196468 140724458868288 139993797778192 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3821] ppid=3804 vsize=10659012 memory=140654597342098 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3821/stat : 3821 (java) S 3804 3811 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43679265 10914828288 10568 33554432000 4194304 4196468 140724458868288 139993796725648 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3822] ppid=3804 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3822/stat : 3822 (java) S 3804 3811 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43679265 10914828288 10568 33554432000 4194304 4196468 140724458868288 139993795673104 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3823] ppid=3804 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3823/stat : 3823 (java) S 3804 3811 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43679265 10914828288 10568 33554432000 4194304 4196468 140724458868288 139993794620560 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3825] ppid=3804 vsize=10659012 memory=140654597179008 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3825/stat : 3825 (java) S 3804 3811 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43679267 10914828288 10568 33554432000 4194304 4196468 140724458868288 139993363191792 139993871714946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3826] ppid=3804 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3826/stat : 3826 (java) S 3804 3811 3751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43679267 10914828288 10568 33554432000 4194304 4196468 140724458868288 139993362138016 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3828] ppid=3804 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3828/stat : 3828 (java) S 3804 3811 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43679267 10914828288 10568 33554432000 4194304 4196468 140724458868288 139993361085424 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3830] ppid=3804 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3830/stat : 3830 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43679270 10914828288 10568 33554432000 4194304 4196468 140724458868288 139993360034000 139993871722395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3831] ppid=3804 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3811/task/3831/stat : 3831 (java) R 3804 3811 3751 0 -1 4202560 837 0 0 0 2 0 0 0 20 0 15 0 43679270 10914828288 10568 33554432000 4194304 4196468 140724458868288 139993358981616 139993871715734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3832] ppid=3804 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3811/task/3832/stat : 3832 (java) R 3804 3811 3751 0 -1 1077944384 184 0 0 0 2 0 0 0 20 0 15 0 43679270 10914828288 10568 33554432000 4194304 4196468 140724458868288 139993357929072 139993871714946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3833] ppid=3804 vsize=10659012 memory=140654597179008 CPUtime=0.07 cores=1,3,5,7
/proc/3811/task/3833/stat : 3833 (java) R 3804 3811 3751 0 -1 1077944384 661 0 0 0 7 0 0 0 20 0 15 0 43679270 10914828288 10568 33554432000 4194304 4196468 140724458868288 139993356876528 139993871714946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3838] ppid=3804 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3838/stat : 3838 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43679270 10914828288 10568 33554432000 4194304 4196468 140724458868288 139993355824224 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3840] ppid=3804 vsize=10659012 memory=140654597179008 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3840/stat : 3840 (java) S 3804 3811 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43679270 10914828288 10568 33554432000 4194304 4196468 140724458868288 139993354770736 139993871714946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42272 KiB
[startup+0.311334 s]*
/proc/loadavg: 0.65 0.66 0.84 9/215 3841
/proc/meminfo: memFree=18141964/32770624 swapFree=67108860/67108860
[pid=3811] ppid=3804 vsize=10659088 memory=52916 CPUtime=0.59 cores=1,3,5,7
/proc/3811/stat : 3811 (java) S 3804 3811 3751 0 -1 1077944320 9336 0 0 0 57 2 0 0 20 0 15 0 43679264 10914906112 13229 33554432000 4194304 4196468 140724458868288 140724458850832 139993871703799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
/proc/3811/statm: 2664772 13229 3068 1 0 2627263 0
[pid=3811/tid=3815] ppid=3804 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/3811/task/3815/stat : 3815 (java) R 3804 3811 3751 0 -1 4202560 5093 0 0 0 29 1 0 0 20 0 15 0 43679265 10914906112 13229 33554432000 4194304 4196468 140724458868288 139993875941008 139993855784286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3820] ppid=3804 vsize=10659088 memory=4294979916 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3820/stat : 3820 (java) S 3804 3811 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43679265 10914906112 13229 33554432000 4194304 4196468 140724458868288 139993797778192 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3821] ppid=3804 vsize=10659088 memory=140654597329121 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3821/stat : 3821 (java) S 3804 3811 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43679265 10914906112 13229 33554432000 4194304 4196468 140724458868288 139993796725648 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3822] ppid=3804 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3822/stat : 3822 (java) S 3804 3811 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43679265 10914906112 13229 33554432000 4194304 4196468 140724458868288 139993795673104 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3823] ppid=3804 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3823/stat : 3823 (java) S 3804 3811 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43679265 10914906112 13229 33554432000 4194304 4196468 140724458868288 139993794620560 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3825] ppid=3804 vsize=10659088 memory=140654597179008 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3825/stat : 3825 (java) S 3804 3811 3751 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 43679267 10914906112 13229 33554432000 4194304 4196468 140724458868288 139993363191792 139993871714946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3826] ppid=3804 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3826/stat : 3826 (java) S 3804 3811 3751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43679267 10914906112 13229 33554432000 4194304 4196468 140724458868288 139993362138016 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3828] ppid=3804 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3828/stat : 3828 (java) S 3804 3811 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43679267 10914906112 13229 33554432000 4194304 4196468 140724458868288 139993361085424 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3830] ppid=3804 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3830/stat : 3830 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43679270 10914906112 13229 33554432000 4194304 4196468 140724458868288 139993360034000 139993871722395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3831] ppid=3804 vsize=10659088 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3811/task/3831/stat : 3831 (java) R 3804 3811 3751 0 -1 4202560 1169 0 0 0 8 0 0 0 20 0 15 0 43679270 10914906112 13229 33554432000 4194304 4196468 140724458868288 139993358967496 139993851557360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3832] ppid=3804 vsize=10659088 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3811/task/3832/stat : 3832 (java) R 3804 3811 3751 0 -1 4202560 705 0 0 0 7 0 0 0 20 0 15 0 43679270 10914906112 13229 33554432000 4194304 4196468 140724458868288 139993357910088 139993849720768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3833] ppid=3804 vsize=10659088 memory=140654597179008 CPUtime=0.13 cores=1,3,5,7
/proc/3811/task/3833/stat : 3833 (java) R 3804 3811 3751 0 -1 1077944384 1003 0 0 0 13 0 0 0 20 0 15 0 43679270 10914906112 13229 33554432000 4194304 4196468 140724458868288 139993356876528 139993871714946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3838] ppid=3804 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3838/stat : 3838 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43679270 10914906112 13229 33554432000 4194304 4196468 140724458868288 139993355824224 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3840] ppid=3804 vsize=10659088 memory=140654597179008 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3840/stat : 3840 (java) S 3804 3811 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43679270 10914906112 13229 33554432000 4194304 4196468 140724458868288 139993354770736 139993871714946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 52916 KiB
[startup+0.701336 s]
/proc/loadavg: 0.65 0.66 0.84 10/215 3841
/proc/meminfo: memFree=17888148/32770624 swapFree=67108860/67108860
[pid=3811] ppid=3804 vsize=10661136 memory=189232 CPUtime=1.85 cores=1,3,5,7
/proc/3811/stat : 3811 (java) S 3804 3811 3751 0 -1 1077944320 13181 0 0 0 179 6 0 0 20 0 15 0 43679264 10917003264 47308 33554432000 4194304 4196468 140724458868288 140724458850832 139993871703799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
/proc/3811/statm: 2665284 47308 3113 1 0 2627775 0
[pid=3811/tid=3815] ppid=3804 vsize=10661136 memory=18460 CPUtime=0.67 cores=1,3,5,7
/proc/3811/task/3815/stat : 3815 (java) R 3804 3811 3751 0 -1 4202560 5525 0 0 0 64 3 0 0 20 0 15 0 43679265 10917003264 47308 33554432000 4194304 4196468 140724458868288 139993875942128 139993871725146 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3820] ppid=3804 vsize=10661136 memory=10052 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3820/stat : 3820 (java) S 3804 3811 3751 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 43679265 10917003264 47308 33554432000 4194304 4196468 140724458868288 139993797778192 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3821] ppid=3804 vsize=10661136 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3821/stat : 3821 (java) S 3804 3811 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43679265 10917003264 47308 33554432000 4194304 4196468 140724458868288 139993796725648 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3822] ppid=3804 vsize=10661136 memory=644 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3822/stat : 3822 (java) S 3804 3811 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43679265 10917003264 47308 33554432000 4194304 4196468 140724458868288 139993795673104 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3823] ppid=3804 vsize=10661136 memory=952 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3823/stat : 3823 (java) S 3804 3811 3751 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 43679265 10917003264 47308 33554432000 4194304 4196468 140724458868288 139993794620560 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3825] ppid=3804 vsize=10661136 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3825/stat : 3825 (java) S 3804 3811 3751 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 43679267 10917003264 47308 33554432000 4194304 4196468 140724458868288 139993363191792 139993871714946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3826] ppid=3804 vsize=10661136 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3826/stat : 3826 (java) S 3804 3811 3751 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 43679267 10917003264 47308 33554432000 4194304 4196468 140724458868288 139993362138016 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3828] ppid=3804 vsize=10661136 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3828/stat : 3828 (java) S 3804 3811 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43679267 10917003264 47308 33554432000 4194304 4196468 140724458868288 139993361085424 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3830] ppid=3804 vsize=10661136 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3830/stat : 3830 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43679270 10917003264 47308 33554432000 4194304 4196468 140724458868288 139993360034000 139993871722395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3831] ppid=3804 vsize=10661136 memory=6081105704601809001 CPUtime=0.35 cores=1,3,5,7
/proc/3811/task/3831/stat : 3831 (java) R 3804 3811 3751 0 -1 4202560 2727 0 0 0 35 0 0 0 20 0 15 0 43679270 10917003264 47308 33554432000 4194304 4196468 140724458868288 139993358967776 139993851390463 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3832] ppid=3804 vsize=10661136 memory=6220993253238723945 CPUtime=0.38 cores=1,3,5,7
/proc/3811/task/3832/stat : 3832 (java) R 3804 3811 3751 0 -1 4202560 1320 0 0 0 38 0 0 0 20 0 15 0 43679270 10917003264 47308 33554432000 4194304 4196468 140724458868288 139993357920352 139993855261138 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3833] ppid=3804 vsize=10661136 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/3811/task/3833/stat : 3833 (java) R 3804 3811 3751 0 -1 4202560 2193 0 0 0 40 0 0 0 20 0 15 0 43679270 10917003264 47308 33554432000 4194304 4196468 140724458868288 139993356876528 139993871715734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3838] ppid=3804 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3838/stat : 3838 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43679270 10917003264 47308 33554432000 4194304 4196468 140724458868288 139993355824224 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3840] ppid=3804 vsize=10661136 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3840/stat : 3840 (java) S 3804 3811 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43679270 10917003264 47308 33554432000 4194304 4196468 140724458868288 139993354770736 139993871714946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 189232 KiB
[startup+1.50078 s]
/proc/loadavg: 0.65 0.66 0.84 9/215 3841
/proc/meminfo: memFree=17800420/32770624 swapFree=67108860/67108860
[pid=3811] ppid=3804 vsize=10661136 memory=299808 CPUtime=4.41 cores=1,3,5,7
/proc/3811/stat : 3811 (java) S 3804 3811 3751 0 -1 1077944320 15706 0 0 0 422 19 0 0 20 0 15 0 43679264 10917003264 74952 33554432000 4194304 4196468 140724458868288 140724458850832 139993871703799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
/proc/3811/statm: 2665284 74952 3156 1 0 2627775 0
[pid=3811/tid=3815] ppid=3804 vsize=10661136 memory=299392 CPUtime=1.34 cores=1,3,5,7
/proc/3811/task/3815/stat : 3815 (java) R 3804 3811 3751 0 -1 4202560 5823 0 0 0 131 3 0 0 20 0 15 0 43679265 10917003264 74952 33554432000 4194304 4196468 140724458868288 139993875940576 139993475844578 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3820] ppid=3804 vsize=10661136 memory=8112282956445269571 CPUtime=0.11 cores=1,3,5,7
/proc/3811/task/3820/stat : 3820 (java) S 3804 3811 3751 0 -1 1077944384 127 0 0 0 8 3 0 0 20 0 15 0 43679265 10917003264 74952 33554432000 4194304 4196468 140724458868288 139993797778192 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3821] ppid=3804 vsize=10661136 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3811/task/3821/stat : 3821 (java) S 3804 3811 3751 0 -1 1077944384 103 0 0 0 7 2 0 0 20 0 15 0 43679265 10917003264 74952 33554432000 4194304 4196468 140724458868288 139993796725648 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3822] ppid=3804 vsize=10661136 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3811/task/3822/stat : 3822 (java) S 3804 3811 3751 0 -1 1077944384 123 0 0 0 7 3 0 0 20 0 15 0 43679265 10917003264 74952 33554432000 4194304 4196468 140724458868288 139993795673104 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3823] ppid=3804 vsize=10661136 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3811/task/3823/stat : 3823 (java) S 3804 3811 3751 0 -1 1077944384 149 0 0 0 9 3 0 0 20 0 15 0 43679265 10917003264 74952 33554432000 4194304 4196468 140724458868288 139993794620560 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3825] ppid=3804 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3825/stat : 3825 (java) S 3804 3811 3751 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 43679267 10917003264 74952 33554432000 4194304 4196468 140724458868288 139993363191792 139993871714946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3826] ppid=3804 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3826/stat : 3826 (java) S 3804 3811 3751 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 43679267 10917003264 74952 33554432000 4194304 4196468 140724458868288 139993362138080 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3828] ppid=3804 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3828/stat : 3828 (java) S 3804 3811 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43679267 10917003264 74952 33554432000 4194304 4196468 140724458868288 139993361085424 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3830] ppid=3804 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3830/stat : 3830 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43679270 10917003264 74952 33554432000 4194304 4196468 140724458868288 139993360034000 139993871722395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3831] ppid=3804 vsize=10661136 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/3811/task/3831/stat : 3831 (java) R 3804 3811 3751 0 -1 4202560 3148 0 0 0 93 1 0 0 20 0 15 0 43679270 10917003264 74952 33554432000 4194304 4196468 140724458868288 139993358981616 139993855200583 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3832] ppid=3804 vsize=10661136 memory=0 CPUtime=0.97 cores=1,3,5,7
/proc/3811/task/3832/stat : 3832 (java) R 3804 3811 3751 0 -1 4202560 2026 0 0 0 97 0 0 0 20 0 15 0 43679270 10917003264 74952 33554432000 4194304 4196468 140724458868288 139993357917744 139993863993188 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3833] ppid=3804 vsize=10661136 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/3811/task/3833/stat : 3833 (java) S 3804 3811 3751 0 -1 1077944384 2762 0 0 0 66 1 0 0 20 0 15 0 43679270 10917003264 74952 33554432000 4194304 4196468 140724458868288 139993356876528 139993871714946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3838] ppid=3804 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3838/stat : 3838 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43679270 10917003264 74952 33554432000 4194304 4196468 140724458868288 139993355824224 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3840] ppid=3804 vsize=10661136 memory=16041702853560 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3840/stat : 3840 (java) S 3804 3811 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43679270 10917003264 74952 33554432000 4194304 4196468 140724458868288 139993354770736 139993871714946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
Current children cumulated CPU time: 4.41 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 299808 KiB
[startup+3.11056 s]
/proc/loadavg: 0.65 0.66 0.84 9/216 3842
/proc/meminfo: memFree=16466724/32770624 swapFree=67108860/67108860
[pid=3811] ppid=3804 vsize=10727700 memory=689760 CPUtime=9.17 cores=1,3,5,7
/proc/3811/stat : 3811 (java) S 3804 3811 3751 0 -1 1077944320 19055 0 0 0 867 50 0 0 20 0 16 0 43679264 10985164800 172440 33554432000 4194304 4196468 140724458868288 140724458850832 139993871703799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
/proc/3811/statm: 2681925 172440 3168 1 0 2644416 0
[pid=3811/tid=3815] ppid=3804 vsize=10727700 memory=0 CPUtime=2.57 cores=1,3,5,7
/proc/3811/task/3815/stat : 3815 (java) R 3804 3811 3751 0 -1 4202560 5937 0 0 0 252 5 0 0 20 0 16 0 43679265 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993875942392 139993469497412 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3820] ppid=3804 vsize=10727700 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/3811/task/3820/stat : 3820 (java) S 3804 3811 3751 0 -1 1077944384 451 0 0 0 35 10 0 0 20 0 16 0 43679265 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993797778192 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3821] ppid=3804 vsize=10727700 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/3811/task/3821/stat : 3821 (java) S 3804 3811 3751 0 -1 1077944384 336 0 0 0 34 9 0 0 20 0 16 0 43679265 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993796725648 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3822] ppid=3804 vsize=10727700 memory=140654474802880 CPUtime=0.43 cores=1,3,5,7
/proc/3811/task/3822/stat : 3822 (java) S 3804 3811 3751 0 -1 1077944384 243 0 0 0 34 9 0 0 20 0 16 0 43679265 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993795673104 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3823] ppid=3804 vsize=10727700 memory=43 CPUtime=0.47 cores=1,3,5,7
/proc/3811/task/3823/stat : 3823 (java) S 3804 3811 3751 0 -1 1077944384 276 0 0 0 37 10 0 0 20 0 16 0 43679265 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993794620560 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3825] ppid=3804 vsize=10727700 memory=43 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3825/stat : 3825 (java) S 3804 3811 3751 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 16 0 43679267 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993363191792 139993871714946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3826] ppid=3804 vsize=10727700 memory=47 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3826/stat : 3826 (java) S 3804 3811 3751 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 43679267 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993362138080 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3828] ppid=3804 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3828/stat : 3828 (java) S 3804 3811 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 43679267 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993361085424 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3830] ppid=3804 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3830/stat : 3830 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 43679270 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993360034000 139993871722395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3831] ppid=3804 vsize=10727700 memory=0 CPUtime=1.94 cores=1,3,5,7
/proc/3811/task/3831/stat : 3831 (java) R 3804 3811 3751 0 -1 4202560 4486 0 0 0 193 1 0 0 20 0 16 0 43679270 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993358981616 139993855610870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3832] ppid=3804 vsize=10727700 memory=0 CPUtime=2.02 cores=1,3,5,7
/proc/3811/task/3832/stat : 3832 (java) R 3804 3811 3751 0 -1 4202560 2668 0 0 0 202 0 0 0 20 0 16 0 43679270 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993357929072 139993849555489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3833] ppid=3804 vsize=10727700 memory=180 CPUtime=0.76 cores=1,3,5,7
/proc/3811/task/3833/stat : 3833 (java) S 3804 3811 3751 0 -1 1077944384 2915 0 0 0 75 1 0 0 20 0 16 0 43679270 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993356876528 139993871714946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3838] ppid=3804 vsize=10727700 memory=186 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3838/stat : 3838 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 43679270 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993355824224 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3840] ppid=3804 vsize=10727700 memory=75 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3840/stat : 3840 (java) S 3804 3811 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 43679270 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993354770736 139993871714946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3842] ppid=3804 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3842/stat : 3842 (java) S 3804 3811 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 43679532 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993351619376 139993871714946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
Current children cumulated CPU time: 9.17 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 689760 KiB
[startup+3.43643 s]
# the end of solver process 3811 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.73543 s, system=0.51059 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2009 s]
/proc/loadavg: 0.65 0.66 0.84 9/216 3842
/proc/meminfo: memFree=16466724/32770624 swapFree=67108860/67108860
[pid=3811] ppid=3804 vsize=10727700 memory=689760 CPUtime=9.22 cores=1,3,5,7
/proc/3811/stat : 3811 (java) S 3804 3811 3751 0 -1 1077944320 19063 0 0 0 872 50 0 0 20 0 16 0 43679264 10985164800 172440 33554432000 4194304 4196468 140724458868288 140724458850832 139993871703799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
/proc/3811/statm: 2681925 172440 3168 1 0 2644416 0
[pid=3811/tid=3815] ppid=3804 vsize=10727700 memory=8112282956445269571 CPUtime=2.6 cores=1,3,5,7
/proc/3811/task/3815/stat : 3815 (java) D 3804 3811 3751 0 -1 4202560 5938 0 0 0 255 5 0 0 20 0 16 0 43679265 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993875946424 139993864420762 0 4 0 16800975 18446744071582151463 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3820] ppid=3804 vsize=10727700 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/3811/task/3820/stat : 3820 (java) S 3804 3811 3751 0 -1 1077944384 451 0 0 0 35 10 0 0 20 0 16 0 43679265 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993797778192 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3821] ppid=3804 vsize=10727700 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/3811/task/3821/stat : 3821 (java) S 3804 3811 3751 0 -1 1077944384 336 0 0 0 34 9 0 0 20 0 16 0 43679265 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993796725648 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3822] ppid=3804 vsize=10727700 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/3811/task/3822/stat : 3822 (java) S 3804 3811 3751 0 -1 1077944384 243 0 0 0 34 9 0 0 20 0 16 0 43679265 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993795673104 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3823] ppid=3804 vsize=10727700 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/3811/task/3823/stat : 3823 (java) S 3804 3811 3751 0 -1 1077944384 276 0 0 0 37 10 0 0 20 0 16 0 43679265 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993794620560 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3825] ppid=3804 vsize=10727700 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3825/stat : 3825 (java) S 3804 3811 3751 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 16 0 43679267 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993363191792 139993871714946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3826] ppid=3804 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3826/stat : 3826 (java) S 3804 3811 3751 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 43679267 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993362138080 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3828] ppid=3804 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3828/stat : 3828 (java) S 3804 3811 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 43679267 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993361085424 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3830] ppid=3804 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3830/stat : 3830 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 43679270 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993360034000 139993871722395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3831] ppid=3804 vsize=10727700 memory=0 CPUtime=1.95 cores=1,3,5,7
/proc/3811/task/3831/stat : 3831 (java) D 3804 3811 3751 0 -1 4202560 4492 0 0 0 194 1 0 0 20 0 16 0 43679270 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993358963024 139993851610935 0 4 0 16800975 18446744072100093061 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3832] ppid=3804 vsize=10727700 memory=0 CPUtime=2.02 cores=1,3,5,7
/proc/3811/task/3832/stat : 3832 (java) S 3804 3811 3751 0 -1 1077944384 2669 0 0 0 202 0 0 0 20 0 16 0 43679270 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993357928128 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3833] ppid=3804 vsize=10727700 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/3811/task/3833/stat : 3833 (java) D 3804 3811 3751 0 -1 4202560 2915 0 0 0 75 1 0 0 20 0 16 0 43679270 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993356876448 139993851627935 0 4 0 16800975 18446744072100093061 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3838] ppid=3804 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3838/stat : 3838 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 43679270 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993355824224 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3840] ppid=3804 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3840/stat : 3840 (java) D 3804 3811 3751 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 43679270 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993354770656 139993856559886 0 4 0 16800975 18446744072100093061 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3842] ppid=3804 vsize=10727700 memory=200772 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3842/stat : 3842 (java) S 3804 3811 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 43679532 10985164800 172440 33554432000 4194304 4196468 140724458868288 139993351619376 139993871714946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
Current children cumulated CPU time: 9.22 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 689760 KiB
[startup+3.40063 s]
/proc/loadavg: 0.65 0.66 0.84 9/216 3842
/proc/meminfo: memFree=16466724/32770624 swapFree=67108860/67108860
[pid=3811] ppid=3804 vsize=10860828 memory=689848 CPUtime=9.23 cores=1,3,5,7
/proc/3811/stat : 3811 (java) S 3804 3811 3751 0 -1 1077944320 19124 0 0 0 873 50 0 0 20 0 16 0 43679264 11121487872 172462 33554432000 4194304 4196468 140724458868288 140724458850832 139993871703799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
/proc/3811/statm: 2715207 172462 3170 1 0 2677698 0
[pid=3811/tid=3815] ppid=3804 vsize=10860828 memory=2241 CPUtime=2.6 cores=1,3,5,7
/proc/3811/task/3815/stat : 3815 (java) S 3804 3811 3751 0 -1 1077944384 5946 0 0 0 255 5 0 0 20 0 16 0 43679265 11121487872 172462 33554432000 4194304 4196468 140724458868288 139993875944480 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3820] ppid=3804 vsize=10860828 memory=2244 CPUtime=0.45 cores=1,3,5,7
/proc/3811/task/3820/stat : 3820 (java) S 3804 3811 3751 0 -1 1077944384 451 0 0 0 35 10 0 0 20 0 16 0 43679265 11121487872 172462 33554432000 4194304 4196468 140724458868288 139993797778192 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3821] ppid=3804 vsize=10860828 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/3811/task/3821/stat : 3821 (java) S 3804 3811 3751 0 -1 1077944384 336 0 0 0 34 9 0 0 20 0 16 0 43679265 11121487872 172462 33554432000 4194304 4196468 140724458868288 139993796725648 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3822] ppid=3804 vsize=10860828 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/3811/task/3822/stat : 3822 (java) S 3804 3811 3751 0 -1 1077944384 243 0 0 0 34 9 0 0 20 0 16 0 43679265 11121487872 172462 33554432000 4194304 4196468 140724458868288 139993795673104 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3823] ppid=3804 vsize=10860828 memory=6656426216303648864 CPUtime=0.47 cores=1,3,5,7
/proc/3811/task/3823/stat : 3823 (java) S 3804 3811 3751 0 -1 1077944384 276 0 0 0 37 10 0 0 20 0 16 0 43679265 11121487872 172462 33554432000 4194304 4196468 140724458868288 139993794620560 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3825] ppid=3804 vsize=10860828 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3825/stat : 3825 (java) S 3804 3811 3751 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 16 0 43679267 11121487872 172462 33554432000 4194304 4196468 140724458868288 139993363191792 139993871714946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3826] ppid=3804 vsize=10860828 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3826/stat : 3826 (java) S 3804 3811 3751 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 43679267 11121487872 172462 33554432000 4194304 4196468 140724458868288 139993362138080 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3828] ppid=3804 vsize=10860828 memory=664970774370811550 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3828/stat : 3828 (java) S 3804 3811 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 43679267 11121487872 172462 33554432000 4194304 4196468 140724458868288 139993361085424 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3830] ppid=3804 vsize=10860828 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3830/stat : 3830 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 43679270 11121487872 172462 33554432000 4194304 4196468 140724458868288 139993360034000 139993871722395 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3831] ppid=3804 vsize=10860828 memory=6943526294502006880 CPUtime=1.95 cores=1,3,5,7
/proc/3811/task/3831/stat : 3831 (java) S 3804 3811 3751 0 -1 1077944384 4495 0 0 0 194 1 0 0 20 0 16 0 43679270 11121487872 172462 33554432000 4194304 4196468 140724458868288 139993358981616 139993871714946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3832] ppid=3804 vsize=10860828 memory=0 CPUtime=2.02 cores=1,3,5,7
/proc/3811/task/3832/stat : 3832 (java) S 3804 3811 3751 0 -1 1077944384 2669 0 0 0 202 0 0 0 20 0 16 0 43679270 11121487872 172462 33554432000 4194304 4196468 140724458868288 139993357929072 139993871714946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3833] ppid=3804 vsize=10860828 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/3811/task/3833/stat : 3833 (java) S 3804 3811 3751 0 -1 1077944384 2916 0 0 0 75 1 0 0 20 0 16 0 43679270 11121487872 172462 33554432000 4194304 4196468 140724458868288 139993356876528 139993871714946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3838] ppid=3804 vsize=10860828 memory=3472468950702611536 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3838/stat : 3838 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 43679270 11121487872 172462 33554432000 4194304 4196468 140724458868288 139993355824224 139993871714005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
[pid=3811/tid=3840] ppid=3804 vsize=10860828 memory=4209357772117481859 CPUtime=0 cores=1,3,5,7
/proc/3811/task/3840/stat : 3840 (java) S 3804 3811 3751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 43679270 11121487872 172462 33554432000 4194304 4196468 140724458868288 139993354770736 139993871714946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 39485440 140724458873969 140724458874121 140724458874121 140724458876879 0
Current children cumulated CPU time: 9.23 s
Current children cumulated vsize: 10860828 KiB
Current children cumulated memory: 689848 KiB
Child status: 0
Real time (s): 3.4365
CPU time (s): 9.24602
CPU user time (s): 8.73543
CPU system time (s): 0.51059
CPU usage (%): 269.053
Max. virtual memory (cumulated for all children) (KiB): 10860828
Max. memory (cumulated for all children) (KiB): 689848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.73543
system time used= 0.51059
maximum resident set size= 690580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19154
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2420
involuntary context switches= 108
# summary of solver processes directly reported to runsolver:
# pid: 3811
# total CPU time (s): 9.24602
# total CPU user time (s): 8.73543
# total CPU system time (s): 0.51059
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045701 second user time and 0.077256 second system time
The end