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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263392-1502621814/watcher-4263392-1502621814 -o /tmp/evaluation-result-4263392-1502621814/solver-4263392-1502621814 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502615983-3944 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263392-1502621814.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
Current StackSize limit: 8192 KiB

solver pid=4870, runsolver pid=4867

[startup+0.104599 s]*
/proc/loadavg: 2.00 1.99 2.03 3/217 4885
/proc/meminfo: memFree=24852268/32770624 swapFree=67108860/67108860
[pid=4870] ppid=4867 vsize=10555400 memory=31320 CPUtime=0.13 cores=1,3,5,7
/proc/4870/stat : 4870 (java) S 4867 4870 32402 0 -1 1077944320 6377 0 0 0 12 1 0 0 20 0 15 0 95269018 10808729600 7830 33554432000 4194304 4196468 140734174301424 140734174283968 140626491178743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
/proc/4870/statm: 2638850 7830 2810 1 0 2627263 0
[pid=4870/tid=4872] ppid=4867 vsize=10555400 memory=8326441112148417179 CPUtime=0.09 cores=1,3,5,7
/proc/4870/task/4872/stat : 4872 (java) R 4867 4870 32402 0 -1 4202560 4231 0 0 0 9 0 0 0 20 0 15 0 95269018 10808729600 7830 33554432000 4194304 4196468 140734174301424 140626495411472 140626476858906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4873] ppid=4867 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4873/stat : 4873 (java) S 4867 4870 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95269019 10808729600 7830 33554432000 4194304 4196468 140734174301424 140626427869584 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4874] ppid=4867 vsize=10555400 memory=140349506995840 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4874/stat : 4874 (java) S 4867 4870 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95269019 10808729600 7830 33554432000 4194304 4196468 140734174301424 140626426816784 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4875] ppid=4867 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4875/stat : 4875 (java) S 4867 4870 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95269019 10808729600 7830 33554432000 4194304 4196468 140734174301424 140626425764496 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4876] ppid=4867 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4876/stat : 4876 (java) S 4867 4870 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95269019 10808729600 7830 33554432000 4194304 4196468 140734174301424 140626424711696 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4877] ppid=4867 vsize=10555400 memory=140349506995840 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4877/stat : 4877 (java) S 4867 4870 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95269020 10808729600 7830 33554432000 4194304 4196468 140734174301424 140625728965232 140626491189890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4878] ppid=4867 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4878/stat : 4878 (java) S 4867 4870 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95269021 10808729600 7830 33554432000 4194304 4196468 140734174301424 140625727911200 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4879] ppid=4867 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4879/stat : 4879 (java) S 4867 4870 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95269021 10808729600 7830 33554432000 4194304 4196468 140734174301424 140625726858864 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4880] ppid=4867 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4880/stat : 4880 (java) S 4867 4870 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95269023 10808729600 7830 33554432000 4194304 4196468 140734174301424 140625725807184 140626491197339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4881] ppid=4867 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4881/stat : 4881 (java) S 4867 4870 32402 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 95269023 10808729600 7830 33554432000 4194304 4196468 140734174301424 140625724754032 140626491189890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4882] ppid=4867 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4882/stat : 4882 (java) S 4867 4870 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95269023 10808729600 7830 33554432000 4194304 4196468 140734174301424 140625723701232 140626491189890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4883] ppid=4867 vsize=10555400 memory=140349506995840 CPUtime=0.02 cores=1,3,5,7
/proc/4870/task/4883/stat : 4883 (java) R 4867 4870 32402 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 95269023 10808729600 7830 33554432000 4194304 4196468 140734174301424 140625722648944 140626491190678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4884] ppid=4867 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4884/stat : 4884 (java) S 4867 4870 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95269024 10808729600 7830 33554432000 4194304 4196468 140734174301424 140625721596384 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4885] ppid=4867 vsize=10555400 memory=140349506995840 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4885/stat : 4885 (java) S 4867 4870 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95269024 10808729600 7830 33554432000 4194304 4196468 140734174301424 140625720544176 140626491189890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 31320 KiB

