2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Sat4j-CSP 2018-07-11	?		1225.52	355.267
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 (10954 MiB free)
  memory of node 1: 16384 MiB (10390 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292033-1532265527/watcher-4292033-1532265527 -o /tmp/evaluation-result-4292033-1532265527/solver-4292033-1532265527 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532257777-913 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4292033-1532265527.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=1891, runsolver pid=1888
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 4.69 4.30 3.22 4/216 1906
/proc/meminfo: memFree=21842688/32770624 swapFree=67108860/67108860
[pid=1891] ppid=1888 vsize=10659012 memory=28476 CPUtime=0.13 cores=0,2,4,6
/proc/1891/stat : 1891 (java) S 1888 1891 877 0 -1 1077944320 6743 0 0 0 11 2 0 0 20 0 15 0 44115931 10914828288 7119 33554432000 4194304 4196468 140736871591680 140736871574224 139979457838839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
/proc/1891/statm: 2664753 7119 2812 1 0 2627263 0
[pid=1891/tid=1893] ppid=1888 vsize=10659012 memory=7970124041166878227 CPUtime=0.09 cores=0,2,4,6
/proc/1891/task/1893/stat : 1893 (java) R 1888 1891 877 0 -1 4202560 4535 0 0 0 8 1 0 0 20 0 15 0 44115931 10914828288 7185 33554432000 4194304 4196468 140736871591680 139979462060736 139979457850774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1894] ppid=1888 vsize=10659012 memory=-7001736328920018669 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1894/stat : 1894 (java) S 1888 1891 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44115932 10914828288 7185 33554432000 4194304 4196468 140736871591680 139979064216336 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1895] ppid=1888 vsize=10659012 memory=139937485522560 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1895/stat : 1895 (java) S 1888 1891 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44115932 10914828288 7185 33554432000 4194304 4196468 140736871591680 139979063163792 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1896] ppid=1888 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1896/stat : 1896 (java) S 1888 1891 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44115932 10914828288 7185 33554432000 4194304 4196468 140736871591680 139979062111248 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1897] ppid=1888 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1897/stat : 1897 (java) S 1888 1891 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44115932 10914828288 7185 33554432000 4194304 4196468 140736871591680 139979061058704 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1898] ppid=1888 vsize=10659012 memory=139937485522560 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1898/stat : 1898 (java) S 1888 1891 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44115933 10914828288 7185 33554432000 4194304 4196468 140736871591680 139978949490672 139979457849986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1899] ppid=1888 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1899/stat : 1899 (java) S 1888 1891 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44115934 10914828288 7185 33554432000 4194304 4196468 140736871591680 139978948436896 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1900] ppid=1888 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1900/stat : 1900 (java) S 1888 1891 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44115934 10914828288 7185 33554432000 4194304 4196468 140736871591680 139978947384304 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1901] ppid=1888 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1901/stat : 1901 (java) S 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10914828288 7185 33554432000 4194304 4196468 140736871591680 139978946332880 139979457857435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1902] ppid=1888 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1902/stat : 1902 (java) S 1888 1891 877 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 15 0 44115936 10914828288 7185 33554432000 4194304 4196468 140736871591680 139978945280496 139979457849986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1903] ppid=1888 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1903/stat : 1903 (java) R 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10914828288 7185 33554432000 4194304 4196468 140736871591680 139978944227952 139979457849986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1904] ppid=1888 vsize=10659012 memory=139937485522560 CPUtime=0.02 cores=0,2,4,6
/proc/1891/task/1904/stat : 1904 (java) R 1888 1891 877 0 -1 4202560 398 0 0 0 2 0 0 0 20 0 15 0 44115936 10914828288 7185 33554432000 4194304 4196468 140736871591680 139978943175408 139979450935675 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1905] ppid=1888 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1905/stat : 1905 (java) S 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10914828288 7185 33554432000 4194304 4196468 140736871591680 139978942123104 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1906] ppid=1888 vsize=10659012 memory=139937485522560 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1906/stat : 1906 (java) S 1888 1891 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44115937 10914828288 7185 33554432000 4194304 4196468 140736871591680 139978941069616 139979457849986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 28476 KiB

