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 (12169 MiB free)
memory of node 1: 16384 MiB (15395 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400932-1568688778/watcher-4400932-1568688778 -o /tmp/evaluation-result-4400932-1568688778/solver-4400932-1568688778 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568673289-31265 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=711557294 HOME/instance-4400932-1568688778.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5289, runsolver pid=5286
Current StackSize limit: 8192 KiB
[startup+0.10952 s]*
/proc/loadavg: 1.56 1.69 1.60 4/220 5346
/proc/meminfo: memFree=28216936/32770624 swapFree=66967452/67108860
[pid=5289] ppid=5286 vsize=10355560 memory=21684 CPUtime=0.11 cores=1,3,5,7
/proc/5289/stat : 5289 (java) S 5286 5289 31233 0 -1 1077944320 4654 13008 0 0 2 1 5 3 20 0 9 0 445144677 10604093440 5421 33554432000 4194304 4196468 140736499384128 140736499366672 139626412842743 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
/proc/5289/statm: 2588890 5421 2101 1 0 2551431 0
[pid=5289/tid=5342] ppid=5286 vsize=10355560 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/5289/task/5342/stat : 5342 (java) R 5286 5289 31233 0 -1 4202560 2431 13008 0 0 1 0 5 3 20 0 9 0 445144686 10604093440 5425 33554432000 4194304 4196468 140736499384128 139626384678768 139626412864669 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5343] ppid=5286 vsize=10355560 memory=7948963741541478447 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5343/stat : 5343 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 9 0 445144687 10604093440 5425 33554432000 4194304 4196468 140736499384128 139626417085456 139626412852949 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5344] ppid=5286 vsize=10355560 memory=140261657880192 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5344/stat : 5344 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 9 0 445144687 10604093440 5425 33554432000 4194304 4196468 140736499384128 139626305358992 139626412852949 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5345] ppid=5286 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5345/stat : 5345 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 9 0 445144687 10604093440 5425 33554432000 4194304 4196468 140736499384128 139626304305936 139626412852949 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5346] ppid=5286 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5346/stat : 5346 (java) S 5286 5289 31233 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 9 0 445144687 10604093440 5425 33554432000 4194304 4196468 140736499384128 139626303253392 139626412852949 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5347] ppid=5286 vsize=10355560 memory=140261657880192 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5347/stat : 5347 (java) S 5286 5289 31233 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 9 0 445144688 10604093440 5425 33554432000 4194304 4196468 140736499384128 139625872062704 139626412853890 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5348] ppid=5286 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5348/stat : 5348 (java) S 5286 5289 31233 0 -1 1077944384 33 13008 0 0 0 0 5 3 20 0 9 0 445144689 10604093440 5425 33554432000 4194304 4196468 140736499384128 139625871008928 139626412852949 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5349] ppid=5286 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5349/stat : 5349 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 9 0 445144689 10604093440 5425 33554432000 4194304 4196468 140736499384128 139625293144880 139626412852949 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 21684 KiB
[startup+0.210479 s]*
/proc/loadavg: 1.56 1.69 1.60 4/229 5355
/proc/meminfo: memFree=28202168/32770624 swapFree=66967452/67108860
[pid=5289] ppid=5286 vsize=10819712 memory=38276 CPUtime=0.27 cores=1,3,5,7
/proc/5289/stat : 5289 (java) S 5286 5289 31233 0 -1 1077944320 6899 13008 0 0 17 2 5 3 20 0 15 0 445144677 11079385088 9569 33554432000 4194304 4196468 140736499384128 140736499366672 139626412842743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
/proc/5289/statm: 2704928 9569 3185 1 0 2667149 0
[pid=5289/tid=5342] ppid=5286 vsize=10819712 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/5289/task/5342/stat : 5342 (java) R 5286 5289 31233 0 -1 4202560 3397 13008 0 0 10 1 5 3 20 0 15 0 445144686 11079385088 9569 33554432000 4194304 4196468 140736499384128 139626384678984 139625981051123 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5343] ppid=5286 vsize=10819712 memory=4294967660 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5343/stat : 5343 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 445144687 11079385088 9569 33554432000 4194304 4196468 140736499384128 139626417085456 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5344] ppid=5286 vsize=10819712 memory=140261660907467 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5344/stat : 5344 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 445144687 11079385088 9569 33554432000 4194304 4196468 140736499384128 139626305358992 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5345] ppid=5286 vsize=10819712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5345/stat : 5345 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 445144687 11079385088 9569 33554432000 4194304 4196468 140736499384128 139626304305936 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5346] ppid=5286 vsize=10819712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5346/stat : 5346 (java) S 5286 5289 31233 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 445144687 11079385088 9569 33554432000 4194304 4196468 140736499384128 139626303253392 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5347] ppid=5286 vsize=10819712 memory=140261657880192 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5347/stat : 5347 (java) S 5286 5289 31233 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 445144688 11079385088 9569 33554432000 4194304 4196468 140736499384128 139625872062704 139626412853890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5348] ppid=5286 vsize=10819712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5348/stat : 5348 (java) S 5286 5289 31233 0 -1 1077944384 33 13008 0 0 0 0 5 3 20 0 15 0 445144689 11079385088 9569 33554432000 4194304 4196468 140736499384128 139625871008928 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5349] ppid=5286 vsize=10819712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5349/stat : 5349 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 445144689 11079385088 9569 33554432000 4194304 4196468 140736499384128 139625293144816 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5350] ppid=5286 vsize=10819712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5350/stat : 5350 (java) S 5286 5289 31233 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 445144691 11079385088 9569 33554432000 4194304 4196468 140736499384128 139624985745360 139626412861339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5351] ppid=5286 vsize=10819712 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5289/task/5351/stat : 5351 (java) S 5286 5289 31233 0 -1 1077944384 335 13008 0 0 1 0 5 3 20 0 15 0 445144691 11079385088 9569 33554432000 4194304 4196468 140736499384128 139625837452016 139626412853890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5352] ppid=5286 vsize=10819712 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/5289/task/5352/stat : 5352 (java) S 5286 5289 31233 0 -1 1077944384 299 13008 0 0 1 0 5 3 20 0 15 0 445144691 11079385088 9569 33554432000 4194304 4196468 140736499384128 139625836399472 139626412853890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5353] ppid=5286 vsize=10819712 memory=140261657880192 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5353/stat : 5353 (java) S 5286 5289 31233 0 -1 1077944384 613 13008 0 0 3 0 5 3 20 0 15 0 445144691 11079385088 9569 33554432000 4194304 4196468 140736499384128 139625835346416 139626412853890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5354] ppid=5286 vsize=10819712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5354/stat : 5354 (java) S 5286 5289 31233 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 445144692 11079385088 9569 33554432000 4194304 4196468 140736499384128 139624952187744 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5355] ppid=5286 vsize=10819712 memory=140261657880192 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5355/stat : 5355 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 445144692 11079385088 9569 33554432000 4194304 4196468 140736499384128 139625834293808 139626412853890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 38276 KiB
[startup+0.311476 s]*
/proc/loadavg: 1.56 1.69 1.60 3/229 5355
/proc/meminfo: memFree=28190380/32770624 swapFree=66967452/67108860
[pid=5289] ppid=5286 vsize=10820196 memory=49396 CPUtime=0.39 cores=1,3,5,7
/proc/5289/stat : 5289 (java) S 5286 5289 31233 0 -1 1077944320 10554 13008 0 0 28 3 5 3 20 0 15 0 445144677 11079880704 12349 33554432000 4194304 4196468 140736499384128 140736499366672 139626412842743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
/proc/5289/statm: 2705049 12349 3317 1 0 2667149 0
[pid=5289/tid=5342] ppid=5286 vsize=10820196 memory=-8171376296011865461 CPUtime=0.28 cores=1,3,5,7
/proc/5289/task/5342/stat : 5342 (java) R 5286 5289 31233 0 -1 4202560 7039 13008 0 0 18 2 5 3 20 0 15 0 445144686 11079880704 12349 33554432000 4194304 4196468 140736499384128 139626384639072 139626412854678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5343] ppid=5286 vsize=10820196 memory=3691042062614867976 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5343/stat : 5343 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 445144687 11079880704 12349 33554432000 4194304 4196468 140736499384128 139626417085456 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5344] ppid=5286 vsize=10820196 memory=140261657880192 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5344/stat : 5344 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 445144687 11079880704 12349 33554432000 4194304 4196468 140736499384128 139626305358992 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5345] ppid=5286 vsize=10820196 memory=2209 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5345/stat : 5345 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 445144687 11079880704 12349 33554432000 4194304 4196468 140736499384128 139626304305936 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5346] ppid=5286 vsize=10820196 memory=2272 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5346/stat : 5346 (java) S 5286 5289 31233 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 445144687 11079880704 12349 33554432000 4194304 4196468 140736499384128 139626303253392 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5347] ppid=5286 vsize=10820196 memory=140265952847487 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5347/stat : 5347 (java) S 5286 5289 31233 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 445144688 11079880704 12349 33554432000 4194304 4196468 140736499384128 139625872062704 139626412853890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5348] ppid=5286 vsize=10820196 memory=140261552414671 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5348/stat : 5348 (java) S 5286 5289 31233 0 -1 1077944384 33 13008 0 0 0 0 5 3 20 0 15 0 445144689 11079880704 12349 33554432000 4194304 4196468 140736499384128 139625871008928 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5349] ppid=5286 vsize=10820196 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5349/stat : 5349 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 445144689 11079880704 12349 33554432000 4194304 4196468 140736499384128 139625293144816 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5350] ppid=5286 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5350/stat : 5350 (java) S 5286 5289 31233 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 445144691 11079880704 12349 33554432000 4194304 4196468 140736499384128 139624985745360 139626412861339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5351] ppid=5286 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/5289/task/5351/stat : 5351 (java) S 5286 5289 31233 0 -1 1077944384 344 13008 0 0 2 0 5 3 20 0 15 0 445144691 11079880704 12349 33554432000 4194304 4196468 140736499384128 139625837452016 139626412853890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5352] ppid=5286 vsize=10820196 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/5289/task/5352/stat : 5352 (java) S 5286 5289 31233 0 -1 1077944384 300 13008 0 0 2 0 5 3 20 0 15 0 445144691 11079880704 12349 33554432000 4194304 4196468 140736499384128 139625836399472 139626412853890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5353] ppid=5286 vsize=10820196 memory=140261657880192 CPUtime=0.13 cores=1,3,5,7
/proc/5289/task/5353/stat : 5353 (java) R 5286 5289 31233 0 -1 4202560 620 13008 0 0 5 0 5 3 20 0 15 0 445144691 11079880704 12349 33554432000 4194304 4196468 140736499384128 139625835346416 139626412864090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5354] ppid=5286 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5354/stat : 5354 (java) S 5286 5289 31233 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 445144692 11079880704 12349 33554432000 4194304 4196468 140736499384128 139624952187744 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5355] ppid=5286 vsize=10820196 memory=140261657880192 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5355/stat : 5355 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 445144692 11079880704 12349 33554432000 4194304 4196468 140736499384128 139625834293808 139626412853890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49396 KiB
[startup+0.701532 s]
/proc/loadavg: 1.56 1.69 1.60 3/229 5355
/proc/meminfo: memFree=28176088/32770624 swapFree=66967452/67108860
[pid=5289] ppid=5286 vsize=10824364 memory=81100 CPUtime=1.11 cores=1,3,5,7
/proc/5289/stat : 5289 (java) S 5286 5289 31233 0 -1 1077944320 14540 13008 0 0 98 5 5 3 20 0 15 0 445144677 11084148736 20275 33554432000 4194304 4196468 140736499384128 140736499366672 139626412842743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
/proc/5289/statm: 2706091 20275 3500 1 0 2668173 0
[pid=5289/tid=5342] ppid=5286 vsize=10824364 memory=140265041953313 CPUtime=0.66 cores=1,3,5,7
/proc/5289/task/5342/stat : 5342 (java) R 5286 5289 31233 0 -1 4202560 10005 13008 0 0 55 3 5 3 20 0 15 0 445144686 11084148736 20275 33554432000 4194304 4196468 140736499384128 139626384659408 139625981114656 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5343] ppid=5286 vsize=10824364 memory=140265041953334 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5343/stat : 5343 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 445144687 11084148736 20275 33554432000 4194304 4196468 140736499384128 139626417085456 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5344] ppid=5286 vsize=10824364 memory=140265041953335 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5344/stat : 5344 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 445144687 11084148736 20275 33554432000 4194304 4196468 140736499384128 139626305358992 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5345] ppid=5286 vsize=10824364 memory=1720 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5345/stat : 5345 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 445144687 11084148736 20275 33554432000 4194304 4196468 140736499384128 139626304305936 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5346] ppid=5286 vsize=10824364 memory=7307184203439236416 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5346/stat : 5346 (java) S 5286 5289 31233 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 445144687 11084148736 20275 33554432000 4194304 4196468 140736499384128 139626303253392 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5347] ppid=5286 vsize=10824364 memory=180 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5347/stat : 5347 (java) S 5286 5289 31233 0 -1 1077944384 5 13008 0 0 0 0 5 3 20 0 15 0 445144688 11084148736 20275 33554432000 4194304 4196468 140736499384128 139625872062704 139626412853890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5348] ppid=5286 vsize=10824364 memory=288230604624110384 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5348/stat : 5348 (java) S 5286 5289 31233 0 -1 1077944384 33 13008 0 0 0 0 5 3 20 0 15 0 445144689 11084148736 20275 33554432000 4194304 4196468 140736499384128 139625871008928 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5349] ppid=5286 vsize=10824364 memory=14693006635813331 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5349/stat : 5349 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 445144689 11084148736 20275 33554432000 4194304 4196468 140736499384128 139625293144816 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5350] ppid=5286 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5350/stat : 5350 (java) S 5286 5289 31233 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 445144691 11084148736 20275 33554432000 4194304 4196468 140736499384128 139624985745360 139626412861339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5351] ppid=5286 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/5289/task/5351/stat : 5351 (java) R 5286 5289 31233 0 -1 4202560 776 13008 0 0 12 0 5 3 20 0 15 0 445144691 11084148736 20275 33554432000 4194304 4196468 140736499384128 139625837452016 139626397727162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5352] ppid=5286 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/5289/task/5352/stat : 5352 (java) R 5286 5289 31233 0 -1 4202560 669 13008 0 0 12 0 5 3 20 0 15 0 445144691 11084148736 20275 33554432000 4194304 4196468 140736499384128 139625836399472 139626393411553 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5353] ppid=5286 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/5289/task/5353/stat : 5353 (java) S 5286 5289 31233 0 -1 1077944384 832 13008 0 0 17 0 5 3 20 0 15 0 445144691 11084148736 20275 33554432000 4194304 4196468 140736499384128 139625835346416 139626412853890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5354] ppid=5286 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5354/stat : 5354 (java) S 5286 5289 31233 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 445144692 11084148736 20275 33554432000 4194304 4196468 140736499384128 139624952187744 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5355] ppid=5286 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5355/stat : 5355 (java) S 5286 5289 31233 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 445144692 11084148736 20275 33554432000 4194304 4196468 140736499384128 139625834293808 139626412853890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81100 KiB
[startup+1.50066 s]
/proc/loadavg: 1.56 1.69 1.60 3/229 5355
/proc/meminfo: memFree=28136348/32770624 swapFree=66967452/67108860
[pid=5289] ppid=5286 vsize=10834680 memory=168800 CPUtime=2.44 cores=1,3,5,7
/proc/5289/stat : 5289 (java) S 5286 5289 31233 0 -1 1077944320 21785 13008 0 0 227 9 5 3 20 0 15 0 445144677 11094712320 42200 33554432000 4194304 4196468 140736499384128 140736499366672 139626412842743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
/proc/5289/statm: 2708670 42200 3581 1 0 2670733 0
[pid=5289/tid=5342] ppid=5286 vsize=10834680 memory=46988 CPUtime=1.43 cores=1,3,5,7
/proc/5289/task/5342/stat : 5342 (java) R 5286 5289 31233 0 -1 4202560 15142 13008 0 0 130 5 5 3 20 0 15 0 445144686 11094712320 42200 33554432000 4194304 4196468 140736499384128 139626384640736 139626412864669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5343] ppid=5286 vsize=10834680 memory=7518026621751088999 CPUtime=0.09 cores=1,3,5,7
/proc/5289/task/5343/stat : 5343 (java) S 5286 5289 31233 0 -1 1077944384 51 13008 0 0 1 0 5 3 20 0 15 0 445144687 11094712320 42200 33554432000 4194304 4196468 140736499384128 139626417085456 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5344] ppid=5286 vsize=10834680 memory=7517750696072144228 CPUtime=0.09 cores=1,3,5,7
/proc/5289/task/5344/stat : 5344 (java) S 5286 5289 31233 0 -1 1077944384 93 13008 0 0 1 0 5 3 20 0 15 0 445144687 11094712320 42200 33554432000 4194304 4196468 140736499384128 139626305358992 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5345] ppid=5286 vsize=10834680 memory=5865188000529146989 CPUtime=0.09 cores=1,3,5,7
/proc/5289/task/5345/stat : 5345 (java) S 5286 5289 31233 0 -1 1077944384 25 13008 0 0 1 0 5 3 20 0 15 0 445144687 11094712320 42200 33554432000 4194304 4196468 140736499384128 139626304305936 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5346] ppid=5286 vsize=10834680 memory=4639059877604708710 CPUtime=0.09 cores=1,3,5,7
/proc/5289/task/5346/stat : 5346 (java) S 5286 5289 31233 0 -1 1077944384 342 13008 0 0 1 0 5 3 20 0 15 0 445144687 11094712320 42200 33554432000 4194304 4196468 140736499384128 139626303253392 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5347] ppid=5286 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5289/task/5347/stat : 5347 (java) S 5286 5289 31233 0 -1 1077944384 439 13008 0 0 1 0 5 3 20 0 15 0 445144688 11094712320 42200 33554432000 4194304 4196468 140736499384128 139625872062704 139626412853890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5348] ppid=5286 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5348/stat : 5348 (java) S 5286 5289 31233 0 -1 1077944384 33 13008 0 0 0 0 5 3 20 0 15 0 445144689 11094712320 42200 33554432000 4194304 4196468 140736499384128 139625871008928 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5349] ppid=5286 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5349/stat : 5349 (java) S 5286 5289 31233 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 445144689 11094712320 42200 33554432000 4194304 4196468 140736499384128 139625293144816 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5350] ppid=5286 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5350/stat : 5350 (java) S 5286 5289 31233 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 445144691 11094712320 42200 33554432000 4194304 4196468 140736499384128 139624985745360 139626412861339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5351] ppid=5286 vsize=10834680 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/5289/task/5351/stat : 5351 (java) S 5286 5289 31233 0 -1 1077944384 924 13008 0 0 21 0 5 3 20 0 15 0 445144691 11094712320 42200 33554432000 4194304 4196468 140736499384128 139625837452016 139626412853890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5352] ppid=5286 vsize=10834680 memory=4646484832683381847 CPUtime=0.34 cores=1,3,5,7
/proc/5289/task/5352/stat : 5352 (java) S 5286 5289 31233 0 -1 1077944384 815 13008 0 0 26 0 5 3 20 0 15 0 445144691 11094712320 42200 33554432000 4194304 4196468 140736499384128 139625836399472 139626412853890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5353] ppid=5286 vsize=10834680 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/5289/task/5353/stat : 5353 (java) S 5286 5289 31233 0 -1 1077944384 1705 13008 0 0 41 0 5 3 20 0 15 0 445144691 11094712320 42200 33554432000 4194304 4196468 140736499384128 139625835346416 139626412853890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
################
# More data... #
################
Current children cumulated memory: 168800 KiB
[startup+3.11006 s]
/proc/loadavg: 1.56 1.69 1.60 3/229 5355
/proc/meminfo: memFree=28019836/32770624 swapFree=66967452/67108860
[pid=5289] ppid=5286 vsize=10844940 memory=250964 CPUtime=6.7 cores=1,3,5,7
/proc/5289/stat : 5289 (java) S 5286 5289 31233 0 -1 1077944320 34177 13008 0 0 647 15 5 3 20 0 15 0 445144677 11105218560 62741 33554432000 4194304 4196468 140736499384128 140736499366672 139626412842743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
/proc/5289/statm: 2711235 62741 3604 1 0 2673293 0
[pid=5289/tid=5342] ppid=5286 vsize=10844940 memory=3472323898181172497 CPUtime=2.98 cores=1,3,5,7
/proc/5289/task/5342/stat : 5342 (java) R 5286 5289 31233 0 -1 4202560 18844 13008 0 0 283 7 5 3 20 0 15 0 445144686 11105218560 62741 33554432000 4194304 4196468 140736499384128 139626384662992 139626412854678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5343] ppid=5286 vsize=10844940 memory=3620 CPUtime=0.1 cores=1,3,5,7
/proc/5289/task/5343/stat : 5343 (java) S 5286 5289 31233 0 -1 1077944384 62 13008 0 0 2 0 5 3 20 0 15 0 445144687 11105218560 62741 33554432000 4194304 4196468 140736499384128 139626417085456 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5344] ppid=5286 vsize=10844940 memory=46988 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5344/stat : 5344 (java) S 5286 5289 31233 0 -1 1077944384 103 13008 0 0 3 0 5 3 20 0 15 0 445144687 11105218560 62741 33554432000 4194304 4196468 140736499384128 139626305358992 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5345] ppid=5286 vsize=10844940 memory=164 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5345/stat : 5345 (java) S 5286 5289 31233 0 -1 1077944384 44 13008 0 0 3 0 5 3 20 0 15 0 445144687 11105218560 62741 33554432000 4194304 4196468 140736499384128 139626304305936 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5346] ppid=5286 vsize=10844940 memory=280523104766280 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5346/stat : 5346 (java) S 5286 5289 31233 0 -1 1077944384 407 13008 0 0 3 0 5 3 20 0 15 0 445144687 11105218560 62741 33554432000 4194304 4196468 140736499384128 139626303253392 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5347] ppid=5286 vsize=10844940 memory=201 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5347/stat : 5347 (java) S 5286 5289 31233 0 -1 1077944384 1530 13008 0 0 3 0 5 3 20 0 15 0 445144688 11105218560 62741 33554432000 4194304 4196468 140736499384128 139625872062704 139626412853890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5348] ppid=5286 vsize=10844940 memory=280523104760368 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5348/stat : 5348 (java) S 5286 5289 31233 0 -1 1077944384 37 13008 0 0 0 0 5 3 20 0 15 0 445144689 11105218560 62741 33554432000 4194304 4196468 140736499384128 139625871008992 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5349] ppid=5286 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5349/stat : 5349 (java) S 5286 5289 31233 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 445144689 11105218560 62741 33554432000 4194304 4196468 140736499384128 139625293144832 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5350] ppid=5286 vsize=10844940 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5350/stat : 5350 (java) S 5286 5289 31233 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 445144691 11105218560 62741 33554432000 4194304 4196468 140736499384128 139624985745360 139626412861339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5351] ppid=5286 vsize=10844940 memory=6944656592455097440 CPUtime=1.09 cores=1,3,5,7
/proc/5289/task/5351/stat : 5351 (java) R 5286 5289 31233 0 -1 1077944384 2504 13008 0 0 100 1 5 3 20 0 15 0 445144691 11105218560 62741 33554432000 4194304 4196468 140736499384128 139625837452016 139626412853890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5352] ppid=5286 vsize=10844940 memory=6944656592387989600 CPUtime=1.28 cores=1,3,5,7
/proc/5289/task/5352/stat : 5352 (java) R 5286 5289 31233 0 -1 4202560 3405 13008 0 0 119 1 5 3 20 0 15 0 445144691 11105218560 62741 33554432000 4194304 4196468 140736499384128 139625836378576 139626397772223 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5353] ppid=5286 vsize=10844940 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/5289/task/5353/stat : 5353 (java) R 5286 5289 31233 0 -1 4202560 5023 13008 0 0 125 2 5 3 20 0 15 0 445144691 11105218560 62741 33554432000 4194304 4196468 140736499384128 139625835346416 139626391208416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5354] ppid=5286 vsize=10844940 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5354/stat : 5354 (java) S 5286 5289 31233 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 445144692 11105218560 62741 33554432000 4194304 4196468 140736499384128 139624952187744 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5355] ppid=5286 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5355/stat : 5355 (java) S 5286 5289 31233 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 445144692 11105218560 62741 33554432000 4194304 4196468 140736499384128 139625834293808 139626412853890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
Current children cumulated CPU time: 6.7 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 250964 KiB
[startup+3.8264 s]
# the end of solver process 5289 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.64517 s, system=0.224374 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20085 s]
/proc/loadavg: 1.56 1.69 1.60 3/229 5355
/proc/meminfo: memFree=28019836/32770624 swapFree=66967452/67108860
[pid=5289] ppid=5286 vsize=10844940 memory=252480 CPUtime=6.95 cores=1,3,5,7
/proc/5289/stat : 5289 (java) S 5286 5289 31233 0 -1 1077944320 34569 13008 0 0 672 15 5 3 20 0 15 0 445144677 11105218560 63120 33554432000 4194304 4196468 140736499384128 140736499366672 139626412842743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
/proc/5289/statm: 2711235 63120 3607 1 0 2673293 0
[pid=5289/tid=5342] ppid=5286 vsize=10844940 memory=0 CPUtime=3.07 cores=1,3,5,7
/proc/5289/task/5342/stat : 5342 (java) R 5286 5289 31233 0 -1 4202560 19077 13008 0 0 292 7 5 3 20 0 15 0 445144686 11105218560 63120 33554432000 4194304 4196468 140736499384128 139626384677344 139626412854678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5343] ppid=5286 vsize=10844940 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/5289/task/5343/stat : 5343 (java) S 5286 5289 31233 0 -1 1077944384 62 13008 0 0 2 0 5 3 20 0 15 0 445144687 11105218560 63120 33554432000 4194304 4196468 140736499384128 139626417085456 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5344] ppid=5286 vsize=10844940 memory=8112282956445269571 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5344/stat : 5344 (java) S 5286 5289 31233 0 -1 1077944384 103 13008 0 0 3 0 5 3 20 0 15 0 445144687 11105218560 63120 33554432000 4194304 4196468 140736499384128 139626305358992 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5345] ppid=5286 vsize=10844940 memory=1 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5345/stat : 5345 (java) S 5286 5289 31233 0 -1 1077944384 44 13008 0 0 3 0 5 3 20 0 15 0 445144687 11105218560 63120 33554432000 4194304 4196468 140736499384128 139626304305936 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5346] ppid=5286 vsize=10844940 memory=1 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5346/stat : 5346 (java) S 5286 5289 31233 0 -1 1077944384 407 13008 0 0 3 0 5 3 20 0 15 0 445144687 11105218560 63120 33554432000 4194304 4196468 140736499384128 139626303253392 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5347] ppid=5286 vsize=10844940 memory=1 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5347/stat : 5347 (java) S 5286 5289 31233 0 -1 1077944384 1530 13008 0 0 3 0 5 3 20 0 15 0 445144688 11105218560 63120 33554432000 4194304 4196468 140736499384128 139625872062704 139626412853890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5348] ppid=5286 vsize=10844940 memory=199120 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5348/stat : 5348 (java) S 5286 5289 31233 0 -1 1077944384 37 13008 0 0 0 0 5 3 20 0 15 0 445144689 11105218560 63120 33554432000 4194304 4196468 140736499384128 139625871008992 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5349] ppid=5286 vsize=10844940 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5349/stat : 5349 (java) S 5286 5289 31233 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 445144689 11105218560 63120 33554432000 4194304 4196468 140736499384128 139625293144832 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5350] ppid=5286 vsize=10844940 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5350/stat : 5350 (java) S 5286 5289 31233 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 445144691 11105218560 63120 33554432000 4194304 4196468 140736499384128 139624985745360 139626412861339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5351] ppid=5286 vsize=10844940 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/5289/task/5351/stat : 5351 (java) R 5286 5289 31233 0 -1 1077944384 2526 13008 0 0 105 1 5 3 20 0 15 0 445144691 11105218560 63120 33554432000 4194304 4196468 140736499384128 139625837452016 139626412853890 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5352] ppid=5286 vsize=10844940 memory=14549598530182184 CPUtime=1.33 cores=1,3,5,7
/proc/5289/task/5352/stat : 5352 (java) R 5286 5289 31233 0 -1 4202560 3440 13008 0 0 124 1 5 3 20 0 15 0 445144691 11105218560 63120 33554432000 4194304 4196468 140736499384128 139625836399472 139626397236087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5353] ppid=5286 vsize=10844940 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/5289/task/5353/stat : 5353 (java) R 5286 5289 31233 0 -1 4202560 5125 13008 0 0 130 2 5 3 20 0 15 0 445144691 11105218560 63120 33554432000 4194304 4196468 140736499384128 139625835346416 139626396923230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5354] ppid=5286 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5354/stat : 5354 (java) S 5286 5289 31233 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 445144692 11105218560 63120 33554432000 4194304 4196468 140736499384128 139624952187744 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5355] ppid=5286 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5355/stat : 5355 (java) S 5286 5289 31233 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 445144692 11105218560 63120 33554432000 4194304 4196468 140736499384128 139625834293808 139626412853890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
Current children cumulated CPU time: 6.95 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 252480 KiB
[startup+3.60152 s]
/proc/loadavg: 1.56 1.69 1.60 3/229 5355
/proc/meminfo: memFree=28019836/32770624 swapFree=66967452/67108860
[pid=5289] ppid=5286 vsize=10846988 memory=272312 CPUtime=8.31 cores=1,3,5,7
/proc/5289/stat : 5289 (java) S 5286 5289 31233 0 -1 1077944320 46674 13008 0 0 806 17 5 3 20 0 15 0 445144677 11107315712 68078 33554432000 4194304 4196468 140736499384128 140736499366672 139626412842743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
/proc/5289/statm: 2711747 68078 3608 1 0 2673805 0
[pid=5289/tid=5342] ppid=5286 vsize=10846988 memory=-7966001967340291680 CPUtime=3.47 cores=1,3,5,7
/proc/5289/task/5342/stat : 5342 (java) R 5286 5289 31233 0 -1 4202560 23853 13008 0 0 331 8 5 3 20 0 15 0 445144686 11107315712 68078 33554432000 4194304 4196468 140736499384128 139626384676464 139625994908545 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5343] ppid=5286 vsize=10846988 memory=11544071795 CPUtime=0.1 cores=1,3,5,7
/proc/5289/task/5343/stat : 5343 (java) S 5286 5289 31233 0 -1 1077944384 62 13008 0 0 2 0 5 3 20 0 15 0 445144687 11107315712 68078 33554432000 4194304 4196468 140736499384128 139626417085456 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5344] ppid=5286 vsize=10846988 memory=11544071795 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5344/stat : 5344 (java) S 5286 5289 31233 0 -1 1077944384 103 13008 0 0 3 0 5 3 20 0 15 0 445144687 11107315712 68078 33554432000 4194304 4196468 140736499384128 139626305358992 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5345] ppid=5286 vsize=10846988 memory=280523104964272 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5345/stat : 5345 (java) S 5286 5289 31233 0 -1 1077944384 44 13008 0 0 3 0 5 3 20 0 15 0 445144687 11107315712 68078 33554432000 4194304 4196468 140736499384128 139626304305936 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5346] ppid=5286 vsize=10846988 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5346/stat : 5346 (java) S 5286 5289 31233 0 -1 1077944384 407 13008 0 0 3 0 5 3 20 0 15 0 445144687 11107315712 68078 33554432000 4194304 4196468 140736499384128 139626303253392 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5347] ppid=5286 vsize=10846988 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5347/stat : 5347 (java) S 5286 5289 31233 0 -1 1077944384 2418 13008 0 0 3 0 5 3 20 0 15 0 445144688 11107315712 68078 33554432000 4194304 4196468 140736499384128 139625872062704 139626412853890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5348] ppid=5286 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5348/stat : 5348 (java) S 5286 5289 31233 0 -1 1077944384 37 13008 0 0 0 0 5 3 20 0 15 0 445144689 11107315712 68078 33554432000 4194304 4196468 140736499384128 139625871008992 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5349] ppid=5286 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5349/stat : 5349 (java) S 5286 5289 31233 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 445144689 11107315712 68078 33554432000 4194304 4196468 140736499384128 139625293144832 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5350] ppid=5286 vsize=10846988 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5350/stat : 5350 (java) S 5286 5289 31233 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 445144691 11107315712 68078 33554432000 4194304 4196468 140736499384128 139624985745360 139626412861339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5351] ppid=5286 vsize=10846988 memory=6944656592455359580 CPUtime=1.52 cores=1,3,5,7
/proc/5289/task/5351/stat : 5351 (java) R 5286 5289 31233 0 -1 4202560 3416 13008 0 0 143 1 5 3 20 0 15 0 445144691 11107315712 68078 33554432000 4194304 4196468 140736499384128 139625837437896 139626394365661 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5352] ppid=5286 vsize=10846988 memory=3690453832585131828 CPUtime=1.73 cores=1,3,5,7
/proc/5289/task/5352/stat : 5352 (java) R 5286 5289 31233 0 -1 4202560 7844 13008 0 0 163 2 5 3 20 0 15 0 445144691 11107315712 68078 33554432000 4194304 4196468 140736499384128 139625836384024 139626397957986 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5353] ppid=5286 vsize=10846988 memory=8317141777509777479 CPUtime=1.59 cores=1,3,5,7
/proc/5289/task/5353/stat : 5353 (java) R 5286 5289 31233 0 -1 4202560 6270 13008 0 0 149 2 5 3 20 0 15 0 445144691 11107315712 68078 33554432000 4194304 4196468 140736499384128 139625835346416 139626412864090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5354] ppid=5286 vsize=10846988 memory=288286662570803908 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5354/stat : 5354 (java) S 5286 5289 31233 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 445144692 11107315712 68078 33554432000 4194304 4196468 140736499384128 139624952187744 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5355] ppid=5286 vsize=10846988 memory=7954321644511847014 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5355/stat : 5355 (java) S 5286 5289 31233 0 -1 1077944384 5 13008 0 0 0 0 5 3 20 0 15 0 445144692 11107315712 68078 33554432000 4194304 4196468 140736499384128 139625834293808 139626412853890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
Current children cumulated CPU time: 8.31 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 272312 KiB
[startup+3.8006 s]
/proc/loadavg: 1.56 1.69 1.60 3/229 5355
/proc/meminfo: memFree=28019836/32770624 swapFree=66967452/67108860
[pid=5289] ppid=5286 vsize=10948080 memory=278972 CPUtime=8.84 cores=1,3,5,7
/proc/5289/stat : 5289 (java) S 5286 5289 31233 0 -1 1077944320 48881 13008 0 0 858 18 5 3 20 0 14 0 445144677 11210833920 69743 33554432000 4194304 4196468 140736499384128 140736499366672 139626412842743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
/proc/5289/statm: 2737020 69743 3610 1 0 2699078 0
[pid=5289/tid=5342] ppid=5286 vsize=10948080 memory=7590925273800534888 CPUtime=3.61 cores=1,3,5,7
/proc/5289/task/5342/stat : 5342 (java) S 5286 5289 31233 0 -1 1077944384 23900 13008 0 0 345 8 5 3 20 0 14 0 445144686 11210833920 69743 33554432000 4194304 4196468 140736499384128 139626384686224 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5343] ppid=5286 vsize=10948080 memory=7454130749351154278 CPUtime=0.1 cores=1,3,5,7
/proc/5289/task/5343/stat : 5343 (java) S 5286 5289 31233 0 -1 1077944384 62 13008 0 0 2 0 5 3 20 0 14 0 445144687 11210833920 69743 33554432000 4194304 4196468 140736499384128 139626417085456 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5344] ppid=5286 vsize=10948080 memory=7523098634832406896 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5344/stat : 5344 (java) S 5286 5289 31233 0 -1 1077944384 103 13008 0 0 3 0 5 3 20 0 14 0 445144687 11210833920 69743 33554432000 4194304 4196468 140736499384128 139626305358992 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5345] ppid=5286 vsize=10948080 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5345/stat : 5345 (java) S 5286 5289 31233 0 -1 1077944384 44 13008 0 0 3 0 5 3 20 0 14 0 445144687 11210833920 69743 33554432000 4194304 4196468 140736499384128 139626304305936 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5346] ppid=5286 vsize=10948080 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5346/stat : 5346 (java) S 5286 5289 31233 0 -1 1077944384 407 13008 0 0 3 0 5 3 20 0 14 0 445144687 11210833920 69743 33554432000 4194304 4196468 140736499384128 139626303253392 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5347] ppid=5286 vsize=10948080 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/5289/task/5347/stat : 5347 (java) S 5286 5289 31233 0 -1 1077944384 2418 13008 0 0 3 0 5 3 20 0 14 0 445144688 11210833920 69743 33554432000 4194304 4196468 140736499384128 139625872062912 139626412853890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5348] ppid=5286 vsize=10948080 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5348/stat : 5348 (java) S 5286 5289 31233 0 -1 1077944384 37 13008 0 0 0 0 5 3 20 0 14 0 445144689 11210833920 69743 33554432000 4194304 4196468 140736499384128 139625871008992 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5349] ppid=5286 vsize=10948080 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5349/stat : 5349 (java) S 5286 5289 31233 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 14 0 445144689 11210833920 69743 33554432000 4194304 4196468 140736499384128 139625293144832 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5350] ppid=5286 vsize=10948080 memory=280523104583920 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5350/stat : 5350 (java) S 5286 5289 31233 0 -1 1077944384 6 13008 0 0 0 0 5 3 20 0 14 0 445144691 11210833920 69743 33554432000 4194304 4196468 140736499384128 139624985745008 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5351] ppid=5286 vsize=10948080 memory=280523104583920 CPUtime=1.66 cores=1,3,5,7
/proc/5289/task/5351/stat : 5351 (java) S 5286 5289 31233 0 -1 1077944384 3518 13008 0 0 157 1 5 3 20 0 14 0 445144691 11210833920 69743 33554432000 4194304 4196468 140736499384128 139625837432416 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5352] ppid=5286 vsize=10948080 memory=6944656592455360569 CPUtime=1.93 cores=1,3,5,7
/proc/5289/task/5352/stat : 5352 (java) R 5286 5289 31233 0 -1 4202560 9679 13008 0 0 183 2 5 3 20 0 14 0 445144691 11210833920 69743 33554432000 4194304 4196468 140736499384128 139625836385632 139626394387704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5353] ppid=5286 vsize=10948080 memory=0 CPUtime=1.63 cores=1,3,5,7
/proc/5289/task/5353/stat : 5353 (java) S 5286 5289 31233 0 -1 1077944384 6490 13008 0 0 153 2 5 3 20 0 14 0 445144691 11210833920 69743 33554432000 4194304 4196468 140736499384128 139625835346416 139626412853890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
[pid=5289/tid=5354] ppid=5286 vsize=10948080 memory=-8161514697491688292 CPUtime=0.08 cores=1,3,5,7
/proc/5289/task/5354/stat : 5354 (java) S 5286 5289 31233 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 14 0 445144692 11210833920 69743 33554432000 4194304 4196468 140736499384128 139624952187744 139626412852949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23937024 140736499387120 140736499389637 140736499389637 140736499392463 0
Current children cumulated CPU time: 8.84 s
Current children cumulated vsize: 10948080 KiB
Current children cumulated memory: 278972 KiB
Child status: 0
Real time (s): 3.82645
CPU time (s): 8.86955
CPU user time (s): 8.64517
CPU system time (s): 0.224374
CPU usage (%): 231.796
Max. virtual memory (cumulated for all children) (KiB): 10948080
Max. memory (cumulated for all children) (KiB): 278972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.64517
system time used= 0.224374
maximum resident set size= 279888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61987
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6507
involuntary context switches= 47
# summary of solver processes directly reported to runsolver:
# pid: 5289
# total CPU time (s): 8.86955
# total CPU user time (s): 8.64517
# total CPU system time (s): 0.224374
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052029 second user time and 0.068557 second system time
The end