2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
sat4j-CSP 2017-07-05	?	1742.86	478.35901
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 (6969 MiB free)
  memory of node 1: 16384 MiB (15262 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263802-1502641333/watcher-4263802-1502641333 -o /tmp/evaluation-result-4263802-1502641333/solver-4263802-1502641333 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502623989-31952 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263802-1502641333.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3995, runsolver pid=3992
Current StackSize limit: 8192 KiB


[startup+0.102381 s]*
/proc/loadavg: 7.47 5.70 3.80 6/208 4004
/proc/meminfo: memFree=22754072/32770624 swapFree=67108860/67108860
[pid=3995] ppid=3992 vsize=10151672 memory=20220 CPUtime=0.03 cores=1,3,5,7
/proc/3995/stat : 3995 (java) S 3992 3995 12395 0 -1 1077944320 3934 0 0 0 3 0 0 0 20 0 9 0 106044651 10395312128 5055 18446744073709551615 4194304 4196468 140727187427712 140727187410256 139849058197239 0 0 1 16800970 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
/proc/3995/statm: 2537918 5055 2156 1 0 2527415 0
[pid=3995/tid=3997] ppid=3992 vsize=10417928 memory=-7174084197762691781 CPUtime=0.04 cores=1,3,5,7
/proc/3995/task/3997/stat : 3997 (java) R 3992 3995 12395 0 -1 4202560 2602 0 0 0 4 0 0 0 20 0 13 0 106044657 10667958272 5059 18446744073709551615 4194304 4196468 140727187427712 139849062439224 139849038102522 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=3998] ppid=3992 vsize=10417928 memory=4349475210443476153 CPUtime=0 cores=1,3,5,7
/proc/3995/task/3998/stat : 3998 (java) S 3992 3995 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 106044658 10667958272 5059 18446744073709551615 4194304 4196468 140727187427712 139848988617488 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=3999] ppid=3992 vsize=10417928 memory=140144576521856 CPUtime=0 cores=1,3,5,7
/proc/3995/task/3999/stat : 3999 (java) S 3992 3995 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 106044658 10667958272 5059 18446744073709551615 4194304 4196468 140727187427712 139848987564944 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4000] ppid=3992 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4000/stat : 4000 (java) S 3992 3995 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 106044658 10667958272 5123 18446744073709551615 4194304 4196468 140727187427712 139848986512400 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4001] ppid=3992 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4001/stat : 4001 (java) S 3992 3995 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 106044658 10667958272 5123 18446744073709551615 4194304 4196468 140727187427712 139848985459856 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4002] ppid=3992 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4002/stat : 4002 (java) S 3992 3995 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 106044659 10667958272 5123 18446744073709551615 4194304 4196468 140727187427712 139848554862576 139849058208386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4003] ppid=3992 vsize=10417928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4003/stat : 4003 (java) S 3992 3995 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 106044660 10667958272 5189 18446744073709551615 4194304 4196468 140727187427712 139848553808800 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4004] ppid=3992 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4004/stat : 4004 (java) S 3992 3995 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 106044660 10667958272 5189 18446744073709551615 4194304 4196468 140727187427712 139848552756208 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4005] ppid=3992 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4005/stat : 4005 (java) S 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 106044662 10667958272 5189 18446744073709551615 4194304 4196468 140727187427712 139848551704784 139849058215835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4006] ppid=3992 vsize=10417928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4006/stat : 4006 (java) R 3992 3995 12395 0 -1 4202560 172 0 0 0 0 0 0 0 20 0 13 0 106044662 10667958272 5189 18446744073709551615 4194304 4196468 140727187427712 139848550639816 139849036015765 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4007] ppid=3992 vsize=10417928 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4007/stat : 4007 (java) S 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 106044662 10667958272 5189 18446744073709551615 4194304 4196468 140727187427712 139848549599552 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4008] ppid=3992 vsize=10417928 memory=140144576521856 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4008/stat : 4008 (java) R 3992 3995 12395 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 13 0 106044662 10667958272 5189 18446744073709551615 4194304 4196468 140727187427712 139848548548040 139849058218586 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 20220 KiB