[startup+0.210665 s]*
/proc/loadavg: 4.69 4.30 3.22 4/216 1906
/proc/meminfo: memFree=21831540/32770624 swapFree=67108860/67108860
[pid=1891] ppid=1888 vsize=10659012 memory=40888 CPUtime=0.32 cores=0,2,4,6
/proc/1891/stat : 1891 (java) S 1888 1891 877 0 -1 1077944320 8330 0 0 0 30 2 0 0 20 0 15 0 44115931 10914828288 10222 33554432000 4194304 4196468 140736871591680 140736871574224 139979457838839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
/proc/1891/statm: 2664753 10222 3008 1 0 2627263 0
[pid=1891/tid=1893] ppid=1888 vsize=10659012 memory=7970124041166878227 CPUtime=0.2 cores=0,2,4,6
/proc/1891/task/1893/stat : 1893 (java) R 1888 1891 877 0 -1 4202560 5087 0 0 0 19 1 0 0 20 0 15 0 44115931 10914828288 10222 33554432000 4194304 4196468 140736871591680 139979462075120 139979457860186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1894] ppid=1888 vsize=10659012 memory=-7001736328920018669 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1894/stat : 1894 (java) S 1888 1891 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44115932 10914828288 10222 33554432000 4194304 4196468 140736871591680 139979064216336 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1895] ppid=1888 vsize=10659012 memory=139937485522560 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1895/stat : 1895 (java) S 1888 1891 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44115932 10914828288 10222 33554432000 4194304 4196468 140736871591680 139979063163792 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1896] ppid=1888 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1896/stat : 1896 (java) S 1888 1891 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44115932 10914828288 10222 33554432000 4194304 4196468 140736871591680 139979062111248 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1897] ppid=1888 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1897/stat : 1897 (java) S 1888 1891 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44115932 10914828288 10222 33554432000 4194304 4196468 140736871591680 139979061058704 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1898] ppid=1888 vsize=10659012 memory=139937485522560 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1898/stat : 1898 (java) S 1888 1891 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44115933 10914828288 10222 33554432000 4194304 4196468 140736871591680 139978949490672 139979457849986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1899] ppid=1888 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1899/stat : 1899 (java) S 1888 1891 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44115934 10914828288 10222 33554432000 4194304 4196468 140736871591680 139978948436896 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1900] ppid=1888 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1900/stat : 1900 (java) S 1888 1891 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44115934 10914828288 10222 33554432000 4194304 4196468 140736871591680 139978947384304 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1901] ppid=1888 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1901/stat : 1901 (java) S 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10914828288 10222 33554432000 4194304 4196468 140736871591680 139978946332880 139979457857435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1902] ppid=1888 vsize=10659012 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1891/task/1902/stat : 1902 (java) S 1888 1891 877 0 -1 1077944384 708 0 0 0 1 0 0 0 20 0 15 0 44115936 10914828288 10222 33554432000 4194304 4196468 140736871591680 139978945280496 139979457849986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1903] ppid=1888 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1891/task/1903/stat : 1903 (java) S 1888 1891 877 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 15 0 44115936 10914828288 10222 33554432000 4194304 4196468 140736871591680 139978944227952 139979457849986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1904] ppid=1888 vsize=10659012 memory=139937485522560 CPUtime=0.07 cores=0,2,4,6
/proc/1891/task/1904/stat : 1904 (java) R 1888 1891 877 0 -1 4202560 813 0 0 0 7 0 0 0 20 0 15 0 44115936 10914828288 10222 33554432000 4194304 4196468 140736871591680 139978943169712 139979457850774 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1905] ppid=1888 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1905/stat : 1905 (java) S 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10914828288 10222 33554432000 4194304 4196468 140736871591680 139978942123104 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1906] ppid=1888 vsize=10659012 memory=139937485522560 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1906/stat : 1906 (java) S 1888 1891 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44115937 10914828288 10222 33554432000 4194304 4196468 140736871591680 139978941069616 139979457849986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 40888 KiB

