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

Solver Name	Answer	objective function	CPU time	Wall clock time
sat4j-CSP 2017-07-05	?		1400.0699	386.38599
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 (13044 MiB free)
  memory of node 1: 16384 MiB (15263 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263758-1502640946/watcher-4263758-1502640946 -o /tmp/evaluation-result-4263758-1502640946/solver-4263758-1502640946 -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-4263758-1502640946.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=3823, runsolver pid=3820
Current StackSize limit: 8192 KiB


[startup+0.10014 s]*
/proc/loadavg: 2.05 2.03 2.22 3/213 3832
/proc/meminfo: memFree=28975044/32770624 swapFree=67108860/67108860
[pid=3823] ppid=3820 vsize=10151672 memory=20792 CPUtime=0.03 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3820 3823 12395 0 -1 1077944320 4056 0 0 0 3 0 0 0 20 0 9 0 106005889 10395312128 5198 18446744073709551615 4194304 4196468 140728478734880 140728478717424 140691000143607 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
/proc/3823/statm: 2537918 5198 2106 1 0 2527415 0
[pid=3823/tid=3825] ppid=3820 vsize=10151672 memory=279616061178096 CPUtime=0.02 cores=1,3,5,7
/proc/3823/task/3825/stat : 3825 (java) R 3820 3823 12395 0 -1 4202560 2701 0 0 0 2 0 0 0 20 0 9 0 106005896 10395312128 5198 18446744073709551615 4194304 4196468 140728478734880 140691004379592 140690982289728 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3826] ppid=3820 vsize=10151672 memory=279616061178096 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3826/stat : 3826 (java) S 3820 3823 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 106005897 10395312128 5198 18446744073709551615 4194304 4196468 140728478734880 140690930563344 140691000153813 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3827] ppid=3820 vsize=10151672 memory=139808135403136 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3827/stat : 3827 (java) S 3820 3823 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 106005897 10395312128 5198 18446744073709551615 4194304 4196468 140728478734880 140690929510800 140691000153813 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3828] ppid=3820 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3828/stat : 3828 (java) S 3820 3823 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 106005897 10395312128 5198 18446744073709551615 4194304 4196468 140728478734880 140690928458256 140691000153813 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3829] ppid=3820 vsize=10151672 memory=-1807685287725067907 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3829/stat : 3829 (java) S 3820 3823 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 106005897 10395312128 5198 18446744073709551615 4194304 4196468 140728478734880 140690927405712 140691000153813 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3830] ppid=3820 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3830/stat : 3830 (java) S 3820 3823 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 106005898 10395312128 5198 18446744073709551615 4194304 4196468 140728478734880 140690040224240 140691000154754 0 0 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3831] ppid=3820 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3831/stat : 3831 (java) S 3820 3823 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 106005899 10395312128 5198 18446744073709551615 4194304 4196468 140728478734880 140690039170464 140691000153813 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3832] ppid=3820 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3832/stat : 3832 (java) S 3820 3823 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 106005899 10395312128 5198 18446744073709551615 4194304 4196468 140728478734880 140690038117936 140691000153813 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 20792 KiB

[startup+0.210397 s]*
/proc/loadavg: 2.05 2.03 2.22 3/219 3838
/proc/meminfo: memFree=28973956/32770624 swapFree=67108860/67108860
[pid=3823] ppid=3820 vsize=10551156 memory=26484 CPUtime=0.09 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3820 3823 12395 0 -1 1077944320 5119 0 0 0 8 1 0 0 20 0 15 0 106005889 10804383744 6621 18446744073709551615 4194304 4196468 140728478734880 140728478717424 140691000143607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
/proc/3823/statm: 2637789 6621 2737 1 0 2627261 0
[pid=3823/tid=3825] ppid=3820 vsize=10551156 memory=6933928925625698159 CPUtime=0.06 cores=1,3,5,7
/proc/3823/task/3825/stat : 3825 (java) R 3820 3823 12395 0 -1 4202560 3094 0 0 0 6 0 0 0 20 0 15 0 106005896 10804383744 6621 18446744073709551615 4194304 4196468 140728478734880 140691004359256 140690983536944 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3826] ppid=3820 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3826/stat : 3826 (java) S 3820 3823 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106005897 10804383744 6621 18446744073709551615 4194304 4196468 140728478734880 140690930563344 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3827] ppid=3820 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3827/stat : 3827 (java) S 3820 3823 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106005897 10804383744 6621 18446744073709551615 4194304 4196468 140728478734880 140690929510800 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3828] ppid=3820 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3828/stat : 3828 (java) S 3820 3823 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106005897 10804383744 6621 18446744073709551615 4194304 4196468 140728478734880 140690928458256 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3829] ppid=3820 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3829/stat : 3829 (java) S 3820 3823 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106005897 10804383744 6621 18446744073709551615 4194304 4196468 140728478734880 140690927405712 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3830] ppid=3820 vsize=10551156 memory=139808135403136 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3830/stat : 3830 (java) S 3820 3823 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106005898 10804383744 6621 18446744073709551615 4194304 4196468 140728478734880 140690040224240 140691000154754 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3831] ppid=3820 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3831/stat : 3831 (java) S 3820 3823 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106005899 10804383744 6621 18446744073709551615 4194304 4196468 140728478734880 140690039170464 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3832] ppid=3820 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3832/stat : 3832 (java) S 3820 3823 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106005899 10804383744 6621 18446744073709551615 4194304 4196468 140728478734880 140690038117872 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3833] ppid=3820 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3833/stat : 3833 (java) S 3820 3823 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106005901 10804383744 6621 18446744073709551615 4194304 4196468 140728478734880 140690037066448 140691000162203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3834] ppid=3820 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3834/stat : 3834 (java) R 3820 3823 12395 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 106005901 10804383744 6621 18446744073709551615 4194304 4196468 140728478734880 140690036013040 140691000154754 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3835] ppid=3820 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3835/stat : 3835 (java) S 3820 3823 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106005901 10804383744 6621 18446744073709551615 4194304 4196468 140728478734880 140690034960496 140691000154754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3836] ppid=3820 vsize=10551156 memory=139808135403136 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3836/stat : 3836 (java) R 3820 3823 12395 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 15 0 106005901 10804383744 6621 18446744073709551615 4194304 4196468 140728478734880 140690033907952 140691000154754 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3837] ppid=3820 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3837/stat : 3837 (java) S 3820 3823 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106005902 10804383744 6621 18446744073709551615 4194304 4196468 140728478734880 140690032855648 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3838] ppid=3820 vsize=10551156 memory=139808135403136 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3838/stat : 3838 (java) S 3820 3823 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106005908 10804383744 6621 18446744073709551615 4194304 4196468 140728478734880 140690031803184 140691000154754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 26484 KiB