[startup+0.21025 s]*
/proc/loadavg: 7.47 5.70 3.80 7/214 4010
/proc/meminfo: memFree=22744456/32770624 swapFree=67108860/67108860
[pid=3995] ppid=3992 vsize=10551156 memory=31196 CPUtime=0.14 cores=1,3,5,7
/proc/3995/stat : 3995 (java) S 3992 3995 12395 0 -1 1077944320 7433 0 0 0 12 2 0 0 20 0 15 0 106044651 10804383744 7799 18446744073709551615 4194304 4196468 140727187427712 140727187410256 139849058197239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
/proc/3995/statm: 2637789 7799 2787 1 0 2627261 0
[pid=3995/tid=3997] ppid=3992 vsize=10551156 memory=-7174084197762691781 CPUtime=0.1 cores=1,3,5,7
/proc/3995/task/3997/stat : 3997 (java) R 3992 3995 12395 0 -1 4202560 5277 0 0 0 9 1 0 0 20 0 15 0 106044657 10804383744 7799 18446744073709551615 4194304 4196468 140727187427712 139849062433504 139849042277726 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=3998] ppid=3992 vsize=10551156 memory=4349475210443476153 CPUtime=0 cores=1,3,5,7
/proc/3995/task/3998/stat : 3998 (java) S 3992 3995 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106044658 10804383744 7799 18446744073709551615 4194304 4196468 140727187427712 139848988617488 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=3999] ppid=3992 vsize=10551156 memory=140144576521856 CPUtime=0 cores=1,3,5,7
/proc/3995/task/3999/stat : 3999 (java) S 3992 3995 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106044658 10804383744 7799 18446744073709551615 4194304 4196468 140727187427712 139848987564944 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4000] ppid=3992 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4000/stat : 4000 (java) S 3992 3995 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106044658 10804383744 7799 18446744073709551615 4194304 4196468 140727187427712 139848986512400 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4001] ppid=3992 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4001/stat : 4001 (java) S 3992 3995 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106044658 10804383744 7799 18446744073709551615 4194304 4196468 140727187427712 139848985459856 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4002] ppid=3992 vsize=10551156 memory=140144576521856 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4002/stat : 4002 (java) S 3992 3995 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106044659 10804383744 7799 18446744073709551615 4194304 4196468 140727187427712 139848554862576 139849058208386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4003] ppid=3992 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4003/stat : 4003 (java) S 3992 3995 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106044660 10804383744 7799 18446744073709551615 4194304 4196468 140727187427712 139848553808800 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4004] ppid=3992 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4004/stat : 4004 (java) S 3992 3995 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106044660 10804383744 7799 18446744073709551615 4194304 4196468 140727187427712 139848552756208 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4005] ppid=3992 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4005/stat : 4005 (java) S 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106044662 10804383744 7799 18446744073709551615 4194304 4196468 140727187427712 139848551704784 139849058215835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4006] ppid=3992 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4006/stat : 4006 (java) R 3992 3995 12395 0 -1 4202560 439 0 0 0 0 0 0 0 20 0 15 0 106044662 10804383744 7799 18446744073709551615 4194304 4196468 140727187427712 139848550652400 139849058218586 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4007] ppid=3992 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4007/stat : 4007 (java) R 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106044662 10804383744 7799 18446744073709551615 4194304 4196468 140727187427712 139848549599856 139849058208386 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4008] ppid=3992 vsize=10551156 memory=140144576521856 CPUtime=0.02 cores=1,3,5,7
/proc/3995/task/4008/stat : 4008 (java) R 3992 3995 12395 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 106044662 10804383744 7799 18446744073709551615 4194304 4196468 140727187427712 139848548547312 139849058208386 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4009] ppid=3992 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4009/stat : 4009 (java) S 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106044663 10804383744 7799 18446744073709551615 4194304 4196468 140727187427712 139848547495008 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4010] ppid=3992 vsize=10551156 memory=140144576521856 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4010/stat : 4010 (java) S 3992 3995 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106044667 10804383744 7799 18446744073709551615 4194304 4196468 140727187427712 139848546441520 139849058208386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 31196 KiB