[startup+0.320207 s]*
/proc/loadavg: 4.69 4.30 3.22 6/216 1906
/proc/meminfo: memFree=21814480/32770624 swapFree=67108860/67108860
[pid=1891] ppid=1888 vsize=10659012 memory=58096 CPUtime=0.62 cores=0,2,4,6
/proc/1891/stat : 1891 (java) S 1888 1891 877 0 -1 1077944320 10077 0 0 0 59 3 0 0 20 0 15 0 44115931 10914828288 14524 33554432000 4194304 4196468 140736871591680 140736871574224 139979457838839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
/proc/1891/statm: 2664753 14524 3049 1 0 2627263 0
[pid=1891/tid=1893] ppid=1888 vsize=10659012 memory=6369024910405161311 CPUtime=0.31 cores=0,2,4,6
/proc/1891/task/1893/stat : 1893 (java) R 1888 1891 877 0 -1 4202560 5448 0 0 0 29 2 0 0 20 0 15 0 44115931 10914828288 14524 33554432000 4194304 4196468 140736871591680 139979462075216 139979457860765 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1894] ppid=1888 vsize=10659012 memory=139941644436975 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1894/stat : 1894 (java) S 1888 1891 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44115932 10914828288 14524 33554432000 4194304 4196468 140736871591680 139979064216336 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1895] ppid=1888 vsize=10659012 memory=139937485522560 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1895/stat : 1895 (java) S 1888 1891 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44115932 10914828288 14524 33554432000 4194304 4196468 140736871591680 139979063163792 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1896] ppid=1888 vsize=10659012 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1896/stat : 1896 (java) S 1888 1891 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44115932 10914828288 14524 33554432000 4194304 4196468 140736871591680 139979062111248 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1897] ppid=1888 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1897/stat : 1897 (java) S 1888 1891 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44115932 10914828288 14524 33554432000 4194304 4196468 140736871591680 139979061058704 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1898] ppid=1888 vsize=10659012 memory=139937485522560 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1898/stat : 1898 (java) S 1888 1891 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44115933 10914828288 14524 33554432000 4194304 4196468 140736871591680 139978949490672 139979457849986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1899] ppid=1888 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1899/stat : 1899 (java) S 1888 1891 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44115934 10914828288 14524 33554432000 4194304 4196468 140736871591680 139978948436896 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1900] ppid=1888 vsize=10659012 memory=279874698948576 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1900/stat : 1900 (java) S 1888 1891 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44115934 10914828288 14524 33554432000 4194304 4196468 140736871591680 139978947384304 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1901] ppid=1888 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1901/stat : 1901 (java) S 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10914828288 14524 33554432000 4194304 4196468 140736871591680 139978946332880 139979457857435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1902] ppid=1888 vsize=10659012 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1891/task/1902/stat : 1902 (java) R 1888 1891 877 0 -1 4202560 1098 0 0 0 7 0 0 0 20 0 15 0 44115936 10914828288 14524 33554432000 4194304 4196468 140736871591680 139978945266376 139979438474267 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1903] ppid=1888 vsize=10659012 memory=114 CPUtime=0.09 cores=0,2,4,6
/proc/1891/task/1903/stat : 1903 (java) R 1888 1891 877 0 -1 4202560 953 0 0 0 9 0 0 0 20 0 15 0 44115936 10914828288 14524 33554432000 4194304 4196468 140736871591680 139978944208968 139979443902148 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1904] ppid=1888 vsize=10659012 memory=139937485522560 CPUtime=0.13 cores=0,2,4,6
/proc/1891/task/1904/stat : 1904 (java) R 1888 1891 877 0 -1 1077944384 1211 0 0 0 13 0 0 0 20 0 15 0 44115936 10914828288 14524 33554432000 4194304 4196468 140736871591680 139978943175408 139979457849986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1905] ppid=1888 vsize=10659012 memory=139937349511791 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1905/stat : 1905 (java) S 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10914828288 14524 33554432000 4194304 4196468 140736871591680 139978942123104 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1906] ppid=1888 vsize=10659012 memory=139937529638491 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1906/stat : 1906 (java) S 1888 1891 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44115937 10914828288 14524 33554432000 4194304 4196468 140736871591680 139978941069616 139979457849986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 58096 KiB

[startup+0.701216 s]
/proc/loadavg: 4.69 4.30 3.22 6/216 1906
/proc/meminfo: memFree=21637612/32770624 swapFree=67108860/67108860
[pid=1891] ppid=1888 vsize=10659012 memory=297860 CPUtime=1.53 cores=0,2,4,6
/proc/1891/stat : 1891 (java) S 1888 1891 877 0 -1 1077944320 11461 0 0 0 130 23 0 0 20 0 15 0 44115931 10914828288 74465 33554432000 4194304 4196468 140736871591680 140736871574224 139979457838839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
/proc/1891/statm: 2664753 74465 3088 1 0 2627263 0
[pid=1891/tid=1893] ppid=1888 vsize=10659012 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/1891/task/1893/stat : 1893 (java) S 1888 1891 877 0 -1 1077944384 5505 0 0 0 54 6 0 0 20 0 15 0 44115931 10914828288 74465 33554432000 4194304 4196468 140736871591680 139979462077920 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1894] ppid=1888 vsize=10659012 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/1891/task/1894/stat : 1894 (java) R 1888 1891 877 0 -1 1077944384 71 0 0 0 2 3 0 0 20 0 15 0 44115932 10914828288 74465 33554432000 4194304 4196468 140736871591680 139979064216336 139979457849045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1895] ppid=1888 vsize=10659012 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/1891/task/1895/stat : 1895 (java) R 1888 1891 877 0 -1 4202560 51 0 0 0 2 3 0 0 20 0 15 0 44115932 10914828288 74465 33554432000 4194304 4196468 140736871591680 139979063163792 139979450938686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1896] ppid=1888 vsize=10659012 memory=148089197304521 CPUtime=0.05 cores=0,2,4,6
/proc/1891/task/1896/stat : 1896 (java) R 1888 1891 877 0 -1 4202560 68 0 0 0 2 3 0 0 20 0 15 0 44115932 10914828288 74465 33554432000 4194304 4196468 140736871591680 139979062111248 139979450938686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1897] ppid=1888 vsize=10659012 memory=247536 CPUtime=0.06 cores=0,2,4,6
/proc/1891/task/1897/stat : 1897 (java) R 1888 1891 877 0 -1 4202560 69 0 0 0 3 3 0 0 20 0 15 0 44115932 10914828288 74465 33554432000 4194304 4196468 140736871591680 139979061058704 139979450938686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1898] ppid=1888 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1898/stat : 1898 (java) S 1888 1891 877 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 44115933 10914828288 74465 33554432000 4194304 4196468 140736871591680 139978949489184 139979457849045 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1899] ppid=1888 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1899/stat : 1899 (java) S 1888 1891 877 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 44115934 10914828288 74977 33554432000 4194304 4196468 140736871591680 139978948436896 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1900] ppid=1888 vsize=10659012 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1900/stat : 1900 (java) S 1888 1891 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44115934 10914828288 74977 33554432000 4194304 4196468 140736871591680 139978947384304 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1901] ppid=1888 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1901/stat : 1901 (java) S 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10914828288 74977 33554432000 4194304 4196468 140736871591680 139978946332880 139979457857435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1902] ppid=1888 vsize=10659012 memory=9049316711896613037 CPUtime=0.2 cores=0,2,4,6
/proc/1891/task/1902/stat : 1902 (java) S 1888 1891 877 0 -1 1077944384 1519 0 0 0 20 0 0 0 20 0 15 0 44115936 10914828288 74977 33554432000 4194304 4196468 140736871591680 139978945280496 139979457849986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1903] ppid=1888 vsize=10659012 memory=6943526294502006880 CPUtime=0.27 cores=0,2,4,6
/proc/1891/task/1903/stat : 1903 (java) R 1888 1891 877 0 -1 4202560 1501 0 0 0 27 0 0 0 20 0 15 0 44115936 10914828288 74977 33554432000 4194304 4196468 140736871591680 139978944228248 139979441333078 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1904] ppid=1888 vsize=10659012 memory=6944656592455360604 CPUtime=0.15 cores=0,2,4,6
/proc/1891/task/1904/stat : 1904 (java) S 1888 1891 877 0 -1 1077944384 1234 0 0 0 15 0 0 0 20 0 15 0 44115936 10914828288 74977 33554432000 4194304 4196468 140736871591680 139978943175408 139979457849986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1905] ppid=1888 vsize=10659012 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1905/stat : 1905 (java) S 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10914828288 74977 33554432000 4194304 4196468 140736871591680 139978942123104 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1906] ppid=1888 vsize=10659012 memory=-7357787915995474596 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1906/stat : 1906 (java) S 1888 1891 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44115937 10914828288 74977 33554432000 4194304 4196468 140736871591680 139978941069616 139979457849986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 297860 KiB