[startup+0.311296 s]*
/proc/loadavg: 2.05 2.03 2.22 5/219 3838
/proc/meminfo: memFree=28961816/32770624 swapFree=67108860/67108860
[pid=3823] ppid=3820 vsize=10551156 memory=36016 CPUtime=0.23 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3820 3823 12395 0 -1 1077944320 8297 0 0 0 21 2 0 0 20 0 15 0 106005889 10804383744 9004 18446744073709551615 4194304 4196468 140728478734880 140728478717424 140691000143607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
/proc/3823/statm: 2637789 9004 2863 1 0 2627261 0
[pid=3823/tid=3825] ppid=3820 vsize=10551156 memory=6933928925625698159 CPUtime=0.16 cores=1,3,5,7
/proc/3823/task/3825/stat : 3825 (java) R 3820 3823 12395 0 -1 4202560 5983 0 0 0 14 2 0 0 20 0 15 0 106005896 10804383744 9004 18446744073709551615 4194304 4196468 140728478734880 140691004378784 140690984224094 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3826] ppid=3820 vsize=10551156 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3826/stat : 3826 (java) S 3820 3823 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106005897 10804383744 9004 18446744073709551615 4194304 4196468 140728478734880 140690930563344 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3827] ppid=3820 vsize=10551156 memory=4279135704047065247 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3827/stat : 3827 (java) S 3820 3823 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106005897 10804383744 9004 18446744073709551615 4194304 4196468 140728478734880 140690929510800 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3828] ppid=3820 vsize=10551156 memory=-6367101230106591175 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3828/stat : 3828 (java) S 3820 3823 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106005897 10804383744 9004 18446744073709551615 4194304 4196468 140728478734880 140690928458256 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3829] ppid=3820 vsize=10551156 memory=4426080405320600950 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3829/stat : 3829 (java) S 3820 3823 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106005897 10804383744 9004 18446744073709551615 4194304 4196468 140728478734880 140690927405712 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3830] ppid=3820 vsize=10551156 memory=-7749975593672162402 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3830/stat : 3830 (java) S 3820 3823 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106005898 10804383744 9004 18446744073709551615 4194304 4196468 140728478734880 140690040224240 140691000154754 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3831] ppid=3820 vsize=10551156 memory=139808135410129 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3831/stat : 3831 (java) S 3820 3823 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106005899 10804383744 9004 18446744073709551615 4194304 4196468 140728478734880 140690039170464 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3832] ppid=3820 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3832/stat : 3832 (java) S 3820 3823 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106005899 10804383744 9004 18446744073709551615 4194304 4196468 140728478734880 140690038117872 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3833] ppid=3820 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3833/stat : 3833 (java) S 3820 3823 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106005901 10804383744 9004 18446744073709551615 4194304 4196468 140728478734880 140690037066448 140691000162203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3834] ppid=3820 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3823/task/3834/stat : 3834 (java) S 3820 3823 12395 0 -1 1077944384 475 0 0 0 1 0 0 0 20 0 15 0 106005901 10804383744 9004 18446744073709551615 4194304 4196468 140728478734880 140690036013040 140691000154754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3835] ppid=3820 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3835/stat : 3835 (java) S 3820 3823 12395 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 106005901 10804383744 9004 18446744073709551615 4194304 4196468 140728478734880 140690034960496 140691000154754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3836] ppid=3820 vsize=10551156 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3823/task/3836/stat : 3836 (java) S 3820 3823 12395 0 -1 1077944384 396 0 0 0 4 0 0 0 20 0 15 0 106005901 10804383744 9004 18446744073709551615 4194304 4196468 140728478734880 140690033907952 140691000154754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3837] ppid=3820 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3837/stat : 3837 (java) S 3820 3823 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106005902 10804383744 9004 18446744073709551615 4194304 4196468 140728478734880 140690032855648 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3838] ppid=3820 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3838/stat : 3838 (java) S 3820 3823 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106005908 10804383744 9004 18446744073709551615 4194304 4196468 140728478734880 140690031803184 140691000154754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36016 KiB

