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 (11627 MiB free)
memory of node 1: 16384 MiB (13842 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400968-1568674480/watcher-4400968-1568674480 -o /tmp/evaluation-result-4400968-1568674480/solver-4400968-1568674480 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568673290-15914 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1723364239 HOME/instance-4400968-1568674480.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16497, runsolver pid=16494
Current StackSize limit: 8192 KiB
[startup+0.100163 s]*
/proc/loadavg: 1.65 1.50 1.59 3/215 16550
/proc/meminfo: memFree=26074384/32770624 swapFree=66999436/67108860
[pid=16497] ppid=16494 vsize=9972712 memory=16816 CPUtime=0.09 cores=0,2,4,6
/proc/16497/stat : 16497 (java) S 16494 16497 15883 0 -1 1077944320 4417 13331 0 0 1 0 5 3 20 0 6 0 443386475 10212057088 4138 33554432000 4194304 4196468 140726147586544 140726147569088 140409179401975 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
/proc/16497/statm: 2493178 4138 1933 1 0 2481616 0
[pid=16497/tid=16550] ppid=16494 vsize=9972712 memory=4279135704013571469 CPUtime=0.09 cores=0,2,4,6
/proc/16497/task/16550/stat : 16550 (java) R 16494 16497 15883 0 -1 4202560 2218 13331 0 0 1 0 5 3 20 0 6 0 443386484 10212057088 4204 33554432000 4194304 4196468 140726147586544 140409151238736 140409163482462 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16551] ppid=16494 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16551/stat : 16551 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 6 0 443386485 10212057088 4204 33554432000 4194304 4196468 140726147586544 140409183644688 140409179412181 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16552] ppid=16494 vsize=9972712 memory=140624915457664 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16552/stat : 16552 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 6 0 443386485 10212057088 4204 33554432000 4194304 4196468 140726147586544 140409071918224 140409179412181 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16553] ppid=16494 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16553/stat : 16553 (java) S 16494 16497 15883 0 -1 1077944384 2 13331 0 0 0 0 5 3 20 0 6 0 443386485 10212057088 4204 33554432000 4194304 4196468 140726147586544 140409070865168 140409179412181 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16554] ppid=16494 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16554/stat : 16554 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 6 0 443386485 10212057088 4204 33554432000 4194304 4196468 140726147586544 140409069812624 140409179412181 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB
[startup+0.210167 s]*
/proc/loadavg: 1.65 1.50 1.59 4/228 16563
/proc/meminfo: memFree=26054840/32770624 swapFree=66999436/67108860
[pid=16497] ppid=16494 vsize=10820196 memory=40412 CPUtime=0.26 cores=0,2,4,6
/proc/16497/stat : 16497 (java) S 16494 16497 15883 0 -1 1077944320 7433 13331 0 0 17 1 5 3 20 0 15 0 443386475 11079880704 10103 33554432000 4194304 4196468 140726147586544 140726147569088 140409179401975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
/proc/16497/statm: 2705049 10103 3296 1 0 2667149 0
[pid=16497/tid=16550] ppid=16494 vsize=10820196 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/16497/task/16550/stat : 16550 (java) R 16494 16497 15883 0 -1 4202560 3918 13331 0 0 11 1 5 3 20 0 15 0 443386484 11079880704 10103 33554432000 4194304 4196468 140726147586544 140409151216160 140409179423901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16551] ppid=16494 vsize=10820196 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16551/stat : 16551 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386485 11079880704 10103 33554432000 4194304 4196468 140726147586544 140409183644688 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16552] ppid=16494 vsize=10820196 memory=140624918794337 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16552/stat : 16552 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386485 11079880704 10103 33554432000 4194304 4196468 140726147586544 140409071918224 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16553] ppid=16494 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16553/stat : 16553 (java) S 16494 16497 15883 0 -1 1077944384 2 13331 0 0 0 0 5 3 20 0 15 0 443386485 11079880704 10103 33554432000 4194304 4196468 140726147586544 140409070865168 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16554] ppid=16494 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16554/stat : 16554 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386485 11079880704 10103 33554432000 4194304 4196468 140726147586544 140409069812624 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16555] ppid=16494 vsize=10820196 memory=140624915457664 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16555/stat : 16555 (java) S 16494 16497 15883 0 -1 1077944384 2 13331 0 0 0 0 5 3 20 0 15 0 443386486 11079880704 10103 33554432000 4194304 4196468 140726147586544 140408638855408 140409179413122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16556] ppid=16494 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16556/stat : 16556 (java) S 16494 16497 15883 0 -1 1077944384 33 13331 0 0 0 0 5 3 20 0 15 0 443386486 11079880704 10103 33554432000 4194304 4196468 140726147586544 140408637801632 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16557] ppid=16494 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16557/stat : 16557 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386487 11079880704 10103 33554432000 4194304 4196468 140726147586544 140408050934512 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16558] ppid=16494 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16558/stat : 16558 (java) S 16494 16497 15883 0 -1 1077944384 3 13331 0 0 0 0 5 3 20 0 15 0 443386489 11079880704 10103 33554432000 4194304 4196468 140726147586544 140407743535056 140409179420571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16559] ppid=16494 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16497/task/16559/stat : 16559 (java) S 16494 16497 15883 0 -1 1077944384 466 13331 0 0 1 0 5 3 20 0 15 0 443386489 11079880704 10103 33554432000 4194304 4196468 140726147586544 140408604244720 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16560] ppid=16494 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/16497/task/16560/stat : 16560 (java) S 16494 16497 15883 0 -1 1077944384 195 13331 0 0 1 0 5 3 20 0 15 0 443386489 11079880704 10103 33554432000 4194304 4196468 140726147586544 140408603192176 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16561] ppid=16494 vsize=10820196 memory=140624915457664 CPUtime=0.11 cores=0,2,4,6
/proc/16497/task/16561/stat : 16561 (java) S 16494 16497 15883 0 -1 1077944384 600 13331 0 0 3 0 5 3 20 0 15 0 443386489 11079880704 10103 33554432000 4194304 4196468 140726147586544 140408602139120 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16562] ppid=16494 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16562/stat : 16562 (java) S 16494 16497 15883 0 -1 1077944384 3 13331 0 0 0 0 5 3 20 0 15 0 443386490 11079880704 10103 33554432000 4194304 4196468 140726147586544 140407709977440 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16563] ppid=16494 vsize=10820196 memory=140624915457664 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16563/stat : 16563 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386490 11079880704 10103 33554432000 4194304 4196468 140726147586544 140408601086512 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 40412 KiB
[startup+0.310556 s]*
/proc/loadavg: 1.65 1.50 1.59 4/228 16563
/proc/meminfo: memFree=26042412/32770624 swapFree=66999436/67108860
[pid=16497] ppid=16494 vsize=10820196 memory=48684 CPUtime=0.4 cores=0,2,4,6
/proc/16497/stat : 16497 (java) S 16494 16497 15883 0 -1 1077944320 10918 13331 0 0 29 3 5 3 20 0 15 0 443386475 11079880704 12171 33554432000 4194304 4196468 140726147586544 140726147569088 140409179401975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
/proc/16497/statm: 2705049 12171 3312 1 0 2667149 0
[pid=16497/tid=16550] ppid=16494 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/16497/task/16550/stat : 16550 (java) R 16494 16497 15883 0 -1 4202560 7392 13331 0 0 19 2 5 3 20 0 15 0 443386484 11079880704 12171 33554432000 4194304 4196468 140726147586544 140409151210928 140409179423901 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16551] ppid=16494 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16551/stat : 16551 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386485 11079880704 12171 33554432000 4194304 4196468 140726147586544 140409183644688 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16552] ppid=16494 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16552/stat : 16552 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386485 11079880704 12171 33554432000 4194304 4196468 140726147586544 140409071918224 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16553] ppid=16494 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16553/stat : 16553 (java) S 16494 16497 15883 0 -1 1077944384 2 13331 0 0 0 0 5 3 20 0 15 0 443386485 11079880704 12171 33554432000 4194304 4196468 140726147586544 140409070865168 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16554] ppid=16494 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16554/stat : 16554 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386485 11079880704 12171 33554432000 4194304 4196468 140726147586544 140409069812624 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16555] ppid=16494 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16555/stat : 16555 (java) S 16494 16497 15883 0 -1 1077944384 2 13331 0 0 0 0 5 3 20 0 15 0 443386486 11079880704 12171 33554432000 4194304 4196468 140726147586544 140408638855408 140409179413122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16556] ppid=16494 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16556/stat : 16556 (java) S 16494 16497 15883 0 -1 1077944384 33 13331 0 0 0 0 5 3 20 0 15 0 443386486 11079880704 12171 33554432000 4194304 4196468 140726147586544 140408637801632 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16557] ppid=16494 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16557/stat : 16557 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386487 11079880704 12171 33554432000 4194304 4196468 140726147586544 140408050934512 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16558] ppid=16494 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16558/stat : 16558 (java) S 16494 16497 15883 0 -1 1077944384 3 13331 0 0 0 0 5 3 20 0 15 0 443386489 11079880704 12171 33554432000 4194304 4196468 140726147586544 140407743535056 140409179420571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16559] ppid=16494 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/16497/task/16559/stat : 16559 (java) S 16494 16497 15883 0 -1 1077944384 468 13331 0 0 2 0 5 3 20 0 15 0 443386489 11079880704 12171 33554432000 4194304 4196468 140726147586544 140408604244720 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16560] ppid=16494 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/16497/task/16560/stat : 16560 (java) S 16494 16497 15883 0 -1 1077944384 195 13331 0 0 1 0 5 3 20 0 15 0 443386489 11079880704 12171 33554432000 4194304 4196468 140726147586544 140408603192176 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16561] ppid=16494 vsize=10820196 memory=140624915457664 CPUtime=0.13 cores=0,2,4,6
/proc/16497/task/16561/stat : 16561 (java) S 16494 16497 15883 0 -1 1077944384 609 13331 0 0 5 0 5 3 20 0 15 0 443386489 11079880704 12171 33554432000 4194304 4196468 140726147586544 140408602139120 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16562] ppid=16494 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16562/stat : 16562 (java) S 16494 16497 15883 0 -1 1077944384 3 13331 0 0 0 0 5 3 20 0 15 0 443386490 11079880704 12171 33554432000 4194304 4196468 140726147586544 140407709977440 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16563] ppid=16494 vsize=10820196 memory=140624915457664 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16563/stat : 16563 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386490 11079880704 12171 33554432000 4194304 4196468 140726147586544 140408601086512 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48684 KiB
[startup+0.700744 s]
/proc/loadavg: 1.65 1.50 1.59 4/228 16563
/proc/meminfo: memFree=26027884/32770624 swapFree=66999436/67108860
[pid=16497] ppid=16494 vsize=10824364 memory=80984 CPUtime=1.13 cores=0,2,4,6
/proc/16497/stat : 16497 (java) S 16494 16497 15883 0 -1 1077944320 15042 13331 0 0 100 5 5 3 20 0 15 0 443386475 11084148736 20246 33554432000 4194304 4196468 140726147586544 140726147569088 140409179401975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
/proc/16497/statm: 2706091 20246 3497 1 0 2668173 0
[pid=16497/tid=16550] ppid=16494 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/16497/task/16550/stat : 16550 (java) R 16494 16497 15883 0 -1 4202560 10577 13331 0 0 55 4 5 3 20 0 15 0 443386484 11084148736 20246 33554432000 4194304 4196468 140726147586544 140409151231520 140409163482462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16551] ppid=16494 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16551/stat : 16551 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386485 11084148736 20246 33554432000 4194304 4196468 140726147586544 140409183644688 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16552] ppid=16494 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16552/stat : 16552 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386485 11084148736 20246 33554432000 4194304 4196468 140726147586544 140409071918224 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16553] ppid=16494 vsize=10824364 memory=140624812716816 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16553/stat : 16553 (java) S 16494 16497 15883 0 -1 1077944384 2 13331 0 0 0 0 5 3 20 0 15 0 443386485 11084148736 20246 33554432000 4194304 4196468 140726147586544 140409070865168 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16554] ppid=16494 vsize=10824364 memory=140625819206236 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16554/stat : 16554 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386485 11084148736 20246 33554432000 4194304 4196468 140726147586544 140409069812624 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16555] ppid=16494 vsize=10824364 memory=612 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16555/stat : 16555 (java) S 16494 16497 15883 0 -1 1077944384 5 13331 0 0 0 0 5 3 20 0 15 0 443386486 11084148736 20246 33554432000 4194304 4196468 140726147586544 140408638855408 140409179413122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16556] ppid=16494 vsize=10824364 memory=7302135314614015845 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16556/stat : 16556 (java) S 16494 16497 15883 0 -1 1077944384 33 13331 0 0 0 0 5 3 20 0 15 0 443386486 11084148736 20246 33554432000 4194304 4196468 140726147586544 140408637801632 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16557] ppid=16494 vsize=10824364 memory=6081102367496956009 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16557/stat : 16557 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386487 11084148736 20246 33554432000 4194304 4196468 140726147586544 140408050934512 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16558] ppid=16494 vsize=10824364 memory=14060 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16558/stat : 16558 (java) S 16494 16497 15883 0 -1 1077944384 3 13331 0 0 0 0 5 3 20 0 15 0 443386489 11084148736 20246 33554432000 4194304 4196468 140726147586544 140407743535056 140409179420571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16559] ppid=16494 vsize=10824364 memory=2116 CPUtime=0.22 cores=0,2,4,6
/proc/16497/task/16559/stat : 16559 (java) S 16494 16497 15883 0 -1 1077944384 853 13331 0 0 14 0 5 3 20 0 15 0 443386489 11084148736 20246 33554432000 4194304 4196468 140726147586544 140408604244720 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16560] ppid=16494 vsize=10824364 memory=23216 CPUtime=0.19 cores=0,2,4,6
/proc/16497/task/16560/stat : 16560 (java) R 16494 16497 15883 0 -1 4202560 567 13331 0 0 11 0 5 3 20 0 15 0 443386489 11084148736 20246 33554432000 4194304 4196468 140726147586544 140408603192176 140409159238327 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16561] ppid=16494 vsize=10824364 memory=532 CPUtime=0.25 cores=0,2,4,6
/proc/16497/task/16561/stat : 16561 (java) S 16494 16497 15883 0 -1 1077944384 789 13331 0 0 17 0 5 3 20 0 15 0 443386489 11084148736 20246 33554432000 4194304 4196468 140726147586544 140408602139120 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16562] ppid=16494 vsize=10824364 memory=1556 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16562/stat : 16562 (java) S 16494 16497 15883 0 -1 1077944384 3 13331 0 0 0 0 5 3 20 0 15 0 443386490 11084148736 20246 33554432000 4194304 4196468 140726147586544 140407709977440 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16563] ppid=16494 vsize=10824364 memory=932 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16563/stat : 16563 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386490 11084148736 20246 33554432000 4194304 4196468 140726147586544 140408601086512 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 80984 KiB
[startup+1.50072 s]
/proc/loadavg: 1.65 1.50 1.59 4/228 16563
/proc/meminfo: memFree=26027884/32770624 swapFree=66999436/67108860
[pid=16497] ppid=16494 vsize=10830584 memory=199840 CPUtime=3.34 cores=0,2,4,6
/proc/16497/stat : 16497 (java) S 16494 16497 15883 0 -1 1077944320 26494 13331 0 0 317 9 5 3 20 0 15 0 443386475 11090518016 49960 33554432000 4194304 4196468 140726147586544 140726147569088 140409179401975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
/proc/16497/statm: 2707646 49960 3553 1 0 2669709 0
[pid=16497/tid=16550] ppid=16494 vsize=10830584 memory=2116 CPUtime=1.47 cores=0,2,4,6
/proc/16497/task/16550/stat : 16550 (java) R 16494 16497 15883 0 -1 4202560 13716 13331 0 0 133 6 5 3 20 0 15 0 443386484 11090518016 49960 33554432000 4194304 4196468 140726147586544 140409151237168 140409163482462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16551] ppid=16494 vsize=10830584 memory=23216 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16551/stat : 16551 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386485 11090518016 49960 33554432000 4194304 4196468 140726147586544 140409183644688 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16552] ppid=16494 vsize=10830584 memory=7163353879000672089 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16552/stat : 16552 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386485 11090518016 49960 33554432000 4194304 4196468 140726147586544 140409071918224 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16553] ppid=16494 vsize=10830584 memory=7377290194470594648 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16553/stat : 16553 (java) S 16494 16497 15883 0 -1 1077944384 2 13331 0 0 0 0 5 3 20 0 15 0 443386485 11090518016 49960 33554432000 4194304 4196468 140726147586544 140409070865168 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16554] ppid=16494 vsize=10830584 memory=7084277015736117348 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16554/stat : 16554 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386485 11090518016 49960 33554432000 4194304 4196468 140726147586544 140409069812624 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16555] ppid=16494 vsize=10830584 memory=7163353879000672089 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16555/stat : 16555 (java) S 16494 16497 15883 0 -1 1077944384 15 13331 0 0 0 0 5 3 20 0 15 0 443386486 11090518016 49960 33554432000 4194304 4196468 140726147586544 140408638855408 140409179413122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16556] ppid=16494 vsize=10830584 memory=7374756971252574313 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16556/stat : 16556 (java) S 16494 16497 15883 0 -1 1077944384 33 13331 0 0 0 0 5 3 20 0 15 0 443386486 11090518016 49960 33554432000 4194304 4196468 140726147586544 140408637801632 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16557] ppid=16494 vsize=10830584 memory=7230645137513669738 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16557/stat : 16557 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386487 11090518016 49960 33554432000 4194304 4196468 140726147586544 140408050934512 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16558] ppid=16494 vsize=10830584 memory=7086242951066313069 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16558/stat : 16558 (java) S 16494 16497 15883 0 -1 1077944384 3 13331 0 0 0 0 5 3 20 0 15 0 443386489 11090518016 49960 33554432000 4194304 4196468 140726147586544 140407743535056 140409179420571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16559] ppid=16494 vsize=10830584 memory=7014189772237792876 CPUtime=0.82 cores=0,2,4,6
/proc/16497/task/16559/stat : 16559 (java) R 16494 16497 15883 0 -1 4202560 4818 13331 0 0 73 1 5 3 20 0 15 0 443386489 11090518016 49960 33554432000 4194304 4196468 140726147586544 140408604231536 140409160947280 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16560] ppid=16494 vsize=10830584 memory=7662422228459741548 CPUtime=0.77 cores=0,2,4,6
/proc/16497/task/16560/stat : 16560 (java) S 16494 16497 15883 0 -1 1077944384 4124 13331 0 0 69 0 5 3 20 0 15 0 443386489 11090518016 49960 33554432000 4194304 4196468 140726147586544 140408603192176 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16561] ppid=16494 vsize=10830584 memory=7589531191689700716 CPUtime=0.48 cores=0,2,4,6
/proc/16497/task/16561/stat : 16561 (java) S 16494 16497 15883 0 -1 1077944384 1571 13331 0 0 40 0 5 3 20 0 15 0 443386489 11090518016 49960 33554432000 4194304 4196468 140726147586544 140408602139120 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16562] ppid=16494 vsize=10830584 memory=6010171790257581160 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16562/stat : 16562 (java) S 16494 16497 15883 0 -1 1077944384 3 13331 0 0 0 0 5 3 20 0 15 0 443386490 11090518016 49960 33554432000 4194304 4196468 140726147586544 140407709977440 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16563] ppid=16494 vsize=10830584 memory=7013620199511843693 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16563/stat : 16563 (java) S 16494 16497 15883 0 -1 1077944384 1 13331 0 0 0 0 5 3 20 0 15 0 443386490 11090518016 49960 33554432000 4194304 4196468 140726147586544 140408601086512 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
Current children cumulated CPU time: 3.34 s
Current children cumulated vsize: 10830584 KiB
################
# More data... #
################
/proc/16497/task/16550/stat : 16550 (java) R 16494 16497 15883 0 -1 4202560 86437 13331 0 0 235906 58 5 3 20 0 15 0 443386484 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409151236624 140408752751718 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16551] ppid=16494 vsize=10846988 memory=1999244 CPUtime=12.8 cores=0,2,4,6
/proc/16497/task/16551/stat : 16551 (java) S 16494 16497 15883 0 -1 1077944384 23271 13331 0 0 1217 55 5 3 20 0 15 0 443386485 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409183644688 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16552] ppid=16494 vsize=10846988 memory=1999244 CPUtime=12.76 cores=0,2,4,6
/proc/16497/task/16552/stat : 16552 (java) S 16494 16497 15883 0 -1 1077944384 22634 13331 0 0 1213 55 5 3 20 0 15 0 443386485 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409071918224 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16553] ppid=16494 vsize=10846988 memory=1999244 CPUtime=12.77 cores=0,2,4,6
/proc/16497/task/16553/stat : 16553 (java) S 16494 16497 15883 0 -1 1077944384 25700 13331 0 0 1214 55 5 3 20 0 15 0 443386485 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409070865168 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16554] ppid=16494 vsize=10846988 memory=1999244 CPUtime=12.77 cores=0,2,4,6
/proc/16497/task/16554/stat : 16554 (java) S 16494 16497 15883 0 -1 1077944384 20629 13331 0 0 1216 53 5 3 20 0 15 0 443386485 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409069812624 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16555] ppid=16494 vsize=10846988 memory=1999244 CPUtime=7.68 cores=0,2,4,6
/proc/16497/task/16555/stat : 16555 (java) S 16494 16497 15883 0 -1 1077944384 24960 13331 0 0 717 43 5 3 20 0 15 0 443386486 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408638855408 140409179413122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16556] ppid=16494 vsize=10846988 memory=1999244 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16556/stat : 16556 (java) S 16494 16497 15883 0 -1 1077944384 61 13331 0 0 0 0 5 3 20 0 15 0 443386486 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408637801696 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16557] ppid=16494 vsize=10846988 memory=1999244 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16557/stat : 16557 (java) S 16494 16497 15883 0 -1 1077944384 27 13331 0 0 0 0 5 3 20 0 15 0 443386487 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408050934528 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16558] ppid=16494 vsize=10846988 memory=1999244 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16558/stat : 16558 (java) S 16494 16497 15883 0 -1 1077944384 3 13331 0 0 0 0 5 3 20 0 15 0 443386489 11107315712 499811 33554432000 4194304 4196468 140726147586544 140407743535056 140409179420571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16559] ppid=16494 vsize=10846988 memory=1712 CPUtime=7.67 cores=0,2,4,6
/proc/16497/task/16559/stat : 16559 (java) S 16494 16497 15883 0 -1 1077944384 31450 13331 0 0 755 4 5 3 20 0 15 0 443386489 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408604244720 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16560] ppid=16494 vsize=10846988 memory=1999244 CPUtime=7.15 cores=0,2,4,6
/proc/16497/task/16560/stat : 16560 (java) S 16494 16497 15883 0 -1 1077944384 27451 13331 0 0 704 3 5 3 20 0 15 0 443386489 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408603192176 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16561] ppid=16494 vsize=10846988 memory=3624 CPUtime=2.22 cores=0,2,4,6
/proc/16497/task/16561/stat : 16561 (java) S 16494 16497 15883 0 -1 1077944384 15781 13331 0 0 211 3 5 3 20 0 15 0 443386489 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408602139120 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16562] ppid=16494 vsize=10846988 memory=1999244 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16562/stat : 16562 (java) S 16494 16497 15883 0 -1 1077944384 3 13331 0 0 0 0 5 3 20 0 15 0 443386490 11107315712 499811 33554432000 4194304 4196468 140726147586544 140407709977440 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16563] ppid=16494 vsize=10846988 memory=2828 CPUtime=1.47 cores=0,2,4,6
/proc/16497/task/16563/stat : 16563 (java) S 16494 16497 15883 0 -1 1077944384 2135 13331 0 0 68 71 5 3 20 0 15 0 443386490 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408601086512 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
Current children cumulated CPU time: 2436.42 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1999244 KiB
[startup+2442.3 s]
/proc/loadavg: 1.27 1.31 1.40 3/228 17075
/proc/meminfo: memFree=24659972/32770624 swapFree=66999436/67108860
[pid=16497] ppid=16494 vsize=10846988 memory=1999244 CPUtime=2497.49 cores=0,2,4,6
/proc/16497/stat : 16497 (java) S 16494 16497 15883 0 -1 1077944320 284852 13331 0 0 249373 368 5 3 20 0 15 0 443386475 11107315712 499811 33554432000 4194304 4196468 140726147586544 140726147569088 140409179401975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
/proc/16497/statm: 2711747 499811 3641 1 0 2673805 0
[pid=16497/tid=16550] ppid=16494 vsize=10846988 memory=1999244 CPUtime=2419.08 cores=0,2,4,6
/proc/16497/task/16550/stat : 16550 (java) R 16494 16497 15883 0 -1 4202560 87337 13331 0 0 241841 59 5 3 20 0 15 0 443386484 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409151238176 140408744202661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16551] ppid=16494 vsize=10846988 memory=1999244 CPUtime=13.17 cores=0,2,4,6
/proc/16497/task/16551/stat : 16551 (java) S 16494 16497 15883 0 -1 1077944384 23443 13331 0 0 1253 56 5 3 20 0 15 0 443386485 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409183644688 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16552] ppid=16494 vsize=10846988 memory=1999244 CPUtime=13.13 cores=0,2,4,6
/proc/16497/task/16552/stat : 16552 (java) S 16494 16497 15883 0 -1 1077944384 22913 13331 0 0 1248 57 5 3 20 0 15 0 443386485 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409071918224 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16553] ppid=16494 vsize=10846988 memory=1999244 CPUtime=13.14 cores=0,2,4,6
/proc/16497/task/16553/stat : 16553 (java) S 16494 16497 15883 0 -1 1077944384 26027 13331 0 0 1250 56 5 3 20 0 15 0 443386485 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409070865168 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16554] ppid=16494 vsize=10846988 memory=1999244 CPUtime=13.13 cores=0,2,4,6
/proc/16497/task/16554/stat : 16554 (java) S 16494 16497 15883 0 -1 1077944384 20740 13331 0 0 1251 54 5 3 20 0 15 0 443386485 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409069812624 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16555] ppid=16494 vsize=10846988 memory=1999244 CPUtime=7.9 cores=0,2,4,6
/proc/16497/task/16555/stat : 16555 (java) S 16494 16497 15883 0 -1 1077944384 25242 13331 0 0 737 45 5 3 20 0 15 0 443386486 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408638855408 140409179413122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16556] ppid=16494 vsize=10846988 memory=1999244 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16556/stat : 16556 (java) S 16494 16497 15883 0 -1 1077944384 61 13331 0 0 0 0 5 3 20 0 15 0 443386486 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408637801696 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16557] ppid=16494 vsize=10846988 memory=3680 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16557/stat : 16557 (java) S 16494 16497 15883 0 -1 1077944384 27 13331 0 0 0 0 5 3 20 0 15 0 443386487 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408050934528 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16558] ppid=16494 vsize=10846988 memory=1999244 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16558/stat : 16558 (java) S 16494 16497 15883 0 -1 1077944384 3 13331 0 0 0 0 5 3 20 0 15 0 443386489 11107315712 499811 33554432000 4194304 4196468 140726147586544 140407743535056 140409179420571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16559] ppid=16494 vsize=10846988 memory=1999244 CPUtime=7.67 cores=0,2,4,6
/proc/16497/task/16559/stat : 16559 (java) S 16494 16497 15883 0 -1 1077944384 31454 13331 0 0 755 4 5 3 20 0 15 0 443386489 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408604244720 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16560] ppid=16494 vsize=10846988 memory=1999244 CPUtime=7.15 cores=0,2,4,6
/proc/16497/task/16560/stat : 16560 (java) S 16494 16497 15883 0 -1 1077944384 27455 13331 0 0 704 3 5 3 20 0 15 0 443386489 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408603192176 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16561] ppid=16494 vsize=10846988 memory=1999244 CPUtime=2.22 cores=0,2,4,6
/proc/16497/task/16561/stat : 16561 (java) S 16494 16497 15883 0 -1 1077944384 15785 13331 0 0 211 3 5 3 20 0 15 0 443386489 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408602139120 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16562] ppid=16494 vsize=10846988 memory=1999244 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16562/stat : 16562 (java) S 16494 16497 15883 0 -1 1077944384 3 13331 0 0 0 0 5 3 20 0 15 0 443386490 11107315712 499811 33554432000 4194304 4196468 140726147586544 140407709977440 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16563] ppid=16494 vsize=10846988 memory=1999244 CPUtime=1.51 cores=0,2,4,6
/proc/16497/task/16563/stat : 16563 (java) S 16494 16497 15883 0 -1 1077944384 2156 13331 0 0 70 73 5 3 20 0 15 0 443386490 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408601086512 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
Current children cumulated CPU time: 2497.49 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1999244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2464.5 s]
/proc/loadavg: 1.31 1.32 1.40 3/227 17078
/proc/meminfo: memFree=24682996/32770624 swapFree=66999436/67108860
[pid=16497] ppid=16494 vsize=10846988 memory=1999244 CPUtime=2520.03 cores=0,2,4,6
/proc/16497/stat : 16497 (java) S 16494 16497 15883 0 -1 1077944320 285087 13331 0 0 251625 370 5 3 20 0 15 0 443386475 11107315712 499811 33554432000 4194304 4196468 140726147586544 140726147569088 140409179401975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
/proc/16497/statm: 2711747 499811 3641 1 0 2673805 0
[pid=16497/tid=16550] ppid=16494 vsize=10846988 memory=1999244 CPUtime=2441.05 cores=0,2,4,6
/proc/16497/task/16550/stat : 16550 (java) R 16494 16497 15883 0 -1 4202560 87499 13331 0 0 244038 59 5 3 20 0 15 0 443386484 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409151237488 140408755684540 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16551] ppid=16494 vsize=10846988 memory=1999244 CPUtime=13.28 cores=0,2,4,6
/proc/16497/task/16551/stat : 16551 (java) S 16494 16497 15883 0 -1 1077944384 23445 13331 0 0 1264 56 5 3 20 0 15 0 443386485 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409183644688 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16552] ppid=16494 vsize=10846988 memory=1999244 CPUtime=13.25 cores=0,2,4,6
/proc/16497/task/16552/stat : 16552 (java) S 16494 16497 15883 0 -1 1077944384 22930 13331 0 0 1260 57 5 3 20 0 15 0 443386485 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409071918224 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16553] ppid=16494 vsize=10846988 memory=1999244 CPUtime=13.25 cores=0,2,4,6
/proc/16497/task/16553/stat : 16553 (java) S 16494 16497 15883 0 -1 1077944384 26038 13331 0 0 1261 56 5 3 20 0 15 0 443386485 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409070865168 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16554] ppid=16494 vsize=10846988 memory=3624 CPUtime=13.25 cores=0,2,4,6
/proc/16497/task/16554/stat : 16554 (java) S 16494 16497 15883 0 -1 1077944384 20752 13331 0 0 1262 55 5 3 20 0 15 0 443386485 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409069812624 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16555] ppid=16494 vsize=10846988 memory=1999244 CPUtime=7.97 cores=0,2,4,6
/proc/16497/task/16555/stat : 16555 (java) S 16494 16497 15883 0 -1 1077944384 25266 13331 0 0 744 45 5 3 20 0 15 0 443386486 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408638855408 140409179413122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16556] ppid=16494 vsize=10846988 memory=1999244 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16556/stat : 16556 (java) S 16494 16497 15883 0 -1 1077944384 61 13331 0 0 0 0 5 3 20 0 15 0 443386486 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408637801696 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16557] ppid=16494 vsize=10846988 memory=1999244 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16557/stat : 16557 (java) S 16494 16497 15883 0 -1 1077944384 27 13331 0 0 0 0 5 3 20 0 15 0 443386487 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408050934528 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16558] ppid=16494 vsize=10846988 memory=1999244 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16558/stat : 16558 (java) S 16494 16497 15883 0 -1 1077944384 3 13331 0 0 0 0 5 3 20 0 15 0 443386489 11107315712 499811 33554432000 4194304 4196468 140726147586544 140407743535056 140409179420571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16559] ppid=16494 vsize=10846988 memory=1999244 CPUtime=7.67 cores=0,2,4,6
/proc/16497/task/16559/stat : 16559 (java) S 16494 16497 15883 0 -1 1077944384 31456 13331 0 0 755 4 5 3 20 0 15 0 443386489 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408604244720 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16560] ppid=16494 vsize=10846988 memory=1999244 CPUtime=7.15 cores=0,2,4,6
/proc/16497/task/16560/stat : 16560 (java) S 16494 16497 15883 0 -1 1077944384 27457 13331 0 0 704 3 5 3 20 0 15 0 443386489 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408603192176 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16561] ppid=16494 vsize=10846988 memory=1999244 CPUtime=2.22 cores=0,2,4,6
/proc/16497/task/16561/stat : 16561 (java) S 16494 16497 15883 0 -1 1077944384 15787 13331 0 0 211 3 5 3 20 0 15 0 443386489 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408602139120 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16562] ppid=16494 vsize=10846988 memory=4108 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16562/stat : 16562 (java) S 16494 16497 15883 0 -1 1077944384 3 13331 0 0 0 0 5 3 20 0 15 0 443386490 11107315712 499811 33554432000 4194304 4196468 140726147586544 140407709977440 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16563] ppid=16494 vsize=10846988 memory=1804 CPUtime=1.53 cores=0,2,4,6
/proc/16497/task/16563/stat : 16563 (java) S 16494 16497 15883 0 -1 1077944384 2157 13331 0 0 71 74 5 3 20 0 15 0 443386490 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408601086512 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1999244 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2464.53 s]
# the end of solver process 16497 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.33 s, system=3.74917 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464.5 s]
/proc/loadavg: 1.31 1.32 1.40 3/227 17078
/proc/meminfo: memFree=24682996/32770624 swapFree=66999436/67108860
[pid=16497] ppid=16494 vsize=10846988 memory=1999244 CPUtime=2520.03 cores=0,2,4,6
/proc/16497/stat : 16497 (java) S 16494 16497 15883 0 -1 1077944320 285087 13331 0 0 251625 370 5 3 20 0 15 0 443386475 11107315712 499811 33554432000 4194304 4196468 140726147586544 140726147569088 140409179401975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
/proc/16497/statm: 2711747 499811 3641 1 0 2673805 0
[pid=16497/tid=16550] ppid=16494 vsize=10846988 memory=1999244 CPUtime=2441.05 cores=0,2,4,6
/proc/16497/task/16550/stat : 16550 (java) R 16494 16497 15883 0 -1 4202560 87499 13331 0 0 244038 59 5 3 20 0 15 0 443386484 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409151237488 140408755684540 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16551] ppid=16494 vsize=10846988 memory=1999244 CPUtime=13.28 cores=0,2,4,6
/proc/16497/task/16551/stat : 16551 (java) S 16494 16497 15883 0 -1 1077944384 23445 13331 0 0 1264 56 5 3 20 0 15 0 443386485 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409183644688 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16552] ppid=16494 vsize=10846988 memory=1999244 CPUtime=13.25 cores=0,2,4,6
/proc/16497/task/16552/stat : 16552 (java) S 16494 16497 15883 0 -1 1077944384 22930 13331 0 0 1260 57 5 3 20 0 15 0 443386485 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409071918224 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16553] ppid=16494 vsize=10846988 memory=1999244 CPUtime=13.25 cores=0,2,4,6
/proc/16497/task/16553/stat : 16553 (java) S 16494 16497 15883 0 -1 1077944384 26038 13331 0 0 1261 56 5 3 20 0 15 0 443386485 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409070865168 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16554] ppid=16494 vsize=10846988 memory=3624 CPUtime=13.25 cores=0,2,4,6
/proc/16497/task/16554/stat : 16554 (java) S 16494 16497 15883 0 -1 1077944384 20752 13331 0 0 1262 55 5 3 20 0 15 0 443386485 11107315712 499811 33554432000 4194304 4196468 140726147586544 140409069812624 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16555] ppid=16494 vsize=10846988 memory=1999244 CPUtime=7.97 cores=0,2,4,6
/proc/16497/task/16555/stat : 16555 (java) S 16494 16497 15883 0 -1 1077944384 25266 13331 0 0 744 45 5 3 20 0 15 0 443386486 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408638855408 140409179413122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16556] ppid=16494 vsize=10846988 memory=1999244 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16556/stat : 16556 (java) S 16494 16497 15883 0 -1 1077944384 61 13331 0 0 0 0 5 3 20 0 15 0 443386486 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408637801696 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16557] ppid=16494 vsize=10846988 memory=1999244 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16557/stat : 16557 (java) S 16494 16497 15883 0 -1 1077944384 27 13331 0 0 0 0 5 3 20 0 15 0 443386487 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408050934528 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16558] ppid=16494 vsize=10846988 memory=1999244 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16558/stat : 16558 (java) S 16494 16497 15883 0 -1 1077944384 3 13331 0 0 0 0 5 3 20 0 15 0 443386489 11107315712 499811 33554432000 4194304 4196468 140726147586544 140407743535056 140409179420571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16559] ppid=16494 vsize=10846988 memory=1999244 CPUtime=7.67 cores=0,2,4,6
/proc/16497/task/16559/stat : 16559 (java) S 16494 16497 15883 0 -1 1077944384 31456 13331 0 0 755 4 5 3 20 0 15 0 443386489 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408604244720 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16560] ppid=16494 vsize=10846988 memory=1999244 CPUtime=7.15 cores=0,2,4,6
/proc/16497/task/16560/stat : 16560 (java) S 16494 16497 15883 0 -1 1077944384 27457 13331 0 0 704 3 5 3 20 0 15 0 443386489 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408603192176 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16561] ppid=16494 vsize=10846988 memory=1999244 CPUtime=2.22 cores=0,2,4,6
/proc/16497/task/16561/stat : 16561 (java) S 16494 16497 15883 0 -1 1077944384 15787 13331 0 0 211 3 5 3 20 0 15 0 443386489 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408602139120 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16562] ppid=16494 vsize=10846988 memory=4108 CPUtime=0.08 cores=0,2,4,6
/proc/16497/task/16562/stat : 16562 (java) S 16494 16497 15883 0 -1 1077944384 3 13331 0 0 0 0 5 3 20 0 15 0 443386490 11107315712 499811 33554432000 4194304 4196468 140726147586544 140407709977440 140409179412181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
[pid=16497/tid=16563] ppid=16494 vsize=10846988 memory=1804 CPUtime=1.53 cores=0,2,4,6
/proc/16497/task/16563/stat : 16563 (java) S 16494 16497 15883 0 -1 1077944384 2157 13331 0 0 71 74 5 3 20 0 15 0 443386490 11107315712 499811 33554432000 4194304 4196468 140726147586544 140408601086512 140409179413122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20418560 140726147594991 140726147597509 140726147597509 140726147600335 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1999244 KiB
Child status: 143
Real time (s): 2464.53
CPU time (s): 2520.08
CPU user time (s): 2516.33
CPU system time (s): 3.74917
CPU usage (%): 102.254
Max. virtual memory (cumulated for all children) (KiB): 10847608
Max. memory (cumulated for all children) (KiB): 2212764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.33
system time used= 3.74917
maximum resident set size= 2218908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299720
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 222388
involuntary context switches= 7027
# summary of solver processes directly reported to runsolver:
# pid: 16497
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.33
# total CPU system time (s): 3.74917
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4848 second user time and 21.2558 second system time
The end