[startup+0.218313 s]*
/proc/loadavg: 2.00 1.99 2.03 7/217 4885
/proc/meminfo: memFree=24843876/32770624 swapFree=67108860/67108860
[pid=4870] ppid=4867 vsize=10555400 memory=40436 CPUtime=0.35 cores=1,3,5,7
/proc/4870/stat : 4870 (java) S 4867 4870 32402 0 -1 1077944320 7676 0 0 0 34 1 0 0 20 0 15 0 95269018 10808729600 10109 33554432000 4194304 4196468 140734174301424 140734174283968 140626491178743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
/proc/4870/statm: 2638850 10109 3007 1 0 2627263 0
[pid=4870/tid=4872] ppid=4867 vsize=10555400 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/4870/task/4872/stat : 4872 (java) R 4867 4870 32402 0 -1 4202560 4513 0 0 0 20 1 0 0 20 0 15 0 95269018 10808729600 10241 33554432000 4194304 4196468 140734174301424 140626495414784 140626491200669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4873] ppid=4867 vsize=10555400 memory=339 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4873/stat : 4873 (java) S 4867 4870 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95269019 10808729600 10241 33554432000 4194304 4196468 140734174301424 140626427869584 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4874] ppid=4867 vsize=10555400 memory=288370725658707584 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4874/stat : 4874 (java) S 4867 4870 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95269019 10808729600 10241 33554432000 4194304 4196468 140734174301424 140626426816784 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4875] ppid=4867 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4875/stat : 4875 (java) S 4867 4870 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95269019 10808729600 10241 33554432000 4194304 4196468 140734174301424 140626425764496 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4876] ppid=4867 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4876/stat : 4876 (java) S 4867 4870 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95269019 10808729600 10241 33554432000 4194304 4196468 140734174301424 140626424711696 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4877] ppid=4867 vsize=10555400 memory=140349506995840 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4877/stat : 4877 (java) S 4867 4870 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95269020 10808729600 10241 33554432000 4194304 4196468 140734174301424 140625728965232 140626491189890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4878] ppid=4867 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4878/stat : 4878 (java) S 4867 4870 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95269021 10808729600 10241 33554432000 4194304 4196468 140734174301424 140625727911200 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4879] ppid=4867 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4879/stat : 4879 (java) S 4867 4870 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95269021 10808729600 10241 33554432000 4194304 4196468 140734174301424 140625726858864 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4880] ppid=4867 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4880/stat : 4880 (java) S 4867 4870 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95269023 10808729600 10241 33554432000 4194304 4196468 140734174301424 140625725807184 140626491197339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4881] ppid=4867 vsize=10555400 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4870/task/4881/stat : 4881 (java) R 4867 4870 32402 0 -1 4202560 646 0 0 0 3 0 0 0 20 0 15 0 95269023 10808729600 10241 33554432000 4194304 4196468 140734174301424 140625724735368 140626475572500 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4882] ppid=4867 vsize=10555400 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/4870/task/4882/stat : 4882 (java) R 4867 4870 32402 0 -1 4202560 362 0 0 0 3 0 0 0 20 0 15 0 95269023 10808729600 10241 33554432000 4194304 4196468 140734174301424 140625723692248 140626477204384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4883] ppid=4867 vsize=10555400 memory=140349506995840 CPUtime=0.07 cores=1,3,5,7
/proc/4870/task/4883/stat : 4883 (java) R 4867 4870 32402 0 -1 4202560 942 0 0 0 7 0 0 0 20 0 15 0 95269023 10808729600 10241 33554432000 4194304 4196468 140734174301424 140625722644680 140626470314189 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4884] ppid=4867 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4884/stat : 4884 (java) S 4867 4870 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95269024 10808729600 10241 33554432000 4194304 4196468 140734174301424 140625721596384 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4885] ppid=4867 vsize=10555400 memory=140349506995840 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4885/stat : 4885 (java) S 4867 4870 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95269024 10808729600 10241 33554432000 4194304 4196468 140734174301424 140625720544176 140626491189890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 40436 KiB