[startup+1.50076 s]
/proc/loadavg: 4.69 4.30 3.22 6/216 1906
/proc/meminfo: memFree=21387576/32770624 swapFree=67108860/67108860
[pid=1891] ppid=1888 vsize=10661844 memory=525764 CPUtime=4.03 cores=0,2,4,6
/proc/1891/stat : 1891 (java) S 1888 1891 877 0 -1 1077944320 26465 0 0 0 357 46 0 0 20 0 15 0 44115931 10917728256 131441 33554432000 4194304 4196468 140736871591680 140736871574224 139979457838839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
/proc/1891/statm: 2665461 131441 3147 1 0 2627952 0
[pid=1891/tid=1893] ppid=1888 vsize=10661844 memory=508980 CPUtime=1.28 cores=0,2,4,6
/proc/1891/task/1893/stat : 1893 (java) R 1888 1891 877 0 -1 4202560 6016 0 0 0 120 8 0 0 20 0 15 0 44115931 10917728256 131441 33554432000 4194304 4196468 140736871591680 139979462074776 139979097600631 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1894] ppid=1888 vsize=10661844 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/1891/task/1894/stat : 1894 (java) S 1888 1891 877 0 -1 1077944384 390 0 0 0 9 7 0 0 20 0 15 0 44115932 10917728256 131441 33554432000 4194304 4196468 140736871591680 139979064216336 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1895] ppid=1888 vsize=10661844 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/1891/task/1895/stat : 1895 (java) S 1888 1891 877 0 -1 1077944384 469 0 0 0 8 8 0 0 20 0 15 0 44115932 10917728256 131441 33554432000 4194304 4196468 140736871591680 139979063163792 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1896] ppid=1888 vsize=10661844 memory=55 CPUtime=0.18 cores=0,2,4,6
/proc/1891/task/1896/stat : 1896 (java) S 1888 1891 877 0 -1 1077944384 316 0 0 0 9 9 0 0 20 0 15 0 44115932 10917728256 131441 33554432000 4194304 4196468 140736871591680 139979062111248 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1897] ppid=1888 vsize=10661844 memory=12898 CPUtime=0.17 cores=0,2,4,6
/proc/1891/task/1897/stat : 1897 (java) S 1888 1891 877 0 -1 1077944384 451 0 0 0 9 8 0 0 20 0 15 0 44115932 10917728256 131441 33554432000 4194304 4196468 140736871591680 139979061058704 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1898] ppid=1888 vsize=10661844 memory=20674 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1898/stat : 1898 (java) S 1888 1891 877 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 15 0 44115933 10917728256 131441 33554432000 4194304 4196468 140736871591680 139978949490672 139979457849986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0

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