[startup+0.700861 s]
/proc/loadavg: 2.05 2.03 2.22 6/219 3838
/proc/meminfo: memFree=28940244/32770624 swapFree=67108860/67108860
[pid=3823] ppid=3820 vsize=10551232 memory=100884 CPUtime=1.4 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3820 3823 12395 0 -1 1077944320 12281 0 0 0 136 4 0 0 20 0 15 0 106005889 10804461568 25221 18446744073709551615 4194304 4196468 140728478734880 140728478717424 140691000143607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
/proc/3823/statm: 2637808 25221 3047 1 0 2627261 0
[pid=3823/tid=3825] ppid=3820 vsize=10551232 memory=2 CPUtime=0.54 cores=1,3,5,7
/proc/3823/task/3825/stat : 3825 (java) R 3820 3823 12395 0 -1 4202560 6711 0 0 0 51 3 0 0 20 0 15 0 106005896 10804461568 25221 18446744073709551615 4194304 4196468 140728478734880 140691004377680 140690599170782 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3826] ppid=3820 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3826/stat : 3826 (java) S 3820 3823 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106005897 10804461568 25221 18446744073709551615 4194304 4196468 140728478734880 140690930563344 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3827] ppid=3820 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3827/stat : 3827 (java) S 3820 3823 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106005897 10804461568 25221 18446744073709551615 4194304 4196468 140728478734880 140690929510800 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3828] ppid=3820 vsize=10551232 memory=7165352523811139894 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3828/stat : 3828 (java) S 3820 3823 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106005897 10804461568 25221 18446744073709551615 4194304 4196468 140728478734880 140690928458256 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3829] ppid=3820 vsize=10551232 memory=7158578613868058192 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3829/stat : 3829 (java) S 3820 3823 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106005897 10804461568 25221 18446744073709551615 4194304 4196468 140728478734880 140690927405712 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3830] ppid=3820 vsize=10551232 memory=6935649255776346432 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3830/stat : 3830 (java) S 3820 3823 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106005898 10804461568 25221 18446744073709551615 4194304 4196468 140728478734880 140690040224240 140691000154754 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3831] ppid=3820 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3831/stat : 3831 (java) S 3820 3823 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106005899 10804461568 25221 18446744073709551615 4194304 4196468 140728478734880 140690039170464 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3832] ppid=3820 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3832/stat : 3832 (java) S 3820 3823 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106005899 10804461568 25221 18446744073709551615 4194304 4196468 140728478734880 140690038117872 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3833] ppid=3820 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3833/stat : 3833 (java) S 3820 3823 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106005901 10804461568 25221 18446744073709551615 4194304 4196468 140728478734880 140690037066448 140691000162203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3834] ppid=3820 vsize=10551232 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/3823/task/3834/stat : 3834 (java) R 3820 3823 12395 0 -1 4202560 1573 0 0 0 31 0 0 0 20 0 15 0 106005901 10804461568 25221 18446744073709551615 4194304 4196468 140728478734880 140690036002272 140690979391279 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3835] ppid=3820 vsize=10551232 memory=33505 CPUtime=0.29 cores=1,3,5,7
/proc/3823/task/3835/stat : 3835 (java) R 3820 3823 12395 0 -1 4202560 1142 0 0 0 29 0 0 0 20 0 15 0 106005901 10804461568 25221 18446744073709551615 4194304 4196468 140728478734880 140690034946632 140690983531300 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3836] ppid=3820 vsize=10551232 memory=31348 CPUtime=0.23 cores=1,3,5,7
/proc/3823/task/3836/stat : 3836 (java) S 3820 3823 12395 0 -1 1077944384 1484 0 0 0 23 0 0 0 20 0 15 0 106005901 10804461568 25221 18446744073709551615 4194304 4196468 140728478734880 140690033907952 140691000154754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3837] ppid=3820 vsize=10551232 memory=29926 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3837/stat : 3837 (java) S 3820 3823 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106005902 10804461568 25221 18446744073709551615 4194304 4196468 140728478734880 140690032855648 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3838] ppid=3820 vsize=10551232 memory=26881 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3838/stat : 3838 (java) S 3820 3823 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106005908 10804461568 25221 18446744073709551615 4194304 4196468 140728478734880 140690031803184 140691000154754 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 100884 KiB

