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 (12755 MiB free)
memory of node 1: 16384 MiB (14354 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274543-1502846015/watcher-4274543-1502846015 -o /tmp/evaluation-result-4274543-1502846015/solver-4274543-1502846015 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502838367-6300 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 338383562 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274543-1502846015.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=7208, runsolver pid=7205
Current StackSize limit: 8192 KiB
[startup+0.101284 s]*
/proc/loadavg: 1.51 1.50 1.50 2/215 7223
/proc/meminfo: memFree=27740516/32770624 swapFree=67108860/67108860
[pid=7208] ppid=7205 vsize=13980164 memory=35944 CPUtime=0.12 cores=0,2,4,6
/proc/7208/stat : 7208 (java) S 7205 7208 6269 0 -1 1077944320 8334 0 0 0 10 2 0 0 20 0 15 0 117689331 14315687936 8986 33554432000 4194304 4196468 140737111678992 140737111661536 140235772239607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
/proc/7208/statm: 3495041 8986 3410 1 0 3482761 0
[pid=7208/tid=7210] ppid=7205 vsize=13980164 memory=-8681068114749519040 CPUtime=0.08 cores=0,2,4,6
/proc/7208/task/7210/stat : 7210 (java) R 7205 7208 6269 0 -1 4202560 6307 0 0 0 7 1 0 0 20 0 15 0 117689331 14315687936 8986 33554432000 4194304 4196468 140737111678992 140235776422864 140235755426416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7211] ppid=7205 vsize=13980164 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7211/stat : 7211 (java) S 7205 7208 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117689332 14315687936 8986 33554432000 4194304 4196468 140737111678992 140235724860560 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7212] ppid=7205 vsize=13980164 memory=140385791698560 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7212/stat : 7212 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689332 14315687936 8986 33554432000 4194304 4196468 140737111678992 140235723807760 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7213] ppid=7205 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7213/stat : 7213 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689332 14315687936 8986 33554432000 4194304 4196468 140737111678992 140235722754960 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7214] ppid=7205 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7214/stat : 7214 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689332 14315687936 8986 33554432000 4194304 4196468 140737111678992 140235721702160 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7215] ppid=7205 vsize=13980164 memory=140385791698560 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7215/stat : 7215 (java) S 7205 7208 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117689334 14315687936 8986 33554432000 4194304 4196468 140737111678992 140235314452848 140235772250754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7216] ppid=7205 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7216/stat : 7216 (java) S 7205 7208 6269 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 117689334 14315687936 8986 33554432000 4194304 4196468 140737111678992 140234683835424 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7217] ppid=7205 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7217/stat : 7217 (java) S 7205 7208 6269 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117689334 14315687936 8986 33554432000 4194304 4196468 140737111678992 140234682782576 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7218] ppid=7205 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7218/stat : 7218 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14315687936 8986 33554432000 4194304 4196468 140737111678992 140234681730896 140235772258203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7219] ppid=7205 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7219/stat : 7219 (java) S 7205 7208 6269 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 117689337 14315687936 8986 33554432000 4194304 4196468 140737111678992 140234680679280 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7220] ppid=7205 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7220/stat : 7220 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14315687936 8986 33554432000 4194304 4196468 140737111678992 140234679626480 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7221] ppid=7205 vsize=13980164 memory=140385791698560 CPUtime=0.01 cores=0,2,4,6
/proc/7208/task/7221/stat : 7221 (java) S 7205 7208 6269 0 -1 1077944384 377 0 0 0 1 0 0 0 20 0 15 0 117689337 14315687936 8986 33554432000 4194304 4196468 140737111678992 140234678573680 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7222] ppid=7205 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7222/stat : 7222 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14315687936 8986 33554432000 4194304 4196468 140737111678992 140234677521120 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7223] ppid=7205 vsize=13980164 memory=140385791698560 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7223/stat : 7223 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689337 14315687936 8986 33554432000 4194304 4196468 140737111678992 140234676468400 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 35944 KiB
[startup+0.210415 s]*
/proc/loadavg: 1.51 1.50 1.50 3/215 7223
/proc/meminfo: memFree=27730092/32770624 swapFree=67108860/67108860
[pid=7208] ppid=7205 vsize=13980164 memory=45296 CPUtime=0.3 cores=0,2,4,6
/proc/7208/stat : 7208 (java) S 7205 7208 6269 0 -1 1077944320 9316 0 0 0 27 3 0 0 20 0 15 0 117689331 14315687936 11324 33554432000 4194304 4196468 140737111678992 140737111661536 140235772239607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
/proc/7208/statm: 3495041 11324 3641 1 0 3482761 0
[pid=7208/tid=7210] ppid=7205 vsize=13980164 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/7208/task/7210/stat : 7210 (java) R 7205 7208 6269 0 -1 4202560 6927 0 0 0 17 2 0 0 20 0 15 0 117689331 14315687936 11324 33554432000 4194304 4196468 140737111678992 140235776455520 140235772261533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7211] ppid=7205 vsize=13980164 memory=345 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7211/stat : 7211 (java) S 7205 7208 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117689332 14315687936 11324 33554432000 4194304 4196468 140737111678992 140235724860560 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7212] ppid=7205 vsize=13980164 memory=140385791705871 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7212/stat : 7212 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689332 14315687936 11324 33554432000 4194304 4196468 140737111678992 140235723807760 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7213] ppid=7205 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7213/stat : 7213 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689332 14315687936 11324 33554432000 4194304 4196468 140737111678992 140235722754960 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7214] ppid=7205 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7214/stat : 7214 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689332 14315687936 11324 33554432000 4194304 4196468 140737111678992 140235721702160 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7215] ppid=7205 vsize=13980164 memory=140385791698560 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7215/stat : 7215 (java) S 7205 7208 6269 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117689334 14315687936 11324 33554432000 4194304 4196468 140737111678992 140235314452848 140235772250754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7216] ppid=7205 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7216/stat : 7216 (java) S 7205 7208 6269 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 117689334 14315687936 11324 33554432000 4194304 4196468 140737111678992 140234683835424 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7217] ppid=7205 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7217/stat : 7217 (java) S 7205 7208 6269 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117689334 14315687936 11324 33554432000 4194304 4196468 140737111678992 140234682782576 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7218] ppid=7205 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7218/stat : 7218 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14315687936 11324 33554432000 4194304 4196468 140737111678992 140234681730896 140235772258203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7219] ppid=7205 vsize=13980164 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7208/task/7219/stat : 7219 (java) S 7205 7208 6269 0 -1 1077944384 494 0 0 0 2 0 0 0 20 0 15 0 117689337 14315687936 11324 33554432000 4194304 4196468 140737111678992 140234680679280 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7220] ppid=7205 vsize=13980164 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7208/task/7220/stat : 7220 (java) R 7205 7208 6269 0 -1 4202560 137 0 0 0 1 0 0 0 20 0 15 0 117689337 14315687936 11324 33554432000 4194304 4196468 140737111678992 140234679626480 140235755626532 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7221] ppid=7205 vsize=13980164 memory=140385791698560 CPUtime=0.05 cores=0,2,4,6
/proc/7208/task/7221/stat : 7221 (java) S 7205 7208 6269 0 -1 1077944384 401 0 0 0 5 0 0 0 20 0 15 0 117689337 14315687936 11324 33554432000 4194304 4196468 140737111678992 140234678573680 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7222] ppid=7205 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7222/stat : 7222 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14315687936 11324 33554432000 4194304 4196468 140737111678992 140234677521120 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7223] ppid=7205 vsize=13980164 memory=140385791698560 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7223/stat : 7223 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689337 14315687936 11324 33554432000 4194304 4196468 140737111678992 140234676468400 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 45296 KiB
[startup+0.310248 s]*
/proc/loadavg: 1.51 1.50 1.50 3/215 7223
/proc/meminfo: memFree=27723172/32770624 swapFree=67108860/67108860
[pid=7208] ppid=7205 vsize=13980184 memory=52768 CPUtime=0.49 cores=0,2,4,6
/proc/7208/stat : 7208 (java) S 7205 7208 6269 0 -1 1077944320 10364 0 0 0 45 4 0 0 20 0 15 0 117689331 14315708416 13192 33554432000 4194304 4196468 140737111678992 140737111661536 140235772239607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
/proc/7208/statm: 3495046 13192 3718 1 0 3482761 0
[pid=7208/tid=7210] ppid=7205 vsize=13980184 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/7208/task/7210/stat : 7210 (java) R 7205 7208 6269 0 -1 4202560 7517 0 0 0 26 3 0 0 20 0 15 0 117689331 14315708416 13192 33554432000 4194304 4196468 140737111678992 140235776463904 140235756320094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7211] ppid=7205 vsize=13980184 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7211/stat : 7211 (java) S 7205 7208 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117689332 14315708416 13192 33554432000 4194304 4196468 140737111678992 140235724860560 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7212] ppid=7205 vsize=13980184 memory=14274849191159448 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7212/stat : 7212 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689332 14315708416 13192 33554432000 4194304 4196468 140737111678992 140235723807760 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7213] ppid=7205 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7213/stat : 7213 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689332 14315708416 13192 33554432000 4194304 4196468 140737111678992 140235722754960 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7214] ppid=7205 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7214/stat : 7214 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689332 14315708416 13192 33554432000 4194304 4196468 140737111678992 140235721702160 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7215] ppid=7205 vsize=13980184 memory=140385791698560 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7215/stat : 7215 (java) S 7205 7208 6269 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117689334 14315708416 13192 33554432000 4194304 4196468 140737111678992 140235314452848 140235772250754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7216] ppid=7205 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7216/stat : 7216 (java) S 7205 7208 6269 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 117689334 14315708416 13192 33554432000 4194304 4196468 140737111678992 140234683835424 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7217] ppid=7205 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7217/stat : 7217 (java) S 7205 7208 6269 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117689334 14315708416 13192 33554432000 4194304 4196468 140737111678992 140234682782576 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7218] ppid=7205 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7218/stat : 7218 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14315708416 13192 33554432000 4194304 4196468 140737111678992 140234681730896 140235772258203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7219] ppid=7205 vsize=13980184 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/7208/task/7219/stat : 7219 (java) S 7205 7208 6269 0 -1 1077944384 734 0 0 0 6 0 0 0 20 0 15 0 117689337 14315708416 13192 33554432000 4194304 4196468 140737111678992 140234680679280 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7220] ppid=7205 vsize=13980184 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/7208/task/7220/stat : 7220 (java) S 7205 7208 6269 0 -1 1077944384 292 0 0 0 3 0 0 0 20 0 15 0 117689337 14315708416 13192 33554432000 4194304 4196468 140737111678992 140234679626480 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7221] ppid=7205 vsize=13980184 memory=140385791698560 CPUtime=0.08 cores=0,2,4,6
/proc/7208/task/7221/stat : 7221 (java) S 7205 7208 6269 0 -1 1077944384 466 0 0 0 8 0 0 0 20 0 15 0 117689337 14315708416 13192 33554432000 4194304 4196468 140737111678992 140234678573680 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7222] ppid=7205 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7222/stat : 7222 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14315708416 13192 33554432000 4194304 4196468 140737111678992 140234677521120 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7223] ppid=7205 vsize=13980184 memory=140385791698560 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7223/stat : 7223 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689337 14315708416 13192 33554432000 4194304 4196468 140737111678992 140234676468400 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 52768 KiB
[startup+0.700728 s]
/proc/loadavg: 1.51 1.50 1.50 4/215 7223
/proc/meminfo: memFree=27712780/32770624 swapFree=67108860/67108860
[pid=7208] ppid=7205 vsize=13982232 memory=76824 CPUtime=1.33 cores=0,2,4,6
/proc/7208/stat : 7208 (java) S 7205 7208 6269 0 -1 1077944320 12282 0 0 0 127 6 0 0 20 0 15 0 117689331 14317805568 19206 33554432000 4194304 4196468 140737111678992 140737111661536 140235772239607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
/proc/7208/statm: 3495558 19206 3763 1 0 3483273 0
[pid=7208/tid=7210] ppid=7205 vsize=13982232 memory=1728 CPUtime=0.66 cores=0,2,4,6
/proc/7208/task/7210/stat : 7210 (java) R 7205 7208 6269 0 -1 4202560 8511 0 0 0 62 4 0 0 20 0 15 0 117689331 14317805568 19206 33554432000 4194304 4196468 140737111678992 140235776472176 140235753803167 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7211] ppid=7205 vsize=13982232 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7211/stat : 7211 (java) S 7205 7208 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117689332 14317805568 19206 33554432000 4194304 4196468 140737111678992 140235724860560 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7212] ppid=7205 vsize=13982232 memory=796 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7212/stat : 7212 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689332 14317805568 19206 33554432000 4194304 4196468 140737111678992 140235723807760 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7213] ppid=7205 vsize=13982232 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7213/stat : 7213 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689332 14317805568 19206 33554432000 4194304 4196468 140737111678992 140235722754960 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7214] ppid=7205 vsize=13982232 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7214/stat : 7214 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689332 14317805568 19206 33554432000 4194304 4196468 140737111678992 140235721702160 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7215] ppid=7205 vsize=13982232 memory=8576 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7215/stat : 7215 (java) S 7205 7208 6269 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117689334 14317805568 19206 33554432000 4194304 4196468 140737111678992 140235314452848 140235772250754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7216] ppid=7205 vsize=13982232 memory=5516 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7216/stat : 7216 (java) S 7205 7208 6269 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 117689334 14317805568 19206 33554432000 4194304 4196468 140737111678992 140234683835424 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7217] ppid=7205 vsize=13982232 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7217/stat : 7217 (java) S 7205 7208 6269 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117689334 14317805568 19206 33554432000 4194304 4196468 140737111678992 140234682782576 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7218] ppid=7205 vsize=13982232 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7218/stat : 7218 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14317805568 19206 33554432000 4194304 4196468 140737111678992 140234681730896 140235772258203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7219] ppid=7205 vsize=13982232 memory=7518026621751088999 CPUtime=0.17 cores=0,2,4,6
/proc/7208/task/7219/stat : 7219 (java) R 7205 7208 6269 0 -1 4202560 947 0 0 0 17 0 0 0 20 0 15 0 117689337 14317805568 19206 33554432000 4194304 4196468 140737111678992 140234680670928 140235757365571 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7220] ppid=7205 vsize=13982232 memory=7589803909226524263 CPUtime=0.14 cores=0,2,4,6
/proc/7208/task/7220/stat : 7220 (java) S 7205 7208 6269 0 -1 1077944384 381 0 0 0 14 0 0 0 20 0 15 0 117689337 14317805568 19206 33554432000 4194304 4196468 140737111678992 140234679626480 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7221] ppid=7205 vsize=13982232 memory=5787213827113576551 CPUtime=0.33 cores=0,2,4,6
/proc/7208/task/7221/stat : 7221 (java) S 7205 7208 6269 0 -1 1077944384 1083 0 0 0 33 0 0 0 20 0 15 0 117689337 14317805568 19206 33554432000 4194304 4196468 140737111678992 140234678573680 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7222] ppid=7205 vsize=13982232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7222/stat : 7222 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14317805568 19206 33554432000 4194304 4196468 140737111678992 140234677521120 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7223] ppid=7205 vsize=13982232 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7223/stat : 7223 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689337 14317805568 19206 33554432000 4194304 4196468 140737111678992 140234676468400 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 13982232 KiB
Current children cumulated memory: 76824 KiB
[startup+1.50086 s]
/proc/loadavg: 1.51 1.50 1.50 6/215 7223
/proc/meminfo: memFree=27670780/32770624 swapFree=67108860/67108860
[pid=7208] ppid=7205 vsize=13986328 memory=156812 CPUtime=3.73 cores=0,2,4,6
/proc/7208/stat : 7208 (java) S 7205 7208 6269 0 -1 1077944320 26052 0 0 0 364 9 0 0 20 0 15 0 117689331 14321999872 39203 33554432000 4194304 4196468 140737111678992 140737111661536 140235772239607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
/proc/7208/statm: 3496582 39203 3787 1 0 3484297 0
[pid=7208/tid=7210] ppid=7205 vsize=13986328 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/7208/task/7210/stat : 7210 (java) R 7205 7208 6269 0 -1 4202560 11253 0 0 0 140 6 0 0 20 0 15 0 117689331 14321999872 39203 33554432000 4194304 4196468 140737111678992 140235776477296 140235405196241 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7211] ppid=7205 vsize=13986328 memory=-8754540793456063680 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7211/stat : 7211 (java) S 7205 7208 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117689332 14321999872 39203 33554432000 4194304 4196468 140737111678992 140235724860560 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7212] ppid=7205 vsize=13986328 memory=-2843869621055772062 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7212/stat : 7212 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689332 14321999872 39203 33554432000 4194304 4196468 140737111678992 140235723807760 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7213] ppid=7205 vsize=13986328 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7213/stat : 7213 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689332 14321999872 39203 33554432000 4194304 4196468 140737111678992 140235722754960 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7214] ppid=7205 vsize=13986328 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7214/stat : 7214 (java) S 7205 7208 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689332 14321999872 39203 33554432000 4194304 4196468 140737111678992 140235721702160 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7215] ppid=7205 vsize=13986328 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7215/stat : 7215 (java) S 7205 7208 6269 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 117689334 14321999872 39203 33554432000 4194304 4196468 140737111678992 140235314452848 140235772250754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
################
# More data... #
################
/proc/7208/task/7210/stat : 7210 (java) R 7205 7208 6269 0 -1 4202560 113323 0 0 0 235390 81 0 0 20 0 15 0 117689331 14321999872 139194 33554432000 4194304 4196468 140737111678992 140235776478112 140235407135638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7211] ppid=7205 vsize=13986328 memory=517680 CPUtime=18.84 cores=0,2,4,6
/proc/7208/task/7211/stat : 7211 (java) S 7205 7208 6269 0 -1 1077944384 14480 0 0 0 1826 58 0 0 20 0 15 0 117689332 14321999872 139194 33554432000 4194304 4196468 140737111678992 140235724860560 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7212] ppid=7205 vsize=13986328 memory=556776 CPUtime=18.82 cores=0,2,4,6
/proc/7208/task/7212/stat : 7212 (java) S 7205 7208 6269 0 -1 1077944384 15723 0 0 0 1825 57 0 0 20 0 15 0 117689332 14321999872 139194 33554432000 4194304 4196468 140737111678992 140235723807760 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7213] ppid=7205 vsize=13986328 memory=558316 CPUtime=18.8 cores=0,2,4,6
/proc/7208/task/7213/stat : 7213 (java) S 7205 7208 6269 0 -1 1077944384 13985 0 0 0 1824 56 0 0 20 0 15 0 117689332 14321999872 139194 33554432000 4194304 4196468 140737111678992 140235722754960 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7214] ppid=7205 vsize=13986328 memory=542304 CPUtime=18.84 cores=0,2,4,6
/proc/7208/task/7214/stat : 7214 (java) S 7205 7208 6269 0 -1 1077944384 14300 0 0 0 1827 57 0 0 20 0 15 0 117689332 14321999872 139194 33554432000 4194304 4196468 140737111678992 140235721702160 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7215] ppid=7205 vsize=13986328 memory=4140 CPUtime=5.26 cores=0,2,4,6
/proc/7208/task/7215/stat : 7215 (java) S 7205 7208 6269 0 -1 1077944384 47457 0 0 0 449 77 0 0 20 0 15 0 117689334 14321999872 139194 33554432000 4194304 4196468 140737111678992 140235314452848 140235772250754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7216] ppid=7205 vsize=13986328 memory=525376 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7216/stat : 7216 (java) S 7205 7208 6269 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 117689334 14321999872 139194 33554432000 4194304 4196468 140737111678992 140234683835488 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7217] ppid=7205 vsize=13986328 memory=573508 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7217/stat : 7217 (java) S 7205 7208 6269 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 117689334 14321999872 139194 33554432000 4194304 4196468 140737111678992 140234682782592 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7218] ppid=7205 vsize=13986328 memory=565816 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7218/stat : 7218 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14321999872 139194 33554432000 4194304 4196468 140737111678992 140234681730896 140235772258203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7219] ppid=7205 vsize=13986328 memory=796 CPUtime=3.02 cores=0,2,4,6
/proc/7208/task/7219/stat : 7219 (java) S 7205 7208 6269 0 -1 1077944384 25786 0 0 0 300 2 0 0 20 0 15 0 117689337 14321999872 139194 33554432000 4194304 4196468 140737111678992 140234680679280 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7220] ppid=7205 vsize=13986328 memory=567352 CPUtime=3.02 cores=0,2,4,6
/proc/7208/task/7220/stat : 7220 (java) S 7205 7208 6269 0 -1 1077944384 27321 0 0 0 299 3 0 0 20 0 15 0 117689337 14321999872 139194 33554432000 4194304 4196468 140737111678992 140234679626480 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7221] ppid=7205 vsize=13986328 memory=568892 CPUtime=1.18 cores=0,2,4,6
/proc/7208/task/7221/stat : 7221 (java) S 7205 7208 6269 0 -1 1077944384 22278 0 0 0 116 2 0 0 20 0 15 0 117689337 14321999872 139194 33554432000 4194304 4196468 140737111678992 140234678573680 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7222] ppid=7205 vsize=13986328 memory=644 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7222/stat : 7222 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14321999872 139194 33554432000 4194304 4196468 140737111678992 140234677521120 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7223] ppid=7205 vsize=13986328 memory=1788 CPUtime=1.55 cores=0,2,4,6
/proc/7208/task/7223/stat : 7223 (java) S 7205 7208 6269 0 -1 1077944384 976 0 0 0 78 77 0 0 20 0 15 0 117689337 14321999872 139194 33554432000 4194304 4196468 140737111678992 140234676468400 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
Current children cumulated CPU time: 2444.15 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 556776 KiB
[startup+2442.3 s]
/proc/loadavg: 1.25 1.27 1.35 3/215 7431
/proc/meminfo: memFree=26461140/32770624 swapFree=67108860/67108860
[pid=7208] ppid=7205 vsize=13986328 memory=568504 CPUtime=2505.52 cores=0,2,4,6
/proc/7208/stat : 7208 (java) S 7205 7208 6269 0 -1 1077944320 302449 0 0 0 250107 445 0 0 20 0 15 0 117689331 14321999872 142126 33554432000 4194304 4196468 140737111678992 140737111661536 140235772239607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
/proc/7208/statm: 3496582 142126 3861 1 0 3484297 0
[pid=7208/tid=7210] ppid=7205 vsize=13986328 memory=566456 CPUtime=2413.99 cores=0,2,4,6
/proc/7208/task/7210/stat : 7210 (java) R 7205 7208 6269 0 -1 4202560 115048 0 0 0 241317 82 0 0 20 0 15 0 117689331 14321999872 142126 33554432000 4194304 4196468 140737111678992 140235776478160 140235406149582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7211] ppid=7205 vsize=13986328 memory=568528 CPUtime=19.32 cores=0,2,4,6
/proc/7208/task/7211/stat : 7211 (java) S 7205 7208 6269 0 -1 1077944384 14889 0 0 0 1872 60 0 0 20 0 15 0 117689332 14321999872 142126 33554432000 4194304 4196468 140737111678992 140235724860560 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7212] ppid=7205 vsize=13986328 memory=565960 CPUtime=19.29 cores=0,2,4,6
/proc/7208/task/7212/stat : 7212 (java) S 7205 7208 6269 0 -1 1077944384 16162 0 0 0 1870 59 0 0 20 0 15 0 117689332 14321999872 142126 33554432000 4194304 4196468 140737111678992 140235723807760 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7213] ppid=7205 vsize=13986328 memory=565452 CPUtime=19.26 cores=0,2,4,6
/proc/7208/task/7213/stat : 7213 (java) S 7205 7208 6269 0 -1 1077944384 14372 0 0 0 1869 57 0 0 20 0 15 0 117689332 14321999872 142126 33554432000 4194304 4196468 140737111678992 140235722754960 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7214] ppid=7205 vsize=13986328 memory=567488 CPUtime=19.32 cores=0,2,4,6
/proc/7208/task/7214/stat : 7214 (java) S 7205 7208 6269 0 -1 1077944384 14714 0 0 0 1873 59 0 0 20 0 15 0 117689332 14321999872 142126 33554432000 4194304 4196468 140737111678992 140235721702160 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7215] ppid=7205 vsize=13986328 memory=567488 CPUtime=5.39 cores=0,2,4,6
/proc/7208/task/7215/stat : 7215 (java) S 7205 7208 6269 0 -1 1077944384 49457 0 0 0 460 79 0 0 20 0 15 0 117689334 14321999872 142126 33554432000 4194304 4196468 140737111678992 140235314452848 140235772250754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7216] ppid=7205 vsize=13986328 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7216/stat : 7216 (java) S 7205 7208 6269 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 117689334 14321999872 142126 33554432000 4194304 4196468 140737111678992 140234683835488 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7217] ppid=7205 vsize=13986328 memory=565440 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7217/stat : 7217 (java) S 7205 7208 6269 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 117689334 14321999872 142126 33554432000 4194304 4196468 140737111678992 140234682782592 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7218] ppid=7205 vsize=13986328 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7218/stat : 7218 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14321999872 142126 33554432000 4194304 4196468 140737111678992 140234681730896 140235772258203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7219] ppid=7205 vsize=13986328 memory=567304 CPUtime=3.02 cores=0,2,4,6
/proc/7208/task/7219/stat : 7219 (java) S 7205 7208 6269 0 -1 1077944384 25788 0 0 0 300 2 0 0 20 0 15 0 117689337 14321999872 142126 33554432000 4194304 4196468 140737111678992 140234680679280 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7220] ppid=7205 vsize=13986328 memory=568344 CPUtime=3.02 cores=0,2,4,6
/proc/7208/task/7220/stat : 7220 (java) S 7205 7208 6269 0 -1 1077944384 27324 0 0 0 299 3 0 0 20 0 15 0 117689337 14321999872 142126 33554432000 4194304 4196468 140737111678992 140234679626480 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7221] ppid=7205 vsize=13986328 memory=567996 CPUtime=1.18 cores=0,2,4,6
/proc/7208/task/7221/stat : 7221 (java) S 7205 7208 6269 0 -1 1077944384 22280 0 0 0 116 2 0 0 20 0 15 0 117689337 14321999872 142126 33554432000 4194304 4196468 140737111678992 140234678573680 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7222] ppid=7205 vsize=13986328 memory=565948 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7222/stat : 7222 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14321999872 142126 33554432000 4194304 4196468 140737111678992 140234677521120 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7223] ppid=7205 vsize=13986328 memory=565452 CPUtime=1.6 cores=0,2,4,6
/proc/7208/task/7223/stat : 7223 (java) S 7205 7208 6269 0 -1 1077944384 982 0 0 0 81 79 0 0 20 0 15 0 117689337 14321999872 142126 33554432000 4194304 4196468 140737111678992 140234676468400 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
Current children cumulated CPU time: 2505.52 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 568504 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2456.5 s]
/proc/loadavg: 1.28 1.28 1.35 3/216 7440
/proc/meminfo: memFree=26494728/32770624 swapFree=67108860/67108860
[pid=7208] ppid=7205 vsize=13986328 memory=566012 CPUtime=2520.05 cores=0,2,4,6
/proc/7208/stat : 7208 (java) S 7205 7208 6269 0 -1 1077944320 302846 0 0 0 251557 448 0 0 20 0 15 0 117689331 14321999872 141503 33554432000 4194304 4196468 140737111678992 140737111661536 140235772239607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
/proc/7208/statm: 3496582 141503 3861 1 0 3484297 0
[pid=7208/tid=7210] ppid=7205 vsize=13986328 memory=565748 CPUtime=2428.02 cores=0,2,4,6
/proc/7208/task/7210/stat : 7210 (java) R 7205 7208 6269 0 -1 4202560 115097 0 0 0 242720 82 0 0 20 0 15 0 117689331 14321999872 141503 33554432000 4194304 4196468 140737111678992 140235776478048 140235406149519 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7211] ppid=7205 vsize=13986328 memory=565428 CPUtime=19.44 cores=0,2,4,6
/proc/7208/task/7211/stat : 7211 (java) S 7205 7208 6269 0 -1 1077944384 14974 0 0 0 1883 61 0 0 20 0 15 0 117689332 14321999872 141503 33554432000 4194304 4196468 140737111678992 140235724860560 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7212] ppid=7205 vsize=13986328 memory=568708 CPUtime=19.41 cores=0,2,4,6
/proc/7208/task/7212/stat : 7212 (java) S 7205 7208 6269 0 -1 1077944384 16259 0 0 0 1881 60 0 0 20 0 15 0 117689332 14321999872 141503 33554432000 4194304 4196468 140737111678992 140235723807760 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7213] ppid=7205 vsize=13986328 memory=566952 CPUtime=19.38 cores=0,2,4,6
/proc/7208/task/7213/stat : 7213 (java) S 7205 7208 6269 0 -1 1077944384 14459 0 0 0 1880 58 0 0 20 0 15 0 117689332 14321999872 141503 33554432000 4194304 4196468 140737111678992 140235722754960 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7214] ppid=7205 vsize=13986328 memory=565452 CPUtime=19.44 cores=0,2,4,6
/proc/7208/task/7214/stat : 7214 (java) S 7205 7208 6269 0 -1 1077944384 14793 0 0 0 1884 60 0 0 20 0 15 0 117689332 14321999872 141503 33554432000 4194304 4196468 140737111678992 140235721702160 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7215] ppid=7205 vsize=13986328 memory=566012 CPUtime=5.42 cores=0,2,4,6
/proc/7208/task/7215/stat : 7215 (java) S 7205 7208 6269 0 -1 1077944384 49457 0 0 0 463 79 0 0 20 0 15 0 117689334 14321999872 141503 33554432000 4194304 4196468 140737111678992 140235314452848 140235772250754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7216] ppid=7205 vsize=13986328 memory=566140 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7216/stat : 7216 (java) S 7205 7208 6269 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 117689334 14321999872 141503 33554432000 4194304 4196468 140737111678992 140234683835488 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7217] ppid=7205 vsize=13986328 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7217/stat : 7217 (java) S 7205 7208 6269 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 117689334 14321999872 141503 33554432000 4194304 4196468 140737111678992 140234682782592 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7218] ppid=7205 vsize=13986328 memory=565936 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7218/stat : 7218 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14321999872 141503 33554432000 4194304 4196468 140737111678992 140234681730896 140235772258203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7219] ppid=7205 vsize=13986328 memory=568344 CPUtime=3.02 cores=0,2,4,6
/proc/7208/task/7219/stat : 7219 (java) S 7205 7208 6269 0 -1 1077944384 25788 0 0 0 300 2 0 0 20 0 15 0 117689337 14321999872 141503 33554432000 4194304 4196468 140737111678992 140234680679280 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7220] ppid=7205 vsize=13986328 memory=567168 CPUtime=3.02 cores=0,2,4,6
/proc/7208/task/7220/stat : 7220 (java) S 7205 7208 6269 0 -1 1077944384 27324 0 0 0 299 3 0 0 20 0 15 0 117689337 14321999872 141503 33554432000 4194304 4196468 140737111678992 140234679626480 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7221] ppid=7205 vsize=13986328 memory=567168 CPUtime=1.18 cores=0,2,4,6
/proc/7208/task/7221/stat : 7221 (java) S 7205 7208 6269 0 -1 1077944384 22280 0 0 0 116 2 0 0 20 0 15 0 117689337 14321999872 141503 33554432000 4194304 4196468 140737111678992 140234678573680 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7222] ppid=7205 vsize=13986328 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7222/stat : 7222 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14321999872 141503 33554432000 4194304 4196468 140737111678992 140234677521120 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7223] ppid=7205 vsize=13986328 memory=33004 CPUtime=1.61 cores=0,2,4,6
/proc/7208/task/7223/stat : 7223 (java) S 7205 7208 6269 0 -1 1077944384 982 0 0 0 81 80 0 0 20 0 15 0 117689337 14321999872 141503 33554432000 4194304 4196468 140737111678992 140234676468400 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 566012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2456.53 s]
# the end of solver process 7208 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.6 s, system=4.49263 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2456.5 s]
/proc/loadavg: 1.28 1.28 1.35 3/216 7440
/proc/meminfo: memFree=26494728/32770624 swapFree=67108860/67108860
[pid=7208] ppid=7205 vsize=13986328 memory=566012 CPUtime=2520.05 cores=0,2,4,6
/proc/7208/stat : 7208 (java) S 7205 7208 6269 0 -1 1077944320 302846 0 0 0 251557 448 0 0 20 0 15 0 117689331 14321999872 141503 33554432000 4194304 4196468 140737111678992 140737111661536 140235772239607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
/proc/7208/statm: 3496582 141503 3861 1 0 3484297 0
[pid=7208/tid=7210] ppid=7205 vsize=13986328 memory=565748 CPUtime=2428.02 cores=0,2,4,6
/proc/7208/task/7210/stat : 7210 (java) R 7205 7208 6269 0 -1 4202560 115097 0 0 0 242720 82 0 0 20 0 15 0 117689331 14321999872 141503 33554432000 4194304 4196468 140737111678992 140235776478048 140235406149519 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7211] ppid=7205 vsize=13986328 memory=565428 CPUtime=19.44 cores=0,2,4,6
/proc/7208/task/7211/stat : 7211 (java) S 7205 7208 6269 0 -1 1077944384 14974 0 0 0 1883 61 0 0 20 0 15 0 117689332 14321999872 141503 33554432000 4194304 4196468 140737111678992 140235724860560 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7212] ppid=7205 vsize=13986328 memory=568708 CPUtime=19.41 cores=0,2,4,6
/proc/7208/task/7212/stat : 7212 (java) S 7205 7208 6269 0 -1 1077944384 16259 0 0 0 1881 60 0 0 20 0 15 0 117689332 14321999872 141503 33554432000 4194304 4196468 140737111678992 140235723807760 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7213] ppid=7205 vsize=13986328 memory=566952 CPUtime=19.38 cores=0,2,4,6
/proc/7208/task/7213/stat : 7213 (java) S 7205 7208 6269 0 -1 1077944384 14459 0 0 0 1880 58 0 0 20 0 15 0 117689332 14321999872 141503 33554432000 4194304 4196468 140737111678992 140235722754960 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7214] ppid=7205 vsize=13986328 memory=565452 CPUtime=19.44 cores=0,2,4,6
/proc/7208/task/7214/stat : 7214 (java) S 7205 7208 6269 0 -1 1077944384 14793 0 0 0 1884 60 0 0 20 0 15 0 117689332 14321999872 141503 33554432000 4194304 4196468 140737111678992 140235721702160 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7215] ppid=7205 vsize=13986328 memory=566012 CPUtime=5.42 cores=0,2,4,6
/proc/7208/task/7215/stat : 7215 (java) S 7205 7208 6269 0 -1 1077944384 49457 0 0 0 463 79 0 0 20 0 15 0 117689334 14321999872 141503 33554432000 4194304 4196468 140737111678992 140235314452848 140235772250754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7216] ppid=7205 vsize=13986328 memory=566140 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7216/stat : 7216 (java) S 7205 7208 6269 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 117689334 14321999872 141503 33554432000 4194304 4196468 140737111678992 140234683835488 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7217] ppid=7205 vsize=13986328 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7217/stat : 7217 (java) S 7205 7208 6269 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 117689334 14321999872 141503 33554432000 4194304 4196468 140737111678992 140234682782592 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7218] ppid=7205 vsize=13986328 memory=565936 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7218/stat : 7218 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14321999872 141503 33554432000 4194304 4196468 140737111678992 140234681730896 140235772258203 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7219] ppid=7205 vsize=13986328 memory=568344 CPUtime=3.02 cores=0,2,4,6
/proc/7208/task/7219/stat : 7219 (java) S 7205 7208 6269 0 -1 1077944384 25788 0 0 0 300 2 0 0 20 0 15 0 117689337 14321999872 141503 33554432000 4194304 4196468 140737111678992 140234680679280 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7220] ppid=7205 vsize=13986328 memory=567168 CPUtime=3.02 cores=0,2,4,6
/proc/7208/task/7220/stat : 7220 (java) S 7205 7208 6269 0 -1 1077944384 27324 0 0 0 299 3 0 0 20 0 15 0 117689337 14321999872 141503 33554432000 4194304 4196468 140737111678992 140234679626480 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7221] ppid=7205 vsize=13986328 memory=567168 CPUtime=1.18 cores=0,2,4,6
/proc/7208/task/7221/stat : 7221 (java) S 7205 7208 6269 0 -1 1077944384 22280 0 0 0 116 2 0 0 20 0 15 0 117689337 14321999872 141503 33554432000 4194304 4196468 140737111678992 140234678573680 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7222] ppid=7205 vsize=13986328 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/7208/task/7222/stat : 7222 (java) S 7205 7208 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689337 14321999872 141503 33554432000 4194304 4196468 140737111678992 140234677521120 140235772249813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
[pid=7208/tid=7223] ppid=7205 vsize=13986328 memory=33004 CPUtime=1.61 cores=0,2,4,6
/proc/7208/task/7223/stat : 7223 (java) S 7205 7208 6269 0 -1 1077944384 982 0 0 0 81 80 0 0 20 0 15 0 117689337 14321999872 141503 33554432000 4194304 4196468 140737111678992 140234676468400 140235772250754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37806080 140737111680105 140737111680287 140737111680287 140737111683023 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 566012 KiB
Child status: 143
Real time (s): 2456.53
CPU time (s): 2520.1
CPU user time (s): 2515.6
CPU system time (s): 4.49263
CPU usage (%): 102.587
Max. virtual memory (cumulated for all children) (KiB): 13986328
Max. memory (cumulated for all children) (KiB): 882896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.6
system time used= 4.49263
maximum resident set size= 884412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303069
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 179590
involuntary context switches= 9182
# summary of solver processes directly reported to runsolver:
# pid: 7208
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.6
# total CPU system time (s): 4.49263
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6928 second user time and 19.1536 second system time
The end