[startup+0.314921 s]*
/proc/loadavg: 7.47 5.70 3.80 7/214 4010
/proc/meminfo: memFree=22738344/32770624 swapFree=67108860/67108860
[pid=3995] ppid=3992 vsize=10551156 memory=42296 CPUtime=0.33 cores=1,3,5,7
/proc/3995/stat : 3995 (java) S 3992 3995 12395 0 -1 1077944320 8793 0 0 0 30 3 0 0 20 0 15 0 106044651 10804383744 10574 18446744073709551615 4194304 4196468 140727187427712 140727187410256 139849058197239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
/proc/3995/statm: 2637789 10574 2939 1 0 2627261 0
[pid=3995/tid=3997] ppid=3992 vsize=10551156 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/3995/task/3997/stat : 3997 (java) R 3992 3995 12395 0 -1 4202560 5666 0 0 0 18 2 0 0 20 0 15 0 106044657 10804383744 10574 18446744073709551615 4194304 4196468 140727187427712 139849062434112 139849042277726 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=3998] ppid=3992 vsize=10551156 memory=4294969536 CPUtime=0 cores=1,3,5,7
/proc/3995/task/3998/stat : 3998 (java) S 3992 3995 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106044658 10804383744 10574 18446744073709551615 4194304 4196468 140727187427712 139848988617488 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=3999] ppid=3992 vsize=10551156 memory=140144576521856 CPUtime=0 cores=1,3,5,7
/proc/3995/task/3999/stat : 3999 (java) S 3992 3995 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106044658 10804383744 10574 18446744073709551615 4194304 4196468 140727187427712 139848987564944 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4000] ppid=3992 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4000/stat : 4000 (java) S 3992 3995 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106044658 10804383744 10574 18446744073709551615 4194304 4196468 140727187427712 139848986512400 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4001] ppid=3992 vsize=10551156 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4001/stat : 4001 (java) S 3992 3995 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106044658 10804383744 10574 18446744073709551615 4194304 4196468 140727187427712 139848985459856 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4002] ppid=3992 vsize=10551156 memory=140144576521856 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4002/stat : 4002 (java) S 3992 3995 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106044659 10804383744 10574 18446744073709551615 4194304 4196468 140727187427712 139848554862576 139849058208386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4003] ppid=3992 vsize=10551156 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4003/stat : 4003 (java) S 3992 3995 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106044660 10804383744 10574 18446744073709551615 4194304 4196468 140727187427712 139848553808800 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4004] ppid=3992 vsize=10551156 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4004/stat : 4004 (java) S 3992 3995 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106044660 10804383744 10574 18446744073709551615 4194304 4196468 140727187427712 139848552756208 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4005] ppid=3992 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4005/stat : 4005 (java) S 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106044662 10804383744 10574 18446744073709551615 4194304 4196468 140727187427712 139848551704784 139849058215835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4006] ppid=3992 vsize=10551156 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3995/task/4006/stat : 4006 (java) R 3992 3995 12395 0 -1 4202560 868 0 0 0 3 0 0 0 20 0 15 0 106044662 10804383744 10574 18446744073709551615 4194304 4196468 140727187427712 139848550643656 139849037891344 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4007] ppid=3992 vsize=10551156 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3995/task/4007/stat : 4007 (java) R 3992 3995 12395 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 15 0 106044662 10804383744 10574 18446744073709551615 4194304 4196468 140727187427712 139848549599856 139849058208386 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4008] ppid=3992 vsize=10551156 memory=280289023994768 CPUtime=0.07 cores=1,3,5,7
/proc/3995/task/4008/stat : 4008 (java) R 3992 3995 12395 0 -1 4202560 746 0 0 0 7 0 0 0 20 0 15 0 106044662 10804383744 10574 18446744073709551615 4194304 4196468 140727187427712 139848548541848 139849037331727 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4009] ppid=3992 vsize=10551156 memory=140144576521855 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4009/stat : 4009 (java) S 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106044663 10804383744 10574 18446744073709551615 4194304 4196468 140727187427712 139848547495008 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4010] ppid=3992 vsize=10551156 memory=140144576521856 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4010/stat : 4010 (java) S 3992 3995 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106044667 10804383744 10574 18446744073709551615 4194304 4196468 140727187427712 139848546441520 139849058208386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 42296 KiB

[startup+0.700794 s]
/proc/loadavg: 7.47 5.70 3.80 8/214 4010
/proc/meminfo: memFree=22720464/32770624 swapFree=67108860/67108860
[pid=3995] ppid=3992 vsize=10551232 memory=129080 CPUtime=1.41 cores=1,3,5,7
/proc/3995/stat : 3995 (java) S 3992 3995 12395 0 -1 1077944320 12060 0 0 0 136 5 0 0 20 0 15 0 106044651 10804461568 32270 18446744073709551615 4194304 4196468 140727187427712 140727187410256 139849058197239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
/proc/3995/statm: 2637808 32270 3056 1 0 2627261 0
[pid=3995/tid=3997] ppid=3992 vsize=10551232 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/3995/task/3997/stat : 3997 (java) R 3992 3995 12395 0 -1 4202560 6274 0 0 0 54 4 0 0 20 0 15 0 106044657 10804461568 32270 18446744073709551615 4194304 4196468 140727187427712 139849062435088 139849037274784 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=3998] ppid=3992 vsize=10551232 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/3995/task/3998/stat : 3998 (java) S 3992 3995 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106044658 10804461568 32270 18446744073709551615 4194304 4196468 140727187427712 139848988617488 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=3999] ppid=3992 vsize=10551232 memory=12132 CPUtime=0 cores=1,3,5,7
/proc/3995/task/3999/stat : 3999 (java) S 3992 3995 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106044658 10804461568 32270 18446744073709551615 4194304 4196468 140727187427712 139848987564944 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4000] ppid=3992 vsize=10551232 memory=796 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4000/stat : 4000 (java) S 3992 3995 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106044658 10804461568 32270 18446744073709551615 4194304 4196468 140727187427712 139848986512400 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4001] ppid=3992 vsize=10551232 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4001/stat : 4001 (java) S 3992 3995 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106044658 10804461568 32270 18446744073709551615 4194304 4196468 140727187427712 139848985459856 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4002] ppid=3992 vsize=10551232 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4002/stat : 4002 (java) S 3992 3995 12395 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106044659 10804461568 32270 18446744073709551615 4194304 4196468 140727187427712 139848554862576 139849058208386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4003] ppid=3992 vsize=10551232 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4003/stat : 4003 (java) S 3992 3995 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106044660 10804461568 32270 18446744073709551615 4194304 4196468 140727187427712 139848553808800 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4004] ppid=3992 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4004/stat : 4004 (java) S 3992 3995 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106044660 10804461568 32270 18446744073709551615 4194304 4196468 140727187427712 139848552756208 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4005] ppid=3992 vsize=10551232 memory=140144448375232 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4005/stat : 4005 (java) S 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106044662 10804461568 32270 18446744073709551615 4194304 4196468 140727187427712 139848551704784 139849058215835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4006] ppid=3992 vsize=10551232 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/3995/task/4006/stat : 4006 (java) R 3992 3995 12395 0 -1 4202560 1833 0 0 0 30 0 0 0 20 0 15 0 106044662 10804461568 32270 18446744073709551615 4194304 4196468 140727187427712 139848550638280 139849039719726 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4007] ppid=3992 vsize=10551232 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/3995/task/4007/stat : 4007 (java) R 3992 3995 12395 0 -1 4202560 1281 0 0 0 27 0 0 0 20 0 15 0 106044662 10804461568 32270 18446744073709551615 4194304 4196468 140727187427712 139848549589120 139849041728767 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4008] ppid=3992 vsize=10551232 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/3995/task/4008/stat : 4008 (java) S 3992 3995 12395 0 -1 1077944384 1300 0 0 0 23 0 0 0 20 0 15 0 106044662 10804461568 32270 18446744073709551615 4194304 4196468 140727187427712 139848548547312 139849058208386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4009] ppid=3992 vsize=10551232 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4009/stat : 4009 (java) S 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106044663 10804461568 32270 18446744073709551615 4194304 4196468 140727187427712 139848547495008 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4010] ppid=3992 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4010/stat : 4010 (java) S 3992 3995 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106044667 10804461568 32270 18446744073709551615 4194304 4196468 140727187427712 139848546441520 139849058208386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 129080 KiB