[startup+0.31145 s]*
/proc/loadavg: 2.00 1.99 2.03 5/217 4885
/proc/meminfo: memFree=24831224/32770624 swapFree=67108860/67108860
[pid=4870] ppid=4867 vsize=10555476 memory=53180 CPUtime=0.64 cores=1,3,5,7
/proc/4870/stat : 4870 (java) S 4867 4870 32402 0 -1 1077944320 9835 0 0 0 62 2 0 0 20 0 15 0 95269018 10808807424 13295 33554432000 4194304 4196468 140734174301424 140734174283968 140626491178743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
/proc/4870/statm: 2638869 13295 3050 1 0 2627263 0
[pid=4870/tid=4872] ppid=4867 vsize=10555476 memory=53476 CPUtime=0.3 cores=1,3,5,7
/proc/4870/task/4872/stat : 4872 (java) R 4867 4870 32402 0 -1 4202560 4971 0 0 0 29 1 0 0 20 0 15 0 95269018 10808807424 13295 33554432000 4194304 4196468 140734174301424 140626495416880 140626475222373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4873] ppid=4867 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4873/stat : 4873 (java) S 4867 4870 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95269019 10808807424 13295 33554432000 4194304 4196468 140734174301424 140626427869584 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4874] ppid=4867 vsize=10555476 memory=140349507053856 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4874/stat : 4874 (java) S 4867 4870 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95269019 10808807424 13295 33554432000 4194304 4196468 140734174301424 140626426816784 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4875] ppid=4867 vsize=10555476 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4875/stat : 4875 (java) S 4867 4870 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95269019 10808807424 13295 33554432000 4194304 4196468 140734174301424 140626425764496 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4876] ppid=4867 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4876/stat : 4876 (java) S 4867 4870 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95269019 10808807424 13295 33554432000 4194304 4196468 140734174301424 140626424711696 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4877] ppid=4867 vsize=10555476 memory=140349507060768 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4877/stat : 4877 (java) S 4867 4870 32402 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95269020 10808807424 13295 33554432000 4194304 4196468 140734174301424 140625728965232 140626491189890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4878] ppid=4867 vsize=10555476 memory=35 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4878/stat : 4878 (java) S 4867 4870 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95269021 10808807424 13295 33554432000 4194304 4196468 140734174301424 140625727911200 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4879] ppid=4867 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4879/stat : 4879 (java) S 4867 4870 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95269021 10808807424 13295 33554432000 4194304 4196468 140734174301424 140625726858864 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4880] ppid=4867 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4880/stat : 4880 (java) S 4867 4870 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95269023 10808807424 13295 33554432000 4194304 4196468 140734174301424 140625725807184 140626491197339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4881] ppid=4867 vsize=10555476 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4870/task/4881/stat : 4881 (java) R 4867 4870 32402 0 -1 4202560 982 0 0 0 8 0 0 0 20 0 15 0 95269023 10808807424 13295 33554432000 4194304 4196468 140734174301424 140625724754032 140626474566055 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4882] ppid=4867 vsize=10555476 memory=140349397913103 CPUtime=0.12 cores=1,3,5,7
/proc/4870/task/4882/stat : 4882 (java) R 4867 4870 32402 0 -1 4202560 1193 0 0 0 12 0 0 0 20 0 15 0 95269023 10808807424 13295 33554432000 4194304 4196468 140734174301424 140625723687112 140626469595540 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4883] ppid=4867 vsize=10555476 memory=140349507000577 CPUtime=0.12 cores=1,3,5,7
/proc/4870/task/4883/stat : 4883 (java) R 4867 4870 32402 0 -1 1077944384 1323 0 0 0 12 0 0 0 20 0 15 0 95269023 10808807424 13295 33554432000 4194304 4196468 140734174301424 140625722648944 140626491189890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4884] ppid=4867 vsize=10555476 memory=140349397917647 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4884/stat : 4884 (java) S 4867 4870 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95269024 10808807424 13295 33554432000 4194304 4196468 140734174301424 140625721596384 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4885] ppid=4867 vsize=10555476 memory=280698904930240 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4885/stat : 4885 (java) R 4867 4870 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95269024 10808807424 13295 33554432000 4194304 4196468 140734174301424 140625720544176 140626491189890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 53180 KiB

[startup+0.709508 s]
/proc/loadavg: 2.08 2.00 2.04 3/217 4885
/proc/meminfo: memFree=24803548/32770624 swapFree=67108860/67108860
[pid=4870] ppid=4867 vsize=10555476 memory=122840 CPUtime=1.69 cores=1,3,5,7
/proc/4870/stat : 4870 (java) S 4867 4870 32402 0 -1 1077944320 11363 0 0 0 166 3 0 0 20 0 15 0 95269018 10808807424 30710 33554432000 4194304 4196468 140734174301424 140734174283968 140626491178743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
/proc/4870/statm: 2638869 30710 3089 1 0 2627263 0
[pid=4870/tid=4872] ppid=4867 vsize=10555476 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/4870/task/4872/stat : 4872 (java) R 4867 4870 32402 0 -1 4202560 5117 0 0 0 66 2 0 0 20 0 15 0 95269018 10808807424 30710 33554432000 4194304 4196468 140734174301424 140626495417312 140626473641354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4873] ppid=4867 vsize=10555476 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4873/stat : 4873 (java) S 4867 4870 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95269019 10808807424 30710 33554432000 4194304 4196468 140734174301424 140626427869584 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4874] ppid=4867 vsize=10555476 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4874/stat : 4874 (java) S 4867 4870 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95269019 10808807424 30710 33554432000 4194304 4196468 140734174301424 140626426816784 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4875] ppid=4867 vsize=10555476 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4875/stat : 4875 (java) S 4867 4870 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95269019 10808807424 30710 33554432000 4194304 4196468 140734174301424 140626425764496 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4876] ppid=4867 vsize=10555476 memory=15532 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4876/stat : 4876 (java) S 4867 4870 32402 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95269019 10808807424 30710 33554432000 4194304 4196468 140734174301424 140626424711696 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4877] ppid=4867 vsize=10555476 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4877/stat : 4877 (java) S 4867 4870 32402 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95269020 10808807424 30710 33554432000 4194304 4196468 140734174301424 140625728965232 140626491189890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4878] ppid=4867 vsize=10555476 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4878/stat : 4878 (java) S 4867 4870 32402 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95269021 10808807424 30710 33554432000 4194304 4196468 140734174301424 140625727911200 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4879] ppid=4867 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4879/stat : 4879 (java) S 4867 4870 32402 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95269021 10808807424 30710 33554432000 4194304 4196468 140734174301424 140625726858864 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4880] ppid=4867 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4880/stat : 4880 (java) S 4867 4870 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95269023 10808807424 30710 33554432000 4194304 4196468 140734174301424 140625725807184 140626491197339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4881] ppid=4867 vsize=10555476 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/4870/task/4881/stat : 4881 (java) R 4867 4870 32402 0 -1 4202560 1708 0 0 0 33 0 0 0 20 0 15 0 95269023 10808807424 30710 33554432000 4194304 4196468 140734174301424 140625724740576 140626469195755 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4882] ppid=4867 vsize=10555476 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/4870/task/4882/stat : 4882 (java) R 4867 4870 32402 0 -1 4202560 1388 0 0 0 35 0 0 0 20 0 15 0 95269023 10808807424 30710 33554432000 4194304 4196468 140734174301424 140625723689792 140626472358374 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4883] ppid=4867 vsize=10555476 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/4870/task/4883/stat : 4883 (java) S 4867 4870 32402 0 -1 1077944384 1778 0 0 0 29 0 0 0 20 0 15 0 95269023 10808807424 30710 33554432000 4194304 4196468 140734174301424 140625722648944 140626491189890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4884] ppid=4867 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4884/stat : 4884 (java) S 4867 4870 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95269024 10808807424 30710 33554432000 4194304 4196468 140734174301424 140625721596384 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4885] ppid=4867 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4885/stat : 4885 (java) S 4867 4870 32402 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95269024 10808807424 30710 33554432000 4194304 4196468 140734174301424 140625720544176 140626491189890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 122840 KiB

