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 (1632 MiB free)
memory of node 1: 16384 MiB (3710 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402549-1568973217/watcher-4402549-1568973217 -o /var/tmp/evaluation-result-4402549-1568973217/solver-4402549-1568973217 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1568963940-19973 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2142651045 HOME/instance-4402549-1568973217.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=21508, runsolver pid=21505
Current StackSize limit: 8192 KiB
[startup+0.10178 s]*
/proc/loadavg: 1.25 1.34 1.40 3/219 21565
/proc/meminfo: memFree=5460852/32770624 swapFree=66955200/67108860
[pid=21508] ppid=21505 vsize=9972712 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/21508/stat : 21508 (java) S 21505 21508 19941 0 -1 1077944320 4540 13301 0 0 1 1 5 2 20 0 6 0 473579708 10212057088 4269 33554432000 4194304 4196468 140736883017408 140736882999952 139693467860727 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
/proc/21508/statm: 2493178 4269 1934 1 0 2481616 0
[pid=21508/tid=21561] ppid=21505 vsize=9972712 memory=-8617482348318186131 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21561/stat : 21561 (java) R 21505 21508 19941 0 -1 4202560 2347 13301 0 0 0 0 5 2 20 0 6 0 473579717 10212057088 4335 33554432000 4194304 4196468 140736883017408 139693439697488 139693453172729 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21562] ppid=21505 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21562/stat : 21562 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 6 0 473579718 10212057088 4335 33554432000 4194304 4196468 140736883017408 139693472103056 139693467870933 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21563] ppid=21505 vsize=9972712 memory=140211516053120 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21563/stat : 21563 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 6 0 473579718 10212057088 4335 33554432000 4194304 4196468 140736883017408 139693360376336 139693467870933 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21564] ppid=21505 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21564/stat : 21564 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 6 0 473579718 10212057088 4335 33554432000 4194304 4196468 140736883017408 139693359323536 139693467870933 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21565] ppid=21505 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21565/stat : 21565 (java) S 21505 21508 19941 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 6 0 473579718 10212057088 4335 33554432000 4194304 4196468 140736883017408 139693358270736 139693467870933 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.210232 s]*
/proc/loadavg: 1.25 1.34 1.40 3/228 21574
/proc/meminfo: memFree=5440560/32770624 swapFree=66955200/67108860
[pid=21508] ppid=21505 vsize=10820196 memory=44008 CPUtime=0.26 cores=1,3,5,7
/proc/21508/stat : 21508 (java) S 21505 21508 19941 0 -1 1077944320 7500 13301 0 0 17 2 5 2 20 0 15 0 473579708 11079880704 11002 33554432000 4194304 4196468 140736883017408 140736882999952 139693467860727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
/proc/21508/statm: 2705049 11002 3289 1 0 2667149 0
[pid=21508/tid=21561] ppid=21505 vsize=10820196 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/21508/task/21561/stat : 21561 (java) R 21505 21508 19941 0 -1 4202560 3994 13301 0 0 10 1 5 2 20 0 15 0 473579717 11079880704 11002 33554432000 4194304 4196468 140736883017408 139693439671760 139693451941214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21562] ppid=21505 vsize=10820196 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21562/stat : 21562 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 473579718 11079880704 11002 33554432000 4194304 4196468 140736883017408 139693472103056 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21563] ppid=21505 vsize=10820196 memory=140211516073349 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21563/stat : 21563 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 473579718 11079880704 11002 33554432000 4194304 4196468 140736883017408 139693360376336 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21564] ppid=21505 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21564/stat : 21564 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 473579718 11079880704 11002 33554432000 4194304 4196468 140736883017408 139693359323536 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21565] ppid=21505 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21565/stat : 21565 (java) S 21505 21508 19941 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 473579718 11079880704 11002 33554432000 4194304 4196468 140736883017408 139693358270736 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21566] ppid=21505 vsize=10820196 memory=140211516053120 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21566/stat : 21566 (java) S 21505 21508 19941 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 473579719 11079880704 11002 33554432000 4194304 4196468 140736883017408 139692926249840 139693467871874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21567] ppid=21505 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21567/stat : 21567 (java) S 21505 21508 19941 0 -1 1077944384 34 13301 0 0 0 0 5 2 20 0 15 0 473579719 11079880704 11002 33554432000 4194304 4196468 140736883017408 139692925195808 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21568] ppid=21505 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21568/stat : 21568 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 473579720 11079880704 11002 33554432000 4194304 4196468 140736883017408 139692804662640 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21569] ppid=21505 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21569/stat : 21569 (java) S 21505 21508 19941 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 473579722 11079880704 11002 33554432000 4194304 4196468 140736883017408 139691999357264 139693467879323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21570] ppid=21505 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21508/task/21570/stat : 21570 (java) S 21505 21508 19941 0 -1 1077944384 623 13301 0 0 1 0 5 2 20 0 15 0 473579722 11079880704 11002 33554432000 4194304 4196468 140736883017408 139692891638128 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21571] ppid=21505 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21571/stat : 21571 (java) R 21505 21508 19941 0 -1 4202560 54 13301 0 0 0 0 5 2 20 0 15 0 473579722 11079880704 11002 33554432000 4194304 4196468 140736883017408 139692890585328 139693451763760 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21572] ppid=21505 vsize=10820196 memory=140211516053120 CPUtime=0.1 cores=1,3,5,7
/proc/21508/task/21572/stat : 21572 (java) R 21505 21508 19941 0 -1 1077944384 585 13301 0 0 3 0 5 2 20 0 15 0 473579722 11079880704 11002 33554432000 4194304 4196468 140736883017408 139692889532528 139693467871874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21573] ppid=21505 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21573/stat : 21573 (java) S 21505 21508 19941 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 473579723 11079880704 11002 33554432000 4194304 4196468 140736883017408 139691730921696 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21574] ppid=21505 vsize=10820196 memory=140211516053120 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21574/stat : 21574 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 473579723 11079880704 11002 33554432000 4194304 4196468 140736883017408 139692888480944 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 44008 KiB
[startup+0.310639 s]*
/proc/loadavg: 1.25 1.34 1.40 5/228 21574
/proc/meminfo: memFree=5428136/32770624 swapFree=66955200/67108860
[pid=21508] ppid=21505 vsize=10820196 memory=52208 CPUtime=0.4 cores=1,3,5,7
/proc/21508/stat : 21508 (java) S 21505 21508 19941 0 -1 1077944320 10863 13301 0 0 29 4 5 2 20 0 15 0 473579708 11079880704 13052 33554432000 4194304 4196468 140736883017408 140736882999952 139693467860727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
/proc/21508/statm: 2705049 13052 3314 1 0 2667149 0
[pid=21508/tid=21561] ppid=21505 vsize=10820196 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/21508/task/21561/stat : 21561 (java) R 21505 21508 19941 0 -1 4202560 7339 13301 0 0 19 2 5 2 20 0 15 0 473579717 11079880704 13052 33554432000 4194304 4196468 140736883017408 139693439670976 139693451941214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21562] ppid=21505 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21562/stat : 21562 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 473579718 11079880704 13052 33554432000 4194304 4196468 140736883017408 139693472103056 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21563] ppid=21505 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21563/stat : 21563 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 473579718 11079880704 13052 33554432000 4194304 4196468 140736883017408 139693360376336 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21564] ppid=21505 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21564/stat : 21564 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 473579718 11079880704 13052 33554432000 4194304 4196468 140736883017408 139693359323536 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21565] ppid=21505 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21565/stat : 21565 (java) S 21505 21508 19941 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 473579718 11079880704 13052 33554432000 4194304 4196468 140736883017408 139693358270736 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21566] ppid=21505 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21566/stat : 21566 (java) S 21505 21508 19941 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 473579719 11079880704 13052 33554432000 4194304 4196468 140736883017408 139692926249840 139693467871874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21567] ppid=21505 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21567/stat : 21567 (java) S 21505 21508 19941 0 -1 1077944384 34 13301 0 0 0 0 5 2 20 0 15 0 473579719 11079880704 13052 33554432000 4194304 4196468 140736883017408 139692925195808 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21568] ppid=21505 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21568/stat : 21568 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 473579720 11079880704 13052 33554432000 4194304 4196468 140736883017408 139692804662640 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21569] ppid=21505 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21569/stat : 21569 (java) S 21505 21508 19941 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 473579722 11079880704 13052 33554432000 4194304 4196468 140736883017408 139691999357264 139693467879323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21570] ppid=21505 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/21508/task/21570/stat : 21570 (java) S 21505 21508 19941 0 -1 1077944384 624 13301 0 0 2 0 5 2 20 0 15 0 473579722 11079880704 13052 33554432000 4194304 4196468 140736883017408 139692891638128 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21571] ppid=21505 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21508/task/21571/stat : 21571 (java) S 21505 21508 19941 0 -1 1077944384 56 13301 0 0 1 0 5 2 20 0 15 0 473579722 11079880704 13052 33554432000 4194304 4196468 140736883017408 139692890585328 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21572] ppid=21505 vsize=10820196 memory=140211516053120 CPUtime=0.12 cores=1,3,5,7
/proc/21508/task/21572/stat : 21572 (java) S 21505 21508 19941 0 -1 1077944384 593 13301 0 0 5 0 5 2 20 0 15 0 473579722 11079880704 13052 33554432000 4194304 4196468 140736883017408 139692889532528 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21573] ppid=21505 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21573/stat : 21573 (java) S 21505 21508 19941 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 473579723 11079880704 13052 33554432000 4194304 4196468 140736883017408 139691730921696 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21574] ppid=21505 vsize=10820196 memory=140211516053120 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21574/stat : 21574 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 473579723 11079880704 13052 33554432000 4194304 4196468 140736883017408 139692888480944 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52208 KiB
[startup+0.700726 s]
/proc/loadavg: 1.25 1.34 1.40 3/228 21574
/proc/meminfo: memFree=5413700/32770624 swapFree=66955200/67108860
[pid=21508] ppid=21505 vsize=10824364 memory=85560 CPUtime=1.14 cores=1,3,5,7
/proc/21508/stat : 21508 (java) S 21505 21508 19941 0 -1 1077944320 15068 13301 0 0 102 5 5 2 20 0 15 0 473579708 11084148736 21390 33554432000 4194304 4196468 140736883017408 140736882999952 139693467860727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
/proc/21508/statm: 2706091 21390 3513 1 0 2668173 0
[pid=21508/tid=21561] ppid=21505 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/21508/task/21561/stat : 21561 (java) D 21505 21508 19941 0 -1 1077944384 10355 13301 0 0 55 4 5 2 20 0 15 0 473579717 11084148736 21390 33554432000 4194304 4196468 140736883017408 139693439687888 139693467884605 0 4 0 16800975 18446744072101613092 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21562] ppid=21505 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21562/stat : 21562 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 473579718 11084148736 21390 33554432000 4194304 4196468 140736883017408 139693472103056 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21563] ppid=21505 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21563/stat : 21563 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 473579718 11084148736 21390 33554432000 4194304 4196468 140736883017408 139693360376336 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21564] ppid=21505 vsize=10824364 memory=140211355005136 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21564/stat : 21564 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 473579718 11084148736 21390 33554432000 4194304 4196468 140736883017408 139693359323536 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21565] ppid=21505 vsize=10824364 memory=140213502345833 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21565/stat : 21565 (java) S 21505 21508 19941 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 473579718 11084148736 21390 33554432000 4194304 4196468 140736883017408 139693358270736 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21566] ppid=21505 vsize=10824364 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21566/stat : 21566 (java) S 21505 21508 19941 0 -1 1077944384 5 13301 0 0 0 0 5 2 20 0 15 0 473579719 11084148736 21390 33554432000 4194304 4196468 140736883017408 139692926249840 139693467871874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21567] ppid=21505 vsize=10824364 memory=7014751519667017297 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21567/stat : 21567 (java) S 21505 21508 19941 0 -1 1077944384 34 13301 0 0 0 0 5 2 20 0 15 0 473579719 11084148736 21390 33554432000 4194304 4196468 140736883017408 139692925195808 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21568] ppid=21505 vsize=10824364 memory=7739528784169233770 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21568/stat : 21568 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 473579720 11084148736 21390 33554432000 4194304 4196468 140736883017408 139692804662640 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21569] ppid=21505 vsize=10824364 memory=14056 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21569/stat : 21569 (java) S 21505 21508 19941 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 473579722 11084148736 21390 33554432000 4194304 4196468 140736883017408 139691999357264 139693467879323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21570] ppid=21505 vsize=10824364 memory=2116 CPUtime=0.19 cores=1,3,5,7
/proc/21508/task/21570/stat : 21570 (java) S 21505 21508 19941 0 -1 1077944384 1001 13301 0 0 12 0 5 2 20 0 15 0 473579722 11084148736 21390 33554432000 4194304 4196468 140736883017408 139692891638128 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21571] ppid=21505 vsize=10824364 memory=516 CPUtime=0.23 cores=1,3,5,7
/proc/21508/task/21571/stat : 21571 (java) R 21505 21508 19941 0 -1 4202560 659 13301 0 0 16 0 5 2 20 0 15 0 473579722 11084148736 21390 33554432000 4194304 4196468 140736883017408 139692890575120 139693447106575 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21572] ppid=21505 vsize=10824364 memory=1556 CPUtime=0.24 cores=1,3,5,7
/proc/21508/task/21572/stat : 21572 (java) S 21505 21508 19941 0 -1 1077944384 798 13301 0 0 17 0 5 2 20 0 15 0 473579722 11084148736 21390 33554432000 4194304 4196468 140736883017408 139692889532528 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21573] ppid=21505 vsize=10824364 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21573/stat : 21573 (java) S 21505 21508 19941 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 473579723 11084148736 21390 33554432000 4194304 4196468 140736883017408 139691730921696 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21574] ppid=21505 vsize=10824364 memory=1772 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21574/stat : 21574 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 473579723 11084148736 21390 33554432000 4194304 4196468 140736883017408 139692888480944 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85560 KiB
[startup+1.50072 s]
/proc/loadavg: 1.25 1.34 1.40 5/228 21574
/proc/meminfo: memFree=5358424/32770624 swapFree=66955200/67108860
[pid=21508] ppid=21505 vsize=10830584 memory=219576 CPUtime=3.38 cores=1,3,5,7
/proc/21508/stat : 21508 (java) S 21505 21508 19941 0 -1 1077944320 22854 13301 0 0 321 10 5 2 20 0 15 0 473579708 11090518016 54894 33554432000 4194304 4196468 140736883017408 140736882999952 139693467860727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
/proc/21508/statm: 2707646 54894 3585 1 0 2669709 0
[pid=21508/tid=21561] ppid=21505 vsize=10830584 memory=212420 CPUtime=1.45 cores=1,3,5,7
/proc/21508/task/21561/stat : 21561 (java) R 21505 21508 19941 0 -1 4202560 13313 13301 0 0 132 6 5 2 20 0 15 0 473579717 11090518016 54894 33554432000 4194304 4196468 140736883017408 139693439692000 139693451941214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21562] ppid=21505 vsize=10830584 memory=2436 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21562/stat : 21562 (java) S 21505 21508 19941 0 -1 1077944384 30 13301 0 0 0 0 5 2 20 0 15 0 473579718 11090518016 54894 33554432000 4194304 4196468 140736883017408 139693472103056 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21563] ppid=21505 vsize=10830584 memory=1760 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21563/stat : 21563 (java) S 21505 21508 19941 0 -1 1077944384 84 13301 0 0 0 0 5 2 20 0 15 0 473579718 11090518016 54894 33554432000 4194304 4196468 140736883017408 139693360376336 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21564] ppid=21505 vsize=10830584 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21564/stat : 21564 (java) S 21505 21508 19941 0 -1 1077944384 118 13301 0 0 0 0 5 2 20 0 15 0 473579718 11090518016 54894 33554432000 4194304 4196468 140736883017408 139693359323536 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21565] ppid=21505 vsize=10830584 memory=-7303279828959712342 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21565/stat : 21565 (java) S 21505 21508 19941 0 -1 1077944384 272 13301 0 0 0 0 5 2 20 0 15 0 473579718 11090518016 54894 33554432000 4194304 4196468 140736883017408 139693358270736 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21566] ppid=21505 vsize=10830584 memory=3833724587141655611 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21566/stat : 21566 (java) S 21505 21508 19941 0 -1 1077944384 102 13301 0 0 0 0 5 2 20 0 15 0 473579719 11090518016 54894 33554432000 4194304 4196468 140736883017408 139692926249840 139693467871874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21567] ppid=21505 vsize=10830584 memory=-7016161123436706971 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21567/stat : 21567 (java) S 21505 21508 19941 0 -1 1077944384 34 13301 0 0 0 0 5 2 20 0 15 0 473579719 11090518016 54894 33554432000 4194304 4196468 140736883017408 139692925195808 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21568] ppid=21505 vsize=10830584 memory=-6005673638262905286 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21568/stat : 21568 (java) S 21505 21508 19941 0 -1 1077944384 1 13301 0 0 0 0 5 2 20 0 15 0 473579720 11090518016 54894 33554432000 4194304 4196468 140736883017408 139692804662640 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21569] ppid=21505 vsize=10830584 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21569/stat : 21569 (java) S 21505 21508 19941 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 473579722 11090518016 54894 33554432000 4194304 4196468 140736883017408 139691999357264 139693467879323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21570] ppid=21505 vsize=10830584 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/21508/task/21570/stat : 21570 (java) S 21505 21508 19941 0 -1 1077944384 2643 13301 0 0 70 0 5 2 20 0 15 0 473579722 11090518016 54894 33554432000 4194304 4196468 140736883017408 139692891638128 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21571] ppid=21505 vsize=10830584 memory=4580 CPUtime=0.79 cores=1,3,5,7
/proc/21508/task/21571/stat : 21571 (java) R 21505 21508 19941 0 -1 4202560 2096 13301 0 0 72 0 5 2 20 0 15 0 473579722 11090518016 54894 33554432000 4194304 4196468 140736883017408 139692890585328 139693451346677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21572] ppid=21505 vsize=10830584 memory=7158300437426230352 CPUtime=0.49 cores=1,3,5,7
/proc/21508/task/21572/stat : 21572 (java) S 21505 21508 19941 0 -1 1077944384 1949 13301 0 0 42 0 5 2 20 0 15 0 473579722 11090518016 54894 33554432000 4194304 4196468 140736883017408 139692889532528 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21573] ppid=21505 vsize=10830584 memory=4641048842866811235 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21573/stat : 21573 (java) S 21505 21508 19941 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 473579723 11090518016 54894 33554432000 4194304 4196468 140736883017408 139691730921696 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21574] ppid=21505 vsize=10830584 memory=8099840965208335447 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21574/stat : 21574 (java) S 21505 21508 19941 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 473579723 11090518016 54894 33554432000 4194304 4196468 140736883017408 139692888480944 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
Current children cumulated CPU time: 3.38 s
Current children cumulated vsize: 10830584 KiB
################
# More data... #
################
/proc/21508/task/21561/stat : 21561 (java) R 21505 21508 19941 0 -1 4202560 256226 13301 0 0 235799 95 5 2 20 0 15 0 473579717 11107315712 622341 33554432000 4194304 4196468 140736883017408 139693439695952 139693041663394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21562] ppid=21505 vsize=10846988 memory=2489364 CPUtime=13.72 cores=1,3,5,7
/proc/21508/task/21562/stat : 21562 (java) S 21505 21508 19941 0 -1 1077944384 44681 13301 0 0 1316 49 5 2 20 0 15 0 473579718 11107315712 622341 33554432000 4194304 4196468 140736883017408 139693472103056 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21563] ppid=21505 vsize=10846988 memory=2489360 CPUtime=13.75 cores=1,3,5,7
/proc/21508/task/21563/stat : 21563 (java) S 21505 21508 19941 0 -1 1077944384 57635 13301 0 0 1308 60 5 2 20 0 15 0 473579718 11107315712 622341 33554432000 4194304 4196468 140736883017408 139693360376336 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21564] ppid=21505 vsize=10846988 memory=2489364 CPUtime=13.68 cores=1,3,5,7
/proc/21508/task/21564/stat : 21564 (java) S 21505 21508 19941 0 -1 1077944384 44941 13301 0 0 1303 58 5 2 20 0 15 0 473579718 11107315712 622341 33554432000 4194304 4196468 140736883017408 139693359323536 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21565] ppid=21505 vsize=10846988 memory=2116 CPUtime=13.7 cores=1,3,5,7
/proc/21508/task/21565/stat : 21565 (java) S 21505 21508 19941 0 -1 1077944384 50523 13301 0 0 1306 57 5 2 20 0 15 0 473579718 11107315712 622341 33554432000 4194304 4196468 140736883017408 139693358270736 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21566] ppid=21505 vsize=10846988 memory=2489364 CPUtime=7.84 cores=1,3,5,7
/proc/21508/task/21566/stat : 21566 (java) S 21505 21508 19941 0 -1 1077944384 35816 13301 0 0 729 48 5 2 20 0 15 0 473579719 11107315712 622341 33554432000 4194304 4196468 140736883017408 139692926249840 139693467871874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21567] ppid=21505 vsize=10846988 memory=2489348 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21567/stat : 21567 (java) S 21505 21508 19941 0 -1 1077944384 47 13301 0 0 0 0 5 2 20 0 15 0 473579719 11107315712 622341 33554432000 4194304 4196468 140736883017408 139692925195872 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21568] ppid=21505 vsize=10846988 memory=2489364 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21568/stat : 21568 (java) S 21505 21508 19941 0 -1 1077944384 6 13301 0 0 0 0 5 2 20 0 15 0 473579720 11107315712 622341 33554432000 4194304 4196468 140736883017408 139692804662656 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21569] ppid=21505 vsize=10846988 memory=916 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21569/stat : 21569 (java) S 21505 21508 19941 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 473579722 11107315712 622341 33554432000 4194304 4196468 140736883017408 139691999357264 139693467879323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21570] ppid=21505 vsize=10846988 memory=6791534058613427641 CPUtime=7.79 cores=1,3,5,7
/proc/21508/task/21570/stat : 21570 (java) S 21505 21508 19941 0 -1 1077944384 13355 13301 0 0 769 3 5 2 20 0 15 0 473579722 11107315712 622341 33554432000 4194304 4196468 140736883017408 139692891638128 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21571] ppid=21505 vsize=10846988 memory=14012 CPUtime=8.13 cores=1,3,5,7
/proc/21508/task/21571/stat : 21571 (java) S 21505 21508 19941 0 -1 1077944384 14479 13301 0 0 802 4 5 2 20 0 15 0 473579722 11107315712 622341 33554432000 4194304 4196468 140736883017408 139692890585328 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21572] ppid=21505 vsize=10846988 memory=2489364 CPUtime=2.44 cores=1,3,5,7
/proc/21508/task/21572/stat : 21572 (java) S 21505 21508 19941 0 -1 1077944384 12649 13301 0 0 233 4 5 2 20 0 15 0 473579722 11107315712 622341 33554432000 4194304 4196468 140736883017408 139692889532528 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21573] ppid=21505 vsize=10846988 memory=2489364 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21573/stat : 21573 (java) S 21505 21508 19941 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 473579723 11107315712 622341 33554432000 4194304 4196468 140736883017408 139691730921696 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21574] ppid=21505 vsize=10846988 memory=516 CPUtime=1.39 cores=1,3,5,7
/proc/21508/task/21574/stat : 21574 (java) S 21505 21508 19941 0 -1 1077944384 1916 13301 0 0 60 72 5 2 20 0 15 0 473579723 11107315712 622341 33554432000 4194304 4196468 140736883017408 139692888480944 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
Current children cumulated CPU time: 2440.95 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2489364 KiB
[startup+2442.3 s]
/proc/loadavg: 1.44 1.48 1.86 3/227 22079
/proc/meminfo: memFree=8067680/32770624 swapFree=66955216/67108860
[pid=21508] ppid=21505 vsize=10846988 memory=2491460 CPUtime=2502.13 cores=1,3,5,7
/proc/21508/stat : 21508 (java) S 21505 21508 19941 0 -1 1077944320 537416 13301 0 0 249787 419 5 2 20 0 15 0 473579708 11107315712 622865 33554432000 4194304 4196468 140736883017408 140736882999952 139693467860727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
/proc/21508/statm: 2711747 622865 3638 1 0 2673805 0
[pid=21508/tid=21561] ppid=21505 vsize=10846988 memory=2491456 CPUtime=2418.35 cores=1,3,5,7
/proc/21508/task/21561/stat : 21561 (java) R 21505 21508 19941 0 -1 4202560 257424 13301 0 0 241732 96 5 2 20 0 15 0 473579717 11107315712 622865 33554432000 4194304 4196468 140736883017408 139693439696336 139693041663651 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21562] ppid=21505 vsize=10846988 memory=2491460 CPUtime=14.12 cores=1,3,5,7
/proc/21508/task/21562/stat : 21562 (java) S 21505 21508 19941 0 -1 1077944384 44751 13301 0 0 1355 50 5 2 20 0 15 0 473579718 11107315712 622865 33554432000 4194304 4196468 140736883017408 139693472103056 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21563] ppid=21505 vsize=10846988 memory=2491460 CPUtime=14.16 cores=1,3,5,7
/proc/21508/task/21563/stat : 21563 (java) S 21505 21508 19941 0 -1 1077944384 57900 13301 0 0 1347 62 5 2 20 0 15 0 473579718 11107315712 622865 33554432000 4194304 4196468 140736883017408 139693360376336 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21564] ppid=21505 vsize=10846988 memory=2491456 CPUtime=14.07 cores=1,3,5,7
/proc/21508/task/21564/stat : 21564 (java) S 21505 21508 19941 0 -1 1077944384 45275 13301 0 0 1342 58 5 2 20 0 15 0 473579718 11107315712 622865 33554432000 4194304 4196468 140736883017408 139693359323536 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21565] ppid=21505 vsize=10846988 memory=2491440 CPUtime=14.1 cores=1,3,5,7
/proc/21508/task/21565/stat : 21565 (java) S 21505 21508 19941 0 -1 1077944384 51127 13301 0 0 1345 58 5 2 20 0 15 0 473579718 11107315712 622865 33554432000 4194304 4196468 140736883017408 139693358270736 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21566] ppid=21505 vsize=10846988 memory=2491456 CPUtime=8.06 cores=1,3,5,7
/proc/21508/task/21566/stat : 21566 (java) S 21505 21508 19941 0 -1 1077944384 36234 13301 0 0 750 49 5 2 20 0 15 0 473579719 11107315712 622865 33554432000 4194304 4196468 140736883017408 139692926249840 139693467871874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21567] ppid=21505 vsize=10846988 memory=2491456 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21567/stat : 21567 (java) S 21505 21508 19941 0 -1 1077944384 47 13301 0 0 0 0 5 2 20 0 15 0 473579719 11107315712 622865 33554432000 4194304 4196468 140736883017408 139692925195872 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21568] ppid=21505 vsize=10846988 memory=2491460 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21568/stat : 21568 (java) S 21505 21508 19941 0 -1 1077944384 6 13301 0 0 0 0 5 2 20 0 15 0 473579720 11107315712 622865 33554432000 4194304 4196468 140736883017408 139692804662656 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21569] ppid=21505 vsize=10846988 memory=2016 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21569/stat : 21569 (java) S 21505 21508 19941 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 473579722 11107315712 622865 33554432000 4194304 4196468 140736883017408 139691999357264 139693467879323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21570] ppid=21505 vsize=10846988 memory=2491460 CPUtime=7.79 cores=1,3,5,7
/proc/21508/task/21570/stat : 21570 (java) S 21505 21508 19941 0 -1 1077944384 13359 13301 0 0 769 3 5 2 20 0 15 0 473579722 11107315712 622865 33554432000 4194304 4196468 140736883017408 139692891638128 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21571] ppid=21505 vsize=10846988 memory=2491460 CPUtime=8.13 cores=1,3,5,7
/proc/21508/task/21571/stat : 21571 (java) S 21505 21508 19941 0 -1 1077944384 14483 13301 0 0 802 4 5 2 20 0 15 0 473579722 11107315712 622865 33554432000 4194304 4196468 140736883017408 139692890585328 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21572] ppid=21505 vsize=10846988 memory=2491460 CPUtime=2.44 cores=1,3,5,7
/proc/21508/task/21572/stat : 21572 (java) S 21505 21508 19941 0 -1 1077944384 12653 13301 0 0 233 4 5 2 20 0 15 0 473579722 11107315712 622865 33554432000 4194304 4196468 140736883017408 139692889532528 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21573] ppid=21505 vsize=10846988 memory=2491460 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21573/stat : 21573 (java) S 21505 21508 19941 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 473579723 11107315712 622865 33554432000 4194304 4196468 140736883017408 139691730921696 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21574] ppid=21505 vsize=10846988 memory=2491460 CPUtime=1.43 cores=1,3,5,7
/proc/21508/task/21574/stat : 21574 (java) S 21505 21508 19941 0 -1 1077944384 1947 13301 0 0 62 74 5 2 20 0 15 0 473579723 11107315712 622865 33554432000 4194304 4196468 140736883017408 139692888480944 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
Current children cumulated CPU time: 2502.13 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2491460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2459.9 s]
/proc/loadavg: 1.20 1.43 1.84 3/227 22079
/proc/meminfo: memFree=8067888/32770624 swapFree=66955216/67108860
[pid=21508] ppid=21505 vsize=10846988 memory=2491476 CPUtime=2520.08 cores=1,3,5,7
/proc/21508/stat : 21508 (java) S 21505 21508 19941 0 -1 1077944320 538411 13301 0 0 251580 421 5 2 20 0 15 0 473579708 11107315712 622869 33554432000 4194304 4196468 140736883017408 140736882999952 139693467860727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
/proc/21508/statm: 2711747 622869 3638 1 0 2673805 0
[pid=21508/tid=21561] ppid=21505 vsize=10846988 memory=2491476 CPUtime=2435.76 cores=1,3,5,7
/proc/21508/task/21561/stat : 21561 (java) R 21505 21508 19941 0 -1 4202560 257818 13301 0 0 243472 97 5 2 20 0 15 0 473579717 11107315712 622869 33554432000 4194304 4196468 140736883017408 139693439696576 139693042292004 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21562] ppid=21505 vsize=10846988 memory=2491476 CPUtime=14.23 cores=1,3,5,7
/proc/21508/task/21562/stat : 21562 (java) S 21505 21508 19941 0 -1 1077944384 44900 13301 0 0 1366 50 5 2 20 0 15 0 473579718 11107315712 622869 33554432000 4194304 4196468 140736883017408 139693472103056 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21563] ppid=21505 vsize=10846988 memory=2491476 CPUtime=14.27 cores=1,3,5,7
/proc/21508/task/21563/stat : 21563 (java) S 21505 21508 19941 0 -1 1077944384 58068 13301 0 0 1358 62 5 2 20 0 15 0 473579718 11107315712 622869 33554432000 4194304 4196468 140736883017408 139693360376336 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21564] ppid=21505 vsize=10846988 memory=7158596296720147044 CPUtime=14.19 cores=1,3,5,7
/proc/21508/task/21564/stat : 21564 (java) S 21505 21508 19941 0 -1 1077944384 45298 13301 0 0 1354 58 5 2 20 0 15 0 473579718 11107315712 622869 33554432000 4194304 4196468 140736883017408 139693359323536 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21565] ppid=21505 vsize=10846988 memory=2491476 CPUtime=14.21 cores=1,3,5,7
/proc/21508/task/21565/stat : 21565 (java) S 21505 21508 19941 0 -1 1077944384 51181 13301 0 0 1356 58 5 2 20 0 15 0 473579718 11107315712 622869 33554432000 4194304 4196468 140736883017408 139693358270736 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21566] ppid=21505 vsize=10846988 memory=280422709876672 CPUtime=8.13 cores=1,3,5,7
/proc/21508/task/21566/stat : 21566 (java) S 21505 21508 19941 0 -1 1077944384 36421 13301 0 0 756 50 5 2 20 0 15 0 473579719 11107315712 622869 33554432000 4194304 4196468 140736883017408 139692926249840 139693467871874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21567] ppid=21505 vsize=10846988 memory=-7029379521808015264 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21567/stat : 21567 (java) S 21505 21508 19941 0 -1 1077944384 47 13301 0 0 0 0 5 2 20 0 15 0 473579719 11107315712 622869 33554432000 4194304 4196468 140736883017408 139692925195872 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21568] ppid=21505 vsize=10846988 memory=2491476 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21568/stat : 21568 (java) S 21505 21508 19941 0 -1 1077944384 6 13301 0 0 0 0 5 2 20 0 15 0 473579720 11107315712 622869 33554432000 4194304 4196468 140736883017408 139692804662656 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21569] ppid=21505 vsize=10846988 memory=2491476 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21569/stat : 21569 (java) S 21505 21508 19941 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 473579722 11107315712 622869 33554432000 4194304 4196468 140736883017408 139691999357264 139693467879323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21570] ppid=21505 vsize=10846988 memory=2491476 CPUtime=7.79 cores=1,3,5,7
/proc/21508/task/21570/stat : 21570 (java) S 21505 21508 19941 0 -1 1077944384 13361 13301 0 0 769 3 5 2 20 0 15 0 473579722 11107315712 622869 33554432000 4194304 4196468 140736883017408 139692891638128 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21571] ppid=21505 vsize=10846988 memory=2491476 CPUtime=8.13 cores=1,3,5,7
/proc/21508/task/21571/stat : 21571 (java) S 21505 21508 19941 0 -1 1077944384 14485 13301 0 0 802 4 5 2 20 0 15 0 473579722 11107315712 622869 33554432000 4194304 4196468 140736883017408 139692890585328 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21572] ppid=21505 vsize=10846988 memory=1556 CPUtime=2.44 cores=1,3,5,7
/proc/21508/task/21572/stat : 21572 (java) S 21505 21508 19941 0 -1 1077944384 12655 13301 0 0 233 4 5 2 20 0 15 0 473579722 11107315712 622869 33554432000 4194304 4196468 140736883017408 139692889532528 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21573] ppid=21505 vsize=10846988 memory=2491476 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21573/stat : 21573 (java) S 21505 21508 19941 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 473579723 11107315712 622869 33554432000 4194304 4196468 140736883017408 139691730921696 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21574] ppid=21505 vsize=10846988 memory=2491476 CPUtime=1.44 cores=1,3,5,7
/proc/21508/task/21574/stat : 21574 (java) S 21505 21508 19941 0 -1 1077944384 1961 13301 0 0 62 75 5 2 20 0 15 0 473579723 11107315712 622869 33554432000 4194304 4196468 140736883017408 139692888480944 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2491476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2459.93 s]
# the end of solver process 21508 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.88 s, system=4.25733 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2459.9 s]
/proc/loadavg: 1.20 1.43 1.84 3/227 22079
/proc/meminfo: memFree=8067888/32770624 swapFree=66955216/67108860
[pid=21508] ppid=21505 vsize=10846988 memory=2491476 CPUtime=2520.08 cores=1,3,5,7
/proc/21508/stat : 21508 (java) S 21505 21508 19941 0 -1 1077944320 538411 13301 0 0 251580 421 5 2 20 0 15 0 473579708 11107315712 622869 33554432000 4194304 4196468 140736883017408 140736882999952 139693467860727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
/proc/21508/statm: 2711747 622869 3638 1 0 2673805 0
[pid=21508/tid=21561] ppid=21505 vsize=10846988 memory=2491476 CPUtime=2435.76 cores=1,3,5,7
/proc/21508/task/21561/stat : 21561 (java) R 21505 21508 19941 0 -1 4202560 257818 13301 0 0 243472 97 5 2 20 0 15 0 473579717 11107315712 622869 33554432000 4194304 4196468 140736883017408 139693439696576 139693042292004 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21562] ppid=21505 vsize=10846988 memory=2491476 CPUtime=14.23 cores=1,3,5,7
/proc/21508/task/21562/stat : 21562 (java) S 21505 21508 19941 0 -1 1077944384 44900 13301 0 0 1366 50 5 2 20 0 15 0 473579718 11107315712 622869 33554432000 4194304 4196468 140736883017408 139693472103056 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21563] ppid=21505 vsize=10846988 memory=2491476 CPUtime=14.27 cores=1,3,5,7
/proc/21508/task/21563/stat : 21563 (java) S 21505 21508 19941 0 -1 1077944384 58068 13301 0 0 1358 62 5 2 20 0 15 0 473579718 11107315712 622869 33554432000 4194304 4196468 140736883017408 139693360376336 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21564] ppid=21505 vsize=10846988 memory=7158596296720147044 CPUtime=14.19 cores=1,3,5,7
/proc/21508/task/21564/stat : 21564 (java) S 21505 21508 19941 0 -1 1077944384 45298 13301 0 0 1354 58 5 2 20 0 15 0 473579718 11107315712 622869 33554432000 4194304 4196468 140736883017408 139693359323536 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21565] ppid=21505 vsize=10846988 memory=2491476 CPUtime=14.21 cores=1,3,5,7
/proc/21508/task/21565/stat : 21565 (java) S 21505 21508 19941 0 -1 1077944384 51181 13301 0 0 1356 58 5 2 20 0 15 0 473579718 11107315712 622869 33554432000 4194304 4196468 140736883017408 139693358270736 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21566] ppid=21505 vsize=10846988 memory=280422709876672 CPUtime=8.13 cores=1,3,5,7
/proc/21508/task/21566/stat : 21566 (java) S 21505 21508 19941 0 -1 1077944384 36421 13301 0 0 756 50 5 2 20 0 15 0 473579719 11107315712 622869 33554432000 4194304 4196468 140736883017408 139692926249840 139693467871874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21567] ppid=21505 vsize=10846988 memory=-7029379521808015264 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21567/stat : 21567 (java) S 21505 21508 19941 0 -1 1077944384 47 13301 0 0 0 0 5 2 20 0 15 0 473579719 11107315712 622869 33554432000 4194304 4196468 140736883017408 139692925195872 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21568] ppid=21505 vsize=10846988 memory=2491476 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21568/stat : 21568 (java) S 21505 21508 19941 0 -1 1077944384 6 13301 0 0 0 0 5 2 20 0 15 0 473579720 11107315712 622869 33554432000 4194304 4196468 140736883017408 139692804662656 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21569] ppid=21505 vsize=10846988 memory=2491476 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21569/stat : 21569 (java) S 21505 21508 19941 0 -1 1077944384 2 13301 0 0 0 0 5 2 20 0 15 0 473579722 11107315712 622869 33554432000 4194304 4196468 140736883017408 139691999357264 139693467879323 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21570] ppid=21505 vsize=10846988 memory=2491476 CPUtime=7.79 cores=1,3,5,7
/proc/21508/task/21570/stat : 21570 (java) S 21505 21508 19941 0 -1 1077944384 13361 13301 0 0 769 3 5 2 20 0 15 0 473579722 11107315712 622869 33554432000 4194304 4196468 140736883017408 139692891638128 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21571] ppid=21505 vsize=10846988 memory=2491476 CPUtime=8.13 cores=1,3,5,7
/proc/21508/task/21571/stat : 21571 (java) S 21505 21508 19941 0 -1 1077944384 14485 13301 0 0 802 4 5 2 20 0 15 0 473579722 11107315712 622869 33554432000 4194304 4196468 140736883017408 139692890585328 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21572] ppid=21505 vsize=10846988 memory=1556 CPUtime=2.44 cores=1,3,5,7
/proc/21508/task/21572/stat : 21572 (java) S 21505 21508 19941 0 -1 1077944384 12655 13301 0 0 233 4 5 2 20 0 15 0 473579722 11107315712 622869 33554432000 4194304 4196468 140736883017408 139692889532528 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21573] ppid=21505 vsize=10846988 memory=2491476 CPUtime=0.07 cores=1,3,5,7
/proc/21508/task/21573/stat : 21573 (java) S 21505 21508 19941 0 -1 1077944384 3 13301 0 0 0 0 5 2 20 0 15 0 473579723 11107315712 622869 33554432000 4194304 4196468 140736883017408 139691730921696 139693467870933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
[pid=21508/tid=21574] ppid=21505 vsize=10846988 memory=2491476 CPUtime=1.44 cores=1,3,5,7
/proc/21508/task/21574/stat : 21574 (java) S 21505 21508 19941 0 -1 1077944384 1961 13301 0 0 62 75 5 2 20 0 15 0 473579723 11107315712 622869 33554432000 4194304 4196468 140736883017408 139692888480944 139693467871874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8040448 140736883022435 140736883025077 140736883025077 140736883027919 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2491476 KiB
Child status: 143
Real time (s): 2459.93
CPU time (s): 2520.13
CPU user time (s): 2515.88
CPU system time (s): 4.25733
CPU usage (%): 102.447
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 2831964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.88
system time used= 4.25733
maximum resident set size= 2833024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 552903
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 225642
involuntary context switches= 4915
# summary of solver processes directly reported to runsolver:
# pid: 21508
# total CPU time (s): 2520.13
# total CPU user time (s): 2515.88
# total CPU system time (s): 4.25733
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9757 second user time and 22.1277 second system time
The end