[startup+1.50173 s]
/proc/loadavg: 7.51 5.74 3.82 8/214 4010
/proc/meminfo: memFree=22566128/32770624 swapFree=67108860/67108860
[pid=3995] ppid=3992 vsize=10551232 memory=768040 CPUtime=3.36 cores=1,3,5,7
/proc/3995/stat : 3995 (java) S 3992 3995 12395 0 -1 1077944320 14360 0 0 0 299 37 0 0 20 0 15 0 106044651 10804461568 192010 18446744073709551615 4194304 4196468 140727187427712 140727187410256 139849058197239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
/proc/3995/statm: 2637808 192010 3092 1 0 2627261 0
[pid=3995/tid=3997] ppid=3992 vsize=10551232 memory=1494 CPUtime=1.1 cores=1,3,5,7
/proc/3995/task/3997/stat : 3997 (java) S 3992 3995 12395 0 -1 1077944384 6757 0 0 0 101 9 0 0 20 0 15 0 106044657 10804461568 192010 18446744073709551615 4194304 4196468 140727187427712 139849062434128 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=3998] ppid=3992 vsize=10551232 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/3995/task/3998/stat : 3998 (java) R 3992 3995 12395 0 -1 4202560 407 0 0 0 20 6 0 0 20 0 15 0 106044658 10804461568 192010 18446744073709551615 4194304 4196468 140727187427712 139848988617488 139849042645303 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=3999] ppid=3992 vsize=10551232 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/3995/task/3999/stat : 3999 (java) R 3992 3995 12395 0 -1 4202560 303 0 0 0 20 6 0 0 20 0 15 0 106044658 10804461568 192010 18446744073709551615 4194304 4196468 140727187427712 139848987565144 139849043224478 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4000] ppid=3992 vsize=10551232 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/3995/task/4000/stat : 4000 (java) R 3992 3995 12395 0 -1 4202560 287 0 0 0 19 6 0 0 20 0 15 0 106044658 10804461568 192010 18446744073709551615 4194304 4196468 140727187427712 139848986512600 139849043224658 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4001] ppid=3992 vsize=10551232 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/3995/task/4001/stat : 4001 (java) R 3992 3995 12395 0 -1 4202560 474 0 0 0 19 6 0 0 20 0 15 0 106044658 10804461568 192010 18446744073709551615 4194304 4196468 140727187427712 139848985459856 139849043224658 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4002] ppid=3992 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4002/stat : 4002 (java) S 3992 3995 12395 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 106044659 10804461568 192010 18446744073709551615 4194304 4196468 140727187427712 139848554861088 139849058207445 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4003] ppid=3992 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4003/stat : 4003 (java) S 3992 3995 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106044660 10804461568 192010 18446744073709551615 4194304 4196468 140727187427712 139848553808800 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4004] ppid=3992 vsize=10551232 memory=280288894680096 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4004/stat : 4004 (java) S 3992 3995 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106044660 10804461568 192010 18446744073709551615 4194304 4196468 140727187427712 139848552756208 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0

################
# More data... #
################