[startup+1.5009 s]
/proc/loadavg: 2.05 2.03 2.22 5/219 3838
/proc/meminfo: memFree=28770024/32770624 swapFree=67108860/67108860
[pid=3823] ppid=3820 vsize=10551232 memory=710616 CPUtime=3.35 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3820 3823 12395 0 -1 1077944320 14750 0 0 0 301 34 0 0 20 0 15 0 106005889 10804461568 177654 18446744073709551615 4194304 4196468 140728478734880 140728478717424 140691000143607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
/proc/3823/statm: 2637808 177654 3095 1 0 2627261 0
[pid=3823/tid=3825] ppid=3820 vsize=10551232 memory=0 CPUtime=1.13 cores=1,3,5,7
/proc/3823/task/3825/stat : 3825 (java) R 3820 3823 12395 0 -1 4202560 7241 0 0 0 104 9 0 0 20 0 15 0 106005896 10804461568 177654 18446744073709551615 4194304 4196468 140728478734880 140691004380688 140690986211732 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3826] ppid=3820 vsize=10551232 memory=279616061784432 CPUtime=0.18 cores=1,3,5,7
/proc/3823/task/3826/stat : 3826 (java) S 3820 3823 12395 0 -1 1077944384 313 0 0 0 12 6 0 0 20 0 15 0 106005897 10804461568 177654 18446744073709551615 4194304 4196468 140728478734880 140690930563344 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3827] ppid=3820 vsize=10551232 memory=-7477284653063824486 CPUtime=0.18 cores=1,3,5,7
/proc/3823/task/3827/stat : 3827 (java) S 3820 3823 12395 0 -1 1077944384 395 0 0 0 13 5 0 0 20 0 15 0 106005897 10804461568 177654 18446744073709551615 4194304 4196468 140728478734880 140690929510800 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3828] ppid=3820 vsize=10551232 memory=3834569029200263488 CPUtime=0.17 cores=1,3,5,7
/proc/3823/task/3828/stat : 3828 (java) S 3820 3823 12395 0 -1 1077944384 187 0 0 0 12 5 0 0 20 0 15 0 106005897 10804461568 177654 18446744073709551615 4194304 4196468 140728478734880 140690928458256 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3829] ppid=3820 vsize=10551232 memory=-7383489216821707669 CPUtime=0.18 cores=1,3,5,7
/proc/3823/task/3829/stat : 3829 (java) S 3820 3823 12395 0 -1 1077944384 285 0 0 0 13 5 0 0 20 0 15 0 106005897 10804461568 177654 18446744073709551615 4194304 4196468 140728478734880 140690927405712 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3830] ppid=3820 vsize=10551232 memory=-7163093260293150620 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3830/stat : 3830 (java) S 3820 3823 12395 0 -1 1077944384 494 0 0 0 0 0 0 0 20 0 15 0 106005898 10804461568 177654 18446744073709551615 4194304 4196468 140728478734880 140690040224240 140691000154754 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3831] ppid=3820 vsize=10551232 memory=-7378684503710264920 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3831/stat : 3831 (java) S 3820 3823 12395 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106005899 10804461568 177654 18446744073709551615 4194304 4196468 140728478734880 140690039170464 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3832] ppid=3820 vsize=10551232 memory=-7260840278692883047 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3832/stat : 3832 (java) S 3820 3823 12395 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 106005899 10804461568 177654 18446744073709551615 4194304 4196468 140728478734880 140690038117872 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3833] ppid=3820 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3833/stat : 3833 (java) S 3820 3823 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106005901 10804461568 177654 18446744073709551615 4194304 4196468 140728478734880 140690037066448 140691000162203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3834] ppid=3820 vsize=10551232 memory=6944656575208382560 CPUtime=0.55 cores=1,3,5,7
/proc/3823/task/3834/stat : 3834 (java) S 3820 3823 12395 0 -1 1077944384 1627 0 0 0 55 0 0 0 20 0 15 0 106005901 10804461568 177654 18446744073709551615 4194304 4196468 140728478734880 140690036013040 140691000154754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3835] ppid=3820 vsize=10551232 memory=6944656592387989600 CPUtime=0.58 cores=1,3,5,7
/proc/3823/task/3835/stat : 3835 (java) S 3820 3823 12395 0 -1 1077944384 1254 0 0 0 58 0 0 0 20 0 15 0 106005901 10804461568 177654 18446744073709551615 4194304 4196468 140728478734880 140690034960496 140691000154754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3836] ppid=3820 vsize=10551232 memory=6944656592387989600 CPUtime=0.3 cores=1,3,5,7
/proc/3823/task/3836/stat : 3836 (java) S 3820 3823 12395 0 -1 1077944384 1591 0 0 0 30 0 0 0 20 0 15 0 106005901 10804461568 177654 18446744073709551615 4194304 4196468 140728478734880 140690033907952 140691000154754 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0

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