[startup+352.001 s]*
/proc/loadavg: 4.35 4.20 3.50 6/217 1921
/proc/meminfo: memFree=13206988/32770624 swapFree=67108860/67108860
[pid=1891] ppid=1888 vsize=10661288 memory=8316808 CPUtime=1215.19 cores=0,2,4,6
/proc/1891/stat : 1891 (java) S 1888 1891 877 0 -1 1077944320 1531099 0 0 0 120756 763 0 0 20 0 15 0 44115931 10917158912 2079202 33554432000 4194304 4196468 140736871591680 140736871574224 139979457838839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
/proc/1891/statm: 2665322 2079202 3229 1 0 2627775 0
[pid=1891/tid=1893] ppid=1888 vsize=10661288 memory=5300 CPUtime=28.34 cores=0,2,4,6
/proc/1891/task/1893/stat : 1893 (java) S 1888 1891 877 0 -1 1077944384 21957 0 0 0 2804 30 0 0 20 0 15 0 44115931 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979462071392 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1894] ppid=1888 vsize=10661288 memory=-7003737579269690708 CPUtime=287 cores=0,2,4,6
/proc/1891/task/1894/stat : 1894 (java) R 1888 1891 877 0 -1 4202560 327786 0 0 0 28528 172 0 0 20 0 15 0 44115932 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979064216232 139979450467047 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1895] ppid=1888 vsize=10661288 memory=3256 CPUtime=286.33 cores=0,2,4,6
/proc/1891/task/1895/stat : 1895 (java) R 1888 1891 877 0 -1 4202560 301926 0 0 0 28442 191 0 0 20 0 15 0 44115932 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979063163376 139979450467047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1896] ppid=1888 vsize=10661288 memory=1863768 CPUtime=286.86 cores=0,2,4,6
/proc/1891/task/1896/stat : 1896 (java) R 1888 1891 877 0 -1 4202560 325788 0 0 0 28511 175 0 0 20 0 15 0 44115932 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979062111448 139979442789963 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1897] ppid=1888 vsize=10661288 memory=1404 CPUtime=287.3 cores=0,2,4,6
/proc/1891/task/1897/stat : 1897 (java) R 1888 1891 877 0 -1 4202560 406502 0 0 0 28554 176 0 0 20 0 15 0 44115932 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979061058288 139979450467047 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1898] ppid=1888 vsize=10661288 memory=3128 CPUtime=32.32 cores=0,2,4,6
/proc/1891/task/1898/stat : 1898 (java) S 1888 1891 877 0 -1 1077944384 100285 0 0 0 3227 5 0 0 20 0 15 0 44115933 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978949488992 139979457849045 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1899] ppid=1888 vsize=10661288 memory=8316808 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1899/stat : 1899 (java) S 1888 1891 877 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 44115934 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978948436960 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1900] ppid=1888 vsize=10661288 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1900/stat : 1900 (java) S 1888 1891 877 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 44115934 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978947384320 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1901] ppid=1888 vsize=10661288 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1901/stat : 1901 (java) S 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978946332880 139979457857435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1902] ppid=1888 vsize=10661288 memory=4128 CPUtime=2.57 cores=0,2,4,6
/proc/1891/task/1902/stat : 1902 (java) S 1888 1891 877 0 -1 1077944384 14561 0 0 0 255 2 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978945280496 139979457849986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1903] ppid=1888 vsize=10661288 memory=2200 CPUtime=3.43 cores=0,2,4,6
/proc/1891/task/1903/stat : 1903 (java) S 1888 1891 877 0 -1 1077944384 22853 0 0 0 340 3 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978944227952 139979457849986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1904] ppid=1888 vsize=10661288 memory=7392 CPUtime=0.74 cores=0,2,4,6
/proc/1891/task/1904/stat : 1904 (java) S 1888 1891 877 0 -1 1077944384 6902 0 0 0 73 1 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978943174976 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1905] ppid=1888 vsize=10661288 memory=840 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1905/stat : 1905 (java) S 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978942123104 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1906] ppid=1888 vsize=10661288 memory=1399051139730258233 CPUtime=0.22 cores=0,2,4,6
/proc/1891/task/1906/stat : 1906 (java) S 1888 1891 877 0 -1 1077944384 1310 0 0 0 12 10 0 0 20 0 15 0 44115937 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978941069616 139979457849986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
Current children cumulated CPU time: 1215.19 s
Current children cumulated vsize: 10661288 KiB
Current children cumulated memory: 8316808 KiB