/proc/3995/task/4001/stat : 4001 (java) R 3992 3995 12395 0 -1 4202560 684017 0 0 0 42068 205 0 0 20 0 17 0 106044658 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848985460056 139849042897886 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4002] ppid=3992 vsize=10686560 memory=1296 CPUtime=25 cores=1,3,5,7
/proc/3995/task/4002/stat : 4002 (java) S 3992 3995 12395 0 -1 1077944384 93773 0 0 0 2495 5 0 0 20 0 17 0 106044659 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848554861120 139849058207445 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4003] ppid=3992 vsize=10686560 memory=8289140 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4003/stat : 4003 (java) S 3992 3995 12395 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 106044660 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848553808864 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4004] ppid=3992 vsize=10686560 memory=6526735887235980672 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4004/stat : 4004 (java) S 3992 3995 12395 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 17 0 106044660 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848552756224 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4005] ppid=3992 vsize=10686560 memory=7307763768972554282 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4005/stat : 4005 (java) S 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106044662 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848551704784 139849058215835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4006] ppid=3992 vsize=10686560 memory=1716 CPUtime=0.72 cores=1,3,5,7
/proc/3995/task/4006/stat : 4006 (java) S 3992 3995 12395 0 -1 1077944384 2809 0 0 0 72 0 0 0 20 0 17 0 106044662 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848550652160 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4007] ppid=3992 vsize=10686560 memory=9024 CPUtime=0.63 cores=1,3,5,7
/proc/3995/task/4007/stat : 4007 (java) S 3992 3995 12395 0 -1 1077944384 1407 0 0 0 63 0 0 0 20 0 17 0 106044662 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848549599904 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4008] ppid=3992 vsize=10686560 memory=1436 CPUtime=0.34 cores=1,3,5,7
/proc/3995/task/4008/stat : 4008 (java) S 3992 3995 12395 0 -1 1077944384 2090 0 0 0 33 1 0 0 20 0 17 0 106044662 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848548547360 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4009] ppid=3992 vsize=10686560 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4009/stat : 4009 (java) S 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106044663 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848547495008 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4010] ppid=3992 vsize=10686560 memory=7680170660397595203 CPUtime=0.21 cores=1,3,5,7
/proc/3995/task/4010/stat : 4010 (java) S 3992 3995 12395 0 -1 1077944384 341 0 0 0 11 10 0 0 20 0 17 0 106044667 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848546441520 139849058208386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4089] ppid=3992 vsize=10686560 memory=8288028 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4089/stat : 4089 (java) S 3992 3995 12395 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 17 0 106088807 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848543288816 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4090] ppid=3992 vsize=10686560 memory=8288020 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4090/stat : 4090 (java) S 3992 3995 12395 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 106088807 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848542236720 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
Current children cumulated CPU time: 1738.96 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8289140 KiB