[pid=3823/tid=3826] ppid=3820 vsize=10686560 memory=7680170660397595203 CPUtime=339.38 cores=1,3,5,7
/proc/3823/task/3826/stat : 3826 (java) S 3820 3823 12395 0 -1 1077944384 902795 0 0 0 33754 184 0 0 20 0 17 0 106005897 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690930563344 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3827] ppid=3820 vsize=10686560 memory=4612 CPUtime=337.99 cores=1,3,5,7
/proc/3823/task/3827/stat : 3827 (java) S 3820 3823 12395 0 -1 1077944384 556155 0 0 0 33623 176 0 0 20 0 17 0 106005897 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690929510800 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3828] ppid=3820 vsize=10686560 memory=1716 CPUtime=337.98 cores=1,3,5,7
/proc/3823/task/3828/stat : 3828 (java) S 3820 3823 12395 0 -1 1077944384 459506 0 0 0 33635 163 0 0 20 0 17 0 106005897 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690928458256 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3829] ppid=3820 vsize=10686560 memory=9024 CPUtime=338.19 cores=1,3,5,7
/proc/3823/task/3829/stat : 3829 (java) S 3820 3823 12395 0 -1 1077944384 609863 0 0 0 33638 181 0 0 20 0 17 0 106005897 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690927405712 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3830] ppid=3820 vsize=10686560 memory=8285584 CPUtime=29.74 cores=1,3,5,7
/proc/3823/task/3830/stat : 3830 (java) R 3820 3823 12395 0 -1 4202560 81381 0 0 0 2970 4 0 0 20 0 17 0 106005898 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690040222672 140690984601240 0 0 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3831] ppid=3820 vsize=10686560 memory=2764 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3831/stat : 3831 (java) S 3820 3823 12395 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 106005899 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690039170528 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3832] ppid=3820 vsize=10686560 memory=4296 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3832/stat : 3832 (java) S 3820 3823 12395 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 17 0 106005899 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690038116992 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3833] ppid=3820 vsize=10686560 memory=12132 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3833/stat : 3833 (java) S 3820 3823 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106005901 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690037066448 140691000162203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3834] ppid=3820 vsize=10686560 memory=796 CPUtime=0.77 cores=1,3,5,7
/proc/3823/task/3834/stat : 3834 (java) S 3820 3823 12395 0 -1 1077944384 3119 0 0 0 77 0 0 0 20 0 17 0 106005901 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690036012800 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3835] ppid=3820 vsize=10686560 memory=796 CPUtime=0.84 cores=1,3,5,7
/proc/3823/task/3835/stat : 3835 (java) S 3820 3823 12395 0 -1 1077944384 3453 0 0 0 84 0 0 0 20 0 17 0 106005901 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690034960544 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3836] ppid=3820 vsize=10686560 memory=5784 CPUtime=0.37 cores=1,3,5,7
/proc/3823/task/3836/stat : 3836 (java) S 3820 3823 12395 0 -1 1077944384 3473 0 0 0 37 0 0 0 20 0 17 0 106005901 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690033902720 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3837] ppid=3820 vsize=10686560 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3837/stat : 3837 (java) S 3820 3823 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106005902 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690032855648 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3838] ppid=3820 vsize=10686560 memory=1716 CPUtime=0.18 cores=1,3,5,7
/proc/3823/task/3838/stat : 3838 (java) S 3820 3823 12395 0 -1 1077944384 713 0 0 0 8 10 0 0 20 0 17 0 106005908 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690031803184 140691000154754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3933] ppid=3820 vsize=10686560 memory=9024 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3933/stat : 3933 (java) S 3820 3823 12395 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 106042533 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690028650160 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3934] ppid=3820 vsize=10686560 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3934/stat : 3934 (java) S 3820 3823 12395 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 106042533 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690027598384 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
Current children cumulated CPU time: 1399.27 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8285584 KiB