[startup+1.50086 s]
/proc/loadavg: 2.08 2.00 2.04 3/217 4885
/proc/meminfo: memFree=24538120/32770624 swapFree=67108860/67108860
[pid=4870] ppid=4867 vsize=10555476 memory=728272 CPUtime=3.41 cores=1,3,5,7
/proc/4870/stat : 4870 (java) S 4867 4870 32402 0 -1 1077944320 13856 0 0 0 309 32 0 0 20 0 15 0 95269018 10808807424 182068 33554432000 4194304 4196468 140734174301424 140734174283968 140626491178743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
/proc/4870/statm: 2638869 182068 3119 1 0 2627263 0
[pid=4870/tid=4872] ppid=4867 vsize=10555476 memory=3467830215667232829 CPUtime=1.25 cores=1,3,5,7
/proc/4870/task/4872/stat : 4872 (java) R 4867 4870 32402 0 -1 4202560 5589 0 0 0 118 7 0 0 20 0 15 0 95269018 10808807424 182068 33554432000 4194304 4196468 140734174301424 140626495415904 140626477246862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4873] ppid=4867 vsize=10555476 memory=203012 CPUtime=0.2 cores=1,3,5,7
/proc/4870/task/4873/stat : 4873 (java) S 4867 4870 32402 0 -1 1077944384 187 0 0 0 15 5 0 0 20 0 15 0 95269019 10808807424 182068 33554432000 4194304 4196468 140734174301424 140626427869584 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4874] ppid=4867 vsize=10555476 memory=2241 CPUtime=0.19 cores=1,3,5,7
/proc/4870/task/4874/stat : 4874 (java) S 4867 4870 32402 0 -1 1077944384 381 0 0 0 14 5 0 0 20 0 15 0 95269019 10808807424 182068 33554432000 4194304 4196468 140734174301424 140626426816784 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4875] ppid=4867 vsize=10555476 memory=1200 CPUtime=0.21 cores=1,3,5,7
/proc/4870/task/4875/stat : 4875 (java) S 4867 4870 32402 0 -1 1077944384 474 0 0 0 16 5 0 0 20 0 15 0 95269019 10808807424 182068 33554432000 4194304 4196468 140734174301424 140626425764496 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4876] ppid=4867 vsize=10555476 memory=15872 CPUtime=0.2 cores=1,3,5,7
/proc/4870/task/4876/stat : 4876 (java) S 4867 4870 32402 0 -1 1077944384 391 0 0 0 15 5 0 0 20 0 15 0 95269019 10808807424 182068 33554432000 4194304 4196468 140734174301424 140626424711696 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4877] ppid=4867 vsize=10555476 memory=15532 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4877/stat : 4877 (java) S 4867 4870 32402 0 -1 1077944384 491 0 0 0 0 0 0 0 20 0 15 0 95269020 10808807424 182068 33554432000 4194304 4196468 140734174301424 140625728965232 140626491189890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0

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

