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 (2829 MiB free)
memory of node 1: 16384 MiB (11518 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296078-1532610379/watcher-4296078-1532610379 -o /tmp/evaluation-result-4296078-1532610379/solver-4296078-1532610379 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532594793-3955 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1496333557 -superng HOME/instance-4296078-1532610379.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6978, runsolver pid=6975
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 7.64 6.93 4.59 6/209 7035
/proc/meminfo: memFree=14684292/32770624 swapFree=67108860/67108860
[pid=6978] ppid=6975 vsize=9972712 memory=17336 CPUtime=0.09 cores=1,3,5,7
/proc/6978/stat : 6978 (java) S 6975 6978 2275 0 -1 1077944320 4462 12953 0 0 1 0 5 3 20 0 6 0 78601039 10212057088 4334 33554432000 4194304 4196468 140735429493472 140735429476016 140101741793015 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
/proc/6978/statm: 2493178 4334 1956 1 0 2481616 0
[pid=6978/tid=7031] ppid=6975 vsize=9989820 memory=4718545630382498451 CPUtime=0.09 cores=1,3,5,7
/proc/6978/task/7031/stat : 7031 (java) S 6975 6978 2275 0 -1 1077944384 2329 12953 0 0 1 0 5 3 20 0 7 0 78601048 10229575680 4400 33554432000 4194304 4196468 140735429493472 140101713635968 140101741803221 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7032] ppid=6975 vsize=9989820 memory=5793854930144348601 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7032/stat : 7032 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 7 0 78601049 10229575680 4400 33554432000 4194304 4196468 140735429493472 140101746035600 140101741803221 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7033] ppid=6975 vsize=9989820 memory=139679134455424 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7033/stat : 7033 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 7 0 78601049 10229575680 4400 33554432000 4194304 4196468 140735429493472 140101634308880 140101741803221 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7034] ppid=6975 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7034/stat : 7034 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 7 0 78601049 10296684544 4400 33554432000 4194304 4196468 140735429493472 140101633256592 140101741803221 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7035] ppid=6975 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7035/stat : 7035 (java) S 6975 6978 2275 0 -1 1077944384 3 12953 0 0 0 0 5 3 20 0 7 0 78601049 10296684544 4400 33554432000 4194304 4196468 140735429493472 140101313096720 140101741803221 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7036] ppid=6975 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7036/stat : 7036 (java) S 6975 6978 2275 0 -1 1077944384 2 12953 0 0 0 0 5 3 20 0 7 0 78601050 10296684544 4400 33554432000 4194304 4196468 140735429493472 140101201299568 140101741804162 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17336 KiB
[startup+0.210008 s]*
/proc/loadavg: 7.64 6.93 4.59 6/218 7044
/proc/meminfo: memFree=14660052/32770624 swapFree=67108860/67108860
[pid=6978] ppid=6975 vsize=10818856 memory=45896 CPUtime=0.26 cores=1,3,5,7
/proc/6978/stat : 6978 (java) S 6975 6978 2275 0 -1 1077944320 8872 12953 0 0 17 1 5 3 20 0 15 0 78601039 11078508544 11474 33554432000 4194304 4196468 140735429493472 140735429476016 140101741793015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
/proc/6978/statm: 2704714 11474 2958 1 0 2667149 0
[pid=6978/tid=7031] ppid=6975 vsize=10818856 memory=-2899909650764262549 CPUtime=0.2 cores=1,3,5,7
/proc/6978/task/7031/stat : 7031 (java) R 6975 6978 2275 0 -1 4202560 5640 12953 0 0 11 1 5 3 20 0 15 0 78601048 11078508544 11606 33554432000 4194304 4196468 140735429493472 140101713590672 140101722068843 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7032] ppid=6975 vsize=10818856 memory=4211973405339245962 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7032/stat : 7032 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601049 11078508544 11606 33554432000 4194304 4196468 140735429493472 140101746035600 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7033] ppid=6975 vsize=10818856 memory=139679134455424 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7033/stat : 7033 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601049 11078508544 11606 33554432000 4194304 4196468 140735429493472 140101634308880 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7034] ppid=6975 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7034/stat : 7034 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601049 11078508544 11606 33554432000 4194304 4196468 140735429493472 140101633256592 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7035] ppid=6975 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7035/stat : 7035 (java) S 6975 6978 2275 0 -1 1077944384 3 12953 0 0 0 0 5 3 20 0 15 0 78601049 11078508544 11606 33554432000 4194304 4196468 140735429493472 140101313096720 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7036] ppid=6975 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7036/stat : 7036 (java) S 6975 6978 2275 0 -1 1077944384 2 12953 0 0 0 0 5 3 20 0 15 0 78601050 11078508544 11606 33554432000 4194304 4196468 140735429493472 140101201299568 140101741804162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7037] ppid=6975 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7037/stat : 7037 (java) S 6975 6978 2275 0 -1 1077944384 33 12953 0 0 0 0 5 3 20 0 15 0 78601050 11078508544 11606 33554432000 4194304 4196468 140735429493472 140101200245536 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7038] ppid=6975 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7038/stat : 7038 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601051 11078508544 11606 33554432000 4194304 4196468 140735429493472 140101094990960 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7039] ppid=6975 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7039/stat : 7039 (java) S 6975 6978 2275 0 -1 1077944384 2 12953 0 0 0 0 5 3 20 0 15 0 78601053 11078508544 11606 33554432000 4194304 4196468 140735429493472 140100491012176 140101741811611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7040] ppid=6975 vsize=10818856 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6978/task/7040/stat : 7040 (java) S 6975 6978 2275 0 -1 1077944384 487 12953 0 0 1 0 5 3 20 0 15 0 78601053 11078508544 11606 33554432000 4194304 4196468 140735429493472 140101166688880 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7041] ppid=6975 vsize=10818856 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/6978/task/7041/stat : 7041 (java) S 6975 6978 2275 0 -1 1077944384 89 12953 0 0 1 0 5 3 20 0 15 0 78601053 11078508544 11606 33554432000 4194304 4196468 140735429493472 140101165636080 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7042] ppid=6975 vsize=10818856 memory=139679134455424 CPUtime=0.11 cores=1,3,5,7
/proc/6978/task/7042/stat : 7042 (java) S 6975 6978 2275 0 -1 1077944384 556 12953 0 0 3 0 5 3 20 0 15 0 78601053 11078508544 11606 33554432000 4194304 4196468 140735429493472 140101164583792 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7043] ppid=6975 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7043/stat : 7043 (java) S 6975 6978 2275 0 -1 1077944384 3 12953 0 0 0 0 5 3 20 0 15 0 78601054 11078508544 11606 33554432000 4194304 4196468 140735429493472 140100021251040 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7044] ppid=6975 vsize=10818856 memory=139679134455424 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7044/stat : 7044 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601054 11078508544 11606 33554432000 4194304 4196468 140735429493472 140101163530672 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 45896 KiB
[startup+0.310407 s]*
/proc/loadavg: 7.64 6.93 4.59 6/218 7044
/proc/meminfo: memFree=14648816/32770624 swapFree=67108860/67108860
[pid=6978] ppid=6975 vsize=10819352 memory=55904 CPUtime=0.39 cores=1,3,5,7
/proc/6978/stat : 6978 (java) S 6975 6978 2275 0 -1 1077944320 10556 12953 0 0 29 2 5 3 20 0 15 0 78601039 11079016448 13976 33554432000 4194304 4196468 140735429493472 140735429476016 140101741793015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
/proc/6978/statm: 2704838 13976 3089 1 0 2667149 0
[pid=6978/tid=7031] ppid=6975 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/6978/task/7031/stat : 7031 (java) R 6975 6978 2275 0 -1 4202560 7179 12953 0 0 20 1 5 3 20 0 15 0 78601048 11079016448 13976 33554432000 4194304 4196468 140735429493472 140101713582544 140101723356553 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7032] ppid=6975 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7032/stat : 7032 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601049 11079016448 13976 33554432000 4194304 4196468 140735429493472 140101746035600 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7033] ppid=6975 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7033/stat : 7033 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601049 11079016448 13976 33554432000 4194304 4196468 140735429493472 140101634308880 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7034] ppid=6975 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7034/stat : 7034 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601049 11079016448 13976 33554432000 4194304 4196468 140735429493472 140101633256592 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7035] ppid=6975 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7035/stat : 7035 (java) S 6975 6978 2275 0 -1 1077944384 3 12953 0 0 0 0 5 3 20 0 15 0 78601049 11079016448 13976 33554432000 4194304 4196468 140735429493472 140101313096720 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7036] ppid=6975 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7036/stat : 7036 (java) S 6975 6978 2275 0 -1 1077944384 2 12953 0 0 0 0 5 3 20 0 15 0 78601050 11079016448 13976 33554432000 4194304 4196468 140735429493472 140101201299568 140101741804162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7037] ppid=6975 vsize=10819352 memory=139679134455423 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7037/stat : 7037 (java) S 6975 6978 2275 0 -1 1077944384 33 12953 0 0 0 0 5 3 20 0 15 0 78601050 11079016448 13976 33554432000 4194304 4196468 140735429493472 140101200245536 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7038] ppid=6975 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7038/stat : 7038 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601051 11079016448 13976 33554432000 4194304 4196468 140735429493472 140101094990960 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7039] ppid=6975 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7039/stat : 7039 (java) S 6975 6978 2275 0 -1 1077944384 2 12953 0 0 0 0 5 3 20 0 15 0 78601053 11079016448 13976 33554432000 4194304 4196468 140735429493472 140100491012176 140101741811611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7040] ppid=6975 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6978/task/7040/stat : 7040 (java) S 6975 6978 2275 0 -1 1077944384 488 12953 0 0 1 0 5 3 20 0 15 0 78601053 11079016448 13976 33554432000 4194304 4196468 140735429493472 140101166688880 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7041] ppid=6975 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/6978/task/7041/stat : 7041 (java) S 6975 6978 2275 0 -1 1077944384 89 12953 0 0 1 0 5 3 20 0 15 0 78601053 11079016448 13976 33554432000 4194304 4196468 140735429493472 140101165636080 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7042] ppid=6975 vsize=10819352 memory=139679134455424 CPUtime=0.13 cores=1,3,5,7
/proc/6978/task/7042/stat : 7042 (java) S 6975 6978 2275 0 -1 1077944384 564 12953 0 0 5 0 5 3 20 0 15 0 78601053 11079016448 13976 33554432000 4194304 4196468 140735429493472 140101164583792 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7043] ppid=6975 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7043/stat : 7043 (java) S 6975 6978 2275 0 -1 1077944384 3 12953 0 0 0 0 5 3 20 0 15 0 78601054 11079016448 13976 33554432000 4194304 4196468 140735429493472 140100021251040 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7044] ppid=6975 vsize=10819352 memory=139679134455424 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7044/stat : 7044 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601054 11079016448 13976 33554432000 4194304 4196468 140735429493472 140101163530672 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55904 KiB
[startup+0.700716 s]
/proc/loadavg: 7.64 6.93 4.59 7/218 7044
/proc/meminfo: memFree=14640008/32770624 swapFree=67108860/67108860
[pid=6978] ppid=6975 vsize=10819352 memory=88996 CPUtime=0.99 cores=1,3,5,7
/proc/6978/stat : 6978 (java) S 6975 6978 2275 0 -1 1077944320 16838 12953 0 0 88 3 5 3 20 0 15 0 78601039 11079016448 22249 33554432000 4194304 4196468 140735429493472 140735429476016 140101741793015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
/proc/6978/statm: 2704838 22249 3246 1 0 2667149 0
[pid=6978/tid=7031] ppid=6975 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/6978/task/7031/stat : 7031 (java) R 6975 6978 2275 0 -1 4202560 12507 12953 0 0 56 3 5 3 20 0 15 0 78601048 11079016448 22249 33554432000 4194304 4196468 140735429493472 140101713613840 140101726958560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7032] ppid=6975 vsize=10819352 memory=15955269821668392 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7032/stat : 7032 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601049 11079016448 22249 33554432000 4194304 4196468 140735429493472 140101746035600 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7033] ppid=6975 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7033/stat : 7033 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601049 11079016448 22249 33554432000 4194304 4196468 140735429493472 140101634308880 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7034] ppid=6975 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7034/stat : 7034 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601049 11079016448 22249 33554432000 4194304 4196468 140735429493472 140101633256592 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7035] ppid=6975 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7035/stat : 7035 (java) S 6975 6978 2275 0 -1 1077944384 3 12953 0 0 0 0 5 3 20 0 15 0 78601049 11079016448 22249 33554432000 4194304 4196468 140735429493472 140101313096720 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7036] ppid=6975 vsize=10819352 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7036/stat : 7036 (java) S 6975 6978 2275 0 -1 1077944384 5 12953 0 0 0 0 5 3 20 0 15 0 78601050 11079016448 22249 33554432000 4194304 4196468 140735429493472 140101201299568 140101741804162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7037] ppid=6975 vsize=10819352 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7037/stat : 7037 (java) S 6975 6978 2275 0 -1 1077944384 33 12953 0 0 0 0 5 3 20 0 15 0 78601050 11079016448 22249 33554432000 4194304 4196468 140735429493472 140101200245536 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7038] ppid=6975 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7038/stat : 7038 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601051 11079016448 22249 33554432000 4194304 4196468 140735429493472 140101094990960 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7039] ppid=6975 vsize=10819352 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7039/stat : 7039 (java) S 6975 6978 2275 0 -1 1077944384 2 12953 0 0 0 0 5 3 20 0 15 0 78601053 11079016448 22249 33554432000 4194304 4196468 140735429493472 140100491012176 140101741811611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7040] ppid=6975 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/6978/task/7040/stat : 7040 (java) S 6975 6978 2275 0 -1 1077944384 1133 12953 0 0 9 0 5 3 20 0 15 0 78601053 11079016448 22249 33554432000 4194304 4196468 140735429493472 140101166688880 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7041] ppid=6975 vsize=10819352 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/6978/task/7041/stat : 7041 (java) S 6975 6978 2275 0 -1 1077944384 333 12953 0 0 7 0 5 3 20 0 15 0 78601053 11079016448 22249 33554432000 4194304 4196468 140735429493472 140101165636080 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7042] ppid=6975 vsize=10819352 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/6978/task/7042/stat : 7042 (java) S 6975 6978 2275 0 -1 1077944384 626 12953 0 0 13 0 5 3 20 0 15 0 78601053 11079016448 22249 33554432000 4194304 4196468 140735429493472 140101164583792 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7043] ppid=6975 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7043/stat : 7043 (java) S 6975 6978 2275 0 -1 1077944384 3 12953 0 0 0 0 5 3 20 0 15 0 78601054 11079016448 22249 33554432000 4194304 4196468 140735429493472 140100021251040 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7044] ppid=6975 vsize=10819352 memory=279357960487152 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7044/stat : 7044 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601054 11079016448 22249 33554432000 4194304 4196468 140735429493472 140101163530672 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88996 KiB
[startup+1.5007 s]
/proc/loadavg: 7.64 6.93 4.59 7/218 7044
/proc/meminfo: memFree=14593428/32770624 swapFree=67108860/67108860
[pid=6978] ppid=6975 vsize=10834252 memory=182196 CPUtime=2.4 cores=1,3,5,7
/proc/6978/stat : 6978 (java) S 6975 6978 2275 0 -1 1077944320 25871 12953 0 0 224 8 5 3 20 0 15 0 78601039 11094274048 45549 33554432000 4194304 4196468 140735429493472 140735429476016 140101741793015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
/proc/6978/statm: 2708563 45549 3473 1 0 2670221 0
[pid=6978/tid=7031] ppid=6975 vsize=10834252 memory=8 CPUtime=1.44 cores=1,3,5,7
/proc/6978/task/7031/stat : 7031 (java) R 6975 6978 2275 0 -1 4202560 18384 12953 0 0 131 5 5 3 20 0 15 0 78601048 11094274048 45549 33554432000 4194304 4196468 140735429493472 140101713623024 140101741804950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7032] ppid=6975 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6978/task/7032/stat : 7032 (java) S 6975 6978 2275 0 -1 1077944384 72 12953 0 0 1 0 5 3 20 0 15 0 78601049 11094274048 45549 33554432000 4194304 4196468 140735429493472 140101746035600 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7033] ppid=6975 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6978/task/7033/stat : 7033 (java) S 6975 6978 2275 0 -1 1077944384 32 12953 0 0 1 0 5 3 20 0 15 0 78601049 11094274048 45549 33554432000 4194304 4196468 140735429493472 140101634308880 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7034] ppid=6975 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6978/task/7034/stat : 7034 (java) S 6975 6978 2275 0 -1 1077944384 191 12953 0 0 1 0 5 3 20 0 15 0 78601049 11094274048 45549 33554432000 4194304 4196468 140735429493472 140101633256592 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7035] ppid=6975 vsize=10834252 memory=4580 CPUtime=0.09 cores=1,3,5,7
/proc/6978/task/7035/stat : 7035 (java) S 6975 6978 2275 0 -1 1077944384 28 12953 0 0 1 0 5 3 20 0 15 0 78601049 11094274048 45549 33554432000 4194304 4196468 140735429493472 140101313096720 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7036] ppid=6975 vsize=10834252 memory=139679134455424 CPUtime=0.09 cores=1,3,5,7
/proc/6978/task/7036/stat : 7036 (java) S 6975 6978 2275 0 -1 1077944384 992 12953 0 0 1 0 5 3 20 0 15 0 78601050 11094274048 45549 33554432000 4194304 4196468 140735429493472 140101201299568 140101741804162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7037] ppid=6975 vsize=10834252 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7037/stat : 7037 (java) S 6975 6978 2275 0 -1 1077944384 55 12953 0 0 0 0 5 3 20 0 15 0 78601050 11094274048 45549 33554432000 4194304 4196468 140735429493472 140101200245600 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7038] ppid=6975 vsize=10834252 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7038/stat : 7038 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601051 11094274048 45549 33554432000 4194304 4196468 140735429493472 140101094990976 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7039] ppid=6975 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7039/stat : 7039 (java) S 6975 6978 2275 0 -1 1077944384 2 12953 0 0 0 0 5 3 20 0 15 0 78601053 11094274048 45549 33554432000 4194304 4196468 140735429493472 140100491012176 140101741811611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7040] ppid=6975 vsize=10834252 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/6978/task/7040/stat : 7040 (java) R 6975 6978 2275 0 -1 4202560 1939 12953 0 0 32 0 5 3 20 0 15 0 78601053 11094274048 45549 33554432000 4194304 4196468 140735429493472 140101166688880 140101734778057 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7041] ppid=6975 vsize=10834252 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/6978/task/7041/stat : 7041 (java) S 6975 6978 2275 0 -1 1077944384 525 12953 0 0 18 0 5 3 20 0 15 0 78601053 11094274048 45549 33554432000 4194304 4196468 140735429493472 140101165636080 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7042] ppid=6975 vsize=10834252 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/6978/task/7042/stat : 7042 (java) S 6975 6978 2275 0 -1 1077944384 1456 12953 0 0 34 0 5 3 20 0 15 0 78601053 11094274048 45549 33554432000 4194304 4196468 140735429493472 140101164583792 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7043] ppid=6975 vsize=10834252 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7043/stat : 7043 (java) S 6975 6978 2275 0 -1 1077944384 3 12953 0 0 0 0 5 3 20 0 15 0 78601054 11094274048 45549 33554432000 4194304 4196468 140735429493472 140100021251040 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7044] ppid=6975 vsize=10834252 memory=4 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7044/stat : 7044 (java) S 6975 6978 2275 0 -1 1077944384 3 12953 0 0 0 0 5 3 20 0 15 0 78601054 11094274048 45549 33554432000 4194304 4196468 140735429493472 140101163530672 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 10834252 KiB
Current children cumulated memory: 182196 KiB
[startup+3.11055 s]
/proc/loadavg: 7.43 6.90 4.59 7/218 7044
/proc/meminfo: memFree=14465508/32770624 swapFree=67108860/67108860
[pid=6978] ppid=6975 vsize=10846560 memory=261252 CPUtime=5.64 cores=1,3,5,7
/proc/6978/stat : 6978 (java) S 6975 6978 2275 0 -1 1077944320 48149 12953 0 0 543 13 5 3 20 0 15 0 78601039 11106877440 65313 33554432000 4194304 4196468 140735429493472 140735429476016 140101741793015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
/proc/6978/statm: 2711640 65313 3503 1 0 2673293 0
[pid=6978/tid=7031] ppid=6975 vsize=10846560 memory=422 CPUtime=3 cores=1,3,5,7
/proc/6978/task/7031/stat : 7031 (java) R 6975 6978 2275 0 -1 4202560 33748 12953 0 0 285 7 5 3 20 0 15 0 78601048 11106877440 65313 33554432000 4194304 4196468 140735429493472 140101713623584 140101741814941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7032] ppid=6975 vsize=10846560 memory=1 CPUtime=0.1 cores=1,3,5,7
/proc/6978/task/7032/stat : 7032 (java) S 6975 6978 2275 0 -1 1077944384 117 12953 0 0 2 0 5 3 20 0 15 0 78601049 11106877440 65313 33554432000 4194304 4196468 140735429493472 140101746035600 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7033] ppid=6975 vsize=10846560 memory=1 CPUtime=0.11 cores=1,3,5,7
/proc/6978/task/7033/stat : 7033 (java) S 6975 6978 2275 0 -1 1077944384 87 12953 0 0 3 0 5 3 20 0 15 0 78601049 11106877440 65313 33554432000 4194304 4196468 140735429493472 140101634308880 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7034] ppid=6975 vsize=10846560 memory=55 CPUtime=0.11 cores=1,3,5,7
/proc/6978/task/7034/stat : 7034 (java) S 6975 6978 2275 0 -1 1077944384 215 12953 0 0 3 0 5 3 20 0 15 0 78601049 11106877440 65313 33554432000 4194304 4196468 140735429493472 140101633256592 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7035] ppid=6975 vsize=10846560 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/6978/task/7035/stat : 7035 (java) S 6975 6978 2275 0 -1 1077944384 61 12953 0 0 3 0 5 3 20 0 15 0 78601049 11106877440 65313 33554432000 4194304 4196468 140735429493472 140101313096720 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7036] ppid=6975 vsize=10846560 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/6978/task/7036/stat : 7036 (java) S 6975 6978 2275 0 -1 1077944384 2232 12953 0 0 3 0 5 3 20 0 15 0 78601050 11106877440 65313 33554432000 4194304 4196468 140735429493472 140101201299568 140101741804162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7037] ppid=6975 vsize=10846560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7037/stat : 7037 (java) S 6975 6978 2275 0 -1 1077944384 55 12953 0 0 0 0 5 3 20 0 15 0 78601050 11106877440 65313 33554432000 4194304 4196468 140735429493472 140101200245600 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7038] ppid=6975 vsize=10846560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7038/stat : 7038 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601051 11106877440 65313 33554432000 4194304 4196468 140735429493472 140101094990976 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7039] ppid=6975 vsize=10846560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7039/stat : 7039 (java) S 6975 6978 2275 0 -1 1077944384 2 12953 0 0 0 0 5 3 20 0 15 0 78601053 11106877440 65313 33554432000 4194304 4196468 140735429493472 140100491012176 140101741811611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7040] ppid=6975 vsize=10846560 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/6978/task/7040/stat : 7040 (java) S 6975 6978 2275 0 -1 1077944384 2816 12953 0 0 71 0 5 3 20 0 15 0 78601053 11106877440 65313 33554432000 4194304 4196468 140735429493472 140101166688880 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7041] ppid=6975 vsize=10846560 memory=169634028336837 CPUtime=0.69 cores=1,3,5,7
/proc/6978/task/7041/stat : 7041 (java) S 6975 6978 2275 0 -1 1077944384 2010 12953 0 0 61 0 5 3 20 0 15 0 78601053 11106877440 65313 33554432000 4194304 4196468 140735429493472 140101165636080 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7042] ppid=6975 vsize=10846560 memory=169634028336838 CPUtime=1.15 cores=1,3,5,7
/proc/6978/task/7042/stat : 7042 (java) S 6975 6978 2275 0 -1 1077944384 4603 12953 0 0 106 1 5 3 20 0 15 0 78601053 11106877440 65313 33554432000 4194304 4196468 140735429493472 140101164583792 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7043] ppid=6975 vsize=10846560 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7043/stat : 7043 (java) S 6975 6978 2275 0 -1 1077944384 3 12953 0 0 0 0 5 3 20 0 15 0 78601054 11106877440 65313 33554432000 4194304 4196468 140735429493472 140100021251040 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7044] ppid=6975 vsize=10846560 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7044/stat : 7044 (java) R 6975 6978 2275 0 -1 1077944384 11 12953 0 0 0 0 5 3 20 0 15 0 78601054 11106877440 65313 33554432000 4194304 4196468 140735429493472 140101163530672 140101741804162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
Current children cumulated CPU time: 5.64 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 261252 KiB
[startup+4.2701 s]
# the end of solver process 6978 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.1811 s, system=0.217478 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20084 s]
/proc/loadavg: 7.43 6.90 4.59 7/218 7044
/proc/meminfo: memFree=14465508/32770624 swapFree=67108860/67108860
[pid=6978] ppid=6975 vsize=10846560 memory=262956 CPUtime=5.8 cores=1,3,5,7
/proc/6978/stat : 6978 (java) S 6975 6978 2275 0 -1 1077944320 48633 12953 0 0 559 13 5 3 20 0 15 0 78601039 11106877440 65739 33554432000 4194304 4196468 140735429493472 140735429476016 140101741793015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
/proc/6978/statm: 2711640 65739 3503 1 0 2673293 0
[pid=6978/tid=7031] ppid=6975 vsize=10846560 memory=8112282956445269571 CPUtime=3.09 cores=1,3,5,7
/proc/6978/task/7031/stat : 7031 (java) R 6975 6978 2275 0 -1 4202560 34111 12953 0 0 294 7 5 3 20 0 15 0 78601048 11106877440 65739 33554432000 4194304 4196468 140735429493472 140101713624064 140101741814362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7032] ppid=6975 vsize=10846560 memory=23500 CPUtime=0.1 cores=1,3,5,7
/proc/6978/task/7032/stat : 7032 (java) S 6975 6978 2275 0 -1 1077944384 117 12953 0 0 2 0 5 3 20 0 15 0 78601049 11106877440 65739 33554432000 4194304 4196468 140735429493472 140101746035600 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7033] ppid=6975 vsize=10846560 memory=1296 CPUtime=0.11 cores=1,3,5,7
/proc/6978/task/7033/stat : 7033 (java) S 6975 6978 2275 0 -1 1077944384 87 12953 0 0 3 0 5 3 20 0 15 0 78601049 11106877440 65739 33554432000 4194304 4196468 140735429493472 140101634308880 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7034] ppid=6975 vsize=10846560 memory=1728 CPUtime=0.11 cores=1,3,5,7
/proc/6978/task/7034/stat : 7034 (java) S 6975 6978 2275 0 -1 1077944384 215 12953 0 0 3 0 5 3 20 0 15 0 78601049 11106877440 65739 33554432000 4194304 4196468 140735429493472 140101633256592 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7035] ppid=6975 vsize=10846560 memory=792 CPUtime=0.11 cores=1,3,5,7
/proc/6978/task/7035/stat : 7035 (java) S 6975 6978 2275 0 -1 1077944384 61 12953 0 0 3 0 5 3 20 0 15 0 78601049 11106877440 65739 33554432000 4194304 4196468 140735429493472 140101313096720 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7036] ppid=6975 vsize=10846560 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/6978/task/7036/stat : 7036 (java) S 6975 6978 2275 0 -1 1077944384 2232 12953 0 0 3 0 5 3 20 0 15 0 78601050 11106877440 65739 33554432000 4194304 4196468 140735429493472 140101201299568 140101741804162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7037] ppid=6975 vsize=10846560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7037/stat : 7037 (java) S 6975 6978 2275 0 -1 1077944384 55 12953 0 0 0 0 5 3 20 0 15 0 78601050 11106877440 65739 33554432000 4194304 4196468 140735429493472 140101200245600 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7038] ppid=6975 vsize=10846560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7038/stat : 7038 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 15 0 78601051 11106877440 65739 33554432000 4194304 4196468 140735429493472 140101094990976 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7039] ppid=6975 vsize=10846560 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7039/stat : 7039 (java) S 6975 6978 2275 0 -1 1077944384 2 12953 0 0 0 0 5 3 20 0 15 0 78601053 11106877440 65739 33554432000 4194304 4196468 140735429493472 140100491012176 140101741811611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7040] ppid=6975 vsize=10846560 memory=1948 CPUtime=0.83 cores=1,3,5,7
/proc/6978/task/7040/stat : 7040 (java) S 6975 6978 2275 0 -1 1077944384 2837 12953 0 0 74 1 5 3 20 0 15 0 78601053 11106877440 65739 33554432000 4194304 4196468 140735429493472 140101166688880 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7041] ppid=6975 vsize=10846560 memory=5524 CPUtime=0.7 cores=1,3,5,7
/proc/6978/task/7041/stat : 7041 (java) S 6975 6978 2275 0 -1 1077944384 2021 12953 0 0 62 0 5 3 20 0 15 0 78601053 11106877440 65739 33554432000 4194304 4196468 140735429493472 140101165636080 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7042] ppid=6975 vsize=10846560 memory=1444 CPUtime=1.2 cores=1,3,5,7
/proc/6978/task/7042/stat : 7042 (java) R 6975 6978 2275 0 -1 4202560 4692 12953 0 0 111 1 5 3 20 0 15 0 78601053 11106877440 65739 33554432000 4194304 4196468 140735429493472 140101164583792 140101741804950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7043] ppid=6975 vsize=10846560 memory=1200 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7043/stat : 7043 (java) S 6975 6978 2275 0 -1 1077944384 3 12953 0 0 0 0 5 3 20 0 15 0 78601054 11106877440 65739 33554432000 4194304 4196468 140735429493472 140100021251040 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7044] ppid=6975 vsize=10846560 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7044/stat : 7044 (java) S 6975 6978 2275 0 -1 1077944384 11 12953 0 0 0 0 5 3 20 0 15 0 78601054 11106877440 65739 33554432000 4194304 4196468 140735429493472 140101163530672 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
Current children cumulated CPU time: 5.8 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 262956 KiB
[startup+4.00056 s]*
/proc/loadavg: 7.43 6.90 4.59 5/215 7045
/proc/meminfo: memFree=14372232/32770624 swapFree=67108860/67108860
[pid=6978] ppid=6975 vsize=10981996 memory=325356 CPUtime=7.37 cores=1,3,5,7
/proc/6978/stat : 6978 (java) S 6975 6978 2275 0 -1 1077944320 64825 12953 0 0 712 17 5 3 20 0 12 0 78601039 11245563904 81339 33554432000 4194304 4196468 140735429493472 140735429476016 140101741793015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
/proc/6978/statm: 2745499 81339 3506 1 0 2707152 0
[pid=6978/tid=7031] ppid=6975 vsize=10981996 memory=-7391905930163419328 CPUtime=3.56 cores=1,3,5,7
/proc/6978/task/7031/stat : 7031 (java) D 6975 6978 2275 0 -1 4202560 45088 12953 0 0 338 10 5 3 20 0 12 0 78601048 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101713636664 140101734478647 0 0 0 16800975 18446744072100899973 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7032] ppid=6975 vsize=10981996 memory=7235402728604918129 CPUtime=0.1 cores=1,3,5,7
/proc/6978/task/7032/stat : 7032 (java) S 6975 6978 2275 0 -1 1077944384 117 12953 0 0 2 0 5 3 20 0 12 0 78601049 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101746035600 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7033] ppid=6975 vsize=10981996 memory=-7003737579269690708 CPUtime=0.11 cores=1,3,5,7
/proc/6978/task/7033/stat : 7033 (java) S 6975 6978 2275 0 -1 1077944384 87 12953 0 0 3 0 5 3 20 0 12 0 78601049 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101634308880 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7034] ppid=6975 vsize=10981996 memory=3828 CPUtime=0.11 cores=1,3,5,7
/proc/6978/task/7034/stat : 7034 (java) S 6975 6978 2275 0 -1 1077944384 215 12953 0 0 3 0 5 3 20 0 12 0 78601049 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101633256592 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7035] ppid=6975 vsize=10981996 memory=23500 CPUtime=0.11 cores=1,3,5,7
/proc/6978/task/7035/stat : 7035 (java) S 6975 6978 2275 0 -1 1077944384 61 12953 0 0 3 0 5 3 20 0 12 0 78601049 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101313096720 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7037] ppid=6975 vsize=10981996 memory=1296 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7037/stat : 7037 (java) S 6975 6978 2275 0 -1 1077944384 55 12953 0 0 0 0 5 3 20 0 12 0 78601050 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101200245600 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7038] ppid=6975 vsize=10981996 memory=2448 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7038/stat : 7038 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 12 0 78601051 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101094990976 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7040] ppid=6975 vsize=10981996 memory=1728 CPUtime=1.28 cores=1,3,5,7
/proc/6978/task/7040/stat : 7040 (java) S 6975 6978 2275 0 -1 1077944384 4629 12953 0 0 119 1 5 3 20 0 12 0 78601053 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101166673392 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7041] ppid=6975 vsize=10981996 memory=792 CPUtime=1.21 cores=1,3,5,7
/proc/6978/task/7041/stat : 7041 (java) S 6975 6978 2275 0 -1 1077944384 5056 12953 0 0 112 1 5 3 20 0 12 0 78601053 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101165620592 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7042] ppid=6975 vsize=10981996 memory=1228 CPUtime=1.34 cores=1,3,5,7
/proc/6978/task/7042/stat : 7042 (java) S 6975 6978 2275 0 -1 1077944384 5065 12953 0 0 125 1 5 3 20 0 12 0 78601053 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101164583792 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7043] ppid=6975 vsize=10981996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7043/stat : 7043 (java) S 6975 6978 2275 0 -1 1077944384 3 12953 0 0 0 0 5 3 20 0 12 0 78601054 11245563904 81339 33554432000 4194304 4196468 140735429493472 140100021251040 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
Current children cumulated CPU time: 7.37 s
Current children cumulated vsize: 10981996 KiB
Current children cumulated memory: 325356 KiB
[startup+4.20052 s]
/proc/loadavg: 7.43 6.90 4.59 5/215 7045
/proc/meminfo: memFree=14372232/32770624 swapFree=67108860/67108860
[pid=6978] ppid=6975 vsize=10981996 memory=325356 CPUtime=7.37 cores=1,3,5,7
/proc/6978/stat : 6978 (java) S 6975 6978 2275 0 -1 1077944320 64825 12953 0 0 712 17 5 3 20 0 12 0 78601039 11245563904 81339 33554432000 4194304 4196468 140735429493472 140735429476016 140101741793015 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
/proc/6978/statm: 2745499 81339 3506 1 0 2707152 0
[pid=6978/tid=7031] ppid=6975 vsize=10981996 memory=297237795305685307 CPUtime=3.56 cores=1,3,5,7
/proc/6978/task/7031/stat : 7031 (java) D 6975 6978 2275 0 -1 4202560 45088 12953 0 0 338 10 5 3 20 0 12 0 78601048 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101713636664 140101734478647 0 0 0 16800975 18446744072100899973 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7032] ppid=6975 vsize=10981996 memory=13565994329179714 CPUtime=0.1 cores=1,3,5,7
/proc/6978/task/7032/stat : 7032 (java) S 6975 6978 2275 0 -1 1077944384 117 12953 0 0 2 0 5 3 20 0 12 0 78601049 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101746035600 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7033] ppid=6975 vsize=10981996 memory=2324508698416332904 CPUtime=0.11 cores=1,3,5,7
/proc/6978/task/7033/stat : 7033 (java) S 6975 6978 2275 0 -1 1077944384 87 12953 0 0 3 0 5 3 20 0 12 0 78601049 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101634308880 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7034] ppid=6975 vsize=10981996 memory=4638778411502944352 CPUtime=0.11 cores=1,3,5,7
/proc/6978/task/7034/stat : 7034 (java) S 6975 6978 2275 0 -1 1077944384 215 12953 0 0 3 0 5 3 20 0 12 0 78601049 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101633256592 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7035] ppid=6975 vsize=10981996 memory=8443538352883892301 CPUtime=0.11 cores=1,3,5,7
/proc/6978/task/7035/stat : 7035 (java) S 6975 6978 2275 0 -1 1077944384 61 12953 0 0 3 0 5 3 20 0 12 0 78601049 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101313096720 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7037] ppid=6975 vsize=10981996 memory=20157 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7037/stat : 7037 (java) S 6975 6978 2275 0 -1 1077944384 55 12953 0 0 0 0 5 3 20 0 12 0 78601050 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101200245600 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7038] ppid=6975 vsize=10981996 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7038/stat : 7038 (java) S 6975 6978 2275 0 -1 1077944384 1 12953 0 0 0 0 5 3 20 0 12 0 78601051 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101094990976 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7040] ppid=6975 vsize=10981996 memory=6943526294502006880 CPUtime=1.28 cores=1,3,5,7
/proc/6978/task/7040/stat : 7040 (java) S 6975 6978 2275 0 -1 1077944384 4629 12953 0 0 119 1 5 3 20 0 12 0 78601053 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101166673392 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7041] ppid=6975 vsize=10981996 memory=6944656592455097440 CPUtime=1.21 cores=1,3,5,7
/proc/6978/task/7041/stat : 7041 (java) S 6975 6978 2275 0 -1 1077944384 5056 12953 0 0 112 1 5 3 20 0 12 0 78601053 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101165620592 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7042] ppid=6975 vsize=10981996 memory=8976414709404591081 CPUtime=1.34 cores=1,3,5,7
/proc/6978/task/7042/stat : 7042 (java) S 6975 6978 2275 0 -1 1077944384 5065 12953 0 0 125 1 5 3 20 0 12 0 78601053 11245563904 81339 33554432000 4194304 4196468 140735429493472 140101164583792 140101741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
[pid=6978/tid=7043] ppid=6975 vsize=10981996 memory=-2893623298589923098 CPUtime=0.08 cores=1,3,5,7
/proc/6978/task/7043/stat : 7043 (java) S 6975 6978 2275 0 -1 1077944384 3 12953 0 0 0 0 5 3 20 0 12 0 78601054 11245563904 81339 33554432000 4194304 4196468 140735429493472 140100021251040 140101741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33423360 140735429494955 140735429498204 140735429498204 140735429500879 0
Current children cumulated CPU time: 7.37 s
Current children cumulated vsize: 10981996 KiB
Current children cumulated memory: 325356 KiB
Child status: 0
Real time (s): 4.27015
CPU time (s): 7.39858
CPU user time (s): 7.1811
CPU system time (s): 0.217478
CPU usage (%): 173.263
Max. virtual memory (cumulated for all children) (KiB): 10981996
Max. memory (cumulated for all children) (KiB): 325356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.1811
system time used= 0.217478
maximum resident set size= 325968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77805
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6267
involuntary context switches= 32
# summary of solver processes directly reported to runsolver:
# pid: 6978
# total CPU time (s): 7.39858
# total CPU user time (s): 7.1811
# total CPU system time (s): 0.217478
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060267 second user time and 0.074227 second system time
The end