[startup+386.001 s]*
/proc/loadavg: 7.47 5.70 3.80 6/216 3935
/proc/meminfo: memFree=14474188/32770624 swapFree=67108860/67108860
[pid=3823] ppid=3820 vsize=10686560 memory=8285584 CPUtime=1399.68 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3820 3823 12395 0 -1 1077944320 2648321 0 0 0 139219 749 0 0 20 0 17 0 106005889 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140728478717424 140691000143607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
/proc/3823/statm: 2671640 2071396 3160 1 0 2661055 0
[pid=3823/tid=3825] ppid=3820 vsize=10686560 memory=6933928925625698159 CPUtime=13.72 cores=1,3,5,7
/proc/3823/task/3825/stat : 3825 (java) S 3820 3823 12395 0 -1 1077944384 26398 0 0 0 1338 34 0 0 20 0 17 0 106005896 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140691004384288 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3826] ppid=3820 vsize=10686560 memory=-7003737579269690708 CPUtime=339.38 cores=1,3,5,7
/proc/3823/task/3826/stat : 3826 (java) S 3820 3823 12395 0 -1 1077944384 902795 0 0 0 33754 184 0 0 20 0 17 0 106005897 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690930563344 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3827] ppid=3820 vsize=10686560 memory=279616062561504 CPUtime=337.99 cores=1,3,5,7
/proc/3823/task/3827/stat : 3827 (java) S 3820 3823 12395 0 -1 1077944384 556155 0 0 0 33623 176 0 0 20 0 17 0 106005897 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690929510800 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3828] ppid=3820 vsize=10686560 memory=-6800859132029471843 CPUtime=337.98 cores=1,3,5,7
/proc/3823/task/3828/stat : 3828 (java) S 3820 3823 12395 0 -1 1077944384 459506 0 0 0 33635 163 0 0 20 0 17 0 106005897 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690928458256 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3829] ppid=3820 vsize=10686560 memory=-1189914978686163229 CPUtime=338.19 cores=1,3,5,7
/proc/3823/task/3829/stat : 3829 (java) S 3820 3823 12395 0 -1 1077944384 609863 0 0 0 33638 181 0 0 20 0 17 0 106005897 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690927405712 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3830] ppid=3820 vsize=10686560 memory=-5628408999910123566 CPUtime=30.15 cores=1,3,5,7
/proc/3823/task/3830/stat : 3830 (java) R 3820 3823 12395 0 -1 4202560 81381 0 0 0 3011 4 0 0 20 0 17 0 106005898 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690040222672 140690984601240 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3831] ppid=3820 vsize=10686560 memory=-2023959437020729679 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3831/stat : 3831 (java) S 3820 3823 12395 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 106005899 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690039170528 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3832] ppid=3820 vsize=10686560 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3832/stat : 3832 (java) S 3820 3823 12395 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 17 0 106005899 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690038116992 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3833] ppid=3820 vsize=10686560 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3833/stat : 3833 (java) S 3820 3823 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106005901 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690037066448 140691000162203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3834] ppid=3820 vsize=10686560 memory=8284660 CPUtime=0.77 cores=1,3,5,7
/proc/3823/task/3834/stat : 3834 (java) S 3820 3823 12395 0 -1 1077944384 3119 0 0 0 77 0 0 0 20 0 17 0 106005901 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690036012800 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3835] ppid=3820 vsize=10686560 memory=8284548 CPUtime=0.84 cores=1,3,5,7
/proc/3823/task/3835/stat : 3835 (java) S 3820 3823 12395 0 -1 1077944384 3453 0 0 0 84 0 0 0 20 0 17 0 106005901 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690034960544 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3836] ppid=3820 vsize=10686560 memory=8285476 CPUtime=0.37 cores=1,3,5,7
/proc/3823/task/3836/stat : 3836 (java) S 3820 3823 12395 0 -1 1077944384 3473 0 0 0 37 0 0 0 20 0 17 0 106005901 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690033902720 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3837] ppid=3820 vsize=10686560 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3837/stat : 3837 (java) S 3820 3823 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106005902 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690032855648 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3838] ppid=3820 vsize=10686560 memory=52068 CPUtime=0.18 cores=1,3,5,7
/proc/3823/task/3838/stat : 3838 (java) S 3820 3823 12395 0 -1 1077944384 713 0 0 0 8 10 0 0 20 0 17 0 106005908 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690031803184 140691000154754 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3933] ppid=3820 vsize=10686560 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3933/stat : 3933 (java) S 3820 3823 12395 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 106042533 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690028650160 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3934] ppid=3820 vsize=10686560 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3934/stat : 3934 (java) S 3820 3823 12395 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 106042533 10943037440 2071396 18446744073709551615 4194304 4196468 140728478734880 140690027598384 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
Current children cumulated CPU time: 1399.68 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8285584 KiB

