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 (10335 MiB free)
memory of node 1: 16384 MiB (10435 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387243-1568296711/watcher-4387243-1568296711 -o /tmp/evaluation-result-4387243-1568296711/solver-4387243-1568296711 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568286551-1786 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2040774460 HOME/instance-4387243-1568296711.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=5074, runsolver pid=5071
Current StackSize limit: 8192 KiB
[startup+0.100121 s]*
/proc/loadavg: 1.42 1.43 1.41 3/220 5131
/proc/meminfo: memFree=21259980/32770624 swapFree=67108848/67108860
[pid=5074] ppid=5071 vsize=9972712 memory=20368 CPUtime=0.1 cores=0,2,4,6
/proc/5074/stat : 5074 (java) S 5071 5074 466 0 -1 1077944320 4343 13250 0 0 1 1 5 3 20 0 6 0 405608516 10212057088 5092 33554432000 4194304 4196468 140720584365440 140720584347984 139779822685943 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
/proc/5074/statm: 2493178 5092 1931 1 0 2481616 0
[pid=5074/tid=5127] ppid=5071 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5127/stat : 5127 (java) R 5071 5074 466 0 -1 4202560 2172 13250 0 0 0 0 5 3 20 0 6 0 405608525 10212057088 5158 33554432000 4194304 4196468 140720584365440 139779794522704 139779814923070 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5128] ppid=5071 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5128/stat : 5128 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 6 0 405608526 10212057088 5158 33554432000 4194304 4196468 140720584365440 139779826928528 139779822696149 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5129] ppid=5071 vsize=9972712 memory=140425936717440 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5129/stat : 5129 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 6 0 405608526 10212057088 5158 33554432000 4194304 4196468 140720584365440 139779715201808 139779822696149 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5130] ppid=5071 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5130/stat : 5130 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 6 0 405608526 10212057088 5158 33554432000 4194304 4196468 140720584365440 139779714149520 139779822696149 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5131] ppid=5071 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5131/stat : 5131 (java) S 5071 5074 466 0 -1 1077944384 2 13250 0 0 0 0 5 3 20 0 6 0 405608526 10212057088 5158 33554432000 4194304 4196468 140720584365440 139779713096720 139779822696149 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 20368 KiB
[startup+0.210546 s]*
/proc/loadavg: 1.42 1.43 1.41 3/229 5140
/proc/meminfo: memFree=21243140/32770624 swapFree=67108848/67108860
[pid=5074] ppid=5071 vsize=10818940 memory=39888 CPUtime=0.26 cores=0,2,4,6
/proc/5074/stat : 5074 (java) S 5071 5074 466 0 -1 1077944320 6759 13250 0 0 17 1 5 3 20 0 15 0 405608516 11078594560 9972 33554432000 4194304 4196468 140720584365440 140720584347984 139779822685943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
/proc/5074/statm: 2704735 9972 2983 1 0 2667149 0
[pid=5074/tid=5127] ppid=5071 vsize=10818940 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/5074/task/5127/stat : 5127 (java) R 5071 5074 466 0 -1 4202560 3256 13250 0 0 11 1 5 3 20 0 15 0 405608525 11078594560 9972 33554432000 4194304 4196468 140720584365440 139779794526224 139779822707869 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5128] ppid=5071 vsize=10818940 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5128/stat : 5128 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608526 11078594560 9972 33554432000 4194304 4196468 140720584365440 139779826928528 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5129] ppid=5071 vsize=10818940 memory=140425936723550 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5129/stat : 5129 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608526 11078594560 9972 33554432000 4194304 4196468 140720584365440 139779715201808 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5130] ppid=5071 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5130/stat : 5130 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608526 11078594560 9972 33554432000 4194304 4196468 140720584365440 139779714149520 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5131] ppid=5071 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5131/stat : 5131 (java) S 5071 5074 466 0 -1 1077944384 2 13250 0 0 0 0 5 3 20 0 15 0 405608526 11078594560 9972 33554432000 4194304 4196468 140720584365440 139779713096720 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5132] ppid=5071 vsize=10818940 memory=140425936717440 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5132/stat : 5132 (java) S 5071 5074 466 0 -1 1077944384 2 13250 0 0 0 0 5 3 20 0 15 0 405608528 11078594560 9972 33554432000 4194304 4196468 140720584365440 139779281873008 139779822697090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5133] ppid=5071 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5133/stat : 5133 (java) S 5071 5074 466 0 -1 1077944384 33 13250 0 0 0 0 5 3 20 0 15 0 405608528 11078594560 9972 33554432000 4194304 4196468 140720584365440 139779280818976 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5134] ppid=5071 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5134/stat : 5134 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608528 11078594560 9972 33554432000 4194304 4196468 140720584365440 139778704008304 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5135] ppid=5071 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5135/stat : 5135 (java) S 5071 5074 466 0 -1 1077944384 3 13250 0 0 0 0 5 3 20 0 15 0 405608531 11078594560 9972 33554432000 4194304 4196468 140720584365440 139778396608592 139779822704539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5136] ppid=5071 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5074/task/5136/stat : 5136 (java) S 5071 5074 466 0 -1 1077944384 472 13250 0 0 1 0 5 3 20 0 15 0 405608531 11078594560 9972 33554432000 4194304 4196468 140720584365440 139779247262320 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5137] ppid=5071 vsize=10818940 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/5074/task/5137/stat : 5137 (java) S 5071 5074 466 0 -1 1077944384 151 13250 0 0 1 0 5 3 20 0 15 0 405608531 11078594560 9972 33554432000 4194304 4196468 140720584365440 139779246209520 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5138] ppid=5071 vsize=10818940 memory=140425936717440 CPUtime=0.11 cores=0,2,4,6
/proc/5074/task/5138/stat : 5138 (java) R 5071 5074 466 0 -1 4202560 637 13250 0 0 3 0 5 3 20 0 15 0 405608531 11078594560 9972 33554432000 4194304 4196468 140720584365440 139779245157232 139779801489263 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5139] ppid=5071 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5139/stat : 5139 (java) S 5071 5074 466 0 -1 1077944384 3 13250 0 0 0 0 5 3 20 0 15 0 405608531 11078594560 9972 33554432000 4194304 4196468 140720584365440 139778363050976 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5140] ppid=5071 vsize=10818940 memory=140425936717440 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5140/stat : 5140 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608531 11078594560 9972 33554432000 4194304 4196468 140720584365440 139779244104112 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 39888 KiB
[startup+0.311532 s]*
/proc/loadavg: 1.42 1.43 1.41 4/229 5140
/proc/meminfo: memFree=21231072/32770624 swapFree=67108848/67108860
[pid=5074] ppid=5071 vsize=10820096 memory=51976 CPUtime=0.4 cores=0,2,4,6
/proc/5074/stat : 5074 (java) S 5071 5074 466 0 -1 1077944320 10214 13250 0 0 29 3 5 3 20 0 15 0 405608516 11079778304 12994 33554432000 4194304 4196468 140720584365440 140720584347984 139779822685943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
/proc/5074/statm: 2705024 12994 3237 1 0 2667149 0
[pid=5074/tid=5127] ppid=5071 vsize=10820244 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/5074/task/5127/stat : 5127 (java) R 5071 5074 466 0 -1 4202560 6726 13250 0 0 19 2 5 3 20 0 15 0 405608525 11079929856 13059 33554432000 4194304 4196468 140720584365440 139779794498384 139779822707869 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5128] ppid=5071 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5128/stat : 5128 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608526 11079929856 13059 33554432000 4194304 4196468 140720584365440 139779826928528 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5129] ppid=5071 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5129/stat : 5129 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608526 11079929856 13059 33554432000 4194304 4196468 140720584365440 139779715201808 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5130] ppid=5071 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5130/stat : 5130 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608526 11079929856 13059 33554432000 4194304 4196468 140720584365440 139779714149520 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5131] ppid=5071 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5131/stat : 5131 (java) S 5071 5074 466 0 -1 1077944384 2 13250 0 0 0 0 5 3 20 0 15 0 405608526 11079929856 13059 33554432000 4194304 4196468 140720584365440 139779713096720 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5132] ppid=5071 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5132/stat : 5132 (java) S 5071 5074 466 0 -1 1077944384 2 13250 0 0 0 0 5 3 20 0 15 0 405608528 11079929856 13059 33554432000 4194304 4196468 140720584365440 139779281873008 139779822697090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5133] ppid=5071 vsize=10820244 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5133/stat : 5133 (java) S 5071 5074 466 0 -1 1077944384 33 13250 0 0 0 0 5 3 20 0 15 0 405608528 11079929856 13059 33554432000 4194304 4196468 140720584365440 139779280818976 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5134] ppid=5071 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5134/stat : 5134 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608528 11079929856 13059 33554432000 4194304 4196468 140720584365440 139778704008304 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5135] ppid=5071 vsize=10820244 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5135/stat : 5135 (java) S 5071 5074 466 0 -1 1077944384 3 13250 0 0 0 0 5 3 20 0 15 0 405608531 11079929856 13059 33554432000 4194304 4196468 140720584365440 139778396608592 139779822704539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5136] ppid=5071 vsize=10820244 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/5074/task/5136/stat : 5136 (java) S 5071 5074 466 0 -1 1077944384 472 13250 0 0 2 0 5 3 20 0 15 0 405608531 11079929856 13059 33554432000 4194304 4196468 140720584365440 139779247262320 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5137] ppid=5071 vsize=10820244 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/5074/task/5137/stat : 5137 (java) S 5071 5074 466 0 -1 1077944384 153 13250 0 0 1 0 5 3 20 0 15 0 405608531 11079929856 13059 33554432000 4194304 4196468 140720584365440 139779246209520 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5138] ppid=5071 vsize=10820244 memory=140425936717440 CPUtime=0.13 cores=0,2,4,6
/proc/5074/task/5138/stat : 5138 (java) S 5071 5074 466 0 -1 1077944384 649 13250 0 0 5 0 5 3 20 0 15 0 405608531 11079929856 13059 33554432000 4194304 4196468 140720584365440 139779245157232 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5139] ppid=5071 vsize=10820244 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5139/stat : 5139 (java) S 5071 5074 466 0 -1 1077944384 3 13250 0 0 0 0 5 3 20 0 15 0 405608531 11079929856 13059 33554432000 4194304 4196468 140720584365440 139778363050976 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5140] ppid=5071 vsize=10820244 memory=140425936717440 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5140/stat : 5140 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608531 11079929856 13059 33554432000 4194304 4196468 140720584365440 139779244104112 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 51976 KiB
[startup+0.700846 s]
/proc/loadavg: 1.42 1.43 1.41 5/229 5140
/proc/meminfo: memFree=21217792/32770624 swapFree=67108848/67108860
[pid=5074] ppid=5071 vsize=10824340 memory=81652 CPUtime=1.16 cores=0,2,4,6
/proc/5074/stat : 5074 (java) S 5071 5074 466 0 -1 1077944320 14102 13250 0 0 102 6 5 3 20 0 15 0 405608516 11084124160 20413 33554432000 4194304 4196468 140720584365440 140720584347984 139779822685943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
/proc/5074/statm: 2706341 20413 3508 1 0 2668429 0
[pid=5074/tid=5127] ppid=5071 vsize=10825364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/5074/task/5127/stat : 5127 (java) R 5071 5074 466 0 -1 4202560 9813 13250 0 0 55 4 5 3 20 0 15 0 405608525 11085172736 20478 33554432000 4194304 4196468 140720584365440 139779794503904 139779815403047 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5128] ppid=5071 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5128/stat : 5128 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608526 11084124160 20450 33554432000 4194304 4196468 140720584365440 139779826928528 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5129] ppid=5071 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5129/stat : 5129 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608526 11084124160 20450 33554432000 4194304 4196468 140720584365440 139779715201808 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5130] ppid=5071 vsize=10824340 memory=140425834934480 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5130/stat : 5130 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608526 11084124160 20450 33554432000 4194304 4196468 140720584365440 139779714149520 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5131] ppid=5071 vsize=10824340 memory=140428250710610 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5131/stat : 5131 (java) S 5071 5074 466 0 -1 1077944384 2 13250 0 0 0 0 5 3 20 0 15 0 405608526 11084124160 20450 33554432000 4194304 4196468 140720584365440 139779713096720 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5132] ppid=5071 vsize=10825364 memory=1840 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5132/stat : 5132 (java) S 5071 5074 466 0 -1 1077944384 5 13250 0 0 0 0 5 3 20 0 15 0 405608528 11085172736 20450 33554432000 4194304 4196468 140720584365440 139779281873008 139779822697090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5133] ppid=5071 vsize=10825364 memory=7302135314614015849 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5133/stat : 5133 (java) S 5071 5074 466 0 -1 1077944384 33 13250 0 0 0 0 5 3 20 0 15 0 405608528 11085172736 20450 33554432000 4194304 4196468 140720584365440 139779280818976 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5134] ppid=5071 vsize=10825364 memory=6010179516970067026 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5134/stat : 5134 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608528 11085172736 20450 33554432000 4194304 4196468 140720584365440 139778704008304 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5135] ppid=5071 vsize=10825364 memory=1100 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5135/stat : 5135 (java) S 5071 5074 466 0 -1 1077944384 3 13250 0 0 0 0 5 3 20 0 15 0 405608531 11085172736 20450 33554432000 4194304 4196468 140720584365440 139778396608592 139779822704539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5136] ppid=5071 vsize=10824340 memory=15208 CPUtime=0.23 cores=0,2,4,6
/proc/5074/task/5136/stat : 5136 (java) S 5071 5074 466 0 -1 1077944384 820 13250 0 0 15 0 5 3 20 0 15 0 405608531 11084124160 20450 33554432000 4194304 4196468 140720584365440 139779247262320 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5137] ppid=5071 vsize=10824340 memory=22944 CPUtime=0.2 cores=0,2,4,6
/proc/5074/task/5137/stat : 5137 (java) S 5071 5074 466 0 -1 1077944384 433 13250 0 0 12 0 5 3 20 0 15 0 405608531 11084124160 20450 33554432000 4194304 4196468 140720584365440 139779246209520 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5138] ppid=5071 vsize=10824340 memory=4048 CPUtime=0.25 cores=0,2,4,6
/proc/5074/task/5138/stat : 5138 (java) S 5071 5074 466 0 -1 1077944384 818 13250 0 0 17 0 5 3 20 0 15 0 405608531 11084124160 20450 33554432000 4194304 4196468 140720584365440 139779245157232 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5139] ppid=5071 vsize=10825364 memory=14288 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5139/stat : 5139 (java) S 5071 5074 466 0 -1 1077944384 3 13250 0 0 0 0 5 3 20 0 15 0 405608531 11085172736 20450 33554432000 4194304 4196468 140720584365440 139778363050976 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5140] ppid=5071 vsize=10825364 memory=504 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5140/stat : 5140 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608531 11085172736 20450 33554432000 4194304 4196468 140720584365440 139779244104112 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 81652 KiB
[startup+1.5007 s]
/proc/loadavg: 1.47 1.44 1.41 4/229 5140
/proc/meminfo: memFree=21175924/32770624 swapFree=67108848/67108860
[pid=5074] ppid=5071 vsize=10834656 memory=167440 CPUtime=2.48 cores=0,2,4,6
/proc/5074/stat : 5074 (java) S 5071 5074 466 0 -1 1077944320 21329 13250 0 0 228 12 5 3 20 0 15 0 405608516 11094687744 41860 33554432000 4194304 4196468 140720584365440 140720584347984 139779822685943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
/proc/5074/statm: 2708664 41860 3568 1 0 2670733 0
[pid=5074/tid=5127] ppid=5071 vsize=10834656 memory=1398722017469774279 CPUtime=1.44 cores=0,2,4,6
/proc/5074/task/5127/stat : 5127 (java) R 5071 5074 466 0 -1 4202560 14730 13250 0 0 129 7 5 3 20 0 15 0 405608525 11094687744 41860 33554432000 4194304 4196468 140720584365440 139779794493712 139779822697878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5128] ppid=5071 vsize=10834656 memory=4126316290023845779 CPUtime=0.09 cores=0,2,4,6
/proc/5074/task/5128/stat : 5128 (java) S 5071 5074 466 0 -1 1077944384 89 13250 0 0 1 0 5 3 20 0 15 0 405608526 11094687744 41860 33554432000 4194304 4196468 140720584365440 139779826928528 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5129] ppid=5071 vsize=10834656 memory=280851669901280 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5129/stat : 5129 (java) S 5071 5074 466 0 -1 1077944384 356 13250 0 0 0 0 5 3 20 0 15 0 405608526 11094687744 41860 33554432000 4194304 4196468 140720584365440 139779715201808 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5130] ppid=5071 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5074/task/5130/stat : 5130 (java) S 5071 5074 466 0 -1 1077944384 21 13250 0 0 1 0 5 3 20 0 15 0 405608526 11094687744 41860 33554432000 4194304 4196468 140720584365440 139779714149520 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5131] ppid=5071 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5074/task/5131/stat : 5131 (java) S 5071 5074 466 0 -1 1077944384 63 13250 0 0 1 0 5 3 20 0 15 0 405608526 11094687744 41860 33554432000 4194304 4196468 140720584365440 139779713096720 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5132] ppid=5071 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5074/task/5132/stat : 5132 (java) S 5071 5074 466 0 -1 1077944384 649 13250 0 0 1 0 5 3 20 0 15 0 405608528 11094687744 41860 33554432000 4194304 4196468 140720584365440 139779281873008 139779822697090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5133] ppid=5071 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5133/stat : 5133 (java) S 5071 5074 466 0 -1 1077944384 34 13250 0 0 0 0 5 3 20 0 15 0 405608528 11094687744 41860 33554432000 4194304 4196468 140720584365440 139779280819040 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5134] ppid=5071 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5134/stat : 5134 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608528 11094687744 41860 33554432000 4194304 4196468 140720584365440 139778704008320 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5135] ppid=5071 vsize=10834656 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5135/stat : 5135 (java) S 5071 5074 466 0 -1 1077944384 3 13250 0 0 0 0 5 3 20 0 15 0 405608531 11094687744 41860 33554432000 4194304 4196468 140720584365440 139778396608592 139779822704539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5136] ppid=5071 vsize=10834656 memory=2867664589894198 CPUtime=0.33 cores=0,2,4,6
/proc/5074/task/5136/stat : 5136 (java) S 5071 5074 466 0 -1 1077944384 909 13250 0 0 25 0 5 3 20 0 15 0 405608531 11094687744 41860 33554432000 4194304 4196468 140720584365440 139779247262320 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5137] ppid=5071 vsize=10834656 memory=4639948313719891052 CPUtime=0.32 cores=0,2,4,6
/proc/5074/task/5137/stat : 5137 (java) S 5071 5074 466 0 -1 1077944384 637 13250 0 0 24 0 5 3 20 0 15 0 405608531 11094687744 41860 33554432000 4194304 4196468 140720584365440 139779246209520 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5138] ppid=5071 vsize=10834656 memory=8112282956445269571 CPUtime=0.51 cores=0,2,4,6
/proc/5074/task/5138/stat : 5138 (java) R 5071 5074 466 0 -1 4202560 1631 13250 0 0 42 1 5 3 20 0 15 0 405608531 11094687744 41860 33554432000 4194304 4196468 140720584365440 139779245157232 139779822707290 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5139] ppid=5071 vsize=10834656 memory=7660992747008971605 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5139/stat : 5139 (java) S 5071 5074 466 0 -1 1077944384 3 13250 0 0 0 0 5 3 20 0 15 0 405608531 11094687744 41860 33554432000 4194304 4196468 140720584365440 139778363050976 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5140] ppid=5071 vsize=10834656 memory=280851670145360 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5140/stat : 5140 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608531 11094687744 41860 33554432000 4194304 4196468 140720584365440 139779244104112 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
[startup+52.3514 s]
# the end of solver process 5074 was just reported to runsolver
# cumulated CPU time of all completed processes: user=63.4044 s, system=0.456575 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2009 s]
/proc/loadavg: 1.52 1.46 1.42 3/228 5143
/proc/meminfo: memFree=20703616/32770624 swapFree=67108848/67108860
[pid=5074] ppid=5071 vsize=10846964 memory=600756 CPUtime=62.68 cores=0,2,4,6
/proc/5074/stat : 5074 (java) S 5071 5074 466 0 -1 1077944320 82065 13250 0 0 6219 41 5 3 20 0 15 0 405608516 11107291136 150189 33554432000 4194304 4196468 140720584365440 140720584347984 139779822685943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
/proc/5074/statm: 2711741 150189 3626 1 0 2673805 0
[pid=5074/tid=5127] ppid=5071 vsize=10846964 memory=1792 CPUtime=50.93 cores=0,2,4,6
/proc/5074/task/5127/stat : 5127 (java) R 5071 5074 466 0 -1 4202560 26026 13250 0 0 5069 16 5 3 20 0 15 0 405608525 11107291136 150189 33554432000 4194304 4196468 140720584365440 139779794520384 139779407572859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5128] ppid=5071 vsize=10846964 memory=752 CPUtime=0.18 cores=0,2,4,6
/proc/5074/task/5128/stat : 5128 (java) S 5071 5074 466 0 -1 1077944384 1285 13250 0 0 8 2 5 3 20 0 15 0 405608526 11107291136 150189 33554432000 4194304 4196468 140720584365440 139779826928528 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5129] ppid=5071 vsize=10846964 memory=1636 CPUtime=0.17 cores=0,2,4,6
/proc/5074/task/5129/stat : 5129 (java) S 5071 5074 466 0 -1 1077944384 833 13250 0 0 7 2 5 3 20 0 15 0 405608526 11107291136 150189 33554432000 4194304 4196468 140720584365440 139779715201808 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5130] ppid=5071 vsize=10846964 memory=812 CPUtime=0.16 cores=0,2,4,6
/proc/5074/task/5130/stat : 5130 (java) S 5071 5074 466 0 -1 1077944384 2601 13250 0 0 6 2 5 3 20 0 15 0 405608526 11107291136 150189 33554432000 4194304 4196468 140720584365440 139779714149520 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5131] ppid=5071 vsize=10846964 memory=1840 CPUtime=0.18 cores=0,2,4,6
/proc/5074/task/5131/stat : 5131 (java) S 5071 5074 466 0 -1 1077944384 1180 13250 0 0 8 2 5 3 20 0 15 0 405608526 11107291136 150189 33554432000 4194304 4196468 140720584365440 139779713096720 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5132] ppid=5071 vsize=10846964 memory=1384 CPUtime=0.16 cores=0,2,4,6
/proc/5074/task/5132/stat : 5132 (java) S 5071 5074 466 0 -1 1077944384 4115 13250 0 0 8 0 5 3 20 0 15 0 405608528 11107291136 150189 33554432000 4194304 4196468 140720584365440 139779281873008 139779822697090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5133] ppid=5071 vsize=10846964 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5133/stat : 5133 (java) S 5071 5074 466 0 -1 1077944384 38 13250 0 0 0 0 5 3 20 0 15 0 405608528 11107291136 150189 33554432000 4194304 4196468 140720584365440 139779280819040 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5134] ppid=5071 vsize=10846964 memory=2352 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5134/stat : 5134 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608528 11107291136 150189 33554432000 4194304 4196468 140720584365440 139778704008320 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5135] ppid=5071 vsize=10846964 memory=1808 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5135/stat : 5135 (java) S 5071 5074 466 0 -1 1077944384 3 13250 0 0 0 0 5 3 20 0 15 0 405608531 11107291136 150189 33554432000 4194304 4196468 140720584365440 139778396608592 139779822704539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5136] ppid=5071 vsize=10846964 memory=567940 CPUtime=4.51 cores=0,2,4,6
/proc/5074/task/5136/stat : 5136 (java) S 5071 5074 466 0 -1 1077944384 17802 13250 0 0 439 4 5 3 20 0 15 0 405608531 11107291136 150189 33554432000 4194304 4196468 140720584365440 139779247262320 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5137] ppid=5071 vsize=10846964 memory=572048 CPUtime=3.5 cores=0,2,4,6
/proc/5074/task/5137/stat : 5137 (java) S 5071 5074 466 0 -1 1077944384 10308 13250 0 0 339 3 5 3 20 0 15 0 405608531 11107291136 150189 33554432000 4194304 4196468 140720584365440 139779246209520 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5138] ppid=5071 vsize=10846964 memory=595144 CPUtime=3.39 cores=0,2,4,6
/proc/5074/task/5138/stat : 5138 (java) S 5071 5074 466 0 -1 1077944384 15122 13250 0 0 326 5 5 3 20 0 15 0 405608531 11107291136 150189 33554432000 4194304 4196468 140720584365440 139779245157232 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5139] ppid=5071 vsize=10846964 memory=924 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5139/stat : 5139 (java) S 5071 5074 466 0 -1 1077944384 3 13250 0 0 0 0 5 3 20 0 15 0 405608531 11107291136 150189 33554432000 4194304 4196468 140720584365440 139778363050976 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5140] ppid=5071 vsize=10846964 memory=594628 CPUtime=0.1 cores=0,2,4,6
/proc/5074/task/5140/stat : 5140 (java) S 5071 5074 466 0 -1 1077944384 545 13250 0 0 1 1 5 3 20 0 15 0 405608531 11107291136 150189 33554432000 4194304 4196468 140720584365440 139779244104112 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
Current children cumulated CPU time: 62.68 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 600756 KiB
[startup+52.0007 s]*
/proc/loadavg: 1.52 1.46 1.42 3/228 5143
/proc/meminfo: memFree=20703616/32770624 swapFree=67108848/67108860
[pid=5074] ppid=5071 vsize=10846964 memory=600244 CPUtime=63.49 cores=0,2,4,6
/proc/5074/stat : 5074 (java) S 5071 5074 466 0 -1 1077944320 82068 13250 0 0 6300 41 5 3 20 0 15 0 405608516 11107291136 150061 33554432000 4194304 4196468 140720584365440 140720584347984 139779822685943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
/proc/5074/statm: 2711741 150061 3626 1 0 2673805 0
[pid=5074/tid=5127] ppid=5071 vsize=10846964 memory=1398722017469774279 CPUtime=51.74 cores=0,2,4,6
/proc/5074/task/5127/stat : 5127 (java) R 5071 5074 466 0 -1 4202560 26027 13250 0 0 5150 16 5 3 20 0 15 0 405608525 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779794519824 139779406187362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5128] ppid=5071 vsize=10846964 memory=4126316290023845779 CPUtime=0.18 cores=0,2,4,6
/proc/5074/task/5128/stat : 5128 (java) S 5071 5074 466 0 -1 1077944384 1285 13250 0 0 8 2 5 3 20 0 15 0 405608526 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779826928528 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5129] ppid=5071 vsize=10846964 memory=8 CPUtime=0.17 cores=0,2,4,6
/proc/5074/task/5129/stat : 5129 (java) S 5071 5074 466 0 -1 1077944384 833 13250 0 0 7 2 5 3 20 0 15 0 405608526 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779715201808 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5130] ppid=5071 vsize=10846964 memory=8 CPUtime=0.16 cores=0,2,4,6
/proc/5074/task/5130/stat : 5130 (java) S 5071 5074 466 0 -1 1077944384 2601 13250 0 0 6 2 5 3 20 0 15 0 405608526 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779714149520 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5131] ppid=5071 vsize=10846964 memory=8 CPUtime=0.18 cores=0,2,4,6
/proc/5074/task/5131/stat : 5131 (java) S 5071 5074 466 0 -1 1077944384 1180 13250 0 0 8 2 5 3 20 0 15 0 405608526 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779713096720 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5132] ppid=5071 vsize=10846964 memory=8112282956445269571 CPUtime=0.16 cores=0,2,4,6
/proc/5074/task/5132/stat : 5132 (java) S 5071 5074 466 0 -1 1077944384 4117 13250 0 0 8 0 5 3 20 0 15 0 405608528 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779281873008 139779822697090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5133] ppid=5071 vsize=10846964 memory=924 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5133/stat : 5133 (java) S 5071 5074 466 0 -1 1077944384 38 13250 0 0 0 0 5 3 20 0 15 0 405608528 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779280819040 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5134] ppid=5071 vsize=10846964 memory=2600 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5134/stat : 5134 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608528 11107291136 150061 33554432000 4194304 4196468 140720584365440 139778704008320 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5135] ppid=5071 vsize=10846964 memory=2724 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5135/stat : 5135 (java) S 5071 5074 466 0 -1 1077944384 3 13250 0 0 0 0 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139778396608592 139779822704539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5136] ppid=5071 vsize=10846964 memory=2376 CPUtime=4.51 cores=0,2,4,6
/proc/5074/task/5136/stat : 5136 (java) S 5071 5074 466 0 -1 1077944384 17802 13250 0 0 439 4 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779247262320 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5137] ppid=5071 vsize=10846964 memory=2212 CPUtime=3.5 cores=0,2,4,6
/proc/5074/task/5137/stat : 5137 (java) S 5071 5074 466 0 -1 1077944384 10308 13250 0 0 339 3 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779246209520 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5138] ppid=5071 vsize=10846964 memory=4276 CPUtime=3.39 cores=0,2,4,6
/proc/5074/task/5138/stat : 5138 (java) S 5071 5074 466 0 -1 1077944384 15122 13250 0 0 326 5 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779245157232 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5139] ppid=5071 vsize=10846964 memory=1536 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5139/stat : 5139 (java) S 5071 5074 466 0 -1 1077944384 3 13250 0 0 0 0 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139778363050976 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5140] ppid=5071 vsize=10846964 memory=565312 CPUtime=0.1 cores=0,2,4,6
/proc/5074/task/5140/stat : 5140 (java) S 5071 5074 466 0 -1 1077944384 545 13250 0 0 1 1 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779244104112 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
Current children cumulated CPU time: 63.49 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 600244 KiB
[startup+52.2007 s]
/proc/loadavg: 1.52 1.46 1.42 3/228 5143
/proc/meminfo: memFree=20703616/32770624 swapFree=67108848/67108860
[pid=5074] ppid=5071 vsize=10846964 memory=600244 CPUtime=63.7 cores=0,2,4,6
/proc/5074/stat : 5074 (java) S 5071 5074 466 0 -1 1077944320 82692 13250 0 0 6321 41 5 3 20 0 15 0 405608516 11107291136 150061 33554432000 4194304 4196468 140720584365440 140720584347984 139779822685943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
/proc/5074/statm: 2711741 150061 3626 1 0 2673805 0
[pid=5074/tid=5127] ppid=5071 vsize=10846964 memory=2376 CPUtime=51.93 cores=0,2,4,6
/proc/5074/task/5127/stat : 5127 (java) R 5071 5074 466 0 -1 4202560 26028 13250 0 0 5169 16 5 3 20 0 15 0 405608525 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779794519824 139779406134676 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5128] ppid=5071 vsize=10846964 memory=582316 CPUtime=0.18 cores=0,2,4,6
/proc/5074/task/5128/stat : 5128 (java) S 5071 5074 466 0 -1 1077944384 1285 13250 0 0 8 2 5 3 20 0 15 0 405608526 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779826928528 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5129] ppid=5071 vsize=10846964 memory=8112282956445269571 CPUtime=0.17 cores=0,2,4,6
/proc/5074/task/5129/stat : 5129 (java) S 5071 5074 466 0 -1 1077944384 833 13250 0 0 7 2 5 3 20 0 15 0 405608526 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779715201808 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5130] ppid=5071 vsize=10846964 memory=288230596050944315 CPUtime=0.16 cores=0,2,4,6
/proc/5074/task/5130/stat : 5130 (java) S 5071 5074 466 0 -1 1077944384 2601 13250 0 0 6 2 5 3 20 0 15 0 405608526 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779714149520 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5131] ppid=5071 vsize=10846964 memory=15540725802600379 CPUtime=0.18 cores=0,2,4,6
/proc/5074/task/5131/stat : 5131 (java) S 5071 5074 466 0 -1 1077944384 1180 13250 0 0 8 2 5 3 20 0 15 0 405608526 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779713096720 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5132] ppid=5071 vsize=10846964 memory=3848 CPUtime=0.16 cores=0,2,4,6
/proc/5074/task/5132/stat : 5132 (java) S 5071 5074 466 0 -1 1077944384 4117 13250 0 0 8 0 5 3 20 0 15 0 405608528 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779281873008 139779822697090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5133] ppid=5071 vsize=10846964 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5133/stat : 5133 (java) S 5071 5074 466 0 -1 1077944384 38 13250 0 0 0 0 5 3 20 0 15 0 405608528 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779280819040 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5134] ppid=5071 vsize=10846964 memory=8612 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5134/stat : 5134 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608528 11107291136 150061 33554432000 4194304 4196468 140720584365440 139778704008320 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5135] ppid=5071 vsize=10846964 memory=1192 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5135/stat : 5135 (java) S 5071 5074 466 0 -1 1077944384 3 13250 0 0 0 0 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139778396608592 139779822704539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5136] ppid=5071 vsize=10846964 memory=5536 CPUtime=4.51 cores=0,2,4,6
/proc/5074/task/5136/stat : 5136 (java) S 5071 5074 466 0 -1 1077944384 17802 13250 0 0 439 4 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779247262320 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5137] ppid=5071 vsize=10846964 memory=4540 CPUtime=3.52 cores=0,2,4,6
/proc/5074/task/5137/stat : 5137 (java) S 5071 5074 466 0 -1 1077944384 10931 13250 0 0 341 3 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779246209520 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5138] ppid=5071 vsize=10846964 memory=752 CPUtime=3.39 cores=0,2,4,6
/proc/5074/task/5138/stat : 5138 (java) S 5071 5074 466 0 -1 1077944384 15122 13250 0 0 326 5 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779245157232 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5139] ppid=5071 vsize=10846964 memory=1636 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5139/stat : 5139 (java) S 5071 5074 466 0 -1 1077944384 3 13250 0 0 0 0 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139778363050976 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5140] ppid=5071 vsize=10846964 memory=812 CPUtime=0.1 cores=0,2,4,6
/proc/5074/task/5140/stat : 5140 (java) S 5071 5074 466 0 -1 1077944384 545 13250 0 0 1 1 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779244104112 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
Current children cumulated CPU time: 63.7 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 600244 KiB
[startup+52.3007 s]
/proc/loadavg: 1.52 1.46 1.42 3/228 5143
/proc/meminfo: memFree=20703616/32770624 swapFree=67108848/67108860
[pid=5074] ppid=5071 vsize=10846964 memory=600244 CPUtime=63.8 cores=0,2,4,6
/proc/5074/stat : 5074 (java) S 5071 5074 466 0 -1 1077944320 82692 13250 0 0 6331 41 5 3 20 0 15 0 405608516 11107291136 150061 33554432000 4194304 4196468 140720584365440 140720584347984 139779822685943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
/proc/5074/statm: 2711741 150061 3626 1 0 2673805 0
[pid=5074/tid=5127] ppid=5071 vsize=10846964 memory=1728 CPUtime=52.03 cores=0,2,4,6
/proc/5074/task/5127/stat : 5127 (java) R 5071 5074 466 0 -1 4202560 26028 13250 0 0 5179 16 5 3 20 0 15 0 405608525 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779794519824 139779405643330 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5128] ppid=5071 vsize=10846964 memory=598124 CPUtime=0.18 cores=0,2,4,6
/proc/5074/task/5128/stat : 5128 (java) S 5071 5074 466 0 -1 1077944384 1285 13250 0 0 8 2 5 3 20 0 15 0 405608526 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779826928528 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5129] ppid=5071 vsize=10846964 memory=600756 CPUtime=0.17 cores=0,2,4,6
/proc/5074/task/5129/stat : 5129 (java) S 5071 5074 466 0 -1 1077944384 833 13250 0 0 7 2 5 3 20 0 15 0 405608526 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779715201808 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5130] ppid=5071 vsize=10846964 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/5074/task/5130/stat : 5130 (java) S 5071 5074 466 0 -1 1077944384 2601 13250 0 0 6 2 5 3 20 0 15 0 405608526 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779714149520 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5131] ppid=5071 vsize=10846964 memory=600756 CPUtime=0.18 cores=0,2,4,6
/proc/5074/task/5131/stat : 5131 (java) S 5071 5074 466 0 -1 1077944384 1180 13250 0 0 8 2 5 3 20 0 15 0 405608526 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779713096720 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5132] ppid=5071 vsize=10846964 memory=5794251916672324688 CPUtime=0.16 cores=0,2,4,6
/proc/5074/task/5132/stat : 5132 (java) S 5071 5074 466 0 -1 1077944384 4117 13250 0 0 8 0 5 3 20 0 15 0 405608528 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779281873008 139779822697090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5133] ppid=5071 vsize=10846964 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5133/stat : 5133 (java) S 5071 5074 466 0 -1 1077944384 38 13250 0 0 0 0 5 3 20 0 15 0 405608528 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779280819040 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5134] ppid=5071 vsize=10846964 memory=280849790633395 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5134/stat : 5134 (java) S 5071 5074 466 0 -1 1077944384 1 13250 0 0 0 0 5 3 20 0 15 0 405608528 11107291136 150061 33554432000 4194304 4196468 140720584365440 139778704008320 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5135] ppid=5071 vsize=10846964 memory=2724 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5135/stat : 5135 (java) S 5071 5074 466 0 -1 1077944384 3 13250 0 0 0 0 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139778396608592 139779822704539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5136] ppid=5071 vsize=10846964 memory=2376 CPUtime=4.51 cores=0,2,4,6
/proc/5074/task/5136/stat : 5136 (java) S 5071 5074 466 0 -1 1077944384 17802 13250 0 0 439 4 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779247262320 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5137] ppid=5071 vsize=10846964 memory=600244 CPUtime=3.52 cores=0,2,4,6
/proc/5074/task/5137/stat : 5137 (java) S 5071 5074 466 0 -1 1077944384 10931 13250 0 0 341 3 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779246209520 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5138] ppid=5071 vsize=10846964 memory=600244 CPUtime=3.39 cores=0,2,4,6
/proc/5074/task/5138/stat : 5138 (java) S 5071 5074 466 0 -1 1077944384 15122 13250 0 0 326 5 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779245157232 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5139] ppid=5071 vsize=10846964 memory=3924 CPUtime=0.08 cores=0,2,4,6
/proc/5074/task/5139/stat : 5139 (java) S 5071 5074 466 0 -1 1077944384 3 13250 0 0 0 0 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139778363050976 139779822696149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
[pid=5074/tid=5140] ppid=5071 vsize=10846964 memory=37668 CPUtime=0.1 cores=0,2,4,6
/proc/5074/task/5140/stat : 5140 (java) S 5071 5074 466 0 -1 1077944384 545 13250 0 0 1 1 5 3 20 0 15 0 405608531 11107291136 150061 33554432000 4194304 4196468 140720584365440 139779244104112 139779822697090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22863872 140720584370933 140720584373445 140720584373445 140720584376271 0
Current children cumulated CPU time: 63.8 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 600244 KiB
Child status: 0
Real time (s): 52.3514
CPU time (s): 63.861
CPU user time (s): 63.4044
CPU system time (s): 0.456575
CPU usage (%): 121.985
Max. virtual memory (cumulated for all children) (KiB): 10846964
Max. memory (cumulated for all children) (KiB): 600756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.4044
system time used= 0.456575
maximum resident set size= 602332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18014
involuntary context switches= 166
# summary of solver processes directly reported to runsolver:
# pid: 5074
# total CPU time (s): 63.861
# total CPU user time (s): 63.4044
# total CPU system time (s): 0.456575
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.327466 second user time and 0.553759 second system time
The end