[startup+477.601 s]
/proc/loadavg: 3.43 4.28 3.91 5/194 4092
/proc/meminfo: memFree=22780504/32770624 swapFree=67108860/67108860
[pid=3995] ppid=3992 vsize=10686560 memory=8289140 CPUtime=1742.04 cores=1,3,5,7
/proc/3995/stat : 3995 (java) S 3992 3995 12395 0 -1 1077944320 2901283 0 0 0 173326 878 0 0 20 0 17 0 106044651 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 140727187410256 139849058197239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
/proc/3995/statm: 2671640 2072285 3159 1 0 2661055 0
[pid=3995/tid=3997] ppid=3992 vsize=10686560 memory=4132 CPUtime=19.85 cores=1,3,5,7
/proc/3995/task/3997/stat : 3997 (java) S 3992 3995 12395 0 -1 1077944384 26776 0 0 0 1953 32 0 0 20 0 17 0 106044657 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139849062437920 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=3998] ppid=3992 vsize=10686560 memory=7680170660397595203 CPUtime=423.29 cores=1,3,5,7
/proc/3995/task/3998/stat : 3998 (java) R 3992 3995 12395 0 -1 4202560 989304 0 0 0 42100 229 0 0 20 0 17 0 106044658 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848988617608 139849050825447 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=3999] ppid=3992 vsize=10686560 memory=1296 CPUtime=424.35 cores=1,3,5,7
/proc/3995/task/3999/stat : 3999 (java) R 3992 3995 12395 0 -1 4202560 412242 0 0 0 42245 190 0 0 20 0 17 0 106044658 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848987565064 139849050825447 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4000] ppid=3992 vsize=10686560 memory=2460 CPUtime=424.06 cores=1,3,5,7
/proc/3995/task/4000/stat : 4000 (java) R 3992 3995 12395 0 -1 4202560 686952 0 0 0 42197 209 0 0 20 0 17 0 106044658 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848986512208 139849050825447 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4001] ppid=3992 vsize=10686560 memory=1728 CPUtime=423.53 cores=1,3,5,7
/proc/3995/task/4001/stat : 4001 (java) R 3992 3995 12395 0 -1 4202560 684017 0 0 0 42148 205 0 0 20 0 17 0 106044658 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848985460056 139849043193792 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4002] ppid=3992 vsize=10686560 memory=796 CPUtime=25 cores=1,3,5,7
/proc/3995/task/4002/stat : 4002 (java) S 3992 3995 12395 0 -1 1077944384 93773 0 0 0 2495 5 0 0 20 0 17 0 106044659 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848554861120 139849058207445 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4003] ppid=3992 vsize=10686560 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4003/stat : 4003 (java) S 3992 3995 12395 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 106044660 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848553808864 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4004] ppid=3992 vsize=10686560 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4004/stat : 4004 (java) S 3992 3995 12395 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 17 0 106044660 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848552756224 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4005] ppid=3992 vsize=10686560 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4005/stat : 4005 (java) S 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106044662 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848551704784 139849058215835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4006] ppid=3992 vsize=10686560 memory=9024 CPUtime=0.72 cores=1,3,5,7
/proc/3995/task/4006/stat : 4006 (java) S 3992 3995 12395 0 -1 1077944384 2809 0 0 0 72 0 0 0 20 0 17 0 106044662 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848550652160 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4007] ppid=3992 vsize=10686560 memory=644 CPUtime=0.63 cores=1,3,5,7
/proc/3995/task/4007/stat : 4007 (java) S 3992 3995 12395 0 -1 1077944384 1407 0 0 0 63 0 0 0 20 0 17 0 106044662 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848549599904 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4008] ppid=3992 vsize=10686560 memory=956 CPUtime=0.34 cores=1,3,5,7
/proc/3995/task/4008/stat : 4008 (java) S 3992 3995 12395 0 -1 1077944384 2090 0 0 0 33 1 0 0 20 0 17 0 106044662 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848548547360 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4009] ppid=3992 vsize=10686560 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4009/stat : 4009 (java) S 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106044663 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848547495008 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4010] ppid=3992 vsize=10686560 memory=2240 CPUtime=0.21 cores=1,3,5,7
/proc/3995/task/4010/stat : 4010 (java) S 3992 3995 12395 0 -1 1077944384 341 0 0 0 11 10 0 0 20 0 17 0 106044667 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848546441520 139849058208386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4089] ppid=3992 vsize=10686560 memory=4296 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4089/stat : 4089 (java) S 3992 3995 12395 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 17 0 106088807 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848543288816 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4090] ppid=3992 vsize=10686560 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4090/stat : 4090 (java) S 3992 3995 12395 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 106088807 10943037440 2072285 18446744073709551615 4194304 4196468 140727187427712 139848542236720 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
Current children cumulated CPU time: 1742.04 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8289140 KiB