[startup+386.201 s]
/proc/loadavg: 7.47 5.70 3.80 6/216 3935
/proc/meminfo: memFree=14474188/32770624 swapFree=67108860/67108860
[pid=3823] ppid=3820 vsize=10686560 memory=8285588 CPUtime=1399.87 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3820 3823 12395 0 -1 1077944320 2648412 0 0 0 139238 749 0 0 20 0 17 0 106005889 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140728478717424 140691000143607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
/proc/3823/statm: 2671640 2071397 3160 1 0 2661055 0
[pid=3823/tid=3825] ppid=3820 vsize=10686560 memory=288230583166042426 CPUtime=13.72 cores=1,3,5,7
/proc/3823/task/3825/stat : 3825 (java) S 3820 3823 12395 0 -1 1077944384 26398 0 0 0 1338 34 0 0 20 0 17 0 106005896 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140691004384288 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3826] ppid=3820 vsize=10686560 memory=14413726384129835 CPUtime=339.38 cores=1,3,5,7
/proc/3823/task/3826/stat : 3826 (java) S 3820 3823 12395 0 -1 1077944384 902795 0 0 0 33754 184 0 0 20 0 17 0 106005897 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690930563344 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3827] ppid=3820 vsize=10686560 memory=288230583166042426 CPUtime=337.99 cores=1,3,5,7
/proc/3823/task/3827/stat : 3827 (java) S 3820 3823 12395 0 -1 1077944384 556155 0 0 0 33623 176 0 0 20 0 17 0 106005897 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690929510800 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3828] ppid=3820 vsize=10686560 memory=14413726384129835 CPUtime=337.98 cores=1,3,5,7
/proc/3823/task/3828/stat : 3828 (java) S 3820 3823 12395 0 -1 1077944384 459506 0 0 0 33635 163 0 0 20 0 17 0 106005897 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690928458256 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3829] ppid=3820 vsize=10686560 memory=1152 CPUtime=338.19 cores=1,3,5,7
/proc/3823/task/3829/stat : 3829 (java) S 3820 3823 12395 0 -1 1077944384 609863 0 0 0 33638 181 0 0 20 0 17 0 106005897 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690927405712 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3830] ppid=3820 vsize=10686560 memory=3168 CPUtime=30.34 cores=1,3,5,7
/proc/3823/task/3830/stat : 3830 (java) R 3820 3823 12395 0 -1 4202560 81472 0 0 0 3030 4 0 0 20 0 17 0 106005898 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690040222672 140690985140008 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3831] ppid=3820 vsize=10686560 memory=8300752 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3831/stat : 3831 (java) S 3820 3823 12395 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 106005899 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690039170528 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3832] ppid=3820 vsize=10686560 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3832/stat : 3832 (java) S 3820 3823 12395 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 17 0 106005899 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690038116992 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3833] ppid=3820 vsize=10686560 memory=2764 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3833/stat : 3833 (java) S 3820 3823 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106005901 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690037066448 140691000162203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3834] ppid=3820 vsize=10686560 memory=2764 CPUtime=0.77 cores=1,3,5,7
/proc/3823/task/3834/stat : 3834 (java) S 3820 3823 12395 0 -1 1077944384 3119 0 0 0 77 0 0 0 20 0 17 0 106005901 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690036012800 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3835] ppid=3820 vsize=10686560 memory=2240 CPUtime=0.84 cores=1,3,5,7
/proc/3823/task/3835/stat : 3835 (java) S 3820 3823 12395 0 -1 1077944384 3453 0 0 0 84 0 0 0 20 0 17 0 106005901 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690034960544 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3836] ppid=3820 vsize=10686560 memory=4296 CPUtime=0.37 cores=1,3,5,7
/proc/3823/task/3836/stat : 3836 (java) S 3820 3823 12395 0 -1 1077944384 3473 0 0 0 37 0 0 0 20 0 17 0 106005901 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690033902720 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3837] ppid=3820 vsize=10686560 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3837/stat : 3837 (java) S 3820 3823 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106005902 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690032855648 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3838] ppid=3820 vsize=10686560 memory=14413726384129835 CPUtime=0.18 cores=1,3,5,7
/proc/3823/task/3838/stat : 3838 (java) S 3820 3823 12395 0 -1 1077944384 713 0 0 0 8 10 0 0 20 0 17 0 106005908 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690031803184 140691000154754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3933] ppid=3820 vsize=10686560 memory=956 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3933/stat : 3933 (java) S 3820 3823 12395 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 106042533 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690028650160 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3934] ppid=3820 vsize=10686560 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3934/stat : 3934 (java) S 3820 3823 12395 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 106042533 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690027598384 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
Current children cumulated CPU time: 1399.87 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8285588 KiB

