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 (10769 MiB free)
memory of node 1: 16384 MiB (13654 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304960-1534097135/watcher-4304960-1534097135 -o /tmp/evaluation-result-4304960-1534097135/solver-4304960-1534097135 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534097135-27928 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1567206441 -superng HOME/instance-4304960-1534097135.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=27956, runsolver pid=27950
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.00 1.01 1.05 4/192 28043
/proc/meminfo: memFree=25003016/32770624 swapFree=67058900/67108860
[pid=27956] ppid=27950 vsize=113256 memory=1612 CPUtime=0.08 cores=0,2,4,6
/proc/27956/stat : 27956 (bash) R 27950 27956 20606 0 -1 4202496 969 12565 0 0 0 0 5 3 20 0 1 0 227276739 115974144 403 33554432000 4194304 5098028 140720470655120 140720470648104 140568879672604 0 0 4100 65536 0 0 0 17 2 0 0 0 0 0 7196144 7232144 36872192 140720470660258 140720470660392 140720470660392 140720470663150 0
/proc/27956/statm: 28314 403 319 221 0 119 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1612 KiB
[startup+0.212104 s]*
/proc/loadavg: 1.00 1.01 1.05 5/216 28089
/proc/meminfo: memFree=24958852/32770624 swapFree=67058900/67108860
[pid=27956] ppid=27950 vsize=10982744 memory=40144 CPUtime=0.23 cores=0,2,4,6
/proc/27956/stat : 27956 (java) S 27950 27956 20606 0 -1 1077944320 6735 13258 0 0 14 1 5 3 20 0 15 0 227276739 11246329856 10036 33554432000 4194304 4196468 140723844877168 140723844859712 140627504619255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
/proc/27956/statm: 2745686 10036 2960 1 0 2708109 0
[pid=27956/tid=28062] ppid=27950 vsize=10982744 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/27956/task/28062/stat : 28062 (java) R 27950 27956 20606 0 -1 4202560 3297 13258 0 0 9 0 5 3 20 0 15 0 227276751 11246329856 10036 33554432000 4194304 4196468 140723844877168 140627476442216 140627486182742 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28068] ppid=27950 vsize=10982744 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28068/stat : 28068 (java) S 27950 27956 20606 0 -1 1077944384 2 13258 0 0 0 0 5 3 20 0 15 0 227276751 11246329856 10036 33554432000 4194304 4196468 140723844877168 140627508861584 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28069] ppid=27950 vsize=10982744 memory=288370425108489856 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28069/stat : 28069 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276751 11246329856 10036 33554432000 4194304 4196468 140723844877168 140627043936784 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28070] ppid=27950 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28070/stat : 28070 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276751 11246329856 10036 33554432000 4194304 4196468 140723844877168 140627042883984 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28071] ppid=27950 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28071/stat : 28071 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276752 11246329856 10036 33554432000 4194304 4196468 140723844877168 140627041831184 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28073] ppid=27950 vsize=10982744 memory=140048956778112 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28073/stat : 28073 (java) S 27950 27956 20606 0 -1 1077944384 2 13258 0 0 0 0 5 3 20 0 15 0 227276753 11246329856 10036 33554432000 4194304 4196468 140723844877168 140626474310512 140627504630402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28075] ppid=27950 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28075/stat : 28075 (java) S 27950 27956 20606 0 -1 1077944384 13 13258 0 0 0 0 5 3 20 0 15 0 227276753 11246329856 10036 33554432000 4194304 4196468 140723844877168 140626356069920 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28077] ppid=27950 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28077/stat : 28077 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276754 11246329856 10036 33554432000 4194304 4196468 140723844877168 140626154743152 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28082] ppid=27950 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28082/stat : 28082 (java) S 27950 27956 20606 0 -1 1077944384 3 13258 0 0 0 0 5 3 20 0 15 0 227276756 11246329856 10036 33554432000 4194304 4196468 140723844877168 140625847343440 140627504637851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28083] ppid=27950 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28083/stat : 28083 (java) S 27950 27956 20606 0 -1 1077944384 416 13258 0 0 1 0 5 3 20 0 15 0 227276756 11246329856 10036 33554432000 4194304 4196468 140723844877168 140626473257328 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28084] ppid=27950 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28084/stat : 28084 (java) S 27950 27956 20606 0 -1 1077944384 180 13258 0 0 1 0 5 3 20 0 15 0 227276756 11246329856 10036 33554432000 4194304 4196468 140723844877168 140626472204528 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28085] ppid=27950 vsize=10982744 memory=140048956778112 CPUtime=0.1 cores=0,2,4,6
/proc/27956/task/28085/stat : 28085 (java) R 27950 27956 20606 0 -1 4202560 624 13258 0 0 2 0 5 3 20 0 15 0 227276756 11246329856 10036 33554432000 4194304 4196468 140723844877168 140626471151728 140627484946080 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28087] ppid=27950 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28087/stat : 28087 (java) S 27950 27956 20606 0 -1 1077944384 3 13258 0 0 0 0 5 3 20 0 15 0 227276756 11246329856 10036 33554432000 4194304 4196468 140723844877168 140625416546528 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28089] ppid=27950 vsize=10982744 memory=140048956778112 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28089/stat : 28089 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276757 11246329856 10036 33554432000 4194304 4196468 140723844877168 140626470100144 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 40144 KiB
[startup+0.310452 s]*
/proc/loadavg: 1.00 1.01 1.05 5/216 28089
/proc/meminfo: memFree=24932108/32770624 swapFree=67058900/67108860
[pid=27956] ppid=27950 vsize=10983224 memory=51628 CPUtime=0.36 cores=0,2,4,6
/proc/27956/stat : 27956 (java) S 27950 27956 20606 0 -1 1077944320 9944 13258 0 0 26 2 5 3 20 0 15 0 227276739 11246821376 12907 33554432000 4194304 4196468 140723844877168 140723844859712 140627504619255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
/proc/27956/statm: 2745798 12907 3079 1 0 2708109 0
[pid=27956/tid=28062] ppid=27950 vsize=10983192 memory=576461178948550685 CPUtime=0.26 cores=0,2,4,6
/proc/27956/task/28062/stat : 28062 (java) D 27950 27956 20606 0 -1 1077944384 6497 13258 0 0 17 1 5 3 20 0 15 0 227276751 11246788608 12907 33554432000 4194304 4196468 140723844877168 140627476431264 140627497298477 0 4 0 16800975 18446744072101625380 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28068] ppid=27950 vsize=10983192 memory=304274695493255191 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28068/stat : 28068 (java) S 27950 27956 20606 0 -1 1077944384 2 13258 0 0 0 0 5 3 20 0 15 0 227276751 11246788608 12907 33554432000 4194304 4196468 140723844877168 140627508861584 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28069] ppid=27950 vsize=10983192 memory=297430539167733376 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28069/stat : 28069 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276751 11246788608 12907 33554432000 4194304 4196468 140723844877168 140627043936784 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28070] ppid=27950 vsize=10983224 memory=8508281403248052365 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28070/stat : 28070 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276751 11246821376 12907 33554432000 4194304 4196468 140723844877168 140627042883984 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28071] ppid=27950 vsize=10983224 memory=3472328296227680303 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28071/stat : 28071 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276752 11246821376 12907 33554432000 4194304 4196468 140723844877168 140627041831184 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28073] ppid=27950 vsize=10983192 memory=3472468345184458416 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28073/stat : 28073 (java) S 27950 27956 20606 0 -1 1077944384 2 13258 0 0 0 0 5 3 20 0 15 0 227276753 11246788608 12907 33554432000 4194304 4196468 140723844877168 140626474310512 140627504630402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28075] ppid=27950 vsize=10983192 memory=7378697629483820645 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28075/stat : 28075 (java) S 27950 27956 20606 0 -1 1077944384 13 13258 0 0 0 0 5 3 20 0 15 0 227276753 11246788608 12907 33554432000 4194304 4196468 140723844877168 140626356069920 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28077] ppid=27950 vsize=10983192 memory=-8312670058677691234 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28077/stat : 28077 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276754 11246788608 12907 33554432000 4194304 4196468 140723844877168 140626154743152 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28082] ppid=27950 vsize=10983192 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28082/stat : 28082 (java) S 27950 27956 20606 0 -1 1077944384 3 13258 0 0 0 0 5 3 20 0 15 0 227276756 11246788608 12907 33554432000 4194304 4196468 140723844877168 140625847343440 140627504637851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28083] ppid=27950 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28083/stat : 28083 (java) S 27950 27956 20606 0 -1 1077944384 420 13258 0 0 1 0 5 3 20 0 15 0 227276756 11246788608 12907 33554432000 4194304 4196468 140723844877168 140626473257328 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28084] ppid=27950 vsize=10983192 memory=8389772264424737328 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28084/stat : 28084 (java) S 27950 27956 20606 0 -1 1077944384 183 13258 0 0 1 0 5 3 20 0 15 0 227276756 11246788608 12907 33554432000 4194304 4196468 140723844877168 140626472204528 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28085] ppid=27950 vsize=10983192 memory=140048956778112 CPUtime=0.12 cores=0,2,4,6
/proc/27956/task/28085/stat : 28085 (java) S 27950 27956 20606 0 -1 1077944384 632 13258 0 0 4 0 5 3 20 0 15 0 227276756 11246788608 12907 33554432000 4194304 4196468 140723844877168 140626471151728 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28087] ppid=27950 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28087/stat : 28087 (java) S 27950 27956 20606 0 -1 1077944384 3 13258 0 0 0 0 5 3 20 0 15 0 227276756 11246788608 12907 33554432000 4194304 4196468 140723844877168 140625416546528 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28089] ppid=27950 vsize=10983192 memory=140048956778112 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28089/stat : 28089 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276757 11246788608 12907 33554432000 4194304 4196468 140723844877168 140626470100144 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10983224 KiB
Current children cumulated memory: 51628 KiB
[startup+0.700789 s]
/proc/loadavg: 1.00 1.01 1.05 3/216 28089
/proc/meminfo: memFree=24905568/32770624 swapFree=67058900/67108860
[pid=27956] ppid=27950 vsize=10983192 memory=88004 CPUtime=0.97 cores=0,2,4,6
/proc/27956/stat : 27956 (java) S 27950 27956 20606 0 -1 1077944320 16685 13258 0 0 85 4 5 3 20 0 15 0 227276739 11246788608 22001 33554432000 4194304 4196468 140723844877168 140723844859712 140627504619255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
/proc/27956/statm: 2745798 22001 3237 1 0 2708109 0
[pid=27956/tid=28062] ppid=27950 vsize=10983192 memory=8054 CPUtime=0.64 cores=0,2,4,6
/proc/27956/task/28062/stat : 28062 (java) R 27950 27956 20606 0 -1 4202560 12121 13258 0 0 54 2 5 3 20 0 15 0 227276751 11246788608 22001 33554432000 4194304 4196468 140723844877168 140627476443520 140627489784841 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28068] ppid=27950 vsize=10983192 memory=239 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28068/stat : 28068 (java) S 27950 27956 20606 0 -1 1077944384 2 13258 0 0 0 0 5 3 20 0 15 0 227276751 11246788608 22001 33554432000 4194304 4196468 140723844877168 140627508861584 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28069] ppid=27950 vsize=10983192 memory=213 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28069/stat : 28069 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276751 11246788608 22001 33554432000 4194304 4196468 140723844877168 140627043936784 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28070] ppid=27950 vsize=10983192 memory=4 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28070/stat : 28070 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276751 11246788608 22001 33554432000 4194304 4196468 140723844877168 140627042883984 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28071] ppid=27950 vsize=10983192 memory=83 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28071/stat : 28071 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276752 11246788608 22001 33554432000 4194304 4196468 140723844877168 140627041831184 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28073] ppid=27950 vsize=10983192 memory=669 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28073/stat : 28073 (java) S 27950 27956 20606 0 -1 1077944384 5 13258 0 0 0 0 5 3 20 0 15 0 227276753 11246788608 22001 33554432000 4194304 4196468 140723844877168 140626474310512 140627504630402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28075] ppid=27950 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28075/stat : 28075 (java) S 27950 27956 20606 0 -1 1077944384 13 13258 0 0 0 0 5 3 20 0 15 0 227276753 11246788608 22001 33554432000 4194304 4196468 140723844877168 140626356069920 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28077] ppid=27950 vsize=10983192 memory=5788643205047742039 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28077/stat : 28077 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276754 11246788608 22001 33554432000 4194304 4196468 140723844877168 140626154743152 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28082] ppid=27950 vsize=10983192 memory=7660742144744843625 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28082/stat : 28082 (java) S 27950 27956 20606 0 -1 1077944384 3 13258 0 0 0 0 5 3 20 0 15 0 227276756 11246788608 22001 33554432000 4194304 4196468 140723844877168 140625847343440 140627504637851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28083] ppid=27950 vsize=10983192 memory=6363674579349558866 CPUtime=0.17 cores=0,2,4,6
/proc/27956/task/28083/stat : 28083 (java) S 27950 27956 20606 0 -1 1077944384 1056 13258 0 0 9 0 5 3 20 0 15 0 227276756 11246788608 22001 33554432000 4194304 4196468 140723844877168 140626473257328 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28084] ppid=27950 vsize=10983192 memory=7825734864442108491 CPUtime=0.15 cores=0,2,4,6
/proc/27956/task/28084/stat : 28084 (java) S 27950 27956 20606 0 -1 1077944384 575 13258 0 0 7 0 5 3 20 0 15 0 227276756 11246788608 22001 33554432000 4194304 4196468 140723844877168 140626472204528 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28085] ppid=27950 vsize=10983192 memory=4716009337774116214 CPUtime=0.21 cores=0,2,4,6
/proc/27956/task/28085/stat : 28085 (java) S 27950 27956 20606 0 -1 1077944384 710 13258 0 0 13 0 5 3 20 0 15 0 227276756 11246788608 22001 33554432000 4194304 4196468 140723844877168 140626471151728 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28087] ppid=27950 vsize=10983192 memory=-9181546051567709026 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28087/stat : 28087 (java) S 27950 27956 20606 0 -1 1077944384 3 13258 0 0 0 0 5 3 20 0 15 0 227276756 11246788608 22001 33554432000 4194304 4196468 140723844877168 140625416546528 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28089] ppid=27950 vsize=10983192 memory=32556 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28089/stat : 28089 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276757 11246788608 22001 33554432000 4194304 4196468 140723844877168 140626470100144 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88004 KiB
[startup+1.50076 s]
/proc/loadavg: 1.00 1.01 1.05 4/216 28089
/proc/meminfo: memFree=24798820/32770624 swapFree=67058900/67108860
[pid=27956] ppid=27950 vsize=10998092 memory=179792 CPUtime=2.29 cores=0,2,4,6
/proc/27956/stat : 27956 (java) S 27950 27956 20606 0 -1 1077944320 23642 13258 0 0 209 12 5 3 20 0 15 0 227276739 11262046208 44948 33554432000 4194304 4196468 140723844877168 140723844859712 140627504619255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
/proc/27956/statm: 2749523 44948 3467 1 0 2711181 0
[pid=27956/tid=28062] ppid=27950 vsize=10998092 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/27956/task/28062/stat : 28062 (java) R 27950 27956 20606 0 -1 4202560 17346 13258 0 0 126 7 5 3 20 0 15 0 227276751 11262046208 44948 33554432000 4194304 4196468 140723844877168 140627476427088 140627488699742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28068] ppid=27950 vsize=10998092 memory=3474862696330192672 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28068/stat : 28068 (java) S 27950 27956 20606 0 -1 1077944384 53 13258 0 0 1 0 5 3 20 0 15 0 227276751 11262046208 44948 33554432000 4194304 4196468 140723844877168 140627508861584 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28069] ppid=27950 vsize=10998092 memory=7810741940510682216 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28069/stat : 28069 (java) S 27950 27956 20606 0 -1 1077944384 176 13258 0 0 1 0 5 3 20 0 15 0 227276751 11262046208 44948 33554432000 4194304 4196468 140723844877168 140627043936784 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28070] ppid=27950 vsize=10998092 memory=7956005031678667109 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28070/stat : 28070 (java) S 27950 27956 20606 0 -1 1077944384 14 13258 0 0 1 0 5 3 20 0 15 0 227276751 11262046208 44948 33554432000 4194304 4196468 140723844877168 140627042883984 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28071] ppid=27950 vsize=10998092 memory=7301584493816473452 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28071/stat : 28071 (java) S 27950 27956 20606 0 -1 1077944384 38 13258 0 0 1 0 5 3 20 0 15 0 227276752 11262046208 44948 33554432000 4194304 4196468 140723844877168 140627041831184 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28073] ppid=27950 vsize=10998092 memory=7301855991734425442 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28073/stat : 28073 (java) S 27950 27956 20606 0 -1 1077944384 44 13258 0 0 1 0 5 3 20 0 15 0 227276753 11262046208 44948 33554432000 4194304 4196468 140723844877168 140626474310512 140627504630402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28075] ppid=27950 vsize=10998092 memory=7734797396459564952 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28075/stat : 28075 (java) S 27950 27956 20606 0 -1 1077944384 14 13258 0 0 0 0 5 3 20 0 15 0 227276753 11262046208 44948 33554432000 4194304 4196468 140723844877168 140626356069984 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28077] ppid=27950 vsize=10998092 memory=11474065362 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28077/stat : 28077 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276754 11262046208 44948 33554432000 4194304 4196468 140723844877168 140626154743152 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28082] ppid=27950 vsize=10998092 memory=280097634648024 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28082/stat : 28082 (java) S 27950 27956 20606 0 -1 1077944384 3 13258 0 0 0 0 5 3 20 0 15 0 227276756 11262046208 44948 33554432000 4194304 4196468 140723844877168 140625847343440 140627504637851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28083] ppid=27950 vsize=10998092 memory=280097634907504 CPUtime=0.3 cores=0,2,4,6
/proc/27956/task/28083/stat : 28083 (java) S 27950 27956 20606 0 -1 1077944384 1498 13258 0 0 22 0 5 3 20 0 15 0 227276756 11262046208 44948 33554432000 4194304 4196468 140723844877168 140626473257328 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28084] ppid=27950 vsize=10998092 memory=6944656592387989600 CPUtime=0.26 cores=0,2,4,6
/proc/27956/task/28084/stat : 28084 (java) S 27950 27956 20606 0 -1 1077944384 848 13258 0 0 18 0 5 3 20 0 15 0 227276756 11262046208 44948 33554432000 4194304 4196468 140723844877168 140626472204528 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28085] ppid=27950 vsize=10998092 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/27956/task/28085/stat : 28085 (java) S 27950 27956 20606 0 -1 1077944384 1411 13258 0 0 35 1 5 3 20 0 15 0 227276756 11262046208 44948 33554432000 4194304 4196468 140723844877168 140626471151728 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28087] ppid=27950 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28087/stat : 28087 (java) S 27950 27956 20606 0 -1 1077944384 3 13258 0 0 0 0 5 3 20 0 15 0 227276756 11262046208 44948 33554432000 4194304 4196468 140723844877168 140625416546528 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28089] ppid=27950 vsize=10998092 memory=14018773256590 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28089/stat : 28089 (java) S 27950 27956 20606 0 -1 1077944384 2 13258 0 0 0 0 5 3 20 0 15 0 227276757 11262046208 44948 33554432000 4194304 4196468 140723844877168 140626470100144 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 179792 KiB
[startup+3.11402 s]
/proc/loadavg: 1.16 1.05 1.06 8/216 28089
/proc/meminfo: memFree=24569140/32770624 swapFree=67058900/67108860
[pid=27956] ppid=27950 vsize=11008352 memory=224576 CPUtime=5.72 cores=0,2,4,6
/proc/27956/stat : 27956 (java) S 27950 27956 20606 0 -1 1077944320 33482 13258 0 0 547 17 5 3 20 0 15 0 227276739 11272552448 56144 33554432000 4194304 4196468 140723844877168 140723844859712 140627504619255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
/proc/27956/statm: 2752088 56144 3486 1 0 2713741 0
[pid=27956/tid=28062] ppid=27950 vsize=11008352 memory=2241 CPUtime=3.02 cores=0,2,4,6
/proc/27956/task/28062/stat : 28062 (java) R 27950 27956 20606 0 -1 4202560 23096 13258 0 0 285 9 5 3 20 0 15 0 227276751 11272552448 56144 33554432000 4194304 4196468 140723844877168 140627476449072 140627504631190 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28068] ppid=27950 vsize=11008352 memory=56 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28068/stat : 28068 (java) S 27950 27956 20606 0 -1 1077944384 53 13258 0 0 1 0 5 3 20 0 15 0 227276751 11272552448 56144 33554432000 4194304 4196468 140723844877168 140627508861584 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28069] ppid=27950 vsize=11008352 memory=590024333722744109 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28069/stat : 28069 (java) S 27950 27956 20606 0 -1 1077944384 176 13258 0 0 1 0 5 3 20 0 15 0 227276751 11272552448 56144 33554432000 4194304 4196468 140723844877168 140627043936784 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28070] ppid=27950 vsize=11008352 memory=280097634929024 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28070/stat : 28070 (java) S 27950 27956 20606 0 -1 1077944384 14 13258 0 0 1 0 5 3 20 0 15 0 227276751 11272552448 56144 33554432000 4194304 4196468 140723844877168 140627042883984 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28071] ppid=27950 vsize=11008352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28071/stat : 28071 (java) S 27950 27956 20606 0 -1 1077944384 38 13258 0 0 1 0 5 3 20 0 15 0 227276752 11272552448 56144 33554432000 4194304 4196468 140723844877168 140627041831184 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28073] ppid=27950 vsize=11008352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28073/stat : 28073 (java) S 27950 27956 20606 0 -1 1077944384 53 13258 0 0 1 0 5 3 20 0 15 0 227276753 11272552448 56144 33554432000 4194304 4196468 140723844877168 140626474310512 140627504630402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28075] ppid=27950 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28075/stat : 28075 (java) S 27950 27956 20606 0 -1 1077944384 14 13258 0 0 0 0 5 3 20 0 15 0 227276753 11272552448 56144 33554432000 4194304 4196468 140723844877168 140626356069984 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28077] ppid=27950 vsize=11008352 memory=280097634946416 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28077/stat : 28077 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276754 11272552448 56144 33554432000 4194304 4196468 140723844877168 140626154743152 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28082] ppid=27950 vsize=11008352 memory=780 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28082/stat : 28082 (java) S 27950 27956 20606 0 -1 1077944384 3 13258 0 0 0 0 5 3 20 0 15 0 227276756 11272552448 56144 33554432000 4194304 4196468 140723844877168 140625847343440 140627504637851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28083] ppid=27950 vsize=11008352 memory=1948 CPUtime=0.81 cores=0,2,4,6
/proc/27956/task/28083/stat : 28083 (java) R 27950 27956 20606 0 -1 4202560 1806 13258 0 0 72 1 5 3 20 0 15 0 227276756 11272552448 56144 33554432000 4194304 4196468 140723844877168 140626473246000 140627483863147 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28084] ppid=27950 vsize=11008352 memory=1328 CPUtime=0.74 cores=0,2,4,6
/proc/27956/task/28084/stat : 28084 (java) S 27950 27956 20606 0 -1 1077944384 1710 13258 0 0 65 1 5 3 20 0 15 0 227276756 11272552448 56144 33554432000 4194304 4196468 140723844877168 140626472204528 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28085] ppid=27950 vsize=11008352 memory=976 CPUtime=1.27 cores=0,2,4,6
/proc/27956/task/28085/stat : 28085 (java) R 27950 27956 20606 0 -1 1077944384 4319 13258 0 0 117 2 5 3 20 0 15 0 227276756 11272552448 56144 33554432000 4194304 4196468 140723844877168 140626471151728 140627504630402 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28087] ppid=27950 vsize=11008352 memory=1140 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28087/stat : 28087 (java) S 27950 27956 20606 0 -1 1077944384 3 13258 0 0 0 0 5 3 20 0 15 0 227276756 11272552448 56144 33554432000 4194304 4196468 140723844877168 140625416546528 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28089] ppid=27950 vsize=11008352 memory=1024 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28089/stat : 28089 (java) S 27950 27956 20606 0 -1 1077944384 4 13258 0 0 0 0 5 3 20 0 15 0 227276757 11272552448 56144 33554432000 4194304 4196468 140723844877168 140626470100144 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
Current children cumulated CPU time: 5.72 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 224576 KiB
[startup+4.47615 s]
# the end of solver process 27956 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.30748 s, system=0.314073 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20259 s]
/proc/loadavg: 1.16 1.05 1.06 8/216 28089
/proc/meminfo: memFree=24569140/32770624 swapFree=67058900/67108860
[pid=27956] ppid=27950 vsize=11008352 memory=229880 CPUtime=5.98 cores=0,2,4,6
/proc/27956/stat : 27956 (java) S 27950 27956 20606 0 -1 1077944320 38468 13258 0 0 573 17 5 3 20 0 15 0 227276739 11272552448 57437 33554432000 4194304 4196468 140723844877168 140723844859712 140627504619255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
/proc/27956/statm: 2752088 57470 3488 1 0 2713741 0
[pid=27956/tid=28062] ppid=27950 vsize=11008352 memory=7668598073586115904 CPUtime=3.1 cores=0,2,4,6
/proc/27956/task/28062/stat : 28062 (java) R 27950 27956 20606 0 -1 4202560 25402 13258 0 0 293 9 5 3 20 0 15 0 227276751 11272552448 57470 33554432000 4194304 4196468 140723844877168 140627476453408 140627487153262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28068] ppid=27950 vsize=11008352 memory=8025788831308076138 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28068/stat : 28068 (java) S 27950 27956 20606 0 -1 1077944384 53 13258 0 0 1 0 5 3 20 0 15 0 227276751 11272552448 57470 33554432000 4194304 4196468 140723844877168 140627508861584 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28069] ppid=27950 vsize=11008352 memory=5787213831426565969 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28069/stat : 28069 (java) S 27950 27956 20606 0 -1 1077944384 176 13258 0 0 1 0 5 3 20 0 15 0 227276751 11272552448 57470 33554432000 4194304 4196468 140723844877168 140627043936784 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28070] ppid=27950 vsize=11008352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28070/stat : 28070 (java) S 27950 27956 20606 0 -1 1077944384 14 13258 0 0 1 0 5 3 20 0 15 0 227276751 11272552448 57470 33554432000 4194304 4196468 140723844877168 140627042883984 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28071] ppid=27950 vsize=11008352 memory=185496 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28071/stat : 28071 (java) S 27950 27956 20606 0 -1 1077944384 38 13258 0 0 1 0 5 3 20 0 15 0 227276752 11272552448 57470 33554432000 4194304 4196468 140723844877168 140627041831184 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28073] ppid=27950 vsize=11008352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27956/task/28073/stat : 28073 (java) S 27950 27956 20606 0 -1 1077944384 53 13258 0 0 1 0 5 3 20 0 15 0 227276753 11272552448 57470 33554432000 4194304 4196468 140723844877168 140626474310512 140627504630402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28075] ppid=27950 vsize=11008352 memory=280097634482352 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28075/stat : 28075 (java) S 27950 27956 20606 0 -1 1077944384 14 13258 0 0 0 0 5 3 20 0 15 0 227276753 11272552448 57470 33554432000 4194304 4196468 140723844877168 140626356069984 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28077] ppid=27950 vsize=11008352 memory=140048817211216 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28077/stat : 28077 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276754 11272552448 57470 33554432000 4194304 4196468 140723844877168 140626154743152 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28082] ppid=27950 vsize=11008352 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28082/stat : 28082 (java) S 27950 27956 20606 0 -1 1077944384 3 13258 0 0 0 0 5 3 20 0 15 0 227276756 11272552448 57470 33554432000 4194304 4196468 140723844877168 140625847343440 140627504637851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28083] ppid=27950 vsize=11008352 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/27956/task/28083/stat : 28083 (java) R 27950 27956 20606 0 -1 4202560 2257 13258 0 0 77 1 5 3 20 0 15 0 227276756 11272552448 57470 33554432000 4194304 4196468 140723844877168 140626473250288 140627489361200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28084] ppid=27950 vsize=11008352 memory=280097634435552 CPUtime=0.81 cores=0,2,4,6
/proc/27956/task/28084/stat : 28084 (java) R 27950 27956 20606 0 -1 4202560 2904 13258 0 0 72 1 5 3 20 0 15 0 227276756 11272552448 57470 33554432000 4194304 4196468 140723844877168 140626472185168 140627497722897 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28085] ppid=27950 vsize=11008352 memory=7377272640819455573 CPUtime=1.33 cores=0,2,4,6
/proc/27956/task/28085/stat : 28085 (java) S 27950 27956 20606 0 -1 1077944384 5361 13258 0 0 122 3 5 3 20 0 15 0 227276756 11272552448 57470 33554432000 4194304 4196468 140723844877168 140626471151728 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28087] ppid=27950 vsize=11008352 memory=7666645345331997037 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28087/stat : 28087 (java) S 27950 27956 20606 0 -1 1077944384 3 13258 0 0 0 0 5 3 20 0 15 0 227276756 11272552448 57470 33554432000 4194304 4196468 140723844877168 140625416546528 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28089] ppid=27950 vsize=11008352 memory=6299524772160104035 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28089/stat : 28089 (java) S 27950 27956 20606 0 -1 1077944384 8 13258 0 0 0 0 5 3 20 0 15 0 227276757 11272552448 57470 33554432000 4194304 4196468 140723844877168 140626470100144 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
Current children cumulated CPU time: 5.98 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 229880 KiB
[startup+4.00069 s]*
/proc/loadavg: 1.16 1.05 1.06 8/216 28089
/proc/meminfo: memFree=24364736/32770624 swapFree=67058900/67108860
[pid=27956] ppid=27950 vsize=11077984 memory=328652 CPUtime=8.23 cores=0,2,4,6
/proc/27956/stat : 27956 (java) S 27950 27956 20606 0 -1 1077944320 65660 13258 0 0 790 25 5 3 20 0 15 0 227276739 11343855616 82163 33554432000 4194304 4196468 140723844877168 140723844859712 140627504619255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
/proc/27956/statm: 2769496 82163 3499 1 0 2731149 0
[pid=27956/tid=28062] ppid=27950 vsize=11077984 memory=6791534058613427641 CPUtime=3.86 cores=0,2,4,6
/proc/27956/task/28062/stat : 28062 (java) R 27950 27956 20606 0 -1 4202560 40336 13258 0 0 366 12 5 3 20 0 15 0 227276751 11343855616 82229 33554432000 4194304 4196468 140723844877168 140627476432888 140627484895083 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28068] ppid=27950 vsize=11077984 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/27956/task/28068/stat : 28068 (java) S 27950 27956 20606 0 -1 1077944384 68 13258 0 0 3 0 5 3 20 0 15 0 227276751 11343855616 82229 33554432000 4194304 4196468 140723844877168 140627508861584 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28069] ppid=27950 vsize=11077984 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/27956/task/28069/stat : 28069 (java) S 27950 27956 20606 0 -1 1077944384 511 13258 0 0 3 0 5 3 20 0 15 0 227276751 11343855616 82229 33554432000 4194304 4196468 140723844877168 140627043936784 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28070] ppid=27950 vsize=11077984 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/27956/task/28070/stat : 28070 (java) S 27950 27956 20606 0 -1 1077944384 214 13258 0 0 3 0 5 3 20 0 15 0 227276751 11343855616 82229 33554432000 4194304 4196468 140723844877168 140627042883984 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28071] ppid=27950 vsize=11077984 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/27956/task/28071/stat : 28071 (java) S 27950 27956 20606 0 -1 1077944384 55 13258 0 0 3 0 5 3 20 0 15 0 227276752 11343855616 82229 33554432000 4194304 4196468 140723844877168 140627041831184 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28073] ppid=27950 vsize=11077984 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/27956/task/28073/stat : 28073 (java) S 27950 27956 20606 0 -1 1077944384 3802 13258 0 0 3 0 5 3 20 0 15 0 227276753 11343855616 82229 33554432000 4194304 4196468 140723844877168 140626474310512 140627504630402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28075] ppid=27950 vsize=11077984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28075/stat : 28075 (java) S 27950 27956 20606 0 -1 1077944384 14 13258 0 0 0 0 5 3 20 0 15 0 227276753 11343855616 82229 33554432000 4194304 4196468 140723844877168 140626356069984 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28077] ppid=27950 vsize=11077984 memory=-8844967870357397355 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28077/stat : 28077 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 15 0 227276754 11343855616 82295 33554432000 4194304 4196468 140723844877168 140626154743168 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28082] ppid=27950 vsize=11077984 memory=4640484857559275876 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28082/stat : 28082 (java) S 27950 27956 20606 0 -1 1077944384 3 13258 0 0 0 0 5 3 20 0 15 0 227276756 11343855616 82295 33554432000 4194304 4196468 140723844877168 140625847343440 140627504637851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28083] ppid=27950 vsize=11077984 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/27956/task/28083/stat : 28083 (java) R 27950 27956 20606 0 -1 4202560 5252 13258 0 0 126 2 5 3 20 0 15 0 227276756 11343855616 82295 33554432000 4194304 4196468 140723844877168 140626473238344 140627483790581 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28084] ppid=27950 vsize=11077984 memory=3618413826336109105 CPUtime=1.35 cores=0,2,4,6
/proc/27956/task/28084/stat : 28084 (java) R 27950 27956 20606 0 -1 4202560 6410 13258 0 0 125 2 5 3 20 0 15 0 227276756 11343855616 82295 33554432000 4194304 4196468 140723844877168 140626472185544 140627488116039 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28085] ppid=27950 vsize=11077984 memory=3978283284701913008 CPUtime=1.64 cores=0,2,4,6
/proc/27956/task/28085/stat : 28085 (java) S 27950 27956 20606 0 -1 1077944384 6841 13258 0 0 153 3 5 3 20 0 15 0 227276756 11343855616 82295 33554432000 4194304 4196468 140723844877168 140626471151728 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28087] ppid=27950 vsize=11077984 memory=4049919380894660399 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28087/stat : 28087 (java) S 27950 27956 20606 0 -1 1077944384 3 13258 0 0 0 0 5 3 20 0 15 0 227276756 11343855616 82295 33554432000 4194304 4196468 140723844877168 140625416546528 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28089] ppid=27950 vsize=11077984 memory=3760962604261447603 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28089/stat : 28089 (java) S 27950 27956 20606 0 -1 1077944384 8 13258 0 0 0 0 5 3 20 0 15 0 227276757 11343855616 82295 33554432000 4194304 4196468 140723844877168 140626470100144 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
Current children cumulated CPU time: 8.23 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 328652 KiB
[startup+4.40072 s]
/proc/loadavg: 1.16 1.05 1.06 8/216 28089
/proc/meminfo: memFree=24364736/32770624 swapFree=67058900/67108860
[pid=27956] ppid=27950 vsize=11210848 memory=352296 CPUtime=9.53 cores=0,2,4,6
/proc/27956/stat : 27956 (java) S 27950 27956 20606 0 -1 1077944320 71683 13258 0 0 919 26 5 3 20 0 14 0 227276739 11479908352 88074 33554432000 4194304 4196468 140723844877168 140723844859712 140627504619255 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
/proc/27956/statm: 2802712 88074 3504 1 0 2764365 0
[pid=27956/tid=28062] ppid=27950 vsize=11210848 memory=3571 CPUtime=4.23 cores=0,2,4,6
/proc/27956/task/28062/stat : 28062 (java) S 27950 27956 20606 0 -1 1077944384 43204 13258 0 0 403 12 5 3 20 0 14 0 227276751 11479908352 88074 33554432000 4194304 4196468 140723844877168 140627476462736 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28068] ppid=27950 vsize=11210848 memory=2209 CPUtime=0.11 cores=0,2,4,6
/proc/27956/task/28068/stat : 28068 (java) S 27950 27956 20606 0 -1 1077944384 68 13258 0 0 3 0 5 3 20 0 14 0 227276751 11479908352 88074 33554432000 4194304 4196468 140723844877168 140627508861584 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28069] ppid=27950 vsize=11210848 memory=2209 CPUtime=0.11 cores=0,2,4,6
/proc/27956/task/28069/stat : 28069 (java) S 27950 27956 20606 0 -1 1077944384 511 13258 0 0 3 0 5 3 20 0 14 0 227276751 11479908352 88074 33554432000 4194304 4196468 140723844877168 140627043936784 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28070] ppid=27950 vsize=11210848 memory=2209 CPUtime=0.11 cores=0,2,4,6
/proc/27956/task/28070/stat : 28070 (java) S 27950 27956 20606 0 -1 1077944384 214 13258 0 0 3 0 5 3 20 0 14 0 227276751 11479908352 88074 33554432000 4194304 4196468 140723844877168 140627042883984 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28071] ppid=27950 vsize=11210848 memory=2176072028066 CPUtime=0.11 cores=0,2,4,6
/proc/27956/task/28071/stat : 28071 (java) S 27950 27956 20606 0 -1 1077944384 55 13258 0 0 3 0 5 3 20 0 14 0 227276752 11479908352 88074 33554432000 4194304 4196468 140723844877168 140627041831184 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28073] ppid=27950 vsize=11210848 memory=140048817195289 CPUtime=0.11 cores=0,2,4,6
/proc/27956/task/28073/stat : 28073 (java) S 27950 27956 20606 0 -1 1077944384 3802 13258 0 0 3 0 5 3 20 0 14 0 227276753 11479908352 88074 33554432000 4194304 4196468 140723844877168 140626474310720 140627504630402 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28075] ppid=27950 vsize=11210848 memory=140048817195289 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28075/stat : 28075 (java) S 27950 27956 20606 0 -1 1077944384 14 13258 0 0 0 0 5 3 20 0 14 0 227276753 11479908352 88074 33554432000 4194304 4196468 140723844877168 140626356069984 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28077] ppid=27950 vsize=11210848 memory=140048817195289 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28077/stat : 28077 (java) S 27950 27956 20606 0 -1 1077944384 1 13258 0 0 0 0 5 3 20 0 14 0 227276754 11479908352 88074 33554432000 4194304 4196468 140723844877168 140626154743168 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28082] ppid=27950 vsize=11210848 memory=2818576290 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28082/stat : 28082 (java) S 27950 27956 20606 0 -1 1077944384 25 13258 0 0 0 0 5 3 20 0 14 0 227276756 11479908352 88074 33554432000 4194304 4196468 140723844877168 140625847343152 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28083] ppid=27950 vsize=11210848 memory=5713 CPUtime=1.75 cores=0,2,4,6
/proc/27956/task/28083/stat : 28083 (java) R 27950 27956 20606 0 -1 4202560 7076 13258 0 0 165 2 5 3 20 0 14 0 227276756 11479908352 88074 33554432000 4194304 4196468 140723844877168 140626473243104 140627486164485 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28084] ppid=27950 vsize=11210848 memory=2329240794431386115 CPUtime=1.72 cores=0,2,4,6
/proc/27956/task/28084/stat : 28084 (java) S 27950 27956 20606 0 -1 1077944384 7258 13258 0 0 162 2 5 3 20 0 14 0 227276756 11479908352 88074 33554432000 4194304 4196468 140723844877168 140626472184928 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28085] ppid=27950 vsize=11210848 memory=3474584425385574099 CPUtime=1.81 cores=0,2,4,6
/proc/27956/task/28085/stat : 28085 (java) S 27950 27956 20606 0 -1 1077944384 7238 13258 0 0 170 3 5 3 20 0 14 0 227276756 11479908352 88074 33554432000 4194304 4196468 140723844877168 140626471151728 140627504630402 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
[pid=27956/tid=28087] ppid=27950 vsize=11210848 memory=140048817270705 CPUtime=0.08 cores=0,2,4,6
/proc/27956/task/28087/stat : 28087 (java) S 27950 27956 20606 0 -1 1077944384 3 13258 0 0 0 0 5 3 20 0 14 0 227276756 11479908352 88074 33554432000 4194304 4196468 140723844877168 140625416546528 140627504629461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9338880 140723844885091 140723844887900 140723844887900 140723844890575 0
Current children cumulated CPU time: 9.53 s
Current children cumulated vsize: 11210848 KiB
Current children cumulated memory: 352296 KiB
Child status: 0
Real time (s): 4.47619
CPU time (s): 9.62155
CPU user time (s): 9.30748
CPU system time (s): 0.314073
CPU usage (%): 214.949
Max. virtual memory (cumulated for all children) (KiB): 11210848
Max. memory (cumulated for all children) (KiB): 352296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.30748
system time used= 0.314073
maximum resident set size= 354300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85182
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7520
involuntary context switches= 61
# summary of solver processes directly reported to runsolver:
# pid: 27956
# total CPU time (s): 9.62155
# total CPU user time (s): 9.30748
# total CPU system time (s): 0.314073
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050371 second user time and 0.086021 second system time
The end