[startup+478.001 s]*
/proc/loadavg: 3.43 4.28 3.91 2/194 4092
/proc/meminfo: memFree=22780504/32770624 swapFree=67108860/67108860
[pid=3995] ppid=3992 vsize=10686560 memory=8289144 CPUtime=1742.5 cores=1,3,5,7
/proc/3995/stat : 3995 (java) S 3992 3995 12395 0 -1 1077944320 2901547 0 0 0 173372 878 0 0 20 0 17 0 106044651 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 140727187410256 139849058197239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
/proc/3995/statm: 2671640 2072286 3159 1 0 2661055 0
[pid=3995/tid=3997] ppid=3992 vsize=10686560 memory=1196 CPUtime=19.85 cores=1,3,5,7
/proc/3995/task/3997/stat : 3997 (java) S 3992 3995 12395 0 -1 1077944384 26776 0 0 0 1953 32 0 0 20 0 17 0 106044657 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139849062437920 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=3998] ppid=3992 vsize=10686560 memory=15880 CPUtime=423.3 cores=1,3,5,7
/proc/3995/task/3998/stat : 3998 (java) S 3992 3995 12395 0 -1 1077944384 989304 0 0 0 42101 229 0 0 20 0 17 0 106044658 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848988617488 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=3999] ppid=3992 vsize=10686560 memory=-7003737579269690708 CPUtime=424.36 cores=1,3,5,7
/proc/3995/task/3999/stat : 3999 (java) S 3992 3995 12395 0 -1 1077944384 412242 0 0 0 42246 190 0 0 20 0 17 0 106044658 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848987564944 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4000] ppid=3992 vsize=10686560 memory=576461256482450691 CPUtime=424.08 cores=1,3,5,7
/proc/3995/task/4000/stat : 4000 (java) S 3992 3995 12395 0 -1 1077944384 686952 0 0 0 42199 209 0 0 20 0 17 0 106044658 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848986512400 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4001] ppid=3992 vsize=10686560 memory=2704 CPUtime=423.55 cores=1,3,5,7
/proc/3995/task/4001/stat : 4001 (java) S 3992 3995 12395 0 -1 1077944384 684017 0 0 0 42150 205 0 0 20 0 17 0 106044658 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848985459856 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4002] ppid=3992 vsize=10686560 memory=7595110096576210802 CPUtime=25.39 cores=1,3,5,7
/proc/3995/task/4002/stat : 4002 (java) R 3992 3995 12395 0 -1 4202560 94037 0 0 0 2534 5 0 0 20 0 17 0 106044659 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848554861008 139849043193643 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4003] ppid=3992 vsize=10686560 memory=7450757444070228068 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4003/stat : 4003 (java) S 3992 3995 12395 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 106044660 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848553808864 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4004] ppid=3992 vsize=10686560 memory=7595110096576210802 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4004/stat : 4004 (java) S 3992 3995 12395 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 17 0 106044660 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848552756224 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4005] ppid=3992 vsize=10686560 memory=7379266089894569064 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4005/stat : 4005 (java) S 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106044662 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848551704784 139849058215835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4006] ppid=3992 vsize=10686560 memory=7379266089894569064 CPUtime=0.72 cores=1,3,5,7
/proc/3995/task/4006/stat : 4006 (java) S 3992 3995 12395 0 -1 1077944384 2809 0 0 0 72 0 0 0 20 0 17 0 106044662 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848550652160 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4007] ppid=3992 vsize=10686560 memory=7595110096576210802 CPUtime=0.63 cores=1,3,5,7
/proc/3995/task/4007/stat : 4007 (java) S 3992 3995 12395 0 -1 1077944384 1407 0 0 0 63 0 0 0 20 0 17 0 106044662 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848549599904 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4008] ppid=3992 vsize=10686560 memory=7379266089894569064 CPUtime=0.34 cores=1,3,5,7
/proc/3995/task/4008/stat : 4008 (java) S 3992 3995 12395 0 -1 1077944384 2090 0 0 0 33 1 0 0 20 0 17 0 106044662 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848548547360 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4009] ppid=3992 vsize=10686560 memory=7379266089894569064 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4009/stat : 4009 (java) S 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106044663 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848547495008 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4010] ppid=3992 vsize=10686560 memory=-6519613052471072158 CPUtime=0.21 cores=1,3,5,7
/proc/3995/task/4010/stat : 4010 (java) S 3992 3995 12395 0 -1 1077944384 341 0 0 0 11 10 0 0 20 0 17 0 106044667 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848546441520 139849058208386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4089] ppid=3992 vsize=10686560 memory=6368491621849523816 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4089/stat : 4089 (java) S 3992 3995 12395 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 17 0 106088807 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848543288816 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4090] ppid=3992 vsize=10686560 memory=6368491621849523816 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4090/stat : 4090 (java) S 3992 3995 12395 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 106088807 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848542236720 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
Current children cumulated CPU time: 1742.5 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8289144 KiB