/proc/4870/task/4876/stat : 4876 (java) R 4867 4870 32402 0 -1 4202560 764665 0 0 0 44076 195 0 0 20 0 17 0 95269019 10947383296 2070761 33554432000 4194304 4196468 140734174301424 140626424711896 140626475876301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4877] ppid=4867 vsize=10690804 memory=2196 CPUtime=18.2 cores=1,3,5,7
/proc/4870/task/4877/stat : 4877 (java) S 4867 4870 32402 0 -1 1077944384 84621 0 0 0 1815 5 0 0 20 0 17 0 95269020 10947383296 2070761 33554432000 4194304 4196468 140734174301424 140625728963552 140626491188949 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4878] ppid=4867 vsize=10690804 memory=6764 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4878/stat : 4878 (java) S 4867 4870 32402 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 95269021 10947383296 2070761 33554432000 4194304 4196468 140734174301424 140625727911264 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4879] ppid=4867 vsize=10690804 memory=840 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4879/stat : 4879 (java) S 4867 4870 32402 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 17 0 95269021 10947383296 2070761 33554432000 4194304 4196468 140734174301424 140625726858864 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4880] ppid=4867 vsize=10690804 memory=2536 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4880/stat : 4880 (java) S 4867 4870 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95269023 10947383296 2070761 33554432000 4194304 4196468 140734174301424 140625725807184 140626491197339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4881] ppid=4867 vsize=10690804 memory=2536 CPUtime=1.28 cores=1,3,5,7
/proc/4870/task/4881/stat : 4881 (java) S 4867 4870 32402 0 -1 1077944384 5661 0 0 0 127 1 0 0 20 0 17 0 95269023 10947383296 2070761 33554432000 4194304 4196468 140734174301424 140625724754032 140626491189890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4882] ppid=4867 vsize=10690804 memory=4100 CPUtime=1.41 cores=1,3,5,7
/proc/4870/task/4882/stat : 4882 (java) S 4867 4870 32402 0 -1 1077944384 6115 0 0 0 140 1 0 0 20 0 17 0 95269023 10947383296 2070761 33554432000 4194304 4196468 140734174301424 140625723701232 140626491189890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4883] ppid=4867 vsize=10690804 memory=1156 CPUtime=0.45 cores=1,3,5,7
/proc/4870/task/4883/stat : 4883 (java) S 4867 4870 32402 0 -1 1077944384 3484 0 0 0 44 1 0 0 20 0 17 0 95269023 10947383296 2070761 33554432000 4194304 4196468 140734174301424 140625722648944 140626491189890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4884] ppid=4867 vsize=10690804 memory=3176 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4884/stat : 4884 (java) S 4867 4870 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95269024 10947383296 2070761 33554432000 4194304 4196468 140734174301424 140625721596384 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4885] ppid=4867 vsize=10690804 memory=8283044 CPUtime=0.37 cores=1,3,5,7
/proc/4870/task/4885/stat : 4885 (java) S 4867 4870 32402 0 -1 1077944384 650 0 0 0 21 16 0 0 20 0 17 0 95269024 10947383296 2070761 33554432000 4194304 4196468 140734174301424 140625720544176 140626491189890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4901] ppid=4867 vsize=10690804 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4901/stat : 4901 (java) S 4867 4870 32402 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 17 0 95315709 10947383296 2070761 33554432000 4194304 4196468 140734174301424 140625717382144 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4902] ppid=4867 vsize=10690804 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4902/stat : 4902 (java) S 4867 4870 32402 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 95315709 10947383296 2070761 33554432000 4194304 4196468 140734174301424 140625716339344 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
Current children cumulated CPU time: 1822.72 s
Current children cumulated vsize: 10690804 KiB
Current children cumulated memory: 8283044 KiB