[startup+353.605 s]
/proc/loadavg: 4.35 4.20 3.50 6/217 1921
/proc/meminfo: memFree=13206988/32770624 swapFree=67108860/67108860
[pid=1891] ppid=1888 vsize=10661288 memory=8316808 CPUtime=1221.51 cores=0,2,4,6
/proc/1891/stat : 1891 (java) S 1888 1891 877 0 -1 1077944320 1532588 0 0 0 121388 763 0 0 20 0 15 0 44115931 10917158912 2079202 33554432000 4194304 4196468 140736871591680 140736871574224 139979457838839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
/proc/1891/statm: 2665322 2079202 3229 1 0 2627775 0
[pid=1891/tid=1893] ppid=1888 vsize=10661288 memory=4140 CPUtime=28.34 cores=0,2,4,6
/proc/1891/task/1893/stat : 1893 (java) S 1888 1891 877 0 -1 1077944384 21957 0 0 0 2804 30 0 0 20 0 15 0 44115931 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979462071392 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1894] ppid=1888 vsize=10661288 memory=14876 CPUtime=288.56 cores=0,2,4,6
/proc/1891/task/1894/stat : 1894 (java) R 1888 1891 877 0 -1 4202560 327789 0 0 0 28684 172 0 0 20 0 15 0 44115932 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979064216536 139979442539527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1895] ppid=1888 vsize=10661288 memory=8112282956445269571 CPUtime=287.9 cores=0,2,4,6
/proc/1891/task/1895/stat : 1895 (java) R 1888 1891 877 0 -1 4202560 301935 0 0 0 28599 191 0 0 20 0 15 0 44115932 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979063163992 139979442835348 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1896] ppid=1888 vsize=10661288 memory=1952 CPUtime=288.45 cores=0,2,4,6
/proc/1891/task/1896/stat : 1896 (java) R 1888 1891 877 0 -1 4202560 327045 0 0 0 28669 176 0 0 20 0 15 0 44115932 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979062111448 139979450942496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1897] ppid=1888 vsize=10661288 memory=8384 CPUtime=288.88 cores=0,2,4,6
/proc/1891/task/1897/stat : 1897 (java) R 1888 1891 877 0 -1 4202560 406517 0 0 0 28712 176 0 0 20 0 15 0 44115932 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979061058592 139979442539443 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1898] ppid=1888 vsize=10661288 memory=15872 CPUtime=32.33 cores=0,2,4,6
/proc/1891/task/1898/stat : 1898 (java) S 1888 1891 877 0 -1 1077944384 100291 0 0 0 3228 5 0 0 20 0 15 0 44115933 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978949489216 139979457849045 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1899] ppid=1888 vsize=10661288 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1899/stat : 1899 (java) S 1888 1891 877 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 44115934 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978948436960 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1900] ppid=1888 vsize=10661288 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1900/stat : 1900 (java) S 1888 1891 877 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 44115934 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978947384320 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1901] ppid=1888 vsize=10661288 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1901/stat : 1901 (java) S 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978946332880 139979457857435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1902] ppid=1888 vsize=10661288 memory=3848 CPUtime=2.57 cores=0,2,4,6
/proc/1891/task/1902/stat : 1902 (java) S 1888 1891 877 0 -1 1077944384 14562 0 0 0 255 2 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978945280256 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1903] ppid=1888 vsize=10661288 memory=2872 CPUtime=3.43 cores=0,2,4,6
/proc/1891/task/1903/stat : 1903 (java) S 1888 1891 877 0 -1 1077944384 22853 0 0 0 340 3 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978944228000 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1904] ppid=1888 vsize=10661288 memory=2692 CPUtime=0.74 cores=0,2,4,6
/proc/1891/task/1904/stat : 1904 (java) S 1888 1891 877 0 -1 1077944384 6902 0 0 0 73 1 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978943174976 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1905] ppid=1888 vsize=10661288 memory=644 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1905/stat : 1905 (java) S 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978942123104 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1906] ppid=1888 vsize=10661288 memory=1788 CPUtime=0.22 cores=0,2,4,6
/proc/1891/task/1906/stat : 1906 (java) S 1888 1891 877 0 -1 1077944384 1310 0 0 0 12 10 0 0 20 0 15 0 44115937 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978941069616 139979457849986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
Current children cumulated CPU time: 1221.51 s
Current children cumulated vsize: 10661288 KiB
Current children cumulated memory: 8316808 KiB

