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 (3527 MiB free)
memory of node 1: 16384 MiB (4538 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304634-1534122293/watcher-4304634-1534122293 -o /tmp/evaluation-result-4304634-1534122293/solver-4304634-1534122293 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534097471-21026 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1943356599 -superng HOME/instance-4304634-1534122293.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26714, runsolver pid=26711
[startup+0.100142 s]*
/proc/loadavg: 1.60 1.60 1.59 3/212 26771
/proc/meminfo: memFree=8253092/32770624 swapFree=67108852/67108860
[pid=26714] ppid=26711 vsize=10005480 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/26714/stat : 26714 (java) S 26711 26714 20994 0 -1 1077944320 4429 13159 0 0 1 0 5 3 20 0 6 0 229792481 10245611520 4269 33554432000 4194304 4196468 140720379155056 140720379137600 140365036961527 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
/proc/26714/statm: 2501370 4269 1934 1 0 2489808 0
[pid=26714/tid=26767] ppid=26711 vsize=10005480 memory=4279135704013962638 CPUtime=0.09 cores=1,3,5,7
/proc/26714/task/26767/stat : 26767 (java) R 26711 26714 20994 0 -1 4202560 2251 13159 0 0 1 0 5 3 20 0 6 0 229792490 10245611520 4269 33554432000 4194304 4196468 140720379155056 140365008798288 140365022084464 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26768] ppid=26711 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26768/stat : 26768 (java) S 26711 26714 20994 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 6 0 229792491 10245611520 4269 33554432000 4194304 4196468 140720379155056 140365041204112 140365036971733 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26769] ppid=26711 vsize=10005480 memory=139950256092800 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26769/stat : 26769 (java) S 26711 26714 20994 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 6 0 229792491 10245611520 4269 33554432000 4194304 4196468 140720379155056 140364906539792 140365036971733 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26770] ppid=26711 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26770/stat : 26770 (java) S 26711 26714 20994 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 6 0 229792491 10245611520 4269 33554432000 4194304 4196468 140720379155056 140364905487504 140365036971733 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26771] ppid=26711 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26771/stat : 26771 (java) S 26711 26714 20994 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 6 0 229792491 10245611520 4269 33554432000 4194304 4196468 140720379155056 140364904434704 140365036971733 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17076 KiB
[startup+0.210228 s]*
/proc/loadavg: 1.60 1.60 1.59 4/221 26780
/proc/meminfo: memFree=8228380/32770624 swapFree=67108852/67108860
[pid=26714] ppid=26711 vsize=10983736 memory=46240 CPUtime=0.26 cores=1,3,5,7
/proc/26714/stat : 26714 (java) S 26711 26714 20994 0 -1 1077944320 8246 13159 0 0 17 1 5 3 20 0 15 0 229792481 11247345664 11560 33554432000 4194304 4196468 140720379155056 140720379137600 140365036961527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
/proc/26714/statm: 2745934 11560 2947 1 0 2708357 0
[pid=26714/tid=26767] ppid=26711 vsize=10985364 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/26714/task/26767/stat : 26767 (java) R 26711 26714 20994 0 -1 4202560 4908 13159 0 0 10 1 5 3 20 0 15 0 229792490 11249012736 11626 33554432000 4194304 4196468 140720379155056 140365008786336 140365029641245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26768] ppid=26711 vsize=10985364 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26768/stat : 26768 (java) S 26711 26714 20994 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 229792491 11249012736 11626 33554432000 4194304 4196468 140720379155056 140365041204112 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26769] ppid=26711 vsize=10985364 memory=139950256092800 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26769/stat : 26769 (java) S 26711 26714 20994 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 229792491 11249012736 11692 33554432000 4194304 4196468 140720379155056 140364906539792 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26770] ppid=26711 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26770/stat : 26770 (java) S 26711 26714 20994 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 229792491 11249012736 11692 33554432000 4194304 4196468 140720379155056 140364905487504 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26771] ppid=26711 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26771/stat : 26771 (java) S 26711 26714 20994 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 229792491 11249012736 11692 33554432000 4194304 4196468 140720379155056 140364904434704 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26772] ppid=26711 vsize=10985364 memory=139950256092800 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26772/stat : 26772 (java) S 26711 26714 20994 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 229792492 11249012736 11692 33554432000 4194304 4196468 140720379155056 140364462442608 140365036972674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26773] ppid=26711 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26773/stat : 26773 (java) S 26711 26714 20994 0 -1 1077944384 13 13159 0 0 0 0 5 3 20 0 15 0 229792492 11249012736 11692 33554432000 4194304 4196468 140720379155056 140363906933536 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26774] ppid=26711 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26774/stat : 26774 (java) S 26711 26714 20994 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 229792493 11249012736 11758 33554432000 4194304 4196468 140720379155056 140363759084656 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26775] ppid=26711 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26775/stat : 26775 (java) S 26711 26714 20994 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 229792495 11249012736 11758 33554432000 4194304 4196468 140720379155056 140363451684944 140365036980123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26776] ppid=26711 vsize=10985364 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26714/task/26776/stat : 26776 (java) S 26711 26714 20994 0 -1 1077944384 473 13159 0 0 1 0 5 3 20 0 15 0 229792495 11249012736 11758 33554432000 4194304 4196468 140720379155056 140364461390448 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26777] ppid=26711 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26777/stat : 26777 (java) S 26711 26714 20994 0 -1 1077944384 130 13159 0 0 0 0 5 3 20 0 15 0 229792495 11249012736 11758 33554432000 4194304 4196468 140720379155056 140364460337648 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26778] ppid=26711 vsize=10985364 memory=139950256092800 CPUtime=0.11 cores=1,3,5,7
/proc/26714/task/26778/stat : 26778 (java) S 26711 26714 20994 0 -1 1077944384 626 13159 0 0 3 0 5 3 20 0 15 0 229792495 11249012736 11824 33554432000 4194304 4196468 140720379155056 140364459285360 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26779] ppid=26711 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26779/stat : 26779 (java) S 26711 26714 20994 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 229792496 11249012736 11824 33554432000 4194304 4196468 140720379155056 140363020889056 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26780] ppid=26711 vsize=10985364 memory=139950256092800 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26780/stat : 26780 (java) S 26711 26714 20994 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 229792496 11249012736 11824 33554432000 4194304 4196468 140720379155056 140364458232240 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10983736 KiB
Current children cumulated memory: 46240 KiB
[startup+0.310397 s]*
/proc/loadavg: 1.60 1.60 1.59 3/221 26780
/proc/meminfo: memFree=8216348/32770624 swapFree=67108852/67108860
[pid=26714] ppid=26711 vsize=10983192 memory=56384 CPUtime=0.39 cores=1,3,5,7
/proc/26714/stat : 26714 (java) S 26711 26714 20994 0 -1 1077944320 10611 13159 0 0 28 3 5 3 20 0 15 0 229792481 11246788608 14096 33554432000 4194304 4196468 140720379155056 140720379137600 140365036961527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
/proc/26714/statm: 2745798 14096 3093 1 0 2708109 0
[pid=26714/tid=26767] ppid=26711 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26714/task/26767/stat : 26767 (java) R 26711 26714 20994 0 -1 4202560 7152 13159 0 0 19 2 5 3 20 0 15 0 229792490 11246788608 14096 33554432000 4194304 4196468 140720379155056 140365008773536 140365036983453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26768] ppid=26711 vsize=10983192 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26768/stat : 26768 (java) S 26711 26714 20994 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 229792491 11246788608 14096 33554432000 4194304 4196468 140720379155056 140365041204112 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26769] ppid=26711 vsize=10983192 memory=2209 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26769/stat : 26769 (java) S 26711 26714 20994 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 229792491 11246788608 14096 33554432000 4194304 4196468 140720379155056 140364906539792 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26770] ppid=26711 vsize=10983192 memory=92612 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26770/stat : 26770 (java) S 26711 26714 20994 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 229792491 11246788608 14096 33554432000 4194304 4196468 140720379155056 140364905487504 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26771] ppid=26711 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26771/stat : 26771 (java) S 26711 26714 20994 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 229792491 11246788608 14096 33554432000 4194304 4196468 140720379155056 140364904434704 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26772] ppid=26711 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26772/stat : 26772 (java) S 26711 26714 20994 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 229792492 11246788608 14096 33554432000 4194304 4196468 140720379155056 140364462442608 140365036972674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26773] ppid=26711 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26773/stat : 26773 (java) S 26711 26714 20994 0 -1 1077944384 13 13159 0 0 0 0 5 3 20 0 15 0 229792492 11246788608 14096 33554432000 4194304 4196468 140720379155056 140363906933536 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26774] ppid=26711 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26774/stat : 26774 (java) S 26711 26714 20994 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 229792493 11246788608 14096 33554432000 4194304 4196468 140720379155056 140363759084656 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26775] ppid=26711 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26775/stat : 26775 (java) S 26711 26714 20994 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 229792495 11246788608 14096 33554432000 4194304 4196468 140720379155056 140363451684944 140365036980123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26776] ppid=26711 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26714/task/26776/stat : 26776 (java) S 26711 26714 20994 0 -1 1077944384 473 13159 0 0 1 0 5 3 20 0 15 0 229792495 11246788608 14096 33554432000 4194304 4196468 140720379155056 140364461390448 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26777] ppid=26711 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26714/task/26777/stat : 26777 (java) S 26711 26714 20994 0 -1 1077944384 133 13159 0 0 1 0 5 3 20 0 15 0 229792495 11246788608 14096 33554432000 4194304 4196468 140720379155056 140364460337648 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26778] ppid=26711 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/26714/task/26778/stat : 26778 (java) R 26711 26714 20994 0 -1 4202560 632 13159 0 0 5 0 5 3 20 0 15 0 229792495 11246788608 14096 33554432000 4194304 4196468 140720379155056 140364459285360 140365014964449 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26779] ppid=26711 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26779/stat : 26779 (java) S 26711 26714 20994 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 229792496 11246788608 14096 33554432000 4194304 4196468 140720379155056 140363020889056 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26780] ppid=26711 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26780/stat : 26780 (java) S 26711 26714 20994 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 229792496 11246788608 14096 33554432000 4194304 4196468 140720379155056 140364458232240 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56384 KiB
[startup+0.700779 s]
/proc/loadavg: 1.60 1.60 1.59 3/221 26780
/proc/meminfo: memFree=8206000/32770624 swapFree=67108852/67108860
[pid=26714] ppid=26711 vsize=10983192 memory=88692 CPUtime=0.99 cores=1,3,5,7
/proc/26714/stat : 26714 (java) S 26711 26714 20994 0 -1 1077944320 16763 13159 0 0 87 4 5 3 20 0 15 0 229792481 11246788608 22173 33554432000 4194304 4196468 140720379155056 140720379137600 140365036961527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
/proc/26714/statm: 2745798 22173 3238 1 0 2708109 0
[pid=26714/tid=26767] ppid=26711 vsize=10983192 memory=2241 CPUtime=0.67 cores=1,3,5,7
/proc/26714/task/26767/stat : 26767 (java) R 26711 26714 20994 0 -1 4202560 12200 13159 0 0 56 3 5 3 20 0 15 0 229792490 11246788608 22173 33554432000 4194304 4196468 140720379155056 140365008782352 140365018525102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26768] ppid=26711 vsize=10983192 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26768/stat : 26768 (java) S 26711 26714 20994 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 229792491 11246788608 22173 33554432000 4194304 4196468 140720379155056 140365041204112 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26769] ppid=26711 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26769/stat : 26769 (java) S 26711 26714 20994 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 229792491 11246788608 22173 33554432000 4194304 4196468 140720379155056 140364906539792 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26770] ppid=26711 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26770/stat : 26770 (java) S 26711 26714 20994 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 229792491 11246788608 22173 33554432000 4194304 4196468 140720379155056 140364905487504 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26771] ppid=26711 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26771/stat : 26771 (java) S 26711 26714 20994 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 229792491 11246788608 22173 33554432000 4194304 4196468 140720379155056 140364904434704 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26772] ppid=26711 vsize=10983192 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26772/stat : 26772 (java) S 26711 26714 20994 0 -1 1077944384 5 13159 0 0 0 0 5 3 20 0 15 0 229792492 11246788608 22173 33554432000 4194304 4196468 140720379155056 140364462442608 140365036972674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26773] ppid=26711 vsize=10983192 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26773/stat : 26773 (java) S 26711 26714 20994 0 -1 1077944384 13 13159 0 0 0 0 5 3 20 0 15 0 229792492 11246788608 22173 33554432000 4194304 4196468 140720379155056 140363906933536 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26774] ppid=26711 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26774/stat : 26774 (java) S 26711 26714 20994 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 229792493 11246788608 22173 33554432000 4194304 4196468 140720379155056 140363759084656 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26775] ppid=26711 vsize=10983192 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26775/stat : 26775 (java) S 26711 26714 20994 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 229792495 11246788608 22173 33554432000 4194304 4196468 140720379155056 140363451684944 140365036980123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26776] ppid=26711 vsize=10983192 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/26714/task/26776/stat : 26776 (java) S 26711 26714 20994 0 -1 1077944384 1134 13159 0 0 10 0 5 3 20 0 15 0 229792495 11246788608 22173 33554432000 4194304 4196468 140720379155056 140364461390448 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26777] ppid=26711 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/26714/task/26777/stat : 26777 (java) S 26711 26714 20994 0 -1 1077944384 504 13159 0 0 7 0 5 3 20 0 15 0 229792495 11246788608 22173 33554432000 4194304 4196468 140720379155056 140364460337648 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26778] ppid=26711 vsize=10983192 memory=11076 CPUtime=0.21 cores=1,3,5,7
/proc/26714/task/26778/stat : 26778 (java) S 26711 26714 20994 0 -1 1077944384 701 13159 0 0 13 0 5 3 20 0 15 0 229792495 11246788608 22173 33554432000 4194304 4196468 140720379155056 140364459285360 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26779] ppid=26711 vsize=10983192 memory=139950100086128 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26779/stat : 26779 (java) S 26711 26714 20994 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 229792496 11246788608 22173 33554432000 4194304 4196468 140720379155056 140363020889056 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26780] ppid=26711 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26780/stat : 26780 (java) R 26711 26714 20994 0 -1 4202560 1 13159 0 0 0 0 5 3 20 0 15 0 229792496 11246788608 22173 33554432000 4194304 4196468 140720379155056 140364458232240 140365036982874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88692 KiB
[startup+1.50464 s]
/proc/loadavg: 1.60 1.60 1.59 2/221 26780
/proc/meminfo: memFree=8176396/32770624 swapFree=67108852/67108860
[pid=26714] ppid=26711 vsize=10991948 memory=131992 CPUtime=2.17 cores=1,3,5,7
/proc/26714/stat : 26714 (java) S 26711 26714 20994 0 -1 1077944320 21469 13159 0 0 203 6 5 3 20 0 15 0 229792481 11255754752 32998 33554432000 4194304 4196468 140720379155056 140720379137600 140365036961527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
/proc/26714/statm: 2747987 32998 3443 1 0 2709645 0
[pid=26714/tid=26767] ppid=26711 vsize=10991948 memory=7 CPUtime=1.17 cores=1,3,5,7
/proc/26714/task/26767/stat : 26767 (java) R 26711 26714 20994 0 -1 4202560 14863 13159 0 0 105 4 5 3 20 0 15 0 229792490 11255754752 32998 33554432000 4194304 4196468 140720379155056 140365008794000 140364585361899 0 4 0 16800975 0 0 0 -1 1 0 0 29 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26768] ppid=26711 vsize=10991948 memory=13 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26768/stat : 26768 (java) S 26711 26714 20994 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 229792491 11255754752 32998 33554432000 4194304 4196468 140720379155056 140365041204112 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26769] ppid=26711 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26769/stat : 26769 (java) S 26711 26714 20994 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 229792491 11255754752 32998 33554432000 4194304 4196468 140720379155056 140364906539792 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26770] ppid=26711 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26770/stat : 26770 (java) S 26711 26714 20994 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 229792491 11255754752 32998 33554432000 4194304 4196468 140720379155056 140364905487504 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26771] ppid=26711 vsize=10991948 memory=88692 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26771/stat : 26771 (java) S 26711 26714 20994 0 -1 1077944384 2 13159 0 0 0 0 5 3 20 0 15 0 229792491 11255754752 32998 33554432000 4194304 4196468 140720379155056 140364904434704 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26772] ppid=26711 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26772/stat : 26772 (java) S 26711 26714 20994 0 -1 1077944384 5 13159 0 0 0 0 5 3 20 0 15 0 229792492 11255754752 32998 33554432000 4194304 4196468 140720379155056 140364462442608 140365036972674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26773] ppid=26711 vsize=10991948 memory=7235694026068878417 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26773/stat : 26773 (java) S 26711 26714 20994 0 -1 1077944384 13 13159 0 0 0 0 5 3 20 0 15 0 229792492 11255754752 32998 33554432000 4194304 4196468 140720379155056 140363906933536 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26774] ppid=26711 vsize=10991948 memory=7525065643937458774 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26774/stat : 26774 (java) S 26711 26714 20994 0 -1 1077944384 1 13159 0 0 0 0 5 3 20 0 15 0 229792493 11255754752 32998 33554432000 4194304 4196468 140720379155056 140363759084656 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26775] ppid=26711 vsize=10991948 memory=7085684382197311594 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26775/stat : 26775 (java) S 26711 26714 20994 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 229792495 11255754752 32998 33554432000 4194304 4196468 140720379155056 140363451684944 140365036980123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26776] ppid=26711 vsize=10991948 memory=5788067138599740504 CPUtime=0.4 cores=1,3,5,7
/proc/26714/task/26776/stat : 26776 (java) R 26711 26714 20994 0 -1 4202560 1461 13159 0 0 32 0 5 3 20 0 15 0 229792495 11255754752 32998 33554432000 4194304 4196468 140720379155056 140364461390448 140365020346355 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26777] ppid=26711 vsize=10991948 memory=7596282184511149930 CPUtime=0.34 cores=1,3,5,7
/proc/26714/task/26777/stat : 26777 (java) R 26711 26714 20994 0 -1 4202560 1559 13159 0 0 26 0 5 3 20 0 15 0 229792495 11255754752 32998 33554432000 4194304 4196468 140720379155056 140364460324736 140365016815056 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26778] ppid=26711 vsize=10991948 memory=5787219359317645668 CPUtime=0.45 cores=1,3,5,7
/proc/26714/task/26778/stat : 26778 (java) R 26711 26714 20994 0 -1 4202560 1360 13159 0 0 37 0 5 3 20 0 15 0 229792495 11255754752 32998 33554432000 4194304 4196468 140720379155056 140364459285360 140365015930990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26779] ppid=26711 vsize=10991948 memory=5571041044932548709 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26779/stat : 26779 (java) S 26711 26714 20994 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 229792496 11255754752 32998 33554432000 4194304 4196468 140720379155056 140363020889056 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26780] ppid=26711 vsize=10991948 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26780/stat : 26780 (java) S 26711 26714 20994 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 229792496 11255754752 32998 33554432000 4194304 4196468 140720379155056 140364458232240 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
Current children cumulated CPU time: 2.17 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/26714/task/26771/stat : 26771 (java) S 26711 26714 20994 0 -1 1077944384 62769 13159 0 0 1432 73 5 3 20 0 15 0 229792491 11278843904 920356 33554432000 4194304 4196468 140720379155056 140364904434704 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26772] ppid=26711 vsize=11014496 memory=3702464 CPUtime=1.28 cores=1,3,5,7
/proc/26714/task/26772/stat : 26772 (java) S 26711 26714 20994 0 -1 1077944384 35096 13159 0 0 107 13 5 3 20 0 15 0 229792492 11278843904 920356 33554432000 4194304 4196468 140720379155056 140364462442608 140365036972674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26773] ppid=26711 vsize=11014496 memory=3682964 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26773/stat : 26773 (java) S 26711 26714 20994 0 -1 1077944384 30 13159 0 0 0 0 5 3 20 0 15 0 229792492 11278843904 920356 33554432000 4194304 4196468 140720379155056 140363906933664 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26774] ppid=26711 vsize=11014496 memory=3682964 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26774/stat : 26774 (java) S 26711 26714 20994 0 -1 1077944384 23 13159 0 0 0 0 5 3 20 0 15 0 229792493 11278843904 920356 33554432000 4194304 4196468 140720379155056 140363759084672 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26775] ppid=26711 vsize=11014496 memory=3693736 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26775/stat : 26775 (java) S 26711 26714 20994 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 229792495 11278843904 920356 33554432000 4194304 4196468 140720379155056 140363451684944 140365036980123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26776] ppid=26711 vsize=11014496 memory=2252 CPUtime=12.22 cores=1,3,5,7
/proc/26714/task/26776/stat : 26776 (java) S 26711 26714 20994 0 -1 1077944384 80149 13159 0 0 1205 9 5 3 20 0 15 0 229792495 11278843904 920356 33554432000 4194304 4196468 140720379155056 140364461390448 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26777] ppid=26711 vsize=11014496 memory=3687580 CPUtime=11.32 cores=1,3,5,7
/proc/26714/task/26777/stat : 26777 (java) S 26711 26714 20994 0 -1 1077944384 78853 13159 0 0 1115 9 5 3 20 0 15 0 229792495 11278843904 920356 33554432000 4194304 4196468 140720379155056 140364460337648 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26778] ppid=26711 vsize=11014496 memory=3687580 CPUtime=3.23 cores=1,3,5,7
/proc/26714/task/26778/stat : 26778 (java) S 26711 26714 20994 0 -1 1077944384 48498 13159 0 0 308 7 5 3 20 0 15 0 229792495 11278843904 920356 33554432000 4194304 4196468 140720379155056 140364459285360 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26779] ppid=26711 vsize=11014496 memory=3768 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26779/stat : 26779 (java) S 26711 26714 20994 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 229792496 11278843904 920356 33554432000 4194304 4196468 140720379155056 140363020889056 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26780] ppid=26711 vsize=11014496 memory=62664 CPUtime=1.53 cores=1,3,5,7
/proc/26714/task/26780/stat : 26780 (java) S 26711 26714 20994 0 -1 1077944384 1770 13159 0 0 68 77 5 3 20 0 15 0 229792496 11278843904 920356 33554432000 4194304 4196468 140720379155056 140364458232240 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
Current children cumulated CPU time: 2514.71 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3681424 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2447.6 s]
/proc/loadavg: 1.50 1.48 1.59 3/219 27023
/proc/meminfo: memFree=7707104/32770624 swapFree=67108852/67108860
[pid=26714] ppid=26711 vsize=11014496 memory=3672192 CPUtime=2520.09 cores=1,3,5,7
/proc/26714/stat : 26714 (java) S 26711 26714 20994 0 -1 1077944320 666759 13159 0 0 251557 444 5 3 20 0 15 0 229792481 11278843904 918048 33554432000 4194304 4196468 140720379155056 140720379137600 140365036961527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
/proc/26714/statm: 2753624 918048 3535 1 0 2715277 0
[pid=26714/tid=26767] ppid=26711 vsize=11014496 memory=6791534058613427641 CPUtime=2430.69 cores=1,3,5,7
/proc/26714/task/26767/stat : 26767 (java) R 26711 26714 20994 0 -1 4202560 169060 13159 0 0 243000 61 5 3 20 0 15 0 229792490 11278843904 918048 33554432000 4194304 4196468 140720379155056 140365008796848 140364600570483 0 4 0 16800975 0 0 0 -1 3 0 0 29 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26768] ppid=26711 vsize=11014496 memory=1720 CPUtime=15.06 cores=1,3,5,7
/proc/26714/task/26768/stat : 26768 (java) S 26711 26714 20994 0 -1 1077944384 65494 13159 0 0 1427 71 5 3 20 0 15 0 229792491 11278843904 918048 33554432000 4194304 4196468 140720379155056 140365041204112 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26769] ppid=26711 vsize=11014496 memory=508 CPUtime=15.08 cores=1,3,5,7
/proc/26714/task/26769/stat : 26769 (java) S 26711 26714 20994 0 -1 1077944384 53667 13159 0 0 1430 70 5 3 20 0 15 0 229792491 11278843904 918048 33554432000 4194304 4196468 140720379155056 140364906539792 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26770] ppid=26711 vsize=11014496 memory=928 CPUtime=15.12 cores=1,3,5,7
/proc/26714/task/26770/stat : 26770 (java) S 26711 26714 20994 0 -1 1077944384 69134 13159 0 0 1432 72 5 3 20 0 15 0 229792491 11278843904 918048 33554432000 4194304 4196468 140720379155056 140364905487504 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26771] ppid=26711 vsize=11014496 memory=2412 CPUtime=15.15 cores=1,3,5,7
/proc/26714/task/26771/stat : 26771 (java) S 26711 26714 20994 0 -1 1077944384 62787 13159 0 0 1434 73 5 3 20 0 15 0 229792491 11278843904 918048 33554432000 4194304 4196468 140720379155056 140364904434704 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26772] ppid=26711 vsize=11014496 memory=1568 CPUtime=1.28 cores=1,3,5,7
/proc/26714/task/26772/stat : 26772 (java) S 26711 26714 20994 0 -1 1077944384 35096 13159 0 0 107 13 5 3 20 0 15 0 229792492 11278843904 918048 33554432000 4194304 4196468 140720379155056 140364462442608 140365036972674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26773] ppid=26711 vsize=11014496 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26773/stat : 26773 (java) S 26711 26714 20994 0 -1 1077944384 30 13159 0 0 0 0 5 3 20 0 15 0 229792492 11278843904 918048 33554432000 4194304 4196468 140720379155056 140363906933664 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26774] ppid=26711 vsize=11014496 memory=2216 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26774/stat : 26774 (java) S 26711 26714 20994 0 -1 1077944384 23 13159 0 0 0 0 5 3 20 0 15 0 229792493 11278843904 918048 33554432000 4194304 4196468 140720379155056 140363759084672 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26775] ppid=26711 vsize=11014496 memory=4260 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26775/stat : 26775 (java) S 26711 26714 20994 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 229792495 11278843904 918048 33554432000 4194304 4196468 140720379155056 140363451684944 140365036980123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26776] ppid=26711 vsize=11014496 memory=2088 CPUtime=12.22 cores=1,3,5,7
/proc/26714/task/26776/stat : 26776 (java) S 26711 26714 20994 0 -1 1077944384 80149 13159 0 0 1205 9 5 3 20 0 15 0 229792495 11278843904 918048 33554432000 4194304 4196468 140720379155056 140364461390448 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26777] ppid=26711 vsize=11014496 memory=7380 CPUtime=11.32 cores=1,3,5,7
/proc/26714/task/26777/stat : 26777 (java) S 26711 26714 20994 0 -1 1077944384 78853 13159 0 0 1115 9 5 3 20 0 15 0 229792495 11278843904 918048 33554432000 4194304 4196468 140720379155056 140364460337648 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26778] ppid=26711 vsize=11014496 memory=808 CPUtime=3.23 cores=1,3,5,7
/proc/26714/task/26778/stat : 26778 (java) S 26711 26714 20994 0 -1 1077944384 48498 13159 0 0 308 7 5 3 20 0 15 0 229792495 11278843904 918048 33554432000 4194304 4196468 140720379155056 140364459285360 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26779] ppid=26711 vsize=11014496 memory=1696 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26779/stat : 26779 (java) S 26711 26714 20994 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 15 0 229792496 11278843904 918048 33554432000 4194304 4196468 140720379155056 140363020889056 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26780] ppid=26711 vsize=11014496 memory=920 CPUtime=1.53 cores=1,3,5,7
/proc/26714/task/26780/stat : 26780 (java) S 26711 26714 20994 0 -1 1077944384 1770 13159 0 0 68 77 5 3 20 0 15 0 229792496 11278843904 918048 33554432000 4194304 4196468 140720379155056 140364458232240 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3672192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2448.24 s]
# the end of solver process 26714 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.23 s, system=4.50453 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2448 s]*
/proc/loadavg: 1.50 1.48 1.59 3/221 27025
/proc/meminfo: memFree=7706388/32770624 swapFree=67108852/67108860
[pid=26714] ppid=26711 vsize=11276648 memory=3676392 CPUtime=2520.5 cores=1,3,5,7
/proc/26714/stat : 26714 (java) S 26711 26714 20994 0 -1 1077944320 667106 13159 0 0 251598 444 5 3 20 0 17 0 229792481 11547287552 919098 33554432000 4194304 4196468 140720379155056 140720379137600 140365036961527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
/proc/26714/statm: 2819162 919098 3536 1 0 2780815 0
[pid=26714/tid=26767] ppid=26711 vsize=11276648 memory=62664 CPUtime=2431.1 cores=1,3,5,7
/proc/26714/task/26767/stat : 26767 (java) R 26711 26714 20994 0 -1 4202560 169066 13159 0 0 243041 61 5 3 20 0 17 0 229792490 11547287552 919098 33554432000 4194304 4196468 140720379155056 140365008796848 140364594717358 0 4 0 16800975 0 0 0 -1 3 0 0 29 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26768] ppid=26711 vsize=11276648 memory=4126316290023845779 CPUtime=15.06 cores=1,3,5,7
/proc/26714/task/26768/stat : 26768 (java) S 26711 26714 20994 0 -1 1077944384 65494 13159 0 0 1427 71 5 3 20 0 17 0 229792491 11547287552 919098 33554432000 4194304 4196468 140720379155056 140365041204112 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26769] ppid=26711 vsize=11276648 memory=3675780 CPUtime=15.08 cores=1,3,5,7
/proc/26714/task/26769/stat : 26769 (java) S 26711 26714 20994 0 -1 1077944384 53667 13159 0 0 1430 70 5 3 20 0 17 0 229792491 11547287552 919098 33554432000 4194304 4196468 140720379155056 140364906539792 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26770] ppid=26711 vsize=11276648 memory=4104 CPUtime=15.12 cores=1,3,5,7
/proc/26714/task/26770/stat : 26770 (java) S 26711 26714 20994 0 -1 1077944384 69134 13159 0 0 1432 72 5 3 20 0 17 0 229792491 11547287552 919098 33554432000 4194304 4196468 140720379155056 140364905487504 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26771] ppid=26711 vsize=11276648 memory=1408 CPUtime=15.15 cores=1,3,5,7
/proc/26714/task/26771/stat : 26771 (java) S 26711 26714 20994 0 -1 1077944384 62787 13159 0 0 1434 73 5 3 20 0 17 0 229792491 11547287552 919098 33554432000 4194304 4196468 140720379155056 140364904434704 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26772] ppid=26711 vsize=11276648 memory=3232 CPUtime=1.28 cores=1,3,5,7
/proc/26714/task/26772/stat : 26772 (java) S 26711 26714 20994 0 -1 1077944384 35096 13159 0 0 107 13 5 3 20 0 17 0 229792492 11547287552 919098 33554432000 4194304 4196468 140720379155056 140364462442608 140365036972674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26773] ppid=26711 vsize=11276648 memory=548280 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26773/stat : 26773 (java) S 26711 26714 20994 0 -1 1077944384 30 13159 0 0 0 0 5 3 20 0 17 0 229792492 11547287552 919098 33554432000 4194304 4196468 140720379155056 140363906933664 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26774] ppid=26711 vsize=11276648 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26774/stat : 26774 (java) S 26711 26714 20994 0 -1 1077944384 23 13159 0 0 0 0 5 3 20 0 17 0 229792493 11547287552 919098 33554432000 4194304 4196468 140720379155056 140363759084672 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26775] ppid=26711 vsize=11276648 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26775/stat : 26775 (java) S 26711 26714 20994 0 -1 1077944384 198 13159 0 0 0 0 5 3 20 0 17 0 229792495 11547287552 919098 33554432000 4194304 4196468 140720379155056 140363451684944 140365036980123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26776] ppid=26711 vsize=11276648 memory=808 CPUtime=12.22 cores=1,3,5,7
/proc/26714/task/26776/stat : 26776 (java) S 26711 26714 20994 0 -1 1077944384 80149 13159 0 0 1205 9 5 3 20 0 17 0 229792495 11547287552 919098 33554432000 4194304 4196468 140720379155056 140364461390448 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26777] ppid=26711 vsize=11276648 memory=1696 CPUtime=11.32 cores=1,3,5,7
/proc/26714/task/26777/stat : 26777 (java) S 26711 26714 20994 0 -1 1077944384 78853 13159 0 0 1115 9 5 3 20 0 17 0 229792495 11547287552 919098 33554432000 4194304 4196468 140720379155056 140364460337648 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26778] ppid=26711 vsize=11276648 memory=920 CPUtime=3.23 cores=1,3,5,7
/proc/26714/task/26778/stat : 26778 (java) S 26711 26714 20994 0 -1 1077944384 48498 13159 0 0 308 7 5 3 20 0 17 0 229792495 11547287552 919098 33554432000 4194304 4196468 140720379155056 140364459285360 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26779] ppid=26711 vsize=11276648 memory=3848 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26779/stat : 26779 (java) S 26711 26714 20994 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 17 0 229792496 11547287552 919098 33554432000 4194304 4196468 140720379155056 140363020889056 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26780] ppid=26711 vsize=11276648 memory=2608 CPUtime=1.53 cores=1,3,5,7
/proc/26714/task/26780/stat : 26780 (java) S 26711 26714 20994 0 -1 1077944384 1770 13159 0 0 68 77 5 3 20 0 17 0 229792496 11547287552 919098 33554432000 4194304 4196468 140720379155056 140364458232240 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=27024] ppid=26711 vsize=11276648 memory=2608 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/27024/stat : 27024 (java) S 26711 26714 20994 0 -1 1077944384 32 13159 0 0 0 0 5 3 20 0 17 0 230037242 11547287552 919098 33554432000 4194304 4196468 140720379155056 140362819559408 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=27025] ppid=26711 vsize=11276648 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/27025/stat : 27025 (java) S 26711 26714 20994 0 -1 1077944384 113 13159 0 0 0 0 5 3 20 0 17 0 230037242 11547287552 919098 33554432000 4194304 4196468 140720379155056 140362618234208 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
Current children cumulated CPU time: 2520.5 s
Current children cumulated vsize: 11276648 KiB
Current children cumulated memory: 3676392 KiB
[startup+2448.2 s]
/proc/loadavg: 1.50 1.48 1.59 3/221 27025
/proc/meminfo: memFree=7706388/32770624 swapFree=67108852/67108860
[pid=26714] ppid=26711 vsize=11276648 memory=3676392 CPUtime=2520.69 cores=1,3,5,7
/proc/26714/stat : 26714 (java) S 26711 26714 20994 0 -1 1077944320 667437 13159 0 0 251617 444 5 3 20 0 17 0 229792481 11547287552 919098 33554432000 4194304 4196468 140720379155056 140720379137600 140365036961527 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
/proc/26714/statm: 2819162 919098 3536 1 0 2780815 0
[pid=26714/tid=26767] ppid=26711 vsize=11276648 memory=1408 CPUtime=2431.29 cores=1,3,5,7
/proc/26714/task/26767/stat : 26767 (java) R 26711 26714 20994 0 -1 4202560 169479 13159 0 0 243060 61 5 3 20 0 17 0 229792490 11547287552 919098 33554432000 4194304 4196468 140720379155056 140365008796848 140364581252754 0 4 0 16800975 0 0 0 -1 3 0 0 29 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26768] ppid=26711 vsize=11276648 memory=3216 CPUtime=15.06 cores=1,3,5,7
/proc/26714/task/26768/stat : 26768 (java) S 26711 26714 20994 0 -1 1077944384 65494 13159 0 0 1427 71 5 3 20 0 17 0 229792491 11547287552 919098 33554432000 4194304 4196468 140720379155056 140365041204112 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26769] ppid=26711 vsize=11276648 memory=6791534058613427641 CPUtime=15.08 cores=1,3,5,7
/proc/26714/task/26769/stat : 26769 (java) S 26711 26714 20994 0 -1 1077944384 53667 13159 0 0 1430 70 5 3 20 0 17 0 229792491 11547287552 919098 33554432000 4194304 4196468 140720379155056 140364906539792 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26770] ppid=26711 vsize=11276648 memory=288230583166042426 CPUtime=15.12 cores=1,3,5,7
/proc/26714/task/26770/stat : 26770 (java) S 26711 26714 20994 0 -1 1077944384 69134 13159 0 0 1432 72 5 3 20 0 17 0 229792491 11547287552 919098 33554432000 4194304 4196468 140720379155056 140364905487504 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26771] ppid=26711 vsize=11276648 memory=13847456437766433 CPUtime=15.15 cores=1,3,5,7
/proc/26714/task/26771/stat : 26771 (java) S 26711 26714 20994 0 -1 1077944384 62787 13159 0 0 1434 73 5 3 20 0 17 0 229792491 11547287552 919098 33554432000 4194304 4196468 140720379155056 140364904434704 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26772] ppid=26711 vsize=11276648 memory=1172 CPUtime=1.28 cores=1,3,5,7
/proc/26714/task/26772/stat : 26772 (java) S 26711 26714 20994 0 -1 1077944384 35096 13159 0 0 107 13 5 3 20 0 17 0 229792492 11547287552 919098 33554432000 4194304 4196468 140720379155056 140364462442608 140365036972674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26773] ppid=26711 vsize=11276648 memory=6880 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26773/stat : 26773 (java) S 26711 26714 20994 0 -1 1077944384 30 13159 0 0 0 0 5 3 20 0 17 0 229792492 11547287552 919098 33554432000 4194304 4196468 140720379155056 140363906933664 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26774] ppid=26711 vsize=11276648 memory=15252 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26774/stat : 26774 (java) S 26711 26714 20994 0 -1 1077944384 23 13159 0 0 0 0 5 3 20 0 17 0 229792493 11547287552 919098 33554432000 4194304 4196468 140720379155056 140363759084672 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26775] ppid=26711 vsize=11276648 memory=15448 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26775/stat : 26775 (java) S 26711 26714 20994 0 -1 1077944384 198 13159 0 0 0 0 5 3 20 0 17 0 229792495 11547287552 919098 33554432000 4194304 4196468 140720379155056 140363451684944 140365036980123 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26776] ppid=26711 vsize=11276648 memory=4044 CPUtime=12.22 cores=1,3,5,7
/proc/26714/task/26776/stat : 26776 (java) S 26711 26714 20994 0 -1 1077944384 80149 13159 0 0 1205 9 5 3 20 0 17 0 229792495 11547287552 919098 33554432000 4194304 4196468 140720379155056 140364461390448 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26777] ppid=26711 vsize=11276648 memory=1176 CPUtime=11.32 cores=1,3,5,7
/proc/26714/task/26777/stat : 26777 (java) S 26711 26714 20994 0 -1 1077944384 78853 13159 0 0 1115 9 5 3 20 0 17 0 229792495 11547287552 919098 33554432000 4194304 4196468 140720379155056 140364460337648 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26778] ppid=26711 vsize=11276648 memory=34788 CPUtime=3.23 cores=1,3,5,7
/proc/26714/task/26778/stat : 26778 (java) S 26711 26714 20994 0 -1 1077944384 48498 13159 0 0 308 7 5 3 20 0 17 0 229792495 11547287552 919098 33554432000 4194304 4196468 140720379155056 140364459285360 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26779] ppid=26711 vsize=11276648 memory=1720 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/26779/stat : 26779 (java) S 26711 26714 20994 0 -1 1077944384 3 13159 0 0 0 0 5 3 20 0 17 0 229792496 11547287552 919098 33554432000 4194304 4196468 140720379155056 140363020889056 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=26780] ppid=26711 vsize=11276648 memory=508 CPUtime=1.53 cores=1,3,5,7
/proc/26714/task/26780/stat : 26780 (java) S 26711 26714 20994 0 -1 1077944384 1770 13159 0 0 68 77 5 3 20 0 17 0 229792496 11547287552 919098 33554432000 4194304 4196468 140720379155056 140364458232240 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=27024] ppid=26711 vsize=11276648 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/27024/stat : 27024 (java) S 26711 26714 20994 0 -1 1077944384 32 13159 0 0 0 0 5 3 20 0 17 0 230037242 11547287552 919098 33554432000 4194304 4196468 140720379155056 140362819559408 140365036971733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
[pid=26714/tid=27025] ppid=26711 vsize=11276648 memory=2412 CPUtime=0.08 cores=1,3,5,7
/proc/26714/task/27025/stat : 27025 (java) S 26711 26714 20994 0 -1 1077944384 113 13159 0 0 0 0 5 3 20 0 17 0 230037242 11547287552 919098 33554432000 4194304 4196468 140720379155056 140362618234208 140365036972674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20549632 140720379161187 140720379163996 140720379163996 140720379166671 0
Current children cumulated CPU time: 2520.69 s
Current children cumulated vsize: 11276648 KiB
Current children cumulated memory: 3676392 KiB
Child status: 143
Real time (s): 2448.24
CPU time (s): 2520.73
CPU user time (s): 2516.23
CPU system time (s): 4.50453
CPU usage (%): 102.961
Max. virtual memory (cumulated for all children) (KiB): 11276648
Max. memory (cumulated for all children) (KiB): 4220632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.23
system time used= 4.50453
maximum resident set size= 4220632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 681362
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79302
involuntary context switches= 2306
# summary of solver processes directly reported to runsolver:
# pid: 26714
# total CPU time (s): 2520.73
# total CPU user time (s): 2516.23
# total CPU system time (s): 4.50453
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6955 second user time and 24.668 second system time
The end