[startup+497.601 s]
/proc/loadavg: 4.88 4.29 3.16 6/219 4903
/proc/meminfo: memFree=16585232/32770624 swapFree=67108860/67108860
[pid=4870] ppid=4867 vsize=10690804 memory=8283052 CPUtime=1828.98 cores=1,3,5,7
/proc/4870/stat : 4870 (java) S 4867 4870 32402 0 -1 1077944320 3773172 0 0 0 182030 868 0 0 20 0 17 0 95269018 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140734174283968 140626491178743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
/proc/4870/statm: 2672701 2070763 3203 1 0 2661057 0
[pid=4870/tid=4872] ppid=4867 vsize=10690804 memory=288230617509003574 CPUtime=28.1 cores=1,3,5,7
/proc/4870/task/4872/stat : 4872 (java) S 4867 4870 32402 0 -1 1077944384 92678 0 0 0 2773 37 0 0 20 0 17 0 95269018 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140626495419424 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4873] ppid=4867 vsize=10690804 memory=8112282956445269571 CPUtime=445.67 cores=1,3,5,7
/proc/4870/task/4873/stat : 4873 (java) R 4867 4870 32402 0 -1 4202560 895434 0 0 0 44364 203 0 0 20 0 17 0 95269019 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140626427869784 140626476175252 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4874] ppid=4867 vsize=10690804 memory=12068 CPUtime=444.04 cores=1,3,5,7
/proc/4870/task/4874/stat : 4874 (java) R 4867 4870 32402 0 -1 4202560 1075485 0 0 0 44192 212 0 0 20 0 17 0 95269019 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140626426816984 140626476175405 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4875] ppid=4867 vsize=10690804 memory=1440 CPUtime=445.06 cores=1,3,5,7
/proc/4870/task/4875/stat : 4875 (java) R 4867 4870 32402 0 -1 4202560 842825 0 0 0 44301 205 0 0 20 0 17 0 95269019 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140626425764384 140626476175236 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4876] ppid=4867 vsize=10690804 memory=8112282956445269571 CPUtime=444.3 cores=1,3,5,7
/proc/4870/task/4876/stat : 4876 (java) R 4867 4870 32402 0 -1 4202560 764707 0 0 0 44235 195 0 0 20 0 17 0 95269019 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140626424711896 140626472788514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4877] ppid=4867 vsize=10690804 memory=1568 CPUtime=18.21 cores=1,3,5,7
/proc/4870/task/4877/stat : 4877 (java) S 4867 4870 32402 0 -1 1077944384 84627 0 0 0 1816 5 0 0 20 0 17 0 95269020 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625728963776 140626491188949 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4878] ppid=4867 vsize=10690804 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4878/stat : 4878 (java) S 4867 4870 32402 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 95269021 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625727911264 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4879] ppid=4867 vsize=10690804 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4879/stat : 4879 (java) S 4867 4870 32402 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 17 0 95269021 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625726858864 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4880] ppid=4867 vsize=10690804 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4880/stat : 4880 (java) S 4867 4870 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95269023 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625725807184 140626491197339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4881] ppid=4867 vsize=10690804 memory=4100 CPUtime=1.28 cores=1,3,5,7
/proc/4870/task/4881/stat : 4881 (java) S 4867 4870 32402 0 -1 1077944384 5661 0 0 0 127 1 0 0 20 0 17 0 95269023 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625724754032 140626491189890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4882] ppid=4867 vsize=10690804 memory=27432 CPUtime=1.41 cores=1,3,5,7
/proc/4870/task/4882/stat : 4882 (java) S 4867 4870 32402 0 -1 1077944384 6115 0 0 0 140 1 0 0 20 0 17 0 95269023 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625723701232 140626491189890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4883] ppid=4867 vsize=10690804 memory=1292 CPUtime=0.45 cores=1,3,5,7
/proc/4870/task/4883/stat : 4883 (java) S 4867 4870 32402 0 -1 1077944384 3484 0 0 0 44 1 0 0 20 0 17 0 95269023 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625722648944 140626491189890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4884] ppid=4867 vsize=10690804 memory=2448 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4884/stat : 4884 (java) S 4867 4870 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95269024 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625721596384 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4885] ppid=4867 vsize=10690804 memory=1732 CPUtime=0.37 cores=1,3,5,7
/proc/4870/task/4885/stat : 4885 (java) S 4867 4870 32402 0 -1 1077944384 650 0 0 0 21 16 0 0 20 0 17 0 95269024 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625720544176 140626491189890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4901] ppid=4867 vsize=10690804 memory=800 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4901/stat : 4901 (java) S 4867 4870 32402 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 17 0 95315709 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625717382144 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4902] ppid=4867 vsize=10690804 memory=12068 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4902/stat : 4902 (java) S 4867 4870 32402 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 95315709 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625716339344 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
Current children cumulated CPU time: 1828.98 s
Current children cumulated vsize: 10690804 KiB
Current children cumulated memory: 8283052 KiB

