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 (3606 MiB free)
memory of node 1: 16384 MiB (11717 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290025-1532219044/watcher-4290025-1532219044 -o /tmp/evaluation-result-4290025-1532219044/solver-4290025-1532219044 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532208388-24576 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290025-1532219044.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=26229, runsolver pid=26226
[startup+0.100142 s]*
/proc/loadavg: 4.39 3.71 3.08 3/217 26244
/proc/meminfo: memFree=15672924/32770624 swapFree=67108860/67108860
[pid=26229] ppid=26226 vsize=10659012 memory=30088 CPUtime=0.13 cores=1,3,5,7
/proc/26229/stat : 26229 (java) S 26226 26229 22446 0 -1 1077944320 6610 0 0 0 11 2 0 0 20 0 15 0 39467583 10914828288 7522 33554432000 4194304 4196468 140735712458272 140735712440816 140400753639159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
/proc/26229/statm: 2664753 7522 2844 1 0 2627263 0
[pid=26229/tid=26231] ppid=26226 vsize=10659012 memory=-8773748148830243971 CPUtime=0.09 cores=1,3,5,7
/proc/26229/task/26231/stat : 26231 (java) R 26226 26229 22446 0 -1 4202560 4429 0 0 0 8 1 0 0 20 0 15 0 39467583 10914828288 7522 33554432000 4194304 4196468 140735712458272 140400757860288 140400753661085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26232] ppid=26226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26232/stat : 26232 (java) S 26226 26229 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39467584 10914828288 7522 33554432000 4194304 4196468 140735712458272 140400679713296 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26233] ppid=26226 vsize=10659012 memory=139849644349056 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26233/stat : 26233 (java) S 26226 26229 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39467584 10914828288 7522 33554432000 4194304 4196468 140735712458272 140400678660752 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26234] ppid=26226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26234/stat : 26234 (java) S 26226 26229 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39467584 10914828288 7522 33554432000 4194304 4196468 140735712458272 140400677607696 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26235] ppid=26226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26235/stat : 26235 (java) S 26226 26229 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39467584 10914828288 7522 33554432000 4194304 4196468 140735712458272 140400676555152 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26236] ppid=26226 vsize=10659012 memory=139849644349056 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26236/stat : 26236 (java) S 26226 26229 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39467586 10914828288 7522 33554432000 4194304 4196468 140735712458272 140399990504176 140400753650306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26237] ppid=26226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26237/stat : 26237 (java) S 26226 26229 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39467586 10914828288 7522 33554432000 4194304 4196468 140735712458272 140399989450400 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26238] ppid=26226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26238/stat : 26238 (java) S 26226 26229 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39467586 10914828288 7522 33554432000 4194304 4196468 140735712458272 140399988397296 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26239] ppid=26226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26239/stat : 26239 (java) S 26226 26229 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39467589 10914828288 7522 33554432000 4194304 4196468 140735712458272 140399987345872 140400753657755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26240] ppid=26226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26240/stat : 26240 (java) R 26226 26229 22446 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 39467589 10914828288 7522 33554432000 4194304 4196468 140735712458272 140399986292976 140400753650306 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26241] ppid=26226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26241/stat : 26241 (java) S 26226 26229 22446 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 15 0 39467589 10914828288 7522 33554432000 4194304 4196468 140735712458272 140399985240432 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26242] ppid=26226 vsize=10659012 memory=139849644349056 CPUtime=0.02 cores=1,3,5,7
/proc/26229/task/26242/stat : 26242 (java) R 26226 26229 22446 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 39467589 10914828288 7522 33554432000 4194304 4196468 140735712458272 140399984187376 140400753660506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26243] ppid=26226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26243/stat : 26243 (java) S 26226 26229 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39467589 10914828288 7522 33554432000 4194304 4196468 140735712458272 140399983135072 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26244] ppid=26226 vsize=10659012 memory=139849644349056 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26244/stat : 26244 (java) S 26226 26229 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39467589 10914828288 7522 33554432000 4194304 4196468 140735712458272 140399982083120 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30088 KiB
[startup+0.210672 s]*
/proc/loadavg: 4.39 3.71 3.08 4/217 26244
/proc/meminfo: memFree=15662504/32770624 swapFree=67108860/67108860
[pid=26229] ppid=26226 vsize=10659012 memory=41772 CPUtime=0.34 cores=1,3,5,7
/proc/26229/stat : 26229 (java) S 26226 26229 22446 0 -1 1077944320 8107 0 0 0 32 2 0 0 20 0 15 0 39467583 10914828288 10443 33554432000 4194304 4196468 140735712458272 140735712440816 140400753639159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
/proc/26229/statm: 2664753 10443 2995 1 0 2627263 0
[pid=26229/tid=26231] ppid=26226 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/26229/task/26231/stat : 26231 (java) R 26226 26229 22446 0 -1 4202560 5013 0 0 0 19 1 0 0 20 0 15 0 39467583 10914828288 10443 33554432000 4194304 4196468 140735712458272 140400757866416 140400737719646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26232] ppid=26226 vsize=10659012 memory=342 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26232/stat : 26232 (java) S 26226 26229 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39467584 10914828288 10443 33554432000 4194304 4196468 140735712458272 140400679713296 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26233] ppid=26226 vsize=10659012 memory=139849644555163 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26233/stat : 26233 (java) S 26226 26229 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39467584 10914828288 10443 33554432000 4194304 4196468 140735712458272 140400678660752 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26234] ppid=26226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26234/stat : 26234 (java) S 26226 26229 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39467584 10914828288 10443 33554432000 4194304 4196468 140735712458272 140400677607696 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26235] ppid=26226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26235/stat : 26235 (java) S 26226 26229 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39467584 10914828288 10443 33554432000 4194304 4196468 140735712458272 140400676555152 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26236] ppid=26226 vsize=10659012 memory=139849644349056 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26236/stat : 26236 (java) S 26226 26229 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39467586 10914828288 10443 33554432000 4194304 4196468 140735712458272 140399990504176 140400753650306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26237] ppid=26226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26237/stat : 26237 (java) S 26226 26229 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39467586 10914828288 10443 33554432000 4194304 4196468 140735712458272 140399989450400 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26238] ppid=26226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26238/stat : 26238 (java) S 26226 26229 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39467586 10914828288 10443 33554432000 4194304 4196468 140735712458272 140399988397296 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26239] ppid=26226 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26239/stat : 26239 (java) S 26226 26229 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39467589 10914828288 10443 33554432000 4194304 4196468 140735712458272 140399987345872 140400753657755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26240] ppid=26226 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26229/task/26240/stat : 26240 (java) S 26226 26229 22446 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 15 0 39467589 10914828288 10443 33554432000 4194304 4196468 140735712458272 140399986292976 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26241] ppid=26226 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26229/task/26241/stat : 26241 (java) S 26226 26229 22446 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 15 0 39467589 10914828288 10443 33554432000 4194304 4196468 140735712458272 140399985240432 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26242] ppid=26226 vsize=10659012 memory=139849644349056 CPUtime=0.08 cores=1,3,5,7
/proc/26229/task/26242/stat : 26242 (java) R 26226 26229 22446 0 -1 4202560 724 0 0 0 8 0 0 0 20 0 15 0 39467589 10914828288 10443 33554432000 4194304 4196468 140735712458272 140399984187376 140400732600740 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26243] ppid=26226 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26243/stat : 26243 (java) S 26226 26229 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39467589 10914828288 10443 33554432000 4194304 4196468 140735712458272 140399983135072 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26244] ppid=26226 vsize=10659012 memory=139849644349056 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26244/stat : 26244 (java) S 26226 26229 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39467589 10914828288 10443 33554432000 4194304 4196468 140735712458272 140399982083120 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41772 KiB
[startup+0.310961 s]*
/proc/loadavg: 4.39 3.71 3.08 6/217 26244
/proc/meminfo: memFree=15651144/32770624 swapFree=67108860/67108860
[pid=26229] ppid=26226 vsize=10659088 memory=52404 CPUtime=0.59 cores=1,3,5,7
/proc/26229/stat : 26229 (java) S 26226 26229 22446 0 -1 1077944320 9738 0 0 0 56 3 0 0 20 0 15 0 39467583 10914906112 13101 33554432000 4194304 4196468 140735712458272 140735712440816 140400753639159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
/proc/26229/statm: 2664772 13101 3065 1 0 2627263 0
[pid=26229/tid=26231] ppid=26226 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/26229/task/26231/stat : 26231 (java) R 26226 26229 22446 0 -1 4202560 5570 0 0 0 28 2 0 0 20 0 15 0 39467583 10914906112 13101 33554432000 4194304 4196468 140735712458272 140400757873968 140400350327141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26232] ppid=26226 vsize=10659088 memory=288230600413020183 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26232/stat : 26232 (java) S 26226 26229 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39467584 10914906112 13101 33554432000 4194304 4196468 140735712458272 140400679713296 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26233] ppid=26226 vsize=10659088 memory=139849644542694 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26233/stat : 26233 (java) S 26226 26229 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39467584 10914906112 13101 33554432000 4194304 4196468 140735712458272 140400678660752 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26234] ppid=26226 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26234/stat : 26234 (java) S 26226 26229 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39467584 10914906112 13101 33554432000 4194304 4196468 140735712458272 140400677607696 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26235] ppid=26226 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26235/stat : 26235 (java) S 26226 26229 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39467584 10914906112 13101 33554432000 4194304 4196468 140735712458272 140400676555152 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26236] ppid=26226 vsize=10659088 memory=139849644349056 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26236/stat : 26236 (java) S 26226 26229 22446 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39467586 10914906112 13101 33554432000 4194304 4196468 140735712458272 140399990504176 140400753650306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26237] ppid=26226 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26237/stat : 26237 (java) S 26226 26229 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39467586 10914906112 13101 33554432000 4194304 4196468 140735712458272 140399989450400 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26238] ppid=26226 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26238/stat : 26238 (java) S 26226 26229 22446 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39467586 10914906112 13101 33554432000 4194304 4196468 140735712458272 140399988397296 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26239] ppid=26226 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26239/stat : 26239 (java) S 26226 26229 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39467589 10914906112 13101 33554432000 4194304 4196468 140735712458272 140399987345872 140400753657755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26240] ppid=26226 vsize=10659088 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/26229/task/26240/stat : 26240 (java) R 26226 26229 22446 0 -1 4202560 1116 0 0 0 7 0 0 0 20 0 15 0 39467589 10914906112 13101 33554432000 4194304 4196468 140735712458272 140399986273992 140400753660506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26241] ppid=26226 vsize=10659088 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/26229/task/26241/stat : 26241 (java) R 26226 26229 22446 0 -1 4202560 763 0 0 0 6 0 0 0 20 0 15 0 39467589 10914906112 13101 33554432000 4194304 4196468 140735712458272 140399985221448 140400733332263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26242] ppid=26226 vsize=10659088 memory=139849644349056 CPUtime=0.13 cores=1,3,5,7
/proc/26229/task/26242/stat : 26242 (java) R 26226 26229 22446 0 -1 1077944384 916 0 0 0 13 0 0 0 20 0 15 0 39467589 10914906112 13101 33554432000 4194304 4196468 140735712458272 140399984187376 140400753650306 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26243] ppid=26226 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26243/stat : 26243 (java) S 26226 26229 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39467589 10914906112 13101 33554432000 4194304 4196468 140735712458272 140399983135072 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26244] ppid=26226 vsize=10659088 memory=139849644349056 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26244/stat : 26244 (java) S 26226 26229 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39467589 10914906112 13101 33554432000 4194304 4196468 140735712458272 140399982083120 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 52404 KiB
[startup+0.701344 s]
/proc/loadavg: 4.39 3.71 3.08 6/217 26244
/proc/meminfo: memFree=15617224/32770624 swapFree=67108860/67108860
[pid=26229] ppid=26226 vsize=10663820 memory=220368 CPUtime=1.9 cores=1,3,5,7
/proc/26229/stat : 26229 (java) S 26226 26229 22446 0 -1 1077944320 22272 0 0 0 183 7 0 0 20 0 15 0 39467583 10919751680 55092 33554432000 4194304 4196468 140735712458272 140735712440816 140400753639159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
/proc/26229/statm: 2665955 55092 3105 1 0 2628446 0
[pid=26229/tid=26231] ppid=26226 vsize=10663820 memory=1728 CPUtime=0.66 cores=1,3,5,7
/proc/26229/task/26231/stat : 26231 (java) R 26226 26229 22446 0 -1 4202560 6038 0 0 0 62 4 0 0 20 0 15 0 39467583 10919751680 55092 33554432000 4194304 4196468 140735712458272 140400757866784 140400353951298 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26232] ppid=26226 vsize=10663820 memory=796 CPUtime=0.01 cores=1,3,5,7
/proc/26229/task/26232/stat : 26232 (java) S 26226 26229 22446 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 39467584 10919751680 55092 33554432000 4194304 4196468 140735712458272 140400679713296 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26233] ppid=26226 vsize=10663820 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26233/stat : 26233 (java) S 26226 26229 22446 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39467584 10919751680 55092 33554432000 4194304 4196468 140735712458272 140400678660752 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26234] ppid=26226 vsize=10663820 memory=1228 CPUtime=0.01 cores=1,3,5,7
/proc/26229/task/26234/stat : 26234 (java) S 26226 26229 22446 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 15 0 39467584 10919751680 55092 33554432000 4194304 4196468 140735712458272 140400677607696 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26235] ppid=26226 vsize=10663820 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26235/stat : 26235 (java) S 26226 26229 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39467584 10919751680 55092 33554432000 4194304 4196468 140735712458272 140400676555152 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26236] ppid=26226 vsize=10663820 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26236/stat : 26236 (java) S 26226 26229 22446 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 39467586 10919751680 55092 33554432000 4194304 4196468 140735712458272 140399990504176 140400753650306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26237] ppid=26226 vsize=10663820 memory=5368 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26237/stat : 26237 (java) S 26226 26229 22446 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39467586 10919751680 55092 33554432000 4194304 4196468 140735712458272 140399989450400 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26238] ppid=26226 vsize=10663820 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26238/stat : 26238 (java) S 26226 26229 22446 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 39467586 10919751680 55092 33554432000 4194304 4196468 140735712458272 140399988397296 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26239] ppid=26226 vsize=10663820 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26239/stat : 26239 (java) S 26226 26229 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39467589 10919751680 55092 33554432000 4194304 4196468 140735712458272 140399987345872 140400753657755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26240] ppid=26226 vsize=10663820 memory=6945208482816681536 CPUtime=0.4 cores=1,3,5,7
/proc/26229/task/26240/stat : 26240 (java) R 26226 26229 22446 0 -1 4202560 4963 0 0 0 40 0 0 0 20 0 15 0 39467589 10919751680 55092 33554432000 4194304 4196468 140735712458272 140399986278768 140400735183377 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26241] ppid=26226 vsize=10663820 memory=7811323491934034026 CPUtime=0.41 cores=1,3,5,7
/proc/26229/task/26241/stat : 26241 (java) R 26226 26229 22446 0 -1 4202560 6122 0 0 0 40 1 0 0 20 0 15 0 39467589 10919751680 55092 33554432000 4194304 4196468 140735712458272 140399985224952 140400735183599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26242] ppid=26226 vsize=10663820 memory=5787213827113576551 CPUtime=0.37 cores=1,3,5,7
/proc/26229/task/26242/stat : 26242 (java) S 26226 26229 22446 0 -1 1077944384 3666 0 0 0 36 1 0 0 20 0 15 0 39467589 10919751680 55092 33554432000 4194304 4196468 140735712458272 140399984187376 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26243] ppid=26226 vsize=10663820 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26243/stat : 26243 (java) S 26226 26229 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39467589 10919751680 55092 33554432000 4194304 4196468 140735712458272 140399983135072 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26244] ppid=26226 vsize=10663820 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26244/stat : 26244 (java) S 26226 26229 22446 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39467589 10919751680 55092 33554432000 4194304 4196468 140735712458272 140399982083120 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 10663820 KiB
Current children cumulated memory: 220368 KiB
[startup+1.50131 s]
/proc/loadavg: 4.39 3.71 3.08 7/217 26244
/proc/meminfo: memFree=15446092/32770624 swapFree=67108860/67108860
[pid=26229] ppid=26226 vsize=10659088 memory=440972 CPUtime=4.46 cores=1,3,5,7
/proc/26229/stat : 26229 (java) S 26226 26229 22446 0 -1 1077944320 24938 0 0 0 430 16 0 0 20 0 15 0 39467583 10914906112 110243 33554432000 4194304 4196468 140735712458272 140735712440816 140400753639159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
/proc/26229/statm: 2664772 110243 3155 1 0 2627263 0
[pid=26229/tid=26231] ppid=26226 vsize=10659088 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/26229/task/26231/stat : 26231 (java) S 26226 26229 22446 0 -1 1077944384 6119 0 0 0 129 6 0 0 20 0 15 0 39467583 10914906112 110243 33554432000 4194304 4196468 140735712458272 140400757873264 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26232] ppid=26226 vsize=10659088 memory=-6951259422114956437 CPUtime=0.09 cores=1,3,5,7
/proc/26229/task/26232/stat : 26232 (java) R 26226 26229 22446 0 -1 4202560 147 0 0 0 8 1 0 0 20 0 15 0 39467584 10914906112 110243 33554432000 4194304 4196468 140735712458272 140400679713496 140400738666578 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26233] ppid=26226 vsize=10659088 memory=-6509546260019855295 CPUtime=0.07 cores=1,3,5,7
/proc/26229/task/26233/stat : 26233 (java) R 26226 26229 22446 0 -1 4202560 128 0 0 0 6 1 0 0 20 0 15 0 39467584 10914906112 110243 33554432000 4194304 4196468 140735712458272 140400678660640 140400738667763 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26234] ppid=26226 vsize=10659088 memory=-7390251449858225344 CPUtime=0.09 cores=1,3,5,7
/proc/26229/task/26234/stat : 26234 (java) R 26226 26229 22446 0 -1 4202560 144 0 0 0 8 1 0 0 20 0 15 0 39467584 10914906112 110243 33554432000 4194304 4196468 140735712458272 140400677607896 140400738666536 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26235] ppid=26226 vsize=10659088 memory=4134692831991786133 CPUtime=0.07 cores=1,3,5,7
/proc/26229/task/26235/stat : 26235 (java) R 26226 26229 22446 0 -1 4202560 45 0 0 0 6 1 0 0 20 0 15 0 39467584 10914906112 110243 33554432000 4194304 4196468 140735712458272 140400676555152 140400738666578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26236] ppid=26226 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26236/stat : 26236 (java) S 26226 26229 22446 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 39467586 10914906112 110243 33554432000 4194304 4196468 140735712458272 140399990502688 140400753649365 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
################
# More data... #
################
/proc/26229/task/26237/stat : 26237 (java) S 26226 26229 22446 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 39467586 10985164800 607914 33554432000 4194304 4196468 140735712458272 140399989450464 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26238] ppid=26226 vsize=10727700 memory=2431656 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26238/stat : 26238 (java) S 26226 26229 22446 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 39467586 10985164800 607914 33554432000 4194304 4196468 140735712458272 140399988397312 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26239] ppid=26226 vsize=10727700 memory=2431656 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26239/stat : 26239 (java) S 26226 26229 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39467589 10985164800 607914 33554432000 4194304 4196468 140735712458272 140399987345872 140400753657755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26240] ppid=26226 vsize=10727700 memory=2431656 CPUtime=2.55 cores=1,3,5,7
/proc/26229/task/26240/stat : 26240 (java) S 26226 26229 22446 0 -1 1077944384 11900 0 0 0 252 3 0 0 20 0 16 0 39467589 10985164800 607914 33554432000 4194304 4196468 140735712458272 140399986292976 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26241] ppid=26226 vsize=10727700 memory=2431656 CPUtime=2.08 cores=1,3,5,7
/proc/26229/task/26241/stat : 26241 (java) S 26226 26229 22446 0 -1 1077944384 10911 0 0 0 206 2 0 0 20 0 16 0 39467589 10985164800 607914 33554432000 4194304 4196468 140735712458272 140399985240432 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26242] ppid=26226 vsize=10727700 memory=2431656 CPUtime=0.61 cores=1,3,5,7
/proc/26229/task/26242/stat : 26242 (java) S 26226 26229 22446 0 -1 1077944384 6153 0 0 0 59 2 0 0 20 0 16 0 39467589 10985164800 607914 33554432000 4194304 4196468 140735712458272 140399984187376 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26243] ppid=26226 vsize=10727700 memory=2431656 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26243/stat : 26243 (java) S 26226 26229 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39467589 10985164800 607914 33554432000 4194304 4196468 140735712458272 140399983135072 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26244] ppid=26226 vsize=10727700 memory=2431656 CPUtime=1.42 cores=1,3,5,7
/proc/26229/task/26244/stat : 26244 (java) S 26226 26229 22446 0 -1 1077944384 3103 0 0 0 62 80 0 0 20 0 16 0 39467589 10985164800 607914 33554432000 4194304 4196468 140735712458272 140399982083120 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26245] ppid=26226 vsize=10727700 memory=2431656 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26245/stat : 26245 (java) S 26226 26229 22446 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39468168 10985164800 607914 33554432000 4194304 4196468 140735712458272 140399978931760 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
Current children cumulated CPU time: 2341.4 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 2431656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2380.9 s]
/proc/loadavg: 1.95 2.00 2.12 3/218 26420
/proc/meminfo: memFree=13001524/32770624 swapFree=67108860/67108860
[pid=26229] ppid=26226 vsize=10727700 memory=2431668 CPUtime=2400.04 cores=1,3,5,7
/proc/26229/stat : 26229 (java) S 26226 26229 22446 0 -1 1077944320 233105 0 0 0 239777 227 0 0 20 0 16 0 39467583 10985164800 607917 33554432000 4194304 4196468 140735712458272 140735712440816 140400753639159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
/proc/26229/statm: 2681925 607917 3191 1 0 2644416 0
[pid=26229/tid=26231] ppid=26226 vsize=10727700 memory=2431668 CPUtime=2374.97 cores=1,3,5,7
/proc/26229/task/26231/stat : 26231 (java) R 26226 26229 22446 0 -1 4202560 151295 0 0 0 237475 22 0 0 20 0 16 0 39467583 10985164800 607917 33554432000 4194304 4196468 140735712458272 140400757876056 140400356789095 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26232] ppid=26226 vsize=10727700 memory=2431668 CPUtime=4.12 cores=1,3,5,7
/proc/26229/task/26232/stat : 26232 (java) S 26226 26229 22446 0 -1 1077944384 7227 0 0 0 381 31 0 0 20 0 16 0 39467584 10985164800 607917 33554432000 4194304 4196468 140735712458272 140400679713296 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26233] ppid=26226 vsize=10727700 memory=2431668 CPUtime=4.03 cores=1,3,5,7
/proc/26229/task/26233/stat : 26233 (java) S 26226 26229 22446 0 -1 1077944384 11929 0 0 0 373 30 0 0 20 0 16 0 39467584 10985164800 607917 33554432000 4194304 4196468 140735712458272 140400678660752 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26234] ppid=26226 vsize=10727700 memory=255 CPUtime=4.11 cores=1,3,5,7
/proc/26229/task/26234/stat : 26234 (java) S 26226 26229 22446 0 -1 1077944384 12705 0 0 0 380 31 0 0 20 0 16 0 39467584 10985164800 607917 33554432000 4194304 4196468 140735712458272 140400677607696 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26235] ppid=26226 vsize=10727700 memory=2257 CPUtime=4.1 cores=1,3,5,7
/proc/26229/task/26235/stat : 26235 (java) S 26226 26229 22446 0 -1 1077944384 9517 0 0 0 380 30 0 0 20 0 16 0 39467584 10985164800 607917 33554432000 4194304 4196468 140735712458272 140400676555152 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26236] ppid=26226 vsize=10727700 memory=1792 CPUtime=1.91 cores=1,3,5,7
/proc/26229/task/26236/stat : 26236 (java) S 26226 26229 22446 0 -1 1077944384 6900 0 0 0 188 3 0 0 20 0 16 0 39467586 10985164800 607917 33554432000 4194304 4196468 140735712458272 140399990504176 140400753650306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26237] ppid=26226 vsize=10727700 memory=56 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26237/stat : 26237 (java) S 26226 26229 22446 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 39467586 10985164800 607917 33554432000 4194304 4196468 140735712458272 140399989450464 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26238] ppid=26226 vsize=10727700 memory=2431668 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26238/stat : 26238 (java) S 26226 26229 22446 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 39467586 10985164800 607917 33554432000 4194304 4196468 140735712458272 140399988397312 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26239] ppid=26226 vsize=10727700 memory=2431668 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26239/stat : 26239 (java) S 26226 26229 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39467589 10985164800 607917 33554432000 4194304 4196468 140735712458272 140399987345872 140400753657755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26240] ppid=26226 vsize=10727700 memory=13992 CPUtime=2.55 cores=1,3,5,7
/proc/26229/task/26240/stat : 26240 (java) S 26226 26229 22446 0 -1 1077944384 11906 0 0 0 252 3 0 0 20 0 16 0 39467589 10985164800 607917 33554432000 4194304 4196468 140735712458272 140399986292976 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26241] ppid=26226 vsize=10727700 memory=2420 CPUtime=2.08 cores=1,3,5,7
/proc/26229/task/26241/stat : 26241 (java) S 26226 26229 22446 0 -1 1077944384 10914 0 0 0 206 2 0 0 20 0 16 0 39467589 10985164800 607917 33554432000 4194304 4196468 140735712458272 140399985240432 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26242] ppid=26226 vsize=10727700 memory=2431668 CPUtime=0.62 cores=1,3,5,7
/proc/26229/task/26242/stat : 26242 (java) S 26226 26229 22446 0 -1 1077944384 6163 0 0 0 59 3 0 0 20 0 16 0 39467589 10985164800 607917 33554432000 4194304 4196468 140735712458272 140399984187376 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26243] ppid=26226 vsize=10727700 memory=960 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26243/stat : 26243 (java) S 26226 26229 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39467589 10985164800 607917 33554432000 4194304 4196468 140735712458272 140399983135072 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26244] ppid=26226 vsize=10727700 memory=4465 CPUtime=1.46 cores=1,3,5,7
/proc/26229/task/26244/stat : 26244 (java) S 26226 26229 22446 0 -1 1077944384 3141 0 0 0 64 82 0 0 20 0 16 0 39467589 10985164800 607917 33554432000 4194304 4196468 140735712458272 140399982083120 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26245] ppid=26226 vsize=10727700 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26245/stat : 26245 (java) S 26226 26229 22446 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39468168 10985164800 607917 33554432000 4194304 4196468 140735712458272 140399978931760 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 2431668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2381.16 s]
# the end of solver process 26229 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.86 s, system=2.28951 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2381.01 s]*
/proc/loadavg: 1.95 2.00 2.12 2/219 26423
/proc/meminfo: memFree=13001524/32770624 swapFree=67108860/67108860
[pid=26229] ppid=26226 vsize=10927392 memory=2431876 CPUtime=2400.07 cores=1,3,5,7
/proc/26229/stat : 26229 (java) S 26226 26229 22446 0 -1 1077944320 233632 0 0 0 239780 227 0 0 20 0 17 0 39467583 11189649408 607969 33554432000 4194304 4196468 140735712458272 140735712440816 140400753639159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
/proc/26229/statm: 2731848 607969 3193 1 0 2694339 0
[pid=26229/tid=26231] ppid=26226 vsize=10927392 memory=1196 CPUtime=2375 cores=1,3,5,7
/proc/26229/task/26231/stat : 26231 (java) S 26226 26229 22446 0 -1 1077944384 151320 0 0 0 237478 22 0 0 20 0 17 0 39467583 11189649408 607969 33554432000 4194304 4196468 140735712458272 140400757882032 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26232] ppid=26226 vsize=10927392 memory=-7395409520647495987 CPUtime=4.12 cores=1,3,5,7
/proc/26229/task/26232/stat : 26232 (java) S 26226 26229 22446 0 -1 1077944384 7227 0 0 0 381 31 0 0 20 0 17 0 39467584 11189649408 607969 33554432000 4194304 4196468 140735712458272 140400679713296 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26233] ppid=26226 vsize=10927392 memory=4616 CPUtime=4.03 cores=1,3,5,7
/proc/26229/task/26233/stat : 26233 (java) S 26226 26229 22446 0 -1 1077944384 11929 0 0 0 373 30 0 0 20 0 17 0 39467584 11189649408 607969 33554432000 4194304 4196468 140735712458272 140400678660752 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26234] ppid=26226 vsize=10927392 memory=1424 CPUtime=4.11 cores=1,3,5,7
/proc/26229/task/26234/stat : 26234 (java) S 26226 26229 22446 0 -1 1077944384 12705 0 0 0 380 31 0 0 20 0 17 0 39467584 11189649408 607969 33554432000 4194304 4196468 140735712458272 140400677607696 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26235] ppid=26226 vsize=10927392 memory=15868 CPUtime=4.1 cores=1,3,5,7
/proc/26229/task/26235/stat : 26235 (java) S 26226 26229 22446 0 -1 1077944384 9517 0 0 0 380 30 0 0 20 0 17 0 39467584 11189649408 607969 33554432000 4194304 4196468 140735712458272 140400676555152 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26236] ppid=26226 vsize=10927392 memory=4052 CPUtime=1.91 cores=1,3,5,7
/proc/26229/task/26236/stat : 26236 (java) S 26226 26229 22446 0 -1 1077944384 6927 0 0 0 188 3 0 0 20 0 17 0 39467586 11189649408 607969 33554432000 4194304 4196468 140735712458272 140399990504176 140400753650306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26237] ppid=26226 vsize=10927392 memory=736 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26237/stat : 26237 (java) S 26226 26229 22446 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 39467586 11189649408 607969 33554432000 4194304 4196468 140735712458272 140399989450464 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26238] ppid=26226 vsize=10927392 memory=-7395409520647495987 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26238/stat : 26238 (java) S 26226 26229 22446 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 39467586 11189649408 607969 33554432000 4194304 4196468 140735712458272 140399988397312 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26239] ppid=26226 vsize=10927392 memory=2431656 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26239/stat : 26239 (java) S 26226 26229 22446 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 17 0 39467589 11189649408 607969 33554432000 4194304 4196468 140735712458272 140399987345872 140400753657755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26240] ppid=26226 vsize=10927392 memory=5368 CPUtime=2.55 cores=1,3,5,7
/proc/26229/task/26240/stat : 26240 (java) S 26226 26229 22446 0 -1 1077944384 11906 0 0 0 252 3 0 0 20 0 17 0 39467589 11189649408 607969 33554432000 4194304 4196468 140735712458272 140399986292976 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26241] ppid=26226 vsize=10927392 memory=1936 CPUtime=2.08 cores=1,3,5,7
/proc/26229/task/26241/stat : 26241 (java) S 26226 26229 22446 0 -1 1077944384 10914 0 0 0 206 2 0 0 20 0 17 0 39467589 11189649408 607969 33554432000 4194304 4196468 140735712458272 140399985240432 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26242] ppid=26226 vsize=10927392 memory=1196 CPUtime=0.62 cores=1,3,5,7
/proc/26229/task/26242/stat : 26242 (java) S 26226 26229 22446 0 -1 1077944384 6263 0 0 0 59 3 0 0 20 0 17 0 39467589 11189649408 607969 33554432000 4194304 4196468 140735712458272 140399984187376 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26243] ppid=26226 vsize=10927392 memory=7528 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26243/stat : 26243 (java) S 26226 26229 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39467589 11189649408 607969 33554432000 4194304 4196468 140735712458272 140399983135072 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26244] ppid=26226 vsize=10927392 memory=844 CPUtime=1.46 cores=1,3,5,7
/proc/26229/task/26244/stat : 26244 (java) S 26226 26229 22446 0 -1 1077944384 3141 0 0 0 64 82 0 0 20 0 17 0 39467589 11189649408 607969 33554432000 4194304 4196468 140735712458272 140399982083120 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26421] ppid=26226 vsize=10927392 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26421/stat : 26421 (java) S 26226 26229 22446 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 17 0 39705674 11189649408 607969 33554432000 4194304 4196468 140735712458272 140399977878000 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26422] ppid=26226 vsize=10927392 memory=916 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26422/stat : 26422 (java) S 26226 26229 22446 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 17 0 39705674 11189649408 607969 33554432000 4194304 4196468 140735712458272 140399976826384 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 2431876 KiB
[startup+2381.11 s]
/proc/loadavg: 1.95 2.00 2.12 2/219 26423
/proc/meminfo: memFree=13001524/32770624 swapFree=67108860/67108860
[pid=26229] ppid=26226 vsize=10927392 memory=2431960 CPUtime=2400.08 cores=1,3,5,7
/proc/26229/stat : 26229 (java) S 26226 26229 22446 0 -1 1077944320 233760 0 0 0 239781 227 0 0 20 0 17 0 39467583 11189649408 607990 33554432000 4194304 4196468 140735712458272 140735712440816 140400753639159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
/proc/26229/statm: 2731848 607990 3193 1 0 2694339 0
[pid=26229/tid=26231] ppid=26226 vsize=10927392 memory=2431668 CPUtime=2375 cores=1,3,5,7
/proc/26229/task/26231/stat : 26231 (java) S 26226 26229 22446 0 -1 1077944384 151320 0 0 0 237478 22 0 0 20 0 17 0 39467583 11189649408 607990 33554432000 4194304 4196468 140735712458272 140400757882032 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26232] ppid=26226 vsize=10927392 memory=2431668 CPUtime=4.12 cores=1,3,5,7
/proc/26229/task/26232/stat : 26232 (java) S 26226 26229 22446 0 -1 1077944384 7227 0 0 0 381 31 0 0 20 0 17 0 39467584 11189649408 607990 33554432000 4194304 4196468 140735712458272 140400679713296 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26233] ppid=26226 vsize=10927392 memory=2431668 CPUtime=4.03 cores=1,3,5,7
/proc/26229/task/26233/stat : 26233 (java) S 26226 26229 22446 0 -1 1077944384 11929 0 0 0 373 30 0 0 20 0 17 0 39467584 11189649408 607990 33554432000 4194304 4196468 140735712458272 140400678660752 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26234] ppid=26226 vsize=10927392 memory=2431668 CPUtime=4.11 cores=1,3,5,7
/proc/26229/task/26234/stat : 26234 (java) S 26226 26229 22446 0 -1 1077944384 12705 0 0 0 380 31 0 0 20 0 17 0 39467584 11189649408 607990 33554432000 4194304 4196468 140735712458272 140400677607696 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26235] ppid=26226 vsize=10927392 memory=1792 CPUtime=4.1 cores=1,3,5,7
/proc/26229/task/26235/stat : 26235 (java) S 26226 26229 22446 0 -1 1077944384 9517 0 0 0 380 30 0 0 20 0 17 0 39467584 11189649408 607990 33554432000 4194304 4196468 140735712458272 140400676555152 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26236] ppid=26226 vsize=10927392 memory=2257 CPUtime=1.91 cores=1,3,5,7
/proc/26229/task/26236/stat : 26236 (java) S 26226 26229 22446 0 -1 1077944384 6927 0 0 0 188 3 0 0 20 0 17 0 39467586 11189649408 607990 33554432000 4194304 4196468 140735712458272 140399990504176 140400753650306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26237] ppid=26226 vsize=10927392 memory=56 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26237/stat : 26237 (java) S 26226 26229 22446 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 39467586 11189649408 607990 33554432000 4194304 4196468 140735712458272 140399989450464 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26238] ppid=26226 vsize=10927392 memory=13992 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26238/stat : 26238 (java) S 26226 26229 22446 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 39467586 11189649408 607990 33554432000 4194304 4196468 140735712458272 140399988397312 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26239] ppid=26226 vsize=10927392 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26239/stat : 26239 (java) S 26226 26229 22446 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 17 0 39467589 11189649408 607990 33554432000 4194304 4196468 140735712458272 140399987345872 140400753657755 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26240] ppid=26226 vsize=10927392 memory=2431668 CPUtime=2.55 cores=1,3,5,7
/proc/26229/task/26240/stat : 26240 (java) R 26226 26229 22446 0 -1 1077944384 11906 0 0 0 252 3 0 0 20 0 17 0 39467589 11189649408 607990 33554432000 4194304 4196468 140735712458272 140399986292976 140400753650306 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26241] ppid=26226 vsize=10927392 memory=960 CPUtime=2.08 cores=1,3,5,7
/proc/26229/task/26241/stat : 26241 (java) R 26226 26229 22446 0 -1 4202560 10959 0 0 0 206 2 0 0 20 0 17 0 39467589 11189649408 607990 33554432000 4194304 4196468 140735712458272 140399985240432 140400735049309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26242] ppid=26226 vsize=10927392 memory=2431668 CPUtime=0.62 cores=1,3,5,7
/proc/26229/task/26242/stat : 26242 (java) R 26226 26229 22446 0 -1 4202560 6272 0 0 0 59 3 0 0 20 0 17 0 39467589 11189649408 607990 33554432000 4194304 4196468 140735712458272 140399984185168 140400753660506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26243] ppid=26226 vsize=10927392 memory=2431668 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26243/stat : 26243 (java) S 26226 26229 22446 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39467589 11189649408 607990 33554432000 4194304 4196468 140735712458272 140399983135072 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26244] ppid=26226 vsize=10927392 memory=4465 CPUtime=1.46 cores=1,3,5,7
/proc/26229/task/26244/stat : 26244 (java) S 26226 26229 22446 0 -1 1077944384 3141 0 0 0 64 82 0 0 20 0 17 0 39467589 11189649408 607990 33554432000 4194304 4196468 140735712458272 140399982083120 140400753650306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26421] ppid=26226 vsize=10927392 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26421/stat : 26421 (java) S 26226 26229 22446 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 17 0 39705674 11189649408 607990 33554432000 4194304 4196468 140735712458272 140399977878000 140400753649365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
[pid=26229/tid=26422] ppid=26226 vsize=10927392 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/26229/task/26422/stat : 26422 (java) R 26226 26229 22446 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 17 0 39705674 11189649408 607990 33554432000 4194304 4196468 140735712458272 140399976823312 140400350489196 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25124864 140735712466033 140735712466185 140735712466185 140735712468943 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 2431960 KiB
Child status: 143
Real time (s): 2381.16
CPU time (s): 2400.15
CPU user time (s): 2397.86
CPU system time (s): 2.28951
CPU usage (%): 100.797
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 2431960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.86
system time used= 2.28951
maximum resident set size= 2432276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233903
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56657
involuntary context switches= 1124
# summary of solver processes directly reported to runsolver:
# pid: 26229
# total CPU time (s): 2400.15
# total CPU user time (s): 2397.86
# total CPU system time (s): 2.28951
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1 second user time and 22.7762 second system time
The end