[startup+478.201 s]
/proc/loadavg: 3.43 4.28 3.91 2/194 4092
/proc/meminfo: memFree=22780504/32770624 swapFree=67108860/67108860
[pid=3995] ppid=3992 vsize=10686560 memory=8289144 CPUtime=1742.69 cores=1,3,5,7
/proc/3995/stat : 3995 (java) S 3992 3995 12395 0 -1 1077944320 2901547 0 0 0 173391 878 0 0 20 0 17 0 106044651 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 140727187410256 139849058197239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 5 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
/proc/3995/statm: 2671640 2072286 3159 1 0 2661055 0
[pid=3995/tid=3997] ppid=3992 vsize=10686560 memory=288230583166042426 CPUtime=19.85 cores=1,3,5,7
/proc/3995/task/3997/stat : 3997 (java) S 3992 3995 12395 0 -1 1077944384 26776 0 0 0 1953 32 0 0 20 0 17 0 106044657 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139849062437920 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=3998] ppid=3992 vsize=10686560 memory=14413726384129835 CPUtime=423.3 cores=1,3,5,7
/proc/3995/task/3998/stat : 3998 (java) S 3992 3995 12395 0 -1 1077944384 989304 0 0 0 42101 229 0 0 20 0 17 0 106044658 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848988617488 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=3999] ppid=3992 vsize=10686560 memory=4048 CPUtime=424.36 cores=1,3,5,7
/proc/3995/task/3999/stat : 3999 (java) S 3992 3995 12395 0 -1 1077944384 412242 0 0 0 42246 190 0 0 20 0 17 0 106044658 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848987564944 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4000] ppid=3992 vsize=10686560 memory=30292 CPUtime=424.08 cores=1,3,5,7
/proc/3995/task/4000/stat : 4000 (java) S 3992 3995 12395 0 -1 1077944384 686952 0 0 0 42199 209 0 0 20 0 17 0 106044658 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848986512400 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4001] ppid=3992 vsize=10686560 memory=18468 CPUtime=423.55 cores=1,3,5,7
/proc/3995/task/4001/stat : 4001 (java) S 3992 3995 12395 0 -1 1077944384 684017 0 0 0 42150 205 0 0 20 0 17 0 106044658 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848985459856 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4002] ppid=3992 vsize=10686560 memory=1788 CPUtime=25.58 cores=1,3,5,7
/proc/3995/task/4002/stat : 4002 (java) R 3992 3995 12395 0 -1 4202560 94037 0 0 0 2553 5 0 0 20 0 17 0 106044659 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848554861008 139849042654870 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4003] ppid=3992 vsize=10686560 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4003/stat : 4003 (java) S 3992 3995 12395 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 106044660 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848553808864 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4004] ppid=3992 vsize=10686560 memory=840 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4004/stat : 4004 (java) S 3992 3995 12395 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 17 0 106044660 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848552756224 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4005] ppid=3992 vsize=10686560 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4005/stat : 4005 (java) S 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106044662 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848551704784 139849058215835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4006] ppid=3992 vsize=10686560 memory=1156 CPUtime=0.72 cores=1,3,5,7
/proc/3995/task/4006/stat : 4006 (java) S 3992 3995 12395 0 -1 1077944384 2809 0 0 0 72 0 0 0 20 0 17 0 106044662 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848550652160 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4007] ppid=3992 vsize=10686560 memory=3132 CPUtime=0.63 cores=1,3,5,7
/proc/3995/task/4007/stat : 4007 (java) S 3992 3995 12395 0 -1 1077944384 1407 0 0 0 63 0 0 0 20 0 17 0 106044662 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848549599904 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4008] ppid=3992 vsize=10686560 memory=8289140 CPUtime=0.34 cores=1,3,5,7
/proc/3995/task/4008/stat : 4008 (java) S 3992 3995 12395 0 -1 1077944384 2090 0 0 0 33 1 0 0 20 0 17 0 106044662 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848548547360 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4009] ppid=3992 vsize=10686560 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4009/stat : 4009 (java) S 3992 3995 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106044663 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848547495008 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4010] ppid=3992 vsize=10686560 memory=7235147594880805952 CPUtime=0.21 cores=1,3,5,7
/proc/3995/task/4010/stat : 4010 (java) S 3992 3995 12395 0 -1 1077944384 341 0 0 0 11 10 0 0 20 0 17 0 106044667 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848546441520 139849058208386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4089] ppid=3992 vsize=10686560 memory=7598824234097836114 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4089/stat : 4089 (java) S 3992 3995 12395 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 17 0 106088807 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848543288816 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
[pid=3995/tid=4090] ppid=3992 vsize=10686560 memory=21221 CPUtime=0 cores=1,3,5,7
/proc/3995/task/4090/stat : 4090 (java) S 3992 3995 12395 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 106088807 10943037440 2072286 18446744073709551615 4194304 4196468 140727187427712 139848542236720 139849058207445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17244160 140727187435920 140727187436073 140727187436073 140727187439567 0
Current children cumulated CPU time: 1742.69 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8289144 KiB

[startup+478.301 s]*
/proc/loadavg: 3.43 4.28 3.91 2/179 4092
/proc/meminfo: memFree=24120836/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 478.359
CPU time (s): 1742.86
CPU user time (s): 1733.99
CPU system time (s): 8.86959
CPU usage (%): 364.342
Max. virtual memory (cumulated for all children) (KiB): 10686560
Max. memory (cumulated for all children) (KiB): 8289144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1733.99
system time used= 8.86959
maximum resident set size= 8289280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2901664
page faults= 0
swaps= 0
block input operations= 0
block output operations= 656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41531
involuntary context switches= 22689


# summary of solver processes directly reported to runsolver:
#   pid: 3995
#   total CPU time (s): 1742.86
#   total CPU user time (s): 1733.99
#   total CPU system time (s): 8.86959

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.1647 second user time and 4.46321 second system time

The end
Name	Wwtpp/Wwtpp-ord-s1/ Wwtpp-ord-ex08540.xml
MD5SUM	440b59c3b2d6a515b3a7929740109e51
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.92504102
Satisfiable
(Un)Satisfiability was proved
Number of variables	476
Number of constraints	402
Number of domains	22
Minimum domain size	1
Maximum domain size	10001
Distribution of domain sizes	[{"size":1,"count":22},{"size":2,"count":92},{"size":1001,"count":46},{"size":1501,"count":46},{"size":2501,"count":46},{"size":3001,"count":46},{"size":5001,"count":88},{"size":10001,"count":90}]
Minimum variable degree	1
Maximum variable degree	3
Distribution of variable degrees	[{"degree":1,"count":16},{"degree":2,"count":29},{"degree":3,"count":431}]
Minimum constraint arity	2
Maximum constraint arity	24
Distribution of constraint arities	[{"arity":2,"count":189},{"arity":3,"count":96},{"arity":4,"count":90},{"arity":10,"count":4},{"arity":11,"count":7},{"arity":12,"count":7},{"arity":13,"count":5},{"arity":14,"count":2},{"arity":23,"count":1},{"arity":24,"count":1}]
Number of extensional constraints	192
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":192},{"type":"sum","count":210}]
Optimization problem	NO
Type of objective
Trace number 4263802

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