[startup+498.401 s]
/proc/loadavg: 4.88 4.29 3.16 6/219 4903
/proc/meminfo: memFree=16585224/32770624 swapFree=67108860/67108860
[pid=4870] ppid=4867 vsize=10690804 memory=8283052 CPUtime=1832.16 cores=1,3,5,7
/proc/4870/stat : 4870 (java) S 4867 4870 32402 0 -1 1077944320 3773388 0 0 0 182348 868 0 0 20 0 17 0 95269018 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140734174283968 140626491178743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
/proc/4870/statm: 2672701 2070763 3203 1 0 2661057 0
[pid=4870/tid=4872] ppid=4867 vsize=10690804 memory=5792 CPUtime=28.1 cores=1,3,5,7
/proc/4870/task/4872/stat : 4872 (java) S 4867 4870 32402 0 -1 1077944384 92678 0 0 0 2773 37 0 0 20 0 17 0 95269018 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140626495419424 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4873] ppid=4867 vsize=10690804 memory=1224 CPUtime=446.47 cores=1,3,5,7
/proc/4870/task/4873/stat : 4873 (java) R 4867 4870 32402 0 -1 4202560 895434 0 0 0 44444 203 0 0 20 0 17 0 95269019 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140626427869784 140626476175088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4874] ppid=4867 vsize=10690804 memory=8560 CPUtime=444.83 cores=1,3,5,7
/proc/4870/task/4874/stat : 4874 (java) R 4867 4870 32402 0 -1 4202560 1075568 0 0 0 44271 212 0 0 20 0 17 0 95269019 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140626426816984 140626472788493 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4875] ppid=4867 vsize=10690804 memory=1712 CPUtime=445.86 cores=1,3,5,7
/proc/4870/task/4875/stat : 4875 (java) R 4867 4870 32402 0 -1 4202560 842957 0 0 0 44381 205 0 0 20 0 17 0 95269019 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140626425764384 140626476175410 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4876] ppid=4867 vsize=10690804 memory=4612 CPUtime=445.1 cores=1,3,5,7
/proc/4870/task/4876/stat : 4876 (java) R 4867 4870 32402 0 -1 4202560 764707 0 0 0 44315 195 0 0 20 0 17 0 95269019 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140626424711896 140626476175153 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4877] ppid=4867 vsize=10690804 memory=1004 CPUtime=18.21 cores=1,3,5,7
/proc/4870/task/4877/stat : 4877 (java) S 4867 4870 32402 0 -1 1077944384 84627 0 0 0 1816 5 0 0 20 0 17 0 95269020 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625728963776 140626491188949 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4878] ppid=4867 vsize=10690804 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4878/stat : 4878 (java) S 4867 4870 32402 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 95269021 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625727911264 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4879] ppid=4867 vsize=10690804 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4879/stat : 4879 (java) S 4867 4870 32402 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 17 0 95269021 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625726858864 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4880] ppid=4867 vsize=10690804 memory=15532 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4880/stat : 4880 (java) S 4867 4870 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95269023 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625725807184 140626491197339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4881] ppid=4867 vsize=10690804 memory=1948 CPUtime=1.28 cores=1,3,5,7
/proc/4870/task/4881/stat : 4881 (java) S 4867 4870 32402 0 -1 1077944384 5662 0 0 0 127 1 0 0 20 0 17 0 95269023 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625724753792 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4882] ppid=4867 vsize=10690804 memory=800 CPUtime=1.41 cores=1,3,5,7
/proc/4870/task/4882/stat : 4882 (java) S 4867 4870 32402 0 -1 1077944384 6115 0 0 0 140 1 0 0 20 0 17 0 95269023 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625723701280 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4883] ppid=4867 vsize=10690804 memory=12068 CPUtime=0.45 cores=1,3,5,7
/proc/4870/task/4883/stat : 4883 (java) S 4867 4870 32402 0 -1 1077944384 3484 0 0 0 44 1 0 0 20 0 17 0 95269023 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625722648992 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4884] ppid=4867 vsize=10690804 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4884/stat : 4884 (java) S 4867 4870 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95269024 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625721596384 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4885] ppid=4867 vsize=10690804 memory=5792 CPUtime=0.37 cores=1,3,5,7
/proc/4870/task/4885/stat : 4885 (java) S 4867 4870 32402 0 -1 1077944384 650 0 0 0 21 16 0 0 20 0 17 0 95269024 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625720544176 140626491189890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4901] ppid=4867 vsize=10690804 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4901/stat : 4901 (java) S 4867 4870 32402 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 17 0 95315709 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625717382144 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4902] ppid=4867 vsize=10690804 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4902/stat : 4902 (java) S 4867 4870 32402 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 95315709 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625716339344 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
Current children cumulated CPU time: 1832.16 s
Current children cumulated vsize: 10690804 KiB
Current children cumulated memory: 8283052 KiB

