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 (12950 MiB free)
memory of node 1: 16384 MiB (7341 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299022-1532789692/watcher-4299022-1532789692 -o /tmp/evaluation-result-4299022-1532789692/solver-4299022-1532789692 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532774598-23260 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299022-1532789692.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25210, runsolver pid=25207
Current StackSize limit: 8192 KiB
[startup+0.107757 s]*
/proc/loadavg: 2.41 2.03 1.65 4/215 25225
/proc/meminfo: memFree=20764780/32770624 swapFree=67108532/67108860
[pid=25210] ppid=25207 vsize=10661052 memory=28048 CPUtime=0.14 cores=0,2,4,6
/proc/25210/stat : 25210 (java) S 25207 25210 23229 0 -1 1077944320 5354 0 0 0 13 1 0 0 20 0 15 0 96532606 10916917248 7012 33554432000 4194304 4196468 140732070882368 140732070864912 140564482551543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
/proc/25210/statm: 2665263 7012 2890 1 0 2627263 0
[pid=25210/tid=25212] ppid=25207 vsize=10661052 memory=-8197568871503139203 CPUtime=0.1 cores=0,2,4,6
/proc/25210/task/25212/stat : 25212 (java) R 25207 25210 23229 0 -1 4202560 3170 0 0 0 9 1 0 0 20 0 15 0 96532606 10916917248 7012 33554432000 4194304 4196468 140732070882368 140564486779632 140564466595173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25213] ppid=25207 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25213/stat : 25213 (java) S 25207 25210 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96532607 10916917248 7012 33554432000 4194304 4196468 140732070882368 140564419242896 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25214] ppid=25207 vsize=10661052 memory=139988164667008 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25214/stat : 25214 (java) S 25207 25210 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96532607 10916917248 7012 33554432000 4194304 4196468 140732070882368 140564418190096 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25215] ppid=25207 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25215/stat : 25215 (java) S 25207 25210 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96532607 10916917248 7012 33554432000 4194304 4196468 140732070882368 140564417137808 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25216] ppid=25207 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25216/stat : 25216 (java) S 25207 25210 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96532607 10916917248 7012 33554432000 4194304 4196468 140732070882368 140564416085008 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25217] ppid=25207 vsize=10661052 memory=139988164667008 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25217/stat : 25217 (java) S 25207 25210 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96532609 10916917248 7012 33554432000 4194304 4196468 140732070882368 140563974989936 140564482562690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25218] ppid=25207 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25218/stat : 25218 (java) S 25207 25210 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96532609 10916917248 7012 33554432000 4194304 4196468 140732070882368 140563973935904 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25219] ppid=25207 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25219/stat : 25219 (java) S 25207 25210 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96532609 10916917248 7012 33554432000 4194304 4196468 140732070882368 140563972883568 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25220] ppid=25207 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25220/stat : 25220 (java) S 25207 25210 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96532612 10916917248 7012 33554432000 4194304 4196468 140732070882368 140563971831888 140564482570139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25221] ppid=25207 vsize=10661052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25210/task/25221/stat : 25221 (java) S 25207 25210 23229 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 15 0 96532612 10916917248 7012 33554432000 4194304 4196468 140732070882368 140563970779760 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25222] ppid=25207 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25222/stat : 25222 (java) S 25207 25210 23229 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 96532612 10916917248 7012 33554432000 4194304 4196468 140732070882368 140563969726960 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25223] ppid=25207 vsize=10661052 memory=139988164667008 CPUtime=0.02 cores=0,2,4,6
/proc/25210/task/25223/stat : 25223 (java) R 25207 25210 23229 0 -1 4202560 336 0 0 0 2 0 0 0 20 0 15 0 96532612 10916917248 7012 33554432000 4194304 4196468 140732070882368 140563968671040 140564468251121 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25224] ppid=25207 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25224/stat : 25224 (java) S 25207 25210 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96532612 10916917248 7012 33554432000 4194304 4196468 140732070882368 140563967622112 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25225] ppid=25207 vsize=10661052 memory=139988164667008 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25225/stat : 25225 (java) S 25207 25210 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96532612 10916917248 7012 33554432000 4194304 4196468 140732070882368 140563966568880 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 28048 KiB
[startup+0.210478 s]*
/proc/loadavg: 2.41 2.03 1.65 6/215 25225
/proc/meminfo: memFree=20752120/32770624 swapFree=67108532/67108860
[pid=25210] ppid=25207 vsize=10661052 memory=40224 CPUtime=0.34 cores=0,2,4,6
/proc/25210/stat : 25210 (java) S 25207 25210 23229 0 -1 1077944320 8143 0 0 0 31 3 0 0 20 0 15 0 96532606 10916917248 10056 33554432000 4194304 4196468 140732070882368 140732070864912 140564482551543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
/proc/25210/statm: 2665263 10056 2977 1 0 2627263 0
[pid=25210/tid=25212] ppid=25207 vsize=10661052 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/25210/task/25212/stat : 25212 (java) R 25207 25210 23229 0 -1 4202560 5100 0 0 0 17 2 0 0 20 0 15 0 96532606 10916917248 10056 33554432000 4194304 4196468 140732070882368 140564486789744 140564482573469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25213] ppid=25207 vsize=10661052 memory=364 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25213/stat : 25213 (java) S 25207 25210 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96532607 10916917248 10056 33554432000 4194304 4196468 140732070882368 140564419242896 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25214] ppid=25207 vsize=10661052 memory=139988165201143 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25214/stat : 25214 (java) S 25207 25210 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96532607 10916917248 10056 33554432000 4194304 4196468 140732070882368 140564418190096 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25215] ppid=25207 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25215/stat : 25215 (java) S 25207 25210 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96532607 10916917248 10056 33554432000 4194304 4196468 140732070882368 140564417137808 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25216] ppid=25207 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25216/stat : 25216 (java) S 25207 25210 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96532607 10916917248 10056 33554432000 4194304 4196468 140732070882368 140564416085008 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25217] ppid=25207 vsize=10661052 memory=139988164667008 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25217/stat : 25217 (java) S 25207 25210 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96532609 10916917248 10056 33554432000 4194304 4196468 140732070882368 140563974989936 140564482562690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25218] ppid=25207 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25218/stat : 25218 (java) S 25207 25210 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96532609 10916917248 10056 33554432000 4194304 4196468 140732070882368 140563973935904 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25219] ppid=25207 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25219/stat : 25219 (java) S 25207 25210 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96532609 10916917248 10056 33554432000 4194304 4196468 140732070882368 140563972883568 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25220] ppid=25207 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25220/stat : 25220 (java) S 25207 25210 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96532612 10916917248 10056 33554432000 4194304 4196468 140732070882368 140563971831888 140564482570139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25221] ppid=25207 vsize=10661052 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25210/task/25221/stat : 25221 (java) S 25207 25210 23229 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 15 0 96532612 10916917248 10056 33554432000 4194304 4196468 140732070882368 140563970779760 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25222] ppid=25207 vsize=10661052 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25210/task/25222/stat : 25222 (java) S 25207 25210 23229 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 15 0 96532612 10916917248 10056 33554432000 4194304 4196468 140732070882368 140563969726960 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25223] ppid=25207 vsize=10661052 memory=139988164667008 CPUtime=0.08 cores=0,2,4,6
/proc/25210/task/25223/stat : 25223 (java) R 25207 25210 23229 0 -1 4202560 783 0 0 0 8 0 0 0 20 0 15 0 96532612 10916917248 10056 33554432000 4194304 4196468 140732070882368 140563968674672 140564460920182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25224] ppid=25207 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25224/stat : 25224 (java) S 25207 25210 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96532612 10916917248 10056 33554432000 4194304 4196468 140732070882368 140563967622112 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25225] ppid=25207 vsize=10661052 memory=139988164667008 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25225/stat : 25225 (java) S 25207 25210 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96532612 10916917248 10056 33554432000 4194304 4196468 140732070882368 140563966568880 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40224 KiB
[startup+0.31073 s]*
/proc/loadavg: 2.41 2.03 1.65 5/215 25225
/proc/meminfo: memFree=20697136/32770624 swapFree=67108532/67108860
[pid=25210] ppid=25207 vsize=10661052 memory=103492 CPUtime=0.57 cores=0,2,4,6
/proc/25210/stat : 25210 (java) S 25207 25210 23229 0 -1 1077944320 8565 0 0 0 53 4 0 0 20 0 15 0 96532606 10916917248 25873 33554432000 4194304 4196468 140732070882368 140732070864912 140564482551543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
/proc/25210/statm: 2665263 25873 3039 1 0 2627263 0
[pid=25210/tid=25212] ppid=25207 vsize=10661052 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/25210/task/25212/stat : 25212 (java) R 25207 25210 23229 0 -1 4202560 5149 0 0 0 26 3 0 0 20 0 15 0 96532606 10916917248 25873 33554432000 4194304 4196468 140732070882368 140564486789600 140564482573469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25213] ppid=25207 vsize=10661052 memory=304556149079015447 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25213/stat : 25213 (java) S 25207 25210 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96532607 10916917248 25873 33554432000 4194304 4196468 140732070882368 140564419242896 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25214] ppid=25207 vsize=10661052 memory=139988165201827 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25214/stat : 25214 (java) S 25207 25210 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96532607 10916917248 25873 33554432000 4194304 4196468 140732070882368 140564418190096 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25215] ppid=25207 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25215/stat : 25215 (java) S 25207 25210 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96532607 10916917248 25873 33554432000 4194304 4196468 140732070882368 140564417137808 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25216] ppid=25207 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25216/stat : 25216 (java) S 25207 25210 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96532607 10916917248 25873 33554432000 4194304 4196468 140732070882368 140564416085008 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25217] ppid=25207 vsize=10661052 memory=139988164667008 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25217/stat : 25217 (java) S 25207 25210 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96532609 10916917248 25873 33554432000 4194304 4196468 140732070882368 140563974989936 140564482562690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25218] ppid=25207 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25218/stat : 25218 (java) S 25207 25210 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96532609 10916917248 25873 33554432000 4194304 4196468 140732070882368 140563973935904 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25219] ppid=25207 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25219/stat : 25219 (java) S 25207 25210 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96532609 10916917248 25873 33554432000 4194304 4196468 140732070882368 140563972883568 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25220] ppid=25207 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25220/stat : 25220 (java) S 25207 25210 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96532612 10916917248 25873 33554432000 4194304 4196468 140732070882368 140563971831888 140564482570139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25221] ppid=25207 vsize=10661052 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/25210/task/25221/stat : 25221 (java) R 25207 25210 23229 0 -1 4202560 530 0 0 0 6 0 0 0 20 0 15 0 96532612 10916917248 25873 33554432000 4194304 4196468 140732070882368 140563970763496 140564461770710 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25222] ppid=25207 vsize=10661052 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25210/task/25222/stat : 25222 (java) S 25207 25210 23229 0 -1 1077944384 688 0 0 0 7 0 0 0 20 0 15 0 96532612 10916917248 25873 33554432000 4194304 4196468 140732070882368 140563969726960 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25223] ppid=25207 vsize=10661052 memory=139988164667008 CPUtime=0.12 cores=0,2,4,6
/proc/25210/task/25223/stat : 25223 (java) S 25207 25210 23229 0 -1 1077944384 831 0 0 0 12 0 0 0 20 0 15 0 96532612 10916917248 25873 33554432000 4194304 4196468 140732070882368 140563968674672 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25224] ppid=25207 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25224/stat : 25224 (java) S 25207 25210 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96532612 10916917248 25873 33554432000 4194304 4196468 140732070882368 140563967622112 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25225] ppid=25207 vsize=10661052 memory=139988164667008 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25225/stat : 25225 (java) S 25207 25210 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96532612 10916917248 25873 33554432000 4194304 4196468 140732070882368 140563966568880 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 103492 KiB
[startup+0.704741 s]
/proc/loadavg: 2.41 2.03 1.65 4/215 25225
/proc/meminfo: memFree=20496008/32770624 swapFree=67108532/67108860
[pid=25210] ppid=25207 vsize=10661052 memory=486296 CPUtime=1.74 cores=0,2,4,6
/proc/25210/stat : 25210 (java) S 25207 25210 23229 0 -1 1077944320 13717 0 0 0 134 40 0 0 20 0 15 0 96532606 10916917248 121574 33554432000 4194304 4196468 140732070882368 140732070864912 140564482551543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
/proc/25210/statm: 2665263 121574 3088 1 0 2627263 0
[pid=25210/tid=25212] ppid=25207 vsize=10661052 memory=16236 CPUtime=0.51 cores=0,2,4,6
/proc/25210/task/25212/stat : 25212 (java) S 25207 25210 23229 0 -1 1077944384 5180 0 0 0 45 6 0 0 20 0 15 0 96532606 10916917248 121574 33554432000 4194304 4196468 140732070882368 140564486790800 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25213] ppid=25207 vsize=10661052 memory=4048 CPUtime=0.15 cores=0,2,4,6
/proc/25210/task/25213/stat : 25213 (java) R 25207 25210 23229 0 -1 4202560 268 0 0 0 8 7 0 0 20 0 15 0 96532607 10916917248 121574 33554432000 4194304 4196468 140732070882368 140564419243096 140564475654582 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25214] ppid=25207 vsize=10661052 memory=640 CPUtime=0.13 cores=0,2,4,6
/proc/25210/task/25214/stat : 25214 (java) R 25207 25210 23229 0 -1 4202560 402 0 0 0 6 7 0 0 20 0 15 0 96532607 10916917248 121574 33554432000 4194304 4196468 140732070882368 140564418190096 140564475651243 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25215] ppid=25207 vsize=10661052 memory=1788 CPUtime=0.14 cores=0,2,4,6
/proc/25210/task/25215/stat : 25215 (java) R 25207 25210 23229 0 -1 4202560 526 0 0 0 5 9 0 0 20 0 15 0 96532607 10916917248 121574 33554432000 4194304 4196468 140732070882368 140564417137808 140564467548189 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25216] ppid=25207 vsize=10661052 memory=960 CPUtime=0.14 cores=0,2,4,6
/proc/25210/task/25216/stat : 25216 (java) R 25207 25210 23229 0 -1 4202560 420 0 0 0 6 8 0 0 20 0 15 0 96532607 10916917248 121574 33554432000 4194304 4196468 140732070882368 140564416085008 140564467250835 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25217] ppid=25207 vsize=10661052 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25217/stat : 25217 (java) S 25207 25210 23229 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 96532609 10916917248 121574 33554432000 4194304 4196468 140732070882368 140563974988480 140564482561749 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25218] ppid=25207 vsize=10661052 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25218/stat : 25218 (java) S 25207 25210 23229 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96532609 10916917248 121574 33554432000 4194304 4196468 140732070882368 140563973935904 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25219] ppid=25207 vsize=10661052 memory=928 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25219/stat : 25219 (java) S 25207 25210 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96532609 10916917248 121574 33554432000 4194304 4196468 140732070882368 140563972883568 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25220] ppid=25207 vsize=10661052 memory=6153431502485415274 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25220/stat : 25220 (java) S 25207 25210 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96532612 10916917248 121574 33554432000 4194304 4196468 140732070882368 140563971831888 140564482570139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25221] ppid=25207 vsize=10661052 memory=6081108994580113768 CPUtime=0.31 cores=0,2,4,6
/proc/25210/task/25221/stat : 25221 (java) S 25207 25210 23229 0 -1 1077944384 2980 0 0 0 31 0 0 0 20 0 15 0 96532612 10916917248 121574 33554432000 4194304 4196468 140732070882368 140563970764752 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25222] ppid=25207 vsize=10661052 memory=6154282490091891024 CPUtime=0.17 cores=0,2,4,6
/proc/25210/task/25222/stat : 25222 (java) S 25207 25210 23229 0 -1 1077944384 1627 0 0 0 17 0 0 0 20 0 15 0 96532612 10916917248 121574 33554432000 4194304 4196468 140732070882368 140563969726960 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25223] ppid=25207 vsize=10661052 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/25210/task/25223/stat : 25223 (java) S 25207 25210 23229 0 -1 1077944384 860 0 0 0 12 0 0 0 20 0 15 0 96532612 10916917248 121574 33554432000 4194304 4196468 140732070882368 140563968674672 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25224] ppid=25207 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25224/stat : 25224 (java) S 25207 25210 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96532612 10916917248 121574 33554432000 4194304 4196468 140732070882368 140563967622112 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25225] ppid=25207 vsize=10661052 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25225/stat : 25225 (java) S 25207 25210 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96532612 10916917248 121574 33554432000 4194304 4196468 140732070882368 140563966568880 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 486296 KiB
[startup+1.50083 s]
/proc/loadavg: 2.41 2.03 1.65 3/215 25225
/proc/meminfo: memFree=20203772/32770624 swapFree=67108532/67108860
[pid=25210] ppid=25207 vsize=10661052 memory=886004 CPUtime=3.43 cores=0,2,4,6
/proc/25210/stat : 25210 (java) S 25207 25210 23229 0 -1 1077944320 15399 0 0 0 261 82 0 0 20 0 15 0 96532606 10916917248 221501 33554432000 4194304 4196468 140732070882368 140732070864912 140564482551543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
/proc/25210/statm: 2665263 221501 3100 1 0 2627263 0
[pid=25210/tid=25212] ppid=25207 vsize=10661052 memory=885476 CPUtime=1.03 cores=0,2,4,6
/proc/25210/task/25212/stat : 25212 (java) R 25207 25210 23229 0 -1 4202560 5237 0 0 0 90 13 0 0 20 0 15 0 96532606 10916917248 221501 33554432000 4194304 4196468 140732070882368 140564486790800 140564482573469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25213] ppid=25207 vsize=10661052 memory=6791534058613427641 CPUtime=0.41 cores=0,2,4,6
/proc/25210/task/25213/stat : 25213 (java) S 25207 25210 23229 0 -1 1077944384 424 0 0 0 25 16 0 0 20 0 15 0 96532607 10916917248 221501 33554432000 4194304 4196468 140732070882368 140564419242896 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25214] ppid=25207 vsize=10661052 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/25210/task/25214/stat : 25214 (java) S 25207 25210 23229 0 -1 1077944384 597 0 0 0 25 15 0 0 20 0 15 0 96532607 10916917248 221501 33554432000 4194304 4196468 140732070882368 140564418190096 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25215] ppid=25207 vsize=10661052 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/25210/task/25215/stat : 25215 (java) S 25207 25210 23229 0 -1 1077944384 664 0 0 0 23 18 0 0 20 0 15 0 96532607 10916917248 221501 33554432000 4194304 4196468 140732070882368 140564417137808 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25216] ppid=25207 vsize=10661052 memory=6943526294502006880 CPUtime=0.42 cores=0,2,4,6
/proc/25210/task/25216/stat : 25216 (java) S 25207 25210 23229 0 -1 1077944384 557 0 0 0 25 17 0 0 20 0 15 0 96532607 10916917248 221501 33554432000 4194304 4196468 140732070882368 140564416085008 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25217] ppid=25207 vsize=10661052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25210/task/25217/stat : 25217 (java) S 25207 25210 23229 0 -1 1077944384 957 0 0 0 1 0 0 0 20 0 15 0 96532609 10916917248 221501 33554432000 4194304 4196468 140732070882368 140563974989936 140564482562690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
################
# More data... #
################
[startup+697.844 s]
# the end of solver process 25210 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.15 s, system=7.95999 s
Solver just ended.
Dumping a history of the last processes samples
[startup+696.001 s]*
/proc/loadavg: 4.92 4.55 3.25 6/215 25267
/proc/meminfo: memFree=12651196/32770624 swapFree=67108532/67108860
[pid=25210] ppid=25207 vsize=10661128 memory=8122360 CPUtime=2521.08 cores=0,2,4,6
/proc/25210/stat : 25210 (java) S 25207 25210 23229 0 -1 1077944320 273034 0 0 0 251316 792 0 0 20 0 15 0 96532606 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140732070864912 140564482551543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
/proc/25210/statm: 2665282 2030590 3178 1 0 2627263 0
[pid=25210/tid=25212] ppid=25207 vsize=10661128 memory=6791534058613427641 CPUtime=67.7 cores=0,2,4,6
/proc/25210/task/25212/stat : 25212 (java) S 25207 25210 23229 0 -1 1077944384 14285 0 0 0 6741 29 0 0 20 0 15 0 96532606 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564486789696 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25213] ppid=25207 vsize=10661128 memory=4872558044660077418 CPUtime=607.88 cores=0,2,4,6
/proc/25210/task/25213/stat : 25213 (java) R 25207 25210 23229 0 -1 4202560 28354 0 0 0 60604 184 0 0 20 0 15 0 96532607 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564419243096 140564467249256 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25214] ppid=25207 vsize=10661128 memory=0 CPUtime=608.54 cores=0,2,4,6
/proc/25210/task/25214/stat : 25214 (java) R 25207 25210 23229 0 -1 4202560 37208 0 0 0 60672 182 0 0 20 0 15 0 96532607 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564418190296 140564467536839 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25215] ppid=25207 vsize=10661128 memory=0 CPUtime=607.91 cores=0,2,4,6
/proc/25210/task/25215/stat : 25215 (java) R 25207 25210 23229 0 -1 4202560 29775 0 0 0 60599 192 0 0 20 0 15 0 96532607 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564417137696 140564467502137 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25216] ppid=25207 vsize=10661128 memory=0 CPUtime=608.46 cores=0,2,4,6
/proc/25210/task/25216/stat : 25216 (java) R 25207 25210 23229 0 -1 4202560 28889 0 0 0 60657 189 0 0 20 0 15 0 96532607 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564416085208 140564467249318 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25217] ppid=25207 vsize=10661128 memory=0 CPUtime=16.15 cores=0,2,4,6
/proc/25210/task/25217/stat : 25217 (java) S 25207 25210 23229 0 -1 1077944384 110492 0 0 0 1609 6 0 0 20 0 15 0 96532609 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563974988256 140564482561749 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25218] ppid=25207 vsize=10661128 memory=17828 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25218/stat : 25218 (java) S 25207 25210 23229 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 96532609 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563973935968 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25219] ppid=25207 vsize=10661128 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25219/stat : 25219 (java) S 25207 25210 23229 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 96532609 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563972883568 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25220] ppid=25207 vsize=10661128 memory=28064 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25220/stat : 25220 (java) S 25207 25210 23229 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563971831536 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25221] ppid=25207 vsize=10661128 memory=1280 CPUtime=1.75 cores=0,2,4,6
/proc/25210/task/25221/stat : 25221 (java) S 25207 25210 23229 0 -1 1077944384 10293 0 0 0 174 1 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563970779520 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25222] ppid=25207 vsize=10661128 memory=2340 CPUtime=1.4 cores=0,2,4,6
/proc/25210/task/25222/stat : 25222 (java) S 25207 25210 23229 0 -1 1077944384 6214 0 0 0 138 2 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563969726960 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25223] ppid=25207 vsize=10661128 memory=1832 CPUtime=0.54 cores=0,2,4,6
/proc/25210/task/25223/stat : 25223 (java) S 25207 25210 23229 0 -1 1077944384 5412 0 0 0 54 0 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563968674720 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25224] ppid=25207 vsize=10661128 memory=792 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25224/stat : 25224 (java) S 25207 25210 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563967622112 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25225] ppid=25207 vsize=10661128 memory=1960 CPUtime=0.66 cores=0,2,4,6
/proc/25210/task/25225/stat : 25225 (java) S 25207 25210 23229 0 -1 1077944384 704 0 0 0 24 42 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563966568880 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
Current children cumulated CPU time: 2521.08 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 8122360 KiB
[startup+696.801 s]
/proc/loadavg: 4.92 4.55 3.25 6/215 25267
/proc/meminfo: memFree=12651196/32770624 swapFree=67108532/67108860
[pid=25210] ppid=25207 vsize=10661128 memory=8122360 CPUtime=2524.22 cores=0,2,4,6
/proc/25210/stat : 25210 (java) S 25207 25210 23229 0 -1 1077944320 273036 0 0 0 251630 792 0 0 20 0 15 0 96532606 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140732070864912 140564482551543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
/proc/25210/statm: 2665282 2030590 3178 1 0 2627263 0
[pid=25210/tid=25212] ppid=25207 vsize=10661128 memory=1012 CPUtime=67.7 cores=0,2,4,6
/proc/25210/task/25212/stat : 25212 (java) S 25207 25210 23229 0 -1 1077944384 14285 0 0 0 6741 29 0 0 20 0 15 0 96532606 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564486789696 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25213] ppid=25207 vsize=10661128 memory=1444 CPUtime=608.67 cores=0,2,4,6
/proc/25210/task/25213/stat : 25213 (java) R 25207 25210 23229 0 -1 4202560 28354 0 0 0 60683 184 0 0 20 0 15 0 96532607 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564419242480 140564475179751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25214] ppid=25207 vsize=10661128 memory=8122360 CPUtime=609.33 cores=0,2,4,6
/proc/25210/task/25214/stat : 25214 (java) R 25207 25210 23229 0 -1 4202560 37208 0 0 0 60751 182 0 0 20 0 15 0 96532607 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564418190296 140564467249295 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25215] ppid=25207 vsize=10661128 memory=8122360 CPUtime=608.68 cores=0,2,4,6
/proc/25210/task/25215/stat : 25215 (java) R 25207 25210 23229 0 -1 4202560 29775 0 0 0 60676 192 0 0 20 0 15 0 96532607 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564417137704 140564475179751 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25216] ppid=25207 vsize=10661128 memory=28064 CPUtime=609.25 cores=0,2,4,6
/proc/25210/task/25216/stat : 25216 (java) R 25207 25210 23229 0 -1 4202560 28891 0 0 0 60736 189 0 0 20 0 15 0 96532607 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564416085208 140564467249182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25217] ppid=25207 vsize=10661128 memory=1280 CPUtime=16.15 cores=0,2,4,6
/proc/25210/task/25217/stat : 25217 (java) S 25207 25210 23229 0 -1 1077944384 110492 0 0 0 1609 6 0 0 20 0 15 0 96532609 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563974988256 140564482561749 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25218] ppid=25207 vsize=10661128 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25218/stat : 25218 (java) S 25207 25210 23229 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 96532609 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563973935968 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25219] ppid=25207 vsize=10661128 memory=1832 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25219/stat : 25219 (java) S 25207 25210 23229 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 96532609 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563972883568 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25220] ppid=25207 vsize=10661128 memory=792 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25220/stat : 25220 (java) S 25207 25210 23229 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563971831536 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25221] ppid=25207 vsize=10661128 memory=1960 CPUtime=1.75 cores=0,2,4,6
/proc/25210/task/25221/stat : 25221 (java) S 25207 25210 23229 0 -1 1077944384 10293 0 0 0 174 1 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563970779520 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25222] ppid=25207 vsize=10661128 memory=5756 CPUtime=1.4 cores=0,2,4,6
/proc/25210/task/25222/stat : 25222 (java) S 25207 25210 23229 0 -1 1077944384 6214 0 0 0 138 2 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563969726960 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25223] ppid=25207 vsize=10661128 memory=4616 CPUtime=0.54 cores=0,2,4,6
/proc/25210/task/25223/stat : 25223 (java) S 25207 25210 23229 0 -1 1077944384 5412 0 0 0 54 0 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563968674720 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25224] ppid=25207 vsize=10661128 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25224/stat : 25224 (java) S 25207 25210 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563967622112 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25225] ppid=25207 vsize=10661128 memory=12012 CPUtime=0.66 cores=0,2,4,6
/proc/25210/task/25225/stat : 25225 (java) S 25207 25210 23229 0 -1 1077944384 704 0 0 0 24 42 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563966568880 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
Current children cumulated CPU time: 2524.22 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 8122360 KiB
[startup+697.601 s]
/proc/loadavg: 4.92 4.55 3.25 6/215 25267
/proc/meminfo: memFree=12651196/32770624 swapFree=67108532/67108860
[pid=25210] ppid=25207 vsize=10661128 memory=8122360 CPUtime=2527.36 cores=0,2,4,6
/proc/25210/stat : 25210 (java) S 25207 25210 23229 0 -1 1077944320 273036 0 0 0 251944 792 0 0 20 0 15 0 96532606 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140732070864912 140564482551543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
/proc/25210/statm: 2665282 2030590 3178 1 0 2627263 0
[pid=25210/tid=25212] ppid=25207 vsize=10661128 memory=8122360 CPUtime=67.7 cores=0,2,4,6
/proc/25210/task/25212/stat : 25212 (java) S 25207 25210 23229 0 -1 1077944384 14285 0 0 0 6741 29 0 0 20 0 15 0 96532606 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564486789696 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25213] ppid=25207 vsize=10661128 memory=8122360 CPUtime=609.45 cores=0,2,4,6
/proc/25210/task/25213/stat : 25213 (java) R 25207 25210 23229 0 -1 4202560 28354 0 0 0 60761 184 0 0 20 0 15 0 96532607 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564419242704 140564475179751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25214] ppid=25207 vsize=10661128 memory=3868 CPUtime=610.13 cores=0,2,4,6
/proc/25210/task/25214/stat : 25214 (java) R 25207 25210 23229 0 -1 4202560 37208 0 0 0 60831 182 0 0 20 0 15 0 96532607 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564418190096 140564467548151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25215] ppid=25207 vsize=10661128 memory=28064 CPUtime=609.45 cores=0,2,4,6
/proc/25210/task/25215/stat : 25215 (java) R 25207 25210 23229 0 -1 4202560 29775 0 0 0 60753 192 0 0 20 0 15 0 96532607 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564417138008 140564467548138 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25216] ppid=25207 vsize=10661128 memory=1280 CPUtime=610.05 cores=0,2,4,6
/proc/25210/task/25216/stat : 25216 (java) R 25207 25210 23229 0 -1 4202560 28891 0 0 0 60816 189 0 0 20 0 15 0 96532607 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564416085008 140564467548189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25217] ppid=25207 vsize=10661128 memory=2340 CPUtime=16.16 cores=0,2,4,6
/proc/25210/task/25217/stat : 25217 (java) S 25207 25210 23229 0 -1 1077944384 110492 0 0 0 1610 6 0 0 20 0 15 0 96532609 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563974988480 140564482561749 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25218] ppid=25207 vsize=10661128 memory=1832 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25218/stat : 25218 (java) S 25207 25210 23229 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 96532609 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563973935968 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25219] ppid=25207 vsize=10661128 memory=792 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25219/stat : 25219 (java) S 25207 25210 23229 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 96532609 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563972883568 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25220] ppid=25207 vsize=10661128 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25220/stat : 25220 (java) S 25207 25210 23229 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563971831536 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25221] ppid=25207 vsize=10661128 memory=3256 CPUtime=1.75 cores=0,2,4,6
/proc/25210/task/25221/stat : 25221 (java) S 25207 25210 23229 0 -1 1077944384 10293 0 0 0 174 1 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563970779520 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25222] ppid=25207 vsize=10661128 memory=6559480 CPUtime=1.4 cores=0,2,4,6
/proc/25210/task/25222/stat : 25222 (java) S 25207 25210 23229 0 -1 1077944384 6214 0 0 0 138 2 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563969726960 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25223] ppid=25207 vsize=10661128 memory=1960 CPUtime=0.54 cores=0,2,4,6
/proc/25210/task/25223/stat : 25223 (java) S 25207 25210 23229 0 -1 1077944384 5412 0 0 0 54 0 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563968674720 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25224] ppid=25207 vsize=10661128 memory=5756 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25224/stat : 25224 (java) S 25207 25210 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563967622112 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25225] ppid=25207 vsize=10661128 memory=4616 CPUtime=0.66 cores=0,2,4,6
/proc/25210/task/25225/stat : 25225 (java) S 25207 25210 23229 0 -1 1077944384 704 0 0 0 24 42 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563966568880 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
Current children cumulated CPU time: 2527.36 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 8122360 KiB
[startup+697.801 s]
/proc/loadavg: 4.92 4.55 3.25 6/215 25267
/proc/meminfo: memFree=12651196/32770624 swapFree=67108532/67108860
[pid=25210] ppid=25207 vsize=10661128 memory=8122360 CPUtime=2528.02 cores=0,2,4,6
/proc/25210/stat : 25210 (java) S 25207 25210 23229 0 -1 1077944320 273066 0 0 0 252010 792 0 0 20 0 15 0 96532606 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140732070864912 140564482551543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
/proc/25210/statm: 2665282 2030590 3178 1 0 2627263 0
[pid=25210/tid=25212] ppid=25207 vsize=10661128 memory=16680 CPUtime=67.7 cores=0,2,4,6
/proc/25210/task/25212/stat : 25212 (java) S 25207 25210 23229 0 -1 1077944384 14285 0 0 0 6741 29 0 0 20 0 15 0 96532606 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564486789760 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25213] ppid=25207 vsize=10661128 memory=16236 CPUtime=609.6 cores=0,2,4,6
/proc/25210/task/25213/stat : 25213 (java) R 25207 25210 23229 0 -1 4202560 28357 0 0 0 60776 184 0 0 20 0 15 0 96532607 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564419242896 140564467249295 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25214] ppid=25207 vsize=10661128 memory=1232 CPUtime=610.28 cores=0,2,4,6
/proc/25210/task/25214/stat : 25214 (java) R 25207 25210 23229 0 -1 4202560 37208 0 0 0 60846 182 0 0 20 0 15 0 96532607 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564418190096 140564464148191 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25215] ppid=25207 vsize=10661128 memory=12012 CPUtime=609.6 cores=0,2,4,6
/proc/25210/task/25215/stat : 25215 (java) R 25207 25210 23229 0 -1 4202560 29775 0 0 0 60768 192 0 0 20 0 15 0 96532607 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564417137696 140564467249295 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25216] ppid=25207 vsize=10661128 memory=1724 CPUtime=610.21 cores=0,2,4,6
/proc/25210/task/25216/stat : 25216 (java) R 25207 25210 23229 0 -1 4202560 28891 0 0 0 60832 189 0 0 20 0 15 0 96532607 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140564416085208 140564467502148 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25217] ppid=25207 vsize=10661128 memory=640 CPUtime=16.2 cores=0,2,4,6
/proc/25210/task/25217/stat : 25217 (java) S 25207 25210 23229 0 -1 1077944384 110492 0 0 0 1614 6 0 0 20 0 15 0 96532609 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563974988256 140564482561749 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25218] ppid=25207 vsize=10661128 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25218/stat : 25218 (java) S 25207 25210 23229 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 96532609 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563973935968 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25219] ppid=25207 vsize=10661128 memory=960 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25219/stat : 25219 (java) S 25207 25210 23229 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 96532609 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563972883568 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25220] ppid=25207 vsize=10661128 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25220/stat : 25220 (java) S 25207 25210 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563971826816 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25221] ppid=25207 vsize=10661128 memory=6791534058613427641 CPUtime=1.75 cores=0,2,4,6
/proc/25210/task/25221/stat : 25221 (java) S 25207 25210 23229 0 -1 1077944384 10293 0 0 0 174 1 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563970779760 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25222] ppid=25207 vsize=10661128 memory=12012 CPUtime=1.4 cores=0,2,4,6
/proc/25210/task/25222/stat : 25222 (java) S 25207 25210 23229 0 -1 1077944384 6214 0 0 0 138 2 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563969726960 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25223] ppid=25207 vsize=10661128 memory=1724 CPUtime=0.54 cores=0,2,4,6
/proc/25210/task/25223/stat : 25223 (java) S 25207 25210 23229 0 -1 1077944384 5413 0 0 0 54 0 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563968674432 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25224] ppid=25207 vsize=10661128 memory=7124 CPUtime=0 cores=0,2,4,6
/proc/25210/task/25224/stat : 25224 (java) S 25207 25210 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563967622112 140564482561749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
[pid=25210/tid=25225] ppid=25207 vsize=10661128 memory=6791534058613427641 CPUtime=0.66 cores=0,2,4,6
/proc/25210/task/25225/stat : 25225 (java) S 25207 25210 23229 0 -1 1077944384 704 0 0 0 24 42 0 0 20 0 15 0 96532612 10916995072 2030590 33554432000 4194304 4196468 140732070882368 140563966568880 140564482562690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16371712 140732070884525 140732070884617 140732070884617 140732070887375 0
Current children cumulated CPU time: 2528.02 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 8122360 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 697.844
CPU time (s): 2528.11
CPU user time (s): 2520.15
CPU system time (s): 7.95999
CPU usage (%): 362.274
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 8122360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.15
system time used= 7.95999
maximum resident set size= 8122692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273070
page faults= 0
swaps= 0
block input operations= 0
block output operations= 888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30410
involuntary context switches= 22438
# summary of solver processes directly reported to runsolver:
# pid: 25210
# total CPU time (s): 2528.11
# total CPU user time (s): 2520.15
# total CPU system time (s): 7.95999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.16398 second user time and 6.83234 second system time
The end