[startup+354.401 s]
/proc/loadavg: 4.40 4.21 3.51 7/217 1921
/proc/meminfo: memFree=13206996/32770624 swapFree=67108860/67108860
[pid=1891] ppid=1888 vsize=10661288 memory=8316808 CPUtime=1224.68 cores=0,2,4,6
/proc/1891/stat : 1891 (java) S 1888 1891 877 0 -1 1077944320 1532621 0 0 0 121705 763 0 0 20 0 15 0 44115931 10917158912 2079202 33554432000 4194304 4196468 140736871591680 140736871574224 139979457838839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
/proc/1891/statm: 2665322 2079202 3229 1 0 2627775 0
[pid=1891/tid=1893] ppid=1888 vsize=10661288 memory=-8961168018402230209 CPUtime=28.34 cores=0,2,4,6
/proc/1891/task/1893/stat : 1893 (java) S 1888 1891 877 0 -1 1077944384 21957 0 0 0 2804 30 0 0 20 0 15 0 44115931 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979462071392 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1894] ppid=1888 vsize=10661288 memory=-8253362762722141311 CPUtime=289.34 cores=0,2,4,6
/proc/1891/task/1894/stat : 1894 (java) R 1888 1891 877 0 -1 4202560 327789 0 0 0 28762 172 0 0 20 0 15 0 44115932 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979064216536 139979442539472 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1895] ppid=1888 vsize=10661288 memory=2340 CPUtime=288.7 cores=0,2,4,6
/proc/1891/task/1895/stat : 1895 (java) R 1888 1891 877 0 -1 4202560 301949 0 0 0 28679 191 0 0 20 0 15 0 44115932 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979063163992 139979442296459 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1896] ppid=1888 vsize=10661288 memory=4100 CPUtime=289.25 cores=0,2,4,6
/proc/1891/task/1896/stat : 1896 (java) R 1888 1891 877 0 -1 4202560 327057 0 0 0 28749 176 0 0 20 0 15 0 44115932 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979062111448 139979439448585 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1897] ppid=1888 vsize=10661288 memory=1408 CPUtime=289.67 cores=0,2,4,6
/proc/1891/task/1897/stat : 1897 (java) R 1888 1891 877 0 -1 4202560 406524 0 0 0 28791 176 0 0 20 0 15 0 44115932 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979061058592 139979442539523 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1898] ppid=1888 vsize=10661288 memory=8316808 CPUtime=32.33 cores=0,2,4,6
/proc/1891/task/1898/stat : 1898 (java) S 1888 1891 877 0 -1 1077944384 100291 0 0 0 3228 5 0 0 20 0 15 0 44115933 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978949489216 139979457849045 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1899] ppid=1888 vsize=10661288 memory=8316808 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1899/stat : 1899 (java) S 1888 1891 877 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 44115934 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978948436960 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1900] ppid=1888 vsize=10661288 memory=5300 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1900/stat : 1900 (java) S 1888 1891 877 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 44115934 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978947384320 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1901] ppid=1888 vsize=10661288 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1901/stat : 1901 (java) S 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978946332880 139979457857435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1902] ppid=1888 vsize=10661288 memory=11960 CPUtime=2.57 cores=0,2,4,6
/proc/1891/task/1902/stat : 1902 (java) S 1888 1891 877 0 -1 1077944384 14562 0 0 0 255 2 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978945280256 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1903] ppid=1888 vsize=10661288 memory=1008 CPUtime=3.43 cores=0,2,4,6
/proc/1891/task/1903/stat : 1903 (java) S 1888 1891 877 0 -1 1077944384 22853 0 0 0 340 3 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978944228000 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1904] ppid=1888 vsize=10661288 memory=792 CPUtime=0.74 cores=0,2,4,6
/proc/1891/task/1904/stat : 1904 (java) S 1888 1891 877 0 -1 1077944384 6902 0 0 0 73 1 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978943174976 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1905] ppid=1888 vsize=10661288 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1905/stat : 1905 (java) S 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978942123104 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1906] ppid=1888 vsize=10661288 memory=288230574492221466 CPUtime=0.22 cores=0,2,4,6
/proc/1891/task/1906/stat : 1906 (java) S 1888 1891 877 0 -1 1077944384 1310 0 0 0 12 10 0 0 20 0 15 0 44115937 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978941069616 139979457849986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
Current children cumulated CPU time: 1224.68 s
Current children cumulated vsize: 10661288 KiB
Current children cumulated memory: 8316808 KiB