[startup+386.301 s]
/proc/loadavg: 7.47 5.70 3.80 6/216 3935
/proc/meminfo: memFree=14474188/32770624 swapFree=67108860/67108860
[pid=3823] ppid=3820 vsize=10686560 memory=8285588 CPUtime=1399.97 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3820 3823 12395 0 -1 1077944320 2648412 0 0 0 139248 749 0 0 20 0 17 0 106005889 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140728478717424 140691000143607 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 6 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
/proc/3823/statm: 2671640 2071397 3160 1 0 2661055 0
[pid=3823/tid=3825] ppid=3820 vsize=10686560 memory=8285476 CPUtime=13.72 cores=1,3,5,7
/proc/3823/task/3825/stat : 3825 (java) S 3820 3823 12395 0 -1 1077944384 26398 0 0 0 1338 34 0 0 20 0 17 0 106005896 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140691004384288 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3826] ppid=3820 vsize=10686560 memory=8285584 CPUtime=339.38 cores=1,3,5,7
/proc/3823/task/3826/stat : 3826 (java) S 3820 3823 12395 0 -1 1077944384 902795 0 0 0 33754 184 0 0 20 0 17 0 106005897 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690930563344 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3827] ppid=3820 vsize=10686560 memory=8285584 CPUtime=337.99 cores=1,3,5,7
/proc/3823/task/3827/stat : 3827 (java) S 3820 3823 12395 0 -1 1077944384 556155 0 0 0 33623 176 0 0 20 0 17 0 106005897 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690929510800 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3828] ppid=3820 vsize=10686560 memory=8285584 CPUtime=337.98 cores=1,3,5,7
/proc/3823/task/3828/stat : 3828 (java) S 3820 3823 12395 0 -1 1077944384 459506 0 0 0 33635 163 0 0 20 0 17 0 106005897 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690928458256 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3829] ppid=3820 vsize=10686560 memory=8285588 CPUtime=338.19 cores=1,3,5,7
/proc/3823/task/3829/stat : 3829 (java) S 3820 3823 12395 0 -1 1077944384 609863 0 0 0 33638 181 0 0 20 0 17 0 106005897 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690927405712 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3830] ppid=3820 vsize=10686560 memory=8285572 CPUtime=30.44 cores=1,3,5,7
/proc/3823/task/3830/stat : 3830 (java) R 3820 3823 12395 0 -1 4202560 81472 0 0 0 3040 4 0 0 20 0 17 0 106005898 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690040222672 140690978513787 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3831] ppid=3820 vsize=10686560 memory=8285584 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3831/stat : 3831 (java) S 3820 3823 12395 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 106005899 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690039170528 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3832] ppid=3820 vsize=10686560 memory=8285584 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3832/stat : 3832 (java) S 3820 3823 12395 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 17 0 106005899 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690038116992 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3833] ppid=3820 vsize=10686560 memory=8285476 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3833/stat : 3833 (java) S 3820 3823 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106005901 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690037066448 140691000162203 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3834] ppid=3820 vsize=10686560 memory=4132 CPUtime=0.77 cores=1,3,5,7
/proc/3823/task/3834/stat : 3834 (java) S 3820 3823 12395 0 -1 1077944384 3119 0 0 0 77 0 0 0 20 0 17 0 106005901 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690036012800 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3835] ppid=3820 vsize=10686560 memory=8285584 CPUtime=0.84 cores=1,3,5,7
/proc/3823/task/3835/stat : 3835 (java) S 3820 3823 12395 0 -1 1077944384 3453 0 0 0 84 0 0 0 20 0 17 0 106005901 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690034960544 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3836] ppid=3820 vsize=10686560 memory=8285584 CPUtime=0.37 cores=1,3,5,7
/proc/3823/task/3836/stat : 3836 (java) S 3820 3823 12395 0 -1 1077944384 3473 0 0 0 37 0 0 0 20 0 17 0 106005901 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690033902720 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3837] ppid=3820 vsize=10686560 memory=8285572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3837/stat : 3837 (java) S 3820 3823 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106005902 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690032855648 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3838] ppid=3820 vsize=10686560 memory=8285572 CPUtime=0.18 cores=1,3,5,7
/proc/3823/task/3838/stat : 3838 (java) S 3820 3823 12395 0 -1 1077944384 713 0 0 0 8 10 0 0 20 0 17 0 106005908 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690031803184 140691000154754 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3933] ppid=3820 vsize=10686560 memory=8285584 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3933/stat : 3933 (java) S 3820 3823 12395 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 17 0 106042533 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690028650160 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
[pid=3823/tid=3934] ppid=3820 vsize=10686560 memory=30276 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3934/stat : 3934 (java) S 3820 3823 12395 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 106042533 10943037440 2071397 18446744073709551615 4194304 4196468 140728478734880 140690027598384 140691000153813 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19443712 140728478736784 140728478736937 140728478736937 140728478740431 0
Current children cumulated CPU time: 1399.97 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8285588 KiB

Child status: 0
Real time (s): 386.386
CPU time (s): 1400.07
CPU user time (s): 1392.5
CPU system time (s): 7.56751
CPU usage (%): 362.349
Max. virtual memory (cumulated for all children) (KiB): 10686560
Max. memory (cumulated for all children) (KiB): 8285588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1392.5
system time used= 7.56751
maximum resident set size= 8285784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2648451
page faults= 0
swaps= 0
block input operations= 0
block output operations= 696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21891
involuntary context switches= 28382


# summary of solver processes directly reported to runsolver:
#   pid: 3823
#   total CPU time (s): 1400.07
#   total CPU user time (s): 1392.5
#   total CPU system time (s): 7.56751

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.47777 second user time and 3.79301 second system time

The end
Name	Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml
MD5SUM	85969bfc3f0409b7eeff9db7f7011033
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2400.0601
Satisfiable
(Un)Satisfiability was proved
Number of variables	1681
Number of constraints	10660
Number of domains	1
Minimum domain size	820
Maximum domain size	820
Distribution of domain sizes	[{"size":820,"count":820}]
Minimum variable degree	0
Maximum variable degree	40
Distribution of variable degrees	[{"degree":0,"count":861},{"degree":40,"count":820}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":10660}]
Number of extensional constraints	0
Number of intensional constraints	10660
Distribution of constraint types	[{"type":"intension","count":10660}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4263758

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