[startup+498.601 s]
/proc/loadavg: 4.88 4.29 3.16 6/219 4903
/proc/meminfo: memFree=16585224/32770624 swapFree=67108860/67108860
[pid=4870] ppid=4867 vsize=10690804 memory=8283052 CPUtime=1832.94 cores=1,3,5,7
/proc/4870/stat : 4870 (java) S 4867 4870 32402 0 -1 1077944320 3773390 0 0 0 182426 868 0 0 20 0 17 0 95269018 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140734174283968 140626491178743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
/proc/4870/statm: 2672701 2070763 3203 1 0 2661057 0
[pid=4870/tid=4872] ppid=4867 vsize=10690804 memory=16236 CPUtime=28.1 cores=1,3,5,7
/proc/4870/task/4872/stat : 4872 (java) S 4867 4870 32402 0 -1 1077944384 92678 0 0 0 2773 37 0 0 20 0 17 0 95269018 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140626495419424 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4873] ppid=4867 vsize=10690804 memory=1796 CPUtime=446.67 cores=1,3,5,7
/proc/4870/task/4873/stat : 4873 (java) R 4867 4870 32402 0 -1 4202560 895434 0 0 0 44464 203 0 0 20 0 17 0 95269019 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140626427869784 140626476175144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4874] ppid=4867 vsize=10690804 memory=644 CPUtime=445.02 cores=1,3,5,7
/proc/4870/task/4874/stat : 4874 (java) R 4867 4870 32402 0 -1 4202560 1075570 0 0 0 44290 212 0 0 20 0 17 0 95269019 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140626426816904 140626483806951 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4875] ppid=4867 vsize=10690804 memory=960 CPUtime=446.06 cores=1,3,5,7
/proc/4870/task/4875/stat : 4875 (java) R 4867 4870 32402 0 -1 4202560 842957 0 0 0 44401 205 0 0 20 0 17 0 95269019 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140626425764304 140626483806951 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4876] ppid=4867 vsize=10690804 memory=4388 CPUtime=445.29 cores=1,3,5,7
/proc/4870/task/4876/stat : 4876 (java) R 4867 4870 32402 0 -1 4202560 764707 0 0 0 44334 195 0 0 20 0 17 0 95269019 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140626424711504 140626483806951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4877] ppid=4867 vsize=10690804 memory=1236 CPUtime=18.21 cores=1,3,5,7
/proc/4870/task/4877/stat : 4877 (java) S 4867 4870 32402 0 -1 1077944384 84627 0 0 0 1816 5 0 0 20 0 17 0 95269020 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625728963776 140626491188949 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4878] ppid=4867 vsize=10690804 memory=932 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4878/stat : 4878 (java) S 4867 4870 32402 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 95269021 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625727911264 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4879] ppid=4867 vsize=10690804 memory=8283044 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4879/stat : 4879 (java) S 4867 4870 32402 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 17 0 95269021 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625726858864 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4880] ppid=4867 vsize=10690804 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4880/stat : 4880 (java) S 4867 4870 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95269023 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625725807184 140626491197339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4881] ppid=4867 vsize=10690804 memory=8560 CPUtime=1.28 cores=1,3,5,7
/proc/4870/task/4881/stat : 4881 (java) S 4867 4870 32402 0 -1 1077944384 5662 0 0 0 127 1 0 0 20 0 17 0 95269023 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625724753792 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4882] ppid=4867 vsize=10690804 memory=1712 CPUtime=1.41 cores=1,3,5,7
/proc/4870/task/4882/stat : 4882 (java) S 4867 4870 32402 0 -1 1077944384 6115 0 0 0 140 1 0 0 20 0 17 0 95269023 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625723701280 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4883] ppid=4867 vsize=10690804 memory=4612 CPUtime=0.45 cores=1,3,5,7
/proc/4870/task/4883/stat : 4883 (java) S 4867 4870 32402 0 -1 1077944384 3484 0 0 0 44 1 0 0 20 0 17 0 95269023 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625722648992 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4884] ppid=4867 vsize=10690804 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4884/stat : 4884 (java) S 4867 4870 32402 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95269024 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625721596384 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4885] ppid=4867 vsize=10690804 memory=1200 CPUtime=0.37 cores=1,3,5,7
/proc/4870/task/4885/stat : 4885 (java) S 4867 4870 32402 0 -1 1077944384 650 0 0 0 21 16 0 0 20 0 17 0 95269024 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625720544176 140626491189890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4901] ppid=4867 vsize=10690804 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4901/stat : 4901 (java) S 4867 4870 32402 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 17 0 95315709 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625717382144 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
[pid=4870/tid=4902] ppid=4867 vsize=10690804 memory=15532 CPUtime=0 cores=1,3,5,7
/proc/4870/task/4902/stat : 4902 (java) S 4867 4870 32402 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 95315709 10947383296 2070763 33554432000 4194304 4196468 140734174301424 140625716339344 140626491188949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140734174303366 140734174303519 140734174303519 140734174306255 0
Current children cumulated CPU time: 1832.94 s
Current children cumulated vsize: 10690804 KiB
Current children cumulated memory: 8283052 KiB

[startup+498.707 s]*
/proc/loadavg: 4.88 4.29 3.16 3/204 4903
/proc/meminfo: memFree=17108396/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): 498.8
CPU time (s): 1833.27
CPU user time (s): 1824.48
CPU system time (s): 8.79346
CPU usage (%): 367.537
Max. virtual memory (cumulated for all children) (KiB): 10690804
Max. memory (cumulated for all children) (KiB): 8283052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1824.48
system time used= 8.79346
maximum resident set size= 8283248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3773430
page faults= 0
swaps= 0
block input operations= 0
block output operations= 664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34346
involuntary context switches= 18193


# summary of solver processes directly reported to runsolver:
#   pid: 4870
#   total CPU time (s): 1833.27
#   total CPU user time (s): 1824.48
#   total CPU system time (s): 8.79346

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.08731 second user time and 5.11737 second system time

The end
Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-1000-co.xml
MD5SUM	747b40881cd41efe91eebad5da45ed52
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	14.8096
Satisfiable
(Un)Satisfiability was proved
Number of variables	1000
Number of constraints	1002
Number of domains	1
Minimum domain size	1000
Maximum domain size	1000
Distribution of domain sizes	[{"size":1000,"count":1000}]
Minimum variable degree	1002
Maximum variable degree	1002
Distribution of variable degrees	[{"degree":1002,"count":1000}]
Minimum constraint arity	1000
Maximum constraint arity	1000
Distribution of constraint arities	[{"arity":1000,"count":1002}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":1000}]
Optimization problem	NO
Type of objective
Trace number 4263392

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
