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 (15363 MiB free)
memory of node 1: 16384 MiB (15192 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263420-1502628514/watcher-4263420-1502628514 -o /tmp/evaluation-result-4263420-1502628514/solver-4263420-1502628514 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502619513-3998 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263420-1502628514.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
Current StackSize limit: 8192 KiB
solver pid=5918, runsolver pid=5915
[startup+0.100059 s]*
/proc/loadavg: 1.99 2.03 2.04 6/217 5933
/proc/meminfo: memFree=31270668/32770624 swapFree=67108860/67108860
[pid=5918] ppid=5915 vsize=10555400 memory=30624 CPUtime=0.12 cores=0,2,4,6
/proc/5918/stat : 5918 (java) S 5915 5918 1335 0 -1 1077944320 6693 0 0 0 11 1 0 0 20 0 15 0 95939266 10808729600 7656 33554432000 4194304 4196468 140726506712192 140726506694736 140462454517495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
/proc/5918/statm: 2638850 7656 2822 1 0 2627263 0
[pid=5918/tid=5920] ppid=5915 vsize=10555400 memory=-8196701287824659301 CPUtime=0.09 cores=0,2,4,6
/proc/5918/task/5920/stat : 5920 (java) R 5915 5918 1335 0 -1 4202560 4556 0 0 0 8 1 0 0 20 0 15 0 95939266 10808729600 7656 33554432000 4194304 4196468 140726506712192 140462458740528 140462411119279 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5921] ppid=5915 vsize=10555400 memory=5793855402366380473 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95939267 10808729600 7656 33554432000 4194304 4196468 140726506712192 140462411069840 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5922] ppid=5915 vsize=10555400 memory=140151356487296 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95939267 10808729600 7656 33554432000 4194304 4196468 140726506712192 140462059870480 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5923] ppid=5915 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5923/stat : 5923 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95939267 10808729600 7656 33554432000 4194304 4196468 140726506712192 140462058818192 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5924] ppid=5915 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5924/stat : 5924 (java) S 5915 5918 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95939267 10808729600 7656 33554432000 4194304 4196468 140726506712192 140462057765392 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5925] ppid=5915 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5925/stat : 5925 (java) S 5915 5918 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95939268 10808729600 7656 33554432000 4194304 4196468 140726506712192 140462014347888 140462454528642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5926] ppid=5915 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (java) S 5915 5918 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95939269 10808729600 7656 33554432000 4194304 4196468 140726506712192 140462013293856 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5927] ppid=5915 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5927/stat : 5927 (java) S 5915 5918 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95939269 10808729600 7656 33554432000 4194304 4196468 140726506712192 140462012241520 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5928] ppid=5915 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5928/stat : 5928 (java) S 5915 5918 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95939271 10808729600 7656 33554432000 4194304 4196468 140726506712192 140462011189840 140462454536091 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5929] ppid=5915 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5929/stat : 5929 (java) S 5915 5918 1335 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 95939271 10808729600 7656 33554432000 4194304 4196468 140726506712192 140462010136688 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5930] ppid=5915 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5930/stat : 5930 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95939271 10808729600 7656 33554432000 4194304 4196468 140726506712192 140462009083888 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5931] ppid=5915 vsize=10555400 memory=140151356487296 CPUtime=0.01 cores=0,2,4,6
/proc/5918/task/5931/stat : 5931 (java) R 5915 5918 1335 0 -1 4202560 353 0 0 0 1 0 0 0 20 0 15 0 95939272 10808729600 7656 33554432000 4194304 4196468 140726506712192 140462008031600 140462433472041 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5932] ppid=5915 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5932/stat : 5932 (java) S 5915 5918 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95939272 10808729600 7656 33554432000 4194304 4196468 140726506712192 140461939354080 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5933] ppid=5915 vsize=10555400 memory=140151356487296 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5933/stat : 5933 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95939272 10808729600 7656 33554432000 4194304 4196468 140726506712192 140461938301872 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30624 KiB
[startup+0.2109 s]*
/proc/loadavg: 1.99 2.03 2.04 3/217 5933
/proc/meminfo: memFree=31264052/32770624 swapFree=67108860/67108860
[pid=5918] ppid=5915 vsize=10555400 memory=37836 CPUtime=0.28 cores=0,2,4,6
/proc/5918/stat : 5918 (java) S 5915 5918 1335 0 -1 1077944320 7706 0 0 0 26 2 0 0 20 0 15 0 95939266 10808729600 9459 33554432000 4194304 4196468 140726506712192 140726506694736 140462454517495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
/proc/5918/statm: 2638850 9459 2898 1 0 2627263 0
[pid=5918/tid=5920] ppid=5915 vsize=10555400 memory=-3103912127665269909 CPUtime=0.19 cores=0,2,4,6
/proc/5918/task/5920/stat : 5920 (java) R 5915 5918 1335 0 -1 4202560 5347 0 0 0 18 1 0 0 20 0 15 0 95939266 10808729600 9459 33554432000 4194304 4196468 140726506712192 140462458749744 140462438597982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5921] ppid=5915 vsize=10555400 memory=4211973877561277834 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95939267 10808729600 9459 33554432000 4194304 4196468 140726506712192 140462411069840 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5922] ppid=5915 vsize=10555400 memory=140151356487296 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95939267 10808729600 9459 33554432000 4194304 4196468 140726506712192 140462059870480 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5923] ppid=5915 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5923/stat : 5923 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95939267 10808729600 9459 33554432000 4194304 4196468 140726506712192 140462058818192 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5924] ppid=5915 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5924/stat : 5924 (java) S 5915 5918 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95939267 10808729600 9459 33554432000 4194304 4196468 140726506712192 140462057765392 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5925] ppid=5915 vsize=10555400 memory=140151356487296 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5925/stat : 5925 (java) S 5915 5918 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95939268 10808729600 9459 33554432000 4194304 4196468 140726506712192 140462014347888 140462454528642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5926] ppid=5915 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (java) S 5915 5918 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95939269 10808729600 9459 33554432000 4194304 4196468 140726506712192 140462013293856 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5927] ppid=5915 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5927/stat : 5927 (java) S 5915 5918 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95939269 10808729600 9459 33554432000 4194304 4196468 140726506712192 140462012241520 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5928] ppid=5915 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5928/stat : 5928 (java) S 5915 5918 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95939271 10808729600 9459 33554432000 4194304 4196468 140726506712192 140462011189840 140462454536091 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5929] ppid=5915 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5918/task/5929/stat : 5929 (java) S 5915 5918 1335 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 15 0 95939271 10808729600 9459 33554432000 4194304 4196468 140726506712192 140462010136688 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5930] ppid=5915 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/5918/task/5930/stat : 5930 (java) S 5915 5918 1335 0 -1 1077944384 125 0 0 0 1 0 0 0 20 0 15 0 95939271 10808729600 9459 33554432000 4194304 4196468 140726506712192 140462009083888 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5931] ppid=5915 vsize=10555400 memory=140151356487296 CPUtime=0.05 cores=0,2,4,6
/proc/5918/task/5931/stat : 5931 (java) R 5915 5918 1335 0 -1 4202560 387 0 0 0 5 0 0 0 20 0 15 0 95939272 10808729600 9459 33554432000 4194304 4196468 140726506712192 140462008031600 140462454538842 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5932] ppid=5915 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5932/stat : 5932 (java) S 5915 5918 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95939272 10808729600 9459 33554432000 4194304 4196468 140726506712192 140461939354080 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5933] ppid=5915 vsize=10555400 memory=140151356487296 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5933/stat : 5933 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95939272 10808729600 9459 33554432000 4194304 4196468 140726506712192 140461938301872 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 37836 KiB
[startup+0.310695 s]*
/proc/loadavg: 1.99 2.03 2.04 4/217 5933
/proc/meminfo: memFree=31256236/32770624 swapFree=67108860/67108860
[pid=5918] ppid=5915 vsize=10555476 memory=46240 CPUtime=0.49 cores=0,2,4,6
/proc/5918/stat : 5918 (java) S 5915 5918 1335 0 -1 1077944320 8792 0 0 0 46 3 0 0 20 0 15 0 95939266 10808807424 11560 33554432000 4194304 4196468 140726506712192 140726506694736 140462454517495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
/proc/5918/statm: 2638869 11560 3025 1 0 2627263 0
[pid=5918/tid=5920] ppid=5915 vsize=10555476 memory=7377246124687064083 CPUtime=0.3 cores=0,2,4,6
/proc/5918/task/5920/stat : 5920 (java) R 5915 5918 1335 0 -1 4202560 5764 0 0 0 28 2 0 0 20 0 15 0 95939266 10808807424 11560 33554432000 4194304 4196468 140726506712192 140462458724704 140462090490188 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5921] ppid=5915 vsize=10555476 memory=4211973877561277834 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95939267 10808807424 11560 33554432000 4194304 4196468 140726506712192 140462411069840 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5922] ppid=5915 vsize=10555476 memory=140151356489468 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95939267 10808807424 11560 33554432000 4194304 4196468 140726506712192 140462059870480 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5923] ppid=5915 vsize=10555476 memory=140151225430819 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5923/stat : 5923 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95939267 10808807424 11560 33554432000 4194304 4196468 140726506712192 140462058818192 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5924] ppid=5915 vsize=10555476 memory=140151225437647 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5924/stat : 5924 (java) S 5915 5918 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95939267 10808807424 11560 33554432000 4194304 4196468 140726506712192 140462057765392 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5925] ppid=5915 vsize=10555476 memory=140151356489648 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5925/stat : 5925 (java) S 5915 5918 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95939268 10808807424 11560 33554432000 4194304 4196468 140726506712192 140462014347888 140462454528642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5926] ppid=5915 vsize=10555476 memory=140151225446831 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (java) S 5915 5918 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95939269 10808807424 11560 33554432000 4194304 4196468 140726506712192 140462013293856 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5927] ppid=5915 vsize=10555476 memory=280302450884496 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5927/stat : 5927 (java) S 5915 5918 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95939269 10808807424 11560 33554432000 4194304 4196468 140726506712192 140462012241520 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5928] ppid=5915 vsize=10555476 memory=280302450882192 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5928/stat : 5928 (java) S 5915 5918 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95939271 10808807424 11560 33554432000 4194304 4196468 140726506712192 140462011189840 140462454536091 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5929] ppid=5915 vsize=10555476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5918/task/5929/stat : 5929 (java) S 5915 5918 1335 0 -1 1077944384 682 0 0 0 3 0 0 0 20 0 15 0 95939271 10808807424 11560 33554432000 4194304 4196468 140726506712192 140462010136688 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5930] ppid=5915 vsize=10555476 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/5918/task/5930/stat : 5930 (java) S 5915 5918 1335 0 -1 1077944384 261 0 0 0 3 0 0 0 20 0 15 0 95939271 10808807424 11560 33554432000 4194304 4196468 140726506712192 140462009083888 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5931] ppid=5915 vsize=10555476 memory=140151356487296 CPUtime=0.11 cores=0,2,4,6
/proc/5918/task/5931/stat : 5931 (java) R 5915 5918 1335 0 -1 4202560 718 0 0 0 11 0 0 0 20 0 15 0 95939272 10808807424 11560 33554432000 4194304 4196468 140726506712192 140462008031600 140462433162178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5932] ppid=5915 vsize=10555476 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5932/stat : 5932 (java) S 5915 5918 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95939272 10808807424 11560 33554432000 4194304 4196468 140726506712192 140461939354080 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5933] ppid=5915 vsize=10555476 memory=140151356487296 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5933/stat : 5933 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95939272 10808807424 11560 33554432000 4194304 4196468 140726506712192 140461938301872 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46240 KiB
[startup+0.700907 s]
/proc/loadavg: 1.99 2.03 2.04 6/218 5934
/proc/meminfo: memFree=31196416/32770624 swapFree=67108860/67108860
[pid=5918] ppid=5915 vsize=10622040 memory=107260 CPUtime=1.66 cores=0,2,4,6
/proc/5918/stat : 5918 (java) S 5915 5918 1335 0 -1 1077944320 10720 0 0 0 161 5 0 0 20 0 16 0 95939266 10876968960 26815 33554432000 4194304 4196468 140726506712192 140726506694736 140462454517495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
/proc/5918/statm: 2655510 26815 3083 1 0 2643904 0
[pid=5918/tid=5920] ppid=5915 vsize=10622040 memory=1948 CPUtime=0.68 cores=0,2,4,6
/proc/5918/task/5920/stat : 5920 (java) R 5915 5918 1335 0 -1 4202560 5817 0 0 0 65 3 0 0 20 0 16 0 95939266 10876968960 26815 33554432000 4194304 4196468 140726506712192 140462458753984 140462093181478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5921] ppid=5915 vsize=10622040 memory=8532 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95939267 10876968960 26815 33554432000 4194304 4196468 140726506712192 140462411069840 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5922] ppid=5915 vsize=10622040 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95939267 10876968960 26815 33554432000 4194304 4196468 140726506712192 140462059870480 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5923] ppid=5915 vsize=10622040 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5923/stat : 5923 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95939267 10876968960 26815 33554432000 4194304 4196468 140726506712192 140462058818192 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5924] ppid=5915 vsize=10622040 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5924/stat : 5924 (java) S 5915 5918 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95939267 10876968960 26815 33554432000 4194304 4196468 140726506712192 140462057765392 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5925] ppid=5915 vsize=10622040 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5925/stat : 5925 (java) S 5915 5918 1335 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 95939268 10876968960 26815 33554432000 4194304 4196468 140726506712192 140462014347888 140462454528642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5926] ppid=5915 vsize=10622040 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (java) S 5915 5918 1335 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 95939269 10876968960 26815 33554432000 4194304 4196468 140726506712192 140462013293856 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5927] ppid=5915 vsize=10622040 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5927/stat : 5927 (java) S 5915 5918 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95939269 10876968960 26815 33554432000 4194304 4196468 140726506712192 140462012241520 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5928] ppid=5915 vsize=10622040 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5928/stat : 5928 (java) S 5915 5918 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95939271 10876968960 26815 33554432000 4194304 4196468 140726506712192 140462011189840 140462454536091 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5929] ppid=5915 vsize=10622040 memory=20036 CPUtime=0.39 cores=0,2,4,6
/proc/5918/task/5929/stat : 5929 (java) S 5915 5918 1335 0 -1 1077944384 1454 0 0 0 39 0 0 0 20 0 16 0 95939271 10876968960 26815 33554432000 4194304 4196468 140726506712192 140462010136688 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5930] ppid=5915 vsize=10622040 memory=1436 CPUtime=0.39 cores=0,2,4,6
/proc/5918/task/5930/stat : 5930 (java) S 5915 5918 1335 0 -1 1077944384 1073 0 0 0 39 0 0 0 20 0 16 0 95939271 10876968960 26815 33554432000 4194304 4196468 140726506712192 140462009083888 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5931] ppid=5915 vsize=10622040 memory=1200 CPUtime=0.18 cores=0,2,4,6
/proc/5918/task/5931/stat : 5931 (java) S 5915 5918 1335 0 -1 1077944384 985 0 0 0 18 0 0 0 20 0 16 0 95939272 10876968960 26815 33554432000 4194304 4196468 140726506712192 140462008031600 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5932] ppid=5915 vsize=10622040 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5932/stat : 5932 (java) S 5915 5918 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95939272 10876968960 26815 33554432000 4194304 4196468 140726506712192 140461939354080 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5933] ppid=5915 vsize=10622040 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5933/stat : 5933 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95939272 10876968960 26815 33554432000 4194304 4196468 140726506712192 140461938301872 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5934] ppid=5915 vsize=10622040 memory=16540 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5934/stat : 5934 (java) S 5915 5918 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95939315 10876968960 26815 33554432000 4194304 4196468 140726506712192 140461937247408 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 107260 KiB
[startup+1.5009 s]
/proc/loadavg: 1.99 2.03 2.04 3/218 5934
/proc/meminfo: memFree=31193500/32770624 swapFree=67108860/67108860
[pid=5918] ppid=5915 vsize=10622040 memory=109580 CPUtime=2.56 cores=0,2,4,6
/proc/5918/stat : 5918 (java) S 5915 5918 1335 0 -1 1077944320 12141 0 0 0 251 5 0 0 20 0 16 0 95939266 10876968960 27395 33554432000 4194304 4196468 140726506712192 140726506694736 140462454517495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
/proc/5918/statm: 2655510 27395 3083 1 0 2643904 0
[pid=5918/tid=5920] ppid=5915 vsize=10622040 memory=8112282956445269571 CPUtime=1.48 cores=0,2,4,6
/proc/5918/task/5920/stat : 5920 (java) R 5915 5918 1335 0 -1 4202560 6178 0 0 0 145 3 0 0 20 0 16 0 95939266 10876968960 27395 33554432000 4194304 4196468 140726506712192 140462458753720 140462093114728 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5921] ppid=5915 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95939267 10876968960 27395 33554432000 4194304 4196468 140726506712192 140462411069840 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5922] ppid=5915 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95939267 10876968960 27395 33554432000 4194304 4196468 140726506712192 140462059870480 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5923] ppid=5915 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5923/stat : 5923 (java) S 5915 5918 1335 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 95939267 10876968960 27395 33554432000 4194304 4196468 140726506712192 140462058818192 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5924] ppid=5915 vsize=10622040 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5924/stat : 5924 (java) S 5915 5918 1335 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 95939267 10876968960 27395 33554432000 4194304 4196468 140726506712192 140462057765392 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
################
# More data... #
################
/proc/5918/task/5925/stat : 5925 (java) S 5915 5918 1335 0 -1 1077944384 4442 0 0 0 9 4 0 0 20 0 16 0 95939268 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462014347888 140462454528642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5926] ppid=5915 vsize=10622040 memory=562736 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (java) S 5915 5918 1335 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 95939269 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462013293856 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5927] ppid=5915 vsize=10622040 memory=562736 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5927/stat : 5927 (java) S 5915 5918 1335 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 95939269 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462012241520 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5928] ppid=5915 vsize=10622040 memory=562736 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5928/stat : 5928 (java) S 5915 5918 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95939271 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462011189840 140462454536091 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5929] ppid=5915 vsize=10622040 memory=8150352 CPUtime=1.07 cores=0,2,4,6
/proc/5918/task/5929/stat : 5929 (java) S 5915 5918 1335 0 -1 1077944384 9531 0 0 0 106 1 0 0 20 0 16 0 95939271 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462010136688 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5930] ppid=5915 vsize=10622040 memory=562736 CPUtime=0.72 cores=0,2,4,6
/proc/5918/task/5930/stat : 5930 (java) S 5915 5918 1335 0 -1 1077944384 6079 0 0 0 71 1 0 0 20 0 16 0 95939271 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462009083888 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5931] ppid=5915 vsize=10622040 memory=562736 CPUtime=0.25 cores=0,2,4,6
/proc/5918/task/5931/stat : 5931 (java) S 5915 5918 1335 0 -1 1077944384 4810 0 0 0 23 2 0 0 20 0 16 0 95939272 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462008031600 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5932] ppid=5915 vsize=10622040 memory=562736 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5932/stat : 5932 (java) S 5915 5918 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95939272 10876968960 140684 33554432000 4194304 4196468 140726506712192 140461939354080 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5933] ppid=5915 vsize=10622040 memory=562736 CPUtime=1.55 cores=0,2,4,6
/proc/5918/task/5933/stat : 5933 (java) S 5915 5918 1335 0 -1 1077944384 1876 0 0 0 70 85 0 0 20 0 16 0 95939272 10876968960 140684 33554432000 4194304 4196468 140726506712192 140461938301872 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5934] ppid=5915 vsize=10622040 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5934/stat : 5934 (java) S 5915 5918 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95939315 10876968960 140684 33554432000 4194304 4196468 140726506712192 140461937247408 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
Current children cumulated CPU time: 2447.46 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 562736 KiB
[startup+2502.3 s]
/proc/loadavg: 4.62 3.99 3.05 6/216 6133
/proc/meminfo: memFree=23085876/32770624 swapFree=67108860/67108860
[pid=5918] ppid=5915 vsize=10622040 memory=562736 CPUtime=2507.5 cores=0,2,4,6
/proc/5918/stat : 5918 (java) S 5915 5918 1335 0 -1 1077944320 59478 0 0 0 250629 121 0 0 20 0 16 0 95939266 10876968960 140684 33554432000 4194304 4196468 140726506712192 140726506694736 140462454517495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
/proc/5918/statm: 2655510 140684 3155 1 0 2643904 0
[pid=5918/tid=5920] ppid=5915 vsize=10622040 memory=288230574492221466 CPUtime=2501.82 cores=0,2,4,6
/proc/5918/task/5920/stat : 5920 (java) R 5915 5918 1335 0 -1 4202560 25594 0 0 0 250176 6 0 0 20 0 16 0 95939266 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462458756200 140462092751282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5921] ppid=5915 vsize=10622040 memory=1156 CPUtime=0.45 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (java) S 5915 5918 1335 0 -1 1077944384 965 0 0 0 35 10 0 0 20 0 16 0 95939267 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462411069840 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5922] ppid=5915 vsize=10622040 memory=562736 CPUtime=0.46 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (java) S 5915 5918 1335 0 -1 1077944384 1395 0 0 0 35 11 0 0 20 0 16 0 95939267 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462059870480 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5923] ppid=5915 vsize=10622040 memory=1228 CPUtime=0.46 cores=0,2,4,6
/proc/5918/task/5923/stat : 5923 (java) S 5915 5918 1335 0 -1 1077944384 1237 0 0 0 35 11 0 0 20 0 16 0 95939267 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462058818192 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5924] ppid=5915 vsize=10622040 memory=562736 CPUtime=0.46 cores=0,2,4,6
/proc/5918/task/5924/stat : 5924 (java) S 5915 5918 1335 0 -1 1077944384 2030 0 0 0 35 11 0 0 20 0 16 0 95939267 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462057765392 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5925] ppid=5915 vsize=10622040 memory=562736 CPUtime=0.13 cores=0,2,4,6
/proc/5918/task/5925/stat : 5925 (java) S 5915 5918 1335 0 -1 1077944384 4449 0 0 0 9 4 0 0 20 0 16 0 95939268 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462014347888 140462454528642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5926] ppid=5915 vsize=10622040 memory=562736 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (java) S 5915 5918 1335 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 95939269 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462013293856 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5927] ppid=5915 vsize=10622040 memory=562736 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5927/stat : 5927 (java) S 5915 5918 1335 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 95939269 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462012241520 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5928] ppid=5915 vsize=10622040 memory=562736 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5928/stat : 5928 (java) S 5915 5918 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95939271 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462011189840 140462454536091 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5929] ppid=5915 vsize=10622040 memory=562736 CPUtime=1.07 cores=0,2,4,6
/proc/5918/task/5929/stat : 5929 (java) S 5915 5918 1335 0 -1 1077944384 9533 0 0 0 106 1 0 0 20 0 16 0 95939271 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462010136688 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5930] ppid=5915 vsize=10622040 memory=562736 CPUtime=0.72 cores=0,2,4,6
/proc/5918/task/5930/stat : 5930 (java) S 5915 5918 1335 0 -1 1077944384 6087 0 0 0 71 1 0 0 20 0 16 0 95939271 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462009083888 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5931] ppid=5915 vsize=10622040 memory=562736 CPUtime=0.25 cores=0,2,4,6
/proc/5918/task/5931/stat : 5931 (java) S 5915 5918 1335 0 -1 1077944384 4812 0 0 0 23 2 0 0 20 0 16 0 95939272 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462008031600 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5932] ppid=5915 vsize=10622040 memory=562736 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5932/stat : 5932 (java) S 5915 5918 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95939272 10876968960 140684 33554432000 4194304 4196468 140726506712192 140461939354080 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5933] ppid=5915 vsize=10622040 memory=562736 CPUtime=1.6 cores=0,2,4,6
/proc/5918/task/5933/stat : 5933 (java) S 5915 5918 1335 0 -1 1077944384 1908 0 0 0 72 88 0 0 20 0 16 0 95939272 10876968960 140684 33554432000 4194304 4196468 140726506712192 140461938301872 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5934] ppid=5915 vsize=10622040 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5934/stat : 5934 (java) S 5915 5918 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95939315 10876968960 140684 33554432000 4194304 4196468 140726506712192 140461937247408 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
Current children cumulated CPU time: 2507.5 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 562736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.8 s]
/proc/loadavg: 4.60 4.00 3.06 6/216 6133
/proc/meminfo: memFree=23085876/32770624 swapFree=67108860/67108860
[pid=5918] ppid=5915 vsize=10622040 memory=562736 CPUtime=2520 cores=0,2,4,6
/proc/5918/stat : 5918 (java) S 5915 5918 1335 0 -1 1077944320 59749 0 0 0 251879 121 0 0 20 0 16 0 95939266 10876968960 140684 33554432000 4194304 4196468 140726506712192 140726506694736 140462454517495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
/proc/5918/statm: 2655510 140684 3155 1 0 2643904 0
[pid=5918/tid=5920] ppid=5915 vsize=10622040 memory=301741420686082359 CPUtime=2514.32 cores=0,2,4,6
/proc/5918/task/5920/stat : 5920 (java) R 5915 5918 1335 0 -1 4202560 25818 0 0 0 251426 6 0 0 20 0 16 0 95939266 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462458756200 140462093080765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5921] ppid=5915 vsize=10622040 memory=16105866189342951 CPUtime=0.45 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (java) S 5915 5918 1335 0 -1 1077944384 965 0 0 0 35 10 0 0 20 0 16 0 95939267 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462411069840 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5922] ppid=5915 vsize=10622040 memory=18292 CPUtime=0.46 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (java) S 5915 5918 1335 0 -1 1077944384 1395 0 0 0 35 11 0 0 20 0 16 0 95939267 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462059870480 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5923] ppid=5915 vsize=10622040 memory=8112282956445269571 CPUtime=0.46 cores=0,2,4,6
/proc/5918/task/5923/stat : 5923 (java) S 5915 5918 1335 0 -1 1077944384 1237 0 0 0 35 11 0 0 20 0 16 0 95939267 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462058818192 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5924] ppid=5915 vsize=10622040 memory=2236 CPUtime=0.46 cores=0,2,4,6
/proc/5918/task/5924/stat : 5924 (java) S 5915 5918 1335 0 -1 1077944384 2030 0 0 0 35 11 0 0 20 0 16 0 95939267 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462057765392 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5925] ppid=5915 vsize=10622040 memory=4084 CPUtime=0.13 cores=0,2,4,6
/proc/5918/task/5925/stat : 5925 (java) S 5915 5918 1335 0 -1 1077944384 4456 0 0 0 9 4 0 0 20 0 16 0 95939268 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462014347888 140462454528642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5926] ppid=5915 vsize=10622040 memory=932 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (java) S 5915 5918 1335 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 16 0 95939269 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462013293856 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5927] ppid=5915 vsize=10622040 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5927/stat : 5927 (java) S 5915 5918 1335 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 95939269 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462012241520 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5928] ppid=5915 vsize=10622040 memory=2200 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5928/stat : 5928 (java) S 5915 5918 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95939271 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462011189840 140462454536091 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5929] ppid=5915 vsize=10622040 memory=6504 CPUtime=1.07 cores=0,2,4,6
/proc/5918/task/5929/stat : 5929 (java) S 5915 5918 1335 0 -1 1077944384 9535 0 0 0 106 1 0 0 20 0 16 0 95939271 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462010136688 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5930] ppid=5915 vsize=10622040 memory=836 CPUtime=0.72 cores=0,2,4,6
/proc/5918/task/5930/stat : 5930 (java) S 5915 5918 1335 0 -1 1077944384 6095 0 0 0 71 1 0 0 20 0 16 0 95939271 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462009083888 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5931] ppid=5915 vsize=10622040 memory=2640 CPUtime=0.25 cores=0,2,4,6
/proc/5918/task/5931/stat : 5931 (java) S 5915 5918 1335 0 -1 1077944384 4814 0 0 0 23 2 0 0 20 0 16 0 95939272 10876968960 140684 33554432000 4194304 4196468 140726506712192 140462008031600 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5932] ppid=5915 vsize=10622040 memory=2540 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5932/stat : 5932 (java) S 5915 5918 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95939272 10876968960 140684 33554432000 4194304 4196468 140726506712192 140461939354080 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5933] ppid=5915 vsize=10622040 memory=562736 CPUtime=1.6 cores=0,2,4,6
/proc/5918/task/5933/stat : 5933 (java) S 5915 5918 1335 0 -1 1077944384 1936 0 0 0 72 88 0 0 20 0 16 0 95939272 10876968960 140684 33554432000 4194304 4196468 140726506712192 140461938301872 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5934] ppid=5915 vsize=10622040 memory=8150352 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5934/stat : 5934 (java) S 5915 5918 1335 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95939315 10876968960 140684 33554432000 4194304 4196468 140726506712192 140461937247408 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 562736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.07 s]
# the end of solver process 5918 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.93 s, system=1.32234 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515 s]*
/proc/loadavg: 4.55 4.00 3.07 5/217 6136
/proc/meminfo: memFree=23085876/32770624 swapFree=67108860/67108860
[pid=5918] ppid=5915 vsize=10821732 memory=564996 CPUtime=2520.02 cores=0,2,4,6
/proc/5918/stat : 5918 (java) S 5915 5918 1335 0 -1 1077944320 60307 0 0 0 251880 122 0 0 20 0 17 0 95939266 11081453568 141249 33554432000 4194304 4196468 140726506712192 140726506694736 140462454517495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
/proc/5918/statm: 2705433 141249 3157 1 0 2693827 0
[pid=5918/tid=5920] ppid=5915 vsize=10821732 memory=8112282956445269571 CPUtime=2514.33 cores=0,2,4,6
/proc/5918/task/5920/stat : 5920 (java) S 5915 5918 1335 0 -1 1077944384 25872 0 0 0 251427 6 0 0 20 0 17 0 95939266 11081453568 141761 33554432000 4194304 4196468 140726506712192 140462458760368 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5921] ppid=5915 vsize=10821732 memory=-7003737579269690708 CPUtime=0.46 cores=0,2,4,6
/proc/5918/task/5921/stat : 5921 (java) R 5915 5918 1335 0 -1 4202560 987 0 0 0 36 10 0 0 20 0 17 0 95939267 11081453568 141761 33554432000 4194304 4196468 140726506712192 140462411069840 140462439037218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5922] ppid=5915 vsize=10821732 memory=1 CPUtime=0.46 cores=0,2,4,6
/proc/5918/task/5922/stat : 5922 (java) R 5915 5918 1335 0 -1 1077944384 1395 0 0 0 35 11 0 0 20 0 17 0 95939267 11081453568 141761 33554432000 4194304 4196468 140726506712192 140462059870480 140462454527701 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5923] ppid=5915 vsize=10821732 memory=16 CPUtime=0.46 cores=0,2,4,6
/proc/5918/task/5923/stat : 5923 (java) R 5915 5918 1335 0 -1 4202560 1251 0 0 0 35 11 0 0 20 0 17 0 95939267 11081453568 141761 33554432000 4194304 4196468 140726506712192 140462058818192 140462447617342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5924] ppid=5915 vsize=10821732 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/5918/task/5924/stat : 5924 (java) R 5915 5918 1335 0 -1 4202560 2036 0 0 0 35 11 0 0 20 0 17 0 95939267 11081453568 141761 33554432000 4194304 4196468 140726506712192 140462057765392 140462447614331 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5925] ppid=5915 vsize=10821732 memory=160 CPUtime=0.13 cores=0,2,4,6
/proc/5918/task/5925/stat : 5925 (java) S 5915 5918 1335 0 -1 1077944384 4471 0 0 0 9 4 0 0 20 0 17 0 95939268 11081453568 141761 33554432000 4194304 4196468 140726506712192 140462014346400 140462454527701 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5926] ppid=5915 vsize=10821732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5926/stat : 5926 (java) S 5915 5918 1335 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 17 0 95939269 11081453568 141761 33554432000 4194304 4196468 140726506712192 140462013293856 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5927] ppid=5915 vsize=10821732 memory=46 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5927/stat : 5927 (java) S 5915 5918 1335 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 17 0 95939269 11081453568 141761 33554432000 4194304 4196468 140726506712192 140462012241520 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5928] ppid=5915 vsize=10821732 memory=46 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5928/stat : 5928 (java) S 5915 5918 1335 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 17 0 95939271 11081453568 141761 33554432000 4194304 4196468 140726506712192 140462011189840 140462454536091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5929] ppid=5915 vsize=10821732 memory=46 CPUtime=1.07 cores=0,2,4,6
/proc/5918/task/5929/stat : 5929 (java) S 5915 5918 1335 0 -1 1077944384 9535 0 0 0 106 1 0 0 20 0 17 0 95939271 11081453568 141761 33554432000 4194304 4196468 140726506712192 140462010136688 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5930] ppid=5915 vsize=10821732 memory=13 CPUtime=0.72 cores=0,2,4,6
/proc/5918/task/5930/stat : 5930 (java) S 5915 5918 1335 0 -1 1077944384 6095 0 0 0 71 1 0 0 20 0 17 0 95939271 11081453568 141761 33554432000 4194304 4196468 140726506712192 140462009083888 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5931] ppid=5915 vsize=10821732 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/5918/task/5931/stat : 5931 (java) S 5915 5918 1335 0 -1 1077944384 4918 0 0 0 23 2 0 0 20 0 17 0 95939272 11081453568 141761 33554432000 4194304 4196468 140726506712192 140462008031600 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5932] ppid=5915 vsize=10821732 memory=562736 CPUtime=0 cores=0,2,4,6
/proc/5918/task/5932/stat : 5932 (java) S 5915 5918 1335 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95939272 11081453568 141761 33554432000 4194304 4196468 140726506712192 140461939354080 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=5933] ppid=5915 vsize=10821732 memory=4616 CPUtime=1.6 cores=0,2,4,6
/proc/5918/task/5933/stat : 5933 (java) S 5915 5918 1335 0 -1 1077944384 1936 0 0 0 72 88 0 0 20 0 17 0 95939272 11081453568 141761 33554432000 4194304 4196468 140726506712192 140461938301872 140462454528642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=6134] ppid=5915 vsize=10821732 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/5918/task/6134/stat : 6134 (java) S 5915 5918 1335 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 17 0 96190747 11081453568 141761 33554432000 4194304 4196468 140726506712192 140461936194416 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
[pid=5918/tid=6135] ppid=5915 vsize=10821732 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/5918/task/6135/stat : 6135 (java) S 5915 5918 1335 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 17 0 96190747 11081453568 141761 33554432000 4194304 4196468 140726506712192 140461935140976 140462454527701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26554368 140726506714246 140726506714399 140726506714399 140726506717135 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 564996 KiB
Child status: 143
Real time (s): 2515.08
CPU time (s): 2520.25
CPU user time (s): 2518.93
CPU system time (s): 1.32234
CPU usage (%): 100.206
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 564996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.93
system time used= 1.32234
maximum resident set size= 638984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61042
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56279
involuntary context switches= 2275
# summary of solver processes directly reported to runsolver:
# pid: 5918
# total CPU time (s): 2520.25
# total CPU user time (s): 2518.93
# total CPU system time (s): 1.32234
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.203 second user time and 25.183 second system time
The end