[startup+354.801 s]
/proc/loadavg: 4.40 4.21 3.51 7/217 1921
/proc/meminfo: memFree=13206996/32770624 swapFree=67108860/67108860
[pid=1891] ppid=1888 vsize=10661288 memory=8316808 CPUtime=1225.24 cores=0,2,4,6
/proc/1891/stat : 1891 (java) S 1888 1891 877 0 -1 1077944320 1532621 0 0 0 121761 763 0 0 20 0 15 0 44115931 10917158912 2079202 33554432000 4194304 4196468 140736871591680 140736871574224 139979457838839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
/proc/1891/statm: 2665322 2079202 3229 1 0 2627775 0
[pid=1891/tid=1893] ppid=1888 vsize=10661288 memory=288230621803970871 CPUtime=28.34 cores=0,2,4,6
/proc/1891/task/1893/stat : 1893 (java) S 1888 1891 877 0 -1 1077944384 21957 0 0 0 2804 30 0 0 20 0 15 0 44115931 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979462071392 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1894] ppid=1888 vsize=10661288 memory=16097061506385263 CPUtime=289.39 cores=0,2,4,6
/proc/1891/task/1894/stat : 1894 (java) S 1888 1891 877 0 -1 1077944384 327789 0 0 0 28767 172 0 0 20 0 15 0 44115932 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979064216336 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1895] ppid=1888 vsize=10661288 memory=2692 CPUtime=288.75 cores=0,2,4,6
/proc/1891/task/1895/stat : 1895 (java) S 1888 1891 877 0 -1 1077944384 301949 0 0 0 28684 191 0 0 20 0 15 0 44115932 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979063163792 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1896] ppid=1888 vsize=10661288 memory=644 CPUtime=289.3 cores=0,2,4,6
/proc/1891/task/1896/stat : 1896 (java) S 1888 1891 877 0 -1 1077944384 327057 0 0 0 28754 176 0 0 20 0 15 0 44115932 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979062111248 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1897] ppid=1888 vsize=10661288 memory=1788 CPUtime=289.73 cores=0,2,4,6
/proc/1891/task/1897/stat : 1897 (java) S 1888 1891 877 0 -1 1077944384 406524 0 0 0 28797 176 0 0 20 0 15 0 44115932 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139979061058704 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1898] ppid=1888 vsize=10661288 memory=952 CPUtime=32.67 cores=0,2,4,6
/proc/1891/task/1898/stat : 1898 (java) R 1888 1891 877 0 -1 4202560 100291 0 0 0 3262 5 0 0 20 0 15 0 44115933 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978949489216 139979442835220 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1899] ppid=1888 vsize=10661288 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1899/stat : 1899 (java) S 1888 1891 877 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 44115934 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978948436960 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1900] ppid=1888 vsize=10661288 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1900/stat : 1900 (java) S 1888 1891 877 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 44115934 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978947384320 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1901] ppid=1888 vsize=10661288 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1901/stat : 1901 (java) S 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978946332880 139979457857435 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1902] ppid=1888 vsize=10661288 memory=1408 CPUtime=2.57 cores=0,2,4,6
/proc/1891/task/1902/stat : 1902 (java) S 1888 1891 877 0 -1 1077944384 14562 0 0 0 255 2 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978945280256 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1903] ppid=1888 vsize=10661288 memory=3256 CPUtime=3.43 cores=0,2,4,6
/proc/1891/task/1903/stat : 1903 (java) S 1888 1891 877 0 -1 1077944384 22853 0 0 0 340 3 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978944228000 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1904] ppid=1888 vsize=10661288 memory=1863768 CPUtime=0.74 cores=0,2,4,6
/proc/1891/task/1904/stat : 1904 (java) S 1888 1891 877 0 -1 1077944384 6902 0 0 0 73 1 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978943174976 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1905] ppid=1888 vsize=10661288 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/1891/task/1905/stat : 1905 (java) S 1888 1891 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44115936 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978942123104 139979457849045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
[pid=1891/tid=1906] ppid=1888 vsize=10661288 memory=3047711553320166262 CPUtime=0.22 cores=0,2,4,6
/proc/1891/task/1906/stat : 1906 (java) S 1888 1891 877 0 -1 1077944384 1310 0 0 0 12 10 0 0 20 0 15 0 44115937 10917158912 2079202 33554432000 4194304 4196468 140736871591680 139978941069616 139979457849986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25735168 140736871593073 140736871593225 140736871593225 140736871595983 0
Current children cumulated CPU time: 1225.24 s
Current children cumulated vsize: 10661288 KiB
Current children cumulated memory: 8316808 KiB

[startup+355.201 s]*
/proc/loadavg: 4.40 4.21 3.51 3/204 1923
/proc/meminfo: memFree=14999268/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): 355.267
CPU time (s): 1225.52
CPU user time (s): 1217.81
CPU system time (s): 7.71055
CPU usage (%): 344.958
Max. virtual memory (cumulated for all children) (KiB): 10794416
Max. memory (cumulated for all children) (KiB): 8317220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1217.81
system time used= 7.71054
maximum resident set size= 8317336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1532970
page faults= 0
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25048
involuntary context switches= 14392


# summary of solver processes directly reported to runsolver:
#   pid: 1891
#   total CPU time (s): 1225.52
#   total CPU user time (s): 1217.81
#   total CPU system time (s): 7.71055

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.30389 second user time and 3.42797 second system time

The end
Name	Fapp/Fapp-m2s/ Fapp-m2s-05-0350_c18.xml
MD5SUM	51c3d091a7e4b0716a15e9a29832b849
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	524813477
Best CPU time to get the best result obtained on this benchmark	2527.64
Satisfiable
(Un)Satisfiability was proved
Number of variables	7232
Number of constraints	4665
Number of domains	18
Minimum domain size	1
Maximum domain size	135
Distribution of domain sizes	[{"size":1,"count":3},{"size":2,"count":2524},{"size":11,"count":2177},{"size":12,"count":1},{"size":25,"count":55},{"size":33,"count":45},{"size":44,"count":26},{"size":48,"count":22},{"size":51,"count":17},{"size":55,"count":31},{"size":91,"count":204},{"size":102,"count":203},{"size":106,"count":126},{"size":135,"count":1798}]
Minimum variable degree	2
Maximum variable degree	2178
Distribution of variable degrees	[{"degree":2,"count":6532},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":11},{"degree":6,"count":11},{"degree":7,"count":19},{"degree":8,"count":26},{"degree":9,"count":28},{"degree":10,"count":31},{"degree":11,"count":40},{"degree":12,"count":48},{"degree":13,"count":50},{"degree":14,"count":80},{"degree":15,"count":109},{"degree":16,"count":148},{"degree":17,"count":81},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":21,"count":1},{"degree":2178,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	6
Distribution of constraint arities	[{"arity":2,"count":311},{"arity":3,"count":2177},{"arity":6,"count":2177}]
Number of extensional constraints	2177
Number of intensional constraints	2488
Distribution of constraint types	[{"type":"extension","count":2177},{"type":"intension","count":2488}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4292033

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
