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 (10347 MiB free)
memory of node 1: 16384 MiB (13012 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386987-1568286592/watcher-4386987-1568286592 -o /tmp/evaluation-result-4386987-1568286592/solver-4386987-1568286592 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568286551-1787 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1001658505 HOME/instance-4386987-1568286592.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
Current StackSize limit: 8192 KiB
solver pid=1811, runsolver pid=1807
[startup+0.100861 s]*
/proc/loadavg: 1.00 1.14 1.53 4/231 1899
/proc/meminfo: memFree=23892084/32770624 swapFree=67108848/67108860
[pid=1811] ppid=1807 vsize=113256 memory=1620 CPUtime=0.07 cores=1,3,5,7
/proc/1811/stat : 1811 (bash) S 1807 1811 466 0 -1 4202496 957 11762 0 0 0 0 4 3 20 0 1 0 404596621 115974144 405 33554432000 4194304 5098028 140724428063728 140724428056712 140294294572032 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 1 0 0 7196144 7232144 28209152 140724428067860 140724428067985 140724428067985 140724428070894 0
/proc/1811/statm: 28314 405 321 221 0 119 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1620 KiB
[startup+0.210134 s]*
/proc/loadavg: 1.00 1.14 1.53 7/227 1947
/proc/meminfo: memFree=23874160/32770624 swapFree=67108848/67108860
[pid=1811] ppid=1807 vsize=10818900 memory=35124 CPUtime=0.23 cores=1,3,5,7
/proc/1811/stat : 1811 (java) S 1807 1811 466 0 -1 1077944320 6617 13125 0 0 13 2 5 3 20 0 15 0 404596621 11078553600 8781 33554432000 4194304 4196468 140730058931056 140730058913600 139873555107575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
/proc/1811/statm: 2704725 8781 2962 1 0 2667149 0
[pid=1811/tid=1920] ppid=1807 vsize=10818900 memory=8514726395714820750 CPUtime=0.17 cores=1,3,5,7
/proc/1811/task/1920/stat : 1920 (java) R 1807 1811 466 0 -1 4202560 3188 13125 0 0 8 1 5 3 20 0 15 0 404596633 11078553600 8846 33554432000 4194304 4196468 140730058931056 139873526940064 139873539188062 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1922] ppid=1807 vsize=10818900 memory=7948963741541478447 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1922/stat : 1922 (java) S 1807 1811 466 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 404596633 11078553600 8846 33554432000 4194304 4196468 140730058931056 139873559350032 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1923] ppid=1807 vsize=10818900 memory=139972348597888 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1923/stat : 1923 (java) S 1807 1811 466 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 404596633 11078553600 8846 33554432000 4194304 4196468 140730058931056 139873463552912 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1924] ppid=1807 vsize=10818900 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1924/stat : 1924 (java) S 1807 1811 466 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 404596633 11078553600 8846 33554432000 4194304 4196468 140730058931056 139873127029776 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1925] ppid=1807 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1925/stat : 1925 (java) S 1807 1811 466 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 404596633 11078553600 8846 33554432000 4194304 4196468 140730058931056 139873125977232 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1930] ppid=1807 vsize=10818900 memory=139972348597888 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1930/stat : 1930 (java) S 1807 1811 466 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 404596635 11078553600 8846 33554432000 4194304 4196468 140730058931056 139873081722864 139873555118722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1932] ppid=1807 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1932/stat : 1932 (java) S 1807 1811 466 0 -1 1077944384 13 13125 0 0 0 0 5 3 20 0 15 0 404596635 11078553600 8846 33554432000 4194304 4196468 140730058931056 139872455091104 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1934] ppid=1807 vsize=10818900 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1934/stat : 1934 (java) S 1807 1811 466 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 404596635 11078553600 8846 33554432000 4194304 4196468 140730058931056 139872320873456 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1936] ppid=1807 vsize=10818900 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1936/stat : 1936 (java) S 1807 1811 466 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 404596638 11078553600 8846 33554432000 4194304 4196468 140730058931056 139872080582864 139873555126171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1937] ppid=1807 vsize=10818900 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1811/task/1937/stat : 1937 (java) S 1807 1811 466 0 -1 1077944384 553 13125 0 0 1 0 5 3 20 0 15 0 404596638 11078553600 8846 33554432000 4194304 4196468 140730058931056 139873080670704 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1938] ppid=1807 vsize=10818900 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/1811/task/1938/stat : 1938 (java) S 1807 1811 466 0 -1 1077944384 72 13125 0 0 1 0 5 3 20 0 15 0 404596638 11078553600 8846 33554432000 4194304 4196468 140730058931056 139873079618160 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1939] ppid=1807 vsize=10818900 memory=139972348597888 CPUtime=0.1 cores=1,3,5,7
/proc/1811/task/1939/stat : 1939 (java) S 1807 1811 466 0 -1 1077944384 628 13125 0 0 2 0 5 3 20 0 15 0 404596638 11078553600 8846 33554432000 4194304 4196468 140730058931056 139873078565616 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1944] ppid=1807 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1944/stat : 1944 (java) S 1807 1811 466 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 404596638 11078553600 8846 33554432000 4194304 4196468 140730058931056 139872047025248 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1946] ppid=1807 vsize=10818900 memory=139972348597888 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1946/stat : 1946 (java) S 1807 1811 466 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 404596639 11078553600 8846 33554432000 4194304 4196468 140730058931056 139873077512496 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10818900 KiB
Current children cumulated memory: 35124 KiB
[startup+0.310674 s]*
/proc/loadavg: 1.00 1.14 1.53 3/227 1947
/proc/meminfo: memFree=23844444/32770624 swapFree=67108848/67108860
[pid=1811] ppid=1807 vsize=10819084 memory=46620 CPUtime=0.37 cores=1,3,5,7
/proc/1811/stat : 1811 (java) S 1807 1811 466 0 -1 1077944320 10305 13125 0 0 25 4 5 3 20 0 15 0 404596621 11078742016 11655 33554432000 4194304 4196468 140730058931056 140730058913600 139873555107575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
/proc/1811/statm: 2704771 11655 3043 1 0 2667149 0
[pid=1811/tid=1920] ppid=1807 vsize=10819084 memory=1398722017469774279 CPUtime=0.27 cores=1,3,5,7
/proc/1811/task/1920/stat : 1920 (java) R 1807 1811 466 0 -1 4202560 6781 13125 0 0 17 2 5 3 20 0 15 0 404596633 11078742016 11655 33554432000 4194304 4196468 140730058931056 139873526906704 139873541347001 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1922] ppid=1807 vsize=10819084 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1922/stat : 1922 (java) S 1807 1811 466 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 404596633 11078742016 11655 33554432000 4194304 4196468 140730058931056 139873559350032 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1923] ppid=1807 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1923/stat : 1923 (java) S 1807 1811 466 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 404596633 11078742016 11655 33554432000 4194304 4196468 140730058931056 139873463552912 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1924] ppid=1807 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1924/stat : 1924 (java) S 1807 1811 466 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 404596633 11078742016 11655 33554432000 4194304 4196468 140730058931056 139873127029776 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1925] ppid=1807 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1925/stat : 1925 (java) S 1807 1811 466 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 404596633 11078742016 11655 33554432000 4194304 4196468 140730058931056 139873125977232 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1930] ppid=1807 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1930/stat : 1930 (java) S 1807 1811 466 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 404596635 11078742016 11655 33554432000 4194304 4196468 140730058931056 139873081722864 139873555118722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1932] ppid=1807 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1932/stat : 1932 (java) S 1807 1811 466 0 -1 1077944384 13 13125 0 0 0 0 5 3 20 0 15 0 404596635 11078742016 11655 33554432000 4194304 4196468 140730058931056 139872455091104 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1934] ppid=1807 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1934/stat : 1934 (java) S 1807 1811 466 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 404596635 11078742016 11655 33554432000 4194304 4196468 140730058931056 139872320873456 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1936] ppid=1807 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1936/stat : 1936 (java) S 1807 1811 466 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 404596638 11078742016 11655 33554432000 4194304 4196468 140730058931056 139872080582864 139873555126171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1937] ppid=1807 vsize=10819084 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1811/task/1937/stat : 1937 (java) S 1807 1811 466 0 -1 1077944384 553 13125 0 0 1 0 5 3 20 0 15 0 404596638 11078742016 11655 33554432000 4194304 4196468 140730058931056 139873080670704 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1938] ppid=1807 vsize=10819084 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1811/task/1938/stat : 1938 (java) S 1807 1811 466 0 -1 1077944384 73 13125 0 0 1 0 5 3 20 0 15 0 404596638 11078742016 11655 33554432000 4194304 4196468 140730058931056 139873079618160 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1939] ppid=1807 vsize=10819084 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/1811/task/1939/stat : 1939 (java) S 1807 1811 466 0 -1 1077944384 668 13125 0 0 5 0 5 3 20 0 15 0 404596638 11078742016 11655 33554432000 4194304 4196468 140730058931056 139873078565616 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1944] ppid=1807 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1944/stat : 1944 (java) S 1807 1811 466 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 404596638 11078742016 11655 33554432000 4194304 4196468 140730058931056 139872047025248 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1946] ppid=1807 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1946/stat : 1946 (java) S 1807 1811 466 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 404596639 11078742016 11655 33554432000 4194304 4196468 140730058931056 139873077512496 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819084 KiB
Current children cumulated memory: 46620 KiB
[startup+0.700751 s]
/proc/loadavg: 1.00 1.14 1.53 4/227 1947
/proc/meminfo: memFree=23821052/32770624 swapFree=67108848/67108860
[pid=1811] ppid=1807 vsize=10822292 memory=77860 CPUtime=1.1 cores=1,3,5,7
/proc/1811/stat : 1811 (java) S 1807 1811 466 0 -1 1077944320 14704 13125 0 0 97 5 5 3 20 0 15 0 404596621 11082027008 19465 33554432000 4194304 4196468 140730058931056 140730058913600 139873555107575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
/proc/1811/statm: 2705573 19465 3496 1 0 2667661 0
[pid=1811/tid=1920] ppid=1807 vsize=10822292 memory=1840 CPUtime=0.64 cores=1,3,5,7
/proc/1811/task/1920/stat : 1920 (java) R 1807 1811 466 0 -1 4202560 10356 13125 0 0 53 3 5 3 20 0 15 0 404596633 11082027008 19465 33554432000 4194304 4196468 140730058931056 139873526922032 139873539188062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1922] ppid=1807 vsize=10822292 memory=1384 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1922/stat : 1922 (java) S 1807 1811 466 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 404596633 11082027008 19465 33554432000 4194304 4196468 140730058931056 139873559350032 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1923] ppid=1807 vsize=10822292 memory=7168 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1923/stat : 1923 (java) S 1807 1811 466 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 404596633 11082027008 19465 33554432000 4194304 4196468 140730058931056 139873463552912 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1924] ppid=1807 vsize=10822292 memory=4639098309541128294 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1924/stat : 1924 (java) S 1807 1811 466 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 404596633 11082027008 19465 33554432000 4194304 4196468 140730058931056 139873127029776 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1925] ppid=1807 vsize=10822292 memory=6082220498109361512 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1925/stat : 1925 (java) S 1807 1811 466 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 404596633 11082027008 19465 33554432000 4194304 4196468 140730058931056 139873125977232 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1930] ppid=1807 vsize=10822292 memory=7810487918915055718 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1930/stat : 1930 (java) S 1807 1811 466 0 -1 1077944384 6 13125 0 0 0 0 5 3 20 0 15 0 404596635 11082027008 19465 33554432000 4194304 4196468 140730058931056 139873081722864 139873555118722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1932] ppid=1807 vsize=10822292 memory=-7028383565733675155 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1932/stat : 1932 (java) S 1807 1811 466 0 -1 1077944384 13 13125 0 0 0 0 5 3 20 0 15 0 404596635 11082027008 19465 33554432000 4194304 4196468 140730058931056 139872455091104 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1934] ppid=1807 vsize=10822292 memory=6525858347538544147 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1934/stat : 1934 (java) S 1807 1811 466 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 404596635 11082027008 19465 33554432000 4194304 4196468 140730058931056 139872320873456 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1936] ppid=1807 vsize=10822292 memory=-7025448733113094249 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1936/stat : 1936 (java) S 1807 1811 466 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 404596638 11082027008 19465 33554432000 4194304 4196468 140730058931056 139872080582864 139873555126171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1937] ppid=1807 vsize=10822292 memory=6944937900100196217 CPUtime=0.2 cores=1,3,5,7
/proc/1811/task/1937/stat : 1937 (java) R 1807 1811 466 0 -1 4202560 787 13125 0 0 12 0 5 3 20 0 15 0 404596638 11082027008 19465 33554432000 4194304 4196468 140730058931056 139873080670704 139873536287194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1938] ppid=1807 vsize=10822292 memory=-6876588461455810464 CPUtime=0.22 cores=1,3,5,7
/proc/1811/task/1938/stat : 1938 (java) R 1807 1811 466 0 -1 4202560 460 13125 0 0 14 0 5 3 20 0 15 0 404596638 11082027008 19465 33554432000 4194304 4196468 140730058931056 139873079618160 139873539504651 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1939] ppid=1807 vsize=10822292 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/1811/task/1939/stat : 1939 (java) S 1807 1811 466 0 -1 1077944384 860 13125 0 0 16 0 5 3 20 0 15 0 404596638 11082027008 19465 33554432000 4194304 4196468 140730058931056 139873078565616 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1944] ppid=1807 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1944/stat : 1944 (java) S 1807 1811 466 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 404596638 11082027008 19465 33554432000 4194304 4196468 140730058931056 139872047025248 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1946] ppid=1807 vsize=10822292 memory=3924 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1946/stat : 1946 (java) S 1807 1811 466 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 404596639 11082027008 19465 33554432000 4194304 4196468 140730058931056 139873077512496 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10822292 KiB
Current children cumulated memory: 77860 KiB
[startup+1.50069 s]
/proc/loadavg: 1.00 1.14 1.53 3/227 1947
/proc/meminfo: memFree=23738900/32770624 swapFree=67108848/67108860
[pid=1811] ppid=1807 vsize=10834656 memory=169716 CPUtime=2.41 cores=1,3,5,7
/proc/1811/stat : 1811 (java) S 1807 1811 466 0 -1 1077944320 21175 13125 0 0 223 10 5 3 20 0 15 0 404596621 11094687744 42429 33554432000 4194304 4196468 140730058931056 140730058913600 139873555107575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
/proc/1811/statm: 2708664 42429 3571 1 0 2670733 0
[pid=1811/tid=1920] ppid=1807 vsize=10834656 memory=279944492368960 CPUtime=1.4 cores=1,3,5,7
/proc/1811/task/1920/stat : 1920 (java) R 1807 1811 466 0 -1 4202560 15177 13125 0 0 127 5 5 3 20 0 15 0 404596633 11094687744 42429 33554432000 4194304 4196468 140730058931056 139873526913920 139873533552366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1922] ppid=1807 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1811/task/1922/stat : 1922 (java) S 1807 1811 466 0 -1 1077944384 74 13125 0 0 1 0 5 3 20 0 15 0 404596633 11094687744 42429 33554432000 4194304 4196468 140730058931056 139873559350032 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1923] ppid=1807 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1923/stat : 1923 (java) S 1807 1811 466 0 -1 1077944384 34 13125 0 0 0 0 5 3 20 0 15 0 404596633 11094687744 42429 33554432000 4194304 4196468 140730058931056 139873463552912 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1924] ppid=1807 vsize=10834656 memory=279944492286880 CPUtime=0.09 cores=1,3,5,7
/proc/1811/task/1924/stat : 1924 (java) S 1807 1811 466 0 -1 1077944384 329 13125 0 0 1 0 5 3 20 0 15 0 404596633 11094687744 42429 33554432000 4194304 4196468 140730058931056 139873127029776 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1925] ppid=1807 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1811/task/1925/stat : 1925 (java) S 1807 1811 466 0 -1 1077944384 65 13125 0 0 1 0 5 3 20 0 15 0 404596633 11094687744 42429 33554432000 4194304 4196468 140730058931056 139873125977232 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1930] ppid=1807 vsize=10834656 memory=18133351927027 CPUtime=0.09 cores=1,3,5,7
/proc/1811/task/1930/stat : 1930 (java) S 1807 1811 466 0 -1 1077944384 149 13125 0 0 1 0 5 3 20 0 15 0 404596635 11094687744 42429 33554432000 4194304 4196468 140730058931056 139873081722864 139873555118722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1932] ppid=1807 vsize=10834656 memory=576587670020715552 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1932/stat : 1932 (java) S 1807 1811 466 0 -1 1077944384 13 13125 0 0 0 0 5 3 20 0 15 0 404596635 11094687744 42429 33554432000 4194304 4196468 140730058931056 139872455091104 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1934] ppid=1807 vsize=10834656 memory=288283389822517238 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1934/stat : 1934 (java) S 1807 1811 466 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 404596635 11094687744 42429 33554432000 4194304 4196468 140730058931056 139872320873456 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1936] ppid=1807 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1936/stat : 1936 (java) S 1807 1811 466 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 404596638 11094687744 42429 33554432000 4194304 4196468 140730058931056 139872080582864 139873555126171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1937] ppid=1807 vsize=10834656 memory=6944656575208382560 CPUtime=0.32 cores=1,3,5,7
/proc/1811/task/1937/stat : 1937 (java) S 1807 1811 466 0 -1 1077944384 971 13125 0 0 24 0 5 3 20 0 15 0 404596638 11094687744 42429 33554432000 4194304 4196468 140730058931056 139873080670704 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1938] ppid=1807 vsize=10834656 memory=-1807685287725067907 CPUtime=0.31 cores=1,3,5,7
/proc/1811/task/1938/stat : 1938 (java) S 1807 1811 466 0 -1 1077944384 510 13125 0 0 23 0 5 3 20 0 15 0 404596638 11094687744 42429 33554432000 4194304 4196468 140730058931056 139873079618160 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1939] ppid=1807 vsize=10834656 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/1811/task/1939/stat : 1939 (java) R 1807 1811 466 0 -1 4202560 1638 13125 0 0 40 0 5 3 20 0 15 0 404596638 11094687744 42429 33554432000 4194304 4196468 140730058931056 139873078565616 139873548207275 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1944] ppid=1807 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1944/stat : 1944 (java) S 1807 1811 466 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 404596638 11094687744 42429 33554432000 4194304 4196468 140730058931056 139872047025248 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1946] ppid=1807 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1946/stat : 1946 (java) S 1807 1811 466 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 404596639 11094687744 42429 33554432000 4194304 4196468 140730058931056 139873077512496 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 10834656 KiB
Current children cumulated memory: 169716 KiB
[startup+3.1108 s]
/proc/loadavg: 1.08 1.16 1.54 6/228 1949
/proc/meminfo: memFree=23453436/32770624 swapFree=67108848/67108860
[pid=1811] ppid=1807 vsize=10844916 memory=261952 CPUtime=6.92 cores=1,3,5,7
/proc/1811/stat : 1811 (java) S 1807 1811 466 0 -1 1077944320 35268 13125 0 0 667 17 5 3 20 0 15 0 404596621 11105193984 65488 33554432000 4194304 4196468 140730058931056 140730058913600 139873555107575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
/proc/1811/statm: 2711229 65488 3603 1 0 2673293 0
[pid=1811/tid=1920] ppid=1807 vsize=10844916 memory=279944492257568 CPUtime=2.96 cores=1,3,5,7
/proc/1811/task/1920/stat : 1920 (java) R 1807 1811 466 0 -1 4202560 19556 13125 0 0 280 8 5 3 20 0 15 0 404596633 11105193984 65488 33554432000 4194304 4196468 140730058931056 139873526940584 139873555129501 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
################
# More data... #
################
/proc/1811/task/1920/stat : 1920 (java) R 1807 1811 466 0 -1 4202560 63403 13125 0 0 235506 49 5 3 20 0 15 0 404596633 11107291136 203579 33554432000 4194304 4196468 140730058931056 139873526944096 139873159498105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1922] ppid=1807 vsize=10846964 memory=814316 CPUtime=12.66 cores=1,3,5,7
/proc/1811/task/1922/stat : 1922 (java) S 1807 1811 466 0 -1 1077944384 13155 13125 0 0 1203 55 5 3 20 0 15 0 404596633 11107291136 203579 33554432000 4194304 4196468 140730058931056 139873559350032 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1923] ppid=1807 vsize=10846964 memory=814316 CPUtime=12.67 cores=1,3,5,7
/proc/1811/task/1923/stat : 1923 (java) S 1807 1811 466 0 -1 1077944384 8055 13125 0 0 1201 58 5 3 20 0 15 0 404596633 11107291136 203579 33554432000 4194304 4196468 140730058931056 139873463552912 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1924] ppid=1807 vsize=10846964 memory=814316 CPUtime=12.7 cores=1,3,5,7
/proc/1811/task/1924/stat : 1924 (java) S 1807 1811 466 0 -1 1077944384 10263 13125 0 0 1205 57 5 3 20 0 15 0 404596633 11107291136 203579 33554432000 4194304 4196468 140730058931056 139873127029776 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1925] ppid=1807 vsize=10846964 memory=8 CPUtime=12.67 cores=1,3,5,7
/proc/1811/task/1925/stat : 1925 (java) S 1807 1811 466 0 -1 1077944384 6671 13125 0 0 1202 57 5 3 20 0 15 0 404596633 11107291136 203579 33554432000 4194304 4196468 140730058931056 139873125977232 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1930] ppid=1807 vsize=10846964 memory=279944492516656 CPUtime=11.18 cores=1,3,5,7
/proc/1811/task/1930/stat : 1930 (java) S 1807 1811 466 0 -1 1077944384 12293 13125 0 0 1051 59 5 3 20 0 15 0 404596635 11107291136 203579 33554432000 4194304 4196468 140730058931056 139873081722864 139873555118722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1932] ppid=1807 vsize=10846964 memory=3924 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1932/stat : 1932 (java) S 1807 1811 466 0 -1 1077944384 17 13125 0 0 0 0 5 3 20 0 15 0 404596635 11107291136 203579 33554432000 4194304 4196468 140730058931056 139872455091168 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1934] ppid=1807 vsize=10846964 memory=37456 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1934/stat : 1934 (java) S 1807 1811 466 0 -1 1077944384 6 13125 0 0 0 0 5 3 20 0 15 0 404596635 11107291136 203579 33554432000 4194304 4196468 140730058931056 139872320873472 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1936] ppid=1807 vsize=10846964 memory=814316 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1936/stat : 1936 (java) S 1807 1811 466 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 404596638 11107291136 203579 33554432000 4194304 4196468 140730058931056 139872080582864 139873555126171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1937] ppid=1807 vsize=10846964 memory=920 CPUtime=6.66 cores=1,3,5,7
/proc/1811/task/1937/stat : 1937 (java) S 1807 1811 466 0 -1 1077944384 23232 13125 0 0 651 7 5 3 20 0 15 0 404596638 11107291136 203579 33554432000 4194304 4196468 140730058931056 139873080670704 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1938] ppid=1807 vsize=10846964 memory=1228 CPUtime=6.95 cores=1,3,5,7
/proc/1811/task/1938/stat : 1938 (java) S 1807 1811 466 0 -1 1077944384 20838 13125 0 0 681 6 5 3 20 0 15 0 404596638 11107291136 203579 33554432000 4194304 4196468 140730058931056 139873079618160 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1939] ppid=1807 vsize=10846964 memory=2352 CPUtime=4.72 cores=1,3,5,7
/proc/1811/task/1939/stat : 1939 (java) S 1807 1811 466 0 -1 1077944384 28595 13125 0 0 455 9 5 3 20 0 15 0 404596638 11107291136 203579 33554432000 4194304 4196468 140730058931056 139873078565616 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1944] ppid=1807 vsize=10846964 memory=1808 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1944/stat : 1944 (java) S 1807 1811 466 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 404596638 11107291136 203579 33554432000 4194304 4196468 140730058931056 139872047025248 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1946] ppid=1807 vsize=10846964 memory=814316 CPUtime=1.48 cores=1,3,5,7
/proc/1811/task/1946/stat : 1946 (java) S 1807 1811 466 0 -1 1077944384 1081 13125 0 0 66 74 5 3 20 0 15 0 404596639 11107291136 203579 33554432000 4194304 4196468 140730058931056 139873077512496 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
Current children cumulated CPU time: 2436.7 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 814316 KiB
[startup+2442.3 s]
/proc/loadavg: 1.52 1.35 1.37 3/227 2308
/proc/meminfo: memFree=22298692/32770624 swapFree=67108848/67108860
[pid=1811] ppid=1807 vsize=10846964 memory=816364 CPUtime=2497.63 cores=1,3,5,7
/proc/1811/stat : 1811 (java) S 1807 1811 466 0 -1 1077944320 191371 13125 0 0 249378 377 5 3 20 0 15 0 404596621 11107291136 204091 33554432000 4194304 4196468 140730058931056 140730058913600 139873555107575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
/proc/1811/statm: 2711741 204091 3623 1 0 2673805 0
[pid=1811/tid=1920] ppid=1807 vsize=10846964 memory=816364 CPUtime=2414.99 cores=1,3,5,7
/proc/1811/task/1920/stat : 1920 (java) R 1807 1811 466 0 -1 4202560 64136 13125 0 0 241441 50 5 3 20 0 15 0 404596633 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873526943776 139873157634240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1922] ppid=1807 vsize=10846964 memory=814316 CPUtime=12.99 cores=1,3,5,7
/proc/1811/task/1922/stat : 1922 (java) S 1807 1811 466 0 -1 1077944384 13186 13125 0 0 1235 56 5 3 20 0 15 0 404596633 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873559350032 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1923] ppid=1807 vsize=10846964 memory=814316 CPUtime=12.99 cores=1,3,5,7
/proc/1811/task/1923/stat : 1923 (java) S 1807 1811 466 0 -1 1077944384 8256 13125 0 0 1232 59 5 3 20 0 15 0 404596633 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873463552912 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1924] ppid=1807 vsize=10846964 memory=814316 CPUtime=13.01 cores=1,3,5,7
/proc/1811/task/1924/stat : 1924 (java) S 1807 1811 466 0 -1 1077944384 10477 13125 0 0 1235 58 5 3 20 0 15 0 404596633 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873127029776 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1925] ppid=1807 vsize=10846964 memory=814316 CPUtime=12.99 cores=1,3,5,7
/proc/1811/task/1925/stat : 1925 (java) S 1807 1811 466 0 -1 1077944384 6794 13125 0 0 1232 59 5 3 20 0 15 0 404596633 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873125977232 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1930] ppid=1807 vsize=10846964 memory=814316 CPUtime=11.44 cores=1,3,5,7
/proc/1811/task/1930/stat : 1930 (java) S 1807 1811 466 0 -1 1077944384 12515 13125 0 0 1076 60 5 3 20 0 15 0 404596635 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873081722864 139873555118722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1932] ppid=1807 vsize=10846964 memory=814316 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1932/stat : 1932 (java) S 1807 1811 466 0 -1 1077944384 17 13125 0 0 0 0 5 3 20 0 15 0 404596635 11107291136 204091 33554432000 4194304 4196468 140730058931056 139872455091168 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1934] ppid=1807 vsize=10846964 memory=814316 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1934/stat : 1934 (java) S 1807 1811 466 0 -1 1077944384 6 13125 0 0 0 0 5 3 20 0 15 0 404596635 11107291136 204091 33554432000 4194304 4196468 140730058931056 139872320873472 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1936] ppid=1807 vsize=10846964 memory=816364 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1936/stat : 1936 (java) S 1807 1811 466 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 404596638 11107291136 204091 33554432000 4194304 4196468 140730058931056 139872080582864 139873555126171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1937] ppid=1807 vsize=10846964 memory=816364 CPUtime=6.67 cores=1,3,5,7
/proc/1811/task/1937/stat : 1937 (java) S 1807 1811 466 0 -1 1077944384 23234 13125 0 0 652 7 5 3 20 0 15 0 404596638 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873080670704 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1938] ppid=1807 vsize=10846964 memory=816364 CPUtime=6.95 cores=1,3,5,7
/proc/1811/task/1938/stat : 1938 (java) S 1807 1811 466 0 -1 1077944384 20840 13125 0 0 681 6 5 3 20 0 15 0 404596638 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873079618160 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1939] ppid=1807 vsize=10846964 memory=816364 CPUtime=4.72 cores=1,3,5,7
/proc/1811/task/1939/stat : 1939 (java) S 1807 1811 466 0 -1 1077944384 28597 13125 0 0 455 9 5 3 20 0 15 0 404596638 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873078565616 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1944] ppid=1807 vsize=10846964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1944/stat : 1944 (java) S 1807 1811 466 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 404596638 11107291136 204091 33554432000 4194304 4196468 140730058931056 139872047025248 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1946] ppid=1807 vsize=10846964 memory=4276 CPUtime=1.52 cores=1,3,5,7
/proc/1811/task/1946/stat : 1946 (java) S 1807 1811 466 0 -1 1077944384 1098 13125 0 0 68 76 5 3 20 0 15 0 404596639 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873077512496 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
Current children cumulated CPU time: 2497.63 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 816364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2464.3 s]
/proc/loadavg: 1.41 1.34 1.36 3/228 2317
/proc/meminfo: memFree=22298420/32770624 swapFree=67108848/67108860
[pid=1811] ppid=1807 vsize=10846964 memory=816364 CPUtime=2520.01 cores=1,3,5,7
/proc/1811/stat : 1811 (java) S 1807 1811 466 0 -1 1077944320 191572 13125 0 0 251613 380 5 3 20 0 15 0 404596621 11107291136 204091 33554432000 4194304 4196468 140730058931056 140730058913600 139873555107575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
/proc/1811/statm: 2711741 204091 3623 1 0 2673805 0
[pid=1811/tid=1920] ppid=1807 vsize=10846964 memory=816364 CPUtime=2436.72 cores=1,3,5,7
/proc/1811/task/1920/stat : 1920 (java) R 1807 1811 466 0 -1 4202560 64324 13125 0 0 243614 50 5 3 20 0 15 0 404596633 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873526942896 139873156100438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1922] ppid=1807 vsize=10846964 memory=8112282956445269571 CPUtime=13.11 cores=1,3,5,7
/proc/1811/task/1922/stat : 1922 (java) S 1807 1811 466 0 -1 1077944384 13186 13125 0 0 1247 56 5 3 20 0 15 0 404596633 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873559350032 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1923] ppid=1807 vsize=10846964 memory=816364 CPUtime=13.12 cores=1,3,5,7
/proc/1811/task/1923/stat : 1923 (java) S 1807 1811 466 0 -1 1077944384 8256 13125 0 0 1244 60 5 3 20 0 15 0 404596633 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873463552912 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1924] ppid=1807 vsize=10846964 memory=752 CPUtime=13.15 cores=1,3,5,7
/proc/1811/task/1924/stat : 1924 (java) S 1807 1811 466 0 -1 1077944384 10477 13125 0 0 1248 59 5 3 20 0 15 0 404596633 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873127029776 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1925] ppid=1807 vsize=10846964 memory=816364 CPUtime=13.11 cores=1,3,5,7
/proc/1811/task/1925/stat : 1925 (java) S 1807 1811 466 0 -1 1077944384 6794 13125 0 0 1244 59 5 3 20 0 15 0 404596633 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873125977232 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1930] ppid=1807 vsize=10846964 memory=816364 CPUtime=11.54 cores=1,3,5,7
/proc/1811/task/1930/stat : 1930 (java) S 1807 1811 466 0 -1 1077944384 12523 13125 0 0 1086 60 5 3 20 0 15 0 404596635 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873081722864 139873555118722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1932] ppid=1807 vsize=10846964 memory=816364 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1932/stat : 1932 (java) S 1807 1811 466 0 -1 1077944384 17 13125 0 0 0 0 5 3 20 0 15 0 404596635 11107291136 204091 33554432000 4194304 4196468 140730058931056 139872455091168 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1934] ppid=1807 vsize=10846964 memory=816364 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1934/stat : 1934 (java) S 1807 1811 466 0 -1 1077944384 6 13125 0 0 0 0 5 3 20 0 15 0 404596635 11107291136 204091 33554432000 4194304 4196468 140730058931056 139872320873472 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1936] ppid=1807 vsize=10846964 memory=816364 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1936/stat : 1936 (java) S 1807 1811 466 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 404596638 11107291136 204091 33554432000 4194304 4196468 140730058931056 139872080582864 139873555126171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1937] ppid=1807 vsize=10846964 memory=816364 CPUtime=6.67 cores=1,3,5,7
/proc/1811/task/1937/stat : 1937 (java) S 1807 1811 466 0 -1 1077944384 23235 13125 0 0 652 7 5 3 20 0 15 0 404596638 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873080670704 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1938] ppid=1807 vsize=10846964 memory=816364 CPUtime=6.95 cores=1,3,5,7
/proc/1811/task/1938/stat : 1938 (java) S 1807 1811 466 0 -1 1077944384 20840 13125 0 0 681 6 5 3 20 0 15 0 404596638 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873079618160 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1939] ppid=1807 vsize=10846964 memory=111636 CPUtime=4.72 cores=1,3,5,7
/proc/1811/task/1939/stat : 1939 (java) S 1807 1811 466 0 -1 1077944384 28597 13125 0 0 455 9 5 3 20 0 15 0 404596638 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873078565616 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1944] ppid=1807 vsize=10846964 memory=816364 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1944/stat : 1944 (java) S 1807 1811 466 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 404596638 11107291136 204091 33554432000 4194304 4196468 140730058931056 139872047025248 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1946] ppid=1807 vsize=10846964 memory=3924 CPUtime=1.53 cores=1,3,5,7
/proc/1811/task/1946/stat : 1946 (java) S 1807 1811 466 0 -1 1077944384 1102 13125 0 0 68 77 5 3 20 0 15 0 404596639 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873077512496 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 816364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2464.33 s]
# the end of solver process 1811 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.21 s, system=3.84231 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464.3 s]
/proc/loadavg: 1.41 1.34 1.36 3/228 2317
/proc/meminfo: memFree=22298420/32770624 swapFree=67108848/67108860
[pid=1811] ppid=1807 vsize=10846964 memory=816364 CPUtime=2520.01 cores=1,3,5,7
/proc/1811/stat : 1811 (java) S 1807 1811 466 0 -1 1077944320 191572 13125 0 0 251613 380 5 3 20 0 15 0 404596621 11107291136 204091 33554432000 4194304 4196468 140730058931056 140730058913600 139873555107575 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
/proc/1811/statm: 2711741 204091 3623 1 0 2673805 0
[pid=1811/tid=1920] ppid=1807 vsize=10846964 memory=816364 CPUtime=2436.72 cores=1,3,5,7
/proc/1811/task/1920/stat : 1920 (java) R 1807 1811 466 0 -1 4202560 64324 13125 0 0 243614 50 5 3 20 0 15 0 404596633 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873526942896 139873156100438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1922] ppid=1807 vsize=10846964 memory=8112282956445269571 CPUtime=13.11 cores=1,3,5,7
/proc/1811/task/1922/stat : 1922 (java) S 1807 1811 466 0 -1 1077944384 13186 13125 0 0 1247 56 5 3 20 0 15 0 404596633 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873559350032 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1923] ppid=1807 vsize=10846964 memory=816364 CPUtime=13.12 cores=1,3,5,7
/proc/1811/task/1923/stat : 1923 (java) S 1807 1811 466 0 -1 1077944384 8256 13125 0 0 1244 60 5 3 20 0 15 0 404596633 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873463552912 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1924] ppid=1807 vsize=10846964 memory=752 CPUtime=13.15 cores=1,3,5,7
/proc/1811/task/1924/stat : 1924 (java) S 1807 1811 466 0 -1 1077944384 10477 13125 0 0 1248 59 5 3 20 0 15 0 404596633 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873127029776 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1925] ppid=1807 vsize=10846964 memory=816364 CPUtime=13.11 cores=1,3,5,7
/proc/1811/task/1925/stat : 1925 (java) S 1807 1811 466 0 -1 1077944384 6794 13125 0 0 1244 59 5 3 20 0 15 0 404596633 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873125977232 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1930] ppid=1807 vsize=10846964 memory=816364 CPUtime=11.54 cores=1,3,5,7
/proc/1811/task/1930/stat : 1930 (java) S 1807 1811 466 0 -1 1077944384 12523 13125 0 0 1086 60 5 3 20 0 15 0 404596635 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873081722864 139873555118722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1932] ppid=1807 vsize=10846964 memory=816364 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1932/stat : 1932 (java) S 1807 1811 466 0 -1 1077944384 17 13125 0 0 0 0 5 3 20 0 15 0 404596635 11107291136 204091 33554432000 4194304 4196468 140730058931056 139872455091168 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1934] ppid=1807 vsize=10846964 memory=816364 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1934/stat : 1934 (java) S 1807 1811 466 0 -1 1077944384 6 13125 0 0 0 0 5 3 20 0 15 0 404596635 11107291136 204091 33554432000 4194304 4196468 140730058931056 139872320873472 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1936] ppid=1807 vsize=10846964 memory=816364 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1936/stat : 1936 (java) S 1807 1811 466 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 404596638 11107291136 204091 33554432000 4194304 4196468 140730058931056 139872080582864 139873555126171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1937] ppid=1807 vsize=10846964 memory=816364 CPUtime=6.67 cores=1,3,5,7
/proc/1811/task/1937/stat : 1937 (java) S 1807 1811 466 0 -1 1077944384 23235 13125 0 0 652 7 5 3 20 0 15 0 404596638 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873080670704 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1938] ppid=1807 vsize=10846964 memory=816364 CPUtime=6.95 cores=1,3,5,7
/proc/1811/task/1938/stat : 1938 (java) S 1807 1811 466 0 -1 1077944384 20840 13125 0 0 681 6 5 3 20 0 15 0 404596638 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873079618160 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1939] ppid=1807 vsize=10846964 memory=111636 CPUtime=4.72 cores=1,3,5,7
/proc/1811/task/1939/stat : 1939 (java) S 1807 1811 466 0 -1 1077944384 28597 13125 0 0 455 9 5 3 20 0 15 0 404596638 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873078565616 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1944] ppid=1807 vsize=10846964 memory=816364 CPUtime=0.08 cores=1,3,5,7
/proc/1811/task/1944/stat : 1944 (java) S 1807 1811 466 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 404596638 11107291136 204091 33554432000 4194304 4196468 140730058931056 139872047025248 139873555117781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
[pid=1811/tid=1946] ppid=1807 vsize=10846964 memory=3924 CPUtime=1.53 cores=1,3,5,7
/proc/1811/task/1946/stat : 1946 (java) S 1807 1811 466 0 -1 1077944384 1102 13125 0 0 68 77 5 3 20 0 15 0 404596639 11107291136 204091 33554432000 4194304 4196468 140730058931056 139873077512496 139873555118722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27308032 140730058939125 140730058941637 140730058941637 140730058944463 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 816364 KiB
Child status: 143
Real time (s): 2464.33
CPU time (s): 2520.05
CPU user time (s): 2516.21
CPU system time (s): 3.84231
CPU usage (%): 102.261
Max. virtual memory (cumulated for all children) (KiB): 10846964
Max. memory (cumulated for all children) (KiB): 816364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.21
system time used= 3.84231
maximum resident set size= 820584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205657
page faults= 0
swaps= 0
block input operations= 96
block output operations= 3056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 306697
involuntary context switches= 7138
# summary of solver processes directly reported to runsolver:
# pid: 1811
# total CPU time (s): 2520.05
# total CPU user time (s): 2516.21
# total CPU system time (s): 3.84231
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1597 second user time and 21